llvm/test/Transforms/CorrelatedValuePropagation
Philip Reames c9d22d057f [CVP] Remove a masking operation if range information implies it's a noop
This is really a known bits style transformation, but known bits isn't context sensitive. The particular case which comes up happens to involve a range which allows range based reasoning to eliminate the mask pattern, so handle that case specifically in CVP.

InstCombine likes to generate the mask-by-low-bits pattern when widening an arithmetic expression which includes a zext in the middle.

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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@374506 91177308-0d34-0410-b5e6-96231b3b80d8
2019-10-11 03:48:56 +00:00
..
2019-06-24 20:13:13 +00:00
2019-06-24 20:13:13 +00:00
2019-06-24 20:13:13 +00:00