aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueTracking.cpp
AgeCommit message (Expand)Author
2011-03-21Fix INT_MIN gotcha pointed out by Eli Friedman.Nick Lewycky
2011-03-12Teach ComputeMaskedBits about sub nsw.Benjamin Kramer
2011-03-11ComputeMaskedBits: sub falls through to add, and sub doesn't have the same ov...Benjamin Kramer
2011-03-11Teach ComputeMaskedBits about nsw on add. I don't think there's anything we canNick Lewycky
2011-03-08Fix PR9331. Simplified version of a patch by Jakub Staszak.Duncan Sands
2011-03-07Add more analysis of the sign bit of an srem instruction. If the LHS is negativeNick Lewycky
2011-02-28Fix comment.Nick Lewycky
2011-02-28srem doesn't actually have the same resulting sign as its numerator, you couldNick Lewycky
2011-02-28Teach value tracking to make use of flags in more situations.Nick Lewycky
2011-02-28Teach ValueTracking to look at the dividend when determining the sign bit of anNick Lewycky
2011-02-19Stores of null pointers should turn into memset, we weren't recognizingChris Lattner
2011-02-10Tolerate degenerate phi nodes that can occur in the middle of optimizationNick Lewycky
2011-02-01Add a m_SignBit pattern for convenience.Duncan Sands
2011-01-29Fix typo: should have been testing that X was odd, not V.Duncan Sands
2011-01-26APInt has a method for determining whether a number is a power of 2Duncan Sands
2011-01-25In which I discover that zero+zero is zero, d'oh!Duncan Sands
2011-01-25See if this fixes llvm-gcc bootstrap.Duncan Sands
2011-01-25According to my auto-simplifier the most common missed simplifications inDuncan Sands
2011-01-24Give GetUnderlyingObject a TargetData, to keep it in syncDan Gohman
2011-01-04fix an off-by-one bug that caused a crash analyzingChris Lattner
2010-12-26move isBytewiseValue out to ValueTracking.h/cppChris Lattner
2010-12-17Add vector versions of some existing scalar transforms to aid codegen in matc...Nate Begeman
2010-12-15Reapply r121886, and also update DecomposeGEPExpression to keepDan Gohman
2010-12-15Revert r121886. DecomposeGEPExpression needs to be keptDan Gohman
2010-12-15Strengthen GetUnderlyingObject using InstructionSimplify.Dan Gohman
2010-12-15Move Value::getUnderlyingObject to be a standaloneDan Gohman
2010-12-07PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() andJay Foad
2010-12-01PR5207: Rename overloaded APInt methods set(), clear(), flip() toJay Foad
2010-11-30move GetPointerBaseWithConstantOffset out of GVN into ValueTracking.hChris Lattner
2010-11-30PR5207: Make APInt::set(), APInt::clear() and APInt::flip() return void.Jay Foad
2010-09-05fix PR8063, a crash in globalopt in the malloc analysis code.Chris Lattner
2010-08-18move gep decomposition out of ValueTracking into BasicAA. The form ofChris Lattner
2010-08-18Revert r111375, "move gep decomposition out of ValueTracking into BasicAA. TheDaniel Dunbar
2010-08-18move gep decomposition out of ValueTracking into BasicAA. The form ofChris Lattner
2010-08-18fix PR7589: In brief:Chris Lattner
2010-06-23use ArgOperand accessorsGabor Greif
2010-04-16Revert 101465, it broke internal OpenGL testing.Eric Christopher
2010-04-16reapply r101434Gabor Greif
2010-04-16back out r101423 and r101397, they break llvm-gcc self-host on darwin10Gabor Greif
2010-04-15reapply r101364, which has been backed out in r101368Gabor Greif
2010-04-15back out r101364, as it trips the linux nightlybot on some clang C++ testsGabor Greif
2010-04-15rotate CallInst operands, i.e. move callee to the backGabor Greif
2010-04-14Constify GetConstantStringInfo.Dan Gohman
2010-03-13Fix a typo in ValueTracking that's causing instcombine to delete needed shift...Evan Cheng
2010-03-05Move GetStringLength and helper from SimplifyLibCalls to ValueTracking.Eric Christopher
2010-02-16There are two ways of checking for a given type, for example isa<PointerType>(T)Duncan Sands
2010-02-15Uniformize the names of type predicates: rather than having isFloatTy andDuncan Sands
2010-01-29It looks like the changes to the SRem logic of SimplifyDemandedUseBitsDuncan Sands
2010-01-07teach ComputeNumSignBits to look through PHI nodes.Chris Lattner
2010-01-05Move remaining stuff to the isInteger predicate.Benjamin Kramer