llvm-6502/test/Transforms/InstSimplify
Duncan Sands 52fb846578 Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows,
plus some variations of this.  According to my auto-simplifier this occurs a lot
but usually in combination with max/min idioms.  Because max/min aren't handled
yet this unfortunately doesn't have much effect in the testsuite.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125462 91177308-0d34-0410-b5e6-96231b3b80d8
2011-02-13 17:15:40 +00:00
..
2010-12-20-Boolean.ll Rename this test. 2011-01-14 14:16:33 +00:00
2010-12-20-Distribute.ll Simplify (X<<1)-X into X. According to my auto-simplier this is the most common missed 2011-01-18 09:24:58 +00:00
2011-01-14-Thread.ll Factorize common code out of the InstructionSimplify shift logic. Add in 2011-01-14 14:44:12 +00:00
2011-02-01-Vector.ll Have m_One also match constant vectors for which every element is 1. 2011-02-01 08:39:12 +00:00
compare.ll Teach instsimplify that X+Y>=X+Z is the same as Y>=Z if neither side overflows, 2011-02-13 17:15:40 +00:00
dg.exp
exact-nsw-nuw.ll Teach instsimplify some tricks about exact/nuw/nsw shifts. 2011-02-09 17:15:04 +00:00
fdiv.ll Move InstCombine's knowledge of fdiv to SimplifyInstruction(). 2011-01-29 15:26:31 +00:00
reassociate.ll teach instsimplify to transform (X / Y) * Y to X 2011-02-06 22:05:31 +00:00