llvm-6502/test/Analysis/BasicAA/getmodrefinfo-cs-cs.ll

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

; CHECK: Just Ref: call void @ro() <-> call void @f0()

declare void @f0()
declare void @ro() readonly

define void @test() {
  call void @f0()
  call void @ro()
  ret void
}
The two-callsite form of AliasAnalysis::getModRefInfo is documented to return Ref if the left callsite only reads memory read or written by the right callsite; fix BasicAliasAnalysis to implement this. Add AliasAnalysisEvaluator support for testing the two-callsite form of getModRefInfo. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110270 91177308-0d34-0410-b5e6-96231b3b80d8 2010-08-04 22:56:29 +00:00			`; RUN: opt < %s -aa-eval -print-all-alias-modref-info -disable-output \|& FileCheck %s`

The trouble with testing for "ModRef" and "NoModRef" is that one is a suffix of the other, and FileCheck accepts superstrings. Adjust the output to avoid this problem. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110280 91177308-0d34-0410-b5e6-96231b3b80d8 2010-08-04 23:37:55 +00:00			`; CHECK: Just Ref: call void @ro() <-> call void @f0()`
The two-callsite form of AliasAnalysis::getModRefInfo is documented to return Ref if the left callsite only reads memory read or written by the right callsite; fix BasicAliasAnalysis to implement this. Add AliasAnalysisEvaluator support for testing the two-callsite form of getModRefInfo. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110270 91177308-0d34-0410-b5e6-96231b3b80d8 2010-08-04 22:56:29 +00:00
			`declare void @f0()`
			`declare void @ro() readonly`

			`define void @test() {`
			`call void @f0()`
			`call void @ro()`
			`ret void`
			`}`