summaryrefslogtreecommitdiff
path: root/test/memorygrowth.fromasm.imprecise.no-opts
diff options
context:
space:
mode:
Diffstat (limited to 'test/memorygrowth.fromasm.imprecise.no-opts')
-rw-r--r--test/memorygrowth.fromasm.imprecise.no-opts248
1 files changed, 128 insertions, 120 deletions
diff --git a/test/memorygrowth.fromasm.imprecise.no-opts b/test/memorygrowth.fromasm.imprecise.no-opts
index ddd73a5f8..3dcf5fc53 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$2
+ (block $do-once$19
(if
(i32.eq
(get_local $i)
@@ -295,7 +295,7 @@
(get_local $j)
(get_local $n)
)
- (br $do-once$2)
+ (br $do-once$19)
)
(call_import $qa)
)
@@ -519,7 +519,7 @@
(get_local $o)
)
)
- (block $do-once$4
+ (block $do-once$21
(if
(i32.eq
(get_local $s)
@@ -580,7 +580,7 @@
(i32.const 1216)
)
)
- (br $do-once$4)
+ (br $do-once$21)
)
(call_import $qa)
)
@@ -912,7 +912,7 @@
(set_local $s
(get_local $j)
)
- (loop $while-out$6 $while-in$7
+ (loop $while-out$23 $while-in$24
(set_local $j
(i32.load
(i32.add
@@ -945,7 +945,7 @@
(set_local $A
(get_local $s)
)
- (br $while-out$6)
+ (br $while-out$23)
)
(set_local $B
(get_local $f)
@@ -993,7 +993,7 @@
(get_local $s)
)
)
- (br $while-in$7)
+ (br $while-in$24)
)
(set_local $s
(i32.load
@@ -1036,7 +1036,7 @@
)
)
)
- (block $do-once$8
+ (block $do-once$25
(if
(i32.eq
(get_local $o)
@@ -1078,7 +1078,7 @@
(set_local $C
(i32.const 0)
)
- (br $do-once$8)
+ (br $do-once$25)
)
(block
(set_local $D
@@ -1099,7 +1099,7 @@
)
)
)
- (loop $while-out$10 $while-in$11
+ (loop $while-out$27 $while-in$28
(set_local $q
(i32.add
(get_local $D)
@@ -1120,7 +1120,7 @@
(set_local $E
(get_local $q)
)
- (br $while-in$11)
+ (br $while-in$28)
)
)
(set_local $q
@@ -1145,7 +1145,7 @@
(set_local $G
(get_local $E)
)
- (br $while-out$10)
+ (br $while-out$27)
)
(block
(set_local $D
@@ -1156,7 +1156,7 @@
)
)
)
- (br $while-in$11)
+ (br $while-in$28)
)
(if
(i32.lt_u
@@ -1172,7 +1172,7 @@
(set_local $C
(get_local $F)
)
- (br $do-once$8)
+ (br $do-once$25)
)
)
)
@@ -1232,14 +1232,14 @@
(set_local $C
(get_local $o)
)
- (br $do-once$8)
+ (br $do-once$25)
)
(call_import $qa)
)
)
)
)
- (block $do-once$12
+ (block $do-once$29
(if
(get_local $e)
(block
@@ -1292,7 +1292,7 @@
)
)
)
- (br $do-once$12)
+ (br $do-once$29)
)
)
)
@@ -1335,7 +1335,7 @@
(i32.eqz
(get_local $C)
)
- (br $do-once$12)
+ (br $do-once$29)
)
)
)
@@ -1366,7 +1366,7 @@
)
)
)
- (block $do-once$14
+ (block $do-once$31
(if
(get_local $s)
(if
@@ -1390,7 +1390,7 @@
)
(get_local $C)
)
- (br $do-once$14)
+ (br $do-once$31)
)
)
)
@@ -1428,7 +1428,7 @@
)
(get_local $C)
)
- (br $do-once$12)
+ (br $do-once$29)
)
)
)
@@ -1874,7 +1874,7 @@
(set_local $i
(i32.const 0)
)
- (loop $while-out$17 $while-in$18
+ (loop $while-out$3 $while-in$4
(set_local $m
(i32.and
(i32.load
@@ -1997,7 +1997,7 @@
(set_local $N
(i32.const 86)
)
- (br $while-out$17)
+ (br $while-out$3)
)
(block
(set_local $u
@@ -2023,7 +2023,7 @@
)
)
)
- (br $while-in$18)
+ (br $while-in$4)
)
)
)
@@ -2224,7 +2224,7 @@
(get_local $N)
(i32.const 90)
)
- (loop $while-out$19 $while-in$20
+ (loop $while-out$5 $while-in$6
(set_local $N
(i32.const 0)
)
@@ -2285,7 +2285,7 @@
(set_local $N
(i32.const 90)
)
- (br $while-in$20)
+ (br $while-in$6)
)
)
(set_local $P
@@ -2307,7 +2307,7 @@
(set_local $V
(get_local $i)
)
- (br $while-out$19)
+ (br $while-out$5)
)
(block
(set_local $O
@@ -2321,7 +2321,7 @@
)
)
)
- (br $while-in$20)
+ (br $while-in$6)
)
)
(if
@@ -2383,7 +2383,7 @@
)
)
)
- (block $do-once$21
+ (block $do-once$7
(if
(i32.eq
(get_local $s)
@@ -2425,7 +2425,7 @@
(set_local $W
(i32.const 0)
)
- (br $do-once$21)
+ (br $do-once$7)
)
(block
(set_local $X
@@ -2446,7 +2446,7 @@
)
)
)
- (loop $while-out$23 $while-in$24
+ (loop $while-out$9 $while-in$10
(set_local $d
(i32.add
(get_local $X)
@@ -2467,7 +2467,7 @@
(set_local $Y
(get_local $d)
)
- (br $while-in$24)
+ (br $while-in$10)
)
)
(set_local $d
@@ -2492,7 +2492,7 @@
(set_local $_
(get_local $Y)
)
- (br $while-out$23)
+ (br $while-out$9)
)
(block
(set_local $X
@@ -2503,7 +2503,7 @@
)
)
)
- (br $while-in$24)
+ (br $while-in$10)
)
(if
(i32.lt_u
@@ -2519,7 +2519,7 @@
(set_local $W
(get_local $Z)
)
- (br $do-once$21)
+ (br $do-once$7)
)
)
)
@@ -2579,14 +2579,14 @@
(set_local $W
(get_local $s)
)
- (br $do-once$21)
+ (br $do-once$7)
)
(call_import $qa)
)
)
)
)
- (block $do-once$25
+ (block $do-once$11
(if
(get_local $g)
(block
@@ -2639,7 +2639,7 @@
)
)
)
- (br $do-once$25)
+ (br $do-once$11)
)
)
)
@@ -2682,7 +2682,7 @@
(i32.eqz
(get_local $W)
)
- (br $do-once$25)
+ (br $do-once$11)
)
)
)
@@ -2713,7 +2713,7 @@
)
)
)
- (block $do-once$27
+ (block $do-once$13
(if
(get_local $q)
(if
@@ -2737,7 +2737,7 @@
)
(get_local $W)
)
- (br $do-once$27)
+ (br $do-once$13)
)
)
)
@@ -2775,14 +2775,14 @@
)
(get_local $W)
)
- (br $do-once$25)
+ (br $do-once$11)
)
)
)
)
)
)
- (block $do-once$29
+ (block $do-once$15
(if
(i32.lt_u
(get_local $U)
@@ -2968,7 +2968,7 @@
)
(get_local $g)
)
- (br $do-once$29)
+ (br $do-once$15)
)
)
(set_local $g
@@ -3167,7 +3167,7 @@
)
(get_local $i)
)
- (br $do-once$29)
+ (br $do-once$15)
)
)
(set_local $q
@@ -3194,7 +3194,7 @@
(get_local $t)
)
)
- (loop $while-out$31 $while-in$32
+ (loop $while-out$17 $while-in$18
(if
(i32.eq
(i32.and
@@ -3215,7 +3215,7 @@
(set_local $N
(i32.const 148)
)
- (br $while-out$31)
+ (br $while-out$17)
)
)
(set_local $t
@@ -3252,7 +3252,7 @@
(set_local $N
(i32.const 145)
)
- (br $while-out$31)
+ (br $while-out$17)
)
(block
(set_local $q
@@ -3266,7 +3266,7 @@
)
)
)
- (br $while-in$32)
+ (br $while-in$18)
)
(if
(i32.eq
@@ -3307,7 +3307,7 @@
)
(get_local $i)
)
- (br $do-once$29)
+ (br $do-once$15)
)
)
(if
@@ -3376,7 +3376,7 @@
)
(i32.const 0)
)
- (br $do-once$29)
+ (br $do-once$15)
)
(call_import $qa)
)
@@ -4123,8 +4123,10 @@
(i32.const -1)
)
(block
- (call_import $ta
- (get_local $$)
+ (drop
+ (call_import $ta
+ (get_local $$)
+ )
)
(br $label$break$d)
)
@@ -4344,7 +4346,7 @@
(set_local $ma
(i32.const 0)
)
- (loop $do-out$44 $do-in$45
+ (loop $do-out$75 $do-in$76
(set_local $c
(i32.add
(i32.const 1248)
@@ -4377,7 +4379,7 @@
(i32.const 1)
)
)
- (br_if $do-in$45
+ (br_if $do-in$76
(i32.ne
(get_local $ma)
(i32.const 32)
@@ -4463,7 +4465,7 @@
(set_local $ka
(i32.const 1656)
)
- (loop $do-out$46 $do-in$47
+ (loop $do-out$44 $do-in$45
(set_local $ma
(i32.load
(get_local $ka)
@@ -4504,7 +4506,7 @@
(set_local $N
(i32.const 201)
)
- (br $do-out$46)
+ (br $do-out$44)
)
)
(set_local $ka
@@ -4515,7 +4517,7 @@
)
)
)
- (br_if $do-in$47
+ (br_if $do-in$45
(i32.ne
(get_local $ka)
(i32.const 0)
@@ -4671,7 +4673,7 @@
(set_local $ka
(i32.const 1656)
)
- (loop $while-out$48 $while-in$49
+ (loop $while-out$46 $while-in$47
(if
(i32.eq
(i32.load
@@ -4689,7 +4691,7 @@
(set_local $N
(i32.const 209)
)
- (br $while-out$48)
+ (br $while-out$46)
)
)
(set_local $ka
@@ -4708,10 +4710,10 @@
(set_local $wa
(i32.const 1656)
)
- (br $while-out$48)
+ (br $while-out$46)
)
)
- (br $while-in$49)
+ (br $while-in$47)
)
(if
(i32.eq
@@ -4831,7 +4833,7 @@
(i32.const 3)
)
)
- (block $do-once$50
+ (block $do-once$48
(if
(i32.eq
(get_local $ma)
@@ -4907,7 +4909,7 @@
)
(get_local $la)
)
- (br $do-once$50)
+ (br $do-once$48)
)
)
(set_local $la
@@ -4974,7 +4976,7 @@
)
)
)
- (block $do-once$53
+ (block $do-once$59
(if
(i32.ne
(get_local $da)
@@ -4998,7 +5000,7 @@
)
(get_local $ma)
)
- (br $do-once$53)
+ (br $do-once$59)
)
(call_import $qa)
)
@@ -5028,7 +5030,7 @@
(br $label$break$e)
)
)
- (block $do-once$55
+ (block $do-once$61
(if
(i32.eq
(get_local $V)
@@ -5065,7 +5067,7 @@
(set_local $xa
(get_local $e)
)
- (br $do-once$55)
+ (br $do-once$61)
)
)
(call_import $qa)
@@ -5101,7 +5103,7 @@
)
)
)
- (block $do-once$57
+ (block $do-once$51
(if
(i32.eq
(get_local $e)
@@ -5143,7 +5145,7 @@
(set_local $ya
(i32.const 0)
)
- (br $do-once$57)
+ (br $do-once$51)
)
(block
(set_local $za
@@ -5164,7 +5166,7 @@
)
)
)
- (loop $while-out$59 $while-in$60
+ (loop $while-out$53 $while-in$54
(set_local $aa
(i32.add
(get_local $za)
@@ -5185,7 +5187,7 @@
(set_local $Aa
(get_local $aa)
)
- (br $while-in$60)
+ (br $while-in$54)
)
)
(set_local $aa
@@ -5210,7 +5212,7 @@
(set_local $Ca
(get_local $Aa)
)
- (br $while-out$59)
+ (br $while-out$53)
)
(block
(set_local $za
@@ -5221,7 +5223,7 @@
)
)
)
- (br $while-in$60)
+ (br $while-in$54)
)
(if
(i32.lt_u
@@ -5237,7 +5239,7 @@
(set_local $ya
(get_local $Ba)
)
- (br $do-once$57)
+ (br $do-once$51)
)
)
)
@@ -5297,7 +5299,7 @@
(set_local $ya
(get_local $e)
)
- (br $do-once$57)
+ (br $do-once$51)
)
(call_import $qa)
)
@@ -5327,7 +5329,7 @@
)
)
)
- (block $do-once$61
+ (block $do-once$55
(if
(i32.eq
(get_local $ma)
@@ -5342,7 +5344,7 @@
)
(if
(get_local $ya)
- (br $do-once$61)
+ (br $do-once$55)
)
(i32.store
(i32.const 1212)
@@ -5435,7 +5437,7 @@
(get_local $da)
)
)
- (block $do-once$63
+ (block $do-once$57
(if
(get_local $V)
(if
@@ -5459,7 +5461,7 @@
)
(get_local $ya)
)
- (br $do-once$63)
+ (br $do-once$57)
)
)
)
@@ -5596,7 +5598,7 @@
(get_local $fa)
)
)
- (block $do-once$65
+ (block $do-once$63
(if
(i32.eqz
(i32.and
@@ -5648,7 +5650,7 @@
(set_local $Ga
(get_local $$)
)
- (br $do-once$65)
+ (br $do-once$63)
)
)
(call_import $qa)
@@ -5680,7 +5682,7 @@
)
(get_local $la)
)
- (br $do-once$50)
+ (br $do-once$48)
)
)
(set_local $e
@@ -5689,7 +5691,7 @@
(i32.const 8)
)
)
- (block $do-once$67
+ (block $do-once$65
(if
(i32.eqz
(get_local $e)
@@ -5707,7 +5709,7 @@
(set_local $Ha
(i32.const 31)
)
- (br $do-once$67)
+ (br $do-once$65)
)
)
(set_local $V
@@ -5884,7 +5886,7 @@
)
(get_local $ka)
)
- (br $do-once$50)
+ (br $do-once$48)
)
)
(set_local $aa
@@ -5911,7 +5913,7 @@
(get_local $e)
)
)
- (loop $while-out$69 $while-in$70
+ (loop $while-out$67 $while-in$68
(if
(i32.eq
(i32.and
@@ -5932,7 +5934,7 @@
(set_local $N
(i32.const 279)
)
- (br $while-out$69)
+ (br $while-out$67)
)
)
(set_local $e
@@ -5969,7 +5971,7 @@
(set_local $N
(i32.const 276)
)
- (br $while-out$69)
+ (br $while-out$67)
)
(block
(set_local $aa
@@ -5983,7 +5985,7 @@
)
)
)
- (br $while-in$70)
+ (br $while-in$68)
)
(if
(i32.eq
@@ -6024,7 +6026,7 @@
)
(get_local $ka)
)
- (br $do-once$50)
+ (br $do-once$48)
)
)
(if
@@ -6093,7 +6095,7 @@
)
(i32.const 0)
)
- (br $do-once$50)
+ (br $do-once$48)
)
(call_import $qa)
)
@@ -6122,7 +6124,7 @@
)
)
)
- (loop $while-out$71 $while-in$72
+ (loop $while-out$69 $while-in$70
(set_local $ka
(i32.load
(get_local $wa)
@@ -6154,7 +6156,7 @@
(set_local $La
(get_local $ea)
)
- (br $while-out$71)
+ (br $while-out$69)
)
)
)
@@ -6167,7 +6169,7 @@
)
)
)
- (br $while-in$72)
+ (br $while-in$70)
)
(set_local $ca
(i32.add
@@ -6364,7 +6366,7 @@
(i32.const 24)
)
)
- (loop $do-out$73 $do-in$74
+ (loop $do-out$71 $do-in$72
(set_local $ka
(i32.add
(get_local $ka)
@@ -6375,7 +6377,7 @@
(get_local $ka)
(i32.const 7)
)
- (br_if $do-in$74
+ (br_if $do-in$72
(i32.lt_u
(i32.add
(get_local $ka)
@@ -6756,7 +6758,7 @@
(get_local $e)
)
)
- (loop $while-out$75 $while-in$76
+ (loop $while-out$73 $while-in$74
(if
(i32.eq
(i32.and
@@ -6777,7 +6779,7 @@
(set_local $N
(i32.const 305)
)
- (br $while-out$75)
+ (br $while-out$73)
)
)
(set_local $e
@@ -6814,7 +6816,7 @@
(set_local $N
(i32.const 302)
)
- (br $while-out$75)
+ (br $while-out$73)
)
(block
(set_local $ma
@@ -6828,7 +6830,7 @@
)
)
)
- (br $while-in$76)
+ (br $while-in$74)
)
(if
(i32.eq
@@ -9932,10 +9934,12 @@
)
)
)
- (call $jb
- (get_local $n)
- (get_local $m)
- (get_local $l)
+ (drop
+ (call $jb
+ (get_local $n)
+ (get_local $m)
+ (get_local $l)
+ )
)
(i32.store
(get_local $e)
@@ -10557,22 +10561,24 @@
)
)
(block
- (call_indirect $FUNCSIG$iiii
- (i32.add
- (i32.and
- (i32.load
- (i32.add
- (get_local $a)
- (i32.const 36)
+ (drop
+ (call_indirect $FUNCSIG$iiii
+ (i32.add
+ (i32.and
+ (i32.load
+ (i32.add
+ (get_local $a)
+ (i32.const 36)
+ )
)
+ (i32.const 3)
)
- (i32.const 3)
+ (i32.const 2)
)
- (i32.const 2)
+ (get_local $a)
+ (i32.const 0)
+ (i32.const 0)
)
- (get_local $a)
- (i32.const 0)
- (i32.const 0)
)
(if
(i32.eqz
@@ -11914,8 +11920,10 @@
)
)
(func $Na (result i32)
- (call $db
- (i32.const 1144)
+ (drop
+ (call $db
+ (i32.const 1144)
+ )
)
(return
(i32.const 0)
@@ -11965,7 +11973,7 @@
(i32.const 0)
)
)
- (func $__growWasmMemory (param $newSize i32)
+ (func $__growWasmMemory (param $newSize i32) (result i32)
(grow_memory
(get_local $newSize)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-10 06:43:51 +0000