llvm-mirror/test/Analysis/BasicAA/2007-08-01-NoAliasAndCalls.ll

; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s

; CHECK: Function: foo
; CHECK:   MayAlias: i32* %x, i32* %y

define void @foo(i32* noalias %x) {
  %y = call i32* @unclear(i32* %x)
  store i32 0, i32* %x
  store i32 0, i32* %y
  ret void
}

declare i32* @unclear(i32* %a)
Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old versions of Bash. In addition, I can back out the change to the lit built-in shell test runner to support this. This should fix the majority of fallout on Darwin, but I suspect there will be a few straggling issues. llvm-svn: 159544 2012-07-02 20:37:59 +02:00			`; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 \| FileCheck %s`
Teach BasicAA about noalias parameter attributes, but do it correctly this time. llvm-svn: 40711 2007-08-02 03:18:14 +02:00
FileCheck-ize these tests. Harden some of them. llvm-svn: 155432 2012-04-24 11:15:38 +02:00			`; CHECK: Function: foo`
			`; CHECK: MayAlias: i32* %x, i32* %y`
Teach BasicAA about noalias parameter attributes, but do it correctly this time. llvm-svn: 40711 2007-08-02 03:18:14 +02:00
			`define void @foo(i32* noalias %x) {`
			`%y = call i32* @unclear(i32* %x)`
			`store i32 0, i32* %x`
			`store i32 0, i32* %y`
			`ret void`
			`}`
FileCheck-ize these tests. Harden some of them. llvm-svn: 155432 2012-04-24 11:15:38 +02:00
			`declare i32* @unclear(i32* %a)`