aboutsummaryrefslogtreecommitdiff
path: root/llvm/lib/Analysis/InstructionSimplify.cpp
AgeCommit message (Expand)AuthorFilesLines
2015-01-04[PM] Split the AssumptionTracker immutable pass into two separate APIs:Chandler Carruth1-182/+163
2014-12-20InstSimplify: Don't bother if getScalarSizeInBits returns zeroDavid Majnemer1-4/+5
2014-12-20Simplify the codeDavid Majnemer1-41/+25
2014-12-20InstSimplify: Optimize away pointless comparisonsDavid Majnemer1-2/+38
2014-12-17InstSimplify: shl nsw/nuw undef, %V -> undefDavid Majnemer1-13/+7
2014-12-10ConstantFold, InstSimplify: undef >>a x can be either -1 or 0, choose 0David Majnemer1-2/+2
2014-12-10InstSimplify: [al]shr exact undef, %X -> undefDavid Majnemer1-2/+6
2014-12-10InstSimplify: div %X, 0 -> undefDavid Majnemer1-0/+4
2014-12-08InstSimplify: Try to bring back the rest of r223583David Majnemer1-2/+7
2014-12-08Revert a part of r223583, for now. It seems causing different emission betwee...NAKAMURA Takumi1-5/+0
2014-12-06InstSimplify: Optimize away useless unsigned comparisonsDavid Majnemer1-0/+49
2014-12-04Revert "r223364 - Revert r223347 which has caused crashes on bootstrap bots."Hal Finkel1-3/+14
2014-12-04Revert r223347 which has caused crashes on bootstrap bots.Alexander Potapenko1-13/+3
2014-12-04Restrict somewhat the memory-allocation pointer cmp opt from r223093Hal Finkel1-3/+13
2014-12-01Simplify pointer comparisons involving memory allocation functionsHal Finkel1-0/+35
2014-11-27InstSimplify: Restore optimizations lost in r210006David Majnemer1-0/+34
2014-11-25InstSimplify: Handle some simple tautological comparisonsDavid Majnemer1-0/+34
2014-11-22InstSimplify: Simplify (sub 0, X) -> X if it's NUWDavid Majnemer1-11/+3
2014-11-19Update SetVector to rely on the underlying set's insert to return a pair<iter...David Blaikie1-1/+1
2014-11-16InstSimplify: Optimize ICmpInst xform that uses computeKnownBitsDavid Majnemer1-21/+17
2014-11-05InstSimplify: Exact shifts of X by Y are X if X has the lsb setDavid Majnemer1-11/+31
2014-11-04InstSimplify: Fold a hasNoSignedWrap() call into a match() expressionDavid Majnemer1-2/+1
2014-11-04InstSimplify: Fold a hasNoUnsignedWrap() call into a match() expressionDavid Majnemer1-2/+1
2014-10-11InstCombine, InstSimplify: (%X /s C1) /s C2 isn't always 0 when C1 * C2 overflowDavid Majnemer1-0/+10
2014-09-17InstSimplify: Don't allow (x srem y) urem y -> x srem yDavid Majnemer1-3/+5
2014-09-17InstSimplify: ((X % Y) % Y) -> (X % Y)David Majnemer1-0/+5
2014-09-15InstSimplify: Simplify trivial and/or of icmpsDavid Majnemer1-0/+114
2014-09-12Fix an ODR violation consisting of two 'struct Query' in the global namespace.Benjamin Kramer1-0/+2
2014-09-07Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)Hal Finkel1-115/+210
2014-08-28InstSimplify: Move a transform from InstCombine to InstSimplifyDavid Majnemer1-0/+35
2014-08-27InstSimplify: Don't simplify gep X, (Y-X) to Y if types differDavid Majnemer1-1/+2
2014-08-27Reland r216439 215441, majnemer has a real fix for PR20771.Nico Weber1-11/+53
2014-08-27Revert r216439 (and r216441, else the former doesn't revert cleanly).Nico Weber1-53/+11
2014-08-27InstSimplify: Compute comparison ranges for left shift instructionsDavid Majnemer1-0/+16
2014-08-26InstSimplify: Fold gep X, (sub 0, ptrtoint(X)) to nullDavid Majnemer1-21/+32
2014-08-26InstSimplify: Simplify trivial pointer expressions like b + (e - b)David Majnemer1-5/+36
2014-07-31InstSimplify: Simplify (X - (0 - Y)) if the second sub is NUWDavid Majnemer1-0/+12
2014-07-17Rectify r213231. Use proper version of 'ComputeNumSignBits'.Suyog Sarda1-1/+1
2014-07-17Move ashr optimization from InstCombineShift to InstSimplify.Suyog Sarda1-0/+5
2014-07-14InstSimplify: Correct sdiv x / -1David Majnemer1-11/+13
2014-07-14InstSimplify: The upper bound of X / C was missing a rounding stepDavid Majnemer1-1/+9
2014-07-04InstSimplify: Fix a bug when INT_MIN is in a sdivDavid Majnemer1-3/+9
2014-06-26This patch removed duplicate code for matching patterns Dinesh Dwivedi1-106/+1
2014-06-19Move optimization of some cases of (A & C1)|(B & C2) from instcombine to inst...Nick Lewycky1-0/+32
2014-06-19Make instsimplify's analysis of icmp eq/ne use computeKnownBits to determine ...Nick Lewycky1-0/+19
2014-05-16InstSimplify: Improve handling of ashr/lshrDavid Majnemer1-1/+21
2014-05-16InstSimplify: Optimize using dividend in sdivDavid Majnemer1-0/+4
2014-05-14InstSimplify: Optimize signed icmp of -(zext V)David Majnemer1-0/+22
2014-04-22[Modules] Fix potential ODR violations by sinking the DEBUG_TYPEChandler Carruth1-1/+2
2014-04-15[C++11] More 'nullptr' conversion. In some cases just using a boolean check i...Craig Topper1-76/+76