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, "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);
  20
  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);
  29
  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);
  38
  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);
  47
  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);
  56
  57   if (strcmp (call, "LSINSERT") == 0)
  58     return LSINSERTED (val, row, col);
  59   if (strcmp (call, "LSINSERT16") == 0)
  60     return LSINSERTED16 (val, row, col);
  61   if (strcmp (call, "LSINSERT32") == 0)
  62     return LSINSERTED32 (val, row, col);
  63   if (strcmp (call, "LSINSERT64") == 0)
  64     return LSINSERTED64 (val, row, col);
  65
  66   if (strcmp (call, "MSINSERT") == 0)
  67     return MSINSERTED (val, row, col);
  68   if (strcmp (call, "MSINSERT16") == 0)
  69     return MSINSERTED16 (val, row, col);
  70   if (strcmp (call, "MSINSERT32") == 0)
  71     return MSINSERTED32 (val, row, col);
  72   if (strcmp (call, "MSINSERT64") == 0)
  73     return MSINSERTED64 (val, row, col);
  74
  75   if (strcmp (call, "MSMASK") == 0)
  76     return MSMASKED (val, row, col);
  77   if (strcmp (call, "MSMASK16") == 0)
  78     return MSMASKED16 (val, row, col);
  79   if (strcmp (call, "MSMASK32") == 0)
  80     return MSMASKED32 (val, row, col);
  81   if (strcmp (call, "MSMASK64") == 0)
  82     return MSMASKED64 (val, row, col);
  83
  84   if (strcmp (call, "LSMASK") == 0)
  85     return LSMASKED (val, row, col);
  86   if (strcmp (call, "LSMASK16") == 0)
  87     return LSMASKED16 (val, row, col);
  88   if (strcmp (call, "LSMASK32") == 0)
  89     return LSMASKED32 (val, row, col);
  90   if (strcmp (call, "LSMASK64") == 0)
  91     return LSMASKED64 (val, row, col);
  92
  93   if (strcmp (call, "ROT16") == 0)
  94     return ROT16 (val, col);
  95   if (strcmp (call, "ROT32") == 0)
  96     return ROT32 (val, col);
  97   if (strcmp (call, "ROT64") == 0)
  98     return ROT64 (val, col);
  99
 100   if (strcmp (call, "SEXT16") == 0)
 101     return SEXT16 (val, col);
 102   if (strcmp (call, "SEXT32") == 0)
 103     return SEXT32 (val, col);
 104   if (strcmp (call, "SEXT64") == 0)
 105     return SEXT64 (val, col);
 106   if (strcmp (call, "SEXT") == 0)
 107     return SEXT (val, col);
 108
 109   if (strcmp (call, "LSSEXT16") == 0)
 110     return LSSEXT16 (val, col);
 111   if (strcmp (call, "LSSEXT32") == 0)
 112     return LSSEXT32 (val, col);
 113   if (strcmp (call, "LSSEXT64") == 0)
 114     return LSSEXT64 (val, col);
 115   if (strcmp (call, "LSSEXT") == 0)
 116     return LSSEXT (val, col);
 117
 118   if (strcmp (call, "MSSEXT16") == 0)
 119     return MSSEXT16 (val, col);
 120   if (strcmp (call, "MSSEXT32") == 0)
 121     return MSSEXT32 (val, col);
 122   if (strcmp (call, "MSSEXT64") == 0)
 123     return MSSEXT64 (val, col);
 124   if (strcmp (call, "MSSEXT") == 0)
 125     return MSSEXT (val, col);
 126
 127   else
 128     {
 129       fprintf (stderr, "Unknown call passed to calc (%s, 0x%08lx%08lx, %d, %d)\n",
 130                call, (long)(val >> 32), (long)val, row, col);
 131       abort ();
 132       return val;
 133     }
 134 }
 135
 136
 137 int
 138 check_sext (int nr_bits,
 139             const char *sexted,
 140             const char *masked,
 141             const char *msmasked)
 142 {
 143   int errors = 0;
 144   int col;
 145   for (col = 0; col < nr_bits; col ++)
 146     {
 147       long long mask = calc (masked, -1, col, col);
 148       long long msmask = calc (msmasked, -1,
 149                                0, (WITH_TARGET_WORD_MSB ? nr_bits - col - 1 : col));
 150       long long sext = calc (sexted, mask, -1, col);
 151       long long mask_1 = mask >> 1;
 152       long long sext_1 = calc (sexted, mask_1, -1, col);
 153       if (mask_1 != sext_1)
 154         {
 155           fprintf (stderr, "%s:%d: ", __FILE__, __LINE__);
 156           fprintf (stderr, " %s(0x%08lx%08lx,%d) != 0x%08lx%08lx\n",
 157                    sexted,
 158                    (long)(mask_1 >> 32), (long)mask_1,
 159                    col,
 160                    (long)(sext_1 >> 32), (long)sext_1);
 161           errors ++;
 162         }
 163       if (sext != msmask)
 164         {
 165           fprintf (stderr, "%s:%d: ", __FILE__, __LINE__);
 166           fprintf (stderr, " %s(0x%08lx%08lx,%d) == 0x%08lx%08lx wrong, != 0x%08lx%08lx\n",
 167                    sexted, (long)(mask >> 32), (long)mask, col,
 168                    (long)(sext >> 32), (long)sext,
 169                    (long)(msmask >> 32), (long)msmask);
 170           errors ++;
 171         }
 172
 173     }
 174   return errors;
 175 }
 176
 177
 178 int
 179 check_rot (int nr_bits,
 180            const char *roted,
 181            const char *masked)
 182 {
 183   int errors = 0;
 184   int row;
 185   int col;
 186   for (row = 0; row < nr_bits; row++)
 187     for (col = 0; col < nr_bits; col++)
 188       if ((WITH_TARGET_WORD_MSB == 0 && row <= col)
 189           || (WITH_TARGET_WORD_MSB != 0 && row >= col))
 190         {
 191           long long mask = calc (masked, -1, row, col);
 192           int shift;
 193           for (shift = -nr_bits + 1; shift < nr_bits; shift ++)
 194             {
 195               long long rot = calc (roted, mask, -1, shift);
 196               long long urot = calc (roted, rot, -1, -shift);
 197               if (mask != urot
 198                   || (shift == 0 && rot != mask)
 199                   || (shift != 0 && rot == mask && abs(row - col) != (nr_bits - 1)))
 200                 {
 201                   fprintf (stderr, "%s:%d: ", __FILE__, __LINE__);
 202                   fprintf (stderr, " %s(%s(0x%08lx%08lx,%d) == 0x%08lx%08lx, %d) failed\n",
 203                            roted, roted,
 204                            (long)(mask >> 32), (long)mask, shift,
 205                            (long)(urot >> 32), (long)urot, -shift);
 206                   errors ++;
 207                 }
 208             }
 209         }
 210   return errors;
 211 }
 212
 213
 214 int
 215 check_extract (int nr_bits,
 216                const char *extracted,
 217                const char *inserted,
 218                const char *masked)
 219 {
 220   int errors = 0;
 221   int row;
 222   int col;
 223   for (row = 0; row < nr_bits; row++)
 224     for (col = 0; col < nr_bits; col ++)
 225       if ((WITH_TARGET_WORD_MSB == 0 && row <= col)
 226           || (WITH_TARGET_WORD_MSB != 0 && row >= col))
 227         {
 228           long long mask = calc (masked, -1, row, col);
 229           long long extr = calc (extracted, mask, row, col);
 230           long long inst = calc (inserted, extr, row, col);
 231           if (mask != inst)
 232             {
 233               fprintf (stderr, "%s:%d: ", __FILE__, __LINE__);
 234               fprintf (stderr, " %s(%d,%d)=0x%08lx%08lx -> %s=0x%08lx%08lx -> %s=0x%08lx%08lx failed\n",
 235                        masked, row, col, (long)(mask >> 32), (long)mask,
 236                        extracted, (long)(extr >> 32), (long)extr,
 237                        inserted, (long)(inst >> 32), (long)inst);
 238               errors ++;
 239             }
 240         }
 241   return errors;
 242 }
 243
 244
 245 int
 246 check_bits (int call,
 247             test_spec **tests)
 248 {
 249   int r;
 250   int c;
 251   int errors = 0;
 252   while (*tests != NULL)
 253     {
 254       int nr_rows = (*tests)->nr_rows;
 255       int nr_cols = (*tests)->nr_cols;
 256       test_tuples *tuples = (*tests)->tuples;
 257       for (r = 0; r < nr_rows; r++)
 258         for (c = 0; c < nr_cols; c++)
 259           {
 260             int i = r * nr_rows + c;
 261             test_tuples *tuple = &tuples[i];
 262             if (tuple->col >= 0)
 263               {
 264                 long long val = (!call ? tuple->val : calc ((*tests)->macro, -1,
 265                                                             tuple->row, tuple->col));
 266                 long long check = tuple->check;
 267                 if (val != check)
 268                   {
 269                     fprintf (stderr, "%s:%d:", (*tests)->file, tuple->line);
 270                     fprintf (stderr, " %s", (*tests)->macro);
 271                     if (tuple->row >= 0)
 272                       fprintf (stderr, " (%d, %d)", tuple->row, tuple->col);
 273                     else
 274                       fprintf (stderr, " (%d)", tuple->col);
 275                     fprintf (stderr, " == 0x%08lx%08lx wrong, != 0x%08lx%08lx)\n",
 276                              (long) (val >> 32), (long) val,
 277                              (long) (check >> 32), (long) check);
 278                     errors ++;
 279                   }
 280               }
 281           }
 282       tests ++;
 283     }
 284   return errors;
 285 }
 286
 287
 288 int
 289 main (argc, argv)
 290      int argc;
 291      char **argv;
 292 {
 293   int errors = 0;
 294
 295
 296 #if defined (DO_BIT_TESTS)
 297   printf ("Checking BIT*\n");
 298   errors += check_bits (0, bit_tests);
 299 #endif
 300
 301
 302 #if defined (DO_MASK_TESTS)
 303   printf ("Checking MASK*\n");
 304   errors += check_bits (0, mask_tests);
 305
 306   printf ("Checking MASKED*\n");
 307   errors += check_bits (1, mask_tests);
 308 #endif
 309
 310
 311 #if defined (DO_LSMASK_TESTS)
 312   printf ("Checking LSMASK*\n");
 313   errors += check_bits (0, lsmask_tests);
 314
 315   printf ("Checking LSMASKED*\n");
 316   errors += check_bits (1, lsmask_tests);
 317 #endif
 318
 319
 320 #if defined (DO_MSMASK_TESTS)
 321   printf ("Checking MSMASK*\n");
 322   errors += check_bits (0, msmask_tests);
 323
 324   printf ("Checking MSMASKED*\n");
 325   errors += check_bits (1, msmask_tests);
 326 #endif
 327
 328
 329   printf ("Checking EXTRACTED*\n");
 330   errors += check_extract (16, "EXTRACT16", "INSERT16", "MASK16");
 331   errors += check_extract (32, "EXTRACT32", "INSERT32", "MASK32");
 332   errors += check_extract (64, "EXTRACT64", "INSERT64", "MASK64");
 333   errors += check_extract (64, "EXTRACT", "INSERT", "MASK");
 334
 335   printf ("Checking SEXT*\n");
 336   errors += check_sext (16, "SEXT16", "MASK16", "MSMASK16");
 337   errors += check_sext (32, "SEXT32", "MASK32", "MSMASK32");
 338   errors += check_sext (64, "SEXT64", "MASK64", "MSMASK64");
 339   errors += check_sext (64, "SEXT", "MASK", "MSMASK");
 340
 341   printf ("Checking ROT*\n");
 342   errors += check_rot (16, "ROT16", "MASK16");
 343   errors += check_rot (32, "ROT32", "MASK32");
 344   errors += check_rot (64, "ROT64", "MASK64");
 345
 346   return errors != 0;
 347 }