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.imprecise365
1 files changed, 170 insertions, 195 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index 0daff6798..d95790044 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -324,16 +324,14 @@
(i32.const 87)
)
)
- (block
- (set_local $3
- (i32.const 87)
- )
- (set_local $2
- (i32.const 775)
- )
- (set_local $4
- (i32.const 5)
- )
+ (set_local $3
+ (i32.const 87)
+ )
+ (set_local $2
+ (i32.const 775)
+ )
+ (set_local $4
+ (i32.const 5)
)
)
(br $jumpthreading$outer$0)
@@ -959,117 +957,115 @@
(i32.const 0)
)
)
- (block
- (set_local $1
- (if i32
- (i32.gt_u
- (get_local $5)
- (tee_local $13
- (i32.load offset=4
- (get_local $1)
+ (set_local $1
+ (if i32
+ (i32.gt_u
+ (get_local $5)
+ (tee_local $13
+ (i32.load offset=4
+ (get_local $1)
+ )
+ )
+ )
+ (block i32
+ (i32.store
+ (get_local $7)
+ (tee_local $3
+ (i32.load
+ (get_local $15)
)
)
)
+ (i32.store
+ (get_local $11)
+ (get_local $3)
+ )
+ (set_local $6
+ (i32.sub
+ (get_local $5)
+ (get_local $13)
+ )
+ )
+ (set_local $3
+ (i32.add
+ (get_local $1)
+ (i32.const 8)
+ )
+ )
+ (set_local $4
+ (i32.add
+ (get_local $4)
+ (i32.const -1)
+ )
+ )
+ (i32.load offset=12
+ (get_local $1)
+ )
+ )
+ (if i32
+ (i32.eq
+ (get_local $4)
+ (i32.const 2)
+ )
(block i32
(i32.store
(get_local $7)
- (tee_local $3
+ (i32.add
(i32.load
- (get_local $15)
+ (get_local $7)
)
+ (get_local $5)
)
)
- (i32.store
- (get_local $11)
- (get_local $3)
- )
(set_local $6
- (i32.sub
- (get_local $5)
- (get_local $13)
- )
+ (get_local $5)
)
(set_local $3
- (i32.add
- (get_local $1)
- (i32.const 8)
- )
- )
- (set_local $4
- (i32.add
- (get_local $4)
- (i32.const -1)
- )
- )
- (i32.load offset=12
(get_local $1)
)
- )
- (if i32
- (i32.eq
- (get_local $4)
+ (set_local $4
(i32.const 2)
)
- (block i32
- (i32.store
- (get_local $7)
- (i32.add
- (i32.load
- (get_local $7)
- )
- (get_local $5)
- )
- )
- (set_local $6
- (get_local $5)
- )
- (set_local $3
- (get_local $1)
- )
- (set_local $4
- (i32.const 2)
- )
- (get_local $13)
+ (get_local $13)
+ )
+ (block i32
+ (set_local $6
+ (get_local $5)
)
- (block i32
- (set_local $6
- (get_local $5)
- )
- (set_local $3
- (get_local $1)
- )
- (get_local $13)
+ (set_local $3
+ (get_local $1)
)
+ (get_local $13)
)
)
)
- (i32.store
- (get_local $3)
- (i32.add
- (i32.load
- (get_local $3)
- )
- (get_local $6)
- )
- )
- (i32.store offset=4
- (get_local $3)
- (i32.sub
- (get_local $1)
- (get_local $6)
+ )
+ (i32.store
+ (get_local $3)
+ (i32.add
+ (i32.load
+ (get_local $3)
)
+ (get_local $6)
)
- (set_local $1
- (get_local $3)
+ )
+ (i32.store offset=4
+ (get_local $3)
+ (i32.sub
+ (get_local $1)
+ (get_local $6)
)
- (set_local $12
- (i32.sub
- (get_local $12)
- (get_local $5)
- )
+ )
+ (set_local $1
+ (get_local $3)
+ )
+ (set_local $12
+ (i32.sub
+ (get_local $12)
+ (get_local $5)
)
- (br $while-in)
)
+ (br $while-in)
)
)
(i32.store offset=16
@@ -2066,7 +2062,6 @@
)
)
(block
- (nop)
(set_local $2
(i32.add
(get_local $2)
@@ -4826,25 +4821,22 @@
(get_local $5)
(get_local $6)
)
- (block
- (nop)
- (if
- (i32.eqz
- (i32.load
- (tee_local $10
- (i32.add
- (get_local $5)
- (i32.const -4)
- )
+ (if
+ (i32.eqz
+ (i32.load
+ (tee_local $10
+ (i32.add
+ (get_local $5)
+ (i32.const -4)
)
)
)
- (block
- (set_local $5
- (get_local $10)
- )
- (br $while-in68)
+ )
+ (block
+ (set_local $5
+ (get_local $10)
)
+ (br $while-in68)
)
)
)
@@ -4866,13 +4858,11 @@
(i32.const 0)
)
)
- (block
- (set_local $11
- (get_local $10)
- )
- (set_local $10
- (get_local $5)
- )
+ (set_local $11
+ (get_local $10)
+ )
+ (set_local $10
+ (get_local $5)
)
)
)
@@ -6327,20 +6317,24 @@
)
)
(br_if $do-once115
- (i32.and
- (get_local $13)
- (i32.lt_s
- (get_local $6)
- (i32.const 1)
+ (i32.or
+ (i32.and
+ (get_local $13)
+ (i32.lt_s
+ (get_local $6)
+ (i32.const 1)
+ )
)
- )
- )
- (br_if $do-once115
- (i32.and
- (i32.load
- (get_local $0)
+ (i32.eqz
+ (i32.eqz
+ (i32.and
+ (i32.load
+ (get_local $0)
+ )
+ (i32.const 32)
+ )
+ )
)
- (i32.const 32)
)
)
(drop
@@ -6973,12 +6967,10 @@
(get_local $9)
)
)
- (block
- (set_local $6
- (get_local $9)
- )
- (br $jumpthreading$inner$6)
+ (set_local $6
+ (get_local $9)
)
+ (br $jumpthreading$inner$6)
)
)
(block
@@ -7233,7 +7225,6 @@
)
)
(block
- (nop)
(call $_pop_arg_336
(i32.add
(get_local $3)
@@ -7256,12 +7247,10 @@
(i32.const 10)
)
)
- (block
- (set_local $17
- (i32.const 1)
- )
- (br $label$break$L343)
+ (set_local $17
+ (i32.const 1)
)
+ (br $label$break$L343)
)
)
)
@@ -9552,18 +9541,16 @@
(br_if $jumpthreading$inner$2
(get_local $16)
)
- (block
- (set_local $16
- (get_local $0)
- )
- (set_local $18
- (get_local $6)
- )
- (set_local $0
- (get_local $15)
- )
- (br $while-in14)
+ (set_local $16
+ (get_local $0)
+ )
+ (set_local $18
+ (get_local $6)
)
+ (set_local $0
+ (get_local $15)
+ )
+ (br $while-in14)
)
)
(block
@@ -9797,13 +9784,11 @@
)
)
)
- (block
- (set_local $8
- (get_local $2)
- )
- (set_local $13
- (get_local $1)
- )
+ (set_local $8
+ (get_local $2)
+ )
+ (set_local $13
+ (get_local $1)
)
)
)
@@ -10562,15 +10547,13 @@
)
)
)
- (block
- (set_local $3
- (get_local $2)
- )
- (set_local $0
- (get_local $1)
- )
- (br $while-in28)
+ (set_local $3
+ (get_local $2)
+ )
+ (set_local $0
+ (get_local $1)
)
+ (br $while-in28)
)
)
(if
@@ -11175,12 +11158,10 @@
(get_local $2)
)
)
- (block
- (set_local $2
- (get_local $3)
- )
- (br $jumpthreading$inner$4)
+ (set_local $2
+ (get_local $3)
)
+ (br $jumpthreading$inner$4)
)
)
)
@@ -12590,15 +12571,13 @@
)
)
)
- (block
- (set_local $3
- (get_local $2)
- )
- (set_local $0
- (get_local $1)
- )
- (br $while-in68)
+ (set_local $3
+ (get_local $2)
)
+ (set_local $0
+ (get_local $1)
+ )
+ (br $while-in68)
)
)
(if
@@ -13271,15 +13250,13 @@
)
)
)
- (block
- (set_local $4
- (get_local $3)
- )
- (set_local $1
- (get_local $2)
- )
- (br $while-in74)
+ (set_local $4
+ (get_local $3)
)
+ (set_local $1
+ (get_local $2)
+ )
+ (br $while-in74)
)
)
(if
@@ -15212,15 +15189,13 @@
)
)
)
- (block
- (set_local $5
- (get_local $4)
- )
- (set_local $0
- (get_local $1)
- )
- (br $while-in15)
+ (set_local $5
+ (get_local $4)
+ )
+ (set_local $0
+ (get_local $1)
)
+ (br $while-in15)
)
)
(if
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-13 08:31:02 +0000