test_div64.c 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249
  1. // SPDX-License-Identifier: GPL-2.0
  2. /*
  3. * Copyright (C) 2021 Maciej W. Rozycki
  4. */
  5. #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
  6. #include <linux/init.h>
  7. #include <linux/ktime.h>
  8. #include <linux/module.h>
  9. #include <linux/printk.h>
  10. #include <linux/time64.h>
  11. #include <linux/types.h>
  12. #include <asm/div64.h>
  13. #define TEST_DIV64_N_ITER 1024
  14. static const u64 test_div64_dividends[] = {
  15. 0x00000000ab275080,
  16. 0x0000000fe73c1959,
  17. 0x000000e54c0a74b1,
  18. 0x00000d4398ff1ef9,
  19. 0x0000a18c2ee1c097,
  20. 0x00079fb80b072e4a,
  21. 0x0072db27380dd689,
  22. 0x0842f488162e2284,
  23. 0xf66745411d8ab063,
  24. };
  25. #define SIZE_DIV64_DIVIDENDS ARRAY_SIZE(test_div64_dividends)
  26. #define TEST_DIV64_DIVISOR_0 0x00000009
  27. #define TEST_DIV64_DIVISOR_1 0x0000007c
  28. #define TEST_DIV64_DIVISOR_2 0x00000204
  29. #define TEST_DIV64_DIVISOR_3 0x0000cb5b
  30. #define TEST_DIV64_DIVISOR_4 0x00010000
  31. #define TEST_DIV64_DIVISOR_5 0x0008a880
  32. #define TEST_DIV64_DIVISOR_6 0x003fd3ae
  33. #define TEST_DIV64_DIVISOR_7 0x0b658fac
  34. #define TEST_DIV64_DIVISOR_8 0xdc08b349
  35. static const u32 test_div64_divisors[] = {
  36. TEST_DIV64_DIVISOR_0,
  37. TEST_DIV64_DIVISOR_1,
  38. TEST_DIV64_DIVISOR_2,
  39. TEST_DIV64_DIVISOR_3,
  40. TEST_DIV64_DIVISOR_4,
  41. TEST_DIV64_DIVISOR_5,
  42. TEST_DIV64_DIVISOR_6,
  43. TEST_DIV64_DIVISOR_7,
  44. TEST_DIV64_DIVISOR_8,
  45. };
  46. #define SIZE_DIV64_DIVISORS ARRAY_SIZE(test_div64_divisors)
  47. static const struct {
  48. u64 quotient;
  49. u32 remainder;
  50. } test_div64_results[SIZE_DIV64_DIVISORS][SIZE_DIV64_DIVIDENDS] = {
  51. {
  52. { 0x0000000013045e47, 0x00000001 },
  53. { 0x000000000161596c, 0x00000030 },
  54. { 0x000000000054e9d4, 0x00000130 },
  55. { 0x000000000000d776, 0x0000278e },
  56. { 0x000000000000ab27, 0x00005080 },
  57. { 0x00000000000013c4, 0x0004ce80 },
  58. { 0x00000000000002ae, 0x001e143c },
  59. { 0x000000000000000f, 0x0033e56c },
  60. { 0x0000000000000000, 0xab275080 },
  61. }, {
  62. { 0x00000001c45c02d1, 0x00000000 },
  63. { 0x0000000020d5213c, 0x00000049 },
  64. { 0x0000000007e3d65f, 0x000001dd },
  65. { 0x0000000000140531, 0x000065ee },
  66. { 0x00000000000fe73c, 0x00001959 },
  67. { 0x000000000001d637, 0x0004e5d9 },
  68. { 0x0000000000003fc9, 0x000713bb },
  69. { 0x0000000000000165, 0x029abe7d },
  70. { 0x0000000000000012, 0x6e9f7e37 },
  71. }, {
  72. { 0x000000197a3a0cf7, 0x00000002 },
  73. { 0x00000001d9632e5c, 0x00000021 },
  74. { 0x0000000071c28039, 0x000001cd },
  75. { 0x000000000120a844, 0x0000b885 },
  76. { 0x0000000000e54c0a, 0x000074b1 },
  77. { 0x00000000001a7bb3, 0x00072331 },
  78. { 0x00000000000397ad, 0x0002c61b },
  79. { 0x000000000000141e, 0x06ea2e89 },
  80. { 0x000000000000010a, 0xab002ad7 },
  81. }, {
  82. { 0x0000017949e37538, 0x00000001 },
  83. { 0x0000001b62441f37, 0x00000055 },
  84. { 0x0000000694a3391d, 0x00000085 },
  85. { 0x0000000010b2a5d2, 0x0000a753 },
  86. { 0x000000000d4398ff, 0x00001ef9 },
  87. { 0x0000000001882ec6, 0x0005cbf9 },
  88. { 0x000000000035333b, 0x0017abdf },
  89. { 0x00000000000129f1, 0x0ab4520d },
  90. { 0x0000000000000f6e, 0x8ac0ce9b },
  91. }, {
  92. { 0x000011f321a74e49, 0x00000006 },
  93. { 0x0000014d8481d211, 0x0000005b },
  94. { 0x0000005025cbd92d, 0x000001e3 },
  95. { 0x00000000cb5e71e3, 0x000043e6 },
  96. { 0x00000000a18c2ee1, 0x0000c097 },
  97. { 0x0000000012a88828, 0x00036c97 },
  98. { 0x000000000287f16f, 0x002c2a25 },
  99. { 0x00000000000e2cc7, 0x02d581e3 },
  100. { 0x000000000000bbf4, 0x1ba08c03 },
  101. }, {
  102. { 0x0000d8db8f72935d, 0x00000005 },
  103. { 0x00000fbd5aed7a2e, 0x00000002 },
  104. { 0x000003c84b6ea64a, 0x00000122 },
  105. { 0x0000000998fa8829, 0x000044b7 },
  106. { 0x000000079fb80b07, 0x00002e4a },
  107. { 0x00000000e16b20fa, 0x0002a14a },
  108. { 0x000000001e940d22, 0x00353b2e },
  109. { 0x0000000000ab40ac, 0x06fba6ba },
  110. { 0x000000000008debd, 0x72d98365 },
  111. }, {
  112. { 0x000cc3045b8fc281, 0x00000000 },
  113. { 0x0000ed1f48b5c9fc, 0x00000079 },
  114. { 0x000038fb9c63406a, 0x000000e1 },
  115. { 0x000000909705b825, 0x00000a62 },
  116. { 0x00000072db27380d, 0x0000d689 },
  117. { 0x0000000d43fce827, 0x00082b09 },
  118. { 0x00000001ccaba11a, 0x0037e8dd },
  119. { 0x000000000a13f729, 0x0566dffd },
  120. { 0x000000000085a14b, 0x23d36726 },
  121. }, {
  122. { 0x00eafeb9c993592b, 0x00000001 },
  123. { 0x00110e5befa9a991, 0x00000048 },
  124. { 0x00041947b4a1d36a, 0x000000dc },
  125. { 0x00000a6679327311, 0x0000c079 },
  126. { 0x00000842f488162e, 0x00002284 },
  127. { 0x000000f4459740fc, 0x00084484 },
  128. { 0x0000002122c47bf9, 0x002ca446 },
  129. { 0x00000000b9936290, 0x004979c4 },
  130. { 0x00000000099ca89d, 0x9db446bf },
  131. }, {
  132. { 0x1b60cece589da1d2, 0x00000001 },
  133. { 0x01fcb42be1453f5b, 0x0000004f },
  134. { 0x007a3f2457df0749, 0x0000013f },
  135. { 0x0001363130e3ec7b, 0x000017aa },
  136. { 0x0000f66745411d8a, 0x0000b063 },
  137. { 0x00001c757dfab350, 0x00048863 },
  138. { 0x000003dc4979c652, 0x00224ea7 },
  139. { 0x000000159edc3144, 0x06409ab3 },
  140. { 0x000000011eadfee3, 0xa99c48a8 },
  141. },
  142. };
  143. static inline bool test_div64_verify(u64 quotient, u32 remainder, int i, int j)
  144. {
  145. return (quotient == test_div64_results[i][j].quotient &&
  146. remainder == test_div64_results[i][j].remainder);
  147. }
  148. /*
  149. * This needs to be a macro, because we don't want to rely on the compiler
  150. * to do constant propagation, and `do_div' may take a different path for
  151. * constants, so we do want to verify that as well.
  152. */
  153. #define test_div64_one(dividend, divisor, i, j) ({ \
  154. bool result = true; \
  155. u64 quotient; \
  156. u32 remainder; \
  157. \
  158. quotient = dividend; \
  159. remainder = do_div(quotient, divisor); \
  160. if (!test_div64_verify(quotient, remainder, i, j)) { \
  161. pr_err("ERROR: %016llx / %08x => %016llx,%08x\n", \
  162. dividend, divisor, quotient, remainder); \
  163. pr_err("ERROR: expected value => %016llx,%08x\n",\
  164. test_div64_results[i][j].quotient, \
  165. test_div64_results[i][j].remainder); \
  166. result = false; \
  167. } \
  168. result; \
  169. })
  170. /*
  171. * Run calculation for the same divisor value expressed as a constant
  172. * and as a variable, so as to verify the implementation for both cases
  173. * should they be handled by different code execution paths.
  174. */
  175. static bool __init test_div64(void)
  176. {
  177. u64 dividend;
  178. int i, j;
  179. for (i = 0; i < SIZE_DIV64_DIVIDENDS; i++) {
  180. dividend = test_div64_dividends[i];
  181. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_0, i, 0))
  182. return false;
  183. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_1, i, 1))
  184. return false;
  185. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_2, i, 2))
  186. return false;
  187. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_3, i, 3))
  188. return false;
  189. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_4, i, 4))
  190. return false;
  191. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_5, i, 5))
  192. return false;
  193. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_6, i, 6))
  194. return false;
  195. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_7, i, 7))
  196. return false;
  197. if (!test_div64_one(dividend, TEST_DIV64_DIVISOR_8, i, 8))
  198. return false;
  199. for (j = 0; j < SIZE_DIV64_DIVISORS; j++) {
  200. if (!test_div64_one(dividend, test_div64_divisors[j],
  201. i, j))
  202. return false;
  203. }
  204. }
  205. return true;
  206. }
  207. static int __init test_div64_init(void)
  208. {
  209. struct timespec64 ts, ts0, ts1;
  210. int i;
  211. pr_info("Starting 64bit/32bit division and modulo test\n");
  212. ktime_get_ts64(&ts0);
  213. for (i = 0; i < TEST_DIV64_N_ITER; i++)
  214. if (!test_div64())
  215. break;
  216. ktime_get_ts64(&ts1);
  217. ts = timespec64_sub(ts1, ts0);
  218. pr_info("Completed 64bit/32bit division and modulo test, "
  219. "%llu.%09lus elapsed\n", ts.tv_sec, ts.tv_nsec);
  220. return 0;
  221. }
  222. static void __exit test_div64_exit(void)
  223. {
  224. }
  225. module_init(test_div64_init);
  226. module_exit(test_div64_exit);
  227. MODULE_AUTHOR("Maciej W. Rozycki <[email protected]>");
  228. MODULE_LICENSE("GPL");
  229. MODULE_DESCRIPTION("64bit/32bit division and modulo test module");