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