| // RUN: yaml2obj %S/inputs/wrap.yaml.wasm -o - | mlir-translate --import-wasm | FileCheck %s |
| /* Source code used to create this test: |
| (module |
| (func (export "i64_wrap") (param $in i64) (result i32) |
| local.get $in |
| i32.wrap_i64 |
| ) |
| ) |
| */ |
| |
| // CHECK-LABEL: wasmssa.func exported @i64_wrap( |
| // CHECK-SAME: %[[ARG0:.*]]: !wasmssa<local ref to i64>) -> i32 { |
| // CHECK: %[[VAL_0:.*]] = wasmssa.local_get %[[ARG0]] : ref to i64 |
| // CHECK: %[[VAL_1:.*]] = wasmssa.wrap %[[VAL_0]] : i64 to i32 |
| // CHECK: wasmssa.return %[[VAL_1]] : i32 |
