diff options
Diffstat (limited to 'test/passes/ssa_fuzz-exec_enable-threads.wast')
| -rw-r--r-- | test/passes/ssa_fuzz-exec_enable-threads.wast | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/test/passes/ssa_fuzz-exec_enable-threads.wast b/test/passes/ssa_fuzz-exec_enable-threads.wast new file mode 100644 index 000000000..1ad1e2a6f --- /dev/null +++ b/test/passes/ssa_fuzz-exec_enable-threads.wast @@ -0,0 +1,112 @@ +(module + (type $0 (func (result i32))) + (type $1 (func)) + (table 0 0 funcref) + (memory $0 (shared 1 1)) + (export "func_0" (func $0)) + (func $0 (; 0 ;) (type $0) (result i32) + (local $var$0 i32) + (local $var$1 i32) + (local $var$2 i32) + (local $var$3 f64) + (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) + ) + (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) + ) + (unreachable) + ) + ) + ) + ) + (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 + (i32.const 0) + ) + ) + (block + (br_if $label$15 + (i32.const 0) + ) + ) + ) + (br_if $label$15 + (i32.eqz + (local.tee $var$2 + (i32.const 129) + ) + ) + ) + ) + (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) + ) + (i32.const 0) + ) + ) + (f64.const 1) + ) + ) + (i32.const 0) + ) + ) + ) + ) + ) + (local.get $var$2) + ) + ) + ) + ) +) + |