diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/passes/ssa_fuzz-exec.txt | 131 | ||||
| -rw-r--r-- | test/passes/ssa_fuzz-exec.wast | 112 |
2 files changed, 243 insertions, 0 deletions
diff --git a/test/passes/ssa_fuzz-exec.txt b/test/passes/ssa_fuzz-exec.txt new file mode 100644 index 000000000..7f4917dff --- /dev/null +++ b/test/passes/ssa_fuzz-exec.txt @@ -0,0 +1,131 @@ +[fuzz-exec] note result: $func_0 => (i32.const 16384) +[fuzz-exec] 1 results noted +(module + (type $0 (func (result i32))) + (type $1 (func)) + (table 0 0 anyfunc) + (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) + (local $4 i32) + (local $5 i32) + (local $6 i32) + (local $7 i32) + (local $8 i32) + (local $9 f64) + (local $10 i32) + (local $11 i32) + (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 + (set_local $4 + (if (result i32) + (get_local $10) + (select + (loop $label$9 (result i32) + (if (result i32) + (tee_local $5 + (i32.const 16384) + ) + (i32.const 1) + (i32.const 0) + ) + ) + (br_if $label$4 + (i32.const 0) + (tee_local $var$1 + (tee_local $var$2 + (block $label$12 (result i32) + (br_if $label$5 + (br $label$6) + ) + (unreachable) + ) + ) + ) + ) + (i32.const 1) + ) + (block $block (result i32) + (loop $label$15 + (if + (i32.const 0) + (return + (get_local $11) + ) + ) + (if + (tee_local $6 + (tee_local $7 + (tee_local $11 + (i32.const 0) + ) + ) + ) + (block $block4 + (br_if $label$15 + (i32.const 0) + ) + ) + ) + (br_if $label$15 + (i32.eqz + (tee_local $8 + (tee_local $11 + (tee_local $10 + (i32.const 129) + ) + ) + ) + ) + ) + ) + (i32.const -5742806) + ) + ) + ) + ) + (br_if $label$6 + (if (result i32) + (get_local $6) + (unreachable) + (block $label$25 (result i32) + (set_local $9 + (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) + ) + ) + ) + ) + ) + (get_local $5) + ) + ) + ) + ) +) +[fuzz-exec] note result: $func_0 => (i32.const 16384) +[fuzz-exec] 1 results noted +[fuzz-exec] comparing $func_0 +[fuzz-exec] 1 results match diff --git a/test/passes/ssa_fuzz-exec.wast b/test/passes/ssa_fuzz-exec.wast new file mode 100644 index 000000000..ec2ac8fca --- /dev/null +++ b/test/passes/ssa_fuzz-exec.wast @@ -0,0 +1,112 @@ +(module + (type $0 (func (result i32))) + (type $1 (func)) + (table 0 0 anyfunc) + (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 + (set_local $var$0 + (if (result i32) + (get_local $var$2) + (select + (loop $label$9 (result i32) + (if (result i32) + (tee_local $var$2 + (i32.const 16384) + ) + (i32.const 1) + (i32.const 0) + ) + ) + (br_if $label$4 + (i32.const 0) + (tee_local $var$1 + (tee_local $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 + (get_local $var$2) + ) + ) + (if + (tee_local $var$1 + (tee_local $var$2 + (i32.const 0) + ) + ) + (block + (br_if $label$15 + (i32.const 0) + ) + ) + ) + (br_if $label$15 + (i32.eqz + (tee_local $var$2 + (i32.const 129) + ) + ) + ) + ) + (i32.const -5742806) + ) + ) + ) + ) + (br_if $label$6 + (if (result i32) + (get_local $var$1) + (unreachable) + (block $label$25 (result i32) + (set_local $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) + ) + ) + ) + ) + ) + (get_local $var$2) + ) + ) + ) + ) +) + |