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


1
2
3
4
5
6
7
8
9
10
11
12

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

; CHECK: {{[[:<:]]}}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
}