| // RUN: yaml2obj %S/inputs/double_nested_loop.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s |
| |
| /* |
| (module |
| (func |
| ;; create a local variable and initialize it to 0 |
| (local $i i32) |
| (local $j i32) |
| |
| (loop $my_loop |
| |
| ;; add one to $i |
| local.get $i |
| i32.const 1 |
| i32.add |
| local.set $i |
| (loop $my_second_loop (result i32) |
| i32.const 1 |
| local.get $j |
| i32.const 12 |
| i32.add |
| local.tee $j |
| local.get $i |
| i32.gt_s |
| br_if $my_second_loop |
| ) |
| i32.const 10 |
| i32.lt_s |
| br_if $my_loop |
| ) |
| ) |
| ) |
| */ |
| |
| // CHECK-LABEL: wasmssa.func @func_0() { |
| // CHECK: %[[VAL_0:.*]] = wasmssa.local of type i32 |
| // CHECK: %[[VAL_1:.*]] = wasmssa.local of type i32 |
| // CHECK: wasmssa.loop : { |
| // CHECK: %[[VAL_2:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i32 |
| // CHECK: %[[VAL_3:.*]] = wasmssa.const 1 : i32 |
| // CHECK: %[[VAL_4:.*]] = wasmssa.add %[[VAL_2]] %[[VAL_3]] : i32 |
| // CHECK: wasmssa.local_set %[[VAL_0]] : ref to i32 to %[[VAL_4]] : i32 |
| // CHECK: wasmssa.loop : { |
| // CHECK: %[[VAL_5:.*]] = wasmssa.const 1 : i32 |
| // CHECK: %[[VAL_6:.*]] = wasmssa.local_get %[[VAL_1]] : ref to i32 |
| // CHECK: %[[VAL_7:.*]] = wasmssa.const 12 : i32 |
| // CHECK: %[[VAL_8:.*]] = wasmssa.add %[[VAL_6]] %[[VAL_7]] : i32 |
| // CHECK: %[[VAL_9:.*]] = wasmssa.local_tee %[[VAL_1]] : ref to i32 to %[[VAL_8]] : i32 |
| // CHECK: %[[VAL_10:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i32 |
| // CHECK: %[[VAL_11:.*]] = wasmssa.gt_si %[[VAL_9]] %[[VAL_10]] : i32 -> i32 |
| // CHECK: wasmssa.branch_if %[[VAL_11]] to level 0 else ^bb1 |
| // CHECK: ^bb1: |
| // CHECK: wasmssa.block_return %[[VAL_5]] : i32 |
| // CHECK: }> ^bb1 |
| // CHECK: ^bb1(%[[VAL_12:.*]]: i32): |
| // CHECK: %[[VAL_13:.*]] = wasmssa.const 10 : i32 |
| // CHECK: %[[VAL_14:.*]] = wasmssa.lt_si %[[VAL_12]] %[[VAL_13]] : i32 -> i32 |
| // CHECK: wasmssa.branch_if %[[VAL_14]] to level 0 else ^bb2 |
| // CHECK: ^bb2: |
| // CHECK: wasmssa.block_return |
| // CHECK: }> ^bb1 |
| // CHECK: ^bb1: |
| // CHECK: wasmssa.return |
