// RUN: yaml2obj %S/inputs/eqz.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s
/* Source code used to create this test:
(module
    (func (export "eqz_i32") (result i32)
    i32.const 13
    i32.eqz)

    (func (export "eqz_i64") (result i32)
    i64.const 13
    i64.eqz)
)
*/
// CHECK-LABEL:   wasmssa.func exported @eqz_i32() -> i32 {
// CHECK:           %[[VAL_0:.*]] = wasmssa.const 13 : i32
// CHECK:           %[[VAL_1:.*]] = wasmssa.eqz %[[VAL_0]] : i32 -> i32
// CHECK:           wasmssa.return %[[VAL_1]] : i32

// CHECK-LABEL:   wasmssa.func exported @eqz_i64() -> i32 {
// CHECK:           %[[VAL_0:.*]] = wasmssa.const 13 : i64
// CHECK:           %[[VAL_1:.*]] = wasmssa.eqz %[[VAL_0]] : i64 -> i32
// CHECK:           wasmssa.return %[[VAL_1]] : i32