diff options
Diffstat (limited to 'test/passes/optimize-instructions_all-features.txt')
| -rw-r--r-- | test/passes/optimize-instructions_all-features.txt | 168 |
1 files changed, 166 insertions, 2 deletions
diff --git a/test/passes/optimize-instructions_all-features.txt b/test/passes/optimize-instructions_all-features.txt index 76c6ffe0a..e08702b91 100644 --- a/test/passes/optimize-instructions_all-features.txt +++ b/test/passes/optimize-instructions_all-features.txt @@ -3,8 +3,8 @@ (type $i32_=>_i32 (func (param i32) (result i32))) (type $none_=>_i32 (func (result i32))) (type $none_=>_none (func)) - (type $i32_=>_none (func (param i32))) (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 $none_=>_i64 (func (result i64))) (type $i64_=>_i64 (func (param i64) (result i64))) @@ -3228,7 +3228,7 @@ (local.get $x) ) ) - (func $select-on-const (param $x i32) (param $y i32) + (func $select-on-const (param $x i32) (param $y i64) (drop (local.get $x) ) @@ -3264,6 +3264,157 @@ (i32.const 6) ) ) + (drop + (i32.eqz + (i32.eqz + (local.get $x) + ) + ) + ) + (drop + (i32.eqz + (local.get $x) + ) + ) + (drop + (i32.ge_s + (local.get $x) + (i32.const 0) + ) + ) + (drop + (i32.lt_s + (local.get $x) + (i32.const 0) + ) + ) + (drop + (i32.lt_s + (local.get $x) + (i32.const 0) + ) + ) + (drop + (i32.gt_s + (local.get $x) + (i32.const 0) + ) + ) + (drop + (i32.le_s + (local.get $x) + (i32.const 0) + ) + ) + (drop + (i32.ge_s + (local.get $x) + (i32.const 0) + ) + ) + (drop + (i64.extend_i32_u + (i32.eqz + (i32.eqz + (local.get $x) + ) + ) + ) + ) + (drop + (i64.extend_i32_u + (i32.eqz + (local.get $x) + ) + ) + ) + (drop + (i64.extend_i32_u + (i64.eqz + (local.get $y) + ) + ) + ) + (drop + (i64.extend_i32_u + (i32.eqz + (i64.eqz + (local.get $y) + ) + ) + ) + ) + (drop + (i64.extend_i32_u + (i64.ge_s + (local.get $y) + (i64.const 0) + ) + ) + ) + (drop + (i64.extend_i32_u + (i64.lt_s + (local.get $y) + (i64.const 0) + ) + ) + ) + (drop + (i64.extend_i32_u + (i64.lt_s + (local.get $y) + (i64.const 0) + ) + ) + ) + (drop + (i64.extend_i32_u + (i64.ge_s + (local.get $y) + (i64.const 0) + ) + ) + ) + (drop + (select + (i32.const 0) + (local.get $x) + (i32.const 0) + ) + ) + (drop + (select + (i32.const 2) + (local.get $x) + (i32.const 2) + ) + ) + (drop + (select + (local.get $x) + (i32.const 2) + (local.get $x) + ) + ) + (drop + (select + (local.get $y) + (i64.const 0) + (i64.eqz + (i64.const 0) + ) + ) + ) + (drop + (select + (local.get $y) + (i64.const 2) + (i64.eqz + (i64.const 2) + ) + ) + ) ) (func $optimize-boolean (param $x i32) (drop @@ -3563,6 +3714,19 @@ (func $if-arms-subtype (result externref) (ref.null) ) + (func $optimize-boolean-context (param $x i32) (param $y i32) + (if + (local.get $x) + (unreachable) + ) + (drop + (select + (local.get $x) + (local.get $y) + (local.get $x) + ) + ) + ) ) (module (type $none_=>_none (func)) |