diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/untaken-br_if.wast | 14 | ||||
| -rw-r--r-- | test/untaken-br_if.wast.from-wast | 16 | ||||
| -rw-r--r-- | test/untaken-br_if.wast.fromBinary | 26 | ||||
| -rw-r--r-- | test/untaken-br_if.wast.fromBinary.noDebugInfo | 26 |
4 files changed, 82 insertions, 0 deletions
diff --git a/test/untaken-br_if.wast b/test/untaken-br_if.wast new file mode 100644 index 000000000..a165cf67f --- /dev/null +++ b/test/untaken-br_if.wast @@ -0,0 +1,14 @@ +(module + (func $binaryify-untaken-br_if (result f32) + (if + (i32.const 1) + (unreachable) + (block $label$1 + (br_if $label$1 + (i32.const 1) + (unreachable) + ) + ) + ) + ) +) diff --git a/test/untaken-br_if.wast.from-wast b/test/untaken-br_if.wast.from-wast new file mode 100644 index 000000000..2d6d9dd2d --- /dev/null +++ b/test/untaken-br_if.wast.from-wast @@ -0,0 +1,16 @@ +(module + (type $0 (func (result f32))) + (memory $0 0) + (func $binaryify-untaken-br_if (type $0) (result f32) + (if + (i32.const 1) + (unreachable) + (block $label$1 + (br_if $label$1 + (i32.const 1) + (unreachable) + ) + ) + ) + ) +) diff --git a/test/untaken-br_if.wast.fromBinary b/test/untaken-br_if.wast.fromBinary new file mode 100644 index 000000000..14abdb5fb --- /dev/null +++ b/test/untaken-br_if.wast.fromBinary @@ -0,0 +1,26 @@ +(module + (type $0 (func (result f32))) + (memory $0 0) + (func $binaryify-untaken-br_if (type $0) (result f32) + (if + (i32.const 1) + (block $label$0 + (unreachable) + ) + (block $label$1 + (block $label$2 + (drop + (i32.const 1) + ) + (br_if $label$2 + (unreachable) + ) + (unreachable) + ) + (unreachable) + ) + ) + (unreachable) + ) +) + diff --git a/test/untaken-br_if.wast.fromBinary.noDebugInfo b/test/untaken-br_if.wast.fromBinary.noDebugInfo new file mode 100644 index 000000000..17f736ac3 --- /dev/null +++ b/test/untaken-br_if.wast.fromBinary.noDebugInfo @@ -0,0 +1,26 @@ +(module + (type $0 (func (result f32))) + (memory $0 0) + (func $0 (type $0) (result f32) + (if + (i32.const 1) + (block $label$0 + (unreachable) + ) + (block $label$1 + (block $label$2 + (drop + (i32.const 1) + ) + (br_if $label$2 + (unreachable) + ) + (unreachable) + ) + (unreachable) + ) + ) + (unreachable) + ) +) + |