summaryrefslogtreecommitdiff
path: root/test/passes
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes')
-rw-r--r--test/passes/O3_low-memory-unused_metrics.txt438
-rw-r--r--test/passes/remove-unused-names_code-folding.txt114
2 files changed, 260 insertions, 292 deletions
diff --git a/test/passes/O3_low-memory-unused_metrics.txt b/test/passes/O3_low-memory-unused_metrics.txt
index 8806e9a04..3117d7778 100644
--- a/test/passes/O3_low-memory-unused_metrics.txt
+++ b/test/passes/O3_low-memory-unused_metrics.txt
@@ -9,23 +9,23 @@ total
[table-data] : 0
[tables] : 0
[tags] : 0
- [total] : 1964
+ [total] : 1953
[vars] : 9
- Binary : 240
+ Binary : 238
Block : 68
Break : 90
Call : 22
CallIndirect : 1
- Const : 175
+ Const : 174
Drop : 8
If : 27
- Load : 313
- LocalGet : 633
- LocalSet : 181
+ Load : 311
+ LocalGet : 629
+ LocalSet : 180
Loop : 3
Return : 3
Select : 11
- Store : 160
+ Store : 159
Unary : 29
(module
(type $0 (func (param i32 i32 i32) (result i32)))
@@ -2718,307 +2718,289 @@ total
(local.get $0)
)
)
- (i32.store8
- (block $label$68 (result i32)
- (if
- (i32.eq
- (local.get $4)
- (i32.const 2)
- )
- (then
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
- )
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ (block $label$68
+ (if
+ (i32.eq
+ (local.get $4)
+ (i32.const 2)
+ )
+ (then
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (local.get $1)
+ (i32.const 1)
)
- (local.set $1
- (i32.load offset=48
- (local.get $0)
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ (local.get $1)
+ )
+ (local.set $1
+ (i32.load offset=48
+ (local.get $0)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (i32.shr_u
- (local.get $1)
- (i32.const 8)
- )
- )
- (local.set $1
- (i32.load16_u offset=50
- (local.get $0)
- )
+ (i32.const 1)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
+ (local.get $2)
)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
- (local.get $2)
- )
- )
+ (i32.shr_u
(local.get $1)
+ (i32.const 8)
)
- (local.set $1
- (i32.load8_u offset=51
- (local.get $0)
- )
- )
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ )
+ (local.set $1
+ (i32.load16_u offset=50
+ (local.get $0)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (local.get $1)
+ (i32.const 1)
)
- (local.set $1
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
(i32.load offset=8
- (local.get $0)
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ (local.get $1)
+ )
+ (local.set $1
+ (i32.load8_u offset=51
+ (local.get $0)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (local.get $1)
+ (i32.const 1)
)
- (local.set $1
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
(i32.load offset=8
- (local.get $0)
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ (local.get $1)
+ )
+ (local.set $1
+ (i32.load offset=8
+ (local.get $0)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (i32.shr_u
- (local.get $1)
- (i32.const 8)
- )
+ (i32.const 1)
)
- (local.set $1
- (i32.load16_u offset=10
- (local.get $0)
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ (local.get $1)
+ )
+ (local.set $1
+ (i32.load offset=8
+ (local.get $0)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (local.get $1)
+ (i32.const 1)
)
- (local.set $3
- (i32.load8_u offset=11
- (local.get $0)
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $1
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ (i32.shr_u
+ (local.get $1)
+ (i32.const 8)
)
- (br $label$68
- (i32.add
- (local.get $1)
- (i32.load offset=8
+ )
+ (local.set $1
+ (i32.load16_u offset=10
+ (local.get $0)
+ )
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
+ (i32.const 1)
)
)
- )
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
(local.get $2)
)
)
- (i32.const 1)
- )
- )
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
- (local.get $2)
- )
- )
- (i32.shr_u
(local.get $1)
- (i32.const 24)
)
- )
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $3
- (i32.load offset=20
- (local.get $2)
- )
+ (local.set $3
+ (i32.load8_u offset=11
+ (local.get $0)
)
- (i32.const 1)
)
+ (br $label$68)
)
- (i32.store8
- (i32.add
- (local.get $3)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (i32.shr_u
- (local.get $1)
- (i32.const 16)
- )
+ (i32.const 1)
)
- (local.set $3
- (i32.load offset=48
- (local.get $0)
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $1
- (i32.load offset=20
- (local.get $2)
- )
- )
- (i32.const 1)
- )
+ (i32.shr_u
+ (local.get $1)
+ (i32.const 24)
)
- (i32.store8
- (i32.add
- (local.get $1)
- (i32.load offset=8
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $3
+ (i32.load offset=20
(local.get $2)
)
)
- (i32.shr_u
- (local.get $3)
- (i32.const 8)
+ (i32.const 1)
+ )
+ )
+ (i32.store8
+ (i32.add
+ (local.get $3)
+ (i32.load offset=8
+ (local.get $2)
)
)
- (i32.store offset=20
- (local.get $2)
- (i32.add
- (local.tee $1
- (i32.load offset=20
- (local.get $2)
- )
+ (i32.shr_u
+ (local.get $1)
+ (i32.const 16)
+ )
+ )
+ (local.set $3
+ (i32.load offset=48
+ (local.get $0)
+ )
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $1
+ (i32.load offset=20
+ (local.get $2)
)
- (i32.const 1)
)
+ (i32.const 1)
)
+ )
+ (i32.store8
(i32.add
(local.get $1)
(i32.load offset=8
(local.get $2)
)
)
+ (i32.shr_u
+ (local.get $3)
+ (i32.const 8)
+ )
+ )
+ )
+ (i32.store offset=20
+ (local.get $2)
+ (i32.add
+ (local.tee $1
+ (i32.load offset=20
+ (local.get $2)
+ )
+ )
+ (i32.const 1)
+ )
+ )
+ (i32.store8
+ (i32.add
+ (local.get $1)
+ (i32.load offset=8
+ (local.get $2)
+ )
)
(local.get $3)
)
diff --git a/test/passes/remove-unused-names_code-folding.txt b/test/passes/remove-unused-names_code-folding.txt
index d0486b3c7..85810131b 100644
--- a/test/passes/remove-unused-names_code-folding.txt
+++ b/test/passes/remove-unused-names_code-folding.txt
@@ -10,11 +10,14 @@
(nop)
)
)
- (block
- (drop
- (i32.const 0)
+ (if
+ (i32.const 0)
+ (then
+ (nop)
+ )
+ (else
+ (nop)
)
- (nop)
)
(if
(i32.const 0)
@@ -26,13 +29,19 @@
)
)
(drop
- (block (result i32)
- (drop
- (i32.const 0)
+ (if (result i32)
+ (i32.const 0)
+ (then
+ (i32.add
+ (i32.const 1)
+ (i32.const 2)
+ )
)
- (i32.add
- (i32.const 1)
- (i32.const 2)
+ (else
+ (i32.add
+ (i32.const 1)
+ (i32.const 2)
+ )
)
)
)
@@ -59,9 +68,7 @@
(drop
(i32.const 0)
)
- (block
- (nop)
- )
+ (nop)
)
(block
(if
@@ -111,12 +118,10 @@
(drop
(i32.const 0)
)
- (block
- (drop
- (i32.add
- (i32.const 1)
- (i32.const 2)
- )
+ (drop
+ (i32.add
+ (i32.const 1)
+ (i32.const 2)
)
)
)
@@ -502,12 +507,10 @@
(drop
(local.get $x)
)
- (block
- (br_if $out
- (local.get $y)
- )
- (nop)
+ (br_if $out
+ (local.get $y)
)
+ (nop)
)
(block
(if
@@ -695,18 +698,16 @@
(drop
(i32.const 1)
)
- (block
- (drop
- (i32.const 2)
- )
- (nop)
- (nop)
- (nop)
- (nop)
- (nop)
- (nop)
- (br $out)
+ (drop
+ (i32.const 2)
)
+ (nop)
+ (nop)
+ (nop)
+ (nop)
+ (nop)
+ (nop)
+ (br $out)
)
)
(block $out2
@@ -745,17 +746,13 @@
(drop
(i32.const 1)
)
- (block
- (br $out3)
- )
+ (br $out3)
)
(block
(drop
(i32.const 1)
)
- (block
- (br $out3)
- )
+ (br $out3)
)
(br $out3)
)
@@ -788,20 +785,15 @@
)
)
(drop
- (block $y (result i32)
- (if
- (i32.const 0)
- (then
- (drop
- (i32.const 1)
- )
- (drop
- (i32.const 2)
- )
- (br $y
- (i32.const 3)
+ (block (result i32)
+ (block $y
+ (if
+ (i32.const 0)
+ (then
+ (br $y)
)
)
+ (br $y)
)
(drop
(i32.const 1)
@@ -809,9 +801,7 @@
(drop
(i32.const 2)
)
- (br $y
- (i32.const 3)
- )
+ (i32.const 3)
)
)
(drop
@@ -1508,9 +1498,7 @@
(drop
(i32.const 0)
)
- (block
- (nop)
- )
+ (nop)
)
(if
(i32.const 0)
@@ -1527,11 +1515,9 @@
(drop
(unreachable)
)
- (block (result i32)
- (i32.add
- (i32.const 1)
- (i32.const 2)
- )
+ (i32.add
+ (i32.const 1)
+ (i32.const 2)
)
)
)