Add a replacement for 2009-02-12-GEPNoalias.ll that works without -debug.
authorNick Lewycky <nicholas@mxc.ca>
Sat, 14 Mar 2009 19:40:09 +0000 (19:40 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Sat, 14 Mar 2009 19:40:09 +0000 (19:40 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@67011 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll [new file with mode: 0644]

diff --git a/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll b/test/Analysis/BasicAA/2009-03-04-GEPNoalias.ll
new file mode 100644 (file)
index 0000000..754d7a0
--- /dev/null
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | opt -aa-eval -basicaa |& grep {0 no alias}
+
+declare noalias i32* @noalias()
+
+define void @test(i32 %x) {
+  %a = call i32* @noalias()
+  %b = getelementptr i32* %a, i32 %x
+  ret void
+}