34 lines · plain
1// RUN: yaml2obj %S/inputs/loop_with_inst.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2 3/* Code used to create this test:4 5(module6 (func (result i32)7 (local $i i32)8 (loop $my_loop (result i32)9 local.get $i10 i32.const 111 i32.add12 local.set $i13 local.get $i14 i32.const 1015 i32.lt_s16 )17 )18)*/19 20// CHECK-LABEL: wasmssa.func @func_0() -> i32 {21// CHECK: %[[VAL_0:.*]] = wasmssa.local of type i3222// CHECK: wasmssa.loop : {23// CHECK: %[[VAL_1:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i3224// CHECK: %[[VAL_2:.*]] = wasmssa.const 1 : i3225// CHECK: %[[VAL_3:.*]] = wasmssa.add %[[VAL_1]] %[[VAL_2]] : i3226// CHECK: wasmssa.local_set %[[VAL_0]] : ref to i32 to %[[VAL_3]] : i3227// CHECK: %[[VAL_4:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i3228// CHECK: %[[VAL_5:.*]] = wasmssa.const 10 : i3229// CHECK: %[[VAL_6:.*]] = wasmssa.lt_si %[[VAL_4]] %[[VAL_5]] : i32 -> i3230// CHECK: wasmssa.block_return %[[VAL_6]] : i3231// CHECK: }> ^bb132// CHECK: ^bb1(%[[VAL_7:.*]]: i32):33// CHECK: wasmssa.return %[[VAL_7]] : i3234