Add support for simplifying a load from a computed value to a load from a global...
authorOwen Anderson <resistor@mac.com>
Fri, 3 Sep 2010 19:08:37 +0000 (19:08 +0000)
committerOwen Anderson <resistor@mac.com>
Fri, 3 Sep 2010 19:08:37 +0000 (19:08 +0000)
commit1593dd6779d7ab1db13c44f32f987c32aff2b54b
treecd9e61db505f08b161f4fe3d43666844560b681c
parentac530614641a3702a90702b78acb6b9d8588881b
Add support for simplifying a load from a computed value to a load from a global when it
is provable that they're equivalent.  This fixes PR4855.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112994 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LazyValueInfo.cpp
lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
test/Transforms/CorrelatedValuePropagation/basic.ll