1 //Original:/testcases/core/c_logi2op_bittst/c_logi2op_bittst.dsp
2 // Spec Reference: Logi2op functions: bittst
5 .include "testutils.inc"
19 // bit(0-7) tst set clr toggle
20 CC = BITTST ( R0 , 0 ); /* cc = 0 */
21 BITSET( R0 , 0 ); /* r0 = 0x00000001 */
23 CC = BITTST ( R0 , 0 ); /* cc = 1 */
25 BITCLR( R0 , 0 ); /* r0 = 0x00000000 */
26 CC = BITTST ( R0 , 0 ); /* cc = 1 */
28 BITTGL( R0 , 0 ); /* r0 = 0x00000001 */
29 CC = BITTST ( R0 , 0 ); /* cc = 1 */
31 CHECKREG r0, 0x00000001;
32 CHECKREG r1, 0x00000000;
33 CHECKREG r2, 0x00000001;
34 CHECKREG r3, 0x00000000;
35 CHECKREG r4, 0x00000001;
37 CC = BITTST ( R1 , 1 ); /* cc = 0 */
39 BITSET( R1 , 1 ); /* r1 = 0x00000002 */
40 CC = BITTST ( R1 , 1 ); /* cc = 1 */
42 BITCLR( R1 , 1 ); /* r1 = 0x00000000 */
43 CC = BITTST ( R1 , 1 ); /* cc = 1 */
45 BITTGL( R1 , 1 ); /* r1 = 0x00000002 */
46 CC = BITTST ( R1 , 1 ); /* cc = 1 */
48 CHECKREG r1, 0x00000002;
49 CHECKREG r2, 0x00000000;
50 CHECKREG r3, 0x00000001;
51 CHECKREG r4, 0x00000000;
52 CHECKREG r5, 0x00000001;
54 CC = BITTST ( R2 , 2 ); /* cc = 0 */
56 BITSET( R2 , 2 ); /* r2 = 0x00000004 */
57 CC = BITTST ( R2 , 2 ); /* cc = 1 */
59 BITCLR( R2 , 2 ); /* r2 = 0x00000000 */
60 CC = BITTST ( R2 , 2 ); /* cc = 1 */
62 BITTGL( R2 , 2 ); /* r2 = 0x00000004 */
63 CC = BITTST ( R2 , 2 ); /* cc = 1 */
65 CHECKREG r2, 0x00000004;
66 CHECKREG r3, 0x00000000;
67 CHECKREG r4, 0x00000001;
68 CHECKREG r5, 0x00000000;
69 CHECKREG r6, 0x00000001;
71 CC = BITTST ( R3 , 3 ); /* cc = 0 */
73 BITSET( R3 , 3 ); /* r3 = 0x00000008 */
74 CC = BITTST ( R3 , 3 ); /* cc = 1 */
76 BITCLR( R3 , 3 ); /* r3 = 0x00000000 */
77 CC = BITTST ( R3 , 3 ); /* cc = 1 */
79 BITTGL( R3 , 3 ); /* r3 = 0x00000008 */
80 CC = BITTST ( R3 , 3 ); /* cc = 1 */
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;
91 CC = BITTST ( R4 , 4 ); /* cc = 0 */
93 BITSET( R4 , 4 ); /* r4 = 0x00000010 */
94 CC = BITTST ( R4 , 4 ); /* cc = 1 */
96 BITCLR( R4 , 4 ); /* r4 = 0x00000000 */
97 CC = BITTST ( R4 , 4 ); /* cc = 1 */
99 BITTGL( R4 , 4 ); /* r4 = 0x00000010 */
100 CC = BITTST ( R4 , 4 ); /* cc = 1 */
102 CHECKREG r4, 0x00000010;
103 CHECKREG r5, 0x00000000;
104 CHECKREG r6, 0x00000001;
105 CHECKREG r7, 0x00000000;
106 CHECKREG r0, 0x00000001;
108 CC = BITTST ( R5 , 5 ); /* cc = 0 */
110 BITSET( R5 , 5 ); /* r5 = 0x00000020 */
111 CC = BITTST ( R5 , 5 ); /* cc = 1 */
113 BITCLR( R5 , 5 ); /* r5 = 0x00000000 */
114 CC = BITTST ( R5 , 5 ); /* cc = 1 */
116 BITTGL( R5 , 5 ); /* r5 = 0x00000020 */
117 CC = BITTST ( R5 , 5 ); /* cc = 1 */
119 CHECKREG r5, 0x00000020;
120 CHECKREG r6, 0x00000000;
121 CHECKREG r7, 0x00000001;
122 CHECKREG r0, 0x00000000;
123 CHECKREG r1, 0x00000001;
125 CC = BITTST ( R6 , 6 ); /* cc = 0 */
127 BITSET( R6 , 6 ); /* r6 = 0x00000040 */
128 CC = BITTST ( R6 , 6 ); /* cc = 1 */
130 BITCLR( R6 , 6 ); /* r6 = 0x00000000 */
131 CC = BITTST ( R6 , 6 ); /* cc = 1 */
133 BITTGL( R6 , 6 ); /* r6 = 0x00000040 */
134 CC = BITTST ( R6 , 6 ); /* cc = 1 */
136 CHECKREG r6, 0x00000040;
137 CHECKREG r7, 0x00000000;
138 CHECKREG r0, 0x00000001;
139 CHECKREG r1, 0x00000000;
140 CHECKREG r2, 0x00000001;
142 CC = BITTST ( R7 , 7 ); /* cc = 0 */
144 BITSET( R7 , 7 ); /* r7 = 0x00000080 */
145 CC = BITTST ( R7 , 7 ); /* cc = 1 */
147 BITCLR( R7 , 7 ); /* r7 = 0x00000000 */
148 CC = BITTST ( R7 , 7 ); /* cc = 1 */
150 BITTGL( R7 , 7 ); /* r7 = 0x00000080 */
151 CC = BITTST ( R7 , 7 ); /* cc = 1 */
153 CHECKREG r0, 0x00000000;
154 CHECKREG r1, 0x00000001;
155 CHECKREG r2, 0x00000000;
156 CHECKREG r3, 0x00000001;
158 CHECKREG r4, 0x00000010;
159 CHECKREG r5, 0x00000020;
160 CHECKREG r6, 0x00000040;
161 CHECKREG r7, 0x00000080;
163 // bit(8-15) tst set clr toggle
164 CC = BITTST ( R0 , 8 ); /* cc = 0 */
166 BITSET( R0 , 8 ); /* r0 = 0x00000101 */
167 CC = BITTST ( R0 , 8 ); /* cc = 1 */
169 BITCLR( R0 , 8 ); /* r0 = 0x00000000 */
170 CC = BITTST ( R0 , 8 ); /* cc = 1 */
172 BITTGL( R0 , 8 ); /* r0 = 0x00000101 */
173 CC = BITTST ( R0 , 8 ); /* cc = 1 */
175 CHECKREG r0, 0x00000100;
176 CHECKREG r1, 0x00000000;
177 CHECKREG r2, 0x00000001;
178 CHECKREG r3, 0x00000000;
179 CHECKREG r4, 0x00000001;
181 CC = BITTST ( R1 , 9 ); /* cc = 0 */
183 BITSET( R1 , 9 ); /* r1 = 0x00000200 */
184 CC = BITTST ( R1 , 9 ); /* cc = 1 */
186 BITCLR( R1 , 9 ); /* r1 = 0x00000000 */
187 CC = BITTST ( R1 , 9 ); /* cc = 1 */
189 BITTGL( R1 , 9 ); /* r1 = 0x00000200 */
190 CC = BITTST ( R1 , 9 ); /* cc = 1 */
192 CHECKREG r1, 0x00000200;
193 CHECKREG r2, 0x00000000;
194 CHECKREG r3, 0x00000001;
195 CHECKREG r4, 0x00000000;
196 CHECKREG r5, 0x00000001;
198 CC = BITTST ( R2 , 10 ); /* cc = 0 */
200 BITSET( R2 , 10 ); /* r2 = 0x00000400 */
201 CC = BITTST ( R2 , 10 ); /* cc = 1 */
203 BITCLR( R2 , 10 ); /* r2 = 0x00000000 */
204 CC = BITTST ( R2 , 10 ); /* cc = 1 */
206 BITTGL( R2 , 10 ); /* r2 = 0x00000400 */
207 CC = BITTST ( R2 , 10 ); /* cc = 1 */
209 CHECKREG r2, 0x00000400;
210 CHECKREG r3, 0x00000000;
211 CHECKREG r4, 0x00000001;
212 CHECKREG r5, 0x00000000;
213 CHECKREG r6, 0x00000001;
215 CC = BITTST ( R3 , 11 ); /* cc = 0 */
217 BITSET( R3 , 11 ); /* r3 = 0x00000800 */
218 CC = BITTST ( R3 , 11 ); /* cc = 1 */
220 BITCLR( R3 , 11 ); /* r3 = 0x00000000 */
221 CC = BITTST ( R3 , 11 ); /* cc = 1 */
223 BITTGL( R3 , 11 ); /* r3 = 0x00000800 */
224 CC = BITTST ( R3 , 11 ); /* cc = 1 */
226 CHECKREG r3, 0x00000800;
227 CHECKREG r4, 0x00000000;
228 CHECKREG r5, 0x00000001;
229 CHECKREG r6, 0x00000000;
230 CHECKREG r7, 0x00000001;
232 CC = BITTST ( R4 , 12 ); /* cc = 0 */
234 BITSET( R4 , 12 ); /* r4 = 0x00001000 */
235 CC = BITTST ( R4 , 12 ); /* cc = 1 */
237 BITCLR( R4 , 12 ); /* r4 = 0x00000000 */
238 CC = BITTST ( R4 , 12 ); /* cc = 1 */
240 BITTGL( R4 , 12 ); /* r4 = 0x00001000 */
241 CC = BITTST ( R4 , 12 ); /* cc = 1 */
243 CHECKREG r4, 0x00001000;
244 CHECKREG r5, 0x00000000;
245 CHECKREG r6, 0x00000001;
246 CHECKREG r7, 0x00000000;
247 CHECKREG r0, 0x00000001;
249 CC = BITTST ( R5 , 13 ); /* cc = 0 */
251 BITSET( R5 , 13 ); /* r5 = 0x00002000 */
252 CC = BITTST ( R5 , 13 ); /* cc = 1 */
254 BITCLR( R5 , 13 ); /* r5 = 0x00000000 */
255 CC = BITTST ( R5 , 13 ); /* cc = 1 */
257 BITTGL( R5 , 13 ); /* r5 = 0x00002000 */
258 CC = BITTST ( R5 , 13 ); /* cc = 1 */
260 CHECKREG r5, 0x00002000;
261 CHECKREG r6, 0x00000000;
262 CHECKREG r7, 0x00000001;
263 CHECKREG r0, 0x00000000;
264 CHECKREG r1, 0x00000001;
266 CC = BITTST ( R6 , 14 ); /* cc = 0 */
268 BITSET( R6 , 14 ); /* r6 = 0x00004000 */
269 CC = BITTST ( R6 , 14 ); /* cc = 1 */
271 BITCLR( R6 , 14 ); /* r6 = 0x00000000 */
272 CC = BITTST ( R6 , 14 ); /* cc = 1 */
274 BITTGL( R6 , 14 ); /* r6 = 0x00004000 */
275 CC = BITTST ( R6 , 14 ); /* cc = 1 */
277 CHECKREG r6, 0x00004000;
278 CHECKREG r7, 0x00000000;
279 CHECKREG r0, 0x00000001;
280 CHECKREG r1, 0x00000000;
281 CHECKREG r2, 0x00000001;
283 CC = BITTST ( R7 , 15 ); /* cc = 0 */
285 BITSET( R7 , 15 ); /* r7 = 0x00008000 */
286 CC = BITTST ( R7 , 15 ); /* cc = 1 */
288 BITCLR( R7 , 15 ); /* r7 = 0x00000000 */
289 CC = BITTST ( R7 , 15 ); /* cc = 1 */
291 BITTGL( R7 , 15 ); /* r7 = 0x00008000 */
292 CC = BITTST ( R7 , 15 ); /* cc = 1 */
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;
303 // bit(16-23) tst set clr toggle
304 CC = BITTST ( R0 , 16 ); /* cc = 0 */
306 BITSET( R0 , 16 ); /* r0 = 0x00010000 */
307 CC = BITTST ( R0 , 16 ); /* cc = 1 */
309 BITCLR( R0 , 16 ); /* r0 = 0x00000000 */
310 CC = BITTST ( R0 , 16 ); /* cc = 1 */
312 BITTGL( R0 , 16 ); /* r0 = 0x00010000 */
313 CC = BITTST ( R0 , 16 ); /* cc = 1 */
315 CHECKREG r0, 0x00010000;
316 CHECKREG r1, 0x00000000;
317 CHECKREG r2, 0x00000001;
318 CHECKREG r3, 0x00000000;
319 CHECKREG r4, 0x00000001;
321 CC = BITTST ( R1 , 17 ); /* cc = 0 */
323 BITSET( R1 , 17 ); /* r1 = 0x00020000 */
324 CC = BITTST ( R1 , 17 ); /* cc = 1 */
326 BITCLR( R1 , 17 ); /* r1 = 0x00000000 */
327 CC = BITTST ( R1 , 17 ); /* cc = 1 */
329 BITTGL( R1 , 17 ); /* r1 = 0x00020000 */
330 CC = BITTST ( R1 , 17 ); /* cc = 1 */
332 CHECKREG r1, 0x00020000;
333 CHECKREG r2, 0x00000000;
334 CHECKREG r3, 0x00000001;
335 CHECKREG r4, 0x00000000;
336 CHECKREG r5, 0x00000001;
338 CC = BITTST ( R2 , 18 ); /* cc = 0 */
340 BITSET( R2 , 18 ); /* r2 = 0x00020000 */
341 CC = BITTST ( R2 , 18 ); /* cc = 1 */
343 BITCLR( R2 , 18 ); /* r2 = 0x00000000 */
344 CC = BITTST ( R2 , 18 ); /* cc = 1 */
346 BITTGL( R2 , 18 ); /* r2 = 0x00020000 */
347 CC = BITTST ( R2 , 18 ); /* cc = 1 */
349 CHECKREG r2, 0x00040000;
350 CHECKREG r3, 0x00000000;
351 CHECKREG r4, 0x00000000;
352 CHECKREG r5, 0x00000001;
353 CHECKREG r6, 0x00004000;
355 CC = BITTST ( R3 , 19 ); /* cc = 0 */
357 BITSET( R3 , 19 ); /* r3 = 0x00080000 */
358 CC = BITTST ( R3 , 19 ); /* cc = 1 */
360 BITCLR( R3 , 19 ); /* r3 = 0x00000000 */
361 CC = BITTST ( R3 , 19 ); /* cc = 1 */
363 BITTGL( R3 , 19 ); /* r3 = 0x00080000 */
364 CC = BITTST ( R3 , 19 ); /* cc = 1 */
366 CHECKREG r3, 0x00080000;
367 CHECKREG r4, 0x00000000;
368 CHECKREG r5, 0x00000001;
369 CHECKREG r6, 0x00000000;
370 CHECKREG r7, 0x00000001;
372 CC = BITTST ( R4 , 20 ); /* cc = 0 */
374 BITSET( R4 , 20 ); /* r4 = 0x00100000 */
375 CC = BITTST ( R4 , 20 ); /* cc = 1 */
377 BITCLR( R4 , 20 ); /* r4 = 0x00000000 */
378 CC = BITTST ( R4 , 20 ); /* cc = 1 */
380 BITTGL( R4 , 20 ); /* r4 = 0x00100000 */
381 CC = BITTST ( R4 , 20 ); /* cc = 1 */
383 CHECKREG r4, 0x00100000;
384 CHECKREG r5, 0x00000000;
385 CHECKREG r6, 0x00000001;
386 CHECKREG r7, 0x00000000;
387 CHECKREG r0, 0x00000001;
389 CC = BITTST ( R5 , 21 ); /* cc = 0 */
391 BITSET( R5 , 21 ); /* r5 = 0x00200000 */
392 CC = BITTST ( R5 , 21 ); /* cc = 1 */
394 BITCLR( R5 , 21 ); /* r5 = 0x00000000 */
395 CC = BITTST ( R5 , 21 ); /* cc = 1 */
397 BITTGL( R5 , 21 ); /* r5 = 0x00200000 */
398 CC = BITTST ( R5 , 21 ); /* cc = 1 */
400 CHECKREG r5, 0x00200000;
401 CHECKREG r6, 0x00000000;
402 CHECKREG r7, 0x00000001;
403 CHECKREG r0, 0x00000000;
404 CHECKREG r1, 0x00000001;
406 CC = BITTST ( R6 , 22 ); /* cc = 0 */
408 BITSET( R6 , 22 ); /* r6 = 0x00400000 */
409 CC = BITTST ( R6 , 22 ); /* cc = 1 */
411 BITCLR( R6 , 22 ); /* r6 = 0x00000000 */
412 CC = BITTST ( R6 , 22 ); /* cc = 1 */
414 BITTGL( R6 , 22 ); /* r6 = 0x00400000 */
415 CC = BITTST ( R6 , 22 ); /* cc = 1 */
417 CHECKREG r6, 0x00400000;
418 CHECKREG r7, 0x00000000;
419 CHECKREG r0, 0x00000001;
420 CHECKREG r1, 0x00000000;
421 CHECKREG r2, 0x00000001;
423 CC = BITTST ( R7 , 23 ); /* cc = 0 */
425 BITSET( R7 , 23 ); /* r7 = 0x00800000 */
426 CC = BITTST ( R7 , 23 ); /* cc = 1 */
428 BITCLR( R7 , 23 ); /* r7 = 0x00000000 */
429 CC = BITTST ( R7 , 23 ); /* cc = 1 */
431 BITTGL( R7 , 23 ); /* r7 = 0x00800000 */
432 CC = BITTST ( R7 , 23 ); /* cc = 1 */
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;
443 // bit(24-31) tst set clr toggle
444 CC = BITTST ( R0 , 24 ); /* cc = 0 */
446 BITSET( R0 , 24 ); /* r0 = 0x00000101 */
447 CC = BITTST ( R0 , 24 ); /* cc = 1 */
449 BITCLR( R0 , 24 ); /* r0 = 0x01000000 */
450 CC = BITTST ( R0 , 24 ); /* cc = 1 */
452 BITTGL( R0 , 24 ); /* r0 = 0x01000000 */
453 CC = BITTST ( R0 , 24 ); /* cc = 1 */
455 CHECKREG r0, 0x01000000;
456 CHECKREG r1, 0x00000000;
457 CHECKREG r2, 0x00000001;
458 CHECKREG r3, 0x00000000;
459 CHECKREG r4, 0x00000001;
461 CC = BITTST ( R1 , 25 ); /* cc = 0 */
463 BITSET( R1 , 25 ); /* r1 = 0x02000000 */
464 CC = BITTST ( R1 , 25 ); /* cc = 1 */
466 BITCLR( R1 , 25 ); /* r1 = 0x00000000 */
467 CC = BITTST ( R1 , 25 ); /* cc = 1 */
469 BITTGL( R1 , 25 ); /* r1 = 0x02000000 */
470 CC = BITTST ( R1 , 25 ); /* cc = 1 */
472 CHECKREG r1, 0x02000000;
473 CHECKREG r2, 0x00000000;
474 CHECKREG r3, 0x00000001;
475 CHECKREG r4, 0x00000000;
476 CHECKREG r5, 0x00000001;
478 CC = BITTST ( R2 , 26 ); /* cc = 0 */
480 BITSET( R2 , 26 ); /* r2 = 0x04000000 */
481 CC = BITTST ( R2 , 26 ); /* cc = 1 */
483 BITCLR( R2 , 26 ); /* r2 = 0x00000000 */
484 CC = BITTST ( R2 , 26 ); /* cc = 1 */
486 BITTGL( R2 , 26 ); /* r2 = 0x04000000 */
487 CC = BITTST ( R2 , 26 ); /* cc = 1 */
489 CHECKREG r2, 0x04000000;
490 CHECKREG r3, 0x00000000;
491 CHECKREG r4, 0x00000001;
492 CHECKREG r5, 0x00000000;
493 CHECKREG r6, 0x00000001;
495 CC = BITTST ( R3 , 27 ); /* cc = 0 */
497 BITSET( R3 , 27 ); /* r3 = 0x08000000 */
498 CC = BITTST ( R3 , 27 ); /* cc = 1 */
500 BITCLR( R3 , 27 ); /* r3 = 0x00000000 */
501 CC = BITTST ( R3 , 27 ); /* cc = 1 */
503 BITTGL( R3 , 27 ); /* r3 = 0x08000000 */
504 CC = BITTST ( R3 , 27 ); /* cc = 1 */
506 CHECKREG r3, 0x08000000;
507 CHECKREG r4, 0x00000000;
508 CHECKREG r5, 0x00000001;
509 CHECKREG r6, 0x00000000;
510 CHECKREG r7, 0x00000001;
512 CC = BITTST ( R4 , 28 ); /* cc = 0 */
514 BITSET( R4 , 28 ); /* r4 = 0x10000000 */
515 CC = BITTST ( R4 , 28 ); /* cc = 1 */
517 BITCLR( R4 , 28 ); /* r4 = 0x00000000 */
518 CC = BITTST ( R4 , 28 ); /* cc = 1 */
520 BITTGL( R4 , 28 ); /* r4 = 0x10000000 */
521 CC = BITTST ( R4 , 28 ); /* cc = 1 */
523 CHECKREG r4, 0x10000000;
524 CHECKREG r5, 0x00000000;
525 CHECKREG r6, 0x00000001;
526 CHECKREG r7, 0x00000000;
527 CHECKREG r0, 0x00000001;
529 CC = BITTST ( R5 , 29 ); /* cc = 0 */
531 BITSET( R5 , 29 ); /* r5 = 0x20000000 */
532 CC = BITTST ( R5 , 29 ); /* cc = 1 */
534 BITCLR( R5 , 29 ); /* r5 = 0x00000000 */
535 CC = BITTST ( R5 , 29 ); /* cc = 1 */
537 BITTGL( R5 , 29 ); /* r5 = 0x20000000 */
538 CC = BITTST ( R5 , 29 ); /* cc = 1 */
540 CHECKREG r5, 0x20000000;
541 CHECKREG r6, 0x00000000;
542 CHECKREG r7, 0x00000001;
543 CHECKREG r0, 0x00000000;
544 CHECKREG r1, 0x00000001;
546 CC = BITTST ( R6 , 30 ); /* cc = 0 */
548 BITSET( R6 , 30 ); /* r6 = 0x40000000 */
549 CC = BITTST ( R6 , 30 ); /* cc = 1 */
551 BITCLR( R6 , 30 ); /* r6 = 0x00000000 */
552 CC = BITTST ( R6 , 30 ); /* cc = 1 */
554 BITTGL( R6 , 30 ); /* r6 = 0x40000000 */
555 CC = BITTST ( R6 , 30 ); /* cc = 1 */
557 CHECKREG r6, 0x40000000;
558 CHECKREG r7, 0x00000000;
559 CHECKREG r0, 0x00000001;
560 CHECKREG r1, 0x00000000;
561 CHECKREG r2, 0x00000001;
563 CC = BITTST ( R7 , 31 ); /* cc = 0 */
565 BITSET( R7 , 31 ); /* r7 = 0x80000000 */
566 CC = BITTST ( R7 , 31 ); /* cc = 1 */
568 BITCLR( R7 , 31 ); /* r7 = 0x00000000 */
569 CC = BITTST ( R7 , 31 ); /* cc = 1 */
571 BITTGL( R7 , 31 ); /* r7 = 0x80000000 */
572 CC = BITTST ( R7 , 31 ); /* cc = 1 */
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;