1 /* Test that __builtin_prefetch does no harm.
2
3 Check that the expression containing the address to prefetch is
4 evaluated if it has side effects, even if the target does not support
5 data prefetch. Check changes to pointers and to array indices that are
6 either global variables or arguments. */
7
8 #define ARRSIZE 100
9
10 int arr[ARRSIZE];
11 int *ptr = &arr[20];
12 int arrindex = 4;
13
14 /* Check that assignment within a prefetch argument is evaluated. */
15
16 int
17 assign_arg_ptr (int *p)
18 {
19 int *q;
20 __builtin_prefetch ((q = p), 0, 0);
21 return q == p;
22 }
23
24 int
25 assign_glob_ptr (void)
26 {
27 int *q;
28 __builtin_prefetch ((q = ptr), 0, 0);
29 return q == ptr;
30 }
31
32 int
33 assign_arg_idx (int *p, int i)
34 {
35 int j;
36 __builtin_prefetch (&p[j = i], 0, 0);
37 return j == i;
38 }
39
40 int
41 assign_glob_idx (void)
42 {
43 int j;
44 __builtin_prefetch (&ptr[j = arrindex], 0, 0);
45 return j == arrindex;
46 }
47
48 /* Check that pre/post increment/decrement within a prefetch argument are
49 evaluated. */
50
51 int
52 preinc_arg_ptr (int *p)
53 {
54 int *q;
55 q = p + 1;
56 __builtin_prefetch (++p, 0, 0);
57 return p == q;
58 }
59
60 int
61 preinc_glob_ptr (void)
62 {
63 int *q;
64 q = ptr + 1;
65 __builtin_prefetch (++ptr, 0, 0);
66 return ptr == q;
67 }
68
69 int
70 postinc_arg_ptr (int *p)
71 {
72 int *q;
73 q = p + 1;
74 __builtin_prefetch (p++, 0, 0);
75 return p == q;
76 }
77
78 int
79 postinc_glob_ptr (void)
80 {
81 int *q;
82 q = ptr + 1;
83 __builtin_prefetch (ptr++, 0, 0);
84 return ptr == q;
85 }
86
87 int
88 predec_arg_ptr (int *p)
89 {
90 int *q;
91 q = p - 1;
92 __builtin_prefetch (--p, 0, 0);
93 return p == q;
94 }
95
96 int
97 predec_glob_ptr (void)
98 {
99 int *q;
100 q = ptr - 1;
101 __builtin_prefetch (--ptr, 0, 0);
102 return ptr == q;
103 }
104
105 int
106 postdec_arg_ptr (int *p)
107 {
108 int *q;
109 q = p - 1;
110 __builtin_prefetch (p--, 0, 0);
111 return p == q;
112 }
113
114 int
115 postdec_glob_ptr (void)
116 {
117 int *q;
118 q = ptr - 1;
119 __builtin_prefetch (ptr--, 0, 0);
120 return ptr == q;
121 }
122
123 int
124 preinc_arg_idx (int *p, int i)
125 {
126 int j = i + 1;
127 __builtin_prefetch (&p[++i], 0, 0);
128 return i == j;
129 }
130
131
132 int
133 preinc_glob_idx (void)
134 {
135 int j = arrindex + 1;
136 __builtin_prefetch (&ptr[++arrindex], 0, 0);
137 return arrindex == j;
138 }
139
140 int
141 postinc_arg_idx (int *p, int i)
142 {
143 int j = i + 1;
144 __builtin_prefetch (&p[i++], 0, 0);
145 return i == j;
146 }
147
148 int
149 postinc_glob_idx (void)
150 {
151 int j = arrindex + 1;
152 __builtin_prefetch (&ptr[arrindex++], 0, 0);
153 return arrindex == j;
154 }
155
156 int
157 predec_arg_idx (int *p, int i)
158 {
159 int j = i - 1;
160 __builtin_prefetch (&p[--i], 0, 0);
161 return i == j;
162 }
163
164 int
165 predec_glob_idx (void)
166 {
167 int j = arrindex - 1;
168 __builtin_prefetch (&ptr[--arrindex], 0, 0);
169 return arrindex == j;
170 }
171
172 int
173 postdec_arg_idx (int *p, int i)
174 {
175 int j = i - 1;
176 __builtin_prefetch (&p[i--], 0, 0);
177 return i == j;
178 }
179
180 int
181 postdec_glob_idx (void)
182 {
183 int j = arrindex - 1;
184 __builtin_prefetch (&ptr[arrindex--], 0, 0);
185 return arrindex == j;
186 }
187
188 /* Check that function calls within the first prefetch argument are
189 evaluated. */
190
191 int getptrcnt = 0;
192
193 int *
194 getptr (int *p)
195 {
196 getptrcnt++;
197 return p + 1;
198 }
199
200 int
201 funccall_arg_ptr (int *p)
202 {
203 __builtin_prefetch (getptr (p), 0, 0);
204 return getptrcnt == 1;
205 }
206
207 int getintcnt = 0;
208
209 int
210 getint (int i)
211 {
212 getintcnt++;
213 return i + 1;
214 }
215
216 int
217 funccall_arg_idx (int *p, int i)
218 {
219 __builtin_prefetch (&p[getint (i)], 0, 0);
220 return getintcnt == 1;
221 }
222
223 int
224 main ()
225 {
226 if (!assign_arg_ptr (ptr))
227 abort ();
228 if (!assign_glob_ptr ())
229 abort ();
230 if (!assign_arg_idx (ptr, 4))
231 abort ();
232 if (!assign_glob_idx ())
233 abort ();
234 if (!preinc_arg_ptr (ptr))
235 abort ();
236 if (!preinc_glob_ptr ())
237 abort ();
238 if (!postinc_arg_ptr (ptr))
239 abort ();
240 if (!postinc_glob_ptr ())
241 abort ();
242 if (!predec_arg_ptr (ptr))
243 abort ();
244 if (!predec_glob_ptr ())
245 abort ();
246 if (!postdec_arg_ptr (ptr))
247 abort ();
248 if (!postdec_glob_ptr ())
249 abort ();
250 if (!preinc_arg_idx (ptr, 3))
251 abort ();
252 if (!preinc_glob_idx ())
253 abort ();
254 if (!postinc_arg_idx (ptr, 3))
255 abort ();
256 if (!postinc_glob_idx ())
257 abort ();
258 if (!predec_arg_idx (ptr, 3))
259 abort ();
260 if (!predec_glob_idx ())
261 abort ();
262 if (!postdec_arg_idx (ptr, 3))
263 abort ();
264 if (!postdec_glob_idx ())
265 abort ();
266 if (!funccall_arg_ptr (ptr))
267 abort ();
268 if (!funccall_arg_idx (ptr, 3))
269 abort ();
270 exit (0);
271 }