Optimize select with const arms (#2869)

  x ? 1 : 0   =>   !!x

and so forth.

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))