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

; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output |& grep {MayAlias:.*i32\\* %., i32\\* %.} | grep {%x} | grep {%y}

declare i32* @unclear(i32* %a)

define void @foo(i32* noalias %x) {
  %y = call i32* @unclear(i32* %x)
  store i32 0, i32* %x
  store i32 0, i32* %y
  ret void
}
Eliminate more uses of llvm-as and llvm-dis. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81293 91177308-0d34-0410-b5e6-96231b3b80d8 2009-09-09 00:09:15 +00:00			`; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output \|& grep {MayAlias:.i32\\ %., i32\\* %.} \| grep {%x} \| grep {%y}`
Teach BasicAA about noalias parameter attributes, but do it correctly this time. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@40711 91177308-0d34-0410-b5e6-96231b3b80d8 2007-08-02 01:18:14 +00:00
			`declare i32* @unclear(i32* %a)`

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