summaryrefslogtreecommitdiff
path: root/test/passes/flatten_i64-to-i32-lowering.txt
diff options
context:
space:
mode:
Diffstat (limited to 'test/passes/flatten_i64-to-i32-lowering.txt')
-rw-r--r--test/passes/flatten_i64-to-i32-lowering.txt494
1 files changed, 233 insertions, 261 deletions
diff --git a/test/passes/flatten_i64-to-i32-lowering.txt b/test/passes/flatten_i64-to-i32-lowering.txt
index a151142dc..0fb98cb83 100644
--- a/test/passes/flatten_i64-to-i32-lowering.txt
+++ b/test/passes/flatten_i64-to-i32-lowering.txt
@@ -83,7 +83,6 @@
)
(func $unreachable-select-i64 (; 2 ;) (result i32)
(local $i64toi32_i32$0 i32)
- (unreachable)
(block
(drop
(block (result i32)
@@ -102,7 +101,6 @@
)
(func $unreachable-select-i64-b (; 3 ;) (result i32)
(local $i64toi32_i32$0 i32)
- (unreachable)
(block
(unreachable)
(drop
@@ -122,7 +120,6 @@
(func $unreachable-select-i64-c (; 4 ;) (result i32)
(local $i64toi32_i32$0 i32)
(local $i64toi32_i32$1 i32)
- (unreachable)
(block
(drop
(block (result i32)
@@ -159,263 +156,250 @@
(local $i64toi32_i32$1 i32)
(local $i64toi32_i32$2 i32)
(block
- (block
- (local.set $0
- (block (result i32)
- (local.set $i64toi32_i32$2
- (i32.const 0)
- )
- (local.set $i64toi32_i32$0
- (i32.load
- (local.get $i64toi32_i32$2)
- )
+ (local.set $0
+ (block (result i32)
+ (local.set $i64toi32_i32$2
+ (i32.const 0)
+ )
+ (local.set $i64toi32_i32$0
+ (i32.load
+ (local.get $i64toi32_i32$2)
)
- (local.set $i64toi32_i32$1
- (i32.load offset=4
- (local.get $i64toi32_i32$2)
- )
+ )
+ (local.set $i64toi32_i32$1
+ (i32.load offset=4
+ (local.get $i64toi32_i32$2)
)
- (local.get $i64toi32_i32$0)
)
+ (local.get $i64toi32_i32$0)
)
- (local.set $0$hi
- (local.get $i64toi32_i32$1)
+ )
+ (local.set $0$hi
+ (local.get $i64toi32_i32$1)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (local.get $0$hi)
)
+ (local.get $0)
)
- (drop
+ )
+ (block
+ (local.set $1
(block (result i32)
- (local.set $i64toi32_i32$1
- (local.get $0$hi)
+ (local.set $i64toi32_i32$2
+ (i32.const 0)
)
- (local.get $0)
- )
- )
- (nop)
- (block
- (local.set $1
- (block (result i32)
- (local.set $i64toi32_i32$2
- (i32.const 0)
- )
- (local.set $i64toi32_i32$1
- (i32.load
- (local.get $i64toi32_i32$2)
- )
+ (local.set $i64toi32_i32$1
+ (i32.load
+ (local.get $i64toi32_i32$2)
)
- (local.set $i64toi32_i32$0
- (i32.load offset=4
- (local.get $i64toi32_i32$2)
- )
+ )
+ (local.set $i64toi32_i32$0
+ (i32.load offset=4
+ (local.get $i64toi32_i32$2)
)
- (local.get $i64toi32_i32$1)
)
+ (local.get $i64toi32_i32$1)
)
- (local.set $1$hi
- (local.get $i64toi32_i32$0)
+ )
+ (local.set $1$hi
+ (local.get $i64toi32_i32$0)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $i64toi32_i32$0
+ (local.get $1$hi)
)
+ (local.get $1)
)
- (drop
+ )
+ (block
+ (local.set $2
(block (result i32)
- (local.set $i64toi32_i32$0
- (local.get $1$hi)
+ (local.set $i64toi32_i32$2
+ (i32.const 0)
)
- (local.get $1)
- )
- )
- (nop)
- (block
- (local.set $2
- (block (result i32)
- (local.set $i64toi32_i32$2
- (i32.const 0)
- )
- (local.set $i64toi32_i32$0
- (i32.load align=2
- (local.get $i64toi32_i32$2)
- )
+ (local.set $i64toi32_i32$0
+ (i32.load align=2
+ (local.get $i64toi32_i32$2)
)
- (local.set $i64toi32_i32$1
- (i32.load offset=4 align=2
- (local.get $i64toi32_i32$2)
- )
+ )
+ (local.set $i64toi32_i32$1
+ (i32.load offset=4 align=2
+ (local.get $i64toi32_i32$2)
)
- (local.get $i64toi32_i32$0)
)
+ (local.get $i64toi32_i32$0)
)
- (local.set $2$hi
- (local.get $i64toi32_i32$1)
+ )
+ (local.set $2$hi
+ (local.get $i64toi32_i32$1)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (local.get $2$hi)
)
+ (local.get $2)
)
- (drop
+ )
+ (block
+ (local.set $3
(block (result i32)
- (local.set $i64toi32_i32$1
- (local.get $2$hi)
+ (local.set $i64toi32_i32$2
+ (i32.const 0)
)
- (local.get $2)
- )
- )
- (nop)
- (block
- (local.set $3
- (block (result i32)
- (local.set $i64toi32_i32$2
- (i32.const 0)
- )
- (local.set $i64toi32_i32$1
- (i32.load align=1
- (local.get $i64toi32_i32$2)
- )
+ (local.set $i64toi32_i32$1
+ (i32.load align=1
+ (local.get $i64toi32_i32$2)
)
- (local.set $i64toi32_i32$0
- (i32.load offset=4 align=1
- (local.get $i64toi32_i32$2)
- )
+ )
+ (local.set $i64toi32_i32$0
+ (i32.load offset=4 align=1
+ (local.get $i64toi32_i32$2)
)
- (local.get $i64toi32_i32$1)
)
+ (local.get $i64toi32_i32$1)
)
- (local.set $3$hi
- (local.get $i64toi32_i32$0)
+ )
+ (local.set $3$hi
+ (local.get $i64toi32_i32$0)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $i64toi32_i32$0
+ (local.get $3$hi)
)
+ (local.get $3)
)
- (drop
+ )
+ (block
+ (local.set $4
(block (result i32)
- (local.set $i64toi32_i32$0
- (local.get $3$hi)
+ (local.set $i64toi32_i32$2
+ (i32.const 0)
)
- (local.get $3)
- )
- )
- (nop)
- (block
- (local.set $4
- (block (result i32)
- (local.set $i64toi32_i32$2
- (i32.const 0)
- )
- (local.set $i64toi32_i32$0
- (i32.load
- (local.get $i64toi32_i32$2)
- )
+ (local.set $i64toi32_i32$0
+ (i32.load
+ (local.get $i64toi32_i32$2)
)
- (local.set $i64toi32_i32$1
- (i32.load offset=4
- (local.get $i64toi32_i32$2)
- )
+ )
+ (local.set $i64toi32_i32$1
+ (i32.load offset=4
+ (local.get $i64toi32_i32$2)
)
- (local.get $i64toi32_i32$0)
)
+ (local.get $i64toi32_i32$0)
)
- (local.set $4$hi
- (local.get $i64toi32_i32$1)
+ )
+ (local.set $4$hi
+ (local.get $i64toi32_i32$1)
+ )
+ )
+ (drop
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (local.get $4$hi)
)
+ (local.get $4)
)
- (drop
+ )
+ (block
+ (local.set $i64toi32_i32$0
+ (i32.const 0)
+ )
+ (i32.store
+ (local.get $i64toi32_i32$0)
(block (result i32)
(local.set $i64toi32_i32$1
- (local.get $4$hi)
+ (i32.const 0)
)
- (local.get $4)
+ (i32.const 1)
)
)
- (nop)
- (block
- (local.set $i64toi32_i32$0
- (i32.const 0)
- )
- (i32.store
- (local.get $i64toi32_i32$0)
- (block (result i32)
- (local.set $i64toi32_i32$1
- (i32.const 0)
- )
- (i32.const 1)
- )
- )
- (i32.store offset=4
- (local.get $i64toi32_i32$0)
- (local.get $i64toi32_i32$1)
- )
+ (i32.store offset=4
+ (local.get $i64toi32_i32$0)
+ (local.get $i64toi32_i32$1)
)
- (nop)
- (block
- (local.set $i64toi32_i32$0
- (i32.const 0)
- )
- (i32.store
- (local.get $i64toi32_i32$0)
- (block (result i32)
- (local.set $i64toi32_i32$1
- (i32.const 0)
- )
- (i32.const 2)
+ )
+ (block
+ (local.set $i64toi32_i32$0
+ (i32.const 0)
+ )
+ (i32.store
+ (local.get $i64toi32_i32$0)
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (i32.const 0)
)
- )
- (i32.store offset=4
- (local.get $i64toi32_i32$0)
- (local.get $i64toi32_i32$1)
+ (i32.const 2)
)
)
- (nop)
- (block
- (local.set $i64toi32_i32$0
- (i32.const 0)
- )
- (i32.store align=2
- (local.get $i64toi32_i32$0)
- (block (result i32)
- (local.set $i64toi32_i32$1
- (i32.const 0)
- )
- (i32.const 3)
+ (i32.store offset=4
+ (local.get $i64toi32_i32$0)
+ (local.get $i64toi32_i32$1)
+ )
+ )
+ (block
+ (local.set $i64toi32_i32$0
+ (i32.const 0)
+ )
+ (i32.store align=2
+ (local.get $i64toi32_i32$0)
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (i32.const 0)
)
- )
- (i32.store offset=4 align=2
- (local.get $i64toi32_i32$0)
- (local.get $i64toi32_i32$1)
+ (i32.const 3)
)
)
- (nop)
- (block
- (local.set $i64toi32_i32$0
- (i32.const 0)
- )
- (i32.store align=1
- (local.get $i64toi32_i32$0)
- (block (result i32)
- (local.set $i64toi32_i32$1
- (i32.const 0)
- )
- (i32.const 4)
+ (i32.store offset=4 align=2
+ (local.get $i64toi32_i32$0)
+ (local.get $i64toi32_i32$1)
+ )
+ )
+ (block
+ (local.set $i64toi32_i32$0
+ (i32.const 0)
+ )
+ (i32.store align=1
+ (local.get $i64toi32_i32$0)
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (i32.const 0)
)
- )
- (i32.store offset=4 align=1
- (local.get $i64toi32_i32$0)
- (local.get $i64toi32_i32$1)
+ (i32.const 4)
)
)
- (nop)
- (block
- (local.set $i64toi32_i32$0
- (i32.const 0)
- )
- (i32.store
- (local.get $i64toi32_i32$0)
- (block (result i32)
- (local.set $i64toi32_i32$1
- (i32.const 0)
- )
- (i32.const 5)
+ (i32.store offset=4 align=1
+ (local.get $i64toi32_i32$0)
+ (local.get $i64toi32_i32$1)
+ )
+ )
+ (block
+ (local.set $i64toi32_i32$0
+ (i32.const 0)
+ )
+ (i32.store
+ (local.get $i64toi32_i32$0)
+ (block (result i32)
+ (local.set $i64toi32_i32$1
+ (i32.const 0)
)
- )
- (i32.store offset=4
- (local.get $i64toi32_i32$0)
- (local.get $i64toi32_i32$1)
+ (i32.const 5)
)
)
- (nop)
+ (i32.store offset=4
+ (local.get $i64toi32_i32$0)
+ (local.get $i64toi32_i32$1)
+ )
)
- (nop)
)
)
(module
@@ -436,45 +420,40 @@
(local $0$hi i32)
(local $i64toi32_i32$0 i32)
(block
- (block
- (local.set $0
- (block (result i32)
- (local.set $i64toi32_i32$0
- (global.get $f$hi)
- )
- (global.get $f)
+ (local.set $0
+ (block (result i32)
+ (local.set $i64toi32_i32$0
+ (global.get $f$hi)
)
+ (global.get $f)
)
- (local.set $0$hi
- (local.get $i64toi32_i32$0)
+ )
+ (local.set $0$hi
+ (local.get $i64toi32_i32$0)
+ )
+ )
+ (call $call
+ (block (result i32)
+ (local.set $i64toi32_i32$0
+ (local.get $0$hi)
)
+ (local.get $0)
)
- (call $call
+ (local.get $i64toi32_i32$0)
+ )
+ (block
+ (global.set $f
(block (result i32)
(local.set $i64toi32_i32$0
- (local.get $0$hi)
+ (i32.const 287454020)
)
- (local.get $0)
+ (i32.const 1432778632)
)
- (local.get $i64toi32_i32$0)
)
- (nop)
- (block
- (global.set $f
- (block (result i32)
- (local.set $i64toi32_i32$0
- (i32.const 287454020)
- )
- (i32.const 1432778632)
- )
- )
- (global.set $f$hi
- (local.get $i64toi32_i32$0)
- )
+ (global.set $f$hi
+ (local.get $i64toi32_i32$0)
)
- (nop)
)
- (nop)
)
(func $2 (; 2 ;)
(local $0 i32)
@@ -484,7 +463,6 @@
(local $i64toi32_i32$0 i32)
(block $label$1
(unreachable)
- (unreachable)
)
(block
(local.set $1
@@ -512,7 +490,6 @@
(local.get $i64toi32_i32$0)
)
)
- (nop)
)
)
(module
@@ -532,44 +509,39 @@
(local $0$hi i32)
(local $i64toi32_i32$0 i32)
(block
- (block
- (local.set $0
- (block (result i32)
- (local.set $i64toi32_i32$0
- (global.get $f$hi)
- )
- (global.get $f)
+ (local.set $0
+ (block (result i32)
+ (local.set $i64toi32_i32$0
+ (global.get $f$hi)
)
+ (global.get $f)
)
- (local.set $0$hi
- (local.get $i64toi32_i32$0)
+ )
+ (local.set $0$hi
+ (local.get $i64toi32_i32$0)
+ )
+ )
+ (call $call
+ (block (result i32)
+ (local.set $i64toi32_i32$0
+ (local.get $0$hi)
)
+ (local.get $0)
)
- (call $call
+ (local.get $i64toi32_i32$0)
+ )
+ (block
+ (global.set $f
(block (result i32)
(local.set $i64toi32_i32$0
- (local.get $0$hi)
+ (i32.const 287454020)
)
- (local.get $0)
+ (i32.const 1432778632)
)
- (local.get $i64toi32_i32$0)
)
- (nop)
- (block
- (global.set $f
- (block (result i32)
- (local.set $i64toi32_i32$0
- (i32.const 287454020)
- )
- (i32.const 1432778632)
- )
- )
- (global.set $f$hi
- (local.get $i64toi32_i32$0)
- )
+ (global.set $f$hi
+ (local.get $i64toi32_i32$0)
)
- (nop)
)
- (nop)
)
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-25 04:24:01 +0000