diff test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll @ 0:95c75e76d11b LLVM3.4

LLVM 3.4
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Thu, 12 Dec 2013 13:56:28 +0900
parents
children afa8332a0e37
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll	Thu Dec 12 13:56:28 2013 +0900
@@ -0,0 +1,14 @@
+; RUN: opt < %s -basicaa -aa-eval -disable-output 2>&1 | FileCheck %s
+
+declare noalias i32* @_Znwj(i32 %x) nounwind
+
+; CHECK: 1 no alias response
+
+define i32 @foo() {
+  %A = call i32* @_Znwj(i32 4)
+  %B = call i32* @_Znwj(i32 4)
+  store i32 1, i32* %A
+  store i32 2, i32* %B
+  %C = load i32* %A
+  ret i32 %C
+}