[BasicAA] Add test for call incorrectly treated as escape source (NFC)

llvm · Jun 23, 2022 · 8b6f69a · 8b6f69a
1 parent bd1a4c8
commit 8b6f69a
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/llvm/test/Analysis/BasicAA/call-escape-source.ll b/llvm/test/Analysis/BasicAA/call-escape-source.ll
@@ -0,0 +1,22 @@
+; RUN: opt -aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s
+
+; FIXME: A call return value is not always an escape source, because
+; CaptureTracking can look through some calls. The test is constructed to
+; hit the getUnderlyingObject() recursion limit.
+define i32 @test() {
+; CHECK-LABEL: Function: test
+; CHECK-NEXT: NoAlias: i32* %a, i32* %p7
+  %a = alloca i32
+  %p1 = call ptr @llvm.strip.invariant.group.p0(ptr %a)
+  %p2 = getelementptr i8, ptr %p1, i64 1
+  %p3 = getelementptr i8, ptr %p2, i64 -1
+  %p4 = getelementptr i8, ptr %p3, i64 1
+  %p5 = getelementptr i8, ptr %p4, i64 -1
+  %p6 = getelementptr i8, ptr %p5, i64 1
+  %p7 = getelementptr i8, ptr %p6, i64 -1
+  %v = load i32, ptr %a
+  store i32 -1, ptr %p7
+  ret i32 %v
+}
+
+declare ptr @llvm.strip.invariant.group.p0(ptr)