bits-tst.c 11 KB

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