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.imprecise674
1 files changed, 330 insertions, 344 deletions
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index 3aa9ed739..9f06aecd2 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -1828,94 +1828,91 @@
)
(block $label$break$L8
(block $__rjti$2
- (block $__rjti$1
- (if
- (i32.and
- (tee_local $4
- (i32.ne
- (get_local $2)
- (i32.const 0)
- )
- )
+ (if
+ (i32.and
+ (tee_local $4
(i32.ne
- (i32.and
- (get_local $0)
- (i32.const 3)
- )
+ (get_local $2)
(i32.const 0)
)
)
- (block
- (set_local $4
- (i32.and
- (get_local $1)
- (i32.const 255)
- )
- )
- (set_local $3
- (get_local $2)
- )
- (set_local $2
+ (i32.ne
+ (i32.and
(get_local $0)
+ (i32.const 3)
)
- (loop $while-in
- (if
- (i32.eq
- (i32.load8_u
- (get_local $2)
- )
- (i32.and
- (get_local $4)
- (i32.const 255)
- )
+ (i32.const 0)
+ )
+ )
+ (block
+ (set_local $4
+ (i32.and
+ (get_local $1)
+ (i32.const 255)
+ )
+ )
+ (set_local $3
+ (get_local $2)
+ )
+ (set_local $2
+ (get_local $0)
+ )
+ (loop $while-in
+ (if
+ (i32.eq
+ (i32.load8_u
+ (get_local $2)
)
- (block
- (set_local $0
- (get_local $3)
- )
- (br $__rjti$2)
+ (i32.and
+ (get_local $4)
+ (i32.const 255)
)
)
- (br_if $while-in
- (i32.and
- (tee_local $0
- (i32.ne
- (tee_local $3
- (i32.add
- (get_local $3)
- (i32.const -1)
- )
+ (block
+ (set_local $0
+ (get_local $3)
+ )
+ (br $__rjti$2)
+ )
+ )
+ (br_if $while-in
+ (i32.and
+ (tee_local $0
+ (i32.ne
+ (tee_local $3
+ (i32.add
+ (get_local $3)
+ (i32.const -1)
)
- (i32.const 0)
)
+ (i32.const 0)
)
- (i32.ne
- (i32.and
- (tee_local $2
- (i32.add
- (get_local $2)
- (i32.const 1)
- )
+ )
+ (i32.ne
+ (i32.and
+ (tee_local $2
+ (i32.add
+ (get_local $2)
+ (i32.const 1)
)
- (i32.const 3)
)
- (i32.const 0)
+ (i32.const 3)
)
+ (i32.const 0)
)
)
- (br $__rjti$1)
)
)
- (block
- (set_local $3
- (get_local $2)
- )
- (set_local $2
- (get_local $0)
- )
- (set_local $0
- (get_local $4)
- )
+ )
+ (block
+ (set_local $3
+ (get_local $2)
+ )
+ (set_local $2
+ (get_local $0)
+ )
+ (set_local $0
+ (get_local $4)
)
)
)
@@ -9197,112 +9194,110 @@
)
(block $__rjto$3
(block $__rjti$3
- (block $__rjti$2
- (if
- (tee_local $0
- (i32.load offset=480
- (i32.shl
- (get_local $14)
- (i32.const 2)
- )
+ (if
+ (tee_local $0
+ (i32.load offset=480
+ (i32.shl
+ (get_local $14)
+ (i32.const 2)
)
)
- (block
- (set_local $6
- (i32.const 0)
- )
- (set_local $8
- (i32.shl
- (get_local $2)
- (select
- (i32.const 0)
- (i32.sub
- (i32.const 25)
- (i32.shr_u
- (get_local $14)
- (i32.const 1)
- )
- )
- (i32.eq
+ )
+ (block
+ (set_local $6
+ (i32.const 0)
+ )
+ (set_local $8
+ (i32.shl
+ (get_local $2)
+ (select
+ (i32.const 0)
+ (i32.sub
+ (i32.const 25)
+ (i32.shr_u
(get_local $14)
- (i32.const 31)
+ (i32.const 1)
)
)
+ (i32.eq
+ (get_local $14)
+ (i32.const 31)
+ )
)
)
- (set_local $1
- (i32.const 0)
- )
- (loop $while-in14
- (if
- (i32.lt_u
- (tee_local $4
- (i32.sub
- (tee_local $9
- (i32.and
- (i32.load offset=4
- (get_local $0)
- )
- (i32.const -8)
+ )
+ (set_local $1
+ (i32.const 0)
+ )
+ (loop $while-in14
+ (if
+ (i32.lt_u
+ (tee_local $4
+ (i32.sub
+ (tee_local $9
+ (i32.and
+ (i32.load offset=4
+ (get_local $0)
)
+ (i32.const -8)
)
- (get_local $2)
)
+ (get_local $2)
)
- (get_local $3)
)
- (if
- (i32.eq
- (get_local $9)
- (get_local $2)
+ (get_local $3)
+ )
+ (if
+ (i32.eq
+ (get_local $9)
+ (get_local $2)
+ )
+ (block
+ (set_local $1
+ (get_local $4)
)
- (block
- (set_local $1
- (get_local $4)
- )
- (set_local $3
- (get_local $0)
- )
- (br $__rjti$3)
+ (set_local $3
+ (get_local $0)
)
- (block
- (set_local $3
- (get_local $4)
- )
- (set_local $1
- (get_local $0)
- )
+ (br $__rjti$3)
+ )
+ (block
+ (set_local $3
+ (get_local $4)
+ )
+ (set_local $1
+ (get_local $0)
)
)
)
- (set_local $0
- (select
- (get_local $6)
- (tee_local $4
- (i32.load offset=20
- (get_local $0)
- )
+ )
+ (set_local $0
+ (select
+ (get_local $6)
+ (tee_local $4
+ (i32.load offset=20
+ (get_local $0)
)
- (i32.or
- (i32.eqz
- (get_local $4)
- )
- (i32.eq
- (get_local $4)
- (tee_local $9
- (i32.load
+ )
+ (i32.or
+ (i32.eqz
+ (get_local $4)
+ )
+ (i32.eq
+ (get_local $4)
+ (tee_local $9
+ (i32.load
+ (i32.add
(i32.add
- (i32.add
- (get_local $0)
- (i32.const 16)
- )
- (i32.shl
- (i32.shr_u
- (get_local $8)
- (i32.const 31)
- )
- (i32.const 2)
+ (get_local $0)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $8)
+ (i32.const 31)
)
+ (i32.const 2)
)
)
)
@@ -9310,52 +9305,51 @@
)
)
)
- (set_local $4
- (i32.shl
- (get_local $8)
- (i32.xor
- (tee_local $6
- (i32.eqz
- (get_local $9)
- )
+ )
+ (set_local $4
+ (i32.shl
+ (get_local $8)
+ (i32.xor
+ (tee_local $6
+ (i32.eqz
+ (get_local $9)
)
- (i32.const 1)
)
+ (i32.const 1)
)
)
- (if
- (get_local $6)
- (block
- (set_local $4
- (get_local $0)
- )
- (set_local $0
- (get_local $1)
- )
- (br $__rjti$2)
+ )
+ (if
+ (get_local $6)
+ (block
+ (set_local $4
+ (get_local $0)
)
- (block
- (set_local $6
- (get_local $0)
- )
- (set_local $8
- (get_local $4)
- )
- (set_local $0
- (get_local $9)
- )
- (br $while-in14)
+ (set_local $0
+ (get_local $1)
+ )
+ )
+ (block
+ (set_local $6
+ (get_local $0)
+ )
+ (set_local $8
+ (get_local $4)
+ )
+ (set_local $0
+ (get_local $9)
)
+ (br $while-in14)
)
)
)
- (block
- (set_local $4
- (i32.const 0)
- )
- (set_local $0
- (i32.const 0)
- )
+ )
+ (block
+ (set_local $4
+ (i32.const 0)
+ )
+ (set_local $0
+ (i32.const 0)
)
)
)
@@ -10282,55 +10276,53 @@
)
(block $__rjto$1
(block $__rjti$1
- (block $__rjti$0
- (loop $while-in28
- (br_if $__rjti$1
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $0)
- )
- (i32.const -8)
+ (loop $while-in28
+ (br_if $__rjti$1
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $0)
)
- (get_local $3)
+ (i32.const -8)
)
+ (get_local $3)
)
- (set_local $2
- (i32.shl
- (get_local $7)
- (i32.const 1)
- )
+ )
+ (set_local $2
+ (i32.shl
+ (get_local $7)
+ (i32.const 1)
)
- (br_if $__rjti$0
- (i32.eqz
- (tee_local $1
- (i32.load
- (tee_local $7
- (i32.add
- (i32.add
- (get_local $0)
- (i32.const 16)
- )
- (i32.shl
- (i32.shr_u
- (get_local $7)
- (i32.const 31)
- )
- (i32.const 2)
- )
+ )
+ (if
+ (tee_local $1
+ (i32.load
+ (tee_local $7
+ (i32.add
+ (i32.add
+ (get_local $0)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $7)
+ (i32.const 31)
)
+ (i32.const 2)
)
)
)
)
)
- (set_local $7
- (get_local $2)
- )
- (set_local $0
- (get_local $1)
+ (block
+ (set_local $7
+ (get_local $2)
+ )
+ (set_local $0
+ (get_local $1)
+ )
+ (br $while-in28)
)
- (br $while-in28)
)
)
(if
@@ -12322,55 +12314,53 @@
)
(block $__rjto$7
(block $__rjti$7
- (block $__rjti$6
- (loop $while-in68
- (br_if $__rjti$7
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $0)
- )
- (i32.const -8)
+ (loop $while-in68
+ (br_if $__rjti$7
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $0)
)
- (get_local $7)
+ (i32.const -8)
)
+ (get_local $7)
)
- (set_local $3
- (i32.shl
- (get_local $2)
- (i32.const 1)
- )
+ )
+ (set_local $3
+ (i32.shl
+ (get_local $2)
+ (i32.const 1)
)
- (br_if $__rjti$6
- (i32.eqz
- (tee_local $1
- (i32.load
- (tee_local $2
- (i32.add
- (i32.add
- (get_local $0)
- (i32.const 16)
- )
- (i32.shl
- (i32.shr_u
- (get_local $2)
- (i32.const 31)
- )
- (i32.const 2)
- )
+ )
+ (if
+ (tee_local $1
+ (i32.load
+ (tee_local $2
+ (i32.add
+ (i32.add
+ (get_local $0)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $2)
+ (i32.const 31)
)
+ (i32.const 2)
)
)
)
)
)
- (set_local $2
- (get_local $3)
- )
- (set_local $0
- (get_local $1)
+ (block
+ (set_local $2
+ (get_local $3)
+ )
+ (set_local $0
+ (get_local $1)
+ )
+ (br $while-in68)
)
- (br $while-in68)
)
)
(if
@@ -12998,55 +12988,53 @@
)
(block $__rjto$9
(block $__rjti$9
- (block $__rjti$8
- (loop $while-in74
- (br_if $__rjti$9
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $1)
- )
- (i32.const -8)
+ (loop $while-in74
+ (br_if $__rjti$9
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $1)
)
- (get_local $5)
+ (i32.const -8)
)
+ (get_local $5)
)
- (set_local $2
- (i32.shl
- (get_local $4)
- (i32.const 1)
- )
+ )
+ (set_local $2
+ (i32.shl
+ (get_local $4)
+ (i32.const 1)
)
- (br_if $__rjti$8
- (i32.eqz
- (tee_local $3
- (i32.load
- (tee_local $4
- (i32.add
- (i32.add
- (get_local $1)
- (i32.const 16)
- )
- (i32.shl
- (i32.shr_u
- (get_local $4)
- (i32.const 31)
- )
- (i32.const 2)
- )
+ )
+ (if
+ (tee_local $3
+ (i32.load
+ (tee_local $4
+ (i32.add
+ (i32.add
+ (get_local $1)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $4)
+ (i32.const 31)
)
+ (i32.const 2)
)
)
)
)
)
- (set_local $4
- (get_local $2)
- )
- (set_local $1
- (get_local $3)
+ (block
+ (set_local $4
+ (get_local $2)
+ )
+ (set_local $1
+ (get_local $3)
+ )
+ (br $while-in74)
)
- (br $while-in74)
)
)
(if
@@ -14925,55 +14913,53 @@
)
(block $__rjto$1
(block $__rjti$1
- (block $__rjti$0
- (loop $while-in15
- (br_if $__rjti$1
- (i32.eq
- (i32.and
- (i32.load offset=4
- (get_local $0)
- )
- (i32.const -8)
+ (loop $while-in15
+ (br_if $__rjti$1
+ (i32.eq
+ (i32.and
+ (i32.load offset=4
+ (get_local $0)
)
- (get_local $3)
+ (i32.const -8)
)
+ (get_local $3)
)
- (set_local $4
- (i32.shl
- (get_local $5)
- (i32.const 1)
- )
+ )
+ (set_local $4
+ (i32.shl
+ (get_local $5)
+ (i32.const 1)
)
- (br_if $__rjti$0
- (i32.eqz
- (tee_local $1
- (i32.load
- (tee_local $5
- (i32.add
- (i32.add
- (get_local $0)
- (i32.const 16)
- )
- (i32.shl
- (i32.shr_u
- (get_local $5)
- (i32.const 31)
- )
- (i32.const 2)
- )
+ )
+ (if
+ (tee_local $1
+ (i32.load
+ (tee_local $5
+ (i32.add
+ (i32.add
+ (get_local $0)
+ (i32.const 16)
+ )
+ (i32.shl
+ (i32.shr_u
+ (get_local $5)
+ (i32.const 31)
)
+ (i32.const 2)
)
)
)
)
)
- (set_local $5
- (get_local $4)
- )
- (set_local $0
- (get_local $1)
+ (block
+ (set_local $5
+ (get_local $4)
+ )
+ (set_local $0
+ (get_local $1)
+ )
+ (br $while-in15)
)
- (br $while-in15)
)
)
(if
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-10 01:43:48 +0000