diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit.wast | 12 | ||||
| -rw-r--r-- | test/unit.wast.from-wast | 45 | ||||
| -rw-r--r-- | test/unit.wast.fromBinary | 46 | ||||
| -rw-r--r-- | test/unit.wast.fromBinary.noDebugInfo | 46 |
4 files changed, 149 insertions, 0 deletions
diff --git a/test/unit.wast b/test/unit.wast index 6c3d8e0fa..2cd164238 100644 --- a/test/unit.wast +++ b/test/unit.wast @@ -525,4 +525,16 @@ (return (i32.const 1)) ) ) + (func $unreachable-ifs + (if (unreachable) (nop)) + (if (unreachable) (unreachable)) + (if (unreachable) (nop) (nop)) + (if (unreachable) (unreachable) (nop)) + (if (unreachable) (nop) (unreachable)) + (if (unreachable) (unreachable) (unreachable)) + ;; + (if (i32.const 1) (unreachable) (nop)) + (if (i32.const 1) (nop) (unreachable)) + (if (i32.const 1) (unreachable) (unreachable)) + ) ) diff --git a/test/unit.wast.from-wast b/test/unit.wast.from-wast index b7b914795..99def6ded 100644 --- a/test/unit.wast.from-wast +++ b/test/unit.wast.from-wast @@ -557,4 +557,49 @@ ) ) ) + (func $unreachable-ifs (type $FUNCSIG$v) + (if + (unreachable) + (nop) + ) + (if + (unreachable) + (unreachable) + ) + (if + (unreachable) + (nop) + (nop) + ) + (if + (unreachable) + (unreachable) + (nop) + ) + (if + (unreachable) + (nop) + (unreachable) + ) + (if + (unreachable) + (unreachable) + (unreachable) + ) + (if + (i32.const 1) + (unreachable) + (nop) + ) + (if + (i32.const 1) + (nop) + (unreachable) + ) + (if + (i32.const 1) + (unreachable) + (unreachable) + ) + ) ) diff --git a/test/unit.wast.fromBinary b/test/unit.wast.fromBinary index 7a9b1c58d..266cd2246 100644 --- a/test/unit.wast.fromBinary +++ b/test/unit.wast.fromBinary @@ -595,5 +595,51 @@ ) (unreachable) ) + (func $unreachable-ifs (type $1) + (block $label$0 + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (if + (i32.const 1) + (block $label$1 + (unreachable) + ) + (block $label$2 + (nop) + ) + ) + (if + (i32.const 1) + (block $label$3 + (nop) + ) + (block $label$4 + (unreachable) + ) + ) + (if + (i32.const 1) + (block $label$5 + (unreachable) + ) + (block $label$6 + (unreachable) + ) + ) + (unreachable) + (unreachable) + ) + (unreachable) + ) ) diff --git a/test/unit.wast.fromBinary.noDebugInfo b/test/unit.wast.fromBinary.noDebugInfo index 704da90f3..6818db1bb 100644 --- a/test/unit.wast.fromBinary.noDebugInfo +++ b/test/unit.wast.fromBinary.noDebugInfo @@ -595,5 +595,51 @@ ) (unreachable) ) + (func $35 (type $1) + (block $label$0 + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (unreachable) + (if + (i32.const 1) + (block $label$1 + (unreachable) + ) + (block $label$2 + (nop) + ) + ) + (if + (i32.const 1) + (block $label$3 + (nop) + ) + (block $label$4 + (unreachable) + ) + ) + (if + (i32.const 1) + (block $label$5 + (unreachable) + ) + (block $label$6 + (unreachable) + ) + ) + (unreachable) + (unreachable) + ) + (unreachable) + ) ) |