summaryrefslogtreecommitdiff
path: root/test/passes/flatten_local-cse.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/flatten_local-cse.txt')
-rw-r--r--test/passes/flatten_local-cse.txt552
1 files changed, 236 insertions, 316 deletions
diff --git a/test/passes/flatten_local-cse.txt b/test/passes/flatten_local-cse.txt
index 4c1e08b8d..f576ccefe 100644
--- a/test/passes/flatten_local-cse.txt
+++ b/test/passes/flatten_local-cse.txt
@@ -26,118 +26,104 @@
(local $17 i32)
(local $18 i32)
(local $19 i32)
- (block
- (local.set $2
- (i32.add
- (i32.const 1)
- (i32.const 2)
- )
- )
- (drop
- (local.get $2)
- )
- (nop)
- (local.set $3
- (local.get $2)
- )
- (drop
- (local.get $2)
- )
- (nop)
- (if
- (i32.const 0)
- (nop)
- )
- (nop)
- (local.set $4
- (i32.add
- (i32.const 1)
- (i32.const 2)
- )
- )
- (drop
- (local.get $4)
- )
- (nop)
- (local.set $5
- (local.get $x)
- )
- (local.set $6
- (local.get $y)
- )
- (local.set $7
- (i32.add
- (local.get $x)
- (local.get $y)
- )
- )
- (drop
- (local.get $7)
- )
- (nop)
- (local.set $8
- (local.get $x)
- )
- (local.set $9
- (local.get $y)
- )
- (local.set $10
- (local.get $7)
- )
- (drop
- (local.get $7)
+ (local.set $2
+ (i32.add
+ (i32.const 1)
+ (i32.const 2)
)
+ )
+ (drop
+ (local.get $2)
+ )
+ (local.set $3
+ (local.get $2)
+ )
+ (drop
+ (local.get $2)
+ )
+ (if
+ (i32.const 0)
(nop)
- (local.set $11
- (local.get $x)
- )
- (local.set $12
- (local.get $y)
- )
- (local.set $13
- (local.get $7)
- )
- (drop
- (local.get $7)
+ )
+ (local.set $4
+ (i32.add
+ (i32.const 1)
+ (i32.const 2)
)
- (nop)
- (call $basics)
- (nop)
- (local.set $14
+ )
+ (drop
+ (local.get $4)
+ )
+ (local.set $5
+ (local.get $x)
+ )
+ (local.set $6
+ (local.get $y)
+ )
+ (local.set $7
+ (i32.add
(local.get $x)
- )
- (local.set $15
(local.get $y)
)
- (local.set $16
- (local.get $7)
- )
- (drop
- (local.get $7)
- )
- (nop)
- (local.set $x
- (i32.const 100)
- )
- (nop)
- (local.set $17
+ )
+ (drop
+ (local.get $7)
+ )
+ (local.set $8
+ (local.get $x)
+ )
+ (local.set $9
+ (local.get $y)
+ )
+ (local.set $10
+ (local.get $7)
+ )
+ (drop
+ (local.get $7)
+ )
+ (local.set $11
+ (local.get $x)
+ )
+ (local.set $12
+ (local.get $y)
+ )
+ (local.set $13
+ (local.get $7)
+ )
+ (drop
+ (local.get $7)
+ )
+ (call $basics)
+ (local.set $14
+ (local.get $x)
+ )
+ (local.set $15
+ (local.get $y)
+ )
+ (local.set $16
+ (local.get $7)
+ )
+ (drop
+ (local.get $7)
+ )
+ (local.set $x
+ (i32.const 100)
+ )
+ (local.set $17
+ (local.get $x)
+ )
+ (local.set $18
+ (local.get $y)
+ )
+ (local.set $19
+ (i32.add
(local.get $x)
- )
- (local.set $18
(local.get $y)
)
- (local.set $19
- (i32.add
- (local.get $x)
- (local.get $y)
- )
- )
- (drop
- (local.get $19)
- )
- (nop)
)
- (nop)
+ (drop
+ (local.get $19)
+ )
)
(func $recursive1 (; 1 ;)
(local $x i32)
@@ -147,42 +133,36 @@
(local $4 i32)
(local $5 i32)
(local $6 i32)
- (block
- (local.set $2
- (i32.add
- (i32.const 2)
- (i32.const 3)
- )
- )
- (local.set $3
- (i32.add
- (i32.const 1)
- (local.get $2)
- )
- )
- (drop
- (local.get $3)
- )
- (nop)
- (local.set $4
- (local.get $2)
- )
- (local.set $5
- (local.get $3)
- )
- (drop
- (local.get $3)
+ (local.set $2
+ (i32.add
+ (i32.const 2)
+ (i32.const 3)
)
- (nop)
- (local.set $6
- (local.get $2)
- )
- (drop
+ )
+ (local.set $3
+ (i32.add
+ (i32.const 1)
(local.get $2)
)
- (nop)
)
- (nop)
+ (drop
+ (local.get $3)
+ )
+ (local.set $4
+ (local.get $2)
+ )
+ (local.set $5
+ (local.get $3)
+ )
+ (drop
+ (local.get $3)
+ )
+ (local.set $6
+ (local.get $2)
+ )
+ (drop
+ (local.get $2)
+ )
)
(func $recursive2 (; 2 ;)
(local $x i32)
@@ -192,42 +172,36 @@
(local $4 i32)
(local $5 i32)
(local $6 i32)
- (block
- (local.set $2
- (i32.add
- (i32.const 2)
- (i32.const 3)
- )
+ (local.set $2
+ (i32.add
+ (i32.const 2)
+ (i32.const 3)
)
- (local.set $3
- (i32.add
- (i32.const 1)
- (local.get $2)
- )
- )
- (drop
- (local.get $3)
- )
- (nop)
- (local.set $4
- (local.get $2)
- )
- (drop
- (local.get $2)
- )
- (nop)
- (local.set $5
+ )
+ (local.set $3
+ (i32.add
+ (i32.const 1)
(local.get $2)
)
- (local.set $6
- (local.get $3)
- )
- (drop
- (local.get $3)
- )
- (nop)
)
- (nop)
+ (drop
+ (local.get $3)
+ )
+ (local.set $4
+ (local.get $2)
+ )
+ (drop
+ (local.get $2)
+ )
+ (local.set $5
+ (local.get $2)
+ )
+ (local.set $6
+ (local.get $3)
+ )
+ (drop
+ (local.get $3)
+ )
)
(func $self (; 3 ;)
(local $x i32)
@@ -236,60 +210,50 @@
(local $3 i32)
(local $4 i32)
(local $5 i32)
- (block
- (local.set $2
- (i32.add
- (i32.const 2)
- (i32.const 3)
- )
- )
- (local.set $3
- (local.get $2)
- )
- (local.set $4
- (i32.add
- (local.get $2)
- (local.get $2)
- )
+ (local.set $2
+ (i32.add
+ (i32.const 2)
+ (i32.const 3)
)
- (drop
- (local.get $4)
- )
- (nop)
- (local.set $5
+ )
+ (local.set $3
+ (local.get $2)
+ )
+ (local.set $4
+ (i32.add
(local.get $2)
- )
- (drop
(local.get $2)
)
- (nop)
)
- (nop)
+ (drop
+ (local.get $4)
+ )
+ (local.set $5
+ (local.get $2)
+ )
+ (drop
+ (local.get $2)
+ )
)
(func $loads (; 4 ;)
(local $0 i32)
(local $1 i32)
- (block
- (local.set $0
- (i32.load
- (i32.const 10)
- )
- )
- (drop
- (local.get $0)
+ (local.set $0
+ (i32.load
+ (i32.const 10)
)
- (nop)
- (local.set $1
- (i32.load
- (i32.const 10)
- )
- )
- (drop
- (local.get $1)
+ )
+ (drop
+ (local.get $0)
+ )
+ (local.set $1
+ (i32.load
+ (i32.const 10)
)
- (nop)
)
- (nop)
+ (drop
+ (local.get $1)
+ )
)
(func $8 (; 5 ;) (param $var$0 i32) (result i32)
(local $var$1 i32)
@@ -359,7 +323,6 @@
(local.get $5)
(local.get $11)
)
- (nop)
(local.set $12
(local.get $var$1)
)
@@ -399,7 +362,6 @@
(local.get $var$1)
(local.get $19)
)
- (nop)
(local.set $20
(i32.const 0)
)
@@ -426,28 +388,24 @@
(local.set $x
(local.get $y)
)
- (nop)
(local.set $3
(local.get $x)
)
(local.set $y
(local.get $x)
)
- (nop)
(local.set $4
(local.get $x)
)
(local.set $x
(local.get $x)
)
- (nop)
(local.set $5
(local.get $x)
)
(local.set $y
(local.get $x)
)
- (nop)
(local.set $6
(local.get $x)
)
@@ -480,42 +438,36 @@
(local.set $x
(local.get $y)
)
- (nop)
(local.set $4
(local.get $z)
)
(local.set $y
(local.get $z)
)
- (nop)
(local.set $5
(local.get $x)
)
(local.set $z
(local.get $x)
)
- (nop)
(local.set $6
(local.get $y)
)
(local.set $x
(local.get $y)
)
- (nop)
(local.set $7
(local.get $z)
)
(local.set $y
(local.get $z)
)
- (nop)
(local.set $8
(local.get $x)
)
(local.set $z
(local.get $x)
)
- (nop)
(local.set $9
(local.get $x)
)
@@ -547,35 +499,30 @@
(local.set $x
(local.get $y)
)
- (nop)
(local.set $4
(local.get $z)
)
(local.set $y
(local.get $z)
)
- (nop)
(local.set $5
(local.get $y)
)
(local.set $z
(local.get $y)
)
- (nop)
(local.set $6
(local.get $y)
)
(local.set $y
(local.get $y)
)
- (nop)
(local.set $7
(local.get $y)
)
(local.set $z
(local.get $y)
)
- (nop)
(local.set $8
(local.get $y)
)
@@ -620,7 +567,6 @@
(local.set $var$2
(local.get $5)
)
- (nop)
(local.set $6
(f32.const 1)
)
@@ -646,48 +592,41 @@
(local $4 i32)
(local $5 i32)
(local $6 i32)
- (block
- (block $label$1
- (local.set $3
- (i32.const 128)
- )
- (br_if $label$1
- (i32.const 0)
- )
- (local.set $4
- (local.get $3)
- )
- (local.set $3
- (i32.const 0)
- )
- (br_if $label$1
- (local.get $4)
- )
- (local.set $5
- (local.get $3)
- )
- (drop
- (local.get $3)
- )
- (nop)
- (local.set $3
- (i32.const -14051)
- )
+ (block $label$1
+ (local.set $3
+ (i32.const 128)
)
- (local.set $6
+ (br_if $label$1
+ (i32.const 0)
+ )
+ (local.set $4
+ (local.get $3)
+ )
+ (local.set $3
+ (i32.const 0)
+ )
+ (br_if $label$1
+ (local.get $4)
+ )
+ (local.set $5
(local.get $3)
)
- (if
+ (drop
(local.get $3)
- (block
- (global.set $global$0
- (i32.const 0)
- )
- (nop)
- )
+ )
+ (local.set $3
+ (i32.const -14051)
+ )
+ )
+ (local.set $6
+ (local.get $3)
+ )
+ (if
+ (local.get $3)
+ (global.set $global$0
+ (i32.const 0)
)
)
- (nop)
)
(func $1 (; 1 ;)
(call $0
@@ -695,7 +634,6 @@
(f32.const -nan:0x7fc91a)
(i32.const -46)
)
- (nop)
)
(func $2 (; 2 ;) (param $var$0 i32) (param $var$1 f64) (result i32)
(local $2 i32)
@@ -708,13 +646,9 @@
)
(if
(local.get $2)
- (block
- (unreachable)
- (unreachable)
- )
+ (unreachable)
)
)
- (nop)
(local.set $3
(i32.const 0)
)
@@ -735,31 +669,26 @@
(local $2 i32)
(local $3 i32)
(local $4 i32)
- (block
- (local.set $1
- (local.get $var$0)
- )
- (local.set $2
- (i32.eqz
- (local.get $var$0)
- )
- )
- (call $out
- (local.get $2)
- )
- (nop)
- (local.set $3
+ (local.set $1
+ (local.get $var$0)
+ )
+ (local.set $2
+ (i32.eqz
(local.get $var$0)
)
- (local.set $4
- (local.get $2)
- )
- (call $out
- (local.get $2)
- )
- (nop)
)
- (nop)
+ (call $out
+ (local.get $2)
+ )
+ (local.set $3
+ (local.get $var$0)
+ )
+ (local.set $4
+ (local.get $2)
+ )
+ (call $out
+ (local.get $2)
+ )
)
)
(module
@@ -783,18 +712,15 @@
(local.set $temp
(local.get $1)
)
- (nop)
(local.set $temp
(i64.const 9999)
)
- (nop)
(local.set $2
(local.get $1)
)
(local.set $temp
(local.get $1)
)
- (nop)
(local.set $3
(local.get $temp)
)
@@ -815,29 +741,23 @@
(local $2 i32)
(local $3 i32)
(local $4 i32)
- (block
- (local.set $2
- (global.get $glob)
- )
- (local.set $x
- (local.get $2)
- )
- (nop)
- (local.set $3
- (local.get $x)
- )
- (local.set $y
- (local.get $x)
- )
- (nop)
- (local.set $4
- (local.get $x)
- )
- (local.set $y
- (local.get $x)
- )
- (nop)
+ (local.set $2
+ (global.get $glob)
+ )
+ (local.set $x
+ (local.get $2)
+ )
+ (local.set $3
+ (local.get $x)
+ )
+ (local.set $y
+ (local.get $x)
+ )
+ (local.set $4
+ (local.get $x)
+ )
+ (local.set $y
+ (local.get $x)
)
- (nop)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 05:18:49 +0000