summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-03-21 12:47:55 -0700
committerAlon Zakai <alonzakai@gmail.com>2016-03-21 12:48:57 -0700
commit7c6be8c282a6a45031768ce7e2f45b47d9f2c742 (patch)
tree4bfe1d6c2ea2e29054e85bb547421d8763faaeb4
parent3dd7f17b10a1c6d0de11f3fa297beb9b18016e38 (diff)
downloadbinaryen-7c6be8c282a6a45031768ce7e2f45b47d9f2c742.tar.gz
binaryen-7c6be8c282a6a45031768ce7e2f45b47d9f2c742.tar.bz2
binaryen-7c6be8c282a6a45031768ce7e2f45b47d9f2c742.zip
use eqz in asm2wasm
Diffstat
-rw-r--r--src/asm2wasm.h11
-rw-r--r--test/emcc_O2_hello_world.fromasm225
-rw-r--r--test/emcc_O2_hello_world.fromasm.imprecise225
-rw-r--r--test/emcc_hello_world.fromasm225
-rw-r--r--test/emcc_hello_world.fromasm.imprecise225
-rw-r--r--test/memorygrowth.fromasm285
-rw-r--r--test/memorygrowth.fromasm.imprecise285
-rw-r--r--test/two_sides.fromasm3
-rw-r--r--test/two_sides.fromasm.imprecise3
-rw-r--r--test/unit.fromasm3
-rw-r--r--test/unit.fromasm.imprecise3
11 files changed, 498 insertions, 995 deletions
diff --git a/src/asm2wasm.h b/src/asm2wasm.h
index d6856c7f2..c994d0ef2 100644
--- a/src/asm2wasm.h
+++ b/src/asm2wasm.h
@@ -1058,13 +1058,10 @@ Function* Asm2WasmBuilder::processFunction(Ref ast) {
ret->type = WasmType::i32;
return ret;
} else if (ast[1] == L_NOT) {
- // no logical unary not, so do == 0
- auto ret = allocator.alloc<Binary>();
- ret->op = Eq;
- ret->left = process(ast[2]);
- ret->right = allocator.alloc<Const>()->set(Literal(0));
- assert(ret->left->type == ret->right->type);
- ret->finalize();
+ auto ret = allocator.alloc<Unary>();
+ ret->op = EqZ;
+ ret->value = process(ast[2]);
+ ret->type = i32;
return ret;
}
abort_on("bad unary", ast);
diff --git a/test/emcc_O2_hello_world.fromasm b/test/emcc_O2_hello_world.fromasm
index 1d689ed76..749f7d005 100644
--- a/test/emcc_O2_hello_world.fromasm
+++ b/test/emcc_O2_hello_world.fromasm
@@ -862,9 +862,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i10)
- (i32.const 0)
)
(block
(set_local $i15
@@ -873,9 +872,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i15)
- (i32.const 0)
)
(block
(set_local $i21
@@ -985,9 +983,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i17)
- (i32.const 0)
)
(block
(set_local $i15
@@ -1002,9 +999,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i10)
- (i32.const 0)
)
(block
(set_local $i24
@@ -1067,9 +1063,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i17)
- (i32.const 0)
)
(block
(set_local $i27
@@ -1200,9 +1195,8 @@
(get_local $i24)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i24)
- (i32.const 0)
)
(block
(i32.store
@@ -1257,9 +1251,8 @@
)
)
(br_if $do-once$12
- (i32.eq
+ (i32.eqz
(get_local $i24)
- (i32.const 0)
)
)
)
@@ -1695,9 +1688,8 @@
)
(block $label$break$L123
(if
- (i32.eq
+ (i32.eqz
(get_local $i4)
- (i32.const 0)
)
(block
(set_local $i33
@@ -1930,9 +1922,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i14)
- (i32.const 0)
)
(block
(set_local $i31
@@ -2054,9 +2045,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i42)
- (i32.const 0)
)
(block
(set_local $i43
@@ -2152,9 +2142,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i38)
- (i32.const 0)
)
(block
(set_local $i43
@@ -2252,9 +2241,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i14)
- (i32.const 0)
)
(block
(set_local $i4
@@ -2269,9 +2257,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i10)
- (i32.const 0)
)
(block
(set_local $i45
@@ -2334,9 +2321,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i14)
- (i32.const 0)
)
(block
(set_local $i48
@@ -2467,9 +2453,8 @@
(get_local $i45)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i45)
- (i32.const 0)
)
(block
(i32.store
@@ -2524,9 +2509,8 @@
)
)
(br_if $do-once$25
- (i32.eq
+ (i32.eqz
(get_local $i45)
- (i32.const 0)
)
)
)
@@ -2891,12 +2875,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i7)
(get_local $i4)
)
- (i32.const 0)
)
(block
(i32.store
@@ -2991,9 +2974,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i2)
- (i32.const 0)
)
(block
(set_local $i54
@@ -3351,11 +3333,10 @@
)
(block $do-once$33
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 648)
)
- (i32.const 0)
)
(block
(set_local $i53
@@ -3364,7 +3345,7 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.add
(get_local $i53)
@@ -3372,7 +3353,6 @@
)
(get_local $i53)
)
- (i32.const 0)
)
(block
(i32.store
@@ -3514,14 +3494,13 @@
)
(block $label$break$L257
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load
(i32.const 620)
)
(i32.const 4)
)
- (i32.const 0)
)
(block
(set_local $i52
@@ -3583,9 +3562,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i50)
- (i32.const 0)
)
(block
(set_local $i36
@@ -3704,12 +3682,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i45)
(get_local $i5)
)
- (i32.const 0)
)
(set_local $i62
(get_local $i43)
@@ -4287,9 +4264,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i63)
- (i32.const 0)
)
(block
(set_local $i71
@@ -4306,14 +4282,13 @@
(i32.const 211)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load offset=12
(get_local $i70)
)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store
@@ -4529,9 +4504,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i52)
- (i32.const 0)
)
(block
(set_local $i50
@@ -4540,9 +4514,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i50)
- (i32.const 0)
)
(block
(set_local $i72
@@ -4605,9 +4578,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i52)
- (i32.const 0)
)
(block
(set_local $i75
@@ -4708,9 +4680,8 @@
)
)
(br_if $label$break$L331
- (i32.eq
+ (i32.eqz
(get_local $i54)
- (i32.const 0)
)
)
(set_local $i55
@@ -4768,9 +4739,8 @@
)
)
(br_if $label$break$L331
- (i32.eq
+ (i32.eqz
(get_local $i72)
- (i32.const 0)
)
)
)
@@ -4857,9 +4827,8 @@
)
)
(br_if $label$break$L331
- (i32.eq
+ (i32.eqz
(get_local $i45)
- (i32.const 0)
)
)
(if
@@ -5099,12 +5068,11 @@
)
(block $do-once$65
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i54)
(get_local $i5)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5184,9 +5152,8 @@
)
(block $do-once$67
(if
- (i32.eq
+ (i32.eqz
(get_local $i5)
- (i32.const 0)
)
(set_local $i82
(i32.const 0)
@@ -5333,12 +5300,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i62)
(get_local $i50)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5433,9 +5399,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i57)
- (i32.const 0)
)
(block
(set_local $i84
@@ -6126,12 +6091,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i62)
(get_local $i5)
)
- (i32.const 0)
)
(block
(i32.store
@@ -6226,9 +6190,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i57)
- (i32.const 0)
)
(block
(set_local $i91
@@ -6617,9 +6580,8 @@
(local $i36 i32)
(local $i26 i32)
(if
- (i32.eq
+ (i32.eqz
(get_local $i1)
- (i32.const 0)
)
(return)
)
@@ -6676,12 +6638,11 @@
)
(block $do-once$0
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i4)
(i32.const 1)
)
- (i32.const 0)
)
(block
(set_local $i7
@@ -6690,9 +6651,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i1)
- (i32.const 0)
)
(return)
)
@@ -6962,9 +6922,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i16)
- (i32.const 0)
)
(block
(set_local $i17
@@ -6973,9 +6932,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i17)
- (i32.const 0)
)
(block
(set_local $i18
@@ -7038,9 +6996,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i16)
- (i32.const 0)
)
(block
(set_local $i21
@@ -7170,9 +7127,8 @@
(get_local $i18)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i18)
- (i32.const 0)
)
(block
(i32.store
@@ -7233,9 +7189,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i18)
- (i32.const 0)
)
(block
(set_local $i12
@@ -7381,22 +7336,20 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i2)
(i32.const 1)
)
- (i32.const 0)
)
(call_import $_abort)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i2)
(i32.const 2)
)
- (i32.const 0)
)
(block
(if
@@ -7548,9 +7501,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i15)
- (i32.const 0)
)
(block
(set_local $i1
@@ -7559,9 +7511,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i1)
- (i32.const 0)
)
(block
(set_local $i23
@@ -7624,9 +7575,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i15)
- (i32.const 0)
)
(block
(set_local $i26
@@ -7760,9 +7710,8 @@
(get_local $i23)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i23)
- (i32.const 0)
)
(block
(i32.store
@@ -7817,9 +7766,8 @@
)
)
(br_if $do-once$8
- (i32.eq
+ (i32.eqz
(get_local $i23)
- (i32.const 0)
)
)
)
@@ -8413,9 +8361,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i13)
- (i32.const 0)
)
(block
(set_local $i35
@@ -8578,9 +8525,8 @@
(get_local $i12)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i12)
- (i32.const 0)
)
(set_local $i37
(i32.const 632)
@@ -8594,9 +8540,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i12)
- (i32.const 0)
)
(br $while-out$20)
(set_local $i37
@@ -8732,11 +8677,10 @@
)
(loop $while-out$0 $while-in$1
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store
@@ -9067,16 +9011,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i5)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $___towrite
(get_local $i3)
)
- (i32.const 0)
)
(block
(set_local $i6
@@ -9164,9 +9106,8 @@
)
(loop $while-out$2 $while-in$3
(if
- (i32.eq
+ (i32.eqz
(get_local $i4)
- (i32.const 0)
)
(block
(set_local $i10
@@ -9359,11 +9300,10 @@
)
(block
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 56)
)
- (i32.const 0)
)
(set_local $i5
(i32.const 0)
@@ -9385,9 +9325,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i4)
- (i32.const 0)
)
(set_local $i6
(get_local $i5)
@@ -9449,9 +9388,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i3)
- (i32.const 0)
)
(block
(set_local $i6
@@ -9496,12 +9434,11 @@
)
(block $label$break$L1
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i2)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $i3
@@ -9520,11 +9457,10 @@
)
(loop $while-out$1 $while-in$2
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $i5)
)
- (i32.const 0)
)
(block
(set_local $i7
@@ -9543,12 +9479,11 @@
(get_local $i8)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i6)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $i3
@@ -9584,7 +9519,7 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.xor
(i32.and
@@ -9598,7 +9533,6 @@
(i32.const -16843009)
)
)
- (i32.const 0)
)
(set_local $i4
(i32.add
@@ -9619,7 +9553,7 @@
(br $while-in$4)
)
(if
- (i32.eq
+ (i32.eqz
(i32.shr_s
(i32.shl
(i32.and
@@ -9630,7 +9564,6 @@
)
(i32.const 24)
)
- (i32.const 0)
)
(set_local $i11
(get_local $i10)
@@ -9647,11 +9580,10 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $i10)
)
- (i32.const 0)
)
(block
(set_local $i11
@@ -9728,16 +9660,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i7)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $___towrite
(get_local $i1)
)
- (i32.const 0)
)
(block
(set_local $i8
@@ -10030,9 +9960,8 @@
(br $while-out$0)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i3)
- (i32.const 0)
)
(return
(get_local $i4)
@@ -10517,12 +10446,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i3)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store offset=8
@@ -10956,11 +10884,10 @@
(func $___errno_location (result i32)
(local $i1 i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 8)
)
- (i32.const 0)
)
(set_local $i1
(i32.const 60)
@@ -10977,11 +10904,10 @@
)
(func $setThrew (param $i1 i32) (param $i2 i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 40)
)
- (i32.const 0)
)
(block
(i32.store
@@ -11026,11 +10952,10 @@
)
(func $_cleanup_418 (param $i1 i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load offset=68
(get_local $i1)
)
- (i32.const 0)
)
(call $___unlockfile
(get_local $i1)
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise
index 1d689ed76..749f7d005 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise
+++ b/test/emcc_O2_hello_world.fromasm.imprecise
@@ -862,9 +862,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i10)
- (i32.const 0)
)
(block
(set_local $i15
@@ -873,9 +872,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i15)
- (i32.const 0)
)
(block
(set_local $i21
@@ -985,9 +983,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i17)
- (i32.const 0)
)
(block
(set_local $i15
@@ -1002,9 +999,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i10)
- (i32.const 0)
)
(block
(set_local $i24
@@ -1067,9 +1063,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i17)
- (i32.const 0)
)
(block
(set_local $i27
@@ -1200,9 +1195,8 @@
(get_local $i24)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i24)
- (i32.const 0)
)
(block
(i32.store
@@ -1257,9 +1251,8 @@
)
)
(br_if $do-once$12
- (i32.eq
+ (i32.eqz
(get_local $i24)
- (i32.const 0)
)
)
)
@@ -1695,9 +1688,8 @@
)
(block $label$break$L123
(if
- (i32.eq
+ (i32.eqz
(get_local $i4)
- (i32.const 0)
)
(block
(set_local $i33
@@ -1930,9 +1922,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i14)
- (i32.const 0)
)
(block
(set_local $i31
@@ -2054,9 +2045,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i42)
- (i32.const 0)
)
(block
(set_local $i43
@@ -2152,9 +2142,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i38)
- (i32.const 0)
)
(block
(set_local $i43
@@ -2252,9 +2241,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i14)
- (i32.const 0)
)
(block
(set_local $i4
@@ -2269,9 +2257,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i10)
- (i32.const 0)
)
(block
(set_local $i45
@@ -2334,9 +2321,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i14)
- (i32.const 0)
)
(block
(set_local $i48
@@ -2467,9 +2453,8 @@
(get_local $i45)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i45)
- (i32.const 0)
)
(block
(i32.store
@@ -2524,9 +2509,8 @@
)
)
(br_if $do-once$25
- (i32.eq
+ (i32.eqz
(get_local $i45)
- (i32.const 0)
)
)
)
@@ -2891,12 +2875,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i7)
(get_local $i4)
)
- (i32.const 0)
)
(block
(i32.store
@@ -2991,9 +2974,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i2)
- (i32.const 0)
)
(block
(set_local $i54
@@ -3351,11 +3333,10 @@
)
(block $do-once$33
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 648)
)
- (i32.const 0)
)
(block
(set_local $i53
@@ -3364,7 +3345,7 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.add
(get_local $i53)
@@ -3372,7 +3353,6 @@
)
(get_local $i53)
)
- (i32.const 0)
)
(block
(i32.store
@@ -3514,14 +3494,13 @@
)
(block $label$break$L257
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load
(i32.const 620)
)
(i32.const 4)
)
- (i32.const 0)
)
(block
(set_local $i52
@@ -3583,9 +3562,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i50)
- (i32.const 0)
)
(block
(set_local $i36
@@ -3704,12 +3682,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i45)
(get_local $i5)
)
- (i32.const 0)
)
(set_local $i62
(get_local $i43)
@@ -4287,9 +4264,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i63)
- (i32.const 0)
)
(block
(set_local $i71
@@ -4306,14 +4282,13 @@
(i32.const 211)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load offset=12
(get_local $i70)
)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store
@@ -4529,9 +4504,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i52)
- (i32.const 0)
)
(block
(set_local $i50
@@ -4540,9 +4514,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i50)
- (i32.const 0)
)
(block
(set_local $i72
@@ -4605,9 +4578,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i52)
- (i32.const 0)
)
(block
(set_local $i75
@@ -4708,9 +4680,8 @@
)
)
(br_if $label$break$L331
- (i32.eq
+ (i32.eqz
(get_local $i54)
- (i32.const 0)
)
)
(set_local $i55
@@ -4768,9 +4739,8 @@
)
)
(br_if $label$break$L331
- (i32.eq
+ (i32.eqz
(get_local $i72)
- (i32.const 0)
)
)
)
@@ -4857,9 +4827,8 @@
)
)
(br_if $label$break$L331
- (i32.eq
+ (i32.eqz
(get_local $i45)
- (i32.const 0)
)
)
(if
@@ -5099,12 +5068,11 @@
)
(block $do-once$65
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i54)
(get_local $i5)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5184,9 +5152,8 @@
)
(block $do-once$67
(if
- (i32.eq
+ (i32.eqz
(get_local $i5)
- (i32.const 0)
)
(set_local $i82
(i32.const 0)
@@ -5333,12 +5300,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i62)
(get_local $i50)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5433,9 +5399,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i57)
- (i32.const 0)
)
(block
(set_local $i84
@@ -6126,12 +6091,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i62)
(get_local $i5)
)
- (i32.const 0)
)
(block
(i32.store
@@ -6226,9 +6190,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i57)
- (i32.const 0)
)
(block
(set_local $i91
@@ -6617,9 +6580,8 @@
(local $i36 i32)
(local $i26 i32)
(if
- (i32.eq
+ (i32.eqz
(get_local $i1)
- (i32.const 0)
)
(return)
)
@@ -6676,12 +6638,11 @@
)
(block $do-once$0
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i4)
(i32.const 1)
)
- (i32.const 0)
)
(block
(set_local $i7
@@ -6690,9 +6651,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i1)
- (i32.const 0)
)
(return)
)
@@ -6962,9 +6922,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i16)
- (i32.const 0)
)
(block
(set_local $i17
@@ -6973,9 +6932,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i17)
- (i32.const 0)
)
(block
(set_local $i18
@@ -7038,9 +6996,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i16)
- (i32.const 0)
)
(block
(set_local $i21
@@ -7170,9 +7127,8 @@
(get_local $i18)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i18)
- (i32.const 0)
)
(block
(i32.store
@@ -7233,9 +7189,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i18)
- (i32.const 0)
)
(block
(set_local $i12
@@ -7381,22 +7336,20 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i2)
(i32.const 1)
)
- (i32.const 0)
)
(call_import $_abort)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i2)
(i32.const 2)
)
- (i32.const 0)
)
(block
(if
@@ -7548,9 +7501,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i15)
- (i32.const 0)
)
(block
(set_local $i1
@@ -7559,9 +7511,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i1)
- (i32.const 0)
)
(block
(set_local $i23
@@ -7624,9 +7575,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i15)
- (i32.const 0)
)
(block
(set_local $i26
@@ -7760,9 +7710,8 @@
(get_local $i23)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i23)
- (i32.const 0)
)
(block
(i32.store
@@ -7817,9 +7766,8 @@
)
)
(br_if $do-once$8
- (i32.eq
+ (i32.eqz
(get_local $i23)
- (i32.const 0)
)
)
)
@@ -8413,9 +8361,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i13)
- (i32.const 0)
)
(block
(set_local $i35
@@ -8578,9 +8525,8 @@
(get_local $i12)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i12)
- (i32.const 0)
)
(set_local $i37
(i32.const 632)
@@ -8594,9 +8540,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i12)
- (i32.const 0)
)
(br $while-out$20)
(set_local $i37
@@ -8732,11 +8677,10 @@
)
(loop $while-out$0 $while-in$1
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store
@@ -9067,16 +9011,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i5)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $___towrite
(get_local $i3)
)
- (i32.const 0)
)
(block
(set_local $i6
@@ -9164,9 +9106,8 @@
)
(loop $while-out$2 $while-in$3
(if
- (i32.eq
+ (i32.eqz
(get_local $i4)
- (i32.const 0)
)
(block
(set_local $i10
@@ -9359,11 +9300,10 @@
)
(block
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 56)
)
- (i32.const 0)
)
(set_local $i5
(i32.const 0)
@@ -9385,9 +9325,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i4)
- (i32.const 0)
)
(set_local $i6
(get_local $i5)
@@ -9449,9 +9388,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i3)
- (i32.const 0)
)
(block
(set_local $i6
@@ -9496,12 +9434,11 @@
)
(block $label$break$L1
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i2)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $i3
@@ -9520,11 +9457,10 @@
)
(loop $while-out$1 $while-in$2
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $i5)
)
- (i32.const 0)
)
(block
(set_local $i7
@@ -9543,12 +9479,11 @@
(get_local $i8)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i6)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $i3
@@ -9584,7 +9519,7 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.xor
(i32.and
@@ -9598,7 +9533,6 @@
(i32.const -16843009)
)
)
- (i32.const 0)
)
(set_local $i4
(i32.add
@@ -9619,7 +9553,7 @@
(br $while-in$4)
)
(if
- (i32.eq
+ (i32.eqz
(i32.shr_s
(i32.shl
(i32.and
@@ -9630,7 +9564,6 @@
)
(i32.const 24)
)
- (i32.const 0)
)
(set_local $i11
(get_local $i10)
@@ -9647,11 +9580,10 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $i10)
)
- (i32.const 0)
)
(block
(set_local $i11
@@ -9728,16 +9660,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i7)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $___towrite
(get_local $i1)
)
- (i32.const 0)
)
(block
(set_local $i8
@@ -10030,9 +9960,8 @@
(br $while-out$0)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $i3)
- (i32.const 0)
)
(return
(get_local $i4)
@@ -10517,12 +10446,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $i3)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store offset=8
@@ -10956,11 +10884,10 @@
(func $___errno_location (result i32)
(local $i1 i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 8)
)
- (i32.const 0)
)
(set_local $i1
(i32.const 60)
@@ -10977,11 +10904,10 @@
)
(func $setThrew (param $i1 i32) (param $i2 i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 40)
)
- (i32.const 0)
)
(block
(i32.store
@@ -11026,11 +10952,10 @@
)
(func $_cleanup_418 (param $i1 i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load offset=68
(get_local $i1)
)
- (i32.const 0)
)
(call $___unlockfile
(get_local $i1)
diff --git a/test/emcc_hello_world.fromasm b/test/emcc_hello_world.fromasm
index 3a02d7b62..08f8106b7 100644
--- a/test/emcc_hello_world.fromasm
+++ b/test/emcc_hello_world.fromasm
@@ -975,9 +975,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool2)
- (i32.const 0)
)
(block
(set_local $$lbf
@@ -1364,9 +1363,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool24)
- (i32.const 0)
)
(call $___unlockfile
(get_local $$f$addr$022)
@@ -1436,9 +1434,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp)
- (i32.const 0)
)
(block
(set_local $$call1$18
@@ -2685,9 +2682,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool41)
- (i32.const 0)
)
(call $___unlockfile
(get_local $$f)
@@ -4152,9 +4148,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$lnot)
- (i32.const 0)
)
(block
(set_local $$n$addr$133$lcssa
@@ -6084,9 +6079,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp18)
- (i32.const 0)
)
(block
(set_local $$incdec$ptr169276$lcssa
@@ -6203,9 +6197,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool28)
- (i32.const 0)
)
(block
(set_local $$l10n$0$phi
@@ -6710,9 +6703,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool90)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -6722,9 +6714,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool25)
- (i32.const 0)
)
(block
(set_local $$fl$1
@@ -7074,9 +7065,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp116)
- (i32.const 0)
)
(block
(set_local $$conv$4$i$197
@@ -7347,9 +7337,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool141)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -7711,9 +7700,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool25)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -7740,9 +7728,8 @@
(i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool25)
- (i32.const 0)
)
(block
(set_local $$cnt$0
@@ -10088,9 +10075,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp249$i)
- (i32.const 0)
)
(block
(set_local $$z$2$i$lcssa
@@ -11014,9 +11000,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp403$i)
- (i32.const 0)
)
(block
(set_local $$round377$1$i
@@ -11070,9 +11055,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp411$i)
- (i32.const 0)
)
(block
(set_local $$a$8$i
@@ -11363,9 +11347,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp450$i)
- (i32.const 0)
)
(block
(set_local $$cmp450$lcssa$i
@@ -11513,9 +11496,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool484$i)
- (i32.const 0)
)
(block
(set_local $$and610$pre$phi$iZ2D
@@ -12142,9 +12124,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp686$i)
- (i32.const 0)
)
(block
(set_local $$s668$1$i
@@ -12284,9 +12265,8 @@
)
(block $do-once$114
(if
- (i32.eq
+ (i32.eqz
(get_local $$251)
- (i32.const 0)
)
(block
(set_local $$252
@@ -12307,9 +12287,8 @@
)
)
(br_if $do-once$114
- (i32.eq
+ (i32.eqz
(get_local $$tobool$i$449$i)
- (i32.const 0)
)
)
(call $___fwritex
@@ -12665,9 +12644,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool$i$467$i)
- (i32.const 0)
)
(block
(set_local $$s753$2$i
@@ -12872,9 +12850,8 @@
)
)
(br_if $do-once$106
- (i32.eq
+ (i32.eqz
(get_local $$tobool$i$i)
- (i32.const 0)
)
)
(set_local $$sub$ptr$rhs$cast812$i
@@ -14342,9 +14319,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$lnot483)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -14598,9 +14574,8 @@
)
(block $label$break$L1
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp)
- (i32.const 0)
)
(block $switch$3
(block $switch-default$14
@@ -17484,9 +17459,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp5)
- (i32.const 0)
)
(block
(set_local $$neg
@@ -17706,9 +17680,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp31)
- (i32.const 0)
)
(block
(set_local $$shl35
@@ -18078,9 +18051,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp99)
- (i32.const 0)
)
(block
(set_local $$14
@@ -18588,9 +18560,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp35$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -18709,9 +18680,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp72$i)
- (i32.const 0)
)
(block
(set_local $$R$1$i
@@ -18823,9 +18793,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp48$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -18875,9 +18844,8 @@
)
(block $do-once$12
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp90$i)
- (i32.const 0)
)
(block
(set_local $$index$i
@@ -19065,9 +19033,8 @@
)
(block $do-once$14
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp138$i)
- (i32.const 0)
)
(block
(set_local $$cmp142$i
@@ -19124,9 +19091,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp155$i)
- (i32.const 0)
)
(block
(set_local $$43
@@ -19286,9 +19252,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp191$i)
- (i32.const 0)
)
(block
(set_local $$46
@@ -20297,9 +20262,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp107$i$157)
- (i32.const 0)
)
(block
(set_local $$rsize$49$i
@@ -20423,9 +20387,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp123$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -20544,9 +20507,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp162$i)
- (i32.const 0)
)
(block
(set_local $$R$1$i$168
@@ -20658,9 +20620,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp137$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -20710,9 +20671,8 @@
)
(block $do-once$25
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp180$i)
- (i32.const 0)
)
(block
(set_local $$index$i$172
@@ -20900,9 +20860,8 @@
)
(block $do-once$27
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp229$i)
- (i32.const 0)
)
(block
(set_local $$cmp233$i
@@ -20959,9 +20918,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp246$i)
- (i32.const 0)
)
(block
(set_local $$80
@@ -21876,9 +21834,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp156)
- (i32.const 0)
)
(block
(set_local $$sub160
@@ -22246,9 +22203,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp12$i)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -22271,9 +22227,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp15$i)
- (i32.const 0)
)
(block
(set_local $$102
@@ -22373,9 +22328,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp$i$9$i)
- (i32.const 0)
)
(block
(set_local $$size$i$i
@@ -22509,9 +22463,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp89$i)
- (i32.const 0)
)
(block
(set_local $$tbase$796$i
@@ -22563,9 +22516,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp38$i)
- (i32.const 0)
)
(block
(set_local $$108
@@ -22679,9 +22631,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp60$i)
- (i32.const 0)
)
(block
(set_local $$cmp63$i
@@ -22886,9 +22837,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp118$i)
- (i32.const 0)
)
(block
(set_local $$tbase$796$i
@@ -24055,9 +24005,8 @@
)
(block $do-once$55
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp41$i$i)
- (i32.const 0)
)
(block
(set_local $$cmp42$i$i
@@ -24325,9 +24274,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp104$i$i)
- (i32.const 0)
)
(block
(set_local $$R$1$i$i
@@ -24439,9 +24387,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp83$i$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -24538,9 +24485,8 @@
)
)
(br_if $do-once$63
- (i32.eq
+ (i32.eqz
(get_local $$cond2$i$i)
- (i32.const 0)
)
)
(set_local $$shl131$i$i
@@ -24680,9 +24626,8 @@
)
(block $do-once$65
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp168$i$i)
- (i32.const 0)
)
(block
(set_local $$cmp172$i$i
@@ -24961,9 +24906,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp236$i$i)
- (i32.const 0)
)
(block
(set_local $$$pre$phi$i$57$iZ2D
@@ -25626,9 +25570,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp$i$i$i)
- (i32.const 0)
)
(block
(set_local $$size$i$i$i
@@ -25963,9 +25906,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp28$i$i)
- (i32.const 0)
)
(block
(set_local $$sub$ptr$lhs$cast$i$i
@@ -27366,9 +27308,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp211)
- (i32.const 0)
)
(block
(set_local $$p$1
@@ -27482,9 +27423,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp29)
- (i32.const 0)
)
(block
(set_local $$cmp31
@@ -27515,9 +27455,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp35)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -27762,9 +27701,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp109)
- (i32.const 0)
)
(block
(set_local $$R$1
@@ -27876,9 +27814,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp83)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28137,9 +28074,8 @@
)
(block $do-once$6
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp173)
- (i32.const 0)
)
(block
(set_local $$cmp176
@@ -28272,9 +28208,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp228)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28381,9 +28316,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp249)
- (i32.const 0)
)
(return)
)
@@ -28532,9 +28466,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp280)
- (i32.const 0)
)
(block
(set_local $$36
@@ -28570,9 +28503,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp287)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28809,9 +28741,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp375)
- (i32.const 0)
)
(block
(set_local $$R332$1
@@ -28933,9 +28864,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp344)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28984,9 +28914,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp395)
- (i32.const 0)
)
(block
(set_local $$index399
@@ -29174,9 +29103,8 @@
)
(block $do-once$14
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp445)
- (i32.const 0)
)
(block
(set_local $$cmp448
@@ -29233,9 +29161,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp461)
- (i32.const 0)
)
(block
(set_local $$60
@@ -31551,9 +31478,8 @@
)
(block
(if
- (i32.eq
+ (i32.eqz
(get_local $$4)
- (i32.const 0)
)
(block
(set_local $$_0$1
@@ -31899,9 +31825,8 @@
)
(block
(if
- (i32.eq
+ (i32.eqz
(get_local $$17)
- (i32.const 0)
)
(block
(set_local $$117
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index c2467c474..262353709 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -973,9 +973,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool2)
- (i32.const 0)
)
(block
(set_local $$lbf
@@ -1362,9 +1361,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool24)
- (i32.const 0)
)
(call $___unlockfile
(get_local $$f$addr$022)
@@ -1434,9 +1432,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp)
- (i32.const 0)
)
(block
(set_local $$call1$18
@@ -2683,9 +2680,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool41)
- (i32.const 0)
)
(call $___unlockfile
(get_local $$f)
@@ -4150,9 +4146,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$lnot)
- (i32.const 0)
)
(block
(set_local $$n$addr$133$lcssa
@@ -6082,9 +6077,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp18)
- (i32.const 0)
)
(block
(set_local $$incdec$ptr169276$lcssa
@@ -6201,9 +6195,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool28)
- (i32.const 0)
)
(block
(set_local $$l10n$0$phi
@@ -6708,9 +6701,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool90)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -6720,9 +6712,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool25)
- (i32.const 0)
)
(block
(set_local $$fl$1
@@ -7072,9 +7063,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp116)
- (i32.const 0)
)
(block
(set_local $$conv$4$i$197
@@ -7345,9 +7335,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool141)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -7709,9 +7698,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool25)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -7738,9 +7726,8 @@
(i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool25)
- (i32.const 0)
)
(block
(set_local $$cnt$0
@@ -10086,9 +10073,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp249$i)
- (i32.const 0)
)
(block
(set_local $$z$2$i$lcssa
@@ -11012,9 +10998,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp403$i)
- (i32.const 0)
)
(block
(set_local $$round377$1$i
@@ -11068,9 +11053,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp411$i)
- (i32.const 0)
)
(block
(set_local $$a$8$i
@@ -11361,9 +11345,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp450$i)
- (i32.const 0)
)
(block
(set_local $$cmp450$lcssa$i
@@ -11511,9 +11494,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool484$i)
- (i32.const 0)
)
(block
(set_local $$and610$pre$phi$iZ2D
@@ -12140,9 +12122,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp686$i)
- (i32.const 0)
)
(block
(set_local $$s668$1$i
@@ -12282,9 +12263,8 @@
)
(block $do-once$114
(if
- (i32.eq
+ (i32.eqz
(get_local $$251)
- (i32.const 0)
)
(block
(set_local $$252
@@ -12305,9 +12285,8 @@
)
)
(br_if $do-once$114
- (i32.eq
+ (i32.eqz
(get_local $$tobool$i$449$i)
- (i32.const 0)
)
)
(call $___fwritex
@@ -12663,9 +12642,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$tobool$i$467$i)
- (i32.const 0)
)
(block
(set_local $$s753$2$i
@@ -12870,9 +12848,8 @@
)
)
(br_if $do-once$106
- (i32.eq
+ (i32.eqz
(get_local $$tobool$i$i)
- (i32.const 0)
)
)
(set_local $$sub$ptr$rhs$cast812$i
@@ -14340,9 +14317,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$lnot483)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -14596,9 +14572,8 @@
)
(block $label$break$L1
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp)
- (i32.const 0)
)
(block $switch$3
(block $switch-default$14
@@ -17482,9 +17457,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp5)
- (i32.const 0)
)
(block
(set_local $$neg
@@ -17704,9 +17678,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp31)
- (i32.const 0)
)
(block
(set_local $$shl35
@@ -18076,9 +18049,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp99)
- (i32.const 0)
)
(block
(set_local $$14
@@ -18586,9 +18558,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp35$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -18707,9 +18678,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp72$i)
- (i32.const 0)
)
(block
(set_local $$R$1$i
@@ -18821,9 +18791,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp48$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -18873,9 +18842,8 @@
)
(block $do-once$12
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp90$i)
- (i32.const 0)
)
(block
(set_local $$index$i
@@ -19063,9 +19031,8 @@
)
(block $do-once$14
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp138$i)
- (i32.const 0)
)
(block
(set_local $$cmp142$i
@@ -19122,9 +19089,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp155$i)
- (i32.const 0)
)
(block
(set_local $$43
@@ -19284,9 +19250,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp191$i)
- (i32.const 0)
)
(block
(set_local $$46
@@ -20295,9 +20260,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp107$i$157)
- (i32.const 0)
)
(block
(set_local $$rsize$49$i
@@ -20421,9 +20385,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp123$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -20542,9 +20505,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp162$i)
- (i32.const 0)
)
(block
(set_local $$R$1$i$168
@@ -20656,9 +20618,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp137$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -20708,9 +20669,8 @@
)
(block $do-once$25
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp180$i)
- (i32.const 0)
)
(block
(set_local $$index$i$172
@@ -20898,9 +20858,8 @@
)
(block $do-once$27
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp229$i)
- (i32.const 0)
)
(block
(set_local $$cmp233$i
@@ -20957,9 +20916,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp246$i)
- (i32.const 0)
)
(block
(set_local $$80
@@ -21874,9 +21832,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp156)
- (i32.const 0)
)
(block
(set_local $$sub160
@@ -22244,9 +22201,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp12$i)
- (i32.const 0)
)
(block
(set_local $$retval$0
@@ -22269,9 +22225,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp15$i)
- (i32.const 0)
)
(block
(set_local $$102
@@ -22371,9 +22326,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp$i$9$i)
- (i32.const 0)
)
(block
(set_local $$size$i$i
@@ -22507,9 +22461,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp89$i)
- (i32.const 0)
)
(block
(set_local $$tbase$796$i
@@ -22561,9 +22514,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp38$i)
- (i32.const 0)
)
(block
(set_local $$108
@@ -22677,9 +22629,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp60$i)
- (i32.const 0)
)
(block
(set_local $$cmp63$i
@@ -22884,9 +22835,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp118$i)
- (i32.const 0)
)
(block
(set_local $$tbase$796$i
@@ -24053,9 +24003,8 @@
)
(block $do-once$55
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp41$i$i)
- (i32.const 0)
)
(block
(set_local $$cmp42$i$i
@@ -24323,9 +24272,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp104$i$i)
- (i32.const 0)
)
(block
(set_local $$R$1$i$i
@@ -24437,9 +24385,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp83$i$i)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -24536,9 +24483,8 @@
)
)
(br_if $do-once$63
- (i32.eq
+ (i32.eqz
(get_local $$cond2$i$i)
- (i32.const 0)
)
)
(set_local $$shl131$i$i
@@ -24678,9 +24624,8 @@
)
(block $do-once$65
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp168$i$i)
- (i32.const 0)
)
(block
(set_local $$cmp172$i$i
@@ -24959,9 +24904,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp236$i$i)
- (i32.const 0)
)
(block
(set_local $$$pre$phi$i$57$iZ2D
@@ -25624,9 +25568,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp$i$i$i)
- (i32.const 0)
)
(block
(set_local $$size$i$i$i
@@ -25961,9 +25904,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp28$i$i)
- (i32.const 0)
)
(block
(set_local $$sub$ptr$lhs$cast$i$i
@@ -27364,9 +27306,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp211)
- (i32.const 0)
)
(block
(set_local $$p$1
@@ -27480,9 +27421,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp29)
- (i32.const 0)
)
(block
(set_local $$cmp31
@@ -27513,9 +27453,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp35)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -27760,9 +27699,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp109)
- (i32.const 0)
)
(block
(set_local $$R$1
@@ -27874,9 +27812,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp83)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28135,9 +28072,8 @@
)
(block $do-once$6
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp173)
- (i32.const 0)
)
(block
(set_local $$cmp176
@@ -28270,9 +28206,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp228)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28379,9 +28314,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp249)
- (i32.const 0)
)
(return)
)
@@ -28530,9 +28464,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp280)
- (i32.const 0)
)
(block
(set_local $$36
@@ -28568,9 +28501,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp287)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28807,9 +28739,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp375)
- (i32.const 0)
)
(block
(set_local $$R332$1
@@ -28931,9 +28862,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp344)
- (i32.const 0)
)
(call_import $_abort)
)
@@ -28982,9 +28912,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp395)
- (i32.const 0)
)
(block
(set_local $$index399
@@ -29172,9 +29101,8 @@
)
(block $do-once$14
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp445)
- (i32.const 0)
)
(block
(set_local $$cmp448
@@ -29231,9 +29159,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $$cmp461)
- (i32.const 0)
)
(block
(set_local $$60
@@ -31549,9 +31476,8 @@
)
(block
(if
- (i32.eq
+ (i32.eqz
(get_local $$4)
- (i32.const 0)
)
(block
(set_local $$_0$1
@@ -31897,9 +31823,8 @@
)
(block
(if
- (i32.eq
+ (i32.eqz
(get_local $$17)
- (i32.const 0)
)
(block
(set_local $$117
diff --git a/test/memorygrowth.fromasm b/test/memorygrowth.fromasm
index 52f1e90c6..f17a8a053 100644
--- a/test/memorygrowth.fromasm
+++ b/test/memorygrowth.fromasm
@@ -657,12 +657,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $e)
(get_local $g)
)
- (i32.const 0)
)
(block
(i32.store
@@ -757,9 +756,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $t)
- (i32.const 0)
)
(set_local $y
(get_local $d)
@@ -899,9 +897,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $j)
- (i32.const 0)
)
(block
(set_local $f
@@ -910,9 +907,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $z
@@ -1022,9 +1018,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $u)
- (i32.const 0)
)
(block
(set_local $f
@@ -1039,9 +1034,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $j)
- (i32.const 0)
)
(block
(set_local $C
@@ -1104,9 +1098,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $u)
- (i32.const 0)
)
(block
(set_local $F
@@ -1237,9 +1230,8 @@
(get_local $C)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $C)
- (i32.const 0)
)
(block
(i32.store
@@ -1294,9 +1286,8 @@
)
)
(br_if $do-once$12
- (i32.eq
+ (i32.eqz
(get_local $C)
- (i32.const 0)
)
)
)
@@ -1479,12 +1470,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $q)
(get_local $f)
)
- (i32.const 0)
)
(block
(i32.store
@@ -1611,9 +1601,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $q)
- (i32.const 0)
)
(set_local $y
(get_local $e)
@@ -1632,9 +1621,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $o)
- (i32.const 0)
)
(set_local $J
(i32.const 0)
@@ -1751,9 +1739,8 @@
)
(block $label$break$a
(if
- (i32.eq
+ (i32.eqz
(get_local $t)
- (i32.const 0)
)
(block
(set_local $K
@@ -1986,9 +1973,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $y
@@ -2113,9 +2099,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $T)
- (i32.const 0)
)
(block
(set_local $U
@@ -2211,9 +2196,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $P)
- (i32.const 0)
)
(block
(set_local $U
@@ -2240,9 +2224,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $V)
- (i32.const 0)
)
(set_local $y
(get_local $e)
@@ -2312,9 +2295,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $t
@@ -2329,9 +2311,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $j)
- (i32.const 0)
)
(block
(set_local $W
@@ -2394,9 +2375,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $Z
@@ -2527,9 +2507,8 @@
(get_local $W)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $W)
- (i32.const 0)
)
(block
(i32.store
@@ -2584,9 +2563,8 @@
)
)
(br_if $do-once$25
- (i32.eq
+ (i32.eqz
(get_local $W)
- (i32.const 0)
)
)
)
@@ -2763,12 +2741,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $s)
(get_local $d)
)
- (i32.const 0)
)
(block
(i32.store
@@ -2845,9 +2822,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $g)
- (i32.const 0)
)
(set_local $ba
(i32.const 0)
@@ -2990,12 +2966,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $d)
(get_local $q)
)
- (i32.const 0)
)
(block
(i32.store
@@ -3090,9 +3065,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $s)
- (i32.const 0)
)
(block
(set_local $da
@@ -3423,11 +3397,10 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1680)
)
- (i32.const 0)
)
(block
(i32.store
@@ -3573,14 +3546,13 @@
)
(block $label$break$b
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load
(i32.const 1652)
)
(i32.const 4)
)
- (i32.const 0)
)
(block
(set_local $U
@@ -3590,9 +3562,8 @@
)
(block $label$break$c
(if
- (i32.eq
+ (i32.eqz
(get_local $U)
- (i32.const 0)
)
(set_local $N
(i32.const 171)
@@ -3647,9 +3618,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $aa)
- (i32.const 0)
)
(block
(set_local $N
@@ -3762,12 +3732,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $$)
(get_local $e)
)
- (i32.const 0)
)
(set_local $la
(get_local $c)
@@ -4111,9 +4080,8 @@
)
(block $do-once$42
(if
- (i32.eq
+ (i32.eqz
(get_local $ja)
- (i32.const 0)
)
(block
(set_local $ma
@@ -4331,14 +4299,13 @@
(i32.const 201)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load offset=12
(get_local $ra)
)
(i32.const 8)
)
- (i32.const 0)
)
(if
(i32.and
@@ -4493,9 +4460,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ka)
- (i32.const 0)
)
(block
(set_local $wa
@@ -4512,14 +4478,13 @@
(i32.const 209)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load offset=12
(get_local $va)
)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store
@@ -4886,9 +4851,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ba)
- (i32.const 0)
)
(block
(set_local $W
@@ -4897,9 +4861,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $W)
- (i32.const 0)
)
(block
(set_local $ya
@@ -4962,9 +4925,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ba)
- (i32.const 0)
)
(block
(set_local $Ba
@@ -5065,9 +5027,8 @@
)
)
(br_if $label$break$e
- (i32.eq
+ (i32.eqz
(get_local $$)
- (i32.const 0)
)
)
(set_local $e
@@ -5150,9 +5111,8 @@
)
)
(br_if $label$break$e
- (i32.eq
+ (i32.eqz
(get_local $ya)
- (i32.const 0)
)
)
)
@@ -5214,9 +5174,8 @@
)
)
(br_if $label$break$e
- (i32.eq
+ (i32.eqz
(get_local $V)
- (i32.const 0)
)
)
(if
@@ -5330,12 +5289,11 @@
)
(block $do-once$65
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $V)
(get_local $e)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5415,9 +5373,8 @@
)
(block $do-once$67
(if
- (i32.eq
+ (i32.eqz
(get_local $e)
- (i32.const 0)
)
(set_local $Ha
(i32.const 0)
@@ -5564,12 +5521,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $la)
(get_local $aa)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5664,9 +5620,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ga)
- (i32.const 0)
)
(block
(set_local $Ja
@@ -6120,12 +6075,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $la)
(get_local $ga)
)
- (i32.const 0)
)
(block
(i32.store
@@ -6202,9 +6156,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $c)
- (i32.const 0)
)
(set_local $Oa
(i32.const 0)
@@ -6341,12 +6294,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $ga)
(get_local $ma)
)
- (i32.const 0)
)
(block
(i32.store
@@ -6441,9 +6393,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $la)
- (i32.const 0)
)
(block
(set_local $Ra
@@ -6693,9 +6644,8 @@
(local $K i32)
(local $B i32)
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(return)
)
@@ -6752,12 +6702,11 @@
)
(block $do-once$0
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $d)
(i32.const 1)
)
- (i32.const 0)
)
(block
(set_local $g
@@ -6766,9 +6715,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(return)
)
@@ -7038,9 +6986,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $q)
- (i32.const 0)
)
(block
(set_local $r
@@ -7049,9 +6996,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $r)
- (i32.const 0)
)
(block
(set_local $s
@@ -7114,9 +7060,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $q)
- (i32.const 0)
)
(block
(set_local $v
@@ -7217,9 +7162,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $g)
- (i32.const 0)
)
(block
(set_local $m
@@ -7257,9 +7201,8 @@
(get_local $s)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $s)
- (i32.const 0)
)
(block
(i32.store
@@ -7320,9 +7263,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $s)
- (i32.const 0)
)
(block
(set_local $m
@@ -7392,9 +7334,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $o)
- (i32.const 0)
)
(block
(set_local $m
@@ -7463,22 +7404,20 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $b)
(i32.const 1)
)
- (i32.const 0)
)
(call_import $qa)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $b)
(i32.const 2)
)
- (i32.const 0)
)
(block
(if
@@ -7753,9 +7692,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $p)
- (i32.const 0)
)
(block
(set_local $a
@@ -7764,9 +7702,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(block
(set_local $y
@@ -7829,9 +7766,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $p)
- (i32.const 0)
)
(block
(set_local $B
@@ -7965,9 +7901,8 @@
(get_local $y)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $y)
- (i32.const 0)
)
(block
(i32.store
@@ -8022,9 +7957,8 @@
)
)
(br_if $do-once$8
- (i32.eq
+ (i32.eqz
(get_local $y)
- (i32.const 0)
)
)
)
@@ -8208,12 +8142,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $e)
(get_local $s)
)
- (i32.const 0)
)
(block
(i32.store
@@ -8290,9 +8223,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $b)
- (i32.const 0)
)
(set_local $G
(i32.const 0)
@@ -8430,12 +8362,11 @@
)
(block $do-once$16
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $E)
(get_local $e)
)
- (i32.const 0)
)
(block
(i32.store
@@ -8529,9 +8460,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $y)
- (i32.const 0)
)
(block
(set_local $J
@@ -8669,9 +8599,8 @@
(get_local $m)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $m)
- (i32.const 0)
)
(set_local $L
(i32.const 1664)
@@ -8685,9 +8614,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $m)
- (i32.const 0)
)
(br $while-out$20)
(set_local $L
@@ -8823,11 +8751,10 @@
)
(loop $while-out$0 $while-in$1
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1160)
)
- (i32.const 0)
)
(block
(i32.store
@@ -9158,16 +9085,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $e)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $Xa
(get_local $c)
)
- (i32.const 0)
)
(block
(set_local $f
@@ -9255,9 +9180,8 @@
)
(loop $while-out$2 $while-in$3
(if
- (i32.eq
+ (i32.eqz
(get_local $d)
- (i32.const 0)
)
(block
(set_local $l
@@ -9408,12 +9332,11 @@
)
(block $label$break$a
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $b)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $c
@@ -9432,11 +9355,10 @@
)
(loop $while-out$1 $while-in$2
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $e)
)
- (i32.const 0)
)
(block
(set_local $g
@@ -9455,12 +9377,11 @@
(get_local $h)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $f)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $c
@@ -9496,7 +9417,7 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.xor
(i32.and
@@ -9510,7 +9431,6 @@
(i32.const -16843009)
)
)
- (i32.const 0)
)
(set_local $d
(i32.add
@@ -9531,7 +9451,7 @@
(br $while-in$4)
)
(if
- (i32.eq
+ (i32.eqz
(i32.shr_s
(i32.shl
(i32.and
@@ -9542,7 +9462,6 @@
)
(i32.const 24)
)
- (i32.const 0)
)
(set_local $m
(get_local $l)
@@ -9559,11 +9478,10 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $l)
)
- (i32.const 0)
)
(block
(set_local $m
@@ -9601,17 +9519,15 @@
(local $d i32)
(block $do-once$0
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(block
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1140)
)
- (i32.const 0)
)
(set_local $b
(i32.const 0)
@@ -9633,9 +9549,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $c)
- (i32.const 0)
)
(set_local $d
(get_local $b)
@@ -9697,9 +9612,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $e)
- (i32.const 0)
)
(block
(set_local $d
@@ -9822,16 +9736,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $g)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $Xa
(get_local $a)
)
- (i32.const 0)
)
(block
(set_local $h
@@ -9996,11 +9908,10 @@
(i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(get_local $b)
)
- (i32.const 0)
)
(set_local $d
(i32.const -1)
@@ -10134,9 +10045,8 @@
(br $while-out$0)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $c)
- (i32.const 0)
)
(return
(get_local $d)
@@ -10537,12 +10447,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $c)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store offset=8
@@ -10781,14 +10690,13 @@
(i32.const 3)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load
(get_local $a)
)
(i32.const 64)
)
- (i32.const 0)
)
(block
(i32.store
@@ -11012,11 +10920,10 @@
(local $a i32)
(local $b i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1160)
)
- (i32.const 0)
)
(set_local $a
(i32.const 1204)
@@ -11112,11 +11019,10 @@
)
(func $Ia (param $a i32) (param $b i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 40)
)
- (i32.const 0)
)
(block
(i32.store
@@ -11146,11 +11052,10 @@
)
(func $Sa (param $a i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load offset=68
(get_local $a)
)
- (i32.const 0)
)
(call $Ta
(get_local $a)
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index 52f1e90c6..f17a8a053 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -657,12 +657,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $e)
(get_local $g)
)
- (i32.const 0)
)
(block
(i32.store
@@ -757,9 +756,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $t)
- (i32.const 0)
)
(set_local $y
(get_local $d)
@@ -899,9 +897,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $j)
- (i32.const 0)
)
(block
(set_local $f
@@ -910,9 +907,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $z
@@ -1022,9 +1018,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $u)
- (i32.const 0)
)
(block
(set_local $f
@@ -1039,9 +1034,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $j)
- (i32.const 0)
)
(block
(set_local $C
@@ -1104,9 +1098,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $u)
- (i32.const 0)
)
(block
(set_local $F
@@ -1237,9 +1230,8 @@
(get_local $C)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $C)
- (i32.const 0)
)
(block
(i32.store
@@ -1294,9 +1286,8 @@
)
)
(br_if $do-once$12
- (i32.eq
+ (i32.eqz
(get_local $C)
- (i32.const 0)
)
)
)
@@ -1479,12 +1470,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $q)
(get_local $f)
)
- (i32.const 0)
)
(block
(i32.store
@@ -1611,9 +1601,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $q)
- (i32.const 0)
)
(set_local $y
(get_local $e)
@@ -1632,9 +1621,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $o)
- (i32.const 0)
)
(set_local $J
(i32.const 0)
@@ -1751,9 +1739,8 @@
)
(block $label$break$a
(if
- (i32.eq
+ (i32.eqz
(get_local $t)
- (i32.const 0)
)
(block
(set_local $K
@@ -1986,9 +1973,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $y
@@ -2113,9 +2099,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $T)
- (i32.const 0)
)
(block
(set_local $U
@@ -2211,9 +2196,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $P)
- (i32.const 0)
)
(block
(set_local $U
@@ -2240,9 +2224,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $V)
- (i32.const 0)
)
(set_local $y
(get_local $e)
@@ -2312,9 +2295,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $t
@@ -2329,9 +2311,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $j)
- (i32.const 0)
)
(block
(set_local $W
@@ -2394,9 +2375,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $f)
- (i32.const 0)
)
(block
(set_local $Z
@@ -2527,9 +2507,8 @@
(get_local $W)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $W)
- (i32.const 0)
)
(block
(i32.store
@@ -2584,9 +2563,8 @@
)
)
(br_if $do-once$25
- (i32.eq
+ (i32.eqz
(get_local $W)
- (i32.const 0)
)
)
)
@@ -2763,12 +2741,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $s)
(get_local $d)
)
- (i32.const 0)
)
(block
(i32.store
@@ -2845,9 +2822,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $g)
- (i32.const 0)
)
(set_local $ba
(i32.const 0)
@@ -2990,12 +2966,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $d)
(get_local $q)
)
- (i32.const 0)
)
(block
(i32.store
@@ -3090,9 +3065,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $s)
- (i32.const 0)
)
(block
(set_local $da
@@ -3423,11 +3397,10 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1680)
)
- (i32.const 0)
)
(block
(i32.store
@@ -3573,14 +3546,13 @@
)
(block $label$break$b
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load
(i32.const 1652)
)
(i32.const 4)
)
- (i32.const 0)
)
(block
(set_local $U
@@ -3590,9 +3562,8 @@
)
(block $label$break$c
(if
- (i32.eq
+ (i32.eqz
(get_local $U)
- (i32.const 0)
)
(set_local $N
(i32.const 171)
@@ -3647,9 +3618,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $aa)
- (i32.const 0)
)
(block
(set_local $N
@@ -3762,12 +3732,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $$)
(get_local $e)
)
- (i32.const 0)
)
(set_local $la
(get_local $c)
@@ -4111,9 +4080,8 @@
)
(block $do-once$42
(if
- (i32.eq
+ (i32.eqz
(get_local $ja)
- (i32.const 0)
)
(block
(set_local $ma
@@ -4331,14 +4299,13 @@
(i32.const 201)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load offset=12
(get_local $ra)
)
(i32.const 8)
)
- (i32.const 0)
)
(if
(i32.and
@@ -4493,9 +4460,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ka)
- (i32.const 0)
)
(block
(set_local $wa
@@ -4512,14 +4478,13 @@
(i32.const 209)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load offset=12
(get_local $va)
)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store
@@ -4886,9 +4851,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ba)
- (i32.const 0)
)
(block
(set_local $W
@@ -4897,9 +4861,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $W)
- (i32.const 0)
)
(block
(set_local $ya
@@ -4962,9 +4925,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ba)
- (i32.const 0)
)
(block
(set_local $Ba
@@ -5065,9 +5027,8 @@
)
)
(br_if $label$break$e
- (i32.eq
+ (i32.eqz
(get_local $$)
- (i32.const 0)
)
)
(set_local $e
@@ -5150,9 +5111,8 @@
)
)
(br_if $label$break$e
- (i32.eq
+ (i32.eqz
(get_local $ya)
- (i32.const 0)
)
)
)
@@ -5214,9 +5174,8 @@
)
)
(br_if $label$break$e
- (i32.eq
+ (i32.eqz
(get_local $V)
- (i32.const 0)
)
)
(if
@@ -5330,12 +5289,11 @@
)
(block $do-once$65
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $V)
(get_local $e)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5415,9 +5373,8 @@
)
(block $do-once$67
(if
- (i32.eq
+ (i32.eqz
(get_local $e)
- (i32.const 0)
)
(set_local $Ha
(i32.const 0)
@@ -5564,12 +5521,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $la)
(get_local $aa)
)
- (i32.const 0)
)
(block
(i32.store
@@ -5664,9 +5620,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $ga)
- (i32.const 0)
)
(block
(set_local $Ja
@@ -6120,12 +6075,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $la)
(get_local $ga)
)
- (i32.const 0)
)
(block
(i32.store
@@ -6202,9 +6156,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $c)
- (i32.const 0)
)
(set_local $Oa
(i32.const 0)
@@ -6341,12 +6294,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $ga)
(get_local $ma)
)
- (i32.const 0)
)
(block
(i32.store
@@ -6441,9 +6393,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $la)
- (i32.const 0)
)
(block
(set_local $Ra
@@ -6693,9 +6644,8 @@
(local $K i32)
(local $B i32)
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(return)
)
@@ -6752,12 +6702,11 @@
)
(block $do-once$0
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $d)
(i32.const 1)
)
- (i32.const 0)
)
(block
(set_local $g
@@ -6766,9 +6715,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(return)
)
@@ -7038,9 +6986,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $q)
- (i32.const 0)
)
(block
(set_local $r
@@ -7049,9 +6996,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $r)
- (i32.const 0)
)
(block
(set_local $s
@@ -7114,9 +7060,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $q)
- (i32.const 0)
)
(block
(set_local $v
@@ -7217,9 +7162,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $g)
- (i32.const 0)
)
(block
(set_local $m
@@ -7257,9 +7201,8 @@
(get_local $s)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $s)
- (i32.const 0)
)
(block
(i32.store
@@ -7320,9 +7263,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $s)
- (i32.const 0)
)
(block
(set_local $m
@@ -7392,9 +7334,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $o)
- (i32.const 0)
)
(block
(set_local $m
@@ -7463,22 +7404,20 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $b)
(i32.const 1)
)
- (i32.const 0)
)
(call_import $qa)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $b)
(i32.const 2)
)
- (i32.const 0)
)
(block
(if
@@ -7753,9 +7692,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $p)
- (i32.const 0)
)
(block
(set_local $a
@@ -7764,9 +7702,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(block
(set_local $y
@@ -7829,9 +7766,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $p)
- (i32.const 0)
)
(block
(set_local $B
@@ -7965,9 +7901,8 @@
(get_local $y)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $y)
- (i32.const 0)
)
(block
(i32.store
@@ -8022,9 +7957,8 @@
)
)
(br_if $do-once$8
- (i32.eq
+ (i32.eqz
(get_local $y)
- (i32.const 0)
)
)
)
@@ -8208,12 +8142,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $e)
(get_local $s)
)
- (i32.const 0)
)
(block
(i32.store
@@ -8290,9 +8223,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $b)
- (i32.const 0)
)
(set_local $G
(i32.const 0)
@@ -8430,12 +8362,11 @@
)
(block $do-once$16
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $E)
(get_local $e)
)
- (i32.const 0)
)
(block
(i32.store
@@ -8529,9 +8460,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $y)
- (i32.const 0)
)
(block
(set_local $J
@@ -8669,9 +8599,8 @@
(get_local $m)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $m)
- (i32.const 0)
)
(set_local $L
(i32.const 1664)
@@ -8685,9 +8614,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $m)
- (i32.const 0)
)
(br $while-out$20)
(set_local $L
@@ -8823,11 +8751,10 @@
)
(loop $while-out$0 $while-in$1
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1160)
)
- (i32.const 0)
)
(block
(i32.store
@@ -9158,16 +9085,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $e)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $Xa
(get_local $c)
)
- (i32.const 0)
)
(block
(set_local $f
@@ -9255,9 +9180,8 @@
)
(loop $while-out$2 $while-in$3
(if
- (i32.eq
+ (i32.eqz
(get_local $d)
- (i32.const 0)
)
(block
(set_local $l
@@ -9408,12 +9332,11 @@
)
(block $label$break$a
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $b)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $c
@@ -9432,11 +9355,10 @@
)
(loop $while-out$1 $while-in$2
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $e)
)
- (i32.const 0)
)
(block
(set_local $g
@@ -9455,12 +9377,11 @@
(get_local $h)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $f)
(i32.const 3)
)
- (i32.const 0)
)
(block
(set_local $c
@@ -9496,7 +9417,7 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.xor
(i32.and
@@ -9510,7 +9431,6 @@
(i32.const -16843009)
)
)
- (i32.const 0)
)
(set_local $d
(i32.add
@@ -9531,7 +9451,7 @@
(br $while-in$4)
)
(if
- (i32.eq
+ (i32.eqz
(i32.shr_s
(i32.shl
(i32.and
@@ -9542,7 +9462,6 @@
)
(i32.const 24)
)
- (i32.const 0)
)
(set_local $m
(get_local $l)
@@ -9559,11 +9478,10 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load8_s
(get_local $l)
)
- (i32.const 0)
)
(block
(set_local $m
@@ -9601,17 +9519,15 @@
(local $d i32)
(block $do-once$0
(if
- (i32.eq
+ (i32.eqz
(get_local $a)
- (i32.const 0)
)
(block
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1140)
)
- (i32.const 0)
)
(set_local $b
(i32.const 0)
@@ -9633,9 +9549,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $c)
- (i32.const 0)
)
(set_local $d
(get_local $b)
@@ -9697,9 +9612,8 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $e)
- (i32.const 0)
)
(block
(set_local $d
@@ -9822,16 +9736,14 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $g)
- (i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(call $Xa
(get_local $a)
)
- (i32.const 0)
)
(block
(set_local $h
@@ -9996,11 +9908,10 @@
(i32.const 0)
)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(get_local $b)
)
- (i32.const 0)
)
(set_local $d
(i32.const -1)
@@ -10134,9 +10045,8 @@
(br $while-out$0)
)
(if
- (i32.eq
+ (i32.eqz
(get_local $c)
- (i32.const 0)
)
(return
(get_local $d)
@@ -10537,12 +10447,11 @@
)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(get_local $c)
(i32.const 8)
)
- (i32.const 0)
)
(block
(i32.store offset=8
@@ -10781,14 +10690,13 @@
(i32.const 3)
)
(if
- (i32.eq
+ (i32.eqz
(i32.and
(i32.load
(get_local $a)
)
(i32.const 64)
)
- (i32.const 0)
)
(block
(i32.store
@@ -11012,11 +10920,10 @@
(local $a i32)
(local $b i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 1160)
)
- (i32.const 0)
)
(set_local $a
(i32.const 1204)
@@ -11112,11 +11019,10 @@
)
(func $Ia (param $a i32) (param $b i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load
(i32.const 40)
)
- (i32.const 0)
)
(block
(i32.store
@@ -11146,11 +11052,10 @@
)
(func $Sa (param $a i32)
(if
- (i32.eq
+ (i32.eqz
(i32.load offset=68
(get_local $a)
)
- (i32.const 0)
)
(call $Ta
(get_local $a)
diff --git a/test/two_sides.fromasm b/test/two_sides.fromasm
index 0d8878472..719566b73 100644
--- a/test/two_sides.fromasm
+++ b/test/two_sides.fromasm
@@ -7,9 +7,8 @@
(func $_test (param $i1 i32) (param $i2 i32) (param $i3 i32) (param $i4 i32) (param $i5 i32) (result i32)
(local $d6 f64)
(if
- (i32.eq
+ (i32.eqz
(get_local $i5)
- (i32.const 0)
)
(block
(set_local $d6
diff --git a/test/two_sides.fromasm.imprecise b/test/two_sides.fromasm.imprecise
index c8fc031a8..6c2aa1d83 100644
--- a/test/two_sides.fromasm.imprecise
+++ b/test/two_sides.fromasm.imprecise
@@ -5,9 +5,8 @@
(func $_test (param $i1 i32) (param $i2 i32) (param $i3 i32) (param $i4 i32) (param $i5 i32) (result i32)
(local $d6 f64)
(if
- (i32.eq
+ (i32.eqz
(get_local $i5)
- (i32.const 0)
)
(block
(set_local $d6
diff --git a/test/unit.fromasm b/test/unit.fromasm
index a29c38fb5..e00c6b43b 100644
--- a/test/unit.fromasm
+++ b/test/unit.fromasm
@@ -129,9 +129,8 @@
(func $intOps (result i32)
(local $x i32)
(return
- (i32.eq
+ (i32.eqz
(get_local $x)
- (i32.const 0)
)
)
)
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index cbc342391..9bfa1789c 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -127,9 +127,8 @@
(func $intOps (result i32)
(local $x i32)
(return
- (i32.eq
+ (i32.eqz
(get_local $x)
- (i32.const 0)
)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-05 11:58:37 +0000