aboutsummaryrefslogtreecommitdiffstats
path: root/test/Analysis
diff options
context:
space:
mode:
authorChristopher Lamb <christopher.lamb@gmail.com>2007-07-31 07:04:51 +0000
committerChristopher Lamb <christopher.lamb@gmail.com>2007-07-31 07:04:51 +0000
commitb54066b6edfbdab8a449805fe6aad3ad0e956c49 (patch)
treeb0a2c68cbb16d5671f312f39d53cfac0818a122e /test/Analysis
parent09ab94f3825ca7c5f02ebaa6814af5dbaa711349 (diff)
downloadexternal_llvm-b54066b6edfbdab8a449805fe6aad3ad0e956c49.zip
external_llvm-b54066b6edfbdab8a449805fe6aad3ad0e956c49.tar.gz
external_llvm-b54066b6edfbdab8a449805fe6aad3ad0e956c49.tar.bz2
Teach BasicAA about noalias function parameters. Passes all of DejaGNU and test-suite.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40624 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
-rw-r--r--test/Analysis/BasicAA/2007-07-31-NoAliasTest.ll12
1 files changed, 12 insertions, 0 deletions
diff --git a/test/Analysis/BasicAA/2007-07-31-NoAliasTest.ll b/test/Analysis/BasicAA/2007-07-31-NoAliasTest.ll
new file mode 100644
index 0000000..f760de3
--- /dev/null
+++ b/test/Analysis/BasicAA/2007-07-31-NoAliasTest.ll
@@ -0,0 +1,12 @@
+; RUN: llvm-as %s -o - | opt -aa-eval -print-may-aliases -disable-output |& grep '1 may alias'
+; RUN: llvm-as %s -o - | opt -aa-eval -print-may-aliases -disable-output |& grep '5 no alias'
+; RUN: llvm-as %s -o - | opt -aa-eval -print-may-aliases -disable-output |& grep 'MayAlias: i32* %ptr4, i32* %ptr2'
+
+define void @_Z3fooPiS_RiS_(i32* noalias %ptr1, i32* %ptr2, i32* noalias %ptr3, i32* %ptr4) {
+entry:
+ store i32 0, i32* %ptr1
+ store i32 0, i32* %ptr2
+ store i32 0, i32* %ptr3
+ store i32 0, i32* %ptr4
+ ret void
+} \ No newline at end of file