Duncan Sands 012f8547f7 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@143214 91177308-0d34-0410-b5e6-96231b3b80d8

2011-10-28 19:01:20 +00:00

..

2010-12-20-Boolean.ll

…

2010-12-20-Distribute.ll

…

2011-01-14-Thread.ll

…

2011-02-01-Vector.ll

…

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

The expression icmp eq (select (icmp eq x, 0), 1, x), 0 folds to false.

2011-10-28 19:01:20 +00:00

dg.exp

…

exact-nsw-nuw.ll

…

fdiv.ll

…

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

…

rem.ll

…

undef.ll

Improve constant folding of undef for cmp and select operators.

2011-07-01 01:03:43 +00:00