From 9a036b945c67aeb44093c6c515e4b85e21094335 Mon Sep 17 00:00:00 2001
From: Duncan Sands <baldrick@free.fr>
Date: Wed, 3 Sep 2008 12:55:42 +0000
Subject: Cleanup GlobalsModRef a bit.  When analysing the callgraph, when one
 member of a SCC calls another then the analysis would drop to mod-ref because
 there is (usually) no function info for the callee yet; fix this.  Teach the
 analysis about function attributes, in particular the readonly attribute
 (which requires being careful about globals).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55696 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Analysis/GlobalsModRef/2008-09-03-Mutual.ll      | 11 +++++++++++
 test/Analysis/GlobalsModRef/2008-09-03-ReadGlobals.ll | 18 ++++++++++++++++++
 test/Analysis/GlobalsModRef/2008-09-03-ReadOnly.ll    |  9 +++++++++
 3 files changed, 38 insertions(+)
 create mode 100644 test/Analysis/GlobalsModRef/2008-09-03-Mutual.ll
 create mode 100644 test/Analysis/GlobalsModRef/2008-09-03-ReadGlobals.ll
 create mode 100644 test/Analysis/GlobalsModRef/2008-09-03-ReadOnly.ll

(limited to 'test/Analysis')

diff --git a/test/Analysis/GlobalsModRef/2008-09-03-Mutual.ll b/test/Analysis/GlobalsModRef/2008-09-03-Mutual.ll
new file mode 100644
index 0000000..f6f47f9
--- /dev/null
+++ b/test/Analysis/GlobalsModRef/2008-09-03-Mutual.ll
@@ -0,0 +1,11 @@
+; RUN: llvm-as < %s | opt -globalsmodref-aa -markmodref | llvm-dis | grep readnone
+
+define i32 @a() {
+	%tmp = call i32 @b( )		; <i32> [#uses=1]
+	ret i32 %tmp
+}
+
+define i32 @b() {
+	%tmp = call i32 @a( )		; <i32> [#uses=1]
+	ret i32 %tmp
+}
diff --git a/test/Analysis/GlobalsModRef/2008-09-03-ReadGlobals.ll b/test/Analysis/GlobalsModRef/2008-09-03-ReadGlobals.ll
new file mode 100644
index 0000000..aba6082
--- /dev/null
+++ b/test/Analysis/GlobalsModRef/2008-09-03-ReadGlobals.ll
@@ -0,0 +1,18 @@
+; RUN: llvm-as < %s | opt -globalsmodref-aa -gvn | llvm-dis | grep call | count 2
+
+@g = internal global i32 0		; <i32*> [#uses=2]
+
+define i32 @r() {
+	%tmp = load i32* @g		; <i32> [#uses=1]
+	ret i32 %tmp
+}
+
+define i32 @f() {
+entry:
+	%tmp = call i32 @e( )		; <i32> [#uses=1]
+	store i32 %tmp, i32* @g
+	%tmp2 = call i32 @e( )		; <i32> [#uses=1]
+	ret i32 %tmp2
+}
+
+declare i32 @e() readonly	; might call @r
diff --git a/test/Analysis/GlobalsModRef/2008-09-03-ReadOnly.ll b/test/Analysis/GlobalsModRef/2008-09-03-ReadOnly.ll
new file mode 100644
index 0000000..de1666f
--- /dev/null
+++ b/test/Analysis/GlobalsModRef/2008-09-03-ReadOnly.ll
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | opt -globalsmodref-aa -markmodref | llvm-dis | grep readonly | count 2
+
+define i32 @f() {
+entry:
+	%tmp = call i32 @e( )		; <i32> [#uses=1]
+	ret i32 %tmp
+}
+
+declare i32 @e() readonly
-- 
cgit v1.1