1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
; RUN: opt < %s -passes=aa-eval -print-all-alias-modref-info 2>&1 | FileCheck %s
@c = constant [8 x i32] zeroinitializer
declare void @dummy()
declare void @foo(ptr)
; CHECK-LABEL: Function: basic
; CHECK: NoModRef: Ptr: i32* @c <-> call void @dummy()
define void @basic(ptr %p) {
call void @dummy()
load i32, ptr @c
ret void
}
; CHECK-LABEL: Function: recphi
; CHECK: NoModRef: Ptr: i32* %p <-> call void @dummy()
define void @recphi() {
entry:
br label %loop
loop:
%p = phi ptr [ @c, %entry ], [ %p.next, %loop ]
call void @dummy()
load i32, ptr %p
%p.next = getelementptr i32, ptr %p, i64 1
%c = icmp ne ptr %p.next, getelementptr (i32, ptr @c, i64 8)
br i1 %c, label %loop, label %exit
exit:
ret void
}
; Tests that readonly noalias implies !Mod.
;
; CHECK-LABEL: Function: readonly_noalias
; CHECK: Just Ref: Ptr: i32* %p <-> call void @foo(ptr %p)
define void @readonly_noalias(ptr readonly noalias %p) {
call void @foo(ptr %p)
load i32, ptr %p
ret void
}
; Tests that readnone noalias implies !Mod.
;
; CHECK-LABEL: Function: readnone_noalias
; CHECK: Just Ref: Ptr: i32* %p <-> call void @foo(ptr %p)
define void @readnone_noalias(ptr readnone noalias %p) {
call void @foo(ptr %p)
load i32, ptr %p
ret void
}
; Tests that writeonly noalias doesn't imply !Ref (since it's still possible
; to read from the object through other pointers if the pointer wasn't
; written).
;
; CHECK-LABEL: Function: writeonly_noalias
; CHECK: Both ModRef: Ptr: i32* %p <-> call void @foo(ptr %p)
define void @writeonly_noalias(ptr writeonly noalias %p) {
call void @foo(ptr %p)
load i32, ptr %p
ret void
}
; Tests that readonly doesn't imply !Mod without noalias.
;
; CHECK-LABEL: Function: just_readonly
; CHECK: Both ModRef: Ptr: i32* %p <-> call void @foo(ptr %p)
define void @just_readonly(ptr readonly %p) {
call void @foo(ptr %p)
load i32, ptr %p
ret void
}
; Tests that readnone doesn't imply !Mod without noalias.
;
; CHECK-LABEL: Function: just_readnone
; CHECK: Both ModRef: Ptr: i32* %p <-> call void @foo(ptr %p)
define void @just_readnone(ptr readnone %p) {
call void @foo(ptr %p)
load i32, ptr %p
ret void
}
; Tests that writeonly doesn't imply !Ref.
;
; CHECK-LABEL: Function: just_writeonly
; CHECK: Both ModRef: Ptr: i32* %p <-> call void @foo(ptr %p)
define void @just_writeonly(ptr writeonly %p) {
call void @foo(ptr %p)
load i32, ptr %p
ret void
}
|
