diff options
Diffstat (limited to 'test/passes/optimize-instructions_all-features.txt')
| -rw-r--r-- | test/passes/optimize-instructions_all-features.txt | 52 |
1 files changed, 50 insertions, 2 deletions
diff --git a/test/passes/optimize-instructions_all-features.txt b/test/passes/optimize-instructions_all-features.txt index 90556f016..8c21b8494 100644 --- a/test/passes/optimize-instructions_all-features.txt +++ b/test/passes/optimize-instructions_all-features.txt @@ -4,8 +4,8 @@ (type $none_=>_i32 (func (result i32))) (type $none_=>_none (func)) (type $i32_i64_=>_none (func (param i32 i64))) - (type $i32_=>_none (func (param i32))) (type $i32_i32_=>_i32 (func (param i32 i32) (result i32))) + (type $i32_=>_none (func (param i32))) (type $none_=>_i64 (func (result i64))) (type $i64_=>_i64 (func (param i64) (result i64))) (type $i32_i64_f32_=>_none (func (param i32 i64 f32))) @@ -3410,7 +3410,7 @@ ) ) ) - (func $optimize-boolean (param $x i32) + (func $optimize-boolean (param $x i32) (param $y i64) (drop (select (i32.const 1) @@ -3418,6 +3418,54 @@ (local.get $x) ) ) + (drop + (i32.and + (local.get $x) + (i32.const 1) + ) + ) + (drop + (i32.eqz + (i32.and + (local.get $x) + (i32.const 1) + ) + ) + ) + (drop + (i32.wrap_i64 + (i64.and + (local.get $y) + (i64.const 1) + ) + ) + ) + (drop + (i64.eqz + (i64.and + (local.get $y) + (i64.const 1) + ) + ) + ) + (drop + (i32.and + (local.get $x) + (i32.const 1) + ) + ) + (drop + (i32.const 1) + ) + (drop + (i64.and + (local.get $y) + (i64.const 1) + ) + ) + (drop + (i64.const 1) + ) ) (func $getFallthrough (local $x0 i32) |