Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [InstSimplify] allow integer vector types to use computeKnownBits | Sanjay Patel | 2016-11-27 | 1 | -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; NFC | Sanjay Patel | 2016-11-27 | 1 | -0/+71 |
| | | | | llvm-svn: 287998 | ||||
* | auto-generate checks | Sanjay Patel | 2016-09-16 | 1 | -2/+4 |
| | | | | llvm-svn: 281756 | ||||
* | [ValueTracking] Teach isKnownNonZero a new trick | James Molloy | 2015-09-24 | 1 | -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 |