David Majnemer 8bc44fb2b4 [SCCP] Don't violate the lattice invariants ...

We marked values which are 'undef' as constant instead of undefined
which violates SCCP's invariants.  If we can figure out that a
computation results in 'undef', leave it in the undefined state.

This fixes PR16052.

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

2016-01-07 21:36:16 +00:00

..

2008-06-09-WeakProp.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

2009-09-24-byval-ptr.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

dangling-block-address.ll

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

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

deadarg.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

global.ll

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

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

PR16052.ll

[SCCP] Don't violate the lattice invariants

2016-01-07 21:36:16 +00:00

PR26044.ll

[SCCP] Can't go from overdefined to constant

2016-01-07 19:25:39 +00:00

recursion.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

return-argument.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

return-constant.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

return-constants.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

user-with-multiple-uses.ll

Use references to attribute groups on the call/invoke instructions.

2013-02-22 09:09:42 +00:00