1; RUN: opt -mtriple=i386-pc-linux-gnu -inferattrs -basic-aa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 %s | FileCheck %s
2
3; CHECK-LABEL: Function: test_memcmp_const_size
4; CHECK:      Just Ref:  Ptr: i8* %a	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
5; CHECK-NEXT: Just Ref:  Ptr: i8* %b	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
6; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.1	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
7; CHECK-NEXT: NoModRef:  Ptr: i8* %a.gep.5	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
8; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.1	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
9; CHECK-NEXT: NoModRef:  Ptr: i8* %b.gep.5	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
10define i32 @test_memcmp_const_size(i8* noalias %a, i8* noalias %b) {
11entry:
12  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
13  %a.gep.1 = getelementptr i8, i8* %a, i32 1
14  store i8 0, i8* %a.gep.1
15  %a.gep.5 = getelementptr i8, i8* %a, i32 5
16  store i8 1, i8* %a.gep.5
17  %b.gep.1 = getelementptr i8, i8* %b, i32 1
18  store i8 2, i8* %b.gep.1
19  %b.gep.5 = getelementptr i8, i8* %b, i32 5
20  store i8 3, i8* %b.gep.5
21  ret i32 %res
22}
23
24; CHECK-LABEL: Function: test_memcmp_variable_size
25; CHECK:      Just Ref:  Ptr: i8* %a	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
26; CHECK-NEXT: Just Ref:  Ptr: i8* %b	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
27; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.1	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
28; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.5	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
29; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.1	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
30; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.5	<->  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
31define i32 @test_memcmp_variable_size(i8* noalias %a, i8* noalias %b, i64 %n) {
32entry:
33  %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 %n)
34  %a.gep.1 = getelementptr i8, i8* %a, i32 1
35  store i8 0, i8* %a.gep.1
36  %a.gep.5 = getelementptr i8, i8* %a, i32 5
37  store i8 1, i8* %a.gep.5
38  %b.gep.1 = getelementptr i8, i8* %b, i32 1
39  store i8 2, i8* %b.gep.1
40  %b.gep.5 = getelementptr i8, i8* %b, i32 5
41  store i8 3, i8* %b.gep.5
42  ret i32 %res
43}
44
45declare i32 @memcmp(i8*, i8*, i64)
46declare i32 @bcmp(i8*, i8*, i64)
47
48; CHECK-LABEL: Function: test_bcmp_const_size
49; CHECK:      Just Ref:  Ptr: i8* %a	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
50; CHECK-NEXT: Just Ref:  Ptr: i8* %b	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
51; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.1	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
52; CHECK-NEXT: NoModRef:  Ptr: i8* %a.gep.5	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
53; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.1	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
54; CHECK-NEXT: NoModRef:  Ptr: i8* %b.gep.5	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
55define i32 @test_bcmp_const_size(i8* noalias %a, i8* noalias %b) {
56entry:
57  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
58  %a.gep.1 = getelementptr i8, i8* %a, i32 1
59  store i8 0, i8* %a.gep.1
60  %a.gep.5 = getelementptr i8, i8* %a, i32 5
61  store i8 1, i8* %a.gep.5
62  %b.gep.1 = getelementptr i8, i8* %b, i32 1
63  store i8 2, i8* %b.gep.1
64  %b.gep.5 = getelementptr i8, i8* %b, i32 5
65  store i8 3, i8* %b.gep.5
66  ret i32 %res
67}
68
69; CHECK-LABEL: Function: test_bcmp_variable_size
70; CHECK:      Just Ref:  Ptr: i8* %a	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
71; CHECK-NEXT: Just Ref:  Ptr: i8* %b	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
72; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.1	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
73; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.5	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
74; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.1	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
75; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.5	<->  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
76define i32 @test_bcmp_variable_size(i8* noalias %a, i8* noalias %b, i64 %n) {
77entry:
78  %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 %n)
79  %a.gep.1 = getelementptr i8, i8* %a, i32 1
80  store i8 0, i8* %a.gep.1
81  %a.gep.5 = getelementptr i8, i8* %a, i32 5
82  store i8 1, i8* %a.gep.5
83  %b.gep.1 = getelementptr i8, i8* %b, i32 1
84  store i8 2, i8* %b.gep.1
85  %b.gep.5 = getelementptr i8, i8* %b, i32 5
86  store i8 3, i8* %b.gep.5
87  ret i32 %res
88}
89
90declare i8* @memchr(i8*, i32, i64)
91
92; CHECK-LABEL: Function: test_memchr_const_size
93; CHECK: Just Ref:  Ptr: i8* %res      <->  %res = call i8* @memchr(i8* %a, i32 42, i64 4)
94; CHECK-NEXT: Just Ref:  Ptr: i8* %a.gep.1  <->  %res = call i8* @memchr(i8* %a, i32 42, i64 4)
95; CHECK-NEXT: NoModRef:  Ptr: i8* %a.gep.5  <->  %res = call i8* @memchr(i8* %a, i32 42, i64 4)
96define i8* @test_memchr_const_size(i8* noalias %a) {
97entry:
98  %res = call i8* @memchr(i8* %a, i32 42, i64 4)
99  %a.gep.1 = getelementptr i8, i8* %a, i32 1
100  store i8 0, i8* %a.gep.1
101  %a.gep.5 = getelementptr i8, i8* %a, i32 5
102  store i8 1, i8* %a.gep.5
103  ret i8* %res
104}
105
106declare i8* @memccpy(i8*, i8*, i32, i64)
107
108; CHECK-LABEL: Function: test_memccpy_const_size
109; CHECK:      Both ModRef:  Ptr: i8* %a     <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
110; CHECK-NEXT: Just Ref:  Ptr: i8* %b        <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
111; CHECK-NEXT: Both ModRef:  Ptr: i8* %res   <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
112; CHECK-NEXT: Both ModRef:  Ptr: i8* %a.gep.1       <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
113; CHECK-NEXT: NoModRef:  Ptr: i8* %a.gep.5  <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
114; CHECK-NEXT: Just Ref:  Ptr: i8* %b.gep.1  <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
115; CHECK-NEXT: NoModRef:  Ptr: i8* %b.gep.5  <->  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
116define i8* @test_memccpy_const_size(i8* noalias %a, i8* noalias %b) {
117entry:
118  %res = call i8* @memccpy(i8* %a, i8* %b, i32 42, i64 4)
119  %a.gep.1 = getelementptr i8, i8* %a, i32 1
120  store i8 0, i8* %a.gep.1
121  %a.gep.5 = getelementptr i8, i8* %a, i32 5
122  store i8 1, i8* %a.gep.5
123  %b.gep.1 = getelementptr i8, i8* %b, i32 1
124  store i8 2, i8* %b.gep.1
125  %b.gep.5 = getelementptr i8, i8* %b, i32 5
126  store i8 3, i8* %b.gep.5
127  ret i8* %res
128}
129