53 lines · plain
1// RUN: yaml2obj %S/inputs/sub.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2/* Source code used to create this test:3(module4 (func $sub_i32 (result i32)5 i32.const 126 i32.const 507 i32.sub8 )9 10 (func $sub_i64 (result i64)11 i64.const 2012 i64.const 513 i64.sub14 )15 16 (func $sub_f32 (result f32)17 f32.const 518 f32.const 1419 f32.sub20 )21 22 (func $sub_f64 (result f64)23 f64.const 1724 f64.const 025 f64.sub26 )27)28*/29 30// CHECK-LABEL: wasmssa.func @func_0() -> i32 {31// CHECK: %[[VAL_0:.*]] = wasmssa.const 12 : i3232// CHECK: %[[VAL_1:.*]] = wasmssa.const 50 : i3233// CHECK: %[[VAL_2:.*]] = wasmssa.sub %[[VAL_0]] %[[VAL_1]] : i3234// CHECK: wasmssa.return %[[VAL_2]] : i3235 36// CHECK-LABEL: wasmssa.func @func_1() -> i64 {37// CHECK: %[[VAL_0:.*]] = wasmssa.const 20 : i6438// CHECK: %[[VAL_1:.*]] = wasmssa.const 5 : i6439// CHECK: %[[VAL_2:.*]] = wasmssa.sub %[[VAL_0]] %[[VAL_1]] : i6440// CHECK: wasmssa.return %[[VAL_2]] : i6441 42// CHECK-LABEL: wasmssa.func @func_2() -> f32 {43// CHECK: %[[VAL_0:.*]] = wasmssa.const 5.000000e+00 : f3244// CHECK: %[[VAL_1:.*]] = wasmssa.const 1.400000e+01 : f3245// CHECK: %[[VAL_2:.*]] = wasmssa.sub %[[VAL_0]] %[[VAL_1]] : f3246// CHECK: wasmssa.return %[[VAL_2]] : f3247 48// CHECK-LABEL: wasmssa.func @func_3() -> f64 {49// CHECK: %[[VAL_0:.*]] = wasmssa.const 1.700000e+01 : f6450// CHECK: %[[VAL_1:.*]] = wasmssa.const 0.000000e+00 : f6451// CHECK: %[[VAL_2:.*]] = wasmssa.sub %[[VAL_0]] %[[VAL_1]] : f6452// CHECK: wasmssa.return %[[VAL_2]] : f6453