tree a724c1b444b26ff458329940dcf74ad28c8a86eb
parent a93e47b12a22e931b68a920684bbb051f65b92e1
author Nikita Popov <nikita.ppv@googlemail.com> 1630007485 +0200
committer GitHub <noreply@github.com> 1630007485 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJhJ/C9CRBK7hj4Ov3rIwAABzMIAKG7mwFrQsWmIB8OSTzVKAkX
 iVuj1FFoTvZr+ZI7fWft9pEOnk1qAdpHqbxtq/BuP6v8StV9dQ1OywusofZ/7WMm
 PhCxmtHkOruk212uIQKbXHH7jWiYxc/ylQwALKn1HynpuYpeGwJdiNJUEMYXK9f9
 ACEue8Of3ixtByGavLPKoFDlIXI2lgE4o6LPIj2jMmyeEaxHSRXfKxg4dYpbs7iq
 BHELqas3SbWjJzUQy7uwS9tJR6rDcVWv2vIIUFoJsqWAcOIGAmSribnn4MIz9X8w
 775jZQYnJDjRTuE9Ez2r1ACSjjSP9lvmCKx+aj93pZi8W9my8xezs62lYqx8pls=
 =nL6g
 -----END PGP SIGNATURE-----
 

Backport "eq of parts" fold with logical ops (#113)

* [InstCombine] Add tests for "eq of parts" with logical op (NFC)

We currently only handle this with a bitwise and/or instruction,
but not a logical.

(cherry picked from commit be4b8366fbd2c67b48a743d3e34837e29d6b8d0e)

* [InstCombine] Perform "eq of parts" fold with logical ops

The pattern matched here is too complex for the general logical
and/or to bitwise and/or conversion to trigger. However, the
fold is poison-safe, so match it with a select root as well:

https://alive2.llvm.org/ce/z/vNzzSg
https://alive2.llvm.org/ce/z/Beyumt
(cherry picked from commit fafe5a6f44c6eebb723844bc04275d23b520400c)