Displaying 1 result from an estimated 1 matches for "b70dafa1".
2017 Jul 14
2
failing to optimize boolean ops on cmps
Going back to the original problem. Why shouldn't
SimplifyUsingDistributiveLaws handle both these cases?
For the bitwise test case if you distribute you get
(~A | A) & (B | A)
The left side of that simplifies to all 1s which is the identify value for
and. So even though the right side doesn't simplify it's a win.
~Craig
On Fri, Jul 14, 2017 at 11:46 AM, Hal Finkel via llvm-dev