Optimize if/select with one arm an EqZ and another a 0 or a 1 (#3822)

(select
  (i32.eqz (X))
  (i32.const 0|1)
  (Y)
)

=>

(i32.eqz
  (select
    (X)
    (i32.const 1|0)
    (Y)
  )
)

This is beneficial as the eqz may be folded into something on the outside. I
see this pattern in real-world code, both a GC benchmark (which is why I
noticed it) and it shrinks code size by tiny amounts on the emscripten
benchmark suite as well.

0 files changed, 0 insertions, 0 deletions