diff options
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise')
| -rw-r--r-- | test/memorygrowth.fromasm.imprecise | 42 |
1 files changed, 16 insertions, 26 deletions
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index 99ae1f394..872ac6db1 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -9609,13 +9609,13 @@ ) (block (loop $while-out$0 $while-in$1 - (if - (i32.and - (get_local $a) - (i32.const 3) + (br_if $while-out$0 + (i32.eqz + (i32.and + (get_local $a) + (i32.const 3) + ) ) - (nop) - (br $while-out$0) ) (if (i32.eqz @@ -9652,13 +9652,11 @@ (br $while-in$1) ) (loop $while-out$2 $while-in$3 - (if - (i32.ge_s + (br_if $while-out$2 + (i32.lt_s (get_local $c) (i32.const 4) ) - (nop) - (br $while-out$2) ) (i32.store (get_local $a) @@ -9689,13 +9687,11 @@ ) ) (loop $while-out$4 $while-in$5 - (if - (i32.gt_s + (br_if $while-out$4 + (i32.le_s (get_local $c) (i32.const 0) ) - (nop) - (br $while-out$4) ) (i32.store8 (get_local $a) @@ -9802,13 +9798,11 @@ ) ) (loop $while-out$0 $while-in$1 - (if - (i32.lt_s + (br_if $while-out$0 + (i32.ge_s (get_local $a) (get_local $e) ) - (nop) - (br $while-out$0) ) (i32.store8 (get_local $a) @@ -9825,13 +9819,11 @@ ) ) (loop $while-out$2 $while-in$3 - (if - (i32.lt_s + (br_if $while-out$2 + (i32.ge_s (get_local $a) (get_local $g) ) - (nop) - (br $while-out$2) ) (i32.store (get_local $a) @@ -9848,13 +9840,11 @@ ) ) (loop $while-out$4 $while-in$5 - (if - (i32.lt_s + (br_if $while-out$4 + (i32.ge_s (get_local $a) (get_local $d) ) - (nop) - (br $while-out$4) ) (i32.store8 (get_local $a) |