select Cond, T, false --> Cond & T
select Cond, true, F --> Cond | F
This fixes regressions that would be visible if we remove known poison-unsafe transforms in instcombine mentioned here:
I'm not sure yet how to deal with the 'and-not' and 'or-not' variations.
Alive2 example for 1 of the tests: