| // RUN: iree-compile \ |
| // RUN: --compile-to=hal \ |
| // RUN: --iree-execution-model=inline-static \ |
| // RUN: --iree-hal-target-device=local \ |
| // RUN: --iree-hal-local-target-device-backends=vmvx-inline %s | FileCheck %s |
| |
| func.func @simple_mul(%arg0: tensor<4xf32>, %arg1: tensor<4xf32>) -> (tensor<4xf32>, tensor<4xf32>) { |
| %0 = arith.mulf %arg0, %arg1 : tensor<4xf32> |
| return %0, %arg0 : tensor<4xf32>, tensor<4xf32> |
| } |
| |
| // Check that the IR isn't using types from the full HAL |
| // (only those in iree_hal_module_register_inline_types). |
| // CHECK-NOT: hal.command_buffer |
| // CHECK-NOT: hal.allocator |
| // CHECK-NOT: hal.event |
| // CHECK-NOT: hal.fence |
| // CHECK-NOT: hal.pipeline_layout |
| // CHECK-NOT: hal.semaphore |
| // CHECK-NOT: hal.executable private |
