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