llvm/lib/Analysis, branch release_28http://llvm.orghttps://git.amat.us/llvm/atom/lib/Analysis?h=release_282010-09-05T17:45:44ZApproved by Chris:2010-09-05T17:45:44ZBill Wendlingisanbard@gmail.com2010-09-05T17:45:44Zurn:sha1:390f711778edb1d72dfca7a050a4cb0d1471105a
$ svn merge -c 113109 https://llvm.org/svn/llvm-project/llvm/trunk
--- Merging r113109 into '.':
U test/Transforms/GlobalOpt/crash.ll
U lib/Analysis/ValueTracking.cpp
Log:
fix PR8063, a crash in globalopt in the malloc analysis code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_28@113111 91177308-0d34-0410-b5e6-96231b3b80d8
Disable the asserts that check that normalization is perfectly2010-09-03T22:12:56ZDan Gohmangohman@apple.com2010-09-03T22:12:56Zurn:sha1:46ffb231c6c46f093e0485415f01a1a99f31c8be
invertible. ScalarEvolution's folding routines don't always succeed
in canonicalizing equal expressions to a single canonical form, and
this can cause these asserts to fail, even though there's no actual
correctness problem. This fixes PR8066.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@113021 91177308-0d34-0410-b5e6-96231b3b80d8
Add support for simplifying a load from a computed value to a load from a global when it2010-09-03T19:08:37ZOwen Andersonresistor@mac.com2010-09-03T19:08:37Zurn:sha1:1593dd6779d7ab1db13c44f32f987c32aff2b54b
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
stop forcing a noop AssemblyAnnotationWriter to silence #uses2010-09-02T23:03:10ZChris Lattnersabre@nondot.org2010-09-02T23:03:10Zurn:sha1:831c8ec016e70030752ddd68390ac8d3a5148892
comments, these don't happen anymore.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112901 91177308-0d34-0410-b5e6-96231b3b80d8
Remove incorrect and poorly tested code for trying to reason about values on default edges of2010-09-02T22:16:52ZOwen Andersonresistor@mac.com2010-09-02T22:16:52Zurn:sha1:4caef6001d2180a707ab42f4986f9941d5d0248b
switches. Just return the conservatively correct answer.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112876 91177308-0d34-0410-b5e6-96231b3b80d8
Fix a bug in LazyValueInfo that CorrelatedValuePropagation exposed: In the LVI lattice, undef and the full set ConstantRange should not2010-09-02T18:23:58ZOwen Andersonresistor@mac.com2010-09-02T18:23:58Zurn:sha1:66048c2169dd8d7541eae39e5c2aa2a935fc46fa
be treated as equivalent.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112843 91177308-0d34-0410-b5e6-96231b3b80d8
Revert 112442 and 112440 until the compile time problems introduced2010-09-01T01:45:53ZDan Gohmangohman@apple.com2010-09-01T01:45:53Zurn:sha1:191bd64a39490fa75d35b9aaecdd57b00c7a8b5f
by 112440 are resolved.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112692 91177308-0d34-0410-b5e6-96231b3b80d8
Reapply r112432, now that the real problem is addressed.2010-08-31T22:53:17ZDan Gohmangohman@apple.com2010-08-31T22:53:17Zurn:sha1:3f19c091bf9cfe717e14b8a1967085ba84db3877
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112667 91177308-0d34-0410-b5e6-96231b3b80d8
Reapply r112433, now that the real problem is addressed.2010-08-31T22:52:12ZDan Gohmangohman@apple.com2010-08-31T22:52:12Zurn:sha1:6a0c125ed566d3d2fecd70b9dcac65ef10b7958a
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112666 91177308-0d34-0410-b5e6-96231b3b80d8
Revert r110916. This patch is buggy because the code inside the2010-08-31T22:50:31ZDan Gohmangohman@apple.com2010-08-31T22:50:31Zurn:sha1:90b5f25e8d3db3a05a6cedfb70ad59e7db884f29
inner loop doesn't update all the variables in the outer loop.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112665 91177308-0d34-0410-b5e6-96231b3b80d8