| // A simple while loop example. |
| // RUN: iree-run-mlir %s --target_backends=interpreter-bytecode --input_values="f32=[1]\nf32=[3]" --noexport_all --noprint_mlir | IreeFileCheck %s --implicit-check-not="[" --implicit-check-not="]" |
| // CHECK-LABEL: EXEC @main |
| func @main(%arg0: tensor<f32>, %arg1: tensor<f32>) -> tensor<f32> attributes { iree.module.export } { |
| %0 = "xla_hlo.while"(%arg0) ( { |
| ^bb0(%arg2: tensor<f32>): |
| %1 = "xla_hlo.compare"(%arg2, %arg1) {comparison_direction = "LT", name = "compare.2"} : (tensor<f32>, tensor<f32>) -> tensor<i1> |
| "xla_hlo.return"(%1) : (tensor<i1>) -> () |
| ^bb0(%arg2: tensor<f32>): |
| %1 = xla_hlo.add %arg2, %arg2 {name = "compare.0"} : tensor<f32> |
| "xla_hlo.return"(%1) : (tensor<f32>) -> () |
| }) : (tensor<f32>) -> tensor<f32> |
