| // RUN: yaml2obj %S/inputs/local.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s |
| /* Source code used to create this test: |
| (module |
| (func $local_f32 (result f32) |
| (local $var1 f32) |
| (local $var2 f32) |
| f32.const 8.0 |
| local.set $var1 |
| local.get $var1 |
| f32.const 12.0 |
| local.tee $var2 |
| f32.add |
| ) |
| (func $local_i32 (result i32) |
| (local $var1 i32) |
| (local $var2 i32) |
| i32.const 8 |
| local.set $var1 |
| local.get $var1 |
| i32.const 12 |
| local.tee $var2 |
| i32.add |
| ) |
| (func $local_arg (param $var i32) (result i32) |
| i32.const 3 |
| local.set $var |
| local.get $var |
| ) |
| ) |
| */ |
| |
| // CHECK-LABEL: wasmssa.func @func_0() -> f32 { |
| // CHECK: %[[VAL_0:.*]] = wasmssa.local of type f32 |
| // CHECK: %[[VAL_1:.*]] = wasmssa.local of type f32 |
| // CHECK: %[[VAL_2:.*]] = wasmssa.const 8.000000e+00 : f32 |
| // CHECK: wasmssa.local_set %[[VAL_0]] : ref to f32 to %[[VAL_2]] : f32 |
| // CHECK: %[[VAL_3:.*]] = wasmssa.local_get %[[VAL_0]] : ref to f32 |
| // CHECK: %[[VAL_4:.*]] = wasmssa.const 1.200000e+01 : f32 |
| // CHECK: %[[VAL_5:.*]] = wasmssa.local_tee %[[VAL_1]] : ref to f32 to %[[VAL_4]] : f32 |
| // CHECK: %[[VAL_6:.*]] = wasmssa.add %[[VAL_3]] %[[VAL_5]] : f32 |
| // CHECK: wasmssa.return %[[VAL_6]] : f32 |
| |
| // CHECK-LABEL: wasmssa.func @func_1() -> i32 { |
| // CHECK: %[[VAL_0:.*]] = wasmssa.local of type i32 |
| // CHECK: %[[VAL_1:.*]] = wasmssa.local of type i32 |
| // CHECK: %[[VAL_2:.*]] = wasmssa.const 8 : i32 |
| // CHECK: wasmssa.local_set %[[VAL_0]] : ref to i32 to %[[VAL_2]] : i32 |
| // CHECK: %[[VAL_3:.*]] = wasmssa.local_get %[[VAL_0]] : ref to i32 |
| // CHECK: %[[VAL_4:.*]] = wasmssa.const 12 : i32 |
| // CHECK: %[[VAL_5:.*]] = wasmssa.local_tee %[[VAL_1]] : ref to i32 to %[[VAL_4]] : i32 |
| // CHECK: %[[VAL_6:.*]] = wasmssa.add %[[VAL_3]] %[[VAL_5]] : i32 |
| // CHECK: wasmssa.return %[[VAL_6]] : i32 |
| |
| // CHECK-LABEL: wasmssa.func @func_2( |
| // CHECK-SAME: %[[ARG0:.*]]: !wasmssa<local ref to i32>) -> i32 { |
| // CHECK: %[[VAL_0:.*]] = wasmssa.const 3 : i32 |
| // CHECK: wasmssa.local_set %[[ARG0]] : ref to i32 to %[[VAL_0]] : i32 |
| // CHECK: %[[VAL_1:.*]] = wasmssa.local_get %[[ARG0]] : ref to i32 |
| // CHECK: wasmssa.return %[[VAL_1]] : i32 |
