[Bug tree-optimization/114277] [11/12/13/14 Regression] Missed optimization: x*(x||b) => x

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114277

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Thinking about this a little more.

((convert)boolean)*a is not Canonical

But `boolean?a:0` is. Due to one expression vs 2.

But `zero_one * a` is still Canonical if there is no cast from the boolean
type.

That will fix this issue but not the other.