aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2011-02-01Add a m_SignBit pattern for convenience.Duncan Sands
2011-02-01Have m_One also match constant vectors for which every element is 1.Duncan Sands
2011-02-01Reapply 124275 since the Dragonegg failure was unreproducible.Eric Christopher
2011-01-30Commit 124487 broke 254.gap. See if disabling the part that might be triggeredDuncan Sands
2011-01-30Transform (X/Y)*Y into X if the division is exact. Instcombine already knows...Duncan Sands
2011-01-29Fix comment.Nick Lewycky
2011-01-29Move InstCombine's knowledge of fdiv to SimplifyInstruction().Frits van Bommel
2011-01-29Fix typo: should have been testing that X was odd, not V.Duncan Sands
2011-01-29Implementation of path profiling.Andrew Trick
2011-01-28This dyn_cast should be a cast. Pointed out by Frits van Bommel.Duncan Sands
2011-01-28Thread divisions over selects and phis. This doesn't fire much and has basic...Duncan Sands
2011-01-28My auto-simplifier noticed that ((X/Y)*Y)/Y occurs several times in SPECDuncan Sands
2011-01-26Temporarily revert 124275 to see if it brings the dragonegg buildbot back.Eric Christopher
2011-01-26APInt has a method for determining whether a number is a power of 2Duncan Sands
2011-01-26Fix memory corruption. If one of the SCEV creation functions calls another butNick Lewycky
2011-01-26Separate out the constant bonus from the size reduction metrics. ReworkEric Christopher
2011-01-26Coding style formatting changes.Eric Christopher
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-25Reorganize this so that the early exit and special cases come earlyEric Christopher
2011-01-24Give GetUnderlyingObject a TargetData, to keep it in syncDan Gohman
2011-01-24fix PR8928 by clearing a stale map, patch by Jakub Staszak!Chris Lattner
2011-01-24Add a comment.Dan Gohman
2011-01-23Simplify some code with no functionality change. Make the test a lot moreNick Lewycky
2011-01-23Null initialize a few variables flagged byTed Kremenek
2011-01-23Use value ranges to fold ext(trunc) in SCEV when possible.Nick Lewycky
2011-01-22Have SCEV turn sext(x) into zext(x) when x is s>= 0. This applies many times inNick Lewycky
2011-01-22Add a FIXME explaining the move to a single indirect call bonus per functionEric Christopher
2011-01-22Only apply the devirtualization bonus once instead of per-call site in theEric Christopher
2011-01-20At -O123 the early-cse pass is run before instcombine has run. According to myDuncan Sands
2011-01-19Similarly, analyze truncate through multiply.Nick Lewycky
2011-01-19Add a missed SCEV fold that is required to continue analyzing the IR producedNick Lewycky
2011-01-19Add a missing SCEV simplification sext(zext x) --> zext x.Nick Lewycky
2011-01-18Teach BasicAA to return PartialAlias in cases where both pointersDan Gohman
2011-01-18For completeness, generalize the (X + Y) - Y -> X transform and add X - (X + ...Duncan Sands
2011-01-18Simplify (X<<1)-X into X. According to my auto-simplier this is the most com...Duncan Sands
2011-01-18Move DominanceFrontier from VMCore to Analysis.Cameron Zwarich
2011-01-16fix PR8983, a broken assertion.Chris Lattner
2011-01-15Teach LazyValueInfo that allocas aren't NULL. Over all of llvm-test, this savesNick Lewycky
2011-01-14Turn X-(X-Y) into Y. According to my auto-simplifier this is the most commonDuncan Sands
2011-01-14Factorize common code out of the InstructionSimplify shift logic. Add inDuncan Sands
2011-01-14Move some shift transforms out of instcombine and into InstructionSimplify.Duncan Sands
2011-01-13Add single entry / single exit accessors.Tobias Grosser
2011-01-13Remove some wrong code which fortunately was never executed (as explained inDuncan Sands
2011-01-13The most common simplification missed by instsimplify in unoptimized bitcodeDuncan Sands
2011-01-11some comment improvements.Chris Lattner
2011-01-11Temporarily revert 123133, it's causing some regressions and I'm tryingEric Christopher
2011-01-11the GEP faq says that only inbounds geps are guaranteed to not overflow.Chris Lattner
2011-01-11Revert r123207: "Turn on memdep's verifyRemoved() in an attempt to smoke out ...Jakob Stoklund Olesen