llvm-project/llvm/test/Analysis/BasicAA/2008-11-23-NoaliasRet.ll

; RUN: opt < %s -basicaa -aa-eval |& grep {1 no alias response}

declare noalias i32* @_Znwj(i32 %x) nounwind

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
}
Make BasicAliasAnalysis a normal AliasAnalysis implementation which does normal initialization and normal chaining. Change the default AliasAnalysis implementation to NoAlias. Update StandardCompileOpts.h and friends to explicitly request BasicAliasAnalysis. Update tests to explicitly request -basicaa. llvm-svn: 116720 2010-10-19 02:04:47 +08:00			`; RUN: opt < %s -basicaa -aa-eval \|& grep {1 no alias response}`
Extend the 'noalias' attribute to function return values. This is intended to indicate functions that allocate, such as operator new, or list::insert. The actual definition is slightly less strict (for now). No changes to the bitcode reader/writer, asm printer or verifier were needed. llvm-svn: 59934 2008-11-24 11:41:24 +08:00
			`declare noalias i32* @_Znwj(i32 %x) nounwind`

			`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`
			`}`