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