diff options
Diffstat (limited to 'test/example')
| -rw-r--r-- | test/example/relooper-fuzz.txt | 30 |
1 files changed, 11 insertions, 19 deletions
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt index 7dab4c5be..6a45dbe84 100644 --- a/test/example/relooper-fuzz.txt +++ b/test/example/relooper-fuzz.txt @@ -158,33 +158,29 @@ (if (i32.eq (i32.rem_u - (set_local $0 - (call $check) - ) + (call $check) (i32.const 2) ) (i32.const 0) ) - (set_local $1 + (set_local $0 (i32.const 6) ) (block (call_import $print (i32.const 8) ) - (set_local $0 - (call $check) - ) + (call $check) ) ) (loop $shape$3$break $shape$3$continue (if (i32.eq - (get_local $1) + (get_local $0) (i32.const 6) ) (block - (set_local $1 + (set_local $0 (i32.const 0) ) (call_import $print @@ -193,16 +189,14 @@ (if (i32.eq (i32.rem_u - (set_local $0 - (call $check) - ) + (call $check) (i32.const 2) ) (i32.const 0) ) (br $shape$3$continue) (block - (set_local $1 + (set_local $0 (i32.const 6) ) (br $shape$3$continue) @@ -216,7 +210,7 @@ (if (i32.eq (i32.rem_u - (set_local $0 + (set_local $1 (call $check) ) (i32.const 3) @@ -227,13 +221,13 @@ (if (i32.eq (i32.rem_u - (get_local $0) + (get_local $1) (i32.const 3) ) (i32.const 1) ) (block - (set_local $1 + (set_local $0 (i32.const 6) ) (br $shape$3$continue) @@ -243,10 +237,8 @@ (call_import $print (i32.const 2) ) + (call $check) (set_local $0 - (call $check) - ) - (set_local $1 (i32.const 6) ) (br $shape$3$continue) |