diff options
Diffstat (limited to 'test/example/relooper-fuzz1.txt')
-rw-r--r-- | test/example/relooper-fuzz1.txt | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/test/example/relooper-fuzz1.txt b/test/example/relooper-fuzz1.txt index d05a316e2..dfdc0b08e 100644 --- a/test/example/relooper-fuzz1.txt +++ b/test/example/relooper-fuzz1.txt @@ -172,14 +172,14 @@ (call $print (i32.const 0) ) - (set_local $0 + (local.set $0 (call $check) ) ) (if (i32.eq (i32.rem_u - (get_local $0) + (local.get $0) (i32.const 4) ) (i32.const 0) @@ -188,7 +188,7 @@ (if (i32.eq (i32.rem_u - (get_local $0) + (local.get $0) (i32.const 4) ) (i32.const 2) @@ -198,14 +198,14 @@ (call $print (i32.const 7) ) - (set_local $0 + (local.set $0 (call $check) ) ) (if (i32.eq (i32.rem_u - (get_local $0) + (local.get $0) (i32.const 3) ) (i32.const 0) @@ -223,14 +223,14 @@ (call $print (i32.const 2) ) - (set_local $0 + (local.set $0 (call $check) ) ) (if (i32.eq (i32.rem_u - (get_local $0) + (local.get $0) (i32.const 2) ) (i32.const 0) @@ -245,7 +245,7 @@ (call $print (i32.const 3) ) - (set_local $0 + (local.set $0 (call $check) ) ) @@ -259,7 +259,7 @@ (call $print (i32.const 9) ) - (set_local $0 + (local.set $0 (call $check) ) ) @@ -439,7 +439,7 @@ (block $block$4$break (if (i32.and - (tee_local $0 + (local.tee $0 (call $check) ) (i32.const 3) @@ -447,7 +447,7 @@ (if (i32.eq (i32.and - (get_local $0) + (local.get $0) (i32.const 3) ) (i32.const 2) |