diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/validation/intrinsics.wast | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/lit/validation/intrinsics.wast b/test/lit/validation/intrinsics.wast new file mode 100644 index 000000000..6437b2217 --- /dev/null +++ b/test/lit/validation/intrinsics.wast @@ -0,0 +1,23 @@ +;; Test for a validation error on bad usage of call.without.effects + +;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s + +;; CHECK: param number must match + +(module + (import "binaryen-intrinsics" "call.without.effects" (func $cwe (param i32 funcref) (result i32))) + + (func "get-ref" (result i32) + ;; This call-without-effects is done to a $func, but $func has the wrong + ;; signature - it lacks the i32 parameter. + (call $cwe + (i32.const 41) + (ref.func $func) + ) + ) + + (func $func (result i32) + (i32.const 1) + ) +) + |