[llvm] r199351 - BasicAA: We need to check both access sizes when comparing a gep and an
Arnold Schwaighofer
aschwaighofer at apple.com
Wed Jan 15 20:53:18 PST 2014
Author: arnolds
Date: Wed Jan 15 22:53:18 2014
New Revision: 199351
URL: http://llvm.org/viewvc/llvm-project?rev=199351&view=rev
Log:
BasicAA: We need to check both access sizes when comparing a gep and an
underlying object of unknown size.
Fixes PR18460.
Added:
llvm/trunk/test/Analysis/BasicAA/noalias-bugs.ll
Modified:
llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=199351&r1=199350&r2=199351&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Wed Jan 15 22:53:18 2014
@@ -1009,7 +1009,15 @@ BasicAliasAnalysis::aliasGEP(const GEPOp
return NoAlias;
}
} else {
- if (V1Size != UnknownSize) {
+ // We have the situation where:
+ // + +
+ // | BaseOffset |
+ // ---------------->|
+ // |-->V1Size |-------> V2Size
+ // GEP1 V2
+ // We need to know that V2Size is not unknown, otherwise we might have
+ // stripped a gep with negative index ('gep <ptr>, -1, ...).
+ if (V1Size != UnknownSize && V2Size != UnknownSize) {
if (-(uint64_t)GEP1BaseOffset < V1Size)
return PartialAlias;
return NoAlias;
Added: llvm/trunk/test/Analysis/BasicAA/noalias-bugs.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Analysis/BasicAA/noalias-bugs.ll?rev=199351&view=auto
==============================================================================
--- llvm/trunk/test/Analysis/BasicAA/noalias-bugs.ll (added)
+++ llvm/trunk/test/Analysis/BasicAA/noalias-bugs.ll Wed Jan 15 22:53:18 2014
@@ -0,0 +1,33 @@
+; RUN: opt -S -basicaa -dse < %s | FileCheck %s
+
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+; We incorrectly returned noalias in the example below for "ptr.64" and
+; "either_ptr.64".
+; PR18460
+
+%nested = type { %nested.i64 }
+%nested.i64 = type { i64 }
+
+define i64 @testcase(%nested * noalias %p1, %nested * noalias %p2,
+ i32 %a, i32 %b) {
+ %ptr = getelementptr inbounds %nested* %p1, i64 -1, i32 0
+ %ptr.64 = getelementptr inbounds %nested.i64* %ptr, i64 0, i32 0
+ %ptr2= getelementptr inbounds %nested* %p2, i64 0, i32 0
+ %cmp = icmp ult i32 %a, %b
+ %either_ptr = select i1 %cmp, %nested.i64* %ptr2, %nested.i64* %ptr
+ %either_ptr.64 = getelementptr inbounds %nested.i64* %either_ptr, i64 0, i32 0
+
+; Because either_ptr.64 and ptr.64 can alias (we used to return noalias)
+; elimination of the first store is not valid.
+
+; CHECK: store i64 2
+; CHECK: load
+; CHECK; store i64 1
+
+ store i64 2, i64* %ptr.64, align 8
+ %r = load i64* %either_ptr.64, align 8
+ store i64 1, i64* %ptr.64, align 8
+ ret i64 %r
+}
More information about the llvm-commits
mailing list