David Majnemer 3f2ffe0423 SCCP: overdefined calls cannot become constant ...

We would attempt to fold away a call instruction which had been marked
overdefined.  However, it's not valid to transition to constant from
overdefined.

This fixes PR21512.

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

2014-11-07 08:54:19 +00:00

..

2002-05-02-MissSecondInst.ll

…

2002-05-20-MissedIncomingValue.ll

…

2002-05-21-InvalidSimplify.ll

…

2002-08-30-GetElementPtrTest.ll

…

2003-06-24-OverdefinedPHIValue.ll

…

2003-08-26-InvokeHandling.ll

…

2004-11-16-DeadInvoke.ll

…

2004-12-10-UndefBranchBug.ll

…

2006-10-23-IPSCCP-Crash.ll

…

2006-12-04-PackedType.ll

…

2006-12-19-UndefBug.ll

…

2007-05-16-InvokeCrash.ll

…

2008-01-27-UndefCorrelate.ll

…

2008-04-22-multiple-ret-sccp.ll

…

2008-05-23-UndefCallFold.ll

…

2009-01-14-IPSCCP-Invoke.ll

…

2009-05-27-VectorOperandZero.ll

…

apint-array.ll

…

apint-basictest2.ll

…

apint-basictest3.ll

…

apint-basictest4.ll

…

apint-basictest.ll

…

apint-bigarray.ll

…

apint-bigint2.ll

…

apint-bigint.ll

…

apint-ipsccp1.ll

…

apint-ipsccp2.ll

…

apint-ipsccp3.ll

…

apint-ipsccp4.ll

…

apint-load.ll

…

apint-phi.ll

…

apint-select.ll

…

atomic-load-store.ll

Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.

2013-07-14 01:50:49 +00:00

atomic.ll

SCCP: update for cmpxchg returning { iN, i1 } now.

2014-06-13 14:54:09 +00:00

calltest.ll

…

crash.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2013-01-01 13:57:25 +00:00

ipsccp-addr-taken.ll

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

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

ipsccp-basic.ll

SCCP: overdefined calls cannot become constant

2014-11-07 08:54:19 +00:00

loadtest.ll

llvm/ConstantFolding.cpp: Make ReadDataFromGlobal() and FoldReinterpretLoadFromConstPtr() Big-endian-aware.

2012-11-08 20:34:25 +00:00

logical-nuke.ll

…

retvalue-undef.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 01:28:40 +00:00

sccptest.ll

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

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

select.ll

…

switch.ll

Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.

2013-07-14 01:50:49 +00:00

undef-resolve.ll

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

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

vector-bitcast.ll

…