Sanjay Patel 4036a0af24 [InstCombine] enhance freelyNegateValue() by handling 'not' ...

This patch extends D77230. If we have a 'not' instruction inside a
negated expression, we can ignore extra uses of that op because the
negation has a one-to-one replacement: negate becomes increment.

Alive2 examples of the test cases:
http://volta.cs.utah.edu:8080/z/T5-u9P
http://volta.cs.utah.edu:8080/z/eT89L6

Differential Revision: https://reviews.llvm.org/D77459

2020-04-05 09:16:19 -04:00

154 KiB

Raw Blame History

View Raw