diff options
Diffstat (limited to 'test/unreachable-code.wast.fromBinary')
| -rw-r--r-- | test/unreachable-code.wast.fromBinary | 122 |
1 files changed, 122 insertions, 0 deletions
diff --git a/test/unreachable-code.wast.fromBinary b/test/unreachable-code.wast.fromBinary new file mode 100644 index 000000000..d27da2201 --- /dev/null +++ b/test/unreachable-code.wast.fromBinary @@ -0,0 +1,122 @@ +(module + (type $0 (func)) + (memory $0 0) + (func $a (type $0) + (if + (i32.const 1) + (block $label$0 + (unreachable) + ) + ) + ) + (func $b (type $0) + (if + (i32.const 1) + (block $label$0 + (unreachable) + ) + (block $label$1 + (unreachable) + ) + ) + ) + (func $a-block (type $0) + (block $label$0 + (if + (i32.const 1) + (block $label$1 + (unreachable) + ) + ) + ) + ) + (func $b-block (type $0) + (block $label$0 + (if + (i32.const 1) + (block $label$1 + (unreachable) + ) + (block $label$2 + (unreachable) + ) + ) + ) + ) + (func $a-prepost (type $0) + (block $label$0 + (nop) + (if + (i32.const 1) + (block $label$1 + (unreachable) + ) + ) + (nop) + ) + ) + (func $b-prepost (type $0) + (block $label$0 + (nop) + (if + (i32.const 1) + (block $label$1 + (unreachable) + ) + (block $label$2 + (unreachable) + ) + ) + ) + ) + (func $a-block-prepost (type $0) + (block $label$0 + (nop) + (block $label$1 + (if + (i32.const 1) + (block $label$2 + (unreachable) + ) + ) + ) + (nop) + ) + ) + (func $b-block-prepost (type $0) + (block $label$0 + (nop) + (block $label$1 + (if + (i32.const 1) + (block $label$2 + (unreachable) + ) + (block $label$3 + (unreachable) + ) + ) + ) + ) + ) + (func $recurse (type $0) + (block $label$0 + (nop) + (block $label$1 + (nop) + (br $label$1) + ) + (nop) + ) + ) + (func $recurse-b (type $0) + (block $label$0 + (nop) + (block $label$1 + (nop) + (br $label$0) + ) + ) + ) +) + |