sim: bfin: import testsuite
[external/binutils.git] / sim / testsuite / sim / bfin / c_logi2op_bittst.s
1 //Original:/testcases/core/c_logi2op_bittst/c_logi2op_bittst.dsp
2 // Spec Reference: Logi2op functions: bittst
3 # mach: bfin
4
5 .include "testutils.inc"
6         start
7
8
9
10 imm32 r0, 0x00000000;
11 imm32 r1, 0x00000000;
12 imm32 r2, 0x00000000;
13 imm32 r3, 0x00000000;
14 imm32 r4, 0x00000000;
15 imm32 r5, 0x00000000;
16 imm32 r6, 0x00000000;
17 imm32 r7, 0x00000000;
18
19 // bit(0-7) tst set clr toggle
20 CC = BITTST ( R0 , 0 ); /* cc = 0 */
21 BITSET( R0 , 0 ); /* r0 = 0x00000001 */
22 R1 = CC;
23 CC = BITTST ( R0 , 0 ); /* cc = 1 */
24 R2 = CC;
25 BITCLR( R0 , 0 ); /* r0 = 0x00000000 */
26 CC = BITTST ( R0 , 0 ); /* cc = 1 */
27 R3 = CC;
28 BITTGL( R0 , 0 ); /* r0 = 0x00000001 */
29 CC = BITTST ( R0 , 0 ); /* cc = 1 */
30 R4 = CC;
31 CHECKREG r0, 0x00000001;
32 CHECKREG r1, 0x00000000;
33 CHECKREG r2, 0x00000001;
34 CHECKREG r3, 0x00000000;
35 CHECKREG r4, 0x00000001;
36
37 CC = BITTST ( R1 , 1 ); /* cc = 0 */
38 R2 = CC;
39 BITSET( R1 , 1 ); /* r1 = 0x00000002 */
40 CC = BITTST ( R1 , 1 ); /* cc = 1 */
41 R3 = CC;
42 BITCLR( R1 , 1 ); /* r1 = 0x00000000 */
43 CC = BITTST ( R1 , 1 ); /* cc = 1 */
44 R4 = CC;
45 BITTGL( R1 , 1 ); /* r1 = 0x00000002 */
46 CC = BITTST ( R1 , 1 ); /* cc = 1 */
47 R5 = CC;
48 CHECKREG r1, 0x00000002;
49 CHECKREG r2, 0x00000000;
50 CHECKREG r3, 0x00000001;
51 CHECKREG r4, 0x00000000;
52 CHECKREG r5, 0x00000001;
53
54 CC = BITTST ( R2 , 2 ); /* cc = 0 */
55 R3 = CC;
56 BITSET( R2 , 2 ); /* r2 = 0x00000004 */
57 CC = BITTST ( R2 , 2 ); /* cc = 1 */
58 R4 = CC;
59 BITCLR( R2 , 2 ); /* r2 = 0x00000000 */
60 CC = BITTST ( R2 , 2 ); /* cc = 1 */
61 R5 = CC;
62 BITTGL( R2 , 2 ); /* r2 = 0x00000004 */
63 CC = BITTST ( R2 , 2 ); /* cc = 1 */
64 R6 = CC;
65 CHECKREG r2, 0x00000004;
66 CHECKREG r3, 0x00000000;
67 CHECKREG r4, 0x00000001;
68 CHECKREG r5, 0x00000000;
69 CHECKREG r6, 0x00000001;
70
71 CC = BITTST ( R3 , 3 ); /* cc = 0 */
72 R4 = CC;
73 BITSET( R3 , 3 ); /* r3 = 0x00000008 */
74 CC = BITTST ( R3 , 3 ); /* cc = 1 */
75 R5 = CC;
76 BITCLR( R3 , 3 ); /* r3 = 0x00000000 */
77 CC = BITTST ( R3 , 3 ); /* cc = 1 */
78 R6 = CC;
79 BITTGL( R3 , 3 ); /* r3 = 0x00000008 */
80 CC = BITTST ( R3 , 3 ); /* cc = 1 */
81 R7 = CC;
82 CHECKREG r0, 0x00000001;
83 CHECKREG r1, 0x00000002;
84 CHECKREG r2, 0x00000004;
85 CHECKREG r3, 0x00000008;
86 CHECKREG r4, 0x00000000;
87 CHECKREG r5, 0x00000001;
88 CHECKREG r6, 0x00000000;
89 CHECKREG r7, 0x00000001;
90
91 CC = BITTST ( R4 , 4 ); /* cc = 0 */
92 R5 = CC;
93 BITSET( R4 , 4 ); /* r4 = 0x00000010 */
94 CC = BITTST ( R4 , 4 ); /* cc = 1 */
95 R6 = CC;
96 BITCLR( R4 , 4 ); /* r4 = 0x00000000 */
97 CC = BITTST ( R4 , 4 ); /* cc = 1 */
98 R7 = CC;
99 BITTGL( R4 , 4 ); /* r4 = 0x00000010 */
100 CC = BITTST ( R4 , 4 ); /* cc = 1 */
101 R0 = CC;
102 CHECKREG r4, 0x00000010;
103 CHECKREG r5, 0x00000000;
104 CHECKREG r6, 0x00000001;
105 CHECKREG r7, 0x00000000;
106 CHECKREG r0, 0x00000001;
107
108 CC = BITTST ( R5 , 5 ); /* cc = 0 */
109 R6 = CC;
110 BITSET( R5 , 5 ); /* r5 = 0x00000020 */
111 CC = BITTST ( R5 , 5 ); /* cc = 1 */
112 R7 = CC;
113 BITCLR( R5 , 5 ); /* r5 = 0x00000000 */
114 CC = BITTST ( R5 , 5 ); /* cc = 1 */
115 R0 = CC;
116 BITTGL( R5 , 5 ); /* r5 = 0x00000020 */
117 CC = BITTST ( R5 , 5 ); /* cc = 1 */
118 R1 = CC;
119 CHECKREG r5, 0x00000020;
120 CHECKREG r6, 0x00000000;
121 CHECKREG r7, 0x00000001;
122 CHECKREG r0, 0x00000000;
123 CHECKREG r1, 0x00000001;
124
125 CC = BITTST ( R6 , 6 ); /* cc = 0 */
126 R7 = CC;
127 BITSET( R6 , 6 ); /* r6 = 0x00000040 */
128 CC = BITTST ( R6 , 6 ); /* cc = 1 */
129 R0 = CC;
130 BITCLR( R6 , 6 ); /* r6 = 0x00000000 */
131 CC = BITTST ( R6 , 6 ); /* cc = 1 */
132 R1 = CC;
133 BITTGL( R6 , 6 ); /* r6 = 0x00000040 */
134 CC = BITTST ( R6 , 6 ); /* cc = 1 */
135 R2 = CC;
136 CHECKREG r6, 0x00000040;
137 CHECKREG r7, 0x00000000;
138 CHECKREG r0, 0x00000001;
139 CHECKREG r1, 0x00000000;
140 CHECKREG r2, 0x00000001;
141
142 CC = BITTST ( R7 , 7 ); /* cc = 0 */
143 R0 = CC;
144 BITSET( R7 , 7 ); /* r7 = 0x00000080 */
145 CC = BITTST ( R7 , 7 ); /* cc = 1 */
146 R1 = CC;
147 BITCLR( R7 , 7 ); /* r7 = 0x00000000 */
148 CC = BITTST ( R7 , 7 ); /* cc = 1 */
149 R2 = CC;
150 BITTGL( R7 , 7 ); /* r7 = 0x00000080 */
151 CC = BITTST ( R7 , 7 ); /* cc = 1 */
152 R3 = CC;
153 CHECKREG r0, 0x00000000;
154 CHECKREG r1, 0x00000001;
155 CHECKREG r2, 0x00000000;
156 CHECKREG r3, 0x00000001;
157
158 CHECKREG r4, 0x00000010;
159 CHECKREG r5, 0x00000020;
160 CHECKREG r6, 0x00000040;
161 CHECKREG r7, 0x00000080;
162
163 // bit(8-15) tst set clr toggle
164 CC = BITTST ( R0 , 8 ); /* cc = 0 */
165 R1 = CC;
166 BITSET( R0 , 8 ); /* r0 = 0x00000101 */
167 CC = BITTST ( R0 , 8 ); /* cc = 1 */
168 R2 = CC;
169 BITCLR( R0 , 8 ); /* r0 = 0x00000000 */
170 CC = BITTST ( R0 , 8 ); /* cc = 1 */
171 R3 = CC;
172 BITTGL( R0 , 8 ); /* r0 = 0x00000101 */
173 CC = BITTST ( R0 , 8 ); /* cc = 1 */
174 R4 = CC;
175 CHECKREG r0, 0x00000100;
176 CHECKREG r1, 0x00000000;
177 CHECKREG r2, 0x00000001;
178 CHECKREG r3, 0x00000000;
179 CHECKREG r4, 0x00000001;
180
181 CC = BITTST ( R1 , 9 ); /* cc = 0 */
182 R2 = CC;
183 BITSET( R1 , 9 ); /* r1 = 0x00000200 */
184 CC = BITTST ( R1 , 9 ); /* cc = 1 */
185 R3 = CC;
186 BITCLR( R1 , 9 ); /* r1 = 0x00000000 */
187 CC = BITTST ( R1 , 9 ); /* cc = 1 */
188 R4 = CC;
189 BITTGL( R1 , 9 ); /* r1 = 0x00000200 */
190 CC = BITTST ( R1 , 9 ); /* cc = 1 */
191 R5 = CC;
192 CHECKREG r1, 0x00000200;
193 CHECKREG r2, 0x00000000;
194 CHECKREG r3, 0x00000001;
195 CHECKREG r4, 0x00000000;
196 CHECKREG r5, 0x00000001;
197
198 CC = BITTST ( R2 , 10 ); /* cc = 0 */
199 R3 = CC;
200 BITSET( R2 , 10 ); /* r2 = 0x00000400 */
201 CC = BITTST ( R2 , 10 ); /* cc = 1 */
202 R4 = CC;
203 BITCLR( R2 , 10 ); /* r2 = 0x00000000 */
204 CC = BITTST ( R2 , 10 ); /* cc = 1 */
205 R5 = CC;
206 BITTGL( R2 , 10 ); /* r2 = 0x00000400 */
207 CC = BITTST ( R2 , 10 ); /* cc = 1 */
208 R6 = CC;
209 CHECKREG r2, 0x00000400;
210 CHECKREG r3, 0x00000000;
211 CHECKREG r4, 0x00000001;
212 CHECKREG r5, 0x00000000;
213 CHECKREG r6, 0x00000001;
214
215 CC = BITTST ( R3 , 11 ); /* cc = 0 */
216 R4 = CC;
217 BITSET( R3 , 11 ); /* r3 = 0x00000800 */
218 CC = BITTST ( R3 , 11 ); /* cc = 1 */
219 R5 = CC;
220 BITCLR( R3 , 11 ); /* r3 = 0x00000000 */
221 CC = BITTST ( R3 , 11 ); /* cc = 1 */
222 R6 = CC;
223 BITTGL( R3 , 11 ); /* r3 = 0x00000800 */
224 CC = BITTST ( R3 , 11 ); /* cc = 1 */
225 R7 = CC;
226 CHECKREG r3, 0x00000800;
227 CHECKREG r4, 0x00000000;
228 CHECKREG r5, 0x00000001;
229 CHECKREG r6, 0x00000000;
230 CHECKREG r7, 0x00000001;
231
232 CC = BITTST ( R4 , 12 ); /* cc = 0 */
233 R5 = CC;
234 BITSET( R4 , 12 ); /* r4 = 0x00001000 */
235 CC = BITTST ( R4 , 12 ); /* cc = 1 */
236 R6 = CC;
237 BITCLR( R4 , 12 ); /* r4 = 0x00000000 */
238 CC = BITTST ( R4 , 12 ); /* cc = 1 */
239 R7 = CC;
240 BITTGL( R4 , 12 ); /* r4 = 0x00001000 */
241 CC = BITTST ( R4 , 12 ); /* cc = 1 */
242 R0 = CC;
243 CHECKREG r4, 0x00001000;
244 CHECKREG r5, 0x00000000;
245 CHECKREG r6, 0x00000001;
246 CHECKREG r7, 0x00000000;
247 CHECKREG r0, 0x00000001;
248
249 CC = BITTST ( R5 , 13 ); /* cc = 0 */
250 R6 = CC;
251 BITSET( R5 , 13 ); /* r5 = 0x00002000 */
252 CC = BITTST ( R5 , 13 ); /* cc = 1 */
253 R7 = CC;
254 BITCLR( R5 , 13 ); /* r5 = 0x00000000 */
255 CC = BITTST ( R5 , 13 ); /* cc = 1 */
256 R0 = CC;
257 BITTGL( R5 , 13 ); /* r5 = 0x00002000 */
258 CC = BITTST ( R5 , 13 ); /* cc = 1 */
259 R1 = CC;
260 CHECKREG r5, 0x00002000;
261 CHECKREG r6, 0x00000000;
262 CHECKREG r7, 0x00000001;
263 CHECKREG r0, 0x00000000;
264 CHECKREG r1, 0x00000001;
265
266 CC = BITTST ( R6 , 14 ); /* cc = 0 */
267 R7 = CC;
268 BITSET( R6 , 14 ); /* r6 = 0x00004000 */
269 CC = BITTST ( R6 , 14 ); /* cc = 1 */
270 R0 = CC;
271 BITCLR( R6 , 14 ); /* r6 = 0x00000000 */
272 CC = BITTST ( R6 , 14 ); /* cc = 1 */
273 R1 = CC;
274 BITTGL( R6 , 14 ); /* r6 = 0x00004000 */
275 CC = BITTST ( R6 , 14 ); /* cc = 1 */
276 R2 = CC;
277 CHECKREG r6, 0x00004000;
278 CHECKREG r7, 0x00000000;
279 CHECKREG r0, 0x00000001;
280 CHECKREG r1, 0x00000000;
281 CHECKREG r2, 0x00000001;
282
283 CC = BITTST ( R7 , 15 ); /* cc = 0 */
284 R0 = CC;
285 BITSET( R7 , 15 ); /* r7 = 0x00008000 */
286 CC = BITTST ( R7 , 15 ); /* cc = 1 */
287 R1 = CC;
288 BITCLR( R7 , 15 ); /* r7 = 0x00000000 */
289 CC = BITTST ( R7 , 15 ); /* cc = 1 */
290 R2 = CC;
291 BITTGL( R7 , 15 ); /* r7 = 0x00008000 */
292 CC = BITTST ( R7 , 15 ); /* cc = 1 */
293 R3 = CC;
294 CHECKREG r0, 0x00000000;
295 CHECKREG r1, 0x00000001;
296 CHECKREG r2, 0x00000000;
297 CHECKREG r3, 0x00000001;
298 CHECKREG r4, 0x00001000;
299 CHECKREG r5, 0x00002000;
300 CHECKREG r6, 0x00004000;
301 CHECKREG r7, 0x00008000;
302
303 // bit(16-23) tst set clr toggle
304 CC = BITTST ( R0 , 16 ); /* cc = 0 */
305 R1 = CC;
306 BITSET( R0 , 16 ); /* r0 = 0x00010000 */
307 CC = BITTST ( R0 , 16 ); /* cc = 1 */
308 R2 = CC;
309 BITCLR( R0 , 16 ); /* r0 = 0x00000000 */
310 CC = BITTST ( R0 , 16 ); /* cc = 1 */
311 R3 = CC;
312 BITTGL( R0 , 16 ); /* r0 = 0x00010000 */
313 CC = BITTST ( R0 , 16 ); /* cc = 1 */
314 R4 = CC;
315 CHECKREG r0, 0x00010000;
316 CHECKREG r1, 0x00000000;
317 CHECKREG r2, 0x00000001;
318 CHECKREG r3, 0x00000000;
319 CHECKREG r4, 0x00000001;
320
321 CC = BITTST ( R1 , 17 ); /* cc = 0 */
322 R2 = CC;
323 BITSET( R1 , 17 ); /* r1 = 0x00020000 */
324 CC = BITTST ( R1 , 17 ); /* cc = 1 */
325 R3 = CC;
326 BITCLR( R1 , 17 ); /* r1 = 0x00000000 */
327 CC = BITTST ( R1 , 17 ); /* cc = 1 */
328 R4 = CC;
329 BITTGL( R1 , 17 ); /* r1 = 0x00020000 */
330 CC = BITTST ( R1 , 17 ); /* cc = 1 */
331 R5 = CC;
332 CHECKREG r1, 0x00020000;
333 CHECKREG r2, 0x00000000;
334 CHECKREG r3, 0x00000001;
335 CHECKREG r4, 0x00000000;
336 CHECKREG r5, 0x00000001;
337
338 CC = BITTST ( R2 , 18 ); /* cc = 0 */
339 R3 = CC;
340 BITSET( R2 , 18 ); /* r2 = 0x00020000 */
341 CC = BITTST ( R2 , 18 ); /* cc = 1 */
342 R4 = CC;
343 BITCLR( R2 , 18 ); /* r2 = 0x00000000 */
344 CC = BITTST ( R2 , 18 ); /* cc = 1 */
345 R4 = CC;
346 BITTGL( R2 , 18 ); /* r2 = 0x00020000 */
347 CC = BITTST ( R2 , 18 ); /* cc = 1 */
348 R5 = CC;
349 CHECKREG r2, 0x00040000;
350 CHECKREG r3, 0x00000000;
351 CHECKREG r4, 0x00000000;
352 CHECKREG r5, 0x00000001;
353 CHECKREG r6, 0x00004000;
354
355 CC = BITTST ( R3 , 19 ); /* cc = 0 */
356 R4 = CC;
357 BITSET( R3 , 19 ); /* r3 = 0x00080000 */
358 CC = BITTST ( R3 , 19 ); /* cc = 1 */
359 R5 = CC;
360 BITCLR( R3 , 19 ); /* r3 = 0x00000000 */
361 CC = BITTST ( R3 , 19 ); /* cc = 1 */
362 R6 = CC;
363 BITTGL( R3 , 19 ); /* r3 = 0x00080000 */
364 CC = BITTST ( R3 , 19 ); /* cc = 1 */
365 R7 = CC;
366 CHECKREG r3, 0x00080000;
367 CHECKREG r4, 0x00000000;
368 CHECKREG r5, 0x00000001;
369 CHECKREG r6, 0x00000000;
370 CHECKREG r7, 0x00000001;
371
372 CC = BITTST ( R4 , 20 ); /* cc = 0 */
373 R5 = CC;
374 BITSET( R4 , 20 ); /* r4 = 0x00100000 */
375 CC = BITTST ( R4 , 20 ); /* cc = 1 */
376 R6 = CC;
377 BITCLR( R4 , 20 ); /* r4 = 0x00000000 */
378 CC = BITTST ( R4 , 20 ); /* cc = 1 */
379 R7 = CC;
380 BITTGL( R4 , 20 ); /* r4 = 0x00100000 */
381 CC = BITTST ( R4 , 20 ); /* cc = 1 */
382 R0 = CC;
383 CHECKREG r4, 0x00100000;
384 CHECKREG r5, 0x00000000;
385 CHECKREG r6, 0x00000001;
386 CHECKREG r7, 0x00000000;
387 CHECKREG r0, 0x00000001;
388
389 CC = BITTST ( R5 , 21 ); /* cc = 0 */
390 R6 = CC;
391 BITSET( R5 , 21 ); /* r5 = 0x00200000 */
392 CC = BITTST ( R5 , 21 ); /* cc = 1 */
393 R7 = CC;
394 BITCLR( R5 , 21 ); /* r5 = 0x00000000 */
395 CC = BITTST ( R5 , 21 ); /* cc = 1 */
396 R0 = CC;
397 BITTGL( R5 , 21 ); /* r5 = 0x00200000 */
398 CC = BITTST ( R5 , 21 ); /* cc = 1 */
399 R1 = CC;
400 CHECKREG r5, 0x00200000;
401 CHECKREG r6, 0x00000000;
402 CHECKREG r7, 0x00000001;
403 CHECKREG r0, 0x00000000;
404 CHECKREG r1, 0x00000001;
405
406 CC = BITTST ( R6 , 22 ); /* cc = 0 */
407 R7 = CC;
408 BITSET( R6 , 22 ); /* r6 = 0x00400000 */
409 CC = BITTST ( R6 , 22 ); /* cc = 1 */
410 R0 = CC;
411 BITCLR( R6 , 22 ); /* r6 = 0x00000000 */
412 CC = BITTST ( R6 , 22 ); /* cc = 1 */
413 R1 = CC;
414 BITTGL( R6 , 22 ); /* r6 = 0x00400000 */
415 CC = BITTST ( R6 , 22 ); /* cc = 1 */
416 R2 = CC;
417 CHECKREG r6, 0x00400000;
418 CHECKREG r7, 0x00000000;
419 CHECKREG r0, 0x00000001;
420 CHECKREG r1, 0x00000000;
421 CHECKREG r2, 0x00000001;
422
423 CC = BITTST ( R7 , 23 ); /* cc = 0 */
424 R0 = CC;
425 BITSET( R7 , 23 ); /* r7 = 0x00800000 */
426 CC = BITTST ( R7 , 23 ); /* cc = 1 */
427 R1 = CC;
428 BITCLR( R7 , 23 ); /* r7 = 0x00000000 */
429 CC = BITTST ( R7 , 23 ); /* cc = 1 */
430 R2 = CC;
431 BITTGL( R7 , 23 ); /* r7 = 0x00800000 */
432 CC = BITTST ( R7 , 23 ); /* cc = 1 */
433 R3 = CC;
434 CHECKREG r0, 0x00000000;
435 CHECKREG r1, 0x00000001;
436 CHECKREG r2, 0x00000000;
437 CHECKREG r3, 0x00000001;
438 CHECKREG r4, 0x00100000;
439 CHECKREG r5, 0x00200000;
440 CHECKREG r6, 0x00400000;
441 CHECKREG r7, 0x00800000;
442
443 // bit(24-31) tst set clr toggle
444 CC = BITTST ( R0 , 24 ); /* cc = 0 */
445 R1 = CC;
446 BITSET( R0 , 24 ); /* r0 = 0x00000101 */
447 CC = BITTST ( R0 , 24 ); /* cc = 1 */
448 R2 = CC;
449 BITCLR( R0 , 24 ); /* r0 = 0x01000000 */
450 CC = BITTST ( R0 , 24 ); /* cc = 1 */
451 R3 = CC;
452 BITTGL( R0 , 24 ); /* r0 = 0x01000000 */
453 CC = BITTST ( R0 , 24 ); /* cc = 1 */
454 R4 = CC;
455 CHECKREG r0, 0x01000000;
456 CHECKREG r1, 0x00000000;
457 CHECKREG r2, 0x00000001;
458 CHECKREG r3, 0x00000000;
459 CHECKREG r4, 0x00000001;
460
461 CC = BITTST ( R1 , 25 ); /* cc = 0 */
462 R2 = CC;
463 BITSET( R1 , 25 ); /* r1 = 0x02000000 */
464 CC = BITTST ( R1 , 25 ); /* cc = 1 */
465 R3 = CC;
466 BITCLR( R1 , 25 ); /* r1 = 0x00000000 */
467 CC = BITTST ( R1 , 25 ); /* cc = 1 */
468 R4 = CC;
469 BITTGL( R1 , 25 ); /* r1 = 0x02000000 */
470 CC = BITTST ( R1 , 25 ); /* cc = 1 */
471 R5 = CC;
472 CHECKREG r1, 0x02000000;
473 CHECKREG r2, 0x00000000;
474 CHECKREG r3, 0x00000001;
475 CHECKREG r4, 0x00000000;
476 CHECKREG r5, 0x00000001;
477
478 CC = BITTST ( R2 , 26 ); /* cc = 0 */
479 R3 = CC;
480 BITSET( R2 , 26 ); /* r2 = 0x04000000 */
481 CC = BITTST ( R2 , 26 ); /* cc = 1 */
482 R4 = CC;
483 BITCLR( R2 , 26 ); /* r2 = 0x00000000 */
484 CC = BITTST ( R2 , 26 ); /* cc = 1 */
485 R5 = CC;
486 BITTGL( R2 , 26 ); /* r2 = 0x04000000 */
487 CC = BITTST ( R2 , 26 ); /* cc = 1 */
488 R6 = CC;
489 CHECKREG r2, 0x04000000;
490 CHECKREG r3, 0x00000000;
491 CHECKREG r4, 0x00000001;
492 CHECKREG r5, 0x00000000;
493 CHECKREG r6, 0x00000001;
494
495 CC = BITTST ( R3 , 27 ); /* cc = 0 */
496 R4 = CC;
497 BITSET( R3 , 27 ); /* r3 = 0x08000000 */
498 CC = BITTST ( R3 , 27 ); /* cc = 1 */
499 R5 = CC;
500 BITCLR( R3 , 27 ); /* r3 = 0x00000000 */
501 CC = BITTST ( R3 , 27 ); /* cc = 1 */
502 R6 = CC;
503 BITTGL( R3 , 27 ); /* r3 = 0x08000000 */
504 CC = BITTST ( R3 , 27 ); /* cc = 1 */
505 R7 = CC;
506 CHECKREG r3, 0x08000000;
507 CHECKREG r4, 0x00000000;
508 CHECKREG r5, 0x00000001;
509 CHECKREG r6, 0x00000000;
510 CHECKREG r7, 0x00000001;
511
512 CC = BITTST ( R4 , 28 ); /* cc = 0 */
513 R5 = CC;
514 BITSET( R4 , 28 ); /* r4 = 0x10000000 */
515 CC = BITTST ( R4 , 28 ); /* cc = 1 */
516 R6 = CC;
517 BITCLR( R4 , 28 ); /* r4 = 0x00000000 */
518 CC = BITTST ( R4 , 28 ); /* cc = 1 */
519 R7 = CC;
520 BITTGL( R4 , 28 ); /* r4 = 0x10000000 */
521 CC = BITTST ( R4 , 28 ); /* cc = 1 */
522 R0 = CC;
523 CHECKREG r4, 0x10000000;
524 CHECKREG r5, 0x00000000;
525 CHECKREG r6, 0x00000001;
526 CHECKREG r7, 0x00000000;
527 CHECKREG r0, 0x00000001;
528
529 CC = BITTST ( R5 , 29 ); /* cc = 0 */
530 R6 = CC;
531 BITSET( R5 , 29 ); /* r5 = 0x20000000 */
532 CC = BITTST ( R5 , 29 ); /* cc = 1 */
533 R7 = CC;
534 BITCLR( R5 , 29 ); /* r5 = 0x00000000 */
535 CC = BITTST ( R5 , 29 ); /* cc = 1 */
536 R0 = CC;
537 BITTGL( R5 , 29 ); /* r5 = 0x20000000 */
538 CC = BITTST ( R5 , 29 ); /* cc = 1 */
539 R1 = CC;
540 CHECKREG r5, 0x20000000;
541 CHECKREG r6, 0x00000000;
542 CHECKREG r7, 0x00000001;
543 CHECKREG r0, 0x00000000;
544 CHECKREG r1, 0x00000001;
545
546 CC = BITTST ( R6 , 30 ); /* cc = 0 */
547 R7 = CC;
548 BITSET( R6 , 30 ); /* r6 = 0x40000000 */
549 CC = BITTST ( R6 , 30 ); /* cc = 1 */
550 R0 = CC;
551 BITCLR( R6 , 30 ); /* r6 = 0x00000000 */
552 CC = BITTST ( R6 , 30 ); /* cc = 1 */
553 R1 = CC;
554 BITTGL( R6 , 30 ); /* r6 = 0x40000000 */
555 CC = BITTST ( R6 , 30 ); /* cc = 1 */
556 R2 = CC;
557 CHECKREG r6, 0x40000000;
558 CHECKREG r7, 0x00000000;
559 CHECKREG r0, 0x00000001;
560 CHECKREG r1, 0x00000000;
561 CHECKREG r2, 0x00000001;
562
563 CC = BITTST ( R7 , 31 ); /* cc = 0 */
564 R0 = CC;
565 BITSET( R7 , 31 ); /* r7 = 0x80000000 */
566 CC = BITTST ( R7 , 31 ); /* cc = 1 */
567 R1 = CC;
568 BITCLR( R7 , 31 ); /* r7 = 0x00000000 */
569 CC = BITTST ( R7 , 31 ); /* cc = 1 */
570 R2 = CC;
571 BITTGL( R7 , 31 ); /* r7 = 0x80000000 */
572 CC = BITTST ( R7 , 31 ); /* cc = 1 */
573 R3 = CC;
574 CHECKREG r0, 0x00000000;
575 CHECKREG r1, 0x00000001;
576 CHECKREG r2, 0x00000000;
577 CHECKREG r3, 0x00000001;
578 CHECKREG r4, 0x10000000;
579 CHECKREG r5, 0x20000000;
580 CHECKREG r6, 0x40000000;
581 CHECKREG r7, 0x80000000;
582
583 pass