3 /* Drive the bit test routines */
7 calc (const char *call
,
12 if (strcmp (call
, "MASK") == 0)
13 return MASKED (val
, row
, col
);
14 if (strcmp (call
, "MASK16") == 0)
15 return MASKED16 (val
, row
, col
);
16 if (strcmp (call
, "MASK32") == 0)
17 return MASKED32 (val
, row
, col
);
18 if (strcmp (call
, "MASK64") == 0)
19 return MASKED64 (val
, row
, col
);
21 if (strcmp (call
, "EXTRACT") == 0)
22 return EXTRACTED (val
, row
, col
);
23 if (strcmp (call
, "EXTRACT16") == 0)
24 return EXTRACTED16 (val
, row
, col
);
25 if (strcmp (call
, "EXTRACT32") == 0)
26 return EXTRACTED32 (val
, row
, col
);
27 if (strcmp (call
, "EXTRACT64") == 0)
28 return EXTRACTED64 (val
, row
, col
);
30 if (strcmp (call
, "LSEXTRACT") == 0)
31 return LSEXTRACTED (val
, row
, col
);
32 if (strcmp (call
, "LSEXTRACT16") == 0)
33 return LSEXTRACTED16 (val
, row
, col
);
34 if (strcmp (call
, "LSEXTRACT32") == 0)
35 return LSEXTRACTED32 (val
, row
, col
);
36 if (strcmp (call
, "LSEXTRACT64") == 0)
37 return LSEXTRACTED64 (val
, row
, col
);
39 if (strcmp (call
, "MSEXTRACT") == 0)
40 return MSEXTRACTED (val
, row
, col
);
41 if (strcmp (call
, "MSEXTRACT16") == 0)
42 return MSEXTRACTED16 (val
, row
, col
);
43 if (strcmp (call
, "MSEXTRACT32") == 0)
44 return MSEXTRACTED32 (val
, row
, col
);
45 if (strcmp (call
, "MSEXTRACT64") == 0)
46 return MSEXTRACTED64 (val
, row
, col
);
48 if (strcmp (call
, "INSERT") == 0)
49 return INSERTED (val
, row
, col
);
50 if (strcmp (call
, "INSERT16") == 0)
51 return INSERTED16 (val
, row
, col
);
52 if (strcmp (call
, "INSERT32") == 0)
53 return INSERTED32 (val
, row
, col
);
54 if (strcmp (call
, "INSERT64") == 0)
55 return INSERTED64 (val
, row
, col
);
57 if (strcmp (call
, "MSMASK") == 0)
58 return MSMASKED (val
, row
, col
);
59 if (strcmp (call
, "MSMASK16") == 0)
60 return MSMASKED16 (val
, row
, col
);
61 if (strcmp (call
, "MSMASK32") == 0)
62 return MSMASKED32 (val
, row
, col
);
63 if (strcmp (call
, "MSMASK64") == 0)
64 return MSMASKED64 (val
, row
, col
);
66 if (strcmp (call
, "LSMASK") == 0)
67 return LSMASKED (val
, row
, col
);
68 if (strcmp (call
, "LSMASK16") == 0)
69 return LSMASKED16 (val
, row
, col
);
70 if (strcmp (call
, "LSMASK32") == 0)
71 return LSMASKED32 (val
, row
, col
);
72 if (strcmp (call
, "LSMASK64") == 0)
73 return LSMASKED64 (val
, row
, col
);
75 if (strcmp (call
, "ROT16") == 0)
76 return ROT16 (val
, col
);
77 if (strcmp (call
, "ROT32") == 0)
78 return ROT32 (val
, col
);
79 if (strcmp (call
, "ROT64") == 0)
80 return ROT64 (val
, col
);
82 if (strcmp (call
, "SEXT16") == 0)
83 return SEXT16 (val
, col
);
84 if (strcmp (call
, "SEXT32") == 0)
85 return SEXT32 (val
, col
);
86 if (strcmp (call
, "SEXT64") == 0)
87 return SEXT64 (val
, col
);
88 if (strcmp (call
, "SEXT") == 0)
89 return SEXT (val
, col
);
93 fprintf (stderr
, "Unknown call passed to calc (%s, 0x%08lx%08lx, %d, %d)\n",
94 call
, (long)(val
>> 32), (long)val
, row
, col
);
102 check_sext (int nr_bits
,
105 const char *msmasked
)
109 for (col
= 0; col
< nr_bits
; col
++)
111 long long mask
= calc (masked
, -1, col
, col
);
112 long long msmask
= calc (msmasked
, -1,
113 0, (WITH_TARGET_WORD_MSB
? nr_bits
- col
- 1 : col
));
114 long long sext
= calc (sexted
, mask
, -1, col
);
115 long long mask_1
= mask
>> 1;
116 long long sext_1
= calc (sexted
, mask_1
, -1, col
);
117 if (mask_1
!= sext_1
)
119 fprintf (stderr
, "%s:%d: ", __FILE__
, __LINE__
);
120 fprintf (stderr
, " %s(0x%08lx%08lx,%d) != 0x%08lx%08lx\n",
122 (long)(mask_1
>> 32), (long)mask_1
,
124 (long)(sext_1
>> 32), (long)sext_1
);
129 fprintf (stderr
, "%s:%d: ", __FILE__
, __LINE__
);
130 fprintf (stderr
, " %s(0x%08lx%08lx,%d) == 0x%08lx%08lx wrong, != 0x%08lx%08lx\n",
131 sexted
, (long)(mask
>> 32), (long)mask
, col
,
132 (long)(sext
>> 32), (long)sext
,
133 (long)(msmask
>> 32), (long)msmask
);
143 check_rot (int nr_bits
,
150 for (row
= 0; row
< nr_bits
; row
++)
151 for (col
= 0; col
< nr_bits
; col
++)
152 if ((WITH_TARGET_WORD_MSB
== 0 && row
<= col
)
153 || (WITH_TARGET_WORD_MSB
!= 0 && row
>= col
))
155 long long mask
= calc (masked
, -1, row
, col
);
157 for (shift
= -nr_bits
+ 1; shift
< nr_bits
; shift
++)
159 long long rot
= calc (roted
, mask
, -1, shift
);
160 long long urot
= calc (roted
, rot
, -1, -shift
);
162 || (shift
== 0 && rot
!= mask
)
163 || (shift
!= 0 && rot
== mask
&& abs(row
- col
) != (nr_bits
- 1)))
165 fprintf (stderr
, "%s:%d: ", __FILE__
, __LINE__
);
166 fprintf (stderr
, " %s(%s(0x%08lx%08lx,%d) == 0x%08lx%08lx, %d) failed\n",
168 (long)(mask
>> 32), (long)mask
, shift
,
169 (long)(urot
>> 32), (long)urot
, -shift
);
179 check_extract (int nr_bits
,
180 const char *extracted
,
181 const char *inserted
,
187 for (row
= 0; row
< nr_bits
; row
++)
188 for (col
= 0; col
< nr_bits
; col
++)
189 if ((WITH_TARGET_WORD_MSB
== 0 && row
<= col
)
190 || (WITH_TARGET_WORD_MSB
!= 0 && row
>= col
))
192 long long mask
= calc (masked
, -1, row
, col
);
193 long long extr
= calc (extracted
, mask
, row
, col
);
194 long long inst
= calc (inserted
, extr
, row
, col
);
197 fprintf (stderr
, "%s:%d: ", __FILE__
, __LINE__
);
198 fprintf (stderr
, " %s(%d,%d)=0x%08lx%08lx -> %s=0x%08lx%08lx -> %s=0x%08lx%08lx failed\n",
199 masked
, row
, col
, (long)(mask
>> 32), (long)mask
,
200 extracted
, (long)(extr
>> 32), (long)extr
,
201 inserted
, (long)(inst
>> 32), (long)inst
);
210 check_bits (int call
,
216 while (*tests
!= NULL
)
218 int nr_rows
= (*tests
)->nr_rows
;
219 int nr_cols
= (*tests
)->nr_cols
;
220 test_tuples
*tuples
= (*tests
)->tuples
;
221 for (r
= 0; r
< nr_rows
; r
++)
222 for (c
= 0; c
< nr_cols
; c
++)
224 int i
= r
* nr_rows
+ c
;
225 test_tuples
*tuple
= &tuples
[i
];
228 long long val
= (!call
? tuple
->val
: calc ((*tests
)->macro
, -1,
229 tuple
->row
, tuple
->col
));
230 long long check
= tuple
->check
;
233 fprintf (stderr
, "%s:%d:", (*tests
)->file
, tuple
->line
);
234 fprintf (stderr
, " %s", (*tests
)->macro
);
236 fprintf (stderr
, " (%d, %d)", tuple
->row
, tuple
->col
);
238 fprintf (stderr
, " (%d)", tuple
->col
);
239 fprintf (stderr
, " == 0x%08lx%08lx wrong, != 0x%08lx%08lx)\n",
240 (long) (val
>> 32), (long) val
,
241 (long) (check
>> 32), (long) check
);
260 #if defined (DO_BIT_TESTS)
261 printf ("Checking BIT*\n");
262 errors
+= check_bits (0, bit_tests
);
266 #if defined (DO_MASK_TESTS)
267 printf ("Checking MASK*\n");
268 errors
+= check_bits (0, mask_tests
);
270 printf ("Checking MASKED*\n");
271 errors
+= check_bits (1, mask_tests
);
275 #if defined (DO_LSMASK_TESTS)
276 printf ("Checking LSMASK*\n");
277 errors
+= check_bits (0, lsmask_tests
);
279 printf ("Checking LSMASKED*\n");
280 errors
+= check_bits (1, lsmask_tests
);
284 #if defined (DO_MSMASK_TESTS)
285 printf ("Checking MSMASK*\n");
286 errors
+= check_bits (0, msmask_tests
);
288 printf ("Checking MSMASKED*\n");
289 errors
+= check_bits (1, msmask_tests
);
293 printf ("Checking EXTRACTED*\n");
294 errors
+= check_extract (16, "EXTRACT16", "INSERT16", "MASK16");
295 errors
+= check_extract (32, "EXTRACT32", "INSERT32", "MASK32");
296 errors
+= check_extract (64, "EXTRACT64", "INSERT64", "MASK64");
297 errors
+= check_extract (64, "EXTRACT", "INSERT", "MASK");
301 printf ("Checking SEXT*\n");
302 errors
+= check_sext (16, "SEXT16", "MASK16", "MSMASK16");
303 errors
+= check_sext (32, "SEXT32", "MASK32", "MSMASK32");
304 errors
+= check_sext (64, "SEXT64", "MASK64", "MSMASK64");
305 errors
+= check_sext (64, "SEXT", "MASK", "MSMASK");
308 printf ("Checking ROT*\n");
309 errors
+= check_rot (16, "ROT16", "MASK16");
310 errors
+= check_rot (32, "ROT32", "MASK32");
311 errors
+= check_rot (64, "ROT64", "MASK64");
This page took 0.051762 seconds and 4 git commands to generate.