57 lines · plain
1// RUN: yaml2obj %S/inputs/eq.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2/* Source code used to create this test:3(module4 (func $eq_i32 (result i32)5 i32.const 126 i32.const 507 i32.eq8 )9 10 (func $eq_i64 (result i32)11 i64.const 2012 i64.const 513 i64.eq14 )15 16 (func $eq_f32 (result i32)17 f32.const 518 f32.const 1419 f32.eq20 )21 22 (func $eq_f64 (result i32)23 f64.const 1724 f64.const 025 f64.eq26 )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.eq %[[VAL_0]] %[[VAL_1]] : i32 -> i3234// CHECK: wasmssa.return %[[VAL_2]] : i3235// CHECK: }36 37// CHECK-LABEL: wasmssa.func @func_1() -> i32 {38// CHECK: %[[VAL_0:.*]] = wasmssa.const 20 : i6439// CHECK: %[[VAL_1:.*]] = wasmssa.const 5 : i6440// CHECK: %[[VAL_2:.*]] = wasmssa.eq %[[VAL_0]] %[[VAL_1]] : i64 -> i3241// CHECK: wasmssa.return %[[VAL_2]] : i3242// CHECK: }43 44// CHECK-LABEL: wasmssa.func @func_2() -> i32 {45// CHECK: %[[VAL_0:.*]] = wasmssa.const 5.000000e+00 : f3246// CHECK: %[[VAL_1:.*]] = wasmssa.const 1.400000e+01 : f3247// CHECK: %[[VAL_2:.*]] = wasmssa.eq %[[VAL_0]] %[[VAL_1]] : f32 -> i3248// CHECK: wasmssa.return %[[VAL_2]] : i3249// CHECK: }50 51// CHECK-LABEL: wasmssa.func @func_3() -> i32 {52// CHECK: %[[VAL_0:.*]] = wasmssa.const 1.700000e+01 : f6453// CHECK: %[[VAL_1:.*]] = wasmssa.const 0.000000e+00 : f6454// CHECK: %[[VAL_2:.*]] = wasmssa.eq %[[VAL_0]] %[[VAL_1]] : f64 -> i3255// CHECK: wasmssa.return %[[VAL_2]] : i3256// CHECK: }57