diff options
Diffstat (limited to 'test/passes/flatten_i64-to-i32-lowering.txt')
| -rw-r--r-- | test/passes/flatten_i64-to-i32-lowering.txt | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/test/passes/flatten_i64-to-i32-lowering.txt b/test/passes/flatten_i64-to-i32-lowering.txt new file mode 100644 index 000000000..3c3535e53 --- /dev/null +++ b/test/passes/flatten_i64-to-i32-lowering.txt @@ -0,0 +1,81 @@ +(module + (type $FUNCSIG$j (func (result i32))) + (import "env" "func" (func $import (result i32))) + (global $i64toi32_i32$HIGH_BITS (mut i32) (i32.const 0)) + (func $defined (; 1 ;) (type $FUNCSIG$j) (result i32) + (local $0 i32) + (local $0$hi i32) + (local $i64toi32_i32$0 i32) + (local $i64toi32_i32$1 i32) + (local $i64toi32_i32$2 i32) + (local $i64toi32_i32$3 i32) + (local $i64toi32_i32$4 i32) + (local $i64toi32_i32$5 i32) + (block + (local.set $0 + (block (result i32) + (local.set $i64toi32_i32$2 + (block (result i32) + (local.set $i64toi32_i32$0 + (i32.const 0) + ) + (i32.const 1) + ) + ) + (local.set $i64toi32_i32$3 + (block (result i32) + (local.set $i64toi32_i32$1 + (i32.const 0) + ) + (i32.const 2) + ) + ) + (local.set $i64toi32_i32$4 + (i32.add + (local.get $i64toi32_i32$2) + (local.get $i64toi32_i32$3) + ) + ) + (local.set $i64toi32_i32$5 + (i32.add + (local.get $i64toi32_i32$0) + (local.get $i64toi32_i32$1) + ) + ) + (if + (i32.lt_u + (local.get $i64toi32_i32$4) + (local.get $i64toi32_i32$3) + ) + (local.set $i64toi32_i32$5 + (i32.add + (local.get $i64toi32_i32$5) + (i32.const 1) + ) + ) + ) + (local.get $i64toi32_i32$4) + ) + ) + (local.set $0$hi + (local.get $i64toi32_i32$5) + ) + ) + (block + (local.set $i64toi32_i32$2 + (block (result i32) + (local.set $i64toi32_i32$5 + (local.get $0$hi) + ) + (local.get $0) + ) + ) + (global.set $i64toi32_i32$HIGH_BITS + (local.get $i64toi32_i32$5) + ) + (return + (local.get $i64toi32_i32$2) + ) + ) + ) +) |