16 lines · plain
1// RUN: yaml2obj %S/inputs/wrap.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s2/* Source code used to create this test:3(module4 (func (export "i64_wrap") (param $in i64) (result i32)5 local.get $in6 i32.wrap_i647 )8)9*/10 11// CHECK-LABEL: wasmssa.func exported @i64_wrap(12// CHECK-SAME: %[[ARG0:.*]]: !wasmssa<local ref to i64>) -> i32 {13// CHECK: %[[VAL_0:.*]] = wasmssa.local_get %[[ARG0]] : ref to i6414// CHECK: %[[VAL_1:.*]] = wasmssa.wrap %[[VAL_0]] : i64 to i3215// CHECK: wasmssa.return %[[VAL_1]] : i3216