aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/InstCombine
AgeCommit message (Expand)Author
2011-01-14Move some shift transforms out of instcombine and into InstructionSimplify.Duncan Sands
2011-01-11Fix a random missed optimization by making InstCombine more aggressive when d...Owen Anderson
2011-01-10Teach instcombine about the rest of the SSE and SSE2 conversionChandler Carruth
2011-01-10Fold two related tests into the newly FileCheck-ized test, migratingChandler Carruth
2011-01-10Clean up and FileCheck-ize a test.Chandler Carruth
2011-01-09Instcombine: Fix pattern where the sext did not dominate the icmp using itTobias Grosser
2011-01-08Fix a bug in r123034 (trying to sext/zext non-integers) and clean up a little.Frits van Bommel
2011-01-07InstCombine: Match min/max hidden by sext/zextTobias Grosser
2011-01-07Revert 122959, it needs more thought. Add it back to README.txt with addition...Benjamin Kramer
2011-01-06InstCombine: Turn _chk functions into the "unsafe" variant if length and max ...Benjamin Kramer
2011-01-06InstCombine: If we call llvm.objectsize on a malloc call we can replace it wi...Benjamin Kramer
2011-01-06InstCombine: Teach llvm.objectsize folding to look through GEPs.Benjamin Kramer
2011-01-06implement constant folding support for an exotic constant expr:Chris Lattner
2011-01-04fix an off-by-one bug that caused a crash analyzingChris Lattner
2010-12-23When determining if we can fold (x >> C1) << C2, the bits that we need to ver...Owen Anderson
2010-12-22InstCombine: creating selects from -1 and 0 is fine, they combine into a sext...Benjamin Kramer
2010-12-22Make this test not depend on how the variable is named.Duncan Sands
2010-12-22Add a generic expansion transform: A op (B op' C) -> (A op B) op' (A op C)Duncan Sands
2010-12-20Teach InstCombine to merge (icmp ult (X + CA), C1) | (icmp eq X, C2) into (ic...Benjamin Kramer
2010-12-20Have SimplifyBinOp dispatch Xor, Add and Sub to the corresponding methodsDuncan Sands
2010-12-20fix PR8807 by making transformConstExprCastCall aware of byval arguments.Chris Lattner
2010-12-20Test case for r122215 when InstCombine optimizes memsetMon P Wang
2010-12-19X86 supports i8/i16 overflow ops (except i8 multiplies), we shouldChris Lattner
2010-12-19recognize an unsigned add with overflow idiom into uadd.Chris Lattner
2010-12-19optimize uadd(x, cst) into a comparison when the normal Chris Lattner
2010-12-19generalize the sadd creation code to not require that theChris Lattner
2010-12-19fix another miscompile in the llvm.sadd formation logic: it wasn't Chris Lattner
2010-12-19fix a bug (possibly 8816) in the sadd forming xform: it isn'tChris Lattner
2010-12-17Add vector versions of some existing scalar transforms to aid codegen in matc...Nate Begeman
2010-12-17Reapply r121905 (automatic synthesis of @llvm.sadd.with.overflow) with a fix ...Owen Anderson
2010-12-16Speculatively revert commit 121905 since it looks like it might have broken theDuncan Sands
2010-12-15Add an InstCombine transform to recognize instances of manual overflow-safe a...Owen Anderson
2010-12-11Generalize the and-icmp-select instcombine further by allowing selects of the...Benjamin Kramer
2010-12-11Factor the (x & 2^n) ? 2^m : 0 instcombine into its own method and generalize itBenjamin Kramer
2010-12-09Really check that the bits that will become zero are actually already zeroDan Gohman
2010-11-30remove a use of llvm-disChris Lattner
2010-11-29Transform (extractvalue (load P), ...) to (load (gep P, 0, ...)) if the load ...Frits van Bommel
2010-11-29Update this test to keep testing the -instcombine transform it's supposed to ...Frits van Bommel
2010-11-23The srem -> urem transform is not safe for any divisor that's not a power of ...Benjamin Kramer
2010-11-23InstCombine: Reduce "X shift (A srem B)" to "X shift (A urem B)" iff B is pos...Benjamin Kramer
2010-11-23Exploit distributive laws (eg: And distributes over Or, Mul over Add, etc) in aDuncan Sands
2010-11-23duncan's spider sense was right, I completely reversed the conditionChris Lattner
2010-11-22InstCombine: Implement X - A*-B -> X + A*B.Benjamin Kramer
2010-11-22If a GEP index simply advances by multiples of a type of zero size,Duncan Sands
2010-11-21Add a rather pointless InstructionSimplify transform, inspired by recent cons...Duncan Sands
2010-11-21optimize:Chris Lattner
2010-11-17InstCombine: Add a missing irem identity (X % X -> 0).Benjamin Kramer
2010-11-16In which I discover the existence of loops. Threading an operationDuncan Sands
2010-11-15Teach InstructionSimplify the trick of skipping incoming phiDuncan Sands
2010-11-15Move PHI tests to phi.ll, out of select.ll.Duncan Sands