summaryrefslogtreecommitdiff
path: root/test/emcc_O2_hello_world.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/emcc_O2_hello_world.fromasm.imprecise')
-rw-r--r--test/emcc_O2_hello_world.fromasm.imprecise816
1 files changed, 407 insertions, 409 deletions
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise
index cc15d0c8e..e40f7bb6d 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise
+++ b/test/emcc_O2_hello_world.fromasm.imprecise
@@ -3120,398 +3120,397 @@
(i32.const 0)
)
)
- (set_local $8
- (block $label$break$L257
+ (if
+ (if
(if
- (i32.and
- (i32.load
- (i32.const 620)
+ (select
+ (i32.lt_u
+ (get_local $7)
+ (i32.const 2147483647)
)
- (i32.const 4)
- )
- (i32.const 190)
- (block
- (block $label$break$L259
- (if
- (set_local $9
- (i32.load
- (i32.const 200)
- )
- )
- (block
- (set_local $14
- (i32.const 624)
- )
- (loop $while-out$37 $while-in$38
- (if
- (if
- (i32.le_u
- (i32.load
- (get_local $14)
- )
- (get_local $9)
- )
- (i32.load
- (set_local $11
- (i32.add
- (get_local $14)
- (i32.const 4)
- )
- )
- )
- (i32.const 0)
- )
- (block
- (set_local $4
- (get_local $14)
- )
- (set_local $5
- (get_local $11)
- )
- (br $while-out$37)
- )
- )
- (if
- (i32.eqz
- (set_local $14
- (i32.load offset=8
- (get_local $14)
- )
- )
- )
- (block
- (set_local $8
- (i32.const 173)
- )
- (br $label$break$L259)
+ (i32.const 0)
+ (i32.eq
+ (set_local $8
+ (block $label$break$L257
+ (if
+ (i32.and
+ (i32.load
+ (i32.const 620)
)
+ (i32.const 4)
)
- (br $while-in$38)
- )
- (if
- (i32.lt_u
- (set_local $14
- (i32.and
- (i32.sub
- (get_local $21)
+ (i32.const 190)
+ (block
+ (block $label$break$L259
+ (if
+ (set_local $9
(i32.load
- (i32.const 188)
+ (i32.const 200)
)
)
- (get_local $23)
- )
- )
- (i32.const 2147483647)
- )
- (if
- (i32.eq
- (set_local $11
- (call_import $_sbrk
- (get_local $14)
- )
- )
- (i32.add
- (i32.load
- (get_local $4)
- )
- (i32.load
- (get_local $5)
- )
- )
- )
- (if
- (i32.ne
- (get_local $11)
- (i32.const -1)
- )
- (block
- (set_local $20
- (get_local $11)
- )
- (set_local $22
- (get_local $14)
- )
- (br $label$break$L257
- (i32.const 193)
- )
- )
- )
- (block
- (set_local $13
- (get_local $11)
- )
- (set_local $17
- (get_local $14)
- )
- (set_local $8
- (i32.const 183)
- )
- )
- )
- )
- )
- (set_local $8
- (i32.const 173)
- )
- )
- )
- (block $do-once$39
- (if
- (if
- (i32.eq
- (get_local $8)
- (i32.const 173)
- )
- (set_local $9
- (call_import $_sbrk
- (i32.const 0)
- )
- )
- (i32.const 0)
- )
- (block
- (set_local $1
- (if
- (i32.and
- (set_local $11
- (i32.add
+ (block
(set_local $14
- (i32.load
- (i32.const 652)
+ (i32.const 624)
+ )
+ (loop $while-out$37 $while-in$38
+ (if
+ (if
+ (i32.le_u
+ (i32.load
+ (get_local $14)
+ )
+ (get_local $9)
+ )
+ (i32.load
+ (set_local $11
+ (i32.add
+ (get_local $14)
+ (i32.const 4)
+ )
+ )
+ )
+ (i32.const 0)
+ )
+ (block
+ (set_local $4
+ (get_local $14)
+ )
+ (set_local $5
+ (get_local $11)
+ )
+ (br $while-out$37)
+ )
+ )
+ (if
+ (i32.eqz
+ (set_local $14
+ (i32.load offset=8
+ (get_local $14)
+ )
+ )
+ )
+ (block
+ (set_local $8
+ (i32.const 173)
+ )
+ (br $label$break$L259)
+ )
+ )
+ (br $while-in$38)
+ )
+ (if
+ (i32.lt_u
+ (set_local $14
+ (i32.and
+ (i32.sub
+ (get_local $21)
+ (i32.load
+ (i32.const 188)
+ )
+ )
+ (get_local $23)
+ )
+ )
+ (i32.const 2147483647)
+ )
+ (if
+ (i32.eq
+ (set_local $11
+ (call_import $_sbrk
+ (get_local $14)
+ )
+ )
+ (i32.add
+ (i32.load
+ (get_local $4)
+ )
+ (i32.load
+ (get_local $5)
+ )
+ )
+ )
+ (if
+ (i32.ne
+ (get_local $11)
+ (i32.const -1)
+ )
+ (block
+ (set_local $20
+ (get_local $11)
+ )
+ (set_local $22
+ (get_local $14)
+ )
+ (br $label$break$L257
+ (i32.const 193)
+ )
+ )
+ )
+ (block
+ (set_local $13
+ (get_local $11)
+ )
+ (set_local $17
+ (get_local $14)
+ )
+ (set_local $8
+ (i32.const 183)
+ )
+ )
)
)
- (i32.const -1)
- )
- )
- (set_local $2
- (get_local $9)
- )
- )
- (i32.add
- (i32.sub
- (get_local $7)
- (get_local $2)
- )
- (i32.and
- (i32.add
- (get_local $11)
- (get_local $2)
)
- (i32.sub
- (i32.const 0)
- (get_local $14)
+ (set_local $8
+ (i32.const 173)
)
)
)
- (get_local $7)
- )
- )
- (set_local $2
- (i32.add
- (set_local $14
- (i32.load
- (i32.const 608)
- )
- )
- (get_local $1)
- )
- )
- (if
- (i32.and
- (i32.gt_u
- (get_local $1)
- (get_local $0)
- )
- (i32.lt_u
- (get_local $1)
- (i32.const 2147483647)
- )
- )
- (block
- (br_if $do-once$39
- (select
- (i32.or
- (i32.le_u
- (get_local $2)
- (get_local $14)
+ (block $do-once$39
+ (if
+ (if
+ (i32.eq
+ (get_local $8)
+ (i32.const 173)
)
- (i32.gt_u
- (get_local $2)
- (set_local $11
- (i32.load
- (i32.const 616)
- )
+ (set_local $9
+ (call_import $_sbrk
+ (i32.const 0)
)
)
- )
- (i32.const 0)
- (i32.ne
- (get_local $11)
(i32.const 0)
)
- )
- )
- (if
- (i32.eq
- (set_local $11
- (call_import $_sbrk
- (get_local $1)
+ (block
+ (set_local $1
+ (if
+ (i32.and
+ (set_local $11
+ (i32.add
+ (set_local $14
+ (i32.load
+ (i32.const 652)
+ )
+ )
+ (i32.const -1)
+ )
+ )
+ (set_local $2
+ (get_local $9)
+ )
+ )
+ (i32.add
+ (i32.sub
+ (get_local $7)
+ (get_local $2)
+ )
+ (i32.and
+ (i32.add
+ (get_local $11)
+ (get_local $2)
+ )
+ (i32.sub
+ (i32.const 0)
+ (get_local $14)
+ )
+ )
+ )
+ (get_local $7)
+ )
+ )
+ (set_local $2
+ (i32.add
+ (set_local $14
+ (i32.load
+ (i32.const 608)
+ )
+ )
+ (get_local $1)
+ )
+ )
+ (if
+ (i32.and
+ (i32.gt_u
+ (get_local $1)
+ (get_local $0)
+ )
+ (i32.lt_u
+ (get_local $1)
+ (i32.const 2147483647)
+ )
+ )
+ (block
+ (br_if $do-once$39
+ (select
+ (i32.or
+ (i32.le_u
+ (get_local $2)
+ (get_local $14)
+ )
+ (i32.gt_u
+ (get_local $2)
+ (set_local $11
+ (i32.load
+ (i32.const 616)
+ )
+ )
+ )
+ )
+ (i32.const 0)
+ (i32.ne
+ (get_local $11)
+ (i32.const 0)
+ )
+ )
+ )
+ (if
+ (i32.eq
+ (set_local $11
+ (call_import $_sbrk
+ (get_local $1)
+ )
+ )
+ (get_local $9)
+ )
+ (block
+ (set_local $20
+ (get_local $9)
+ )
+ (set_local $22
+ (get_local $1)
+ )
+ (br $label$break$L257
+ (i32.const 193)
+ )
+ )
+ (block
+ (set_local $13
+ (get_local $11)
+ )
+ (set_local $17
+ (get_local $1)
+ )
+ (set_local $8
+ (i32.const 183)
+ )
+ )
+ )
+ )
)
- )
- (get_local $9)
- )
- (block
- (set_local $20
- (get_local $9)
- )
- (set_local $22
- (get_local $1)
- )
- (br $label$break$L257
- (i32.const 193)
- )
- )
- (block
- (set_local $13
- (get_local $11)
- )
- (set_local $17
- (get_local $1)
- )
- (set_local $8
- (i32.const 183)
)
)
)
- )
- )
- )
- )
- )
- (block $label$break$L279
- (if
- (i32.eq
- (get_local $8)
- (i32.const 183)
- )
- (block
- (set_local $11
- (i32.sub
- (i32.const 0)
- (get_local $17)
- )
- )
- (if
- (if
- (i32.and
- (i32.gt_u
- (get_local $16)
- (get_local $17)
- )
- (i32.and
- (i32.lt_u
- (get_local $17)
- (i32.const 2147483647)
- )
- (i32.ne
- (get_local $13)
- (i32.const -1)
+ (block $label$break$L279
+ (if
+ (i32.eq
+ (get_local $8)
+ (i32.const 183)
)
- )
- )
- (i32.lt_u
- (set_local $2
- (i32.and
- (i32.add
+ (block
+ (set_local $11
(i32.sub
- (get_local $12)
+ (i32.const 0)
(get_local $17)
)
- (set_local $9
- (i32.load
- (i32.const 656)
+ )
+ (if
+ (if
+ (i32.and
+ (i32.gt_u
+ (get_local $16)
+ (get_local $17)
+ )
+ (i32.and
+ (i32.lt_u
+ (get_local $17)
+ (i32.const 2147483647)
+ )
+ (i32.ne
+ (get_local $13)
+ (i32.const -1)
+ )
+ )
+ )
+ (i32.lt_u
+ (set_local $2
+ (i32.and
+ (i32.add
+ (i32.sub
+ (get_local $12)
+ (get_local $17)
+ )
+ (set_local $9
+ (i32.load
+ (i32.const 656)
+ )
+ )
+ )
+ (i32.sub
+ (i32.const 0)
+ (get_local $9)
+ )
+ )
+ )
+ (i32.const 2147483647)
+ )
+ (i32.const 0)
+ )
+ (if
+ (i32.eq
+ (call_import $_sbrk
+ (get_local $2)
+ )
+ (i32.const -1)
+ )
+ (block
+ (call_import $_sbrk
+ (get_local $11)
+ )
+ (br $label$break$L279)
+ )
+ (set_local $3
+ (i32.add
+ (get_local $2)
+ (get_local $17)
+ )
)
)
+ (set_local $3
+ (get_local $17)
+ )
)
- (i32.sub
- (i32.const 0)
- (get_local $9)
+ (if
+ (i32.ne
+ (get_local $13)
+ (i32.const -1)
+ )
+ (block
+ (set_local $20
+ (get_local $13)
+ )
+ (set_local $22
+ (get_local $3)
+ )
+ (br $label$break$L257
+ (i32.const 193)
+ )
+ )
)
)
)
- (i32.const 2147483647)
- )
- (i32.const 0)
- )
- (if
- (i32.eq
- (call_import $_sbrk
- (get_local $2)
- )
- (i32.const -1)
- )
- (block
- (call_import $_sbrk
- (get_local $11)
- )
- (br $label$break$L279)
)
- (set_local $3
- (i32.add
- (get_local $2)
- (get_local $17)
+ (i32.store
+ (i32.const 620)
+ (i32.or
+ (i32.load
+ (i32.const 620)
+ )
+ (i32.const 4)
)
)
- )
- (set_local $3
- (get_local $17)
- )
- )
- (if
- (i32.ne
- (get_local $13)
- (i32.const -1)
- )
- (block
- (set_local $20
- (get_local $13)
- )
- (set_local $22
- (get_local $3)
- )
- (br $label$break$L257
- (i32.const 193)
- )
+ (i32.const 190)
)
)
)
)
- )
- (i32.store
- (i32.const 620)
- (i32.or
- (i32.load
- (i32.const 620)
- )
- (i32.const 4)
- )
- )
- (i32.const 190)
- )
- )
- )
- )
- (if
- (if
- (if
- (select
- (i32.lt_u
- (get_local $7)
- (i32.const 2147483647)
- )
- (i32.const 0)
- (i32.eq
- (get_local $8)
(i32.const 190)
)
)
@@ -7892,72 +7891,71 @@
)
)
(loop $while-out$0 $while-in$1
- (set_local $6
- (if
- (i32.load
- (i32.const 8)
- )
- (block
- (call_import $_pthread_cleanup_push
- (i32.const 4)
- (get_local $0)
- )
- (i32.store
- (get_local $13)
+ (if
+ (i32.eq
+ (get_local $5)
+ (set_local $6
+ (if
(i32.load
- (get_local $1)
+ (i32.const 8)
)
- )
- (i32.store offset=4
- (get_local $13)
- (get_local $4)
- )
- (i32.store offset=8
- (get_local $13)
- (get_local $3)
- )
- (set_local $10
- (call $___syscall_ret
- (call_import $___syscall146
- (i32.const 146)
+ (block
+ (call_import $_pthread_cleanup_push
+ (i32.const 4)
+ (get_local $0)
+ )
+ (i32.store
(get_local $13)
+ (i32.load
+ (get_local $1)
+ )
)
+ (i32.store offset=4
+ (get_local $13)
+ (get_local $4)
+ )
+ (i32.store offset=8
+ (get_local $13)
+ (get_local $3)
+ )
+ (set_local $10
+ (call $___syscall_ret
+ (call_import $___syscall146
+ (i32.const 146)
+ (get_local $13)
+ )
+ )
+ )
+ (call_import $_pthread_cleanup_pop
+ (i32.const 0)
+ )
+ (get_local $10)
)
- )
- (call_import $_pthread_cleanup_pop
- (i32.const 0)
- )
- (get_local $10)
- )
- (block
- (i32.store
- (get_local $12)
- (i32.load
- (get_local $1)
- )
- )
- (i32.store offset=4
- (get_local $12)
- (get_local $4)
- )
- (i32.store offset=8
- (get_local $12)
- (get_local $3)
- )
- (call $___syscall_ret
- (call_import $___syscall146
- (i32.const 146)
- (get_local $12)
+ (block
+ (i32.store
+ (get_local $12)
+ (i32.load
+ (get_local $1)
+ )
+ )
+ (i32.store offset=4
+ (get_local $12)
+ (get_local $4)
+ )
+ (i32.store offset=8
+ (get_local $12)
+ (get_local $3)
+ )
+ (call $___syscall_ret
+ (call_import $___syscall146
+ (i32.const 146)
+ (get_local $12)
+ )
+ )
)
)
)
)
- )
- (if
- (i32.eq
- (get_local $5)
- (get_local $6)
- )
(block
(set_local $1
(i32.const 6)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 09:47:12 +0000