tree 0feaeb4b480e2456506ec7b02843d227fe8ac051
parent 5d60377864f00983e44ac6adda94bcf60f441973
author Sanjay Patel <spatel@rotateright.com> 1593796139 -0400
committer Sanjay Patel <spatel@rotateright.com> 1593796458 -0400

[InstCombine] fold mul of zext bools to 'and'

The base case only works because we are relying on a
poison-unsafe select transform; if that is fixed, we
would regress on patterns like this.

The extra use tests show that the select transform can't
be applied consistently. So it may be a regression to have
an extra instruction on 1 test, but that result was not
created safely and does not happen reliably.