64 lines · plain
1// RUN: yaml2obj %S/inputs/double_nested_loop.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2 3/*4(module5 (func6 ;; create a local variable and initialize it to 07 (local $i i32)8 (local $j i32)9 10 (loop $my_loop11 12 ;; add one to $i13 local.get $i14 i32.const 115 i32.add16 local.set $i17 (loop $my_second_loop (result i32)18 i32.const 119 local.get $j20 i32.const 1221 i32.add22 local.tee $j23 local.get $i24 i32.gt_s25 br_if $my_second_loop26 )27 i32.const 1028 i32.lt_s29 br_if $my_loop30 )31 )32)33*/34 35// CHECK-LABEL: wasmssa.func @func_0() {36// CHECK: %[[VAL_0:.*]] = wasmssa.local of type i3237// CHECK: %[[VAL_1:.*]] = wasmssa.local of type i3238// CHECK: wasmssa.loop : {39// CHECK: %[[VAL_2:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i3240// CHECK: %[[VAL_3:.*]] = wasmssa.const 1 : i3241// CHECK: %[[VAL_4:.*]] = wasmssa.add %[[VAL_2]] %[[VAL_3]] : i3242// CHECK: wasmssa.local_set %[[VAL_0]] : ref to i32 to %[[VAL_4]] : i3243// CHECK: wasmssa.loop : {44// CHECK: %[[VAL_5:.*]] = wasmssa.const 1 : i3245// CHECK: %[[VAL_6:.*]] = wasmssa.local_get %[[VAL_1]] : ref to i3246// CHECK: %[[VAL_7:.*]] = wasmssa.const 12 : i3247// CHECK: %[[VAL_8:.*]] = wasmssa.add %[[VAL_6]] %[[VAL_7]] : i3248// CHECK: %[[VAL_9:.*]] = wasmssa.local_tee %[[VAL_1]] : ref to i32 to %[[VAL_8]] : i3249// CHECK: %[[VAL_10:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i3250// CHECK: %[[VAL_11:.*]] = wasmssa.gt_si %[[VAL_9]] %[[VAL_10]] : i32 -> i3251// CHECK: wasmssa.branch_if %[[VAL_11]] to level 0 else ^bb152// CHECK: ^bb1:53// CHECK: wasmssa.block_return %[[VAL_5]] : i3254// CHECK: }> ^bb155// CHECK: ^bb1(%[[VAL_12:.*]]: i32):56// CHECK: %[[VAL_13:.*]] = wasmssa.const 10 : i3257// CHECK: %[[VAL_14:.*]] = wasmssa.lt_si %[[VAL_12]] %[[VAL_13]] : i32 -> i3258// CHECK: wasmssa.branch_if %[[VAL_14]] to level 0 else ^bb259// CHECK: ^bb2:60// CHECK: wasmssa.block_return61// CHECK: }> ^bb162// CHECK: ^bb1:63// CHECK: wasmssa.return64