diff options
Diffstat (limited to 'test/spec/old_unreachable.wast')
| -rw-r--r-- | test/spec/old_unreachable.wast | 262 |
1 files changed, 0 insertions, 262 deletions
diff --git a/test/spec/old_unreachable.wast b/test/spec/old_unreachable.wast deleted file mode 100644 index a1d7934c1..000000000 --- a/test/spec/old_unreachable.wast +++ /dev/null @@ -1,262 +0,0 @@ -;; Test `unreachable` operator - -(module - ;; Auxiliary definitions - (func $dummy) - (func $dummy3 (param i32 i32 i32)) - - (func (export "type-i32") (result i32) (unreachable)) - (func (export "type-i64") (result i32) (unreachable)) - (func (export "type-f32") (result f64) (unreachable)) - (func (export "type-f64") (result f64) (unreachable)) - - (func (export "as-func-first") (result i32) - (unreachable) (i32.const -1) - ) - (func (export "as-func-mid") (result i32) - (call $dummy) (unreachable) (i32.const -1) - ) - (func (export "as-func-last") - (call $dummy) (unreachable) - ) - (func (export "as-func-value") (result i32) - (call $dummy) (unreachable) - ) - - (func (export "as-block-first") (result i32) - (block i32 (unreachable) (i32.const 2)) - ) - (func (export "as-block-mid") (result i32) - (block i32 (call $dummy) (unreachable) (i32.const 2)) - ) - (func (export "as-block-last") - (block (nop) (call $dummy) (unreachable)) - ) - (func (export "as-block-value") (result i32) - (block i32 (nop) (call $dummy) (unreachable)) - ) - (func (export "as-block-broke") (result i32) - (block i32 (call $dummy) (br 0 (i32.const 1)) (unreachable)) - ) - - (func (export "as-loop-first") (result i32) - (loop i32 (unreachable) (i32.const 2)) - ) - (func (export "as-loop-mid") (result i32) - (loop i32 (call $dummy) (unreachable) (i32.const 2)) - ) - (func (export "as-loop-last") - (loop (nop) (call $dummy) (unreachable)) - ) - (func (export "as-loop-broke") (result i32) - (block i32 (loop i32 (call $dummy) (br 1 (i32.const 1)) (unreachable))) - ) - - (func (export "as-br-value") (result i32) - (block i32 (br 0 (unreachable))) - ) - - (func (export "as-br_if-cond") - (block (br_if 0 (unreachable))) - ) - (func (export "as-br_if-value") (result i32) - (block i32 (br_if 0 (unreachable) (i32.const 1)) (i32.const 7)) - ) - (func (export "as-br_if-value-cond") (result i32) - (block i32 (drop (br_if 0 (i32.const 6) (unreachable))) (i32.const 7)) - ) - - (func (export "as-br_table-index") - (block (br_table 0 0 0 (unreachable))) - ) - (func (export "as-br_table-value") (result i32) - (block i32 (br_table 0 0 0 (unreachable) (i32.const 1)) (i32.const 7)) - ) - (func (export "as-br_table-value-index") (result i32) - (block i32 (br_table 0 0 (i32.const 6) (unreachable)) (i32.const 7)) - ) - - (func (export "as-return-value") (result i64) - (return (unreachable)) - ) - - (func (export "as-if-cond") (result i32) - (if i32 (unreachable) (then (i32.const 0) )(else (i32.const 1))) - ) - (func (export "as-if-then") (param i32 i32) (result i32) - (if i32 (local.get 0) (then (unreachable) )(else (local.get 1))) - ) - (func (export "as-if-else") (param i32 i32) (result i32) - (if i32 (local.get 0) (then (local.get 1) )(else (unreachable))) - ) - - (func (export "as-select-first") (param i32 i32) (result i32) - (select (unreachable) (local.get 0) (local.get 1)) - ) - (func (export "as-select-second") (param i32 i32) (result i32) - (select (local.get 0) (unreachable) (local.get 1)) - ) - (func (export "as-select-cond") (result i32) - (select (i32.const 0) (i32.const 1) (unreachable)) - ) - - (func (export "as-call-first") - (call $dummy3 (unreachable) (i32.const 2) (i32.const 3)) - ) - (func (export "as-call-mid") - (call $dummy3 (i32.const 1) (unreachable) (i32.const 3)) - ) - (func (export "as-call-last") - (call $dummy3 (i32.const 1) (i32.const 2) (unreachable)) - ) - - (type $sig (func (param i32 i32 i32))) - (table funcref (elem $dummy3)) - (func (export "as-call_indirect-func") - (call_indirect (type $sig) (unreachable) (i32.const 1) (i32.const 2) (i32.const 3)) - ) - (func (export "as-call_indirect-first") - (call_indirect (type $sig) (i32.const 0) (unreachable) (i32.const 2) (i32.const 3)) - ) - (func (export "as-call_indirect-mid") - (call_indirect (type $sig) (i32.const 0) (i32.const 1) (unreachable) (i32.const 3)) - ) - (func (export "as-call_indirect-last") - (call_indirect (type $sig) (i32.const 0) (i32.const 1) (i32.const 2) (unreachable)) - ) - - (func (export "as-local.set-value") (local f32) - (local.set 0 (unreachable)) - ) - - (memory 1) - (func (export "as-load-address") (result f32) - (f32.load (unreachable)) - ) - (func (export "as-loadN-address") (result i64) - (i64.load8_s (unreachable)) - ) - - (func (export "as-store-address") - (f64.store (unreachable) (f64.const 7)) - ) - (func (export "as-store-value") - (i64.store (i32.const 2) (unreachable)) - ) - - (func (export "as-storeN-address") - (i32.store8 (unreachable) (i32.const 7)) - ) - (func (export "as-storeN-value") - (i64.store16 (i32.const 2) (unreachable)) - ) - - (func (export "as-unary-operand") (result f32) - (f32.neg (unreachable)) - ) - - (func (export "as-binary-left") (result i32) - (i32.add (unreachable) (i32.const 10)) - ) - (func (export "as-binary-right") (result i64) - (i64.sub (i64.const 10) (unreachable)) - ) - - (func (export "as-test-operand") (result i32) - (i32.eqz (unreachable)) - ) - - (func (export "as-compare-left") (result i32) - (f64.le (unreachable) (f64.const 10)) - ) - (func (export "as-compare-right") (result i32) - (f32.ne (f32.const 10) (unreachable)) - ) - - (func (export "as-convert-operand") (result i32) - (i32.wrap_i64 (unreachable)) - ) - - (func (export "as-memory.grow-size") (result i32) - (memory.grow (unreachable)) - ) -) - -(assert_trap (invoke "type-i32") "unreachable") -(assert_trap (invoke "type-i64") "unreachable") -(assert_trap (invoke "type-f32") "unreachable") -(assert_trap (invoke "type-f64") "unreachable") - -(assert_trap (invoke "as-func-first") "unreachable") -(assert_trap (invoke "as-func-mid") "unreachable") -(assert_trap (invoke "as-func-last") "unreachable") -(assert_trap (invoke "as-func-value") "unreachable") - -(assert_trap (invoke "as-block-first") "unreachable") -(assert_trap (invoke "as-block-mid") "unreachable") -(assert_trap (invoke "as-block-last") "unreachable") -(assert_trap (invoke "as-block-value") "unreachable") -(assert_return (invoke "as-block-broke") (i32.const 1)) - -(assert_trap (invoke "as-loop-first") "unreachable") -(assert_trap (invoke "as-loop-mid") "unreachable") -(assert_trap (invoke "as-loop-last") "unreachable") -(assert_return (invoke "as-loop-broke") (i32.const 1)) - -(assert_trap (invoke "as-br-value") "unreachable") - -(assert_trap (invoke "as-br_if-cond") "unreachable") -(assert_trap (invoke "as-br_if-value") "unreachable") -(assert_trap (invoke "as-br_if-value-cond") "unreachable") - -(assert_trap (invoke "as-br_table-index") "unreachable") -(assert_trap (invoke "as-br_table-value") "unreachable") -(assert_trap (invoke "as-br_table-value-index") "unreachable") - -(assert_trap (invoke "as-return-value") "unreachable") - -(assert_trap (invoke "as-if-cond") "unreachable") -(assert_trap (invoke "as-if-then" (i32.const 1) (i32.const 6)) "unreachable") -(assert_return (invoke "as-if-then" (i32.const 0) (i32.const 6)) (i32.const 6)) -(assert_trap (invoke "as-if-else" (i32.const 0) (i32.const 6)) "unreachable") -(assert_return (invoke "as-if-else" (i32.const 1) (i32.const 6)) (i32.const 6)) - -(assert_trap (invoke "as-select-first" (i32.const 0) (i32.const 6)) "unreachable") -(assert_trap (invoke "as-select-first" (i32.const 1) (i32.const 6)) "unreachable") -(assert_trap (invoke "as-select-second" (i32.const 0) (i32.const 6)) "unreachable") -(assert_trap (invoke "as-select-second" (i32.const 1) (i32.const 6)) "unreachable") -(assert_trap (invoke "as-select-cond") "unreachable") - -(assert_trap (invoke "as-call-first") "unreachable") -(assert_trap (invoke "as-call-mid") "unreachable") -(assert_trap (invoke "as-call-last") "unreachable") - -(assert_trap (invoke "as-call_indirect-func") "unreachable") -(assert_trap (invoke "as-call_indirect-first") "unreachable") -(assert_trap (invoke "as-call_indirect-mid") "unreachable") -(assert_trap (invoke "as-call_indirect-last") "unreachable") - -(assert_trap (invoke "as-local.set-value") "unreachable") - -(assert_trap (invoke "as-load-address") "unreachable") -(assert_trap (invoke "as-loadN-address") "unreachable") - -(assert_trap (invoke "as-store-address") "unreachable") -(assert_trap (invoke "as-store-value") "unreachable") -(assert_trap (invoke "as-storeN-address") "unreachable") -(assert_trap (invoke "as-storeN-value") "unreachable") - -(assert_trap (invoke "as-unary-operand") "unreachable") - -(assert_trap (invoke "as-binary-left") "unreachable") -(assert_trap (invoke "as-binary-right") "unreachable") - -(assert_trap (invoke "as-test-operand") "unreachable") - -(assert_trap (invoke "as-compare-left") "unreachable") -(assert_trap (invoke "as-compare-right") "unreachable") - -(assert_trap (invoke "as-convert-operand") "unreachable") - -(assert_trap (invoke "as-memory.grow-size") "unreachable") - |