60 lines · plain
1// RUN: yaml2obj %S/inputs/local.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2/* Source code used to create this test:3(module4 (func $local_f32 (result f32)5 (local $var1 f32)6 (local $var2 f32)7 f32.const 8.08 local.set $var19 local.get $var110 f32.const 12.011 local.tee $var212 f32.add13 )14 (func $local_i32 (result i32)15 (local $var1 i32)16 (local $var2 i32)17 i32.const 818 local.set $var119 local.get $var120 i32.const 1221 local.tee $var222 i32.add23 )24 (func $local_arg (param $var i32) (result i32)25 i32.const 326 local.set $var27 local.get $var28 )29)30*/31 32// CHECK-LABEL: wasmssa.func @func_0() -> f32 {33// CHECK: %[[VAL_0:.*]] = wasmssa.local of type f3234// CHECK: %[[VAL_1:.*]] = wasmssa.local of type f3235// CHECK: %[[VAL_2:.*]] = wasmssa.const 8.000000e+00 : f3236// CHECK: wasmssa.local_set %[[VAL_0]] : ref to f32 to %[[VAL_2]] : f3237// CHECK: %[[VAL_3:.*]] = wasmssa.local_get %[[VAL_0]] : ref to f3238// CHECK: %[[VAL_4:.*]] = wasmssa.const 1.200000e+01 : f3239// CHECK: %[[VAL_5:.*]] = wasmssa.local_tee %[[VAL_1]] : ref to f32 to %[[VAL_4]] : f3240// CHECK: %[[VAL_6:.*]] = wasmssa.add %[[VAL_3]] %[[VAL_5]] : f3241// CHECK: wasmssa.return %[[VAL_6]] : f3242 43// CHECK-LABEL: wasmssa.func @func_1() -> i32 {44// CHECK: %[[VAL_0:.*]] = wasmssa.local of type i3245// CHECK: %[[VAL_1:.*]] = wasmssa.local of type i3246// CHECK: %[[VAL_2:.*]] = wasmssa.const 8 : i3247// CHECK: wasmssa.local_set %[[VAL_0]] : ref to i32 to %[[VAL_2]] : i3248// CHECK: %[[VAL_3:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i3249// CHECK: %[[VAL_4:.*]] = wasmssa.const 12 : i3250// CHECK: %[[VAL_5:.*]] = wasmssa.local_tee %[[VAL_1]] : ref to i32 to %[[VAL_4]] : i3251// CHECK: %[[VAL_6:.*]] = wasmssa.add %[[VAL_3]] %[[VAL_5]] : i3252// CHECK: wasmssa.return %[[VAL_6]] : i3253 54// CHECK-LABEL: wasmssa.func @func_2(55// CHECK-SAME: %[[ARG0:.*]]: !wasmssa<local ref to i32>) -> i32 {56// CHECK: %[[VAL_0:.*]] = wasmssa.const 3 : i3257// CHECK: wasmssa.local_set %[[ARG0]] : ref to i32 to %[[VAL_0]] : i3258// CHECK: %[[VAL_1:.*]] = wasmssa.local_get %[[ARG0]] : ref to i3259// CHECK: wasmssa.return %[[VAL_1]] : i3260