diff options
author | Eli Friedman <eli.friedman@gmail.com> | 2011-04-07 01:35:06 +0000 |
---|---|---|
committer | Eli Friedman <eli.friedman@gmail.com> | 2011-04-07 01:35:06 +0000 |
commit | 0e382192c1a7750a157e470f749645ac2266d317 (patch) | |
tree | cd328ba43055ebcc9e2cc897f5608617528799c5 /test/Analysis/BasicAA/store-promote.ll | |
parent | 8424a60fc9059d4ba7c45c80d28d86e3186fcf4e (diff) |
PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad
is equivalent to any other relevant value; it isn't true in general.
If it is equivalent, the LoopPromoter will tell the AST the equivalence.
Also, delete the PreheaderLoad if it is unused.
Chris, since you were the last one to make major changes here, can you check
that this is sane?
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@129049 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/BasicAA/store-promote.ll')
-rw-r--r-- | test/Analysis/BasicAA/store-promote.ll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Analysis/BasicAA/store-promote.ll b/test/Analysis/BasicAA/store-promote.ll index 33d0f3a544..0db805c3e2 100644 --- a/test/Analysis/BasicAA/store-promote.ll +++ b/test/Analysis/BasicAA/store-promote.ll @@ -24,7 +24,7 @@ Out: ; preds = %Loop ; The Loop block should be empty after the load/store are promoted. ; CHECK: @test1 -; CHECK: load i32* @B +; CHECK: load i32* @A ; CHECK: Loop: ; CHECK-NEXT: br i1 %c, label %Out, label %Loop ; CHECK: Out: |