David Majnemer e46e8af4d7 [CVP] Don't assume Constants of type i1 can be known to be true or false ...

CVP wants to analyze the condition operand of a select along an edge.
It succeeds in getting back a Constant but not a ConstantInt.  Instead,
it gets a ConstantExpr.  It then assumes that the Constant must be equal
to false because it isn't equal to true.

Instead, perform an additional comparison.

This fixes PR23752.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@239217 91177308-0d34-0410-b5e6-96231b3b80d8

2015-06-06 04:56:51 +00:00

..

2010-09-02-Trunc.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

2010-09-26-MergeConstantRange.ll

…

basic.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

crash.ll

CorrelatedPropagation: BasicBlock::removePredecessor can simplify PHI nodes. If the it's the condition of a SwitchInst, reload it.

2012-09-28 10:42:50 +00:00

icmp.ll

LazyValueInfo: Actually re-visit partially solved block-values in solveBlockValue()

2014-11-25 17:23:05 +00:00

non-null.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

range.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

select.ll

[CVP] Don't assume Constants of type i1 can be known to be true or false

2015-06-06 04:56:51 +00:00