summaryrefslogtreecommitdiff
path: root/test/emcc_hello_world.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/emcc_hello_world.fromasm.imprecise')
-rw-r--r--test/emcc_hello_world.fromasm.imprecise525
1 files changed, 134 insertions, 391 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index dd04803c9..1af75ec39 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -356,10 +356,7 @@
(i32.const -64)
)
)
- (block
- (get_local $0)
- (i32.const 0)
- )
+ (i32.const 0)
)
)
(i32.store
@@ -865,7 +862,6 @@
)
(get_local $0)
(block
- (get_local $1)
(set_local $2
(get_local $0)
)
@@ -927,11 +923,8 @@
)
(br $while-out$2)
)
- (block
- (set_local $1
- (get_local $0)
- )
- (get_local $2)
+ (set_local $1
+ (get_local $0)
)
)
(br $while-in$3)
@@ -1339,7 +1332,6 @@
(set_local $3
(get_local $5)
)
- (get_local $6)
(get_local $1)
)
)
@@ -1364,7 +1356,6 @@
(set_local $5
(get_local $3)
)
- (get_local $6)
(set_local $4
(get_local $17)
)
@@ -1857,7 +1848,6 @@
(get_local $1)
)
)
- (get_local $3)
(if
(get_local $4)
(block
@@ -1909,8 +1899,6 @@
(set_local $2
(i32.const 0)
)
- (get_local $1)
- (get_local $0)
(br $label$break$L10
(get_local $3)
)
@@ -1997,8 +1985,6 @@
(set_local $2
(i32.const 0)
)
- (get_local $1)
- (get_local $0)
(get_local $3)
)
)
@@ -2459,11 +2445,8 @@
(i32.const 0)
)
)
- (block
- (set_local $3
- (get_local $0)
- )
- (get_local $2)
+ (set_local $3
+ (get_local $0)
)
(block
(set_local $11
@@ -2640,11 +2623,8 @@
)
(i32.const 3)
)
- (block
- (get_local $4)
- (set_local $5
- (get_local $1)
- )
+ (set_local $5
+ (get_local $1)
)
(block
(set_local $13
@@ -3258,11 +3238,8 @@
)
(br $label$break$L1)
)
- (block
- (get_local $1)
- (set_local $5
- (get_local $12)
- )
+ (set_local $5
+ (get_local $12)
)
)
(loop $label$break$L9 $label$continue$L9
@@ -3315,7 +3292,6 @@
)
)
)
- (get_local $5)
(br $label$continue$L9)
)
(block $label$break$L12
@@ -3438,7 +3414,6 @@
(set_local $1
(get_local $15)
)
- (get_local $8)
(br $label$continue$L1)
)
)
@@ -3513,7 +3488,6 @@
)
)
(block
- (get_local $1)
(set_local $11
(get_local $8)
)
@@ -3542,12 +3516,9 @@
(i32.const 32)
)
(block
- (get_local $1)
- (get_local $5)
(set_local $6
(i32.const 0)
)
- (get_local $10)
(loop $while-out$10 $while-in$11
(if
(i32.eq
@@ -3564,11 +3535,9 @@
(i32.const 0)
)
(block
- (get_local $1)
(set_local $8
(get_local $6)
)
- (get_local $10)
(br $label$break$L25)
)
)
@@ -3591,7 +3560,7 @@
)
)
(if
- (i32.eq
+ (i32.ne
(i32.and
(set_local $5
(i32.shr_s
@@ -3616,29 +3585,17 @@
(i32.const 32)
)
(block
- (get_local $1)
- (get_local $5)
- (get_local $6)
- (get_local $10)
- )
- (block
- (get_local $1)
(set_local $8
(get_local $6)
)
- (get_local $10)
(br $while-out$10)
)
)
(br $while-in$11)
)
)
- (block
- (get_local $1)
- (set_local $8
- (i32.const 0)
- )
- (get_local $10)
+ (set_local $8
+ (i32.const 0)
)
)
)
@@ -3776,7 +3733,6 @@
(get_local $52)
)
(block
- (get_local $8)
(set_local $10
(get_local $6)
)
@@ -3899,7 +3855,6 @@
(set_local $5
(i32.const 0)
)
- (get_local $6)
(loop $while-out$14 $while-in$15
(set_local $5
(i32.add
@@ -3937,7 +3892,6 @@
(set_local $1
(get_local $6)
)
- (get_local $5)
(set_local $6
(get_local $10)
)
@@ -3966,7 +3920,6 @@
(br $label$break$L1)
)
(block
- (get_local $8)
(set_local $10
(get_local $5)
)
@@ -3980,8 +3933,6 @@
)
)
(block
- (get_local $8)
- (get_local $10)
(set_local $20
(get_local $11)
)
@@ -4052,7 +4003,6 @@
(set_local $5
(i32.const 0)
)
- (get_local $6)
)
(block
(set_local $9
@@ -4074,7 +4024,7 @@
)
)
(if
- (i32.lt_u
+ (i32.ge_u
(set_local $6
(i32.add
(i32.shr_s
@@ -4097,11 +4047,6 @@
(i32.const 10)
)
(block
- (get_local $1)
- (get_local $5)
- (get_local $6)
- )
- (block
(set_local $9
(get_local $5)
)
@@ -4344,7 +4289,6 @@
)
)
(block
- (get_local $1)
(set_local $6
(get_local $5)
)
@@ -4866,8 +4810,6 @@
(get_local $28)
)
(block
- (get_local $5)
- (get_local $1)
(set_local $7
(get_local $28)
)
@@ -5342,14 +5284,12 @@
)
)
)
- (get_local $14)
(get_local $1)
)
(block
(set_local $39
(i32.const 4111)
)
- (get_local $14)
(i32.const 1)
)
)
@@ -5474,7 +5414,6 @@
)
(get_local $14)
(block
- (get_local $1)
(set_local $22
(f64.const 8)
)
@@ -5495,14 +5434,7 @@
)
(i32.const 0)
)
- (block
- (get_local $22)
- (br $while-out$60)
- )
- (block
- (get_local $1)
- (get_local $22)
- )
+ (br $while-out$60)
)
(br $while-in$61)
)
@@ -5645,7 +5577,6 @@
(set_local $11
(get_local $29)
)
- (get_local $14)
(loop $while-out$62 $while-in$63
(i32.store8
(get_local $11)
@@ -5729,16 +5660,10 @@
(get_local $14)
(f64.const 0)
)
- (block
- (set_local $11
- (get_local $1)
- )
- (get_local $14)
- )
- (block
+ (set_local $11
(get_local $1)
- (br $while-out$62)
)
+ (br $while-out$62)
)
(br $while-in$63)
)
@@ -5924,11 +5849,8 @@
)
(get_local $5)
)
- (block
- (get_local $14)
- (i32.load
- (get_local $25)
- )
+ (i32.load
+ (get_local $25)
)
)
)
@@ -5944,7 +5866,6 @@
)
)
)
- (get_local $14)
(set_local $7
(get_local $10)
)
@@ -5964,7 +5885,7 @@
)
)
(if
- (f64.ne
+ (f64.eq
(set_local $14
(f64.mul
(f64.sub
@@ -5979,10 +5900,6 @@
(f64.const 0)
)
(block
- (get_local $14)
- (get_local $7)
- )
- (block
(set_local $6
(get_local $7)
)
@@ -6001,7 +5918,6 @@
(i32.const 0)
)
(block
- (get_local $5)
(set_local $8
(get_local $10)
)
@@ -6095,15 +6011,9 @@
)
(get_local $8)
)
- (block
- (get_local $5)
- (br $while-out$72)
- )
- (block
- (get_local $5)
- (set_local $12
- (get_local $7)
- )
+ (br $while-out$72)
+ (set_local $12
+ (get_local $7)
)
)
(br $while-in$73)
@@ -6140,10 +6050,7 @@
(get_local $6)
(get_local $7)
)
- (block
- (get_local $6)
- (br $while-out$74)
- )
+ (br $while-out$74)
)
(if
(i32.eq
@@ -6160,10 +6067,7 @@
(set_local $6
(get_local $5)
)
- (block
- (get_local $6)
- (br $while-out$74)
- )
+ (br $while-out$74)
)
(br $while-in$75)
)
@@ -6184,7 +6088,6 @@
(i32.const 0)
)
(block
- (get_local $5)
(set_local $8
(get_local $7)
)
@@ -6192,22 +6095,13 @@
(get_local $6)
)
)
- (block
- (get_local $5)
- (get_local $7)
- (get_local $6)
- (br $while-out$68)
- )
+ (br $while-out$68)
)
(br $while-in$69)
)
)
- (block
- (get_local $5)
- (set_local $7
- (get_local $10)
- )
- (get_local $6)
+ (set_local $7
+ (get_local $10)
)
)
(if
@@ -6237,8 +6131,6 @@
(i32.const 102)
)
)
- (get_local $5)
- (get_local $7)
(set_local $24
(get_local $6)
)
@@ -6335,10 +6227,7 @@
(get_local $5)
)
)
- (block
- (get_local $6)
- (br $while-out$80)
- )
+ (br $while-out$80)
)
(br $while-in$81)
)
@@ -6452,7 +6341,6 @@
(i32.const 0)
)
(block
- (get_local $5)
(set_local $7
(get_local $11)
)
@@ -6473,11 +6361,8 @@
(br $while-in$77)
)
)
- (block
- (get_local $7)
- (set_local $27
- (get_local $6)
- )
+ (set_local $27
+ (get_local $6)
)
)
(block $do-once$82
@@ -6514,11 +6399,8 @@
)
(br $do-once$82)
)
- (block
- (get_local $6)
- (set_local $8
- (i32.const 10)
- )
+ (set_local $8
+ (i32.const 10)
)
)
(loop $while-out$84 $while-in$85
@@ -6544,10 +6426,6 @@
)
(br $while-out$84)
)
- (block
- (get_local $6)
- (get_local $8)
- )
)
(br $while-in$85)
)
@@ -6656,7 +6534,6 @@
(set_local $5
(i32.const 10)
)
- (get_local $11)
(loop $while-out$86 $while-in$87
(set_local $5
(i32.mul
@@ -6680,10 +6557,6 @@
)
(br $while-out$86)
)
- (block
- (get_local $5)
- (get_local $11)
- )
)
(br $while-in$87)
)
@@ -6787,10 +6660,7 @@
(get_local $50)
(i32.const 0)
)
- (block
- (get_local $22)
- (get_local $14)
- )
+ (get_local $14)
(block
(if
(i32.ne
@@ -6805,11 +6675,8 @@
)
(i32.const 45)
)
- (block
- (get_local $22)
- (br $do-once$90
- (get_local $14)
- )
+ (br $do-once$90
+ (get_local $14)
)
)
(set_local $22
@@ -6922,27 +6789,19 @@
(get_local $7)
(i32.const 999999999)
)
- (block
- (get_local $5)
- (set_local $7
- (get_local $6)
- )
+ (set_local $7
+ (get_local $6)
)
(block
(set_local $7
(get_local $5)
)
- (get_local $6)
(br $while-out$92)
)
)
(br $while-in$93)
)
)
- (block
- (get_local $7)
- (get_local $6)
- )
)
(set_local $11
(i32.mul
@@ -6972,14 +6831,10 @@
(set_local $7
(get_local $6)
)
- (get_local $11)
(br $do-once$88)
)
- (block
- (get_local $11)
- (set_local $12
- (i32.const 10)
- )
+ (set_local $12
+ (i32.const 10)
)
)
(loop $while-out$94 $while-in$95
@@ -7006,13 +6861,8 @@
(set_local $7
(get_local $6)
)
- (get_local $11)
(br $while-out$94)
)
- (block
- (get_local $11)
- (get_local $12)
- )
)
(br $while-in$95)
)
@@ -7043,7 +6893,6 @@
(get_local $5)
)
(block
- (get_local $9)
(set_local $6
(get_local $27)
)
@@ -7057,7 +6906,6 @@
(get_local $9)
)
)
- (get_local $6)
(loop $while-out$96 $while-in$97
(if
(i32.le_u
@@ -7237,7 +7085,7 @@
)
)
(if
- (i32.eq
+ (i32.ne
(i32.and
(i32.rem_u
(get_local $1)
@@ -7253,10 +7101,6 @@
(i32.const 0)
)
(block
- (get_local $5)
- (get_local $6)
- )
- (block
(set_local $1
(get_local $6)
)
@@ -7460,34 +7304,28 @@
)
(i32.const 2)
)
- (block
- (get_local $5)
- (loop $while-out$104 $while-in$105
- (i32.store8
- (set_local $5
- (i32.add
- (get_local $5)
- (i32.const -1)
- )
+ (loop $while-out$104 $while-in$105
+ (i32.store8
+ (set_local $5
+ (i32.add
+ (get_local $5)
+ (i32.const -1)
)
- (i32.const 48)
)
- (if
- (i32.lt_s
- (i32.sub
- (get_local $44)
- (get_local $5)
- )
- (i32.const 2)
- )
- (get_local $5)
- (block
+ (i32.const 48)
+ )
+ (if
+ (i32.lt_s
+ (i32.sub
+ (get_local $44)
(get_local $5)
- (br $while-out$104)
)
+ (i32.const 2)
)
- (br $while-in$105)
+ (get_local $5)
+ (br $while-out$104)
)
+ (br $while-in$105)
)
(get_local $5)
)
@@ -7617,10 +7455,7 @@
(get_local $5)
(get_local $48)
)
- (block
- (get_local $5)
- (br $do-once$110)
- )
+ (br $do-once$110)
)
(i32.store8
(get_local $57)
@@ -7637,10 +7472,7 @@
(get_local $29)
)
(get_local $5)
- (block
- (get_local $5)
- (br $do-once$110)
- )
+ (br $do-once$110)
)
(loop $while-out$112 $while-in$113
(i32.store8
@@ -7658,10 +7490,7 @@
(get_local $29)
)
(get_local $5)
- (block
- (get_local $5)
- (br $while-out$112)
- )
+ (br $while-out$112)
)
(br $while-in$113)
)
@@ -7697,10 +7526,7 @@
)
(get_local $10)
)
- (block
- (get_local $5)
- (br $while-out$108)
- )
+ (br $while-out$108)
(set_local $7
(get_local $5)
)
@@ -7745,7 +7571,6 @@
)
)
(block
- (get_local $5)
(set_local $7
(get_local $15)
)
@@ -7763,31 +7588,25 @@
)
(get_local $29)
)
- (block
- (get_local $1)
- (loop $while-out$118 $while-in$119
- (i32.store8
- (set_local $1
- (i32.add
- (get_local $1)
- (i32.const -1)
- )
- )
- (i32.const 48)
- )
- (if
- (i32.gt_u
+ (loop $while-out$118 $while-in$119
+ (i32.store8
+ (set_local $1
+ (i32.add
(get_local $1)
- (get_local $29)
+ (i32.const -1)
)
+ )
+ (i32.const 48)
+ )
+ (if
+ (i32.gt_u
(get_local $1)
- (block
- (get_local $1)
- (br $while-out$118)
- )
+ (get_local $29)
)
- (br $while-in$119)
+ (get_local $1)
+ (br $while-out$118)
)
+ (br $while-in$119)
)
(get_local $1)
)
@@ -7960,10 +7779,7 @@
(i32.const 1)
)
)
- (block
- (get_local $1)
- (br $do-once$122)
- )
+ (br $do-once$122)
)
(if
(i32.ne
@@ -7975,17 +7791,13 @@
)
(i32.const 0)
)
- (block
- (get_local $1)
- (br $do-once$122)
- )
+ (br $do-once$122)
)
(call $___fwritex
(i32.const 4143)
(i32.const 1)
(get_local $0)
)
- (get_local $1)
)
(block
(if
@@ -8019,10 +7831,7 @@
(get_local $29)
)
(get_local $1)
- (block
- (get_local $1)
- (br $while-out$124)
- )
+ (br $while-out$124)
)
(br $while-in$125)
)
@@ -8079,11 +7888,8 @@
(i32.const -1)
)
)
- (block
- (set_local $5
- (get_local $1)
- )
- (get_local $8)
+ (set_local $5
+ (get_local $1)
)
(block
(set_local $1
@@ -8272,7 +8078,6 @@
(set_local $12
(get_local $26)
)
- (get_local $1)
(set_local $8
(get_local $20)
)
@@ -8354,8 +8159,6 @@
(get_local $28)
)
(block
- (get_local $1)
- (get_local $5)
(set_local $6
(get_local $28)
)
@@ -8413,11 +8216,6 @@
)
(br $while-out$129)
)
- (block
- (get_local $1)
- (get_local $5)
- (get_local $6)
- )
)
(br $while-in$130)
)
@@ -8609,7 +8407,6 @@
(i32.const 0)
)
(block
- (get_local $7)
(set_local $1
(get_local $5)
)
@@ -8636,7 +8433,6 @@
)
)
(block
- (get_local $7)
(set_local $1
(get_local $5)
)
@@ -8659,12 +8455,8 @@
)
)
)
- (block
- (set_local $7
- (get_local $1)
- )
- (get_local $5)
- (get_local $6)
+ (set_local $7
+ (get_local $1)
)
(block
(set_local $7
@@ -9170,52 +8962,49 @@
(get_local $0)
(i32.const 10)
)
- (block
- (get_local $0)
- (loop $while-out$138 $while-in$139
- (set_local $1
- (i32.add
- (get_local $0)
- (i32.const 1)
- )
+ (loop $while-out$138 $while-in$139
+ (set_local $1
+ (i32.add
+ (get_local $0)
+ (i32.const 1)
)
- (if
- (i32.ne
- (i32.load
- (i32.add
- (get_local $4)
- (i32.shl
- (get_local $0)
- (i32.const 2)
- )
+ )
+ (if
+ (i32.ne
+ (i32.load
+ (i32.add
+ (get_local $4)
+ (i32.shl
+ (get_local $0)
+ (i32.const 2)
)
)
- (i32.const 0)
- )
- (block
- (set_local $23
- (i32.const -1)
- )
- (br $label$break$L343)
)
+ (i32.const 0)
)
- (if
- (i32.lt_s
- (get_local $1)
- (i32.const 10)
- )
- (set_local $0
- (get_local $1)
+ (block
+ (set_local $23
+ (i32.const -1)
)
- (block
- (set_local $23
- (i32.const 1)
- )
- (br $while-out$138)
+ (br $label$break$L343)
+ )
+ )
+ (if
+ (i32.lt_s
+ (get_local $1)
+ (i32.const 10)
+ )
+ (set_local $0
+ (get_local $1)
+ )
+ (block
+ (set_local $23
+ (i32.const 1)
)
+ (br $while-out$138)
)
- (br $while-in$139)
)
+ (br $while-in$139)
)
(set_local $23
(i32.const 1)
@@ -9901,8 +9690,6 @@
)
)
(block
- (get_local $0)
- (get_local $1)
(set_local $1
(get_local $2)
)
@@ -9979,11 +9766,8 @@
)
(br $while-out$2)
)
- (block
- (get_local $1)
- (set_local $2
- (get_local $0)
- )
+ (set_local $2
+ (get_local $0)
)
)
(br $while-in$3)
@@ -10085,11 +9869,9 @@
(get_local $3)
)
)
- (get_local $1)
(set_local $3
(get_local $5)
)
- (get_local $4)
(loop $while-out$2 $while-in$3
(set_local $4
(i32.eq
@@ -10116,7 +9898,7 @@
)
)
(if
- (i32.gt_u
+ (i32.le_u
(set_local $3
(i32.add
(get_local $3)
@@ -10125,11 +9907,6 @@
)
(i32.const 255)
)
- (block
- (get_local $1)
- (get_local $3)
- (get_local $4)
- )
(br $while-out$2)
)
(br $while-in$3)
@@ -11047,18 +10824,12 @@
)
(br $do-once$8)
)
- (block
- (set_local $4
- (get_local $2)
- )
- (get_local $7)
- )
- )
- (block
(set_local $4
(get_local $2)
)
- (get_local $7)
+ )
+ (set_local $4
+ (get_local $2)
)
)
(loop $while-out$10 $while-in$11
@@ -11799,18 +11570,12 @@
)
(br $label$break$L123)
)
- (block
- (get_local $13)
- (set_local $29
- (get_local $23)
- )
+ (set_local $29
+ (get_local $23)
)
)
- (block
- (set_local $13
- (get_local $6)
- )
- (get_local $29)
+ (set_local $13
+ (get_local $6)
)
)
(set_local $6
@@ -11890,12 +11655,9 @@
(set_local $6
(get_local $13)
)
- (get_local $14)
- (get_local $10)
(set_local $23
(get_local $3)
)
- (get_local $29)
)
)
(br $while-in$18)
@@ -12268,18 +12030,12 @@
)
(br $do-once$21)
)
- (block
- (set_local $7
- (get_local $2)
- )
- (get_local $8)
- )
- )
- (block
(set_local $7
(get_local $2)
)
- (get_local $8)
+ )
+ (set_local $7
+ (get_local $2)
)
)
(loop $while-out$23 $while-in$24
@@ -14737,11 +14493,8 @@
)
)
)
- (block
- (set_local $2
- (get_local $1)
- )
- (get_local $8)
+ (set_local $2
+ (get_local $1)
)
)
(loop $while-out$61 $while-in$62
@@ -16755,11 +16508,8 @@
)
)
)
- (block
- (set_local $2
- (get_local $0)
- )
- (get_local $7)
+ (set_local $2
+ (get_local $0)
)
)
(loop $while-out$4 $while-in$5
@@ -17440,11 +17190,8 @@
)
)
)
- (block
- (set_local $2
- (get_local $1)
- )
- (get_local $6)
+ (set_local $2
+ (get_local $1)
)
)
(loop $while-out$12 $while-in$13
@@ -20242,9 +19989,6 @@
(set_local $11
(get_local $0)
)
- (get_local $5)
- (get_local $6)
- (get_local $9)
(set_local $0
(get_local $12)
)
@@ -20271,7 +20015,6 @@
)
)
)
- (get_local $7)
(set_local $6
(i32.or
(get_local $9)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-29 05:33:08 +0000