18 lines · plain
1// RUN: mlir-opt %s -split-input-file -verify-diagnostics2 3wasmssa.func @local_set_err(%arg0: !wasmssa<local ref to i32>) -> i64 {4 %0 = wasmssa.const 3 : i645 // expected-error@+1 {{input type and result type of local.set do not match}}6 wasmssa.local_set %arg0 : ref to i32 to %0 : i647 wasmssa.return %0 : i648}9 10// -----11 12wasmssa.func @local_tee_err(%arg0: !wasmssa<local ref to i32>) -> i32 {13 %0 = wasmssa.const 3 : i6414 // expected-error@+1 {{input type and output type of local.tee do not match}}15 %1 = wasmssa.local_tee %arg0 : ref to i32 to %0 : i6416 wasmssa.return %1 : i3217}18