projects
/
oota-llvm.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Fix memdep's code for reasoning about dependences between two calls. A Ref
[oota-llvm.git]
/
test
/
Analysis
/
BasicAA
/
getmodrefinfo-cs-cs.ll
1
; RUN: opt < %s -aa-eval -print-all-alias-modref-info -disable-output |& FileCheck %s
2
3
; CHECK: Just Ref: call void @ro() <-> call void @f0()
4
5
declare void @f0()
6
declare void @ro() readonly
7
8
define void @test() {
9
call void @f0()
10
call void @ro()
11
ret void
12
}