diff options
Diffstat (limited to 'test/passes/ssa_fuzz-exec_enable-threads.wast')
| -rw-r--r-- | test/passes/ssa_fuzz-exec_enable-threads.wast | 152 |
1 files changed, 86 insertions, 66 deletions
diff --git a/test/passes/ssa_fuzz-exec_enable-threads.wast b/test/passes/ssa_fuzz-exec_enable-threads.wast index 5917a3eb3..7dd2fcc73 100644 --- a/test/passes/ssa_fuzz-exec_enable-threads.wast +++ b/test/passes/ssa_fuzz-exec_enable-threads.wast @@ -12,98 +12,118 @@ (block $label$1 (result i32) (if (result i32) (i32.const 0) - (unreachable) - (block $label$4 (result i32) - (loop $label$5 - (block $label$6 - (block $label$7 - (local.set $var$0 - (if (result i32) - (local.get $var$2) - (select - (loop $label$9 (result i32) - (if (result i32) - (local.tee $var$2 - (i32.const 16384) + (then + (unreachable) + ) + (else + (block $label$4 (result i32) + (loop $label$5 + (block $label$6 + (block $label$7 + (local.set $var$0 + (if (result i32) + (local.get $var$2) + (then + (select + (loop $label$9 (result i32) + (if (result i32) + (local.tee $var$2 + (i32.const 16384) + ) + (then + (i32.const 1) + ) + (else + (i32.const 0) + ) + ) ) - (i32.const 1) - (i32.const 0) - ) - ) - (br_if $label$4 - (i32.const 0) - (local.tee $var$1 - (local.tee $var$2 - (block $label$12 (result i32) - (br_if $label$5 - (br $label$6) + (br_if $label$4 + (i32.const 0) + (local.tee $var$1 + (local.tee $var$2 + (block $label$12 (result i32) + (br_if $label$5 + (br $label$6) + ) + (unreachable) + ) ) - (unreachable) ) ) + (i32.const 1) ) ) - (i32.const 1) - ) - (block (result i32) - (loop $label$15 - (if - (i32.const 0) - (return - (local.get $var$2) - ) - ) - (if - (local.tee $var$1 - (local.tee $var$2 + (else + (block (result i32) + (loop $label$15 + (if (i32.const 0) + (then + (return + (local.get $var$2) + ) + ) ) - ) - (block - (br_if $label$15 - (i32.const 0) + (if + (local.tee $var$1 + (local.tee $var$2 + (i32.const 0) + ) + ) + (then + (block + (br_if $label$15 + (i32.const 0) + ) + ) + ) ) - ) - ) - (br_if $label$15 - (i32.eqz - (local.tee $var$2 - (i32.const 129) + (br_if $label$15 + (i32.eqz + (local.tee $var$2 + (i32.const 129) + ) + ) ) ) + (i32.const -5742806) ) ) - (i32.const -5742806) ) ) ) - ) - (br_if $label$6 - (if (result i32) - (local.get $var$1) - (unreachable) - (block $label$25 (result i32) - (local.set $var$3 - (block $label$26 (result f64) - (drop - (br_if $label$4 - (br_if $label$25 - (br $label$5) - (i32.const 0) + (br_if $label$6 + (if (result i32) + (local.get $var$1) + (then + (unreachable) + ) + (else + (block $label$25 (result i32) + (local.set $var$3 + (block $label$26 (result f64) + (drop + (br_if $label$4 + (br_if $label$25 + (br $label$5) + (i32.const 0) + ) + (i32.const 0) + ) ) - (i32.const 0) + (f64.const 1) ) ) - (f64.const 1) + (i32.const 0) ) ) - (i32.const 0) ) ) ) ) + (local.get $var$2) ) - (local.get $var$2) ) ) ) |