summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/ValueTracking/knownzero-shift.ll
Commit message (Collapse)AuthorAgeFilesLines
* [InstSimplify] allow integer vector types to use computeKnownBitsSanjay Patel2016-11-271-15/+3
| | | | | | | | Note that the non-splat lshr+lshr test folded, but that does not work in general. Something is missing or wrong in computeKnownBits as the non-splat shl+shl test still shows. llvm-svn: 288005
* add tests to show missing analysis; NFCSanjay Patel2016-11-271-0/+71
| | | | llvm-svn: 287998
* auto-generate checksSanjay Patel2016-09-161-2/+4
| | | | llvm-svn: 281756
* [ValueTracking] Teach isKnownNonZero a new trickJames Molloy2015-09-241-0/+14
If the shifter operand is a constant, and all of the bits shifted out are known to be zero, then if X is known non-zero at least one non-zero bit must remain. llvm-svn: 248508
OpenPOWER on IntegriCloud