llvm-6502/test/Transforms/InstSimplify
Duncan Sands 6dc9e2bf74 Reapply commit 143214 with a fix: m_ICmp doesn't match conditions
with the given predicate, it matches any condition and returns the
predicate - d'oh!  Original commit message:
The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false.
Spotted by my super-optimizer in 186.crafty and 450.soplex.  We really
need a proper infrastructure for handling generalizations of this kind
of thing (which occur a lot), however this case is so simple that I decided
to go ahead and implement it directly.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@143318 91177308-0d34-0410-b5e6-96231b3b80d8
2011-10-30 19:56:36 +00:00
..
2010-12-20-Boolean.ll
2010-12-20-Distribute.ll
2011-01-14-Thread.ll
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
2011-09-05-InsertExtractValue.ll InstSimplify: Don't try to replace an extractvalue/insertvalue pair with the original value if types don't match. 2011-09-05 18:16:19 +00:00
2011-10-27-BinOpCrash.ll Reapply commit 143028 with a fix: the problem was casting a ConstantExpr Mul 2011-10-27 19:16:21 +00:00
AndOrXor.ll A shift of a power of two is a power of two or zero. 2011-10-28 18:30:05 +00:00
compare.ll Reapply commit 143214 with a fix: m_ICmp doesn't match conditions 2011-10-30 19:56:36 +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
maxmin.ll The comparision "max(x,y)==x" is equivalent to "x>=y". Since the max is 2011-05-07 16:56:49 +00:00
reassociate.ll teach instsimplify to transform (X / Y) * Y to X 2011-02-06 22:05:31 +00:00
rem.ll Move some rem transforms out of instcombine and into instsimplify. 2011-05-02 16:27:02 +00:00
undef.ll Improve constant folding of undef for cmp and select operators. 2011-07-01 01:03:43 +00:00