summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--src/asm2wasm.h4
-rw-r--r--test/emcc_O2_hello_world.fromasm178
-rw-r--r--test/emcc_O2_hello_world.fromasm.imprecise178
-rw-r--r--test/emcc_O2_hello_world.fromasm.imprecise.no-opts226
-rw-r--r--test/emcc_O2_hello_world.fromasm.no-opts226
-rw-r--r--test/emcc_hello_world.fromasm282
-rw-r--r--test/emcc_hello_world.fromasm.imprecise282
-rw-r--r--test/emcc_hello_world.fromasm.imprecise.no-opts326
-rw-r--r--test/emcc_hello_world.fromasm.no-opts326
-rw-r--r--test/memorygrowth.fromasm178
-rw-r--r--test/memorygrowth.fromasm.imprecise178
-rw-r--r--test/memorygrowth.fromasm.imprecise.no-opts226
-rw-r--r--test/memorygrowth.fromasm.no-opts226
13 files changed, 1419 insertions, 1417 deletions
diff --git a/src/asm2wasm.h b/src/asm2wasm.h
index 2d0d1300e..4d2ddb0cd 100644
--- a/src/asm2wasm.h
+++ b/src/asm2wasm.h
@@ -1277,7 +1277,9 @@ Function* Asm2WasmBuilder::processFunction(Ref ast) {
}
abort_on("bad unary", ast);
} else if (what == IF) {
- return builder.makeIf(process(ast[1]), process(ast[2]), !!ast[3] ? process(ast[3]) : nullptr);
+ auto* condition = process(ast[1]);
+ auto* ifTrue = process(ast[2]);
+ return builder.makeIf(condition, ifTrue, !!ast[3] ? process(ast[3]) : nullptr);
} else if (what == CALL) {
if (ast[1][0] == NAME) {
IString name = ast[1][1]->getIString();
diff --git a/test/emcc_O2_hello_world.fromasm b/test/emcc_O2_hello_world.fromasm
index 31e1ff280..fce0596e6 100644
--- a/test/emcc_O2_hello_world.fromasm
+++ b/test/emcc_O2_hello_world.fromasm
@@ -757,8 +757,8 @@
(set_local $1
(get_local $8)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(if
(tee_local $8
(i32.load offset=16
@@ -784,7 +784,7 @@
(set_local $4
(get_local $1)
)
- (br $while-out$23)
+ (br $while-out$6)
)
)
)
@@ -821,7 +821,7 @@
(get_local $10)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(if
@@ -852,7 +852,7 @@
(get_local $4)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(tee_local $9
@@ -899,12 +899,12 @@
(set_local $18
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(if
(tee_local $19
(i32.load
@@ -923,7 +923,7 @@
(set_local $10
(get_local $16)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -945,9 +945,9 @@
(get_local $16)
)
)
- (br $while-out$27)
+ (br $while-out$10)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1023,7 +1023,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $2)
(block
@@ -1071,7 +1071,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1106,7 +1106,7 @@
(get_local $18)
)
)
- (br_if $do-once$29
+ (br_if $do-once$12
(i32.eqz
(get_local $18)
)
@@ -1534,8 +1534,8 @@
(set_local $4
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(if
(i32.lt_u
(tee_local $5
@@ -1639,7 +1639,7 @@
(set_local $9
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $8
@@ -1659,7 +1659,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -1854,8 +1854,8 @@
(get_local $9)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $9
(i32.const 0)
)
@@ -1905,7 +1905,7 @@
(set_local $29
(get_local $4)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(if
@@ -1929,10 +1929,10 @@
(set_local $12
(get_local $4)
)
- (br $while-out$5)
+ (br $while-out$19)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -1982,7 +1982,7 @@
(get_local $12)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(tee_local $1
@@ -2029,12 +2029,12 @@
(set_local $11
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(if
(tee_local $16
(i32.load
@@ -2053,7 +2053,7 @@
(set_local $7
(get_local $0)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2075,9 +2075,9 @@
(get_local $0)
)
)
- (br $while-out$9)
+ (br $while-out$23)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2153,7 +2153,7 @@
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $5)
(block
@@ -2201,7 +2201,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2236,7 +2236,7 @@
(get_local $11)
)
)
- (br_if $do-once$11
+ (br_if $do-once$25
(i32.eqz
(get_local $11)
)
@@ -2311,7 +2311,7 @@
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.ge_u
(get_local $6)
@@ -2438,7 +2438,7 @@
(get_local $4)
(get_local $10)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $5
@@ -2603,7 +2603,7 @@
(get_local $4)
(get_local $4)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $7
@@ -2630,8 +2630,8 @@
(get_local $5)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -2649,7 +2649,7 @@
(set_local $9
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(if
@@ -2693,10 +2693,10 @@
(set_local $9
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3635,8 +3635,8 @@
(set_local $3
(i32.const 624)
)
- (loop $do-in$49
- (block $do-out$48
+ (loop $do-in$47
+ (block $do-out$46
(if
(i32.eq
(get_local $20)
@@ -3674,10 +3674,10 @@
(set_local $9
(i32.const 203)
)
- (br $do-out$48)
+ (br $do-out$46)
)
)
- (br_if $do-in$49
+ (br_if $do-in$47
(i32.ne
(tee_local $3
(i32.load offset=8
@@ -3827,8 +3827,8 @@
(set_local $3
(i32.const 624)
)
- (loop $while-in$51
- (block $while-out$50
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -3846,7 +3846,7 @@
(set_local $9
(i32.const 211)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
(if
@@ -3861,10 +3861,10 @@
(set_local $28
(i32.const 624)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
- (br $while-in$51)
+ (br $while-in$49)
)
)
(if
@@ -3977,7 +3977,7 @@
(i32.const 3)
)
)
- (block $do-once$52
+ (block $do-once$50
(if
(i32.ne
(get_local $6)
@@ -4021,7 +4021,7 @@
)
(get_local $1)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(i32.store
@@ -4064,7 +4064,7 @@
(get_local $6)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.eq
(tee_local $21
@@ -4111,12 +4111,12 @@
(set_local $24
(i32.const 0)
)
- (br $do-once$59)
+ (br $do-once$53)
)
)
)
- (loop $while-in$62
- (block $while-out$61
+ (loop $while-in$56
+ (block $while-out$55
(if
(tee_local $8
(i32.load
@@ -4135,7 +4135,7 @@
(set_local $11
(get_local $2)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(if
@@ -4157,9 +4157,9 @@
(get_local $2)
)
)
- (br $while-out$61)
+ (br $while-out$55)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(if
@@ -4240,7 +4240,7 @@
(get_local $23)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(i32.ne
(get_local $6)
@@ -4302,7 +4302,7 @@
(get_local $2)
(get_local $24)
)
- (br_if $do-once$63
+ (br_if $do-once$57
(get_local $24)
)
(i32.store
@@ -4403,7 +4403,7 @@
(get_local $6)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.ne
(tee_local $11
@@ -4432,7 +4432,7 @@
)
(call_import $_abort)
)
- (br_if $do-once$55
+ (br_if $do-once$61
(i32.eq
(i32.load offset=12
(get_local $11)
@@ -4468,7 +4468,7 @@
(br $label$break$L331)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(i32.eq
(get_local $21)
@@ -4504,7 +4504,7 @@
(set_local $42
(get_local $2)
)
- (br $do-once$57)
+ (br $do-once$63)
)
)
(call_import $_abort)
@@ -4583,7 +4583,7 @@
)
)
)
- (block $do-once$67
+ (block $do-once$65
(if
(i32.and
(tee_local $23
@@ -4622,7 +4622,7 @@
(set_local $35
(get_local $8)
)
- (br $do-once$67)
+ (br $do-once$65)
)
)
(call_import $_abort)
@@ -4663,7 +4663,7 @@
(get_local $3)
(get_local $1)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $2
@@ -4671,7 +4671,7 @@
(i32.const 480)
(i32.shl
(tee_local $0
- (block $do-once$69
+ (block $do-once$67
(if
(tee_local $2
(i32.shr_u
@@ -4680,7 +4680,7 @@
)
)
(block
- (br_if $do-once$69
+ (br_if $do-once$67
(i32.const 31)
(i32.gt_u
(get_local $15)
@@ -4832,7 +4832,7 @@
(get_local $3)
(get_local $3)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $14
@@ -4859,8 +4859,8 @@
(get_local $2)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -4878,7 +4878,7 @@
(set_local $9
(i32.const 281)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
(if
@@ -4922,10 +4922,10 @@
(set_local $9
(i32.const 278)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
- (br $while-in$72)
+ (br $while-in$70)
)
)
(if
@@ -5051,8 +5051,8 @@
)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$72
+ (block $while-out$71
(if
(if
(i32.le_u
@@ -5080,7 +5080,7 @@
(set_local $5
(get_local $15)
)
- (br $while-out$73)
+ (br $while-out$71)
)
)
(set_local $28
@@ -5088,7 +5088,7 @@
(get_local $28)
)
)
- (br $while-in$74)
+ (br $while-in$72)
)
)
(set_local $15
@@ -5262,7 +5262,7 @@
(i32.const 24)
)
)
- (loop $do-in$76
+ (loop $do-in$74
(i32.store
(tee_local $3
(i32.add
@@ -5272,7 +5272,7 @@
)
(i32.const 7)
)
- (br_if $do-in$76
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $3)
@@ -5599,8 +5599,8 @@
(get_local $6)
)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -5618,7 +5618,7 @@
(set_local $9
(i32.const 307)
)
- (br $while-out$77)
+ (br $while-out$75)
)
)
(if
@@ -5662,10 +5662,10 @@
(set_local $9
(i32.const 304)
)
- (br $while-out$77)
+ (br $while-out$75)
)
)
- (br $while-in$78)
+ (br $while-in$76)
)
)
(if
@@ -5804,7 +5804,7 @@
(set_local $2
(i32.const 0)
)
- (loop $do-in$47
+ (loop $do-in$78
(i32.store offset=12
(tee_local $1
(i32.add
@@ -5824,7 +5824,7 @@
(get_local $1)
(get_local $1)
)
- (br_if $do-in$47
+ (br_if $do-in$78
(i32.ne
(tee_local $2
(i32.add
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise
index 0b3963290..8ecf57704 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise
+++ b/test/emcc_O2_hello_world.fromasm.imprecise
@@ -756,8 +756,8 @@
(set_local $1
(get_local $8)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(if
(tee_local $8
(i32.load offset=16
@@ -783,7 +783,7 @@
(set_local $4
(get_local $1)
)
- (br $while-out$23)
+ (br $while-out$6)
)
)
)
@@ -820,7 +820,7 @@
(get_local $10)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(if
@@ -851,7 +851,7 @@
(get_local $4)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(tee_local $9
@@ -898,12 +898,12 @@
(set_local $18
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(if
(tee_local $19
(i32.load
@@ -922,7 +922,7 @@
(set_local $10
(get_local $16)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -944,9 +944,9 @@
(get_local $16)
)
)
- (br $while-out$27)
+ (br $while-out$10)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1022,7 +1022,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $2)
(block
@@ -1070,7 +1070,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1105,7 +1105,7 @@
(get_local $18)
)
)
- (br_if $do-once$29
+ (br_if $do-once$12
(i32.eqz
(get_local $18)
)
@@ -1533,8 +1533,8 @@
(set_local $4
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(if
(i32.lt_u
(tee_local $5
@@ -1638,7 +1638,7 @@
(set_local $9
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $8
@@ -1658,7 +1658,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -1853,8 +1853,8 @@
(get_local $9)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $9
(i32.const 0)
)
@@ -1904,7 +1904,7 @@
(set_local $29
(get_local $4)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(if
@@ -1928,10 +1928,10 @@
(set_local $12
(get_local $4)
)
- (br $while-out$5)
+ (br $while-out$19)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -1981,7 +1981,7 @@
(get_local $12)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(tee_local $1
@@ -2028,12 +2028,12 @@
(set_local $11
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(if
(tee_local $16
(i32.load
@@ -2052,7 +2052,7 @@
(set_local $7
(get_local $0)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2074,9 +2074,9 @@
(get_local $0)
)
)
- (br $while-out$9)
+ (br $while-out$23)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2152,7 +2152,7 @@
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $5)
(block
@@ -2200,7 +2200,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2235,7 +2235,7 @@
(get_local $11)
)
)
- (br_if $do-once$11
+ (br_if $do-once$25
(i32.eqz
(get_local $11)
)
@@ -2310,7 +2310,7 @@
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.ge_u
(get_local $6)
@@ -2437,7 +2437,7 @@
(get_local $4)
(get_local $10)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $5
@@ -2602,7 +2602,7 @@
(get_local $4)
(get_local $4)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $7
@@ -2629,8 +2629,8 @@
(get_local $5)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -2648,7 +2648,7 @@
(set_local $9
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(if
@@ -2692,10 +2692,10 @@
(set_local $9
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3634,8 +3634,8 @@
(set_local $3
(i32.const 624)
)
- (loop $do-in$49
- (block $do-out$48
+ (loop $do-in$47
+ (block $do-out$46
(if
(i32.eq
(get_local $20)
@@ -3673,10 +3673,10 @@
(set_local $9
(i32.const 203)
)
- (br $do-out$48)
+ (br $do-out$46)
)
)
- (br_if $do-in$49
+ (br_if $do-in$47
(i32.ne
(tee_local $3
(i32.load offset=8
@@ -3826,8 +3826,8 @@
(set_local $3
(i32.const 624)
)
- (loop $while-in$51
- (block $while-out$50
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -3845,7 +3845,7 @@
(set_local $9
(i32.const 211)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
(if
@@ -3860,10 +3860,10 @@
(set_local $28
(i32.const 624)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
- (br $while-in$51)
+ (br $while-in$49)
)
)
(if
@@ -3976,7 +3976,7 @@
(i32.const 3)
)
)
- (block $do-once$52
+ (block $do-once$50
(if
(i32.ne
(get_local $6)
@@ -4020,7 +4020,7 @@
)
(get_local $1)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(i32.store
@@ -4063,7 +4063,7 @@
(get_local $6)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.eq
(tee_local $21
@@ -4110,12 +4110,12 @@
(set_local $24
(i32.const 0)
)
- (br $do-once$59)
+ (br $do-once$53)
)
)
)
- (loop $while-in$62
- (block $while-out$61
+ (loop $while-in$56
+ (block $while-out$55
(if
(tee_local $8
(i32.load
@@ -4134,7 +4134,7 @@
(set_local $11
(get_local $2)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(if
@@ -4156,9 +4156,9 @@
(get_local $2)
)
)
- (br $while-out$61)
+ (br $while-out$55)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(if
@@ -4239,7 +4239,7 @@
(get_local $23)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(i32.ne
(get_local $6)
@@ -4301,7 +4301,7 @@
(get_local $2)
(get_local $24)
)
- (br_if $do-once$63
+ (br_if $do-once$57
(get_local $24)
)
(i32.store
@@ -4402,7 +4402,7 @@
(get_local $6)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.ne
(tee_local $11
@@ -4431,7 +4431,7 @@
)
(call_import $_abort)
)
- (br_if $do-once$55
+ (br_if $do-once$61
(i32.eq
(i32.load offset=12
(get_local $11)
@@ -4467,7 +4467,7 @@
(br $label$break$L331)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(i32.eq
(get_local $21)
@@ -4503,7 +4503,7 @@
(set_local $42
(get_local $2)
)
- (br $do-once$57)
+ (br $do-once$63)
)
)
(call_import $_abort)
@@ -4582,7 +4582,7 @@
)
)
)
- (block $do-once$67
+ (block $do-once$65
(if
(i32.and
(tee_local $23
@@ -4621,7 +4621,7 @@
(set_local $35
(get_local $8)
)
- (br $do-once$67)
+ (br $do-once$65)
)
)
(call_import $_abort)
@@ -4662,7 +4662,7 @@
(get_local $3)
(get_local $1)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $2
@@ -4670,7 +4670,7 @@
(i32.const 480)
(i32.shl
(tee_local $0
- (block $do-once$69
+ (block $do-once$67
(if
(tee_local $2
(i32.shr_u
@@ -4679,7 +4679,7 @@
)
)
(block
- (br_if $do-once$69
+ (br_if $do-once$67
(i32.const 31)
(i32.gt_u
(get_local $15)
@@ -4831,7 +4831,7 @@
(get_local $3)
(get_local $3)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $14
@@ -4858,8 +4858,8 @@
(get_local $2)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -4877,7 +4877,7 @@
(set_local $9
(i32.const 281)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
(if
@@ -4921,10 +4921,10 @@
(set_local $9
(i32.const 278)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
- (br $while-in$72)
+ (br $while-in$70)
)
)
(if
@@ -5050,8 +5050,8 @@
)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$72
+ (block $while-out$71
(if
(if
(i32.le_u
@@ -5079,7 +5079,7 @@
(set_local $5
(get_local $15)
)
- (br $while-out$73)
+ (br $while-out$71)
)
)
(set_local $28
@@ -5087,7 +5087,7 @@
(get_local $28)
)
)
- (br $while-in$74)
+ (br $while-in$72)
)
)
(set_local $15
@@ -5261,7 +5261,7 @@
(i32.const 24)
)
)
- (loop $do-in$76
+ (loop $do-in$74
(i32.store
(tee_local $3
(i32.add
@@ -5271,7 +5271,7 @@
)
(i32.const 7)
)
- (br_if $do-in$76
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $3)
@@ -5598,8 +5598,8 @@
(get_local $6)
)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -5617,7 +5617,7 @@
(set_local $9
(i32.const 307)
)
- (br $while-out$77)
+ (br $while-out$75)
)
)
(if
@@ -5661,10 +5661,10 @@
(set_local $9
(i32.const 304)
)
- (br $while-out$77)
+ (br $while-out$75)
)
)
- (br $while-in$78)
+ (br $while-in$76)
)
)
(if
@@ -5803,7 +5803,7 @@
(set_local $2
(i32.const 0)
)
- (loop $do-in$47
+ (loop $do-in$78
(i32.store offset=12
(tee_local $1
(i32.add
@@ -5823,7 +5823,7 @@
(get_local $1)
(get_local $1)
)
- (br_if $do-in$47
+ (br_if $do-in$78
(i32.ne
(tee_local $2
(i32.add
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise.no-opts b/test/emcc_O2_hello_world.fromasm.imprecise.no-opts
index af4655d11..163015994 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise.no-opts
+++ b/test/emcc_O2_hello_world.fromasm.imprecise.no-opts
@@ -227,7 +227,7 @@
(get_local $i10)
)
)
- (block $do-once$19
+ (block $do-once$2
(if
(i32.ne
(get_local $i7)
@@ -265,7 +265,7 @@
(get_local $i8)
(get_local $i11)
)
- (br $do-once$19)
+ (br $do-once$2)
)
(call_import $_abort)
)
@@ -498,7 +498,7 @@
(get_local $i12)
)
)
- (block $do-once$21
+ (block $do-once$4
(if
(i32.ne
(get_local $i15)
@@ -541,7 +541,7 @@
(i32.const 184)
)
)
- (br $do-once$21)
+ (br $do-once$4)
)
(call_import $_abort)
)
@@ -880,8 +880,8 @@
(set_local $i7
(get_local $i10)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(set_local $i10
(i32.load
(i32.add
@@ -914,7 +914,7 @@
(set_local $i22
(get_local $i7)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $i23
(get_local $i15)
@@ -962,7 +962,7 @@
(get_local $i7)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(set_local $i7
@@ -1006,7 +1006,7 @@
)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(get_local $i12)
@@ -1048,7 +1048,7 @@
(set_local $i24
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(block
(set_local $i25
@@ -1069,8 +1069,8 @@
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(set_local $i14
(i32.add
(get_local $i25)
@@ -1091,7 +1091,7 @@
(set_local $i26
(get_local $i14)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $i14
@@ -1116,7 +1116,7 @@
(set_local $i28
(get_local $i26)
)
- (br $while-out$27)
+ (br $while-out$10)
)
(block
(set_local $i25
@@ -1127,7 +1127,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1144,7 +1144,7 @@
(set_local $i24
(get_local $i27)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
@@ -1204,14 +1204,14 @@
(set_local $i24
(get_local $i12)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(call_import $_abort)
)
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $i5)
(block
@@ -1264,7 +1264,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1307,7 +1307,7 @@
(i32.eqz
(get_local $i24)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1338,7 +1338,7 @@
)
)
)
- (block $do-once$31
+ (block $do-once$14
(if
(get_local $i7)
(if
@@ -1362,7 +1362,7 @@
)
(get_local $i24)
)
- (br $do-once$31)
+ (br $do-once$14)
)
)
)
@@ -1400,7 +1400,7 @@
)
(get_local $i24)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1833,8 +1833,8 @@
(set_local $i8
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(set_local $i16
(i32.and
(i32.load
@@ -1957,7 +1957,7 @@
(set_local $i36
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $i12
@@ -1983,7 +1983,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -2185,8 +2185,8 @@
(get_local $i36)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $i36
(i32.const 0)
)
@@ -2247,7 +2247,7 @@
(set_local $i36
(i32.const 90)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(set_local $i38
@@ -2269,7 +2269,7 @@
(set_local $i44
(get_local $i8)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $i37
@@ -2283,7 +2283,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -2346,7 +2346,7 @@
)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(get_local $i7)
@@ -2388,7 +2388,7 @@
(set_local $i45
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(block
(set_local $i46
@@ -2409,8 +2409,8 @@
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(set_local $i2
(i32.add
(get_local $i46)
@@ -2431,7 +2431,7 @@
(set_local $i47
(get_local $i2)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $i2
@@ -2456,7 +2456,7 @@
(set_local $i49
(get_local $i47)
)
- (br $while-out$9)
+ (br $while-out$23)
)
(block
(set_local $i46
@@ -2467,7 +2467,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2484,7 +2484,7 @@
(set_local $i45
(get_local $i48)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
@@ -2544,14 +2544,14 @@
(set_local $i45
(get_local $i7)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(call_import $_abort)
)
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $i3)
(block
@@ -2604,7 +2604,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2647,7 +2647,7 @@
(i32.eqz
(get_local $i45)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2678,7 +2678,7 @@
)
)
)
- (block $do-once$13
+ (block $do-once$27
(if
(get_local $i15)
(if
@@ -2702,7 +2702,7 @@
)
(get_local $i45)
)
- (br $do-once$13)
+ (br $do-once$27)
)
)
)
@@ -2740,14 +2740,14 @@
)
(get_local $i45)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.ge_u
(get_local $i43)
@@ -2895,7 +2895,7 @@
)
(get_local $i15)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $i15
@@ -3092,7 +3092,7 @@
)
(get_local $i8)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $i4
@@ -3119,8 +3119,8 @@
(get_local $i3)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -3141,7 +3141,7 @@
(set_local $i36
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $i3
@@ -3178,7 +3178,7 @@
(set_local $i36
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $i4
@@ -3192,7 +3192,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3234,7 +3234,7 @@
)
(get_local $i8)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(if
@@ -3303,7 +3303,7 @@
)
(i32.const 0)
)
- (br $do-once$15)
+ (br $do-once$29)
)
(call_import $_abort)
)
@@ -4283,8 +4283,8 @@
(set_local $i63
(i32.const 624)
)
- (loop $do-in$49
- (block $do-out$48
+ (loop $do-in$47
+ (block $do-out$46
(set_local $i43
(i32.load
(get_local $i63)
@@ -4325,7 +4325,7 @@
(set_local $i36
(i32.const 203)
)
- (br $do-out$48)
+ (br $do-out$46)
)
)
(set_local $i63
@@ -4336,7 +4336,7 @@
)
)
)
- (br_if $do-in$49
+ (br_if $do-in$47
(i32.ne
(get_local $i63)
(i32.const 0)
@@ -4496,8 +4496,8 @@
(set_local $i63
(i32.const 624)
)
- (loop $while-in$51
- (block $while-out$50
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -4515,7 +4515,7 @@
(set_local $i36
(i32.const 211)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
(set_local $i63
@@ -4534,10 +4534,10 @@
(set_local $i71
(i32.const 624)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
- (br $while-in$51)
+ (br $while-in$49)
)
)
(if
@@ -4658,7 +4658,7 @@
(i32.const 3)
)
)
- (block $do-once$52
+ (block $do-once$50
(if
(i32.ne
(get_local $i43)
@@ -4706,7 +4706,7 @@
)
(get_local $i62)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $i62
@@ -4761,7 +4761,7 @@
)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.eq
(get_local $i55)
@@ -4803,7 +4803,7 @@
(set_local $i72
(i32.const 0)
)
- (br $do-once$59)
+ (br $do-once$53)
)
(block
(set_local $i73
@@ -4824,8 +4824,8 @@
)
)
)
- (loop $while-in$62
- (block $while-out$61
+ (loop $while-in$56
+ (block $while-out$55
(set_local $i5
(i32.add
(get_local $i73)
@@ -4846,7 +4846,7 @@
(set_local $i74
(get_local $i5)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(set_local $i5
@@ -4871,7 +4871,7 @@
(set_local $i76
(get_local $i74)
)
- (br $while-out$61)
+ (br $while-out$55)
)
(block
(set_local $i73
@@ -4882,7 +4882,7 @@
)
)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(if
@@ -4899,7 +4899,7 @@
(set_local $i72
(get_local $i75)
)
- (br $do-once$59)
+ (br $do-once$53)
)
)
)
@@ -4959,7 +4959,7 @@
(set_local $i72
(get_local $i55)
)
- (br $do-once$59)
+ (br $do-once$53)
)
(call_import $_abort)
)
@@ -4989,7 +4989,7 @@
)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(i32.ne
(get_local $i43)
@@ -5046,7 +5046,7 @@
)
(if
(get_local $i72)
- (br $do-once$63)
+ (br $do-once$57)
)
(i32.store
(i32.const 180)
@@ -5097,7 +5097,7 @@
(get_local $i5)
)
)
- (block $do-once$65
+ (block $do-once$59
(if
(get_local $i45)
(if
@@ -5121,7 +5121,7 @@
)
(get_local $i72)
)
- (br $do-once$65)
+ (br $do-once$59)
)
)
)
@@ -5196,7 +5196,7 @@
)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.ne
(get_local $i45)
@@ -5220,7 +5220,7 @@
)
(get_local $i43)
)
- (br $do-once$55)
+ (br $do-once$61)
)
(call_import $_abort)
)
@@ -5250,7 +5250,7 @@
(br $label$break$L331)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(i32.eq
(get_local $i55)
@@ -5287,7 +5287,7 @@
(set_local $i77
(get_local $i5)
)
- (br $do-once$57)
+ (br $do-once$63)
)
)
(call_import $_abort)
@@ -5397,7 +5397,7 @@
(get_local $i56)
)
)
- (block $do-once$67
+ (block $do-once$65
(if
(i32.eqz
(i32.and
@@ -5449,7 +5449,7 @@
(set_local $i81
(get_local $i52)
)
- (br $do-once$67)
+ (br $do-once$65)
)
)
(call_import $_abort)
@@ -5481,7 +5481,7 @@
)
(get_local $i62)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $i5
@@ -5490,7 +5490,7 @@
(i32.const 8)
)
)
- (block $do-once$69
+ (block $do-once$67
(if
(i32.eqz
(get_local $i5)
@@ -5508,7 +5508,7 @@
(set_local $i82
(i32.const 31)
)
- (br $do-once$69)
+ (br $do-once$67)
)
)
(set_local $i54
@@ -5685,7 +5685,7 @@
)
(get_local $i63)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $i50
@@ -5712,8 +5712,8 @@
(get_local $i5)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -5734,7 +5734,7 @@
(set_local $i36
(i32.const 281)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
(set_local $i5
@@ -5771,7 +5771,7 @@
(set_local $i36
(i32.const 278)
)
- (br $while-out$71)
+ (br $while-out$69)
)
(block
(set_local $i50
@@ -5785,7 +5785,7 @@
)
)
)
- (br $while-in$72)
+ (br $while-in$70)
)
)
(if
@@ -5827,7 +5827,7 @@
)
(get_local $i63)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(if
@@ -5896,7 +5896,7 @@
)
(i32.const 0)
)
- (br $do-once$52)
+ (br $do-once$50)
)
(call_import $_abort)
)
@@ -5949,8 +5949,8 @@
)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$72
+ (block $while-out$71
(set_local $i63
(i32.load
(get_local $i71)
@@ -5985,7 +5985,7 @@
(set_local $i86
(get_local $i53)
)
- (br $while-out$73)
+ (br $while-out$71)
)
)
(set_local $i71
@@ -5996,7 +5996,7 @@
)
)
)
- (br $while-in$74)
+ (br $while-in$72)
)
)
(set_local $i44
@@ -6194,8 +6194,8 @@
(i32.const 24)
)
)
- (loop $do-in$76
- (block $do-out$75
+ (loop $do-in$74
+ (block $do-out$73
(set_local $i63
(i32.add
(get_local $i63)
@@ -6206,7 +6206,7 @@
(get_local $i63)
(i32.const 7)
)
- (br_if $do-in$76
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $i63)
@@ -6584,8 +6584,8 @@
(get_local $i43)
)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -6606,7 +6606,7 @@
(set_local $i36
(i32.const 307)
)
- (br $while-out$77)
+ (br $while-out$75)
)
)
(set_local $i43
@@ -6643,7 +6643,7 @@
(set_local $i36
(i32.const 304)
)
- (br $while-out$77)
+ (br $while-out$75)
)
(block
(set_local $i5
@@ -6657,7 +6657,7 @@
)
)
)
- (br $while-in$78)
+ (br $while-in$76)
)
)
(if
@@ -6825,8 +6825,8 @@
(set_local $i5
(i32.const 0)
)
- (loop $do-in$47
- (block $do-out$46
+ (loop $do-in$78
+ (block $do-out$77
(set_local $i62
(i32.add
(i32.const 216)
@@ -6859,7 +6859,7 @@
(i32.const 1)
)
)
- (br_if $do-in$47
+ (br_if $do-in$78
(i32.ne
(get_local $i5)
(i32.const 32)
diff --git a/test/emcc_O2_hello_world.fromasm.no-opts b/test/emcc_O2_hello_world.fromasm.no-opts
index 648738c11..d8589967a 100644
--- a/test/emcc_O2_hello_world.fromasm.no-opts
+++ b/test/emcc_O2_hello_world.fromasm.no-opts
@@ -228,7 +228,7 @@
(get_local $i10)
)
)
- (block $do-once$19
+ (block $do-once$2
(if
(i32.ne
(get_local $i7)
@@ -266,7 +266,7 @@
(get_local $i8)
(get_local $i11)
)
- (br $do-once$19)
+ (br $do-once$2)
)
(call_import $_abort)
)
@@ -499,7 +499,7 @@
(get_local $i12)
)
)
- (block $do-once$21
+ (block $do-once$4
(if
(i32.ne
(get_local $i15)
@@ -542,7 +542,7 @@
(i32.const 184)
)
)
- (br $do-once$21)
+ (br $do-once$4)
)
(call_import $_abort)
)
@@ -881,8 +881,8 @@
(set_local $i7
(get_local $i10)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(set_local $i10
(i32.load
(i32.add
@@ -915,7 +915,7 @@
(set_local $i22
(get_local $i7)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $i23
(get_local $i15)
@@ -963,7 +963,7 @@
(get_local $i7)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(set_local $i7
@@ -1007,7 +1007,7 @@
)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(get_local $i12)
@@ -1049,7 +1049,7 @@
(set_local $i24
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(block
(set_local $i25
@@ -1070,8 +1070,8 @@
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(set_local $i14
(i32.add
(get_local $i25)
@@ -1092,7 +1092,7 @@
(set_local $i26
(get_local $i14)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $i14
@@ -1117,7 +1117,7 @@
(set_local $i28
(get_local $i26)
)
- (br $while-out$27)
+ (br $while-out$10)
)
(block
(set_local $i25
@@ -1128,7 +1128,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1145,7 +1145,7 @@
(set_local $i24
(get_local $i27)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
@@ -1205,14 +1205,14 @@
(set_local $i24
(get_local $i12)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(call_import $_abort)
)
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $i5)
(block
@@ -1265,7 +1265,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1308,7 +1308,7 @@
(i32.eqz
(get_local $i24)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1339,7 +1339,7 @@
)
)
)
- (block $do-once$31
+ (block $do-once$14
(if
(get_local $i7)
(if
@@ -1363,7 +1363,7 @@
)
(get_local $i24)
)
- (br $do-once$31)
+ (br $do-once$14)
)
)
)
@@ -1401,7 +1401,7 @@
)
(get_local $i24)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1834,8 +1834,8 @@
(set_local $i8
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(set_local $i16
(i32.and
(i32.load
@@ -1958,7 +1958,7 @@
(set_local $i36
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $i12
@@ -1984,7 +1984,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -2186,8 +2186,8 @@
(get_local $i36)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $i36
(i32.const 0)
)
@@ -2248,7 +2248,7 @@
(set_local $i36
(i32.const 90)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(set_local $i38
@@ -2270,7 +2270,7 @@
(set_local $i44
(get_local $i8)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $i37
@@ -2284,7 +2284,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -2347,7 +2347,7 @@
)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(get_local $i7)
@@ -2389,7 +2389,7 @@
(set_local $i45
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(block
(set_local $i46
@@ -2410,8 +2410,8 @@
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(set_local $i2
(i32.add
(get_local $i46)
@@ -2432,7 +2432,7 @@
(set_local $i47
(get_local $i2)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $i2
@@ -2457,7 +2457,7 @@
(set_local $i49
(get_local $i47)
)
- (br $while-out$9)
+ (br $while-out$23)
)
(block
(set_local $i46
@@ -2468,7 +2468,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2485,7 +2485,7 @@
(set_local $i45
(get_local $i48)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
@@ -2545,14 +2545,14 @@
(set_local $i45
(get_local $i7)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(call_import $_abort)
)
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $i3)
(block
@@ -2605,7 +2605,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2648,7 +2648,7 @@
(i32.eqz
(get_local $i45)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2679,7 +2679,7 @@
)
)
)
- (block $do-once$13
+ (block $do-once$27
(if
(get_local $i15)
(if
@@ -2703,7 +2703,7 @@
)
(get_local $i45)
)
- (br $do-once$13)
+ (br $do-once$27)
)
)
)
@@ -2741,14 +2741,14 @@
)
(get_local $i45)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.ge_u
(get_local $i43)
@@ -2896,7 +2896,7 @@
)
(get_local $i15)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $i15
@@ -3093,7 +3093,7 @@
)
(get_local $i8)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $i4
@@ -3120,8 +3120,8 @@
(get_local $i3)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -3142,7 +3142,7 @@
(set_local $i36
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $i3
@@ -3179,7 +3179,7 @@
(set_local $i36
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $i4
@@ -3193,7 +3193,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3235,7 +3235,7 @@
)
(get_local $i8)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(if
@@ -3304,7 +3304,7 @@
)
(i32.const 0)
)
- (br $do-once$15)
+ (br $do-once$29)
)
(call_import $_abort)
)
@@ -4284,8 +4284,8 @@
(set_local $i63
(i32.const 624)
)
- (loop $do-in$49
- (block $do-out$48
+ (loop $do-in$47
+ (block $do-out$46
(set_local $i43
(i32.load
(get_local $i63)
@@ -4326,7 +4326,7 @@
(set_local $i36
(i32.const 203)
)
- (br $do-out$48)
+ (br $do-out$46)
)
)
(set_local $i63
@@ -4337,7 +4337,7 @@
)
)
)
- (br_if $do-in$49
+ (br_if $do-in$47
(i32.ne
(get_local $i63)
(i32.const 0)
@@ -4497,8 +4497,8 @@
(set_local $i63
(i32.const 624)
)
- (loop $while-in$51
- (block $while-out$50
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -4516,7 +4516,7 @@
(set_local $i36
(i32.const 211)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
(set_local $i63
@@ -4535,10 +4535,10 @@
(set_local $i71
(i32.const 624)
)
- (br $while-out$50)
+ (br $while-out$48)
)
)
- (br $while-in$51)
+ (br $while-in$49)
)
)
(if
@@ -4659,7 +4659,7 @@
(i32.const 3)
)
)
- (block $do-once$52
+ (block $do-once$50
(if
(i32.ne
(get_local $i43)
@@ -4707,7 +4707,7 @@
)
(get_local $i62)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $i62
@@ -4762,7 +4762,7 @@
)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.eq
(get_local $i55)
@@ -4804,7 +4804,7 @@
(set_local $i72
(i32.const 0)
)
- (br $do-once$59)
+ (br $do-once$53)
)
(block
(set_local $i73
@@ -4825,8 +4825,8 @@
)
)
)
- (loop $while-in$62
- (block $while-out$61
+ (loop $while-in$56
+ (block $while-out$55
(set_local $i5
(i32.add
(get_local $i73)
@@ -4847,7 +4847,7 @@
(set_local $i74
(get_local $i5)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(set_local $i5
@@ -4872,7 +4872,7 @@
(set_local $i76
(get_local $i74)
)
- (br $while-out$61)
+ (br $while-out$55)
)
(block
(set_local $i73
@@ -4883,7 +4883,7 @@
)
)
)
- (br $while-in$62)
+ (br $while-in$56)
)
)
(if
@@ -4900,7 +4900,7 @@
(set_local $i72
(get_local $i75)
)
- (br $do-once$59)
+ (br $do-once$53)
)
)
)
@@ -4960,7 +4960,7 @@
(set_local $i72
(get_local $i55)
)
- (br $do-once$59)
+ (br $do-once$53)
)
(call_import $_abort)
)
@@ -4990,7 +4990,7 @@
)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(i32.ne
(get_local $i43)
@@ -5047,7 +5047,7 @@
)
(if
(get_local $i72)
- (br $do-once$63)
+ (br $do-once$57)
)
(i32.store
(i32.const 180)
@@ -5098,7 +5098,7 @@
(get_local $i5)
)
)
- (block $do-once$65
+ (block $do-once$59
(if
(get_local $i45)
(if
@@ -5122,7 +5122,7 @@
)
(get_local $i72)
)
- (br $do-once$65)
+ (br $do-once$59)
)
)
)
@@ -5197,7 +5197,7 @@
)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.ne
(get_local $i45)
@@ -5221,7 +5221,7 @@
)
(get_local $i43)
)
- (br $do-once$55)
+ (br $do-once$61)
)
(call_import $_abort)
)
@@ -5251,7 +5251,7 @@
(br $label$break$L331)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(i32.eq
(get_local $i55)
@@ -5288,7 +5288,7 @@
(set_local $i77
(get_local $i5)
)
- (br $do-once$57)
+ (br $do-once$63)
)
)
(call_import $_abort)
@@ -5398,7 +5398,7 @@
(get_local $i56)
)
)
- (block $do-once$67
+ (block $do-once$65
(if
(i32.eqz
(i32.and
@@ -5450,7 +5450,7 @@
(set_local $i81
(get_local $i52)
)
- (br $do-once$67)
+ (br $do-once$65)
)
)
(call_import $_abort)
@@ -5482,7 +5482,7 @@
)
(get_local $i62)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $i5
@@ -5491,7 +5491,7 @@
(i32.const 8)
)
)
- (block $do-once$69
+ (block $do-once$67
(if
(i32.eqz
(get_local $i5)
@@ -5509,7 +5509,7 @@
(set_local $i82
(i32.const 31)
)
- (br $do-once$69)
+ (br $do-once$67)
)
)
(set_local $i54
@@ -5686,7 +5686,7 @@
)
(get_local $i63)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(set_local $i50
@@ -5713,8 +5713,8 @@
(get_local $i5)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -5735,7 +5735,7 @@
(set_local $i36
(i32.const 281)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
(set_local $i5
@@ -5772,7 +5772,7 @@
(set_local $i36
(i32.const 278)
)
- (br $while-out$71)
+ (br $while-out$69)
)
(block
(set_local $i50
@@ -5786,7 +5786,7 @@
)
)
)
- (br $while-in$72)
+ (br $while-in$70)
)
)
(if
@@ -5828,7 +5828,7 @@
)
(get_local $i63)
)
- (br $do-once$52)
+ (br $do-once$50)
)
)
(if
@@ -5897,7 +5897,7 @@
)
(i32.const 0)
)
- (br $do-once$52)
+ (br $do-once$50)
)
(call_import $_abort)
)
@@ -5950,8 +5950,8 @@
)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$72
+ (block $while-out$71
(set_local $i63
(i32.load
(get_local $i71)
@@ -5986,7 +5986,7 @@
(set_local $i86
(get_local $i53)
)
- (br $while-out$73)
+ (br $while-out$71)
)
)
(set_local $i71
@@ -5997,7 +5997,7 @@
)
)
)
- (br $while-in$74)
+ (br $while-in$72)
)
)
(set_local $i44
@@ -6195,8 +6195,8 @@
(i32.const 24)
)
)
- (loop $do-in$76
- (block $do-out$75
+ (loop $do-in$74
+ (block $do-out$73
(set_local $i63
(i32.add
(get_local $i63)
@@ -6207,7 +6207,7 @@
(get_local $i63)
(i32.const 7)
)
- (br_if $do-in$76
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $i63)
@@ -6585,8 +6585,8 @@
(get_local $i43)
)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -6607,7 +6607,7 @@
(set_local $i36
(i32.const 307)
)
- (br $while-out$77)
+ (br $while-out$75)
)
)
(set_local $i43
@@ -6644,7 +6644,7 @@
(set_local $i36
(i32.const 304)
)
- (br $while-out$77)
+ (br $while-out$75)
)
(block
(set_local $i5
@@ -6658,7 +6658,7 @@
)
)
)
- (br $while-in$78)
+ (br $while-in$76)
)
)
(if
@@ -6826,8 +6826,8 @@
(set_local $i5
(i32.const 0)
)
- (loop $do-in$47
- (block $do-out$46
+ (loop $do-in$78
+ (block $do-out$77
(set_local $i62
(i32.add
(i32.const 216)
@@ -6860,7 +6860,7 @@
(i32.const 1)
)
)
- (br_if $do-in$47
+ (br_if $do-in$78
(i32.ne
(get_local $i5)
(i32.const 32)
diff --git a/test/emcc_hello_world.fromasm b/test/emcc_hello_world.fromasm
index 1475e4676..78c577bbf 100644
--- a/test/emcc_hello_world.fromasm
+++ b/test/emcc_hello_world.fromasm
@@ -7168,8 +7168,8 @@
)
)
)
- (loop $while-in$115
- (block $while-out$114
+ (loop $while-in$109
+ (block $while-out$108
(set_local $5
(call $_fmt_u
(i32.load
@@ -7179,7 +7179,7 @@
(get_local $45)
)
)
- (block $do-once$116
+ (block $do-once$110
(if
(i32.eq
(get_local $7)
@@ -7191,7 +7191,7 @@
(get_local $5)
(get_local $45)
)
- (br $do-once$116)
+ (br $do-once$110)
)
(i32.store8
(get_local $53)
@@ -7207,10 +7207,10 @@
(get_local $5)
(get_local $29)
)
- (br $do-once$116)
+ (br $do-once$110)
)
- (loop $while-in$119
- (block $while-out$118
+ (loop $while-in$113
+ (block $while-out$112
(i32.store8
(tee_local $5
(i32.add
@@ -7225,9 +7225,9 @@
(get_local $5)
(get_local $29)
)
- (br $while-out$118)
+ (br $while-out$112)
)
- (br $while-in$119)
+ (br $while-in$113)
)
)
)
@@ -7266,20 +7266,20 @@
(set_local $5
(get_local $7)
)
- (br $while-out$114)
+ (br $while-out$108)
)
)
- (br $while-in$115)
+ (br $while-in$109)
)
)
- (block $do-once$120
+ (block $do-once$114
(if
(i32.ne
(get_local $1)
(i32.const 0)
)
(block
- (br_if $do-once$120
+ (br_if $do-once$114
(i32.ne
(i32.and
(i32.load
@@ -7309,8 +7309,8 @@
(get_local $23)
)
)
- (loop $while-in$123
- (block $while-out$122
+ (loop $while-in$117
+ (block $while-out$116
(if
(i32.gt_u
(tee_local $1
@@ -7324,8 +7324,8 @@
)
(get_local $29)
)
- (loop $while-in$125
- (block $while-out$124
+ (loop $while-in$119
+ (block $while-out$118
(i32.store8
(tee_local $1
(i32.add
@@ -7340,9 +7340,9 @@
(get_local $1)
(get_local $29)
)
- (br $while-out$124)
+ (br $while-out$118)
)
- (br $while-in$125)
+ (br $while-in$119)
)
)
)
@@ -7398,10 +7398,10 @@
(set_local $15
(get_local $1)
)
- (br $while-out$122)
+ (br $while-out$116)
)
)
- (br $while-in$123)
+ (br $while-in$117)
)
)
)
@@ -7442,8 +7442,8 @@
(set_local $5
(get_local $7)
)
- (loop $while-in$109
- (block $while-out$108
+ (loop $while-in$121
+ (block $while-out$120
(set_local $8
(if
(i32.eq
@@ -7468,7 +7468,7 @@
(get_local $1)
)
)
- (block $do-once$110
+ (block $do-once$122
(if
(i32.eq
(get_local $5)
@@ -7505,7 +7505,7 @@
(i32.const 1)
)
)
- (br $do-once$110)
+ (br $do-once$122)
)
(if
(i32.ne
@@ -7517,7 +7517,7 @@
)
(i32.const 0)
)
- (br $do-once$110)
+ (br $do-once$122)
)
(call $___fwritex
(i32.const 4143)
@@ -7538,11 +7538,11 @@
(set_local $1
(get_local $8)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
- (loop $while-in$113
- (block $while-out$112
+ (loop $while-in$125
+ (block $while-out$124
(i32.store8
(tee_local $1
(i32.add
@@ -7557,9 +7557,9 @@
(get_local $1)
(get_local $29)
)
- (br $while-out$112)
+ (br $while-out$124)
)
- (br $while-in$113)
+ (br $while-in$125)
)
)
)
@@ -7617,9 +7617,9 @@
)
)
)
- (br $while-out$108)
+ (br $while-out$120)
)
- (br $while-in$109)
+ (br $while-in$121)
)
)
)
@@ -7871,8 +7871,8 @@
(set_local $6
(get_local $28)
)
- (loop $while-in$134
- (block $while-out$133
+ (loop $while-in$130
+ (block $while-out$129
(i32.store8
(tee_local $6
(i32.add
@@ -7920,9 +7920,9 @@
(i32.const 0)
)
)
- (br $while-out$133)
+ (br $while-out$129)
)
- (br $while-in$134)
+ (br $while-in$130)
)
)
(if
@@ -8101,8 +8101,8 @@
(get_local $19)
)
)
- (loop $while-in$130
- (block $while-out$129
+ (loop $while-in$132
+ (block $while-out$131
(if
(i32.eq
(tee_local $1
@@ -8112,7 +8112,7 @@
)
(i32.const 0)
)
- (br $while-out$129)
+ (br $while-out$131)
)
(if
(i32.or
@@ -8133,7 +8133,7 @@
)
)
)
- (br $while-out$129)
+ (br $while-out$131)
)
(set_local $6
(i32.add
@@ -8158,10 +8158,10 @@
(set_local $7
(get_local $1)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
- (br $while-in$130)
+ (br $while-in$132)
)
)
(if
@@ -8205,8 +8205,8 @@
(get_local $19)
)
)
- (loop $while-in$132
- (block $while-out$131
+ (loop $while-in$134
+ (block $while-out$133
(if
(i32.eq
(tee_local $1
@@ -8288,10 +8288,10 @@
(set_local $12
(i32.const 98)
)
- (br $while-out$131)
+ (br $while-out$133)
)
)
- (br $while-in$132)
+ (br $while-in$134)
)
)
)
@@ -10189,8 +10189,8 @@
(set_local $8
(get_local $0)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(if
(i32.eq
(tee_local $0
@@ -10216,7 +10216,7 @@
(set_local $10
(get_local $8)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $1
(get_local $0)
@@ -10259,7 +10259,7 @@
(get_local $0)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(if
@@ -10290,7 +10290,7 @@
(get_local $10)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(tee_local $2
@@ -10333,7 +10333,7 @@
(set_local $15
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(set_local $4
(get_local $2)
@@ -10343,8 +10343,8 @@
(get_local $2)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(if
(i32.ne
(tee_local $2
@@ -10366,7 +10366,7 @@
(set_local $8
(get_local $5)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -10383,7 +10383,7 @@
)
(i32.const 0)
)
- (br $while-out$27)
+ (br $while-out$10)
(block
(set_local $4
(get_local $2)
@@ -10393,7 +10393,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -10469,7 +10469,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(i32.ne
(get_local $1)
@@ -10521,7 +10521,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -10556,7 +10556,7 @@
(get_local $15)
)
)
- (br_if $do-once$29
+ (br_if $do-once$12
(i32.eq
(get_local $15)
(i32.const 0)
@@ -11034,8 +11034,8 @@
(set_local $36
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(if
(i32.lt_u
(tee_local $16
@@ -11152,7 +11152,7 @@
(set_local $11
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $7
@@ -11163,7 +11163,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -11351,8 +11351,8 @@
(get_local $11)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $11
(i32.const 0)
)
@@ -11405,7 +11405,7 @@
(set_local $29
(get_local $3)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(if
@@ -11421,7 +11421,7 @@
(set_local $13
(get_local $3)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $26
@@ -11435,7 +11435,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -11486,7 +11486,7 @@
(get_local $13)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(tee_local $2
@@ -11529,7 +11529,7 @@
(set_local $6
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(set_local $8
(get_local $2)
@@ -11539,8 +11539,8 @@
(get_local $2)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(if
(i32.ne
(tee_local $2
@@ -11562,7 +11562,7 @@
(set_local $9
(get_local $7)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -11579,7 +11579,7 @@
)
(i32.const 0)
)
- (br $while-out$9)
+ (br $while-out$23)
(block
(set_local $8
(get_local $2)
@@ -11589,7 +11589,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -11665,7 +11665,7 @@
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(i32.ne
(get_local $1)
@@ -11717,7 +11717,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -11752,7 +11752,7 @@
(get_local $6)
)
)
- (br_if $do-once$11
+ (br_if $do-once$25
(i32.eq
(get_local $6)
(i32.const 0)
@@ -11834,7 +11834,7 @@
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.lt_u
(get_local $17)
@@ -11998,7 +11998,7 @@
(get_local $3)
(get_local $2)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $2
@@ -12172,7 +12172,7 @@
(get_local $3)
(get_local $3)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $1
@@ -12199,8 +12199,8 @@
(get_local $2)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -12218,7 +12218,7 @@
(set_local $11
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $4
@@ -12260,7 +12260,7 @@
(set_local $11
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $1
@@ -12271,7 +12271,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -13229,8 +13229,8 @@
(set_local $1
(i32.const 0)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$47
+ (block $while-out$46
(i32.store offset=12
(tee_local $0
(i32.add
@@ -13260,9 +13260,9 @@
)
(i32.const 32)
)
- (br $while-out$77)
+ (br $while-out$46)
)
- (br $while-in$78)
+ (br $while-in$47)
)
)
(set_local $1
@@ -13337,8 +13337,8 @@
(set_local $7
(i32.const 624)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(get_local $14)
@@ -13376,7 +13376,7 @@
(set_local $11
(i32.const 203)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(if
@@ -13388,12 +13388,12 @@
)
(i32.const 0)
)
- (br $while-out$46)
+ (br $while-out$48)
(set_local $7
(get_local $4)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -13535,8 +13535,8 @@
(set_local $1
(i32.const 624)
)
- (loop $while-in$49
- (block $while-out$48
+ (loop $while-in$51
+ (block $while-out$50
(if
(i32.eq
(i32.load
@@ -13554,7 +13554,7 @@
(set_local $11
(i32.const 211)
)
- (br $while-out$48)
+ (br $while-out$50)
)
)
(if
@@ -13570,10 +13570,10 @@
(set_local $27
(i32.const 624)
)
- (br $while-out$48)
+ (br $while-out$50)
)
)
- (br $while-in$49)
+ (br $while-in$51)
)
)
(if
@@ -13696,7 +13696,7 @@
(i32.const 3)
)
)
- (block $do-once$50
+ (block $do-once$52
(if
(i32.eq
(get_local $3)
@@ -13764,7 +13764,7 @@
)
(get_local $0)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $0
@@ -13809,7 +13809,7 @@
(get_local $3)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.ne
(tee_local $0
@@ -13838,7 +13838,7 @@
)
(call_import $_abort)
)
- (br_if $do-once$61
+ (br_if $do-once$55
(i32.eq
(i32.load offset=12
(get_local $0)
@@ -13874,7 +13874,7 @@
(br $label$break$L331)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(i32.eq
(get_local $1)
@@ -13910,7 +13910,7 @@
(set_local $39
(get_local $2)
)
- (br $do-once$63)
+ (br $do-once$57)
)
)
(call_import $_abort)
@@ -13932,7 +13932,7 @@
(get_local $3)
)
)
- (block $do-once$53
+ (block $do-once$59
(if
(i32.eq
(tee_local $1
@@ -13975,7 +13975,7 @@
(set_local $18
(i32.const 0)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(block
(set_local $2
@@ -13990,8 +13990,8 @@
(get_local $1)
)
)
- (loop $while-in$56
- (block $while-out$55
+ (loop $while-in$62
+ (block $while-out$61
(if
(i32.ne
(tee_local $1
@@ -14013,7 +14013,7 @@
(set_local $9
(get_local $20)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(if
@@ -14030,7 +14030,7 @@
)
(i32.const 0)
)
- (br $while-out$55)
+ (br $while-out$61)
(block
(set_local $2
(get_local $1)
@@ -14040,7 +14040,7 @@
)
)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(if
@@ -14122,7 +14122,7 @@
(i32.const 0)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(i32.eq
(get_local $3)
@@ -14147,7 +14147,7 @@
(get_local $2)
(get_local $18)
)
- (br_if $do-once$57
+ (br_if $do-once$63
(i32.ne
(get_local $18)
(i32.const 0)
@@ -14356,7 +14356,7 @@
)
)
)
- (block $do-once$65
+ (block $do-once$67
(if
(i32.eq
(i32.and
@@ -14416,7 +14416,7 @@
(set_local $33
(get_local $1)
)
- (br $do-once$65)
+ (br $do-once$67)
)
)
(call_import $_abort)
@@ -14439,7 +14439,7 @@
(get_local $5)
(get_local $2)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $2
@@ -14447,7 +14447,7 @@
(i32.const 480)
(i32.shl
(tee_local $1
- (block $do-once$67
+ (block $do-once$69
(if
(i32.eq
(tee_local $0
@@ -14460,7 +14460,7 @@
)
(i32.const 0)
(block
- (br_if $do-once$67
+ (br_if $do-once$69
(i32.const 31)
(i32.gt_u
(get_local $4)
@@ -14615,7 +14615,7 @@
(get_local $5)
(get_local $5)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $1
@@ -14642,8 +14642,8 @@
(get_local $2)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(if
(i32.eq
(i32.and
@@ -14661,7 +14661,7 @@
(set_local $11
(i32.const 281)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
(set_local $8
@@ -14703,7 +14703,7 @@
(set_local $11
(i32.const 278)
)
- (br $while-out$69)
+ (br $while-out$71)
)
(block
(set_local $1
@@ -14714,7 +14714,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(if
@@ -14819,8 +14819,8 @@
)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$74
+ (block $while-out$73
(if
(i32.le_u
(tee_local $1
@@ -14846,7 +14846,7 @@
(set_local $2
(get_local $1)
)
- (br $while-out$71)
+ (br $while-out$73)
)
)
)
@@ -14855,7 +14855,7 @@
(get_local $27)
)
)
- (br $while-in$72)
+ (br $while-in$74)
)
)
(set_local $8
@@ -15037,8 +15037,8 @@
(i32.const 24)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(i32.store
(tee_local $1
(i32.add
@@ -15056,9 +15056,9 @@
)
(get_local $2)
)
- (br $while-out$73)
+ (br $while-out$75)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(if
@@ -15390,8 +15390,8 @@
(get_local $4)
)
)
- (loop $while-in$76
- (block $while-out$75
+ (loop $while-in$78
+ (block $while-out$77
(if
(i32.eq
(i32.and
@@ -15409,7 +15409,7 @@
(set_local $11
(i32.const 307)
)
- (br $while-out$75)
+ (br $while-out$77)
)
)
(set_local $8
@@ -15451,7 +15451,7 @@
(set_local $11
(i32.const 304)
)
- (br $while-out$75)
+ (br $while-out$77)
)
(block
(set_local $2
@@ -15462,7 +15462,7 @@
)
)
)
- (br $while-in$76)
+ (br $while-in$78)
)
)
(if
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index 1b3f505aa..d6c27e3c4 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -7162,8 +7162,8 @@
)
)
)
- (loop $while-in$115
- (block $while-out$114
+ (loop $while-in$109
+ (block $while-out$108
(set_local $5
(call $_fmt_u
(i32.load
@@ -7173,7 +7173,7 @@
(get_local $45)
)
)
- (block $do-once$116
+ (block $do-once$110
(if
(i32.eq
(get_local $7)
@@ -7185,7 +7185,7 @@
(get_local $5)
(get_local $45)
)
- (br $do-once$116)
+ (br $do-once$110)
)
(i32.store8
(get_local $53)
@@ -7201,10 +7201,10 @@
(get_local $5)
(get_local $29)
)
- (br $do-once$116)
+ (br $do-once$110)
)
- (loop $while-in$119
- (block $while-out$118
+ (loop $while-in$113
+ (block $while-out$112
(i32.store8
(tee_local $5
(i32.add
@@ -7219,9 +7219,9 @@
(get_local $5)
(get_local $29)
)
- (br $while-out$118)
+ (br $while-out$112)
)
- (br $while-in$119)
+ (br $while-in$113)
)
)
)
@@ -7260,20 +7260,20 @@
(set_local $5
(get_local $7)
)
- (br $while-out$114)
+ (br $while-out$108)
)
)
- (br $while-in$115)
+ (br $while-in$109)
)
)
- (block $do-once$120
+ (block $do-once$114
(if
(i32.ne
(get_local $1)
(i32.const 0)
)
(block
- (br_if $do-once$120
+ (br_if $do-once$114
(i32.ne
(i32.and
(i32.load
@@ -7303,8 +7303,8 @@
(get_local $23)
)
)
- (loop $while-in$123
- (block $while-out$122
+ (loop $while-in$117
+ (block $while-out$116
(if
(i32.gt_u
(tee_local $1
@@ -7318,8 +7318,8 @@
)
(get_local $29)
)
- (loop $while-in$125
- (block $while-out$124
+ (loop $while-in$119
+ (block $while-out$118
(i32.store8
(tee_local $1
(i32.add
@@ -7334,9 +7334,9 @@
(get_local $1)
(get_local $29)
)
- (br $while-out$124)
+ (br $while-out$118)
)
- (br $while-in$125)
+ (br $while-in$119)
)
)
)
@@ -7392,10 +7392,10 @@
(set_local $15
(get_local $1)
)
- (br $while-out$122)
+ (br $while-out$116)
)
)
- (br $while-in$123)
+ (br $while-in$117)
)
)
)
@@ -7436,8 +7436,8 @@
(set_local $5
(get_local $7)
)
- (loop $while-in$109
- (block $while-out$108
+ (loop $while-in$121
+ (block $while-out$120
(set_local $8
(if
(i32.eq
@@ -7462,7 +7462,7 @@
(get_local $1)
)
)
- (block $do-once$110
+ (block $do-once$122
(if
(i32.eq
(get_local $5)
@@ -7499,7 +7499,7 @@
(i32.const 1)
)
)
- (br $do-once$110)
+ (br $do-once$122)
)
(if
(i32.ne
@@ -7511,7 +7511,7 @@
)
(i32.const 0)
)
- (br $do-once$110)
+ (br $do-once$122)
)
(call $___fwritex
(i32.const 4143)
@@ -7532,11 +7532,11 @@
(set_local $1
(get_local $8)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
- (loop $while-in$113
- (block $while-out$112
+ (loop $while-in$125
+ (block $while-out$124
(i32.store8
(tee_local $1
(i32.add
@@ -7551,9 +7551,9 @@
(get_local $1)
(get_local $29)
)
- (br $while-out$112)
+ (br $while-out$124)
)
- (br $while-in$113)
+ (br $while-in$125)
)
)
)
@@ -7611,9 +7611,9 @@
)
)
)
- (br $while-out$108)
+ (br $while-out$120)
)
- (br $while-in$109)
+ (br $while-in$121)
)
)
)
@@ -7865,8 +7865,8 @@
(set_local $6
(get_local $28)
)
- (loop $while-in$134
- (block $while-out$133
+ (loop $while-in$130
+ (block $while-out$129
(i32.store8
(tee_local $6
(i32.add
@@ -7914,9 +7914,9 @@
(i32.const 0)
)
)
- (br $while-out$133)
+ (br $while-out$129)
)
- (br $while-in$134)
+ (br $while-in$130)
)
)
(if
@@ -8095,8 +8095,8 @@
(get_local $19)
)
)
- (loop $while-in$130
- (block $while-out$129
+ (loop $while-in$132
+ (block $while-out$131
(if
(i32.eq
(tee_local $1
@@ -8106,7 +8106,7 @@
)
(i32.const 0)
)
- (br $while-out$129)
+ (br $while-out$131)
)
(if
(i32.or
@@ -8127,7 +8127,7 @@
)
)
)
- (br $while-out$129)
+ (br $while-out$131)
)
(set_local $6
(i32.add
@@ -8152,10 +8152,10 @@
(set_local $7
(get_local $1)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
- (br $while-in$130)
+ (br $while-in$132)
)
)
(if
@@ -8199,8 +8199,8 @@
(get_local $19)
)
)
- (loop $while-in$132
- (block $while-out$131
+ (loop $while-in$134
+ (block $while-out$133
(if
(i32.eq
(tee_local $1
@@ -8282,10 +8282,10 @@
(set_local $12
(i32.const 98)
)
- (br $while-out$131)
+ (br $while-out$133)
)
)
- (br $while-in$132)
+ (br $while-in$134)
)
)
)
@@ -10183,8 +10183,8 @@
(set_local $8
(get_local $0)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(if
(i32.eq
(tee_local $0
@@ -10210,7 +10210,7 @@
(set_local $10
(get_local $8)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $1
(get_local $0)
@@ -10253,7 +10253,7 @@
(get_local $0)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(if
@@ -10284,7 +10284,7 @@
(get_local $10)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(tee_local $2
@@ -10327,7 +10327,7 @@
(set_local $15
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(set_local $4
(get_local $2)
@@ -10337,8 +10337,8 @@
(get_local $2)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(if
(i32.ne
(tee_local $2
@@ -10360,7 +10360,7 @@
(set_local $8
(get_local $5)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -10377,7 +10377,7 @@
)
(i32.const 0)
)
- (br $while-out$27)
+ (br $while-out$10)
(block
(set_local $4
(get_local $2)
@@ -10387,7 +10387,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -10463,7 +10463,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(i32.ne
(get_local $1)
@@ -10515,7 +10515,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -10550,7 +10550,7 @@
(get_local $15)
)
)
- (br_if $do-once$29
+ (br_if $do-once$12
(i32.eq
(get_local $15)
(i32.const 0)
@@ -11028,8 +11028,8 @@
(set_local $36
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(if
(i32.lt_u
(tee_local $16
@@ -11146,7 +11146,7 @@
(set_local $11
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $7
@@ -11157,7 +11157,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -11345,8 +11345,8 @@
(get_local $11)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $11
(i32.const 0)
)
@@ -11399,7 +11399,7 @@
(set_local $29
(get_local $3)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(if
@@ -11415,7 +11415,7 @@
(set_local $13
(get_local $3)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $26
@@ -11429,7 +11429,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -11480,7 +11480,7 @@
(get_local $13)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(tee_local $2
@@ -11523,7 +11523,7 @@
(set_local $6
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(set_local $8
(get_local $2)
@@ -11533,8 +11533,8 @@
(get_local $2)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(if
(i32.ne
(tee_local $2
@@ -11556,7 +11556,7 @@
(set_local $9
(get_local $7)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -11573,7 +11573,7 @@
)
(i32.const 0)
)
- (br $while-out$9)
+ (br $while-out$23)
(block
(set_local $8
(get_local $2)
@@ -11583,7 +11583,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -11659,7 +11659,7 @@
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(i32.ne
(get_local $1)
@@ -11711,7 +11711,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -11746,7 +11746,7 @@
(get_local $6)
)
)
- (br_if $do-once$11
+ (br_if $do-once$25
(i32.eq
(get_local $6)
(i32.const 0)
@@ -11828,7 +11828,7 @@
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.lt_u
(get_local $17)
@@ -11992,7 +11992,7 @@
(get_local $3)
(get_local $2)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $2
@@ -12166,7 +12166,7 @@
(get_local $3)
(get_local $3)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $1
@@ -12193,8 +12193,8 @@
(get_local $2)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -12212,7 +12212,7 @@
(set_local $11
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $4
@@ -12254,7 +12254,7 @@
(set_local $11
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $1
@@ -12265,7 +12265,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -13223,8 +13223,8 @@
(set_local $1
(i32.const 0)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$47
+ (block $while-out$46
(i32.store offset=12
(tee_local $0
(i32.add
@@ -13254,9 +13254,9 @@
)
(i32.const 32)
)
- (br $while-out$77)
+ (br $while-out$46)
)
- (br $while-in$78)
+ (br $while-in$47)
)
)
(set_local $1
@@ -13331,8 +13331,8 @@
(set_local $7
(i32.const 624)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(get_local $14)
@@ -13370,7 +13370,7 @@
(set_local $11
(i32.const 203)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(if
@@ -13382,12 +13382,12 @@
)
(i32.const 0)
)
- (br $while-out$46)
+ (br $while-out$48)
(set_local $7
(get_local $4)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -13529,8 +13529,8 @@
(set_local $1
(i32.const 624)
)
- (loop $while-in$49
- (block $while-out$48
+ (loop $while-in$51
+ (block $while-out$50
(if
(i32.eq
(i32.load
@@ -13548,7 +13548,7 @@
(set_local $11
(i32.const 211)
)
- (br $while-out$48)
+ (br $while-out$50)
)
)
(if
@@ -13564,10 +13564,10 @@
(set_local $27
(i32.const 624)
)
- (br $while-out$48)
+ (br $while-out$50)
)
)
- (br $while-in$49)
+ (br $while-in$51)
)
)
(if
@@ -13690,7 +13690,7 @@
(i32.const 3)
)
)
- (block $do-once$50
+ (block $do-once$52
(if
(i32.eq
(get_local $3)
@@ -13758,7 +13758,7 @@
)
(get_local $0)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $0
@@ -13803,7 +13803,7 @@
(get_local $3)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.ne
(tee_local $0
@@ -13832,7 +13832,7 @@
)
(call_import $_abort)
)
- (br_if $do-once$61
+ (br_if $do-once$55
(i32.eq
(i32.load offset=12
(get_local $0)
@@ -13868,7 +13868,7 @@
(br $label$break$L331)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(i32.eq
(get_local $1)
@@ -13904,7 +13904,7 @@
(set_local $39
(get_local $2)
)
- (br $do-once$63)
+ (br $do-once$57)
)
)
(call_import $_abort)
@@ -13926,7 +13926,7 @@
(get_local $3)
)
)
- (block $do-once$53
+ (block $do-once$59
(if
(i32.eq
(tee_local $1
@@ -13969,7 +13969,7 @@
(set_local $18
(i32.const 0)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(block
(set_local $2
@@ -13984,8 +13984,8 @@
(get_local $1)
)
)
- (loop $while-in$56
- (block $while-out$55
+ (loop $while-in$62
+ (block $while-out$61
(if
(i32.ne
(tee_local $1
@@ -14007,7 +14007,7 @@
(set_local $9
(get_local $20)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(if
@@ -14024,7 +14024,7 @@
)
(i32.const 0)
)
- (br $while-out$55)
+ (br $while-out$61)
(block
(set_local $2
(get_local $1)
@@ -14034,7 +14034,7 @@
)
)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(if
@@ -14116,7 +14116,7 @@
(i32.const 0)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(i32.eq
(get_local $3)
@@ -14141,7 +14141,7 @@
(get_local $2)
(get_local $18)
)
- (br_if $do-once$57
+ (br_if $do-once$63
(i32.ne
(get_local $18)
(i32.const 0)
@@ -14350,7 +14350,7 @@
)
)
)
- (block $do-once$65
+ (block $do-once$67
(if
(i32.eq
(i32.and
@@ -14410,7 +14410,7 @@
(set_local $33
(get_local $1)
)
- (br $do-once$65)
+ (br $do-once$67)
)
)
(call_import $_abort)
@@ -14433,7 +14433,7 @@
(get_local $5)
(get_local $2)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $2
@@ -14441,7 +14441,7 @@
(i32.const 480)
(i32.shl
(tee_local $1
- (block $do-once$67
+ (block $do-once$69
(if
(i32.eq
(tee_local $0
@@ -14454,7 +14454,7 @@
)
(i32.const 0)
(block
- (br_if $do-once$67
+ (br_if $do-once$69
(i32.const 31)
(i32.gt_u
(get_local $4)
@@ -14609,7 +14609,7 @@
(get_local $5)
(get_local $5)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $1
@@ -14636,8 +14636,8 @@
(get_local $2)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(if
(i32.eq
(i32.and
@@ -14655,7 +14655,7 @@
(set_local $11
(i32.const 281)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
(set_local $8
@@ -14697,7 +14697,7 @@
(set_local $11
(i32.const 278)
)
- (br $while-out$69)
+ (br $while-out$71)
)
(block
(set_local $1
@@ -14708,7 +14708,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(if
@@ -14813,8 +14813,8 @@
)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$74
+ (block $while-out$73
(if
(i32.le_u
(tee_local $1
@@ -14840,7 +14840,7 @@
(set_local $2
(get_local $1)
)
- (br $while-out$71)
+ (br $while-out$73)
)
)
)
@@ -14849,7 +14849,7 @@
(get_local $27)
)
)
- (br $while-in$72)
+ (br $while-in$74)
)
)
(set_local $8
@@ -15031,8 +15031,8 @@
(i32.const 24)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(i32.store
(tee_local $1
(i32.add
@@ -15050,9 +15050,9 @@
)
(get_local $2)
)
- (br $while-out$73)
+ (br $while-out$75)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(if
@@ -15384,8 +15384,8 @@
(get_local $4)
)
)
- (loop $while-in$76
- (block $while-out$75
+ (loop $while-in$78
+ (block $while-out$77
(if
(i32.eq
(i32.and
@@ -15403,7 +15403,7 @@
(set_local $11
(i32.const 307)
)
- (br $while-out$75)
+ (br $while-out$77)
)
)
(set_local $8
@@ -15445,7 +15445,7 @@
(set_local $11
(i32.const 304)
)
- (br $while-out$75)
+ (br $while-out$77)
)
(block
(set_local $2
@@ -15456,7 +15456,7 @@
)
)
)
- (br $while-in$76)
+ (br $while-in$78)
)
)
(if
diff --git a/test/emcc_hello_world.fromasm.imprecise.no-opts b/test/emcc_hello_world.fromasm.imprecise.no-opts
index f37f143a9..298b05867 100644
--- a/test/emcc_hello_world.fromasm.imprecise.no-opts
+++ b/test/emcc_hello_world.fromasm.imprecise.no-opts
@@ -12288,8 +12288,8 @@
(set_local $$d$5494$i
(get_local $$r$0$a$9$i)
)
- (loop $while-in$115
- (block $while-out$114
+ (loop $while-in$109
+ (block $while-out$108
(set_local $$248
(i32.load
(get_local $$d$5494$i)
@@ -12308,7 +12308,7 @@
(get_local $$r$0$a$9$i)
)
)
- (block $do-once$116
+ (block $do-once$110
(if
(get_local $$cmp673$i)
(block
@@ -12326,7 +12326,7 @@
(set_local $$s668$1$i
(get_local $$249)
)
- (br $do-once$116)
+ (br $do-once$110)
)
)
(i32.store8
@@ -12353,11 +12353,11 @@
(set_local $$s668$1$i
(get_local $$249)
)
- (br $do-once$116)
+ (br $do-once$110)
)
)
- (loop $while-in$119
- (block $while-out$118
+ (loop $while-in$113
+ (block $while-out$112
(set_local $$incdec$ptr681$i
(i32.add
(get_local $$s668$0492$i)
@@ -12383,10 +12383,10 @@
(set_local $$s668$1$i
(get_local $$incdec$ptr681$i)
)
- (br $while-out$118)
+ (br $while-out$112)
)
)
- (br $while-in$119)
+ (br $while-in$113)
)
)
)
@@ -12446,13 +12446,13 @@
(set_local $$incdec$ptr698$i$lcssa
(get_local $$incdec$ptr698$i)
)
- (br $while-out$114)
+ (br $while-out$108)
)
(set_local $$d$5494$i
(get_local $$incdec$ptr698$i)
)
)
- (br $while-in$115)
+ (br $while-in$109)
)
)
(set_local $$251
@@ -12461,7 +12461,7 @@
(i32.const 0)
)
)
- (block $do-once$120
+ (block $do-once$114
(if
(i32.eqz
(get_local $$251)
@@ -12488,7 +12488,7 @@
(i32.eqz
(get_local $$tobool$i$449$i)
)
- (br $do-once$120)
+ (br $do-once$114)
)
(call $___fwritex
(i32.const 4143)
@@ -12525,8 +12525,8 @@
(set_local $$p$addr$4489$i
(get_local $$p$addr$3$i)
)
- (loop $while-in$123
- (block $while-out$122
+ (loop $while-in$117
+ (block $while-out$116
(set_local $$254
(i32.load
(get_local $$d$6488$i)
@@ -12551,8 +12551,8 @@
(set_local $$s715$0484$i
(get_local $$255)
)
- (loop $while-in$125
- (block $while-out$124
+ (loop $while-in$119
+ (block $while-out$118
(set_local $$incdec$ptr725$i
(i32.add
(get_local $$s715$0484$i)
@@ -12578,10 +12578,10 @@
(set_local $$s715$0$lcssa$i
(get_local $$incdec$ptr725$i)
)
- (br $while-out$124)
+ (br $while-out$118)
)
)
- (br $while-in$125)
+ (br $while-in$119)
)
)
)
@@ -12673,10 +12673,10 @@
(set_local $$p$addr$4$lcssa$i
(get_local $$sub735$i)
)
- (br $while-out$122)
+ (br $while-out$116)
)
)
- (br $while-in$123)
+ (br $while-in$117)
)
)
)
@@ -12733,8 +12733,8 @@
(set_local $$p$addr$5501$i
(get_local $$p$addr$3$i)
)
- (loop $while-in$109
- (block $while-out$108
+ (loop $while-in$121
+ (block $while-out$120
(set_local $$258
(i32.load
(get_local $$d$7500$i)
@@ -12774,7 +12774,7 @@
(get_local $$a$9$ph$i)
)
)
- (block $do-once$110
+ (block $do-once$122
(if
(get_local $$cmp765$i)
(block
@@ -12827,7 +12827,7 @@
(set_local $$s753$2$i
(get_local $$incdec$ptr776$i)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
(set_local $$261
@@ -12855,7 +12855,7 @@
(set_local $$s753$2$i
(get_local $$incdec$ptr776$i)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
(drop
@@ -12885,11 +12885,11 @@
(set_local $$s753$2$i
(get_local $$s753$0$i)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
- (loop $while-in$113
- (block $while-out$112
+ (loop $while-in$125
+ (block $while-out$124
(set_local $$incdec$ptr773$i
(i32.add
(get_local $$s753$1496$i)
@@ -12915,10 +12915,10 @@
(set_local $$s753$2$i
(get_local $$incdec$ptr773$i)
)
- (br $while-out$112)
+ (br $while-out$124)
)
)
- (br $while-in$113)
+ (br $while-in$125)
)
)
)
@@ -13017,10 +13017,10 @@
(set_local $$p$addr$5$lcssa$i
(get_local $$sub806$i)
)
- (br $while-out$108)
+ (br $while-out$120)
)
)
- (br $while-in$109)
+ (br $while-in$121)
)
)
)
@@ -13399,8 +13399,8 @@
(set_local $$s$addr$06$i
(get_local $$add$ptr205)
)
- (loop $while-in$134
- (block $while-out$133
+ (loop $while-in$130
+ (block $while-out$129
(set_local $$idxprom$i
(i32.and
(get_local $$99)
@@ -13482,7 +13482,7 @@
(set_local $$incdec$ptr$i$212$lcssa
(get_local $$incdec$ptr$i$212)
)
- (br $while-out$133)
+ (br $while-out$129)
)
(block
(set_local $$101
@@ -13496,7 +13496,7 @@
)
)
)
- (br $while-in$134)
+ (br $while-in$130)
)
)
(set_local $$107
@@ -13749,8 +13749,8 @@
(set_local $$ws$0317
(get_local $$176)
)
- (loop $while-in$130
- (block $while-out$129
+ (loop $while-in$132
+ (block $while-out$131
(set_local $$177
(i32.load
(get_local $$ws$0317)
@@ -13771,7 +13771,7 @@
(set_local $$l$2
(get_local $$l$1315)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
(set_local $$call384
@@ -13813,7 +13813,7 @@
(set_local $$l$2
(get_local $$call384)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
(set_local $$incdec$ptr383
@@ -13854,10 +13854,10 @@
(set_local $$l$2
(get_local $$call384)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
- (br $while-in$130)
+ (br $while-in$132)
)
)
(set_local $$cmp397
@@ -13910,8 +13910,8 @@
(set_local $$ws$1326
(get_local $$178)
)
- (loop $while-in$132
- (block $while-out$131
+ (loop $while-in$134
+ (block $while-out$133
(set_local $$179
(i32.load
(get_local $$ws$1326)
@@ -14019,10 +14019,10 @@
(set_local $label
(i32.const 98)
)
- (br $while-out$131)
+ (br $while-out$133)
)
)
- (br $while-in$132)
+ (br $while-in$134)
)
)
)
@@ -17782,7 +17782,7 @@
(get_local $$3)
)
)
- (block $do-once$19
+ (block $do-once$2
(if
(get_local $$cmp10)
(block
@@ -17853,7 +17853,7 @@
(get_local $$1)
(get_local $$3)
)
- (br $do-once$19)
+ (br $do-once$2)
)
(call_import $_abort)
)
@@ -18153,7 +18153,7 @@
(get_local $$10)
)
)
- (block $do-once$21
+ (block $do-once$4
(if
(get_local $$cmp70)
(block
@@ -18235,7 +18235,7 @@
(set_local $$13
(get_local $$$pre)
)
- (br $do-once$21)
+ (br $do-once$4)
)
(call_import $_abort)
)
@@ -18678,8 +18678,8 @@
(set_local $$v$0$i
(get_local $$20)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(set_local $$arrayidx23$i
(i32.add
(get_local $$t$0$i)
@@ -18726,7 +18726,7 @@
(set_local $$v$0$i$lcssa
(get_local $$v$0$i)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $$cond4$i
(get_local $$23)
@@ -18789,7 +18789,7 @@
(set_local $$v$0$i
(get_local $$cond$v$0$i)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(set_local $$25
@@ -18853,7 +18853,7 @@
(get_local $$v$0$i$lcssa)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(get_local $$cmp40$i)
(block
@@ -18900,7 +18900,7 @@
(set_local $$R$3$i
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(block
(set_local $$R$1$i
@@ -18921,8 +18921,8 @@
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(set_local $$arrayidx71$i
(i32.add
(get_local $$R$1$i)
@@ -18951,7 +18951,7 @@
(set_local $$RP$1$i
(get_local $$arrayidx71$i)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $$arrayidx75$i
@@ -18980,7 +18980,7 @@
(set_local $$RP$1$i$lcssa
(get_local $$RP$1$i)
)
- (br $while-out$27)
+ (br $while-out$10)
)
(block
(set_local $$R$1$i
@@ -18991,7 +18991,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $$cmp81$i
@@ -19011,7 +19011,7 @@
(set_local $$R$3$i
(get_local $$R$1$i$lcssa)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
@@ -19091,7 +19091,7 @@
(set_local $$R$3$i
(get_local $$27)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(call_import $_abort)
)
@@ -19104,7 +19104,7 @@
(i32.const 0)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(i32.eqz
(get_local $$cmp90$i)
@@ -19184,7 +19184,7 @@
(i32.const 180)
(get_local $$and103$i)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -19248,7 +19248,7 @@
)
(if
(get_local $$cmp126$i)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -19294,7 +19294,7 @@
(i32.const 0)
)
)
- (block $do-once$31
+ (block $do-once$14
(if
(i32.eqz
(get_local $$cmp138$i)
@@ -19330,7 +19330,7 @@
(get_local $$parent149$i)
(get_local $$R$3$i)
)
- (br $do-once$31)
+ (br $do-once$14)
)
)
)
@@ -19393,7 +19393,7 @@
(get_local $$parent166$i)
(get_local $$R$3$i)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -19998,8 +19998,8 @@
(set_local $$v$0$i$153
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(set_local $$head$i$154
(i32.add
(get_local $$t$0$i$151)
@@ -20172,7 +20172,7 @@
(set_local $label
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $$rsize$0$i$152
@@ -20192,7 +20192,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -20462,8 +20462,8 @@
(get_local $label)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $label
(i32.const 0)
)
@@ -20544,7 +20544,7 @@
(set_local $label
(i32.const 90)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(set_local $$arrayidx113$i$159
@@ -20573,7 +20573,7 @@
(set_local $$v$4$lcssa$i
(get_local $$t$4$v$4$i)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $$rsize$49$i
@@ -20590,7 +20590,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -20687,7 +20687,7 @@
(get_local $$v$4$lcssa$i)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(get_local $$cmp128$i)
(block
@@ -20734,7 +20734,7 @@
(set_local $$R$3$i$171
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(block
(set_local $$R$1$i$168
@@ -20755,8 +20755,8 @@
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(set_local $$arrayidx161$i
(i32.add
(get_local $$R$1$i$168)
@@ -20785,7 +20785,7 @@
(set_local $$RP$1$i$167
(get_local $$arrayidx161$i)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $$arrayidx165$i$169
@@ -20814,7 +20814,7 @@
(set_local $$RP$1$i$167$lcssa
(get_local $$RP$1$i$167)
)
- (br $while-out$9)
+ (br $while-out$23)
)
(block
(set_local $$R$1$i$168
@@ -20825,7 +20825,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $$cmp171$i
@@ -20845,7 +20845,7 @@
(set_local $$R$3$i$171
(get_local $$R$1$i$168$lcssa)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
@@ -20925,7 +20925,7 @@
(set_local $$R$3$i$171
(get_local $$64)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(call_import $_abort)
)
@@ -20938,7 +20938,7 @@
(i32.const 0)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(i32.eqz
(get_local $$cmp180$i)
@@ -21018,7 +21018,7 @@
(i32.const 180)
(get_local $$and194$i)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -21082,7 +21082,7 @@
)
(if
(get_local $$cmp217$i)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -21128,7 +21128,7 @@
(i32.const 0)
)
)
- (block $do-once$13
+ (block $do-once$27
(if
(i32.eqz
(get_local $$cmp229$i)
@@ -21164,7 +21164,7 @@
(get_local $$parent240$i)
(get_local $$R$3$i$171)
)
- (br $do-once$13)
+ (br $do-once$27)
)
)
)
@@ -21227,7 +21227,7 @@
(get_local $$parent257$i)
(get_local $$R$3$i$171)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -21241,7 +21241,7 @@
(i32.const 16)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(get_local $$cmp265$i)
(block
@@ -21488,7 +21488,7 @@
(get_local $$bk313$i)
(get_local $$arrayidx289$i)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $$shr318$i
@@ -21769,7 +21769,7 @@
(get_local $$fd371$i)
(get_local $$add$ptr$i$161)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $$87
@@ -21814,8 +21814,8 @@
(set_local $$T$0$i
(get_local $$87)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(set_local $$head386$i
(i32.add
(get_local $$T$0$i)
@@ -21848,7 +21848,7 @@
(set_local $label
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $$shr391$i
@@ -21898,7 +21898,7 @@
(set_local $label
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $$K373$0$i
@@ -21909,7 +21909,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -21967,7 +21967,7 @@
(get_local $$fd408$i)
(get_local $$add$ptr$i$161)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
)
@@ -22058,7 +22058,7 @@
(get_local $$parent433$i)
(i32.const 0)
)
- (br $do-once$15)
+ (br $do-once$29)
)
(call_import $_abort)
)
@@ -23371,8 +23371,8 @@
(set_local $$i$01$i$i
(i32.const 0)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$47
+ (block $while-out$46
(set_local $$shl$i$i
(i32.shl
(get_local $$i$01$i$i)
@@ -23422,12 +23422,12 @@
)
(if
(get_local $$exitcond$i$i)
- (br $while-out$77)
+ (br $while-out$46)
(set_local $$i$01$i$i
(get_local $$inc$i$i)
)
)
- (br $while-in$78)
+ (br $while-in$47)
)
)
(set_local $$sub172$i
@@ -23542,8 +23542,8 @@
(set_local $$sp$0108$i
(i32.const 624)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(set_local $$127
(i32.load
(get_local $$sp$0108$i)
@@ -23590,7 +23590,7 @@
(set_local $label
(i32.const 203)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(set_local $$next$i
@@ -23612,12 +23612,12 @@
)
(if
(get_local $$cmp186$i)
- (br $while-out$46)
+ (br $while-out$48)
(set_local $$sp$0108$i
(get_local $$129)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -23837,8 +23837,8 @@
(set_local $$sp$1107$i
(i32.const 624)
)
- (loop $while-in$49
- (block $while-out$48
+ (loop $while-in$51
+ (block $while-out$50
(set_local $$136
(i32.load
(get_local $$sp$1107$i)
@@ -23862,7 +23862,7 @@
(set_local $label
(i32.const 211)
)
- (br $while-out$48)
+ (br $while-out$50)
)
)
(set_local $$next231$i
@@ -23888,13 +23888,13 @@
(set_local $$sp$0$i$i$i
(i32.const 624)
)
- (br $while-out$48)
+ (br $while-out$50)
)
(set_local $$sp$1107$i
(get_local $$137)
)
)
- (br $while-in$49)
+ (br $while-in$51)
)
)
(if
@@ -24092,7 +24092,7 @@
(get_local $$119)
)
)
- (block $do-once$50
+ (block $do-once$52
(if
(get_local $$cmp20$i$i)
(block
@@ -24192,7 +24192,7 @@
(get_local $$add$ptr30$i$i)
(get_local $$add26$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $$head32$i$i
@@ -24286,7 +24286,7 @@
(get_local $$arrayidx$i$48$i)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eqz
(get_local $$cmp41$i$i)
@@ -24321,7 +24321,7 @@
)
(if
(get_local $$cmp44$i$i)
- (br $do-once$61)
+ (br $do-once$55)
)
(call_import $_abort)
)
@@ -24372,7 +24372,7 @@
(get_local $$arrayidx$i$48$i)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(get_local $$cmp54$i$i)
(block
@@ -24420,7 +24420,7 @@
(set_local $$fd68$pre$phi$i$iZ2D
(get_local $$fd59$i$i)
)
- (br $do-once$63)
+ (br $do-once$57)
)
)
(call_import $_abort)
@@ -24471,7 +24471,7 @@
(get_local $$add$ptr16$i$i)
)
)
- (block $do-once$53
+ (block $do-once$59
(if
(get_local $$cmp75$i$i)
(block
@@ -24518,7 +24518,7 @@
(set_local $$R$3$i$i
(i32.const 0)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(block
(set_local $$R$1$i$i
@@ -24539,8 +24539,8 @@
)
)
)
- (loop $while-in$56
- (block $while-out$55
+ (loop $while-in$62
+ (block $while-out$61
(set_local $$arrayidx103$i$i
(i32.add
(get_local $$R$1$i$i)
@@ -24569,7 +24569,7 @@
(set_local $$RP$1$i$i
(get_local $$arrayidx103$i$i)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(set_local $$arrayidx107$i$i
@@ -24598,7 +24598,7 @@
(set_local $$RP$1$i$i$lcssa
(get_local $$RP$1$i$i)
)
- (br $while-out$55)
+ (br $while-out$61)
)
(block
(set_local $$R$1$i$i
@@ -24609,7 +24609,7 @@
)
)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(set_local $$cmp112$i$i
@@ -24629,7 +24629,7 @@
(set_local $$R$3$i$i
(get_local $$R$1$i$i$lcssa)
)
- (br $do-once$53)
+ (br $do-once$59)
)
)
)
@@ -24709,7 +24709,7 @@
(set_local $$R$3$i$i
(get_local $$155)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(call_import $_abort)
)
@@ -24757,7 +24757,7 @@
(get_local $$164)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(get_local $$cmp124$i$i)
(block
@@ -24775,7 +24775,7 @@
(i32.eqz
(get_local $$cond2$i$i)
)
- (br $do-once$57)
+ (br $do-once$63)
)
(set_local $$shl131$i$i
(i32.shl
@@ -24913,7 +24913,7 @@
(i32.const 0)
)
)
- (block $do-once$59
+ (block $do-once$65
(if
(i32.eqz
(get_local $$cmp168$i$i)
@@ -24949,7 +24949,7 @@
(get_local $$parent179$i$i)
(get_local $$R$3$i$i)
)
- (br $do-once$59)
+ (br $do-once$65)
)
)
)
@@ -25145,7 +25145,7 @@
(i32.const 0)
)
)
- (block $do-once$65
+ (block $do-once$67
(if
(get_local $$tobool228$i$i)
(block
@@ -25206,7 +25206,7 @@
(set_local $$F224$0$i$i
(get_local $$175)
)
- (br $do-once$65)
+ (br $do-once$67)
)
)
(call_import $_abort)
@@ -25247,7 +25247,7 @@
(get_local $$bk248$i$i)
(get_local $$arrayidx223$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $$shr253$i$i
@@ -25262,7 +25262,7 @@
(i32.const 0)
)
)
- (block $do-once$67
+ (block $do-once$69
(if
(get_local $$cmp254$i$i)
(set_local $$I252$0$i$i
@@ -25281,7 +25281,7 @@
(set_local $$I252$0$i$i
(i32.const 31)
)
- (br $do-once$67)
+ (br $do-once$69)
)
)
(set_local $$sub262$i$i
@@ -25531,7 +25531,7 @@
(get_local $$fd303$i$i)
(get_local $$add$ptr17$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $$178
@@ -25576,8 +25576,8 @@
(set_local $$T$0$i$58$i
(get_local $$178)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(set_local $$head317$i$i
(i32.add
(get_local $$T$0$i$58$i)
@@ -25610,7 +25610,7 @@
(set_local $label
(i32.const 281)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
(set_local $$shr322$i$i
@@ -25660,7 +25660,7 @@
(set_local $label
(i32.const 278)
)
- (br $while-out$69)
+ (br $while-out$71)
)
(block
(set_local $$K305$0$i$i
@@ -25671,7 +25671,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(if
@@ -25729,7 +25729,7 @@
(get_local $$fd339$i$i)
(get_local $$add$ptr17$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
)
@@ -25820,7 +25820,7 @@
(get_local $$parent361$i$i)
(i32.const 0)
)
- (br $do-once$50)
+ (br $do-once$52)
)
(call_import $_abort)
)
@@ -25849,8 +25849,8 @@
)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$74
+ (block $while-out$73
(set_local $$185
(i32.load
(get_local $$sp$0$i$i$i)
@@ -25896,7 +25896,7 @@
(set_local $$add$ptr$i$i$i$lcssa
(get_local $$add$ptr$i$i$i)
)
- (br $while-out$71)
+ (br $while-out$73)
)
)
)
@@ -25915,7 +25915,7 @@
(set_local $$sp$0$i$i$i
(get_local $$187)
)
- (br $while-in$72)
+ (br $while-in$74)
)
)
(set_local $$add$ptr2$i$i
@@ -26179,8 +26179,8 @@
(set_local $$p$0$i$i
(get_local $$add$ptr15$i$i)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(set_local $$add$ptr24$i$i
(i32.add
(get_local $$p$0$i$i)
@@ -26208,9 +26208,9 @@
(set_local $$p$0$i$i
(get_local $$add$ptr24$i$i)
)
- (br $while-out$73)
+ (br $while-out$75)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(set_local $$cmp28$i$i
@@ -26741,8 +26741,8 @@
(set_local $$T$0$i$i
(get_local $$200)
)
- (loop $while-in$76
- (block $while-out$75
+ (loop $while-in$78
+ (block $while-out$77
(set_local $$head118$i$i
(i32.add
(get_local $$T$0$i$i)
@@ -26775,7 +26775,7 @@
(set_local $label
(i32.const 307)
)
- (br $while-out$75)
+ (br $while-out$77)
)
)
(set_local $$shr123$i$i
@@ -26825,7 +26825,7 @@
(set_local $label
(i32.const 304)
)
- (br $while-out$75)
+ (br $while-out$77)
)
(block
(set_local $$K105$0$i$i
@@ -26836,7 +26836,7 @@
)
)
)
- (br $while-in$76)
+ (br $while-in$78)
)
)
(if
diff --git a/test/emcc_hello_world.fromasm.no-opts b/test/emcc_hello_world.fromasm.no-opts
index 53111ec31..28e44d8f0 100644
--- a/test/emcc_hello_world.fromasm.no-opts
+++ b/test/emcc_hello_world.fromasm.no-opts
@@ -12294,8 +12294,8 @@
(set_local $$d$5494$i
(get_local $$r$0$a$9$i)
)
- (loop $while-in$115
- (block $while-out$114
+ (loop $while-in$109
+ (block $while-out$108
(set_local $$248
(i32.load
(get_local $$d$5494$i)
@@ -12314,7 +12314,7 @@
(get_local $$r$0$a$9$i)
)
)
- (block $do-once$116
+ (block $do-once$110
(if
(get_local $$cmp673$i)
(block
@@ -12332,7 +12332,7 @@
(set_local $$s668$1$i
(get_local $$249)
)
- (br $do-once$116)
+ (br $do-once$110)
)
)
(i32.store8
@@ -12359,11 +12359,11 @@
(set_local $$s668$1$i
(get_local $$249)
)
- (br $do-once$116)
+ (br $do-once$110)
)
)
- (loop $while-in$119
- (block $while-out$118
+ (loop $while-in$113
+ (block $while-out$112
(set_local $$incdec$ptr681$i
(i32.add
(get_local $$s668$0492$i)
@@ -12389,10 +12389,10 @@
(set_local $$s668$1$i
(get_local $$incdec$ptr681$i)
)
- (br $while-out$118)
+ (br $while-out$112)
)
)
- (br $while-in$119)
+ (br $while-in$113)
)
)
)
@@ -12452,13 +12452,13 @@
(set_local $$incdec$ptr698$i$lcssa
(get_local $$incdec$ptr698$i)
)
- (br $while-out$114)
+ (br $while-out$108)
)
(set_local $$d$5494$i
(get_local $$incdec$ptr698$i)
)
)
- (br $while-in$115)
+ (br $while-in$109)
)
)
(set_local $$251
@@ -12467,7 +12467,7 @@
(i32.const 0)
)
)
- (block $do-once$120
+ (block $do-once$114
(if
(i32.eqz
(get_local $$251)
@@ -12494,7 +12494,7 @@
(i32.eqz
(get_local $$tobool$i$449$i)
)
- (br $do-once$120)
+ (br $do-once$114)
)
(call $___fwritex
(i32.const 4143)
@@ -12531,8 +12531,8 @@
(set_local $$p$addr$4489$i
(get_local $$p$addr$3$i)
)
- (loop $while-in$123
- (block $while-out$122
+ (loop $while-in$117
+ (block $while-out$116
(set_local $$254
(i32.load
(get_local $$d$6488$i)
@@ -12557,8 +12557,8 @@
(set_local $$s715$0484$i
(get_local $$255)
)
- (loop $while-in$125
- (block $while-out$124
+ (loop $while-in$119
+ (block $while-out$118
(set_local $$incdec$ptr725$i
(i32.add
(get_local $$s715$0484$i)
@@ -12584,10 +12584,10 @@
(set_local $$s715$0$lcssa$i
(get_local $$incdec$ptr725$i)
)
- (br $while-out$124)
+ (br $while-out$118)
)
)
- (br $while-in$125)
+ (br $while-in$119)
)
)
)
@@ -12679,10 +12679,10 @@
(set_local $$p$addr$4$lcssa$i
(get_local $$sub735$i)
)
- (br $while-out$122)
+ (br $while-out$116)
)
)
- (br $while-in$123)
+ (br $while-in$117)
)
)
)
@@ -12739,8 +12739,8 @@
(set_local $$p$addr$5501$i
(get_local $$p$addr$3$i)
)
- (loop $while-in$109
- (block $while-out$108
+ (loop $while-in$121
+ (block $while-out$120
(set_local $$258
(i32.load
(get_local $$d$7500$i)
@@ -12780,7 +12780,7 @@
(get_local $$a$9$ph$i)
)
)
- (block $do-once$110
+ (block $do-once$122
(if
(get_local $$cmp765$i)
(block
@@ -12833,7 +12833,7 @@
(set_local $$s753$2$i
(get_local $$incdec$ptr776$i)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
(set_local $$261
@@ -12861,7 +12861,7 @@
(set_local $$s753$2$i
(get_local $$incdec$ptr776$i)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
(drop
@@ -12891,11 +12891,11 @@
(set_local $$s753$2$i
(get_local $$s753$0$i)
)
- (br $do-once$110)
+ (br $do-once$122)
)
)
- (loop $while-in$113
- (block $while-out$112
+ (loop $while-in$125
+ (block $while-out$124
(set_local $$incdec$ptr773$i
(i32.add
(get_local $$s753$1496$i)
@@ -12921,10 +12921,10 @@
(set_local $$s753$2$i
(get_local $$incdec$ptr773$i)
)
- (br $while-out$112)
+ (br $while-out$124)
)
)
- (br $while-in$113)
+ (br $while-in$125)
)
)
)
@@ -13023,10 +13023,10 @@
(set_local $$p$addr$5$lcssa$i
(get_local $$sub806$i)
)
- (br $while-out$108)
+ (br $while-out$120)
)
)
- (br $while-in$109)
+ (br $while-in$121)
)
)
)
@@ -13405,8 +13405,8 @@
(set_local $$s$addr$06$i
(get_local $$add$ptr205)
)
- (loop $while-in$134
- (block $while-out$133
+ (loop $while-in$130
+ (block $while-out$129
(set_local $$idxprom$i
(i32.and
(get_local $$99)
@@ -13488,7 +13488,7 @@
(set_local $$incdec$ptr$i$212$lcssa
(get_local $$incdec$ptr$i$212)
)
- (br $while-out$133)
+ (br $while-out$129)
)
(block
(set_local $$101
@@ -13502,7 +13502,7 @@
)
)
)
- (br $while-in$134)
+ (br $while-in$130)
)
)
(set_local $$107
@@ -13755,8 +13755,8 @@
(set_local $$ws$0317
(get_local $$176)
)
- (loop $while-in$130
- (block $while-out$129
+ (loop $while-in$132
+ (block $while-out$131
(set_local $$177
(i32.load
(get_local $$ws$0317)
@@ -13777,7 +13777,7 @@
(set_local $$l$2
(get_local $$l$1315)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
(set_local $$call384
@@ -13819,7 +13819,7 @@
(set_local $$l$2
(get_local $$call384)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
(set_local $$incdec$ptr383
@@ -13860,10 +13860,10 @@
(set_local $$l$2
(get_local $$call384)
)
- (br $while-out$129)
+ (br $while-out$131)
)
)
- (br $while-in$130)
+ (br $while-in$132)
)
)
(set_local $$cmp397
@@ -13916,8 +13916,8 @@
(set_local $$ws$1326
(get_local $$178)
)
- (loop $while-in$132
- (block $while-out$131
+ (loop $while-in$134
+ (block $while-out$133
(set_local $$179
(i32.load
(get_local $$ws$1326)
@@ -14025,10 +14025,10 @@
(set_local $label
(i32.const 98)
)
- (br $while-out$131)
+ (br $while-out$133)
)
)
- (br $while-in$132)
+ (br $while-in$134)
)
)
)
@@ -17788,7 +17788,7 @@
(get_local $$3)
)
)
- (block $do-once$19
+ (block $do-once$2
(if
(get_local $$cmp10)
(block
@@ -17859,7 +17859,7 @@
(get_local $$1)
(get_local $$3)
)
- (br $do-once$19)
+ (br $do-once$2)
)
(call_import $_abort)
)
@@ -18159,7 +18159,7 @@
(get_local $$10)
)
)
- (block $do-once$21
+ (block $do-once$4
(if
(get_local $$cmp70)
(block
@@ -18241,7 +18241,7 @@
(set_local $$13
(get_local $$$pre)
)
- (br $do-once$21)
+ (br $do-once$4)
)
(call_import $_abort)
)
@@ -18684,8 +18684,8 @@
(set_local $$v$0$i
(get_local $$20)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(set_local $$arrayidx23$i
(i32.add
(get_local $$t$0$i)
@@ -18732,7 +18732,7 @@
(set_local $$v$0$i$lcssa
(get_local $$v$0$i)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $$cond4$i
(get_local $$23)
@@ -18795,7 +18795,7 @@
(set_local $$v$0$i
(get_local $$cond$v$0$i)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(set_local $$25
@@ -18859,7 +18859,7 @@
(get_local $$v$0$i$lcssa)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(get_local $$cmp40$i)
(block
@@ -18906,7 +18906,7 @@
(set_local $$R$3$i
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(block
(set_local $$R$1$i
@@ -18927,8 +18927,8 @@
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(set_local $$arrayidx71$i
(i32.add
(get_local $$R$1$i)
@@ -18957,7 +18957,7 @@
(set_local $$RP$1$i
(get_local $$arrayidx71$i)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $$arrayidx75$i
@@ -18986,7 +18986,7 @@
(set_local $$RP$1$i$lcssa
(get_local $$RP$1$i)
)
- (br $while-out$27)
+ (br $while-out$10)
)
(block
(set_local $$R$1$i
@@ -18997,7 +18997,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $$cmp81$i
@@ -19017,7 +19017,7 @@
(set_local $$R$3$i
(get_local $$R$1$i$lcssa)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
@@ -19097,7 +19097,7 @@
(set_local $$R$3$i
(get_local $$27)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(call_import $_abort)
)
@@ -19110,7 +19110,7 @@
(i32.const 0)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(i32.eqz
(get_local $$cmp90$i)
@@ -19190,7 +19190,7 @@
(i32.const 180)
(get_local $$and103$i)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -19254,7 +19254,7 @@
)
(if
(get_local $$cmp126$i)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -19300,7 +19300,7 @@
(i32.const 0)
)
)
- (block $do-once$31
+ (block $do-once$14
(if
(i32.eqz
(get_local $$cmp138$i)
@@ -19336,7 +19336,7 @@
(get_local $$parent149$i)
(get_local $$R$3$i)
)
- (br $do-once$31)
+ (br $do-once$14)
)
)
)
@@ -19399,7 +19399,7 @@
(get_local $$parent166$i)
(get_local $$R$3$i)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -20004,8 +20004,8 @@
(set_local $$v$0$i$153
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(set_local $$head$i$154
(i32.add
(get_local $$t$0$i$151)
@@ -20178,7 +20178,7 @@
(set_local $label
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $$rsize$0$i$152
@@ -20198,7 +20198,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -20468,8 +20468,8 @@
(get_local $label)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $label
(i32.const 0)
)
@@ -20550,7 +20550,7 @@
(set_local $label
(i32.const 90)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(set_local $$arrayidx113$i$159
@@ -20579,7 +20579,7 @@
(set_local $$v$4$lcssa$i
(get_local $$t$4$v$4$i)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $$rsize$49$i
@@ -20596,7 +20596,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -20693,7 +20693,7 @@
(get_local $$v$4$lcssa$i)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(get_local $$cmp128$i)
(block
@@ -20740,7 +20740,7 @@
(set_local $$R$3$i$171
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(block
(set_local $$R$1$i$168
@@ -20761,8 +20761,8 @@
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(set_local $$arrayidx161$i
(i32.add
(get_local $$R$1$i$168)
@@ -20791,7 +20791,7 @@
(set_local $$RP$1$i$167
(get_local $$arrayidx161$i)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $$arrayidx165$i$169
@@ -20820,7 +20820,7 @@
(set_local $$RP$1$i$167$lcssa
(get_local $$RP$1$i$167)
)
- (br $while-out$9)
+ (br $while-out$23)
)
(block
(set_local $$R$1$i$168
@@ -20831,7 +20831,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $$cmp171$i
@@ -20851,7 +20851,7 @@
(set_local $$R$3$i$171
(get_local $$R$1$i$168$lcssa)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
@@ -20931,7 +20931,7 @@
(set_local $$R$3$i$171
(get_local $$64)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(call_import $_abort)
)
@@ -20944,7 +20944,7 @@
(i32.const 0)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(i32.eqz
(get_local $$cmp180$i)
@@ -21024,7 +21024,7 @@
(i32.const 180)
(get_local $$and194$i)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -21088,7 +21088,7 @@
)
(if
(get_local $$cmp217$i)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -21134,7 +21134,7 @@
(i32.const 0)
)
)
- (block $do-once$13
+ (block $do-once$27
(if
(i32.eqz
(get_local $$cmp229$i)
@@ -21170,7 +21170,7 @@
(get_local $$parent240$i)
(get_local $$R$3$i$171)
)
- (br $do-once$13)
+ (br $do-once$27)
)
)
)
@@ -21233,7 +21233,7 @@
(get_local $$parent257$i)
(get_local $$R$3$i$171)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -21247,7 +21247,7 @@
(i32.const 16)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(get_local $$cmp265$i)
(block
@@ -21494,7 +21494,7 @@
(get_local $$bk313$i)
(get_local $$arrayidx289$i)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $$shr318$i
@@ -21775,7 +21775,7 @@
(get_local $$fd371$i)
(get_local $$add$ptr$i$161)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $$87
@@ -21820,8 +21820,8 @@
(set_local $$T$0$i
(get_local $$87)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(set_local $$head386$i
(i32.add
(get_local $$T$0$i)
@@ -21854,7 +21854,7 @@
(set_local $label
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $$shr391$i
@@ -21904,7 +21904,7 @@
(set_local $label
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $$K373$0$i
@@ -21915,7 +21915,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -21973,7 +21973,7 @@
(get_local $$fd408$i)
(get_local $$add$ptr$i$161)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
)
@@ -22064,7 +22064,7 @@
(get_local $$parent433$i)
(i32.const 0)
)
- (br $do-once$15)
+ (br $do-once$29)
)
(call_import $_abort)
)
@@ -23377,8 +23377,8 @@
(set_local $$i$01$i$i
(i32.const 0)
)
- (loop $while-in$78
- (block $while-out$77
+ (loop $while-in$47
+ (block $while-out$46
(set_local $$shl$i$i
(i32.shl
(get_local $$i$01$i$i)
@@ -23428,12 +23428,12 @@
)
(if
(get_local $$exitcond$i$i)
- (br $while-out$77)
+ (br $while-out$46)
(set_local $$i$01$i$i
(get_local $$inc$i$i)
)
)
- (br $while-in$78)
+ (br $while-in$47)
)
)
(set_local $$sub172$i
@@ -23548,8 +23548,8 @@
(set_local $$sp$0108$i
(i32.const 624)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(set_local $$127
(i32.load
(get_local $$sp$0108$i)
@@ -23596,7 +23596,7 @@
(set_local $label
(i32.const 203)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(set_local $$next$i
@@ -23618,12 +23618,12 @@
)
(if
(get_local $$cmp186$i)
- (br $while-out$46)
+ (br $while-out$48)
(set_local $$sp$0108$i
(get_local $$129)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -23843,8 +23843,8 @@
(set_local $$sp$1107$i
(i32.const 624)
)
- (loop $while-in$49
- (block $while-out$48
+ (loop $while-in$51
+ (block $while-out$50
(set_local $$136
(i32.load
(get_local $$sp$1107$i)
@@ -23868,7 +23868,7 @@
(set_local $label
(i32.const 211)
)
- (br $while-out$48)
+ (br $while-out$50)
)
)
(set_local $$next231$i
@@ -23894,13 +23894,13 @@
(set_local $$sp$0$i$i$i
(i32.const 624)
)
- (br $while-out$48)
+ (br $while-out$50)
)
(set_local $$sp$1107$i
(get_local $$137)
)
)
- (br $while-in$49)
+ (br $while-in$51)
)
)
(if
@@ -24098,7 +24098,7 @@
(get_local $$119)
)
)
- (block $do-once$50
+ (block $do-once$52
(if
(get_local $$cmp20$i$i)
(block
@@ -24198,7 +24198,7 @@
(get_local $$add$ptr30$i$i)
(get_local $$add26$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $$head32$i$i
@@ -24292,7 +24292,7 @@
(get_local $$arrayidx$i$48$i)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eqz
(get_local $$cmp41$i$i)
@@ -24327,7 +24327,7 @@
)
(if
(get_local $$cmp44$i$i)
- (br $do-once$61)
+ (br $do-once$55)
)
(call_import $_abort)
)
@@ -24378,7 +24378,7 @@
(get_local $$arrayidx$i$48$i)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(get_local $$cmp54$i$i)
(block
@@ -24426,7 +24426,7 @@
(set_local $$fd68$pre$phi$i$iZ2D
(get_local $$fd59$i$i)
)
- (br $do-once$63)
+ (br $do-once$57)
)
)
(call_import $_abort)
@@ -24477,7 +24477,7 @@
(get_local $$add$ptr16$i$i)
)
)
- (block $do-once$53
+ (block $do-once$59
(if
(get_local $$cmp75$i$i)
(block
@@ -24524,7 +24524,7 @@
(set_local $$R$3$i$i
(i32.const 0)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(block
(set_local $$R$1$i$i
@@ -24545,8 +24545,8 @@
)
)
)
- (loop $while-in$56
- (block $while-out$55
+ (loop $while-in$62
+ (block $while-out$61
(set_local $$arrayidx103$i$i
(i32.add
(get_local $$R$1$i$i)
@@ -24575,7 +24575,7 @@
(set_local $$RP$1$i$i
(get_local $$arrayidx103$i$i)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(set_local $$arrayidx107$i$i
@@ -24604,7 +24604,7 @@
(set_local $$RP$1$i$i$lcssa
(get_local $$RP$1$i$i)
)
- (br $while-out$55)
+ (br $while-out$61)
)
(block
(set_local $$R$1$i$i
@@ -24615,7 +24615,7 @@
)
)
)
- (br $while-in$56)
+ (br $while-in$62)
)
)
(set_local $$cmp112$i$i
@@ -24635,7 +24635,7 @@
(set_local $$R$3$i$i
(get_local $$R$1$i$i$lcssa)
)
- (br $do-once$53)
+ (br $do-once$59)
)
)
)
@@ -24715,7 +24715,7 @@
(set_local $$R$3$i$i
(get_local $$155)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(call_import $_abort)
)
@@ -24763,7 +24763,7 @@
(get_local $$164)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(get_local $$cmp124$i$i)
(block
@@ -24781,7 +24781,7 @@
(i32.eqz
(get_local $$cond2$i$i)
)
- (br $do-once$57)
+ (br $do-once$63)
)
(set_local $$shl131$i$i
(i32.shl
@@ -24919,7 +24919,7 @@
(i32.const 0)
)
)
- (block $do-once$59
+ (block $do-once$65
(if
(i32.eqz
(get_local $$cmp168$i$i)
@@ -24955,7 +24955,7 @@
(get_local $$parent179$i$i)
(get_local $$R$3$i$i)
)
- (br $do-once$59)
+ (br $do-once$65)
)
)
)
@@ -25151,7 +25151,7 @@
(i32.const 0)
)
)
- (block $do-once$65
+ (block $do-once$67
(if
(get_local $$tobool228$i$i)
(block
@@ -25212,7 +25212,7 @@
(set_local $$F224$0$i$i
(get_local $$175)
)
- (br $do-once$65)
+ (br $do-once$67)
)
)
(call_import $_abort)
@@ -25253,7 +25253,7 @@
(get_local $$bk248$i$i)
(get_local $$arrayidx223$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $$shr253$i$i
@@ -25268,7 +25268,7 @@
(i32.const 0)
)
)
- (block $do-once$67
+ (block $do-once$69
(if
(get_local $$cmp254$i$i)
(set_local $$I252$0$i$i
@@ -25287,7 +25287,7 @@
(set_local $$I252$0$i$i
(i32.const 31)
)
- (br $do-once$67)
+ (br $do-once$69)
)
)
(set_local $$sub262$i$i
@@ -25537,7 +25537,7 @@
(get_local $$fd303$i$i)
(get_local $$add$ptr17$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
(set_local $$178
@@ -25582,8 +25582,8 @@
(set_local $$T$0$i$58$i
(get_local $$178)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(set_local $$head317$i$i
(i32.add
(get_local $$T$0$i$58$i)
@@ -25616,7 +25616,7 @@
(set_local $label
(i32.const 281)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
(set_local $$shr322$i$i
@@ -25666,7 +25666,7 @@
(set_local $label
(i32.const 278)
)
- (br $while-out$69)
+ (br $while-out$71)
)
(block
(set_local $$K305$0$i$i
@@ -25677,7 +25677,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(if
@@ -25735,7 +25735,7 @@
(get_local $$fd339$i$i)
(get_local $$add$ptr17$i$i)
)
- (br $do-once$50)
+ (br $do-once$52)
)
)
)
@@ -25826,7 +25826,7 @@
(get_local $$parent361$i$i)
(i32.const 0)
)
- (br $do-once$50)
+ (br $do-once$52)
)
(call_import $_abort)
)
@@ -25855,8 +25855,8 @@
)
)
)
- (loop $while-in$72
- (block $while-out$71
+ (loop $while-in$74
+ (block $while-out$73
(set_local $$185
(i32.load
(get_local $$sp$0$i$i$i)
@@ -25902,7 +25902,7 @@
(set_local $$add$ptr$i$i$i$lcssa
(get_local $$add$ptr$i$i$i)
)
- (br $while-out$71)
+ (br $while-out$73)
)
)
)
@@ -25921,7 +25921,7 @@
(set_local $$sp$0$i$i$i
(get_local $$187)
)
- (br $while-in$72)
+ (br $while-in$74)
)
)
(set_local $$add$ptr2$i$i
@@ -26185,8 +26185,8 @@
(set_local $$p$0$i$i
(get_local $$add$ptr15$i$i)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(set_local $$add$ptr24$i$i
(i32.add
(get_local $$p$0$i$i)
@@ -26214,9 +26214,9 @@
(set_local $$p$0$i$i
(get_local $$add$ptr24$i$i)
)
- (br $while-out$73)
+ (br $while-out$75)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(set_local $$cmp28$i$i
@@ -26747,8 +26747,8 @@
(set_local $$T$0$i$i
(get_local $$200)
)
- (loop $while-in$76
- (block $while-out$75
+ (loop $while-in$78
+ (block $while-out$77
(set_local $$head118$i$i
(i32.add
(get_local $$T$0$i$i)
@@ -26781,7 +26781,7 @@
(set_local $label
(i32.const 307)
)
- (br $while-out$75)
+ (br $while-out$77)
)
)
(set_local $$shr123$i$i
@@ -26831,7 +26831,7 @@
(set_local $label
(i32.const 304)
)
- (br $while-out$75)
+ (br $while-out$77)
)
(block
(set_local $$K105$0$i$i
@@ -26842,7 +26842,7 @@
)
)
)
- (br $while-in$76)
+ (br $while-in$78)
)
)
(if
diff --git a/test/memorygrowth.fromasm b/test/memorygrowth.fromasm
index 2f3294438..7a7a98113 100644
--- a/test/memorygrowth.fromasm
+++ b/test/memorygrowth.fromasm
@@ -784,8 +784,8 @@
(set_local $3
(get_local $25)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(if
(tee_local $25
(i32.load offset=16
@@ -811,7 +811,7 @@
(set_local $26
(get_local $3)
)
- (br $while-out$23)
+ (br $while-out$6)
)
)
)
@@ -848,7 +848,7 @@
(get_local $16)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(if
@@ -879,7 +879,7 @@
(get_local $26)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(tee_local $19
@@ -932,12 +932,12 @@
(set_local $27
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(if
(tee_local $7
(i32.load
@@ -956,7 +956,7 @@
(set_local $0
(get_local $8)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -978,9 +978,9 @@
(get_local $8)
)
)
- (br $while-out$27)
+ (br $while-out$10)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1056,7 +1056,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $2)
(block
@@ -1104,7 +1104,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1139,7 +1139,7 @@
(get_local $27)
)
)
- (br_if $do-once$29
+ (br_if $do-once$12
(i32.eqz
(get_local $27)
)
@@ -1583,8 +1583,8 @@
(set_local $5
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(if
(i32.lt_u
(tee_local $29
@@ -1696,7 +1696,7 @@
(set_local $7
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $7
@@ -1722,7 +1722,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -1920,8 +1920,8 @@
(get_local $7)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $7
(i32.const 0)
)
@@ -1971,7 +1971,7 @@
(set_local $17
(get_local $5)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(if
@@ -1995,10 +1995,10 @@
(set_local $9
(get_local $5)
)
- (br $while-out$5)
+ (br $while-out$19)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -2043,7 +2043,7 @@
(get_local $9)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(tee_local $3
@@ -2091,12 +2091,12 @@
(set_local $20
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(if
(tee_local $16
(i32.load
@@ -2115,7 +2115,7 @@
(set_local $0
(get_local $14)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2137,9 +2137,9 @@
(get_local $14)
)
)
- (br $while-out$9)
+ (br $while-out$23)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2215,7 +2215,7 @@
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $12)
(block
@@ -2263,7 +2263,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2298,7 +2298,7 @@
(get_local $20)
)
)
- (br_if $do-once$11
+ (br_if $do-once$25
(i32.eqz
(get_local $20)
)
@@ -2373,7 +2373,7 @@
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.lt_u
(get_local $22)
@@ -2531,7 +2531,7 @@
(get_local $5)
(get_local $12)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $0
@@ -2696,7 +2696,7 @@
(get_local $5)
(get_local $5)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $8
@@ -2723,8 +2723,8 @@
(get_local $0)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -2742,7 +2742,7 @@
(set_local $7
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(if
@@ -2786,10 +2786,10 @@
(set_local $7
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3701,8 +3701,8 @@
(set_local $1
(i32.const 1656)
)
- (loop $do-in$45
- (block $do-out$44
+ (loop $do-in$47
+ (block $do-out$46
(if
(i32.eq
(get_local $28)
@@ -3740,10 +3740,10 @@
(set_local $7
(i32.const 201)
)
- (br $do-out$44)
+ (br $do-out$46)
)
)
- (br_if $do-in$45
+ (br_if $do-in$47
(i32.ne
(tee_local $1
(i32.load offset=8
@@ -3890,8 +3890,8 @@
(set_local $1
(i32.const 1656)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -3909,7 +3909,7 @@
(set_local $7
(i32.const 209)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(if
@@ -3924,10 +3924,10 @@
(set_local $37
(i32.const 1656)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -4040,7 +4040,7 @@
(i32.const 3)
)
)
- (block $do-once$48
+ (block $do-once$50
(if
(i32.eq
(get_local $4)
@@ -4108,7 +4108,7 @@
)
(get_local $6)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(i32.store
@@ -4151,7 +4151,7 @@
(get_local $4)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.ne
(tee_local $6
@@ -4180,7 +4180,7 @@
)
(call_import $qa)
)
- (br_if $do-once$59
+ (br_if $do-once$53
(i32.eq
(i32.load offset=12
(get_local $6)
@@ -4216,7 +4216,7 @@
(br $label$break$e)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eq
(get_local $9)
@@ -4252,7 +4252,7 @@
(set_local $46
(get_local $2)
)
- (br $do-once$61)
+ (br $do-once$55)
)
)
(call_import $qa)
@@ -4274,7 +4274,7 @@
(get_local $4)
)
)
- (block $do-once$51
+ (block $do-once$57
(if
(i32.eq
(tee_local $2
@@ -4327,12 +4327,12 @@
(set_local $30
(i32.const 0)
)
- (br $do-once$51)
+ (br $do-once$57)
)
)
)
- (loop $while-in$54
- (block $while-out$53
+ (loop $while-in$60
+ (block $while-out$59
(if
(tee_local $20
(i32.load
@@ -4351,7 +4351,7 @@
(set_local $0
(get_local $13)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(if
@@ -4373,9 +4373,9 @@
(get_local $13)
)
)
- (br $while-out$53)
+ (br $while-out$59)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(if
@@ -4456,7 +4456,7 @@
(get_local $23)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.eq
(get_local $4)
@@ -4481,7 +4481,7 @@
(get_local $6)
(get_local $30)
)
- (br_if $do-once$55
+ (br_if $do-once$61
(get_local $30)
)
(i32.store
@@ -4681,7 +4681,7 @@
)
)
)
- (block $do-once$63
+ (block $do-once$65
(if
(i32.and
(tee_local $9
@@ -4720,7 +4720,7 @@
(set_local $41
(get_local $23)
)
- (br $do-once$63)
+ (br $do-once$65)
)
)
(call_import $qa)
@@ -4761,7 +4761,7 @@
(get_local $1)
(get_local $6)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $2
@@ -4769,7 +4769,7 @@
(i32.const 1512)
(i32.shl
(tee_local $0
- (block $do-once$65
+ (block $do-once$67
(if
(tee_local $2
(i32.shr_u
@@ -4778,7 +4778,7 @@
)
)
(block
- (br_if $do-once$65
+ (br_if $do-once$67
(i32.const 31)
(i32.gt_u
(get_local $11)
@@ -4930,7 +4930,7 @@
(get_local $1)
(get_local $1)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $13
@@ -4957,8 +4957,8 @@
(get_local $2)
)
)
- (loop $while-in$68
- (block $while-out$67
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -4976,7 +4976,7 @@
(set_local $7
(i32.const 279)
)
- (br $while-out$67)
+ (br $while-out$69)
)
)
(if
@@ -5020,10 +5020,10 @@
(set_local $7
(i32.const 276)
)
- (br $while-out$67)
+ (br $while-out$69)
)
)
- (br $while-in$68)
+ (br $while-in$70)
)
)
(if
@@ -5129,8 +5129,8 @@
)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(if
(i32.le_u
(tee_local $1
@@ -5156,7 +5156,7 @@
(set_local $0
(get_local $24)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
)
@@ -5165,7 +5165,7 @@
(get_local $37)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(set_local $24
@@ -5339,7 +5339,7 @@
(i32.const 24)
)
)
- (loop $do-in$72
+ (loop $do-in$74
(i32.store
(tee_local $1
(i32.add
@@ -5349,7 +5349,7 @@
)
(i32.const 7)
)
- (br_if $do-in$72
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $1)
@@ -5676,8 +5676,8 @@
(get_local $2)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -5695,7 +5695,7 @@
(set_local $7
(i32.const 305)
)
- (br $while-out$73)
+ (br $while-out$75)
)
)
(if
@@ -5739,10 +5739,10 @@
(set_local $7
(i32.const 302)
)
- (br $while-out$73)
+ (br $while-out$75)
)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(if
@@ -5881,7 +5881,7 @@
(set_local $4
(i32.const 0)
)
- (loop $do-in$76
+ (loop $do-in$45
(i32.store offset=12
(tee_local $15
(i32.add
@@ -5901,7 +5901,7 @@
(get_local $15)
(get_local $15)
)
- (br_if $do-in$76
+ (br_if $do-in$45
(i32.ne
(tee_local $4
(i32.add
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index 2ae9ff495..220266314 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -783,8 +783,8 @@
(set_local $3
(get_local $25)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(if
(tee_local $25
(i32.load offset=16
@@ -810,7 +810,7 @@
(set_local $26
(get_local $3)
)
- (br $while-out$23)
+ (br $while-out$6)
)
)
)
@@ -847,7 +847,7 @@
(get_local $16)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(if
@@ -878,7 +878,7 @@
(get_local $26)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(tee_local $19
@@ -931,12 +931,12 @@
(set_local $27
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(if
(tee_local $7
(i32.load
@@ -955,7 +955,7 @@
(set_local $0
(get_local $8)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -977,9 +977,9 @@
(get_local $8)
)
)
- (br $while-out$27)
+ (br $while-out$10)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1055,7 +1055,7 @@
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $2)
(block
@@ -1103,7 +1103,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1138,7 +1138,7 @@
(get_local $27)
)
)
- (br_if $do-once$29
+ (br_if $do-once$12
(i32.eqz
(get_local $27)
)
@@ -1582,8 +1582,8 @@
(set_local $5
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(if
(i32.lt_u
(tee_local $29
@@ -1695,7 +1695,7 @@
(set_local $7
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $7
@@ -1721,7 +1721,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -1919,8 +1919,8 @@
(get_local $7)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $7
(i32.const 0)
)
@@ -1970,7 +1970,7 @@
(set_local $17
(get_local $5)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(if
@@ -1994,10 +1994,10 @@
(set_local $9
(get_local $5)
)
- (br $while-out$5)
+ (br $while-out$19)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -2042,7 +2042,7 @@
(get_local $9)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(tee_local $3
@@ -2090,12 +2090,12 @@
(set_local $20
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(if
(tee_local $16
(i32.load
@@ -2114,7 +2114,7 @@
(set_local $0
(get_local $14)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2136,9 +2136,9 @@
(get_local $14)
)
)
- (br $while-out$9)
+ (br $while-out$23)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2214,7 +2214,7 @@
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $12)
(block
@@ -2262,7 +2262,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2297,7 +2297,7 @@
(get_local $20)
)
)
- (br_if $do-once$11
+ (br_if $do-once$25
(i32.eqz
(get_local $20)
)
@@ -2372,7 +2372,7 @@
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.lt_u
(get_local $22)
@@ -2530,7 +2530,7 @@
(get_local $5)
(get_local $12)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $0
@@ -2695,7 +2695,7 @@
(get_local $5)
(get_local $5)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $8
@@ -2722,8 +2722,8 @@
(get_local $0)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -2741,7 +2741,7 @@
(set_local $7
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(if
@@ -2785,10 +2785,10 @@
(set_local $7
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3700,8 +3700,8 @@
(set_local $1
(i32.const 1656)
)
- (loop $do-in$45
- (block $do-out$44
+ (loop $do-in$47
+ (block $do-out$46
(if
(i32.eq
(get_local $28)
@@ -3739,10 +3739,10 @@
(set_local $7
(i32.const 201)
)
- (br $do-out$44)
+ (br $do-out$46)
)
)
- (br_if $do-in$45
+ (br_if $do-in$47
(i32.ne
(tee_local $1
(i32.load offset=8
@@ -3889,8 +3889,8 @@
(set_local $1
(i32.const 1656)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -3908,7 +3908,7 @@
(set_local $7
(i32.const 209)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(if
@@ -3923,10 +3923,10 @@
(set_local $37
(i32.const 1656)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -4039,7 +4039,7 @@
(i32.const 3)
)
)
- (block $do-once$48
+ (block $do-once$50
(if
(i32.eq
(get_local $4)
@@ -4107,7 +4107,7 @@
)
(get_local $6)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(i32.store
@@ -4150,7 +4150,7 @@
(get_local $4)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.ne
(tee_local $6
@@ -4179,7 +4179,7 @@
)
(call_import $qa)
)
- (br_if $do-once$59
+ (br_if $do-once$53
(i32.eq
(i32.load offset=12
(get_local $6)
@@ -4215,7 +4215,7 @@
(br $label$break$e)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eq
(get_local $9)
@@ -4251,7 +4251,7 @@
(set_local $46
(get_local $2)
)
- (br $do-once$61)
+ (br $do-once$55)
)
)
(call_import $qa)
@@ -4273,7 +4273,7 @@
(get_local $4)
)
)
- (block $do-once$51
+ (block $do-once$57
(if
(i32.eq
(tee_local $2
@@ -4326,12 +4326,12 @@
(set_local $30
(i32.const 0)
)
- (br $do-once$51)
+ (br $do-once$57)
)
)
)
- (loop $while-in$54
- (block $while-out$53
+ (loop $while-in$60
+ (block $while-out$59
(if
(tee_local $20
(i32.load
@@ -4350,7 +4350,7 @@
(set_local $0
(get_local $13)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(if
@@ -4372,9 +4372,9 @@
(get_local $13)
)
)
- (br $while-out$53)
+ (br $while-out$59)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(if
@@ -4455,7 +4455,7 @@
(get_local $23)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.eq
(get_local $4)
@@ -4480,7 +4480,7 @@
(get_local $6)
(get_local $30)
)
- (br_if $do-once$55
+ (br_if $do-once$61
(get_local $30)
)
(i32.store
@@ -4680,7 +4680,7 @@
)
)
)
- (block $do-once$63
+ (block $do-once$65
(if
(i32.and
(tee_local $9
@@ -4719,7 +4719,7 @@
(set_local $41
(get_local $23)
)
- (br $do-once$63)
+ (br $do-once$65)
)
)
(call_import $qa)
@@ -4760,7 +4760,7 @@
(get_local $1)
(get_local $6)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $2
@@ -4768,7 +4768,7 @@
(i32.const 1512)
(i32.shl
(tee_local $0
- (block $do-once$65
+ (block $do-once$67
(if
(tee_local $2
(i32.shr_u
@@ -4777,7 +4777,7 @@
)
)
(block
- (br_if $do-once$65
+ (br_if $do-once$67
(i32.const 31)
(i32.gt_u
(get_local $11)
@@ -4929,7 +4929,7 @@
(get_local $1)
(get_local $1)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $13
@@ -4956,8 +4956,8 @@
(get_local $2)
)
)
- (loop $while-in$68
- (block $while-out$67
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -4975,7 +4975,7 @@
(set_local $7
(i32.const 279)
)
- (br $while-out$67)
+ (br $while-out$69)
)
)
(if
@@ -5019,10 +5019,10 @@
(set_local $7
(i32.const 276)
)
- (br $while-out$67)
+ (br $while-out$69)
)
)
- (br $while-in$68)
+ (br $while-in$70)
)
)
(if
@@ -5128,8 +5128,8 @@
)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(if
(i32.le_u
(tee_local $1
@@ -5155,7 +5155,7 @@
(set_local $0
(get_local $24)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
)
@@ -5164,7 +5164,7 @@
(get_local $37)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(set_local $24
@@ -5338,7 +5338,7 @@
(i32.const 24)
)
)
- (loop $do-in$72
+ (loop $do-in$74
(i32.store
(tee_local $1
(i32.add
@@ -5348,7 +5348,7 @@
)
(i32.const 7)
)
- (br_if $do-in$72
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $1)
@@ -5675,8 +5675,8 @@
(get_local $2)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -5694,7 +5694,7 @@
(set_local $7
(i32.const 305)
)
- (br $while-out$73)
+ (br $while-out$75)
)
)
(if
@@ -5738,10 +5738,10 @@
(set_local $7
(i32.const 302)
)
- (br $while-out$73)
+ (br $while-out$75)
)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(if
@@ -5880,7 +5880,7 @@
(set_local $4
(i32.const 0)
)
- (loop $do-in$76
+ (loop $do-in$45
(i32.store offset=12
(tee_local $15
(i32.add
@@ -5900,7 +5900,7 @@
(get_local $15)
(get_local $15)
)
- (br_if $do-in$76
+ (br_if $do-in$45
(i32.ne
(tee_local $4
(i32.add
diff --git a/test/memorygrowth.fromasm.imprecise.no-opts b/test/memorygrowth.fromasm.imprecise.no-opts
index ab9a5c6c0..a25625c64 100644
--- a/test/memorygrowth.fromasm.imprecise.no-opts
+++ b/test/memorygrowth.fromasm.imprecise.no-opts
@@ -244,7 +244,7 @@
(get_local $m)
)
)
- (block $do-once$19
+ (block $do-once$2
(if
(i32.eq
(get_local $i)
@@ -295,7 +295,7 @@
(get_local $j)
(get_local $n)
)
- (br $do-once$19)
+ (br $do-once$2)
)
(call_import $qa)
)
@@ -519,7 +519,7 @@
(get_local $o)
)
)
- (block $do-once$21
+ (block $do-once$4
(if
(i32.eq
(get_local $s)
@@ -580,7 +580,7 @@
(i32.const 1216)
)
)
- (br $do-once$21)
+ (br $do-once$4)
)
(call_import $qa)
)
@@ -912,8 +912,8 @@
(set_local $s
(get_local $j)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(set_local $j
(i32.load
(i32.add
@@ -946,7 +946,7 @@
(set_local $A
(get_local $s)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $B
(get_local $f)
@@ -994,7 +994,7 @@
(get_local $s)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(set_local $s
@@ -1038,7 +1038,7 @@
)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(get_local $o)
@@ -1080,7 +1080,7 @@
(set_local $C
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(block
(set_local $D
@@ -1101,8 +1101,8 @@
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(set_local $q
(i32.add
(get_local $D)
@@ -1123,7 +1123,7 @@
(set_local $E
(get_local $q)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $q
@@ -1148,7 +1148,7 @@
(set_local $G
(get_local $E)
)
- (br $while-out$27)
+ (br $while-out$10)
)
(block
(set_local $D
@@ -1159,7 +1159,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1176,7 +1176,7 @@
(set_local $C
(get_local $F)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
@@ -1236,14 +1236,14 @@
(set_local $C
(get_local $o)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(call_import $qa)
)
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $e)
(block
@@ -1296,7 +1296,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1339,7 +1339,7 @@
(i32.eqz
(get_local $C)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1370,7 +1370,7 @@
)
)
)
- (block $do-once$31
+ (block $do-once$14
(if
(get_local $s)
(if
@@ -1394,7 +1394,7 @@
)
(get_local $C)
)
- (br $do-once$31)
+ (br $do-once$14)
)
)
)
@@ -1432,7 +1432,7 @@
)
(get_local $C)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1878,8 +1878,8 @@
(set_local $i
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(set_local $m
(i32.and
(i32.load
@@ -2002,7 +2002,7 @@
(set_local $N
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $u
@@ -2028,7 +2028,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -2230,8 +2230,8 @@
(get_local $N)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $N
(i32.const 0)
)
@@ -2292,7 +2292,7 @@
(set_local $N
(i32.const 90)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(set_local $P
@@ -2314,7 +2314,7 @@
(set_local $V
(get_local $i)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $O
@@ -2328,7 +2328,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -2391,7 +2391,7 @@
)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(get_local $s)
@@ -2433,7 +2433,7 @@
(set_local $W
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(block
(set_local $X
@@ -2454,8 +2454,8 @@
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(set_local $d
(i32.add
(get_local $X)
@@ -2476,7 +2476,7 @@
(set_local $Y
(get_local $d)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $d
@@ -2501,7 +2501,7 @@
(set_local $_
(get_local $Y)
)
- (br $while-out$9)
+ (br $while-out$23)
)
(block
(set_local $X
@@ -2512,7 +2512,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2529,7 +2529,7 @@
(set_local $W
(get_local $Z)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
@@ -2589,14 +2589,14 @@
(set_local $W
(get_local $s)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(call_import $qa)
)
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $g)
(block
@@ -2649,7 +2649,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2692,7 +2692,7 @@
(i32.eqz
(get_local $W)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2723,7 +2723,7 @@
)
)
)
- (block $do-once$13
+ (block $do-once$27
(if
(get_local $q)
(if
@@ -2747,7 +2747,7 @@
)
(get_local $W)
)
- (br $do-once$13)
+ (br $do-once$27)
)
)
)
@@ -2785,14 +2785,14 @@
)
(get_local $W)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.lt_u
(get_local $U)
@@ -2978,7 +2978,7 @@
)
(get_local $g)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $g
@@ -3177,7 +3177,7 @@
)
(get_local $i)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $q
@@ -3204,8 +3204,8 @@
(get_local $t)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -3226,7 +3226,7 @@
(set_local $N
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $t
@@ -3263,7 +3263,7 @@
(set_local $N
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $q
@@ -3277,7 +3277,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3319,7 +3319,7 @@
)
(get_local $i)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(if
@@ -3388,7 +3388,7 @@
)
(i32.const 0)
)
- (br $do-once$15)
+ (br $do-once$29)
)
(call_import $qa)
)
@@ -4360,8 +4360,8 @@
(set_local $ma
(i32.const 0)
)
- (loop $do-in$76
- (block $do-out$75
+ (loop $do-in$45
+ (block $do-out$44
(set_local $c
(i32.add
(i32.const 1248)
@@ -4394,7 +4394,7 @@
(i32.const 1)
)
)
- (br_if $do-in$76
+ (br_if $do-in$45
(i32.ne
(get_local $ma)
(i32.const 32)
@@ -4481,8 +4481,8 @@
(set_local $ka
(i32.const 1656)
)
- (loop $do-in$45
- (block $do-out$44
+ (loop $do-in$47
+ (block $do-out$46
(set_local $ma
(i32.load
(get_local $ka)
@@ -4523,7 +4523,7 @@
(set_local $N
(i32.const 201)
)
- (br $do-out$44)
+ (br $do-out$46)
)
)
(set_local $ka
@@ -4534,7 +4534,7 @@
)
)
)
- (br_if $do-in$45
+ (br_if $do-in$47
(i32.ne
(get_local $ka)
(i32.const 0)
@@ -4691,8 +4691,8 @@
(set_local $ka
(i32.const 1656)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -4710,7 +4710,7 @@
(set_local $N
(i32.const 209)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(set_local $ka
@@ -4729,10 +4729,10 @@
(set_local $wa
(i32.const 1656)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -4853,7 +4853,7 @@
(i32.const 3)
)
)
- (block $do-once$48
+ (block $do-once$50
(if
(i32.eq
(get_local $ma)
@@ -4929,7 +4929,7 @@
)
(get_local $la)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $la
@@ -4996,7 +4996,7 @@
)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.ne
(get_local $da)
@@ -5020,7 +5020,7 @@
)
(get_local $ma)
)
- (br $do-once$59)
+ (br $do-once$53)
)
(call_import $qa)
)
@@ -5050,7 +5050,7 @@
(br $label$break$e)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eq
(get_local $V)
@@ -5087,7 +5087,7 @@
(set_local $xa
(get_local $e)
)
- (br $do-once$61)
+ (br $do-once$55)
)
)
(call_import $qa)
@@ -5123,7 +5123,7 @@
)
)
)
- (block $do-once$51
+ (block $do-once$57
(if
(i32.eq
(get_local $e)
@@ -5165,7 +5165,7 @@
(set_local $ya
(i32.const 0)
)
- (br $do-once$51)
+ (br $do-once$57)
)
(block
(set_local $za
@@ -5186,8 +5186,8 @@
)
)
)
- (loop $while-in$54
- (block $while-out$53
+ (loop $while-in$60
+ (block $while-out$59
(set_local $aa
(i32.add
(get_local $za)
@@ -5208,7 +5208,7 @@
(set_local $Aa
(get_local $aa)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(set_local $aa
@@ -5233,7 +5233,7 @@
(set_local $Ca
(get_local $Aa)
)
- (br $while-out$53)
+ (br $while-out$59)
)
(block
(set_local $za
@@ -5244,7 +5244,7 @@
)
)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(if
@@ -5261,7 +5261,7 @@
(set_local $ya
(get_local $Ba)
)
- (br $do-once$51)
+ (br $do-once$57)
)
)
)
@@ -5321,7 +5321,7 @@
(set_local $ya
(get_local $e)
)
- (br $do-once$51)
+ (br $do-once$57)
)
(call_import $qa)
)
@@ -5351,7 +5351,7 @@
)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.eq
(get_local $ma)
@@ -5366,7 +5366,7 @@
)
(if
(get_local $ya)
- (br $do-once$55)
+ (br $do-once$61)
)
(i32.store
(i32.const 1212)
@@ -5459,7 +5459,7 @@
(get_local $da)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(get_local $V)
(if
@@ -5483,7 +5483,7 @@
)
(get_local $ya)
)
- (br $do-once$57)
+ (br $do-once$63)
)
)
)
@@ -5620,7 +5620,7 @@
(get_local $fa)
)
)
- (block $do-once$63
+ (block $do-once$65
(if
(i32.eqz
(i32.and
@@ -5672,7 +5672,7 @@
(set_local $Ga
(get_local $$)
)
- (br $do-once$63)
+ (br $do-once$65)
)
)
(call_import $qa)
@@ -5704,7 +5704,7 @@
)
(get_local $la)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $e
@@ -5713,7 +5713,7 @@
(i32.const 8)
)
)
- (block $do-once$65
+ (block $do-once$67
(if
(i32.eqz
(get_local $e)
@@ -5731,7 +5731,7 @@
(set_local $Ha
(i32.const 31)
)
- (br $do-once$65)
+ (br $do-once$67)
)
)
(set_local $V
@@ -5908,7 +5908,7 @@
)
(get_local $ka)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $aa
@@ -5935,8 +5935,8 @@
(get_local $e)
)
)
- (loop $while-in$68
- (block $while-out$67
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -5957,7 +5957,7 @@
(set_local $N
(i32.const 279)
)
- (br $while-out$67)
+ (br $while-out$69)
)
)
(set_local $e
@@ -5994,7 +5994,7 @@
(set_local $N
(i32.const 276)
)
- (br $while-out$67)
+ (br $while-out$69)
)
(block
(set_local $aa
@@ -6008,7 +6008,7 @@
)
)
)
- (br $while-in$68)
+ (br $while-in$70)
)
)
(if
@@ -6050,7 +6050,7 @@
)
(get_local $ka)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(if
@@ -6119,7 +6119,7 @@
)
(i32.const 0)
)
- (br $do-once$48)
+ (br $do-once$50)
)
(call_import $qa)
)
@@ -6148,8 +6148,8 @@
)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(set_local $ka
(i32.load
(get_local $wa)
@@ -6181,7 +6181,7 @@
(set_local $La
(get_local $ea)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
)
@@ -6194,7 +6194,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(set_local $ca
@@ -6392,8 +6392,8 @@
(i32.const 24)
)
)
- (loop $do-in$72
- (block $do-out$71
+ (loop $do-in$74
+ (block $do-out$73
(set_local $ka
(i32.add
(get_local $ka)
@@ -6404,7 +6404,7 @@
(get_local $ka)
(i32.const 7)
)
- (br_if $do-in$72
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $ka)
@@ -6786,8 +6786,8 @@
(get_local $e)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -6808,7 +6808,7 @@
(set_local $N
(i32.const 305)
)
- (br $while-out$73)
+ (br $while-out$75)
)
)
(set_local $e
@@ -6845,7 +6845,7 @@
(set_local $N
(i32.const 302)
)
- (br $while-out$73)
+ (br $while-out$75)
)
(block
(set_local $ma
@@ -6859,7 +6859,7 @@
)
)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(if
diff --git a/test/memorygrowth.fromasm.no-opts b/test/memorygrowth.fromasm.no-opts
index 5a993bcd0..f2cf43833 100644
--- a/test/memorygrowth.fromasm.no-opts
+++ b/test/memorygrowth.fromasm.no-opts
@@ -245,7 +245,7 @@
(get_local $m)
)
)
- (block $do-once$19
+ (block $do-once$2
(if
(i32.eq
(get_local $i)
@@ -296,7 +296,7 @@
(get_local $j)
(get_local $n)
)
- (br $do-once$19)
+ (br $do-once$2)
)
(call_import $qa)
)
@@ -520,7 +520,7 @@
(get_local $o)
)
)
- (block $do-once$21
+ (block $do-once$4
(if
(i32.eq
(get_local $s)
@@ -581,7 +581,7 @@
(i32.const 1216)
)
)
- (br $do-once$21)
+ (br $do-once$4)
)
(call_import $qa)
)
@@ -913,8 +913,8 @@
(set_local $s
(get_local $j)
)
- (loop $while-in$24
- (block $while-out$23
+ (loop $while-in$7
+ (block $while-out$6
(set_local $j
(i32.load
(i32.add
@@ -947,7 +947,7 @@
(set_local $A
(get_local $s)
)
- (br $while-out$23)
+ (br $while-out$6)
)
(set_local $B
(get_local $f)
@@ -995,7 +995,7 @@
(get_local $s)
)
)
- (br $while-in$24)
+ (br $while-in$7)
)
)
(set_local $s
@@ -1039,7 +1039,7 @@
)
)
)
- (block $do-once$25
+ (block $do-once$8
(if
(i32.eq
(get_local $o)
@@ -1081,7 +1081,7 @@
(set_local $C
(i32.const 0)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(block
(set_local $D
@@ -1102,8 +1102,8 @@
)
)
)
- (loop $while-in$28
- (block $while-out$27
+ (loop $while-in$11
+ (block $while-out$10
(set_local $q
(i32.add
(get_local $D)
@@ -1124,7 +1124,7 @@
(set_local $E
(get_local $q)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(set_local $q
@@ -1149,7 +1149,7 @@
(set_local $G
(get_local $E)
)
- (br $while-out$27)
+ (br $while-out$10)
)
(block
(set_local $D
@@ -1160,7 +1160,7 @@
)
)
)
- (br $while-in$28)
+ (br $while-in$11)
)
)
(if
@@ -1177,7 +1177,7 @@
(set_local $C
(get_local $F)
)
- (br $do-once$25)
+ (br $do-once$8)
)
)
)
@@ -1237,14 +1237,14 @@
(set_local $C
(get_local $o)
)
- (br $do-once$25)
+ (br $do-once$8)
)
(call_import $qa)
)
)
)
)
- (block $do-once$29
+ (block $do-once$12
(if
(get_local $e)
(block
@@ -1297,7 +1297,7 @@
)
)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1340,7 +1340,7 @@
(i32.eqz
(get_local $C)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1371,7 +1371,7 @@
)
)
)
- (block $do-once$31
+ (block $do-once$14
(if
(get_local $s)
(if
@@ -1395,7 +1395,7 @@
)
(get_local $C)
)
- (br $do-once$31)
+ (br $do-once$14)
)
)
)
@@ -1433,7 +1433,7 @@
)
(get_local $C)
)
- (br $do-once$29)
+ (br $do-once$12)
)
)
)
@@ -1879,8 +1879,8 @@
(set_local $i
(i32.const 0)
)
- (loop $while-in$4
- (block $while-out$3
+ (loop $while-in$18
+ (block $while-out$17
(set_local $m
(i32.and
(i32.load
@@ -2003,7 +2003,7 @@
(set_local $N
(i32.const 86)
)
- (br $while-out$3)
+ (br $while-out$17)
)
(block
(set_local $u
@@ -2029,7 +2029,7 @@
)
)
)
- (br $while-in$4)
+ (br $while-in$18)
)
)
)
@@ -2231,8 +2231,8 @@
(get_local $N)
(i32.const 90)
)
- (loop $while-in$6
- (block $while-out$5
+ (loop $while-in$20
+ (block $while-out$19
(set_local $N
(i32.const 0)
)
@@ -2293,7 +2293,7 @@
(set_local $N
(i32.const 90)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
(set_local $P
@@ -2315,7 +2315,7 @@
(set_local $V
(get_local $i)
)
- (br $while-out$5)
+ (br $while-out$19)
)
(block
(set_local $O
@@ -2329,7 +2329,7 @@
)
)
)
- (br $while-in$6)
+ (br $while-in$20)
)
)
)
@@ -2392,7 +2392,7 @@
)
)
)
- (block $do-once$7
+ (block $do-once$21
(if
(i32.eq
(get_local $s)
@@ -2434,7 +2434,7 @@
(set_local $W
(i32.const 0)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(block
(set_local $X
@@ -2455,8 +2455,8 @@
)
)
)
- (loop $while-in$10
- (block $while-out$9
+ (loop $while-in$24
+ (block $while-out$23
(set_local $d
(i32.add
(get_local $X)
@@ -2477,7 +2477,7 @@
(set_local $Y
(get_local $d)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(set_local $d
@@ -2502,7 +2502,7 @@
(set_local $_
(get_local $Y)
)
- (br $while-out$9)
+ (br $while-out$23)
)
(block
(set_local $X
@@ -2513,7 +2513,7 @@
)
)
)
- (br $while-in$10)
+ (br $while-in$24)
)
)
(if
@@ -2530,7 +2530,7 @@
(set_local $W
(get_local $Z)
)
- (br $do-once$7)
+ (br $do-once$21)
)
)
)
@@ -2590,14 +2590,14 @@
(set_local $W
(get_local $s)
)
- (br $do-once$7)
+ (br $do-once$21)
)
(call_import $qa)
)
)
)
)
- (block $do-once$11
+ (block $do-once$25
(if
(get_local $g)
(block
@@ -2650,7 +2650,7 @@
)
)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2693,7 +2693,7 @@
(i32.eqz
(get_local $W)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
@@ -2724,7 +2724,7 @@
)
)
)
- (block $do-once$13
+ (block $do-once$27
(if
(get_local $q)
(if
@@ -2748,7 +2748,7 @@
)
(get_local $W)
)
- (br $do-once$13)
+ (br $do-once$27)
)
)
)
@@ -2786,14 +2786,14 @@
)
(get_local $W)
)
- (br $do-once$11)
+ (br $do-once$25)
)
)
)
)
)
)
- (block $do-once$15
+ (block $do-once$29
(if
(i32.lt_u
(get_local $U)
@@ -2979,7 +2979,7 @@
)
(get_local $g)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $g
@@ -3178,7 +3178,7 @@
)
(get_local $i)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(set_local $q
@@ -3205,8 +3205,8 @@
(get_local $t)
)
)
- (loop $while-in$18
- (block $while-out$17
+ (loop $while-in$32
+ (block $while-out$31
(if
(i32.eq
(i32.and
@@ -3227,7 +3227,7 @@
(set_local $N
(i32.const 148)
)
- (br $while-out$17)
+ (br $while-out$31)
)
)
(set_local $t
@@ -3264,7 +3264,7 @@
(set_local $N
(i32.const 145)
)
- (br $while-out$17)
+ (br $while-out$31)
)
(block
(set_local $q
@@ -3278,7 +3278,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$32)
)
)
(if
@@ -3320,7 +3320,7 @@
)
(get_local $i)
)
- (br $do-once$15)
+ (br $do-once$29)
)
)
(if
@@ -3389,7 +3389,7 @@
)
(i32.const 0)
)
- (br $do-once$15)
+ (br $do-once$29)
)
(call_import $qa)
)
@@ -4361,8 +4361,8 @@
(set_local $ma
(i32.const 0)
)
- (loop $do-in$76
- (block $do-out$75
+ (loop $do-in$45
+ (block $do-out$44
(set_local $c
(i32.add
(i32.const 1248)
@@ -4395,7 +4395,7 @@
(i32.const 1)
)
)
- (br_if $do-in$76
+ (br_if $do-in$45
(i32.ne
(get_local $ma)
(i32.const 32)
@@ -4482,8 +4482,8 @@
(set_local $ka
(i32.const 1656)
)
- (loop $do-in$45
- (block $do-out$44
+ (loop $do-in$47
+ (block $do-out$46
(set_local $ma
(i32.load
(get_local $ka)
@@ -4524,7 +4524,7 @@
(set_local $N
(i32.const 201)
)
- (br $do-out$44)
+ (br $do-out$46)
)
)
(set_local $ka
@@ -4535,7 +4535,7 @@
)
)
)
- (br_if $do-in$45
+ (br_if $do-in$47
(i32.ne
(get_local $ka)
(i32.const 0)
@@ -4692,8 +4692,8 @@
(set_local $ka
(i32.const 1656)
)
- (loop $while-in$47
- (block $while-out$46
+ (loop $while-in$49
+ (block $while-out$48
(if
(i32.eq
(i32.load
@@ -4711,7 +4711,7 @@
(set_local $N
(i32.const 209)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
(set_local $ka
@@ -4730,10 +4730,10 @@
(set_local $wa
(i32.const 1656)
)
- (br $while-out$46)
+ (br $while-out$48)
)
)
- (br $while-in$47)
+ (br $while-in$49)
)
)
(if
@@ -4854,7 +4854,7 @@
(i32.const 3)
)
)
- (block $do-once$48
+ (block $do-once$50
(if
(i32.eq
(get_local $ma)
@@ -4930,7 +4930,7 @@
)
(get_local $la)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $la
@@ -4997,7 +4997,7 @@
)
)
)
- (block $do-once$59
+ (block $do-once$53
(if
(i32.ne
(get_local $da)
@@ -5021,7 +5021,7 @@
)
(get_local $ma)
)
- (br $do-once$59)
+ (br $do-once$53)
)
(call_import $qa)
)
@@ -5051,7 +5051,7 @@
(br $label$break$e)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eq
(get_local $V)
@@ -5088,7 +5088,7 @@
(set_local $xa
(get_local $e)
)
- (br $do-once$61)
+ (br $do-once$55)
)
)
(call_import $qa)
@@ -5124,7 +5124,7 @@
)
)
)
- (block $do-once$51
+ (block $do-once$57
(if
(i32.eq
(get_local $e)
@@ -5166,7 +5166,7 @@
(set_local $ya
(i32.const 0)
)
- (br $do-once$51)
+ (br $do-once$57)
)
(block
(set_local $za
@@ -5187,8 +5187,8 @@
)
)
)
- (loop $while-in$54
- (block $while-out$53
+ (loop $while-in$60
+ (block $while-out$59
(set_local $aa
(i32.add
(get_local $za)
@@ -5209,7 +5209,7 @@
(set_local $Aa
(get_local $aa)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(set_local $aa
@@ -5234,7 +5234,7 @@
(set_local $Ca
(get_local $Aa)
)
- (br $while-out$53)
+ (br $while-out$59)
)
(block
(set_local $za
@@ -5245,7 +5245,7 @@
)
)
)
- (br $while-in$54)
+ (br $while-in$60)
)
)
(if
@@ -5262,7 +5262,7 @@
(set_local $ya
(get_local $Ba)
)
- (br $do-once$51)
+ (br $do-once$57)
)
)
)
@@ -5322,7 +5322,7 @@
(set_local $ya
(get_local $e)
)
- (br $do-once$51)
+ (br $do-once$57)
)
(call_import $qa)
)
@@ -5352,7 +5352,7 @@
)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.eq
(get_local $ma)
@@ -5367,7 +5367,7 @@
)
(if
(get_local $ya)
- (br $do-once$55)
+ (br $do-once$61)
)
(i32.store
(i32.const 1212)
@@ -5460,7 +5460,7 @@
(get_local $da)
)
)
- (block $do-once$57
+ (block $do-once$63
(if
(get_local $V)
(if
@@ -5484,7 +5484,7 @@
)
(get_local $ya)
)
- (br $do-once$57)
+ (br $do-once$63)
)
)
)
@@ -5621,7 +5621,7 @@
(get_local $fa)
)
)
- (block $do-once$63
+ (block $do-once$65
(if
(i32.eqz
(i32.and
@@ -5673,7 +5673,7 @@
(set_local $Ga
(get_local $$)
)
- (br $do-once$63)
+ (br $do-once$65)
)
)
(call_import $qa)
@@ -5705,7 +5705,7 @@
)
(get_local $la)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $e
@@ -5714,7 +5714,7 @@
(i32.const 8)
)
)
- (block $do-once$65
+ (block $do-once$67
(if
(i32.eqz
(get_local $e)
@@ -5732,7 +5732,7 @@
(set_local $Ha
(i32.const 31)
)
- (br $do-once$65)
+ (br $do-once$67)
)
)
(set_local $V
@@ -5909,7 +5909,7 @@
)
(get_local $ka)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(set_local $aa
@@ -5936,8 +5936,8 @@
(get_local $e)
)
)
- (loop $while-in$68
- (block $while-out$67
+ (loop $while-in$70
+ (block $while-out$69
(if
(i32.eq
(i32.and
@@ -5958,7 +5958,7 @@
(set_local $N
(i32.const 279)
)
- (br $while-out$67)
+ (br $while-out$69)
)
)
(set_local $e
@@ -5995,7 +5995,7 @@
(set_local $N
(i32.const 276)
)
- (br $while-out$67)
+ (br $while-out$69)
)
(block
(set_local $aa
@@ -6009,7 +6009,7 @@
)
)
)
- (br $while-in$68)
+ (br $while-in$70)
)
)
(if
@@ -6051,7 +6051,7 @@
)
(get_local $ka)
)
- (br $do-once$48)
+ (br $do-once$50)
)
)
(if
@@ -6120,7 +6120,7 @@
)
(i32.const 0)
)
- (br $do-once$48)
+ (br $do-once$50)
)
(call_import $qa)
)
@@ -6149,8 +6149,8 @@
)
)
)
- (loop $while-in$70
- (block $while-out$69
+ (loop $while-in$72
+ (block $while-out$71
(set_local $ka
(i32.load
(get_local $wa)
@@ -6182,7 +6182,7 @@
(set_local $La
(get_local $ea)
)
- (br $while-out$69)
+ (br $while-out$71)
)
)
)
@@ -6195,7 +6195,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$72)
)
)
(set_local $ca
@@ -6393,8 +6393,8 @@
(i32.const 24)
)
)
- (loop $do-in$72
- (block $do-out$71
+ (loop $do-in$74
+ (block $do-out$73
(set_local $ka
(i32.add
(get_local $ka)
@@ -6405,7 +6405,7 @@
(get_local $ka)
(i32.const 7)
)
- (br_if $do-in$72
+ (br_if $do-in$74
(i32.lt_u
(i32.add
(get_local $ka)
@@ -6787,8 +6787,8 @@
(get_local $e)
)
)
- (loop $while-in$74
- (block $while-out$73
+ (loop $while-in$76
+ (block $while-out$75
(if
(i32.eq
(i32.and
@@ -6809,7 +6809,7 @@
(set_local $N
(i32.const 305)
)
- (br $while-out$73)
+ (br $while-out$75)
)
)
(set_local $e
@@ -6846,7 +6846,7 @@
(set_local $N
(i32.const 302)
)
- (br $while-out$73)
+ (br $while-out$75)
)
(block
(set_local $ma
@@ -6860,7 +6860,7 @@
)
)
)
- (br $while-in$74)
+ (br $while-in$76)
)
)
(if
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-09 17:06:38 +0000