diff options
| -rw-r--r-- | test/extra-unreachable.wast | 196 | ||||
| -rw-r--r-- | test/extra-unreachable.wast.from-wast | 157 | ||||
| -rw-r--r-- | test/extra-unreachable.wast.fromBinary | 21 | ||||
| -rw-r--r-- | test/extra-unreachable.wast.fromBinary.noDebugInfo | 21 |
4 files changed, 0 insertions, 395 deletions
diff --git a/test/extra-unreachable.wast b/test/extra-unreachable.wast deleted file mode 100644 index 80725c92e..000000000 --- a/test/extra-unreachable.wast +++ /dev/null @@ -1,196 +0,0 @@ -(module - (type $ii (func (param i32) (result i32))) - (memory (shared 1 1)) - (table 0 funcref) - (global $g (mut f32) (f32.const 0)) - (event $e (attr 0) (param i32)) - - (func $foo (param i32) (result i32) (i32.const 0)) - - (func $test_function_block - ;; block, which has unreachable type, can be omitted here because it is the - ;; only expression within a function. We emit an extra unreachable at the - ;; end. - (block - (unreachable) - (nop) - ) - ) - - (func $test - ;; block has unreachable type. We emit an unreachable at the end of the - ;; block and also outside the block too. - (block - (i32.eqz (unreachable)) - ) - - ;; If an if's condition is unreachable, don't emit the if and emit an - ;; unreachable instead. - (if - (unreachable) - (nop) - (nop) - ) - - ;; If an if is unreachable, i.e., the both sides are unreachable, we emit - ;; an extra unreachable after the if. - (if - (i32.const 1) - (unreachable) - (unreachable) - ) - - ;; If a try is unreachable, i.e., both the 'try' and 'catch' bodies are - ;; unreachable, we emit an extra unreachable after the try. - (try - (do - (unreachable) - ) - (catch - (unreachable) - ) - ) - - ;; If a br_if/br_on_exn's type is unreachable, emit an extra unreachable - ;; after it - (block - (br_if 0 (unreachable)) - ) - (drop - (block (result i32) - (br_on_exn 0 $e (unreachable)) - ) - ) - - ;; If a br_table is not reachable, emit an unreachable instead - (block $l - (block $default - (br_table $l $default - (unreachable) - ) - ) - ) - - ;; For all tests below, when a value-returning expression is unreachable, - ;; emit an unreachable instead of the operation, to prevent it from being - ;; consumed by the next operation. - ;; - ;; Here global.set is used to consume the value. If an unreachable is not - ;; emitted, the instruction itself will be consumed by global.set and will - ;; result in a type validation failure, because it expects a f32 but gets an - ;; i32. The reason we use global.set is the instruction does not return a - ;; value, so it will be emitted even if its argument is unreachable. - - ;; call / call_indirect - (global.set $g - (call $foo (unreachable)) - ) - (global.set $g - (call_indirect (type $ii) (unreachable) (unreachable)) - ) - - ;; unary - (global.set $g - (i32.eqz (unreachable)) - ) - - ;; binary - (global.set $g - (i32.add - (unreachable) - (i32.const 0) - ) - ) - - ;; select - (global.set $g - (select - (unreachable) - (i32.const 0) - (i32.const 0) - ) - ) - - ;; load - (global.set $g - (i32.load (unreachable)) - ) - (global.set $g - (i32.atomic.load (unreachable)) - ) - - ;; atomic.rmw - (global.set $g - (i32.atomic.rmw.add - (unreachable) - (i32.const 0) - ) - ) - - ;; atomic.cmpxchg - (global.set $g - (i32.atomic.rmw.cmpxchg - (unreachable) - (i32.const 0) - (i32.const 0) - ) - ) - - ;; atomic.wait - (global.set $g - (memory.atomic.wait32 - (unreachable) - (i32.const 0) - (i64.const 0) - ) - ) - - ;; memory.atomic.notify - (global.set $g - (memory.atomic.notify - (unreachable) - (i32.const 0) - ) - ) - - ;; SIMD extract - (global.set $g - (i32x4.extract_lane 0 - (unreachable) - ) - ) - - ;; SIMD replace - (global.set $g - (i32x4.replace_lane 0 - (unreachable) - (i32.const 0) - ) - ) - - ;; SIMD shuffle - (global.set $g - (v8x16.shuffle 0 17 2 19 4 21 6 23 8 25 10 27 12 29 14 31 - (unreachable) - (unreachable) - ) - ) - - ;; SIMD bitselect - (global.set $g - (v128.bitselect - (unreachable) - (unreachable) - (unreachable) - ) - ) - - ;; SIMD shift - (global.set $g - (i32x4.shl - (unreachable) - (i32.const 0) - ) - ) - ) -) diff --git a/test/extra-unreachable.wast.from-wast b/test/extra-unreachable.wast.from-wast deleted file mode 100644 index 08aa4ed4b..000000000 --- a/test/extra-unreachable.wast.from-wast +++ /dev/null @@ -1,157 +0,0 @@ -(module - (type $none_=>_none (func)) - (type $i32_=>_i32 (func (param i32) (result i32))) - (type $i32_=>_none (func (param i32))) - (memory $0 (shared 1 1)) - (table $0 0 funcref) - (global $g (mut f32) (f32.const 0)) - (event $e (attr 0) (param i32)) - (func $foo (param $0 i32) (result i32) - (i32.const 0) - ) - (func $test_function_block - (block $block - (unreachable) - (nop) - ) - ) - (func $test - (block $block - (i32.eqz - (unreachable) - ) - ) - (if - (unreachable) - (nop) - (nop) - ) - (if - (i32.const 1) - (unreachable) - (unreachable) - ) - (try - (do - (unreachable) - ) - (catch - (unreachable) - ) - ) - (block $block1 - (br_if $block1 - (unreachable) - ) - ) - (drop - (block $block2 (result i32) - (br_on_exn $block2 $e - (unreachable) - ) - ) - ) - (block $l - (block $default - (br_table $l $default - (unreachable) - ) - ) - ) - (global.set $g - (call $foo - (unreachable) - ) - ) - (global.set $g - (call_indirect (type $i32_=>_i32) - (unreachable) - (unreachable) - ) - ) - (global.set $g - (i32.eqz - (unreachable) - ) - ) - (global.set $g - (i32.add - (unreachable) - (i32.const 0) - ) - ) - (global.set $g - (select - (unreachable) - (i32.const 0) - (i32.const 0) - ) - ) - (global.set $g - (i32.load - (unreachable) - ) - ) - (global.set $g - (i32.atomic.load - (unreachable) - ) - ) - (global.set $g - (i32.atomic.rmw.add - (unreachable) - (i32.const 0) - ) - ) - (global.set $g - (i32.atomic.rmw.cmpxchg - (unreachable) - (i32.const 0) - (i32.const 0) - ) - ) - (global.set $g - (memory.atomic.wait32 - (unreachable) - (i32.const 0) - (i64.const 0) - ) - ) - (global.set $g - (memory.atomic.notify - (unreachable) - (i32.const 0) - ) - ) - (global.set $g - (i32x4.extract_lane 0 - (unreachable) - ) - ) - (global.set $g - (i32x4.replace_lane 0 - (unreachable) - (i32.const 0) - ) - ) - (global.set $g - (v8x16.shuffle 0 17 2 19 4 21 6 23 8 25 10 27 12 29 14 31 - (unreachable) - (unreachable) - ) - ) - (global.set $g - (v128.bitselect - (unreachable) - (unreachable) - (unreachable) - ) - ) - (global.set $g - (i32x4.shl - (unreachable) - (i32.const 0) - ) - ) - ) -) diff --git a/test/extra-unreachable.wast.fromBinary b/test/extra-unreachable.wast.fromBinary deleted file mode 100644 index 7db2a86d9..000000000 --- a/test/extra-unreachable.wast.fromBinary +++ /dev/null @@ -1,21 +0,0 @@ -(module - (type $none_=>_none (func)) - (type $i32_=>_none (func (param i32))) - (type $i32_=>_i32 (func (param i32) (result i32))) - (memory $0 (shared 1 1)) - (table $0 0 funcref) - (global $g (mut f32) (f32.const 0)) - (event $event$0 (attr 0) (param i32)) - (func $foo (param $0 i32) (result i32) - (i32.const 0) - ) - (func $test_function_block - (unreachable) - ) - (func $test - (block $label$1 - (unreachable) - ) - ) -) - diff --git a/test/extra-unreachable.wast.fromBinary.noDebugInfo b/test/extra-unreachable.wast.fromBinary.noDebugInfo deleted file mode 100644 index 748bafcee..000000000 --- a/test/extra-unreachable.wast.fromBinary.noDebugInfo +++ /dev/null @@ -1,21 +0,0 @@ -(module - (type $none_=>_none (func)) - (type $i32_=>_none (func (param i32))) - (type $i32_=>_i32 (func (param i32) (result i32))) - (memory $0 (shared 1 1)) - (table $0 0 funcref) - (global $global$0 (mut f32) (f32.const 0)) - (event $event$0 (attr 0) (param i32)) - (func $0 (param $0 i32) (result i32) - (i32.const 0) - ) - (func $1 - (unreachable) - ) - (func $2 - (block $label$1 - (unreachable) - ) - ) -) - |