Teach basicaa to use the nocapture attribute when possible. When the

intrinsics are properly marked nocapture, the fixme should be addressed.

llvm-svn: 61040

1 files changed, 13 insertions, 0 deletions

diff --git a/llvm/test/Analysis/BasicAA/nocapture.ll b/llvm/test/Analysis/BasicAA/nocapture.ll
new file mode 100644
index 00000000000..aa4c7f194cd
--- /dev/null
+++ b/llvm/test/Analysis/BasicAA/nocapture.ll
@@ -0,0 +1,13 @@
+; RUN: llvm-as < %s | opt -basicaa -gvn -instcombine | llvm-dis | grep {ret i32 0}
+
+declare i32* @test(i32* nocapture)
+
+define i32 @test2() {
+	%P = alloca i32
+	%Q = call i32* @test(i32* %P)
+	%a = load i32* %P
+	store i32 4, i32* %Q   ;; cannot clobber P since it is nocapture.
+	%b = load i32* %P
+	%c = sub i32 %a, %b
+	ret i32 %c
+}