sim/testsuite/common/bits-tst.c

   1 # 2 "bits-tst.c"
   2
   3 /* Drive the bit test routines */
   4
   5
   6 long long
   7 calc (const char *call,
   8       long long val,
   9       int row,
  10       int col)
  11 {
  12   if (strcmp (call, "MASK") == 0)
  13     return MASKED (val, row, col);
  14   if (strcmp (call, "MASK8") == 0)
  15     return MASKED8 (val, row, col);
  16   if (strcmp (call, "MASK16") == 0)
  17     return MASKED16 (val, row, col);
  18   if (strcmp (call, "MASK32") == 0)
  19     return MASKED32 (val, row, col);
  20   if (strcmp (call, "MASK64") == 0)
  21     return MASKED64 (val, row, col);
  22
  23   if (strcmp (call, "EXTRACT") == 0)
  24     return EXTRACTED (val, row, col);
  25   if (strcmp (call, "EXTRACT8") == 0)
  26     return EXTRACTED8 (val, row, col);
  27   if (strcmp (call, "EXTRACT16") == 0)
  28     return EXTRACTED16 (val, row, col);
  29   if (strcmp (call, "EXTRACT32") == 0)
  30     return EXTRACTED32 (val, row, col);
  31   if (strcmp (call, "EXTRACT64") == 0)
  32     return EXTRACTED64 (val, row, col);
  33
  34   if (strcmp (call, "LSEXTRACT") == 0)
  35     return LSEXTRACTED (val, row, col);
  36   if (strcmp (call, "LSEXTRACT8") == 0)
  37     return LSEXTRACTED8 (val, row, col);
  38   if (strcmp (call, "LSEXTRACT16") == 0)
  39     return LSEXTRACTED16 (val, row, col);
  40   if (strcmp (call, "LSEXTRACT32") == 0)
  41     return LSEXTRACTED32 (val, row, col);
  42   if (strcmp (call, "LSEXTRACT64") == 0)
  43     return LSEXTRACTED64 (val, row, col);
  44
  45   if (strcmp (call, "MSEXTRACT") == 0)
  46     return MSEXTRACTED (val, row, col);
  47   if (strcmp (call, "MSEXTRACT8") == 0)
  48     return MSEXTRACTED8 (val, row, col);
  49   if (strcmp (call, "MSEXTRACT16") == 0)
  50     return MSEXTRACTED16 (val, row, col);
  51   if (strcmp (call, "MSEXTRACT32") == 0)
  52     return MSEXTRACTED32 (val, row, col);
  53   if (strcmp (call, "MSEXTRACT64") == 0)
  54     return MSEXTRACTED64 (val, row, col);
  55
  56   if (strcmp (call, "INSERT") == 0)
  57     return INSERTED (val, row, col);
  58   if (strcmp (call, "INSERT8") == 0)
  59     return INSERTED8 (val, row, col);
  60   if (strcmp (call, "INSERT16") == 0)
  61     return INSERTED16 (val, row, col);
  62   if (strcmp (call, "INSERT32") == 0)
  63     return INSERTED32 (val, row, col);
  64   if (strcmp (call, "INSERT64") == 0)
  65     return INSERTED64 (val, row, col);
  66
  67   if (strcmp (call, "LSINSERT") == 0)
  68     return LSINSERTED (val, row, col);
  69   if (strcmp (call, "LSINSERT8") == 0)
  70     return LSINSERTED8 (val, row, col);
  71   if (strcmp (call, "LSINSERT16") == 0)
  72     return LSINSERTED16 (val, row, col);
  73   if (strcmp (call, "LSINSERT32") == 0)
  74     return LSINSERTED32 (val, row, col);
  75   if (strcmp (call, "LSINSERT64") == 0)
  76     return LSINSERTED64 (val, row, col);
  77
  78   if (strcmp (call, "MSINSERT") == 0)
  79     return MSINSERTED (val, row, col);
  80   if (strcmp (call, "MSINSERT8") == 0)
  81     return MSINSERTED8 (val, row, col);
  82   if (strcmp (call, "MSINSERT16") == 0)
  83     return MSINSERTED16 (val, row, col);
  84   if (strcmp (call, "MSINSERT32") == 0)
  85     return MSINSERTED32 (val, row, col);
  86   if (strcmp (call, "MSINSERT64") == 0)
  87     return MSINSERTED64 (val, row, col);
  88
  89   if (strcmp (call, "MSMASK") == 0)
  90     return MSMASKED (val, row, col);
  91   if (strcmp (call, "MSMASK8") == 0)
  92     return MSMASKED8 (val, row, col);
  93   if (strcmp (call, "MSMASK16") == 0)
  94     return MSMASKED16 (val, row, col);
  95   if (strcmp (call, "MSMASK32") == 0)
  96     return MSMASKED32 (val, row, col);
  97   if (strcmp (call, "MSMASK64") == 0)
  98     return MSMASKED64 (val, row, col);
  99
 100   if (strcmp (call, "LSMASK") == 0)
 101     return LSMASKED (val, row, col);
 102   if (strcmp (call, "LSMASK8") == 0)
 103     return LSMASKED8 (val, row, col);
 104   if (strcmp (call, "LSMASK16") == 0)
 105     return LSMASKED16 (val, row, col);
 106   if (strcmp (call, "LSMASK32") == 0)
 107     return LSMASKED32 (val, row, col);
 108   if (strcmp (call, "LSMASK64") == 0)
 109     return LSMASKED64 (val, row, col);
 110
 111   if (strcmp (call, "ROT64") == 0)
 112     return ROT64 (val, col);
 113   if (strcmp (call, "ROT8") == 0)
 114     return ROT8 (val, col);
 115   if (strcmp (call, "ROT16") == 0)
 116     return ROT16 (val, col);
 117   if (strcmp (call, "ROT32") == 0)
 118     return ROT32 (val, col);
 119
 120   if (strcmp (call, "SEXT") == 0)
 121     return SEXT (val, col);
 122   if (strcmp (call, "SEXT8") == 0)
 123     return SEXT8 (val, col);
 124   if (strcmp (call, "SEXT16") == 0)
 125     return SEXT16 (val, col);
 126   if (strcmp (call, "SEXT32") == 0)
 127     return SEXT32 (val, col);
 128   if (strcmp (call, "SEXT64") == 0)
 129     return SEXT64 (val, col);
 130
 131   if (strcmp (call, "LSSEXT") == 0)
 132     return LSSEXT (val, col);
 133   if (strcmp (call, "LSSEXT8") == 0)
 134     return LSSEXT8 (val, col);
 135   if (strcmp (call, "LSSEXT16") == 0)
 136     return LSSEXT16 (val, col);
 137   if (strcmp (call, "LSSEXT32") == 0)
 138     return LSSEXT32 (val, col);
 139   if (strcmp (call, "LSSEXT64") == 0)
 140     return LSSEXT64 (val, col);
 141
 142   if (strcmp (call, "MSSEXT8") == 0)
 143     return MSSEXT8 (val, col);
 144   if (strcmp (call, "MSSEXT16") == 0)
 145     return MSSEXT16 (val, col);
 146   if (strcmp (call, "MSSEXT32") == 0)
 147     return MSSEXT32 (val, col);
 148   if (strcmp (call, "MSSEXT64") == 0)
 149     return MSSEXT64 (val, col);
 150   if (strcmp (call, "MSSEXT") == 0)
 151     return MSSEXT (val, col);
 152
 153   else
 154     {
 155       fprintf (stderr,
 156                "Unknown call passed to calc (%s, 0x%08lx%08lx, %d, %d)\n",
 157                call, (long)(val >> 32), (long)val, row, col);
 158       abort ();
 159       return val;
 160     }
 161 }
 162
 163
 164 int
 165 check_sext (int nr_bits,
 166             int msb_nr,
 167             const char *sexted,
 168             const char *masked,
 169             const char *msmasked)
 170 {
 171   int errors = 0;
 172   int col;
 173   for (col = 0; col < nr_bits; col ++)
 174     {
 175       long long mask = calc (masked, -1, col, col);
 176       long long msmask = calc (msmasked, -1,
 177                                0, (msb_nr ? nr_bits - col - 1 : col));
 178       long long sext = calc (sexted, mask, -1, col);
 179       long long mask_1 = mask >> 1;
 180       long long sext_1 = calc (sexted, mask_1, -1, col);
 181       long long mask_0 = (mask << 1) | mask_1;
 182       long long sext_0 = calc (sexted, mask_0, -1, col);
 183       if (sext_0 != mask_1)
 184         {
 185           fprintf (stderr,
 186                    "%s:%d: ", __FILE__, __LINE__);
 187           fprintf (stderr,
 188                    " %s(0x%08lx%08lx,%d) == 0x%08lx%08lx wrong, != 0x%08lx%08lx\n",
 189                    sexted, (long)(mask_0 >> 32), (long)mask_0, col,
 190                    (long)(sext_0 >> 32), (long)sext_0,
 191                    (long)(mask_1 >> 32), (long)mask_1);
 192           errors ++;
 193         }
 194       if (sext_1 != mask_1)
 195         {
 196           fprintf (stderr,
 197                    "%s:%d: ", __FILE__, __LINE__);
 198           fprintf (stderr,
 199                    " %s(0x%08lx%08lx,%d) == 0x%08lx%08lx wrong, != 0x%08lx%08lx\n",
 200                    sexted, (long)(mask_1 >> 32), (long)mask_1, col,
 201                    (long)(sext_1 >> 32), (long)sext_1,
 202                    (long)(mask_1 >> 32), (long)mask_1);
 203           errors ++;
 204         }
 205       if (sext != msmask)
 206         {
 207           fprintf (stderr,
 208                    "%s:%d: ", __FILE__, __LINE__);
 209           fprintf (stderr,
 210                    " %s(0x%08lx%08lx,%d) == 0x%08lx%08lx wrong, != 0x%08lx%08lx (%s(%d,%d))\n",
 211                    sexted, (long)(mask >> 32), (long)mask, col,
 212                    (long)(sext >> 32), (long)sext,
 213                    (long)(msmask >> 32), (long)msmask,
 214                    msmasked, 0, (msb_nr ? nr_bits - col - 1 : col));
 215           errors ++;
 216         }
 217
 218     }
 219   return errors;
 220 }
 221
 222
 223 int
 224 check_rot (int nr_bits,
 225            const char *roted,
 226            const char *masked)
 227 {
 228   int errors = 0;
 229   int row;
 230   int col;
 231   for (row = 0; row < nr_bits; row++)
 232     for (col = 0; col < nr_bits; col++)
 233       if ((WITH_TARGET_WORD_MSB == 0 && row <= col)
 234           || (WITH_TARGET_WORD_MSB != 0 && row >= col))
 235         {
 236           long long mask = calc (masked, -1, row, col);
 237           int shift;
 238           for (shift = -nr_bits + 1; shift < nr_bits; shift ++)
 239             {
 240               long long rot = calc (roted, mask, -1, shift);
 241               long long urot = calc (roted, rot, -1, -shift);
 242               if (mask != urot
 243                   || (shift == 0 && rot != mask)
 244                   || (shift != 0 && rot == mask && abs(row - col) != (nr_bits - 1)))
 245                 {
 246                   fprintf (stderr, "%s:%d: ", __FILE__, __LINE__);
 247                   fprintf (stderr, " %s(%s(0x%08lx%08lx,%d) == 0x%08lx%08lx, %d) failed\n",
 248                            roted, roted,
 249                            (long)(mask >> 32), (long)mask, shift,
 250                            (long)(urot >> 32), (long)urot, -shift);
 251                   errors ++;
 252                 }
 253             }
 254         }
 255   return errors;
 256 }
 257
 258
 259 int
 260 check_extract (int nr_bits,
 261                const char *extracted,
 262                const char *inserted,
 263                const char *masked)
 264 {
 265   int errors = 0;
 266   int row;
 267   int col;
 268   for (row = 0; row < nr_bits; row++)
 269     for (col = 0; col < nr_bits; col ++)
 270       if ((WITH_TARGET_WORD_MSB == 0 && row <= col)
 271           || (WITH_TARGET_WORD_MSB != 0 && row >= col))
 272         {
 273           long long mask = calc (masked, -1, row, col);
 274           long long extr = calc (extracted, mask, row, col);
 275           long long inst = calc (inserted, extr, row, col);
 276           if (mask != inst)
 277             {
 278               fprintf (stderr, "%s:%d: ", __FILE__, __LINE__);
 279               fprintf (stderr, " %s(%d,%d)=0x%08lx%08lx -> %s=0x%08lx%08lx -> %s=0x%08lx%08lx failed\n",
 280                        masked, row, col, (long)(mask >> 32), (long)mask,
 281                        extracted, (long)(extr >> 32), (long)extr,
 282                        inserted, (long)(inst >> 32), (long)inst);
 283               errors ++;
 284             }
 285         }
 286   return errors;
 287 }
 288
 289
 290 int
 291 check_bits (int call,
 292             test_spec **tests)
 293 {
 294   int r;
 295   int c;
 296   int errors = 0;
 297   while (*tests != NULL)
 298     {
 299       int nr_rows = (*tests)->nr_rows;
 300       int nr_cols = (*tests)->nr_cols;
 301       test_tuples *tuples = (*tests)->tuples;
 302       for (r = 0; r < nr_rows; r++)
 303         for (c = 0; c < nr_cols; c++)
 304           {
 305             int i = r * nr_rows + c;
 306             test_tuples *tuple = &tuples[i];
 307             if (tuple->col >= 0)
 308               {
 309                 long long val = (!call ? tuple->val : calc ((*tests)->macro, -1,
 310                                                             tuple->row, tuple->col));
 311                 long long check = tuple->check;
 312                 if (val != check)
 313                   {
 314                     fprintf (stderr, "%s:%d:", (*tests)->file, tuple->line);
 315                     fprintf (stderr, " %s", (*tests)->macro);
 316                     if (tuple->row >= 0)
 317                       fprintf (stderr, " (%d, %d)", tuple->row, tuple->col);
 318                     else
 319                       fprintf (stderr, " (%d)", tuple->col);
 320                     fprintf (stderr, " == 0x%08lx%08lx wrong, != 0x%08lx%08lx\n",
 321                              (long) (val >> 32), (long) val,
 322                              (long) (check >> 32), (long) check);
 323                     errors ++;
 324                   }
 325               }
 326           }
 327       tests ++;
 328     }
 329   return errors;
 330 }
 331
 332
 333 int
 334 main (argc, argv)
 335      int argc;
 336      char **argv;
 337 {
 338   int errors = 0;
 339
 340
 341 #if defined (DO_BIT_TESTS)
 342   printf ("Checking BIT*\n");
 343   errors += check_bits (0, bit_tests);
 344 #endif
 345
 346
 347 #if defined (DO_MASK_TESTS)
 348   printf ("Checking MASK*\n");
 349   errors += check_bits (0, mask_tests);
 350
 351   printf ("Checking MASKED*\n");
 352   errors += check_bits (1, mask_tests);
 353 #endif
 354
 355
 356 #if defined (DO_LSMASK_TESTS)
 357   printf ("Checking LSMASK*\n");
 358   errors += check_bits (0, lsmask_tests);
 359
 360   printf ("Checking LSMASKED*\n");
 361   errors += check_bits (1, lsmask_tests);
 362 #endif
 363
 364
 365 #if defined (DO_MSMASK_TESTS)
 366   printf ("Checking MSMASK*\n");
 367   errors += check_bits (0, msmask_tests);
 368
 369   printf ("Checking MSMASKED*\n");
 370   errors += check_bits (1, msmask_tests);
 371 #endif
 372
 373
 374   printf ("Checking EXTRACTED*\n");
 375   errors += check_extract ( 8, "EXTRACT8",  "INSERT8",  "MASK8");
 376   errors += check_extract (16, "EXTRACT16", "INSERT16", "MASK16");
 377   errors += check_extract (32, "EXTRACT32", "INSERT32", "MASK32");
 378   errors += check_extract (64, "EXTRACT64", "INSERT64", "MASK64");
 379   errors += check_extract (64, "EXTRACT",   "INSERT",   "MASK");
 380
 381   printf ("Checking SEXT*\n");
 382   errors += check_sext ( 8, WITH_TARGET_WORD_MSB, "SEXT8",  "MASK8",  "MSMASK8");
 383   errors += check_sext (16, WITH_TARGET_WORD_MSB, "SEXT16", "MASK16", "MSMASK16");
 384   errors += check_sext (32, WITH_TARGET_WORD_MSB, "SEXT32", "MASK32", "MSMASK32");
 385   errors += check_sext (64, WITH_TARGET_WORD_MSB, "SEXT64", "MASK64", "MSMASK64");
 386   errors += check_sext (64, WITH_TARGET_WORD_MSB, "SEXT",   "MASK",   "MSMASK");
 387
 388   printf ("Checking LSSEXT*\n");
 389   errors += check_sext ( 8,  8 - 1, "LSSEXT8",  "LSMASK8",  "MSMASK8");
 390   errors += check_sext (16, 16 - 1, "LSSEXT16", "LSMASK16", "MSMASK16");
 391   errors += check_sext (32, 32 - 1, "LSSEXT32", "LSMASK32", "MSMASK32");
 392   errors += check_sext (64, 64 - 1, "LSSEXT64", "LSMASK64", "MSMASK64");
 393   errors += check_sext (64, WITH_TARGET_WORD_BITSIZE - 1, "LSSEXT",   "LSMASK",   "MSMASK");
 394
 395   printf ("Checking MSSEXT*\n");
 396   errors += check_sext (8,   0, "MSSEXT8",  "MSMASK8",  "MSMASK8");
 397   errors += check_sext (16,  0, "MSSEXT16", "MSMASK16", "MSMASK16");
 398   errors += check_sext (32,  0, "MSSEXT32", "MSMASK32", "MSMASK32");
 399   errors += check_sext (64,  0, "MSSEXT64", "MSMASK64", "MSMASK64");
 400   errors += check_sext (64,  0, "MSSEXT",   "MSMASK",   "MSMASK");
 401
 402   printf ("Checking ROT*\n");
 403   errors += check_rot (16, "ROT16", "MASK16");
 404   errors += check_rot (32, "ROT32", "MASK32");
 405   errors += check_rot (64, "ROT64", "MASK64");
 406
 407   return errors != 0;
 408 }