API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Oct 7th, 2022
145
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 18.33 KB | None | 0 0
raw download clone embed print report
  1. I0924 09:59:05.335746 3458926 main.cc:521] Better than baseline: 3761 3 3 14 3741
  2. r0 = seed + hi;
  3. r1 = r0 * 0x71b1a19b907d6e33;
  4. r2 = r1 ^ r1_hi;
  5. r3 = r2 + lo;
  6. r4 = r3 * 0x71b1a19b907d6e33;
  7. r5 = r4 ^ r4_hi;
  8. I0924 09:59:05.335846 3458926 main.cc:536] Updated: 3761 3 3 14 3741
  9. r0 = seed + hi;
  10. r1 = r0 * 0x71b1a19b907d6e33;
  11. r2 = r1 ^ r1_hi;
  12. --
  13. r0 = lo - 0x71b1a19b907d6e33;
  14. r1 = hi - seed;
  15. r2 = r0 * r1;
  16. r3 = r2 - r2_hi;
  17. I0924 10:03:32.737275 3458926 main.cc:546] Pulse: 3812 3 3 28 3778
  18. I0924 10:03:33.193450 3458926 main.cc:536] Updated: 3777 4 22 61 3690
  19. r0 = lo + hi;
  20. r1 = seed * r0;
  21. r2 = r1 rotate_left 11;
  22. r3 = hi + r2;
  23. I0924 10:03:36.140914 3458926 main.cc:521] Better than baseline: 3678 4 4 18 3652
  24. r0 = lo + hi;
  25. r1 = seed * r0;
  26. r2 = 0x71b1a19b907d6e33 * r1;
  27. r3 = hi ^ r2_hi;
  28. I0924 10:03:36.141032 3458926 main.cc:536] Updated: 3678 4 4 18 3652
  29. r0 = lo + hi;
  30. r1 = seed * r0;
  31. r2 = 0x71b1a19b907d6e33 * r1;
  32. r3 = hi ^ r2_hi;
  33. I0924 10:03:36.150986 3458926 main.cc:521] Better than baseline: 3759 4 4 19 3732
  34. r0 = lo + hi;
  35. r1 = seed * r0;
  36. r2 = 0x71b1a19b907d6e33 * r1;
  37. r3 = hi + r2_hi;
  38. I0924 10:03:37.972085 3458926 main.cc:545]
  39. r0 = lo + hi;
  40. r1 = seed * r0;
  41. r2 = 0x71b1a19b907d6e33 * r1;
  42. r3 = hi ^ r2_hi;
  43. I0924 10:03:37.972144 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  44. --
  45. r1 = seed * r0;
  46. r2 = 0x71b1a19b907d6e33 * r1;
  47. r3 = hi ^ r2_hi;
  48. I0924 10:06:13.215248 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  49. I0924 10:06:18.197350 3458926 main.cc:545]
  50. r0 = lo + hi;
  51. r1 = seed * r0;
  52. r2 = 0x71b1a19b907d6e33 * r1;
  53. r3 = hi ^ r2_hi;
  54. I0924 10:06:18.197417 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  55. I0924 10:06:23.020260 3458926 main.cc:521] Better than baseline: 3708 4 4 17 3683
  56. r0 = lo + hi;
  57. r1 = 0x71b1a19b907d6e33 * r0;
  58. r2 = seed * r1;
  59. r3 = hi + r2_hi;
  60. I0924 10:06:23.032440 3458926 main.cc:521] Better than baseline: 3698 4 4 17 3673
  61. r0 = lo + hi;
  62. r1 = 0x71b1a19b907d6e33 * r0;
  63. r2 = seed * r1;
  64. r3 = lo - r2_hi;
  65. I0924 10:06:23.047745 3458926 main.cc:521] Better than baseline: 3731 4 4 15 3708
  66. r0 = lo + hi;
  67. r1 = 0x71b1a19b907d6e33 * r0;
  68. r2 = seed * r1;
  69. r3 = lo + r2_hi;
  70. I0924 10:06:23.084677 3458926 main.cc:521] Better than baseline: 3727 4 4 15 3704
  71. r0 = lo + hi;
  72. r1 = 0x71b1a19b907d6e33 * r0;
  73. r2 = seed * r1;
  74. r3 = lo ^ r2_hi;
  75. I0924 10:06:23.319169 3458926 main.cc:545]
  76. r0 = lo + hi;
  77. r1 = seed * r0;
  78. r2 = 0x71b1a19b907d6e33 * r1;
  79. r3 = hi ^ r2_hi;
  80. I0924 10:06:23.319207 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  81. --
  82. r1 = seed * r0;
  83. r2 = 0x71b1a19b907d6e33 * r1;
  84. r3 = hi ^ r2_hi;
  85. I0924 10:09:13.057072 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  86. I0924 10:09:18.218049 3458926 main.cc:545]
  87. r0 = lo + hi;
  88. r1 = seed * r0;
  89. r2 = 0x71b1a19b907d6e33 * r1;
  90. r3 = hi ^ r2_hi;
  91. I0924 10:09:18.218089 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  92. I0924 10:09:22.209501 3458926 main.cc:521] Better than baseline: 3729 23 23 33 3650
  93. r0 = lo - hi;
  94. r1 = lo + r0;
  95. r2 = seed * r1;
  96. r3 = r0 + r2_hi;
  97. I0924 10:09:23.254346 3458926 main.cc:545]
  98. r0 = lo + hi;
  99. r1 = seed * r0;
  100. r2 = 0x71b1a19b907d6e33 * r1;
  101. r3 = hi ^ r2_hi;
  102. I0924 10:09:23.254386 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  103. --
  104. r1 = seed * r0;
  105. r2 = 0x71b1a19b907d6e33 * r1;
  106. r3 = hi ^ r2_hi;
  107. I0924 10:26:56.629936 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  108. I0924 10:27:01.921412 3458926 main.cc:545]
  109. r0 = lo + hi;
  110. r1 = seed * r0;
  111. r2 = 0x71b1a19b907d6e33 * r1;
  112. r3 = hi ^ r2_hi;
  113. I0924 10:27:01.921465 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  114. I0924 10:27:05.569474 3458926 main.cc:521] Better than baseline: 3743 4 4 26 3709
  115. r0 = lo * 0x71b1a19b907d6e33;
  116. r1 = hi + r0;
  117. r2 = seed * r1;
  118. r3 = r1 + r2_hi;
  119. I0924 10:27:07.007589 3458926 main.cc:545]
  120. r0 = lo + hi;
  121. r1 = seed * r0;
  122. r2 = 0x71b1a19b907d6e33 * r1;
  123. r3 = hi ^ r2_hi;
  124. I0924 10:27:07.007630 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  125. --
  126. r1 = seed * r0;
  127. r2 = 0x71b1a19b907d6e33 * r1;
  128. r3 = hi ^ r2_hi;
  129. I0924 10:30:43.872601 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  130. I0924 10:30:48.934223 3458926 main.cc:545]
  131. r0 = lo + hi;
  132. r1 = seed * r0;
  133. r2 = 0x71b1a19b907d6e33 * r1;
  134. r3 = hi ^ r2_hi;
  135. I0924 10:30:48.934262 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  136. I0924 10:30:50.640053 3458926 main.cc:521] Better than baseline: 3723 4 4 15 3700
  137. r0 = lo * 0x71b1a19b907d6e33;
  138. r1 = hi ^ r0;
  139. r2 = seed * r1;
  140. r3 = r1 + r2_hi;
  141. I0924 10:30:53.953621 3458926 main.cc:545]
  142. r0 = lo + hi;
  143. r1 = seed * r0;
  144. r2 = 0x71b1a19b907d6e33 * r1;
  145. r3 = hi ^ r2_hi;
  146. I0924 10:30:53.953656 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  147. --
  148. r1 = seed * r0;
  149. r2 = 0x71b1a19b907d6e33 * r1;
  150. r3 = hi ^ r2_hi;
  151. I0924 10:34:16.101871 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  152. I0924 10:34:20.681369 3458926 main.cc:545]
  153. r0 = lo + hi;
  154. r1 = seed * r0;
  155. r2 = 0x71b1a19b907d6e33 * r1;
  156. r3 = hi ^ r2_hi;
  157. I0924 10:34:20.681417 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  158. I0924 10:34:24.982422 3458926 main.cc:521] Better than baseline: 3751 18 18 31 3684
  159. r0 = lo * 0x71b1a19b907d6e33;
  160. r1 = hi - r0;
  161. r2 = seed * r1;
  162. r3 = hi - r2_hi;
  163. I0924 10:34:25.770137 3458926 main.cc:545]
  164. r0 = lo + hi;
  165. r1 = seed * r0;
  166. r2 = 0x71b1a19b907d6e33 * r1;
  167. r3 = hi ^ r2_hi;
  168. I0924 10:34:25.770169 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  169. --
  170. r1 = seed * r0;
  171. r2 = 0x71b1a19b907d6e33 * r1;
  172. r3 = hi ^ r2_hi;
  173. I0924 10:55:37.236493 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  174. I0924 10:55:42.138926 3458926 main.cc:545]
  175. r0 = lo + hi;
  176. r1 = seed * r0;
  177. r2 = 0x71b1a19b907d6e33 * r1;
  178. r3 = hi ^ r2_hi;
  179. I0924 10:55:42.138961 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  180. I0924 10:55:44.728408 3458926 main.cc:521] Better than baseline: 3733 3 6 46 3678
  181. r0 = hi + seed;
  182. r1 = lo - r0;
  183. r2 = r0 * r1;
  184. r3 = r2 rotate_left 11;
  185. I0924 10:55:47.107152 3458926 main.cc:545]
  186. r0 = lo + hi;
  187. r1 = seed * r0;
  188. r2 = 0x71b1a19b907d6e33 * r1;
  189. r3 = hi ^ r2_hi;
  190. I0924 10:55:47.107191 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  191. --
  192. r1 = seed * r0;
  193. r2 = 0x71b1a19b907d6e33 * r1;
  194. r3 = hi ^ r2_hi;
  195. I0924 10:59:51.930589 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  196. I0924 10:59:56.885228 3458926 main.cc:545]
  197. r0 = lo + hi;
  198. r1 = seed * r0;
  199. r2 = 0x71b1a19b907d6e33 * r1;
  200. r3 = hi ^ r2_hi;
  201. I0924 10:59:56.885269 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  202. I0924 11:00:00.960449 3458926 main.cc:521] Better than baseline: 3688 3 5 31 3649
  203. r0 = hi - seed;
  204. r1 = lo + 0x71b1a19b907d6e33;
  205. r2 = r0 * r1;
  206. r3 = r2 rotate_left 11;
  207. I0924 11:00:00.984911 3458926 main.cc:521] Better than baseline: 3760 3 3 33 3721
  208. r0 = hi - seed;
  209. r1 = lo + 0x71b1a19b907d6e33;
  210. r2 = r0 * r1;
  211. r3 = r2 + r2_hi;
  212. I0924 11:00:01.783422 3458926 main.cc:545]
  213. r0 = lo + hi;
  214. r1 = seed * r0;
  215. r2 = 0x71b1a19b907d6e33 * r1;
  216. r3 = hi ^ r2_hi;
  217. I0924 11:00:01.783454 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  218. --
  219. r1 = seed * r0;
  220. r2 = 0x71b1a19b907d6e33 * r1;
  221. r3 = hi ^ r2_hi;
  222. I0924 11:24:30.355033 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  223. I0924 11:24:35.138663 3458926 main.cc:545]
  224. r0 = lo + hi;
  225. r1 = seed * r0;
  226. r2 = 0x71b1a19b907d6e33 * r1;
  227. r3 = hi ^ r2_hi;
  228. I0924 11:24:35.138698 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  229. I0924 11:24:36.084817 3458926 main.cc:521] Better than baseline: 3688 3 5 31 3649
  230. r0 = lo + 0x71b1a19b907d6e33;
  231. r1 = hi - seed;
  232. r2 = r0 * r1;
  233. r3 = r2 rotate_left 11;
  234. I0924 11:24:36.085919 3458926 main.cc:521] Better than baseline: 3760 3 3 33 3721
  235. r0 = lo + 0x71b1a19b907d6e33;
  236. r1 = hi - seed;
  237. r2 = r0 * r1;
  238. r3 = r2 + r2_hi;
  239. I0924 11:24:40.003649 3458926 main.cc:545]
  240. r0 = lo + hi;
  241. r1 = seed * r0;
  242. r2 = 0x71b1a19b907d6e33 * r1;
  243. r3 = hi ^ r2_hi;
  244. I0924 11:24:40.003694 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  245. --
  246. r1 = seed * r0;
  247. r2 = 0x71b1a19b907d6e33 * r1;
  248. r3 = hi ^ r2_hi;
  249. I0924 11:29:57.749183 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  250. I0924 11:30:02.218200 3458926 main.cc:545]
  251. r0 = lo + hi;
  252. r1 = seed * r0;
  253. r2 = 0x71b1a19b907d6e33 * r1;
  254. r3 = hi ^ r2_hi;
  255. I0924 11:30:02.218233 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  256. I0924 11:30:02.393280 3458926 main.cc:521] Better than baseline: 3758 5 5 22 3726
  257. r0 = lo rotate_left 11;
  258. r1 = hi - r0;
  259. r2 = seed * r1;
  260. r3 = r1 + r2_hi;
  261. I0924 11:30:02.407624 3458926 main.cc:521] Better than baseline: 3750 23 23 39 3665
  262. r0 = lo rotate_left 11;
  263. r1 = hi - r0;
  264. r2 = seed * r1;
  265. r3 = hi ^ r2_hi;
  266. I0924 11:30:02.412507 3458926 main.cc:521] Better than baseline: 3730 4 4 21 3701
  267. r0 = lo rotate_left 11;
  268. r1 = hi - r0;
  269. r2 = seed * r1;
  270. r3 = hi + r2_hi;
  271. I0924 11:30:06.642446 3458926 main.cc:545]
  272. r0 = lo + hi;
  273. r1 = seed * r0;
  274. r2 = 0x71b1a19b907d6e33 * r1;
  275. r3 = hi ^ r2_hi;
  276. I0924 11:30:06.642498 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  277. --
  278. r1 = seed * r0;
  279. r2 = 0x71b1a19b907d6e33 * r1;
  280. r3 = hi ^ r2_hi;
  281. I0924 11:31:44.558790 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  282. I0924 11:31:49.033030 3458926 main.cc:545]
  283. r0 = lo + hi;
  284. r1 = seed * r0;
  285. r2 = 0x71b1a19b907d6e33 * r1;
  286. r3 = hi ^ r2_hi;
  287. I0924 11:31:49.033071 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  288. I0924 11:31:52.893147 3458926 main.cc:521] Better than baseline: 3730 23 23 33 3651
  289. r0 = lo rotate_left 11;
  290. r1 = hi + r0;
  291. r2 = seed * r1;
  292. r3 = r1 ^ r2_hi;
  293. I0924 11:31:53.532857 3458926 main.cc:545]
  294. r0 = lo + hi;
  295. r1 = seed * r0;
  296. r2 = 0x71b1a19b907d6e33 * r1;
  297. r3 = hi ^ r2_hi;
  298. I0924 11:31:53.532889 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  299. --
  300. r1 = seed * r0;
  301. r2 = 0x71b1a19b907d6e33 * r1;
  302. r3 = hi ^ r2_hi;
  303. I0924 12:26:22.354976 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  304. I0924 12:26:26.907715 3458926 main.cc:545]
  305. r0 = lo + hi;
  306. r1 = seed * r0;
  307. r2 = 0x71b1a19b907d6e33 * r1;
  308. r3 = hi ^ r2_hi;
  309. I0924 12:26:26.907766 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  310. I0924 12:26:27.209716 3458926 main.cc:521] Better than baseline: 3749 4 4 12 3729
  311. r0 = lo << 1;
  312. r1 = hi - r0;
  313. r2 = seed * r1;
  314. r3 = r1 + r2_hi;
  315. I0924 12:26:31.450480 3458926 main.cc:545]
  316. r0 = lo + hi;
  317. r1 = seed * r0;
  318. r2 = 0x71b1a19b907d6e33 * r1;
  319. r3 = hi ^ r2_hi;
  320. I0924 12:26:31.450521 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  321. --
  322. r1 = seed * r0;
  323. r2 = 0x71b1a19b907d6e33 * r1;
  324. r3 = hi ^ r2_hi;
  325. I0924 12:29:26.905028 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  326. I0924 12:29:31.435372 3458926 main.cc:545]
  327. r0 = lo + hi;
  328. r1 = seed * r0;
  329. r2 = 0x71b1a19b907d6e33 * r1;
  330. r3 = hi ^ r2_hi;
  331. I0924 12:29:31.435431 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  332. I0924 12:29:36.203947 3458926 main.cc:521] Better than baseline: 3756 3 3 33 3717
  333. r0 = lo - seed;
  334. r1 = hi - r0;
  335. r2 = r0 * r1;
  336. r3 = r2 ^ r2_hi;
  337. I0924 12:29:36.234754 3458926 main.cc:545]
  338. r0 = lo + hi;
  339. r1 = seed * r0;
  340. r2 = 0x71b1a19b907d6e33 * r1;
  341. r3 = hi ^ r2_hi;
  342. I0924 12:29:36.234779 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  343. --
  344. r1 = seed * r0;
  345. r2 = 0x71b1a19b907d6e33 * r1;
  346. r3 = hi ^ r2_hi;
  347. I0924 12:33:28.965767 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  348. I0924 12:33:33.898177 3458926 main.cc:545]
  349. r0 = lo + hi;
  350. r1 = seed * r0;
  351. r2 = 0x71b1a19b907d6e33 * r1;
  352. r3 = hi ^ r2_hi;
  353. I0924 12:33:33.898237 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  354. I0924 12:33:38.079480 3458926 main.cc:521] Better than baseline: 3734 3 3 31 3697
  355. r0 = lo - seed;
  356. r1 = hi + 0x71b1a19b907d6e33;
  357. r2 = r0 * r1;
  358. r3 = r2 - r2_hi;
  359. I0924 12:33:38.799338 3458926 main.cc:545]
  360. r0 = lo + hi;
  361. r1 = seed * r0;
  362. r2 = 0x71b1a19b907d6e33 * r1;
  363. r3 = hi ^ r2_hi;
  364. I0924 12:33:38.799377 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  365. --
  366. r1 = seed * r0;
  367. r2 = 0x71b1a19b907d6e33 * r1;
  368. r3 = hi ^ r2_hi;
  369. I0924 12:38:33.585773 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  370. I0924 12:38:38.671629 3458926 main.cc:545]
  371. r0 = lo + hi;
  372. r1 = seed * r0;
  373. r2 = 0x71b1a19b907d6e33 * r1;
  374. r3 = hi ^ r2_hi;
  375. I0924 12:38:38.671668 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  376. I0924 12:38:38.859820 3458926 main.cc:521] Better than baseline: 3728 4 4 24 3696
  377. r0 = lo * seed;
  378. r1 = hi - r0;
  379. r2 = 0x71b1a19b907d6e33 * r1;
  380. r3 = r2 + r2_hi;
  381. I0924 12:38:38.871044 3458926 main.cc:521] Better than baseline: 3679 4 4 16 3655
  382. r0 = lo * seed;
  383. r1 = hi - r0;
  384. r2 = 0x71b1a19b907d6e33 * r1;
  385. r3 = r1 + r2_hi;
  386. I0924 12:38:38.871618 3458926 main.cc:521] Better than baseline: 3723 4 4 21 3694
  387. r0 = lo * seed;
  388. r1 = hi - r0;
  389. r2 = 0x71b1a19b907d6e33 * r1;
  390. r3 = r2 ^ r2_hi;
  391. I0924 12:38:43.487603 3458926 main.cc:521] Better than baseline: 3754 4 5 21 3724
  392. r0 = lo * seed;
  393. r1 = hi - r0;
  394. r2 = seed * r1;
  395. r3 = hi + r2_hi;
  396. I0924 12:38:43.820955 3458926 main.cc:545]
  397. r0 = lo + hi;
  398. r1 = seed * r0;
  399. r2 = 0x71b1a19b907d6e33 * r1;
  400. r3 = hi ^ r2_hi;
  401. I0924 12:38:43.820993 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  402. --
  403. r1 = seed * r0;
  404. r2 = 0x71b1a19b907d6e33 * r1;
  405. r3 = hi ^ r2_hi;
  406. I0924 12:42:25.756340 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  407. I0924 12:42:30.870657 3458926 main.cc:545]
  408. r0 = lo + hi;
  409. r1 = seed * r0;
  410. r2 = 0x71b1a19b907d6e33 * r1;
  411. r3 = hi ^ r2_hi;
  412. I0924 12:42:30.870715 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  413. I0924 12:42:34.547358 3458926 main.cc:521] Better than baseline: 3745 4 4 12 3725
  414. r0 = lo * seed;
  415. r1 = hi ^ r0;
  416. r2 = seed * r1;
  417. r3 = r1 + r2_hi;
  418. I0924 12:42:35.993740 3458926 main.cc:545]
  419. r0 = lo + hi;
  420. r1 = seed * r0;
  421. r2 = 0x71b1a19b907d6e33 * r1;
  422. r3 = hi ^ r2_hi;
  423. I0924 12:42:35.993780 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  424. I0924 12:42:38.690546 3458926 main.cc:521] Better than baseline: 3709 4 4 24 3677
  425. r0 = lo * seed;
  426. r1 = hi ^ r0;
  427. r2 = 0x71b1a19b907d6e33 * r1;
  428. r3 = r2 - r2_hi;
  429. I0924 12:42:38.706428 3458926 main.cc:521] Better than baseline: 3715 4 4 21 3686
  430. r0 = lo * seed;
  431. r1 = hi ^ r0;
  432. r2 = 0x71b1a19b907d6e33 * r1;
  433. r3 = hi + r2_hi;
  434. I0924 12:42:41.110635 3458926 main.cc:545]
  435. r0 = lo + hi;
  436. r1 = seed * r0;
  437. r2 = 0x71b1a19b907d6e33 * r1;
  438. r3 = hi ^ r2_hi;
  439. I0924 12:42:41.110681 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  440. --
  441. r1 = seed * r0;
  442. r2 = 0x71b1a19b907d6e33 * r1;
  443. r3 = hi ^ r2_hi;
  444. I0924 12:42:46.096915 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  445. I0924 12:42:51.136960 3458926 main.cc:545]
  446. r0 = lo + hi;
  447. r1 = seed * r0;
  448. r2 = 0x71b1a19b907d6e33 * r1;
  449. r3 = hi ^ r2_hi;
  450. I0924 12:42:51.136999 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  451. I0924 12:42:53.423104 3458926 main.cc:521] Better than baseline: 3712 4 9 45 3654
  452. r0 = lo * seed;
  453. r1 = hi * 0x71b1a19b907d6e33;
  454. r2 = r0 ^ r1;
  455. r3 = r2 rotate_left 11;
  456. I0924 12:42:56.193379 3458926 main.cc:545]
  457. r0 = lo + hi;
  458. r1 = seed * r0;
  459. r2 = 0x71b1a19b907d6e33 * r1;
  460. r3 = hi ^ r2_hi;
  461. I0924 12:42:56.193428 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  462. I0924 12:42:56.368277 3458926 main.cc:521] Better than baseline: 3737 4 10 31 3692
  463. r0 = lo * seed;
  464. r1 = hi * 0x71b1a19b907d6e33;
  465. r2 = r0 - r1;
  466. r3 = r2 rotate_left 11;
  467. I0924 12:43:01.294900 3458926 main.cc:545]
  468. r0 = lo + hi;
  469. r1 = seed * r0;
  470. r2 = 0x71b1a19b907d6e33 * r1;
  471. r3 = hi ^ r2_hi;
  472. I0924 12:43:01.294953 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  473. --
  474. r1 = seed * r0;
  475. r2 = 0x71b1a19b907d6e33 * r1;
  476. r3 = hi ^ r2_hi;
  477. I0924 12:46:04.076500 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  478. I0924 12:46:08.751843 3458926 main.cc:545]
  479. r0 = lo + hi;
  480. r1 = seed * r0;
  481. r2 = 0x71b1a19b907d6e33 * r1;
  482. r3 = hi ^ r2_hi;
  483. I0924 12:46:08.751887 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  484. I0924 12:46:11.342720 3458926 main.cc:521] Better than baseline: 3736 4 4 10 3718
  485. r0 = lo * seed;
  486. r1 = hi + r0;
  487. r2 = seed * r1;
  488. r3 = r1 + r2_hi;
  489. I0924 12:46:11.360436 3458926 main.cc:521] Better than baseline: 3726 4 4 25 3693
  490. r0 = lo * seed;
  491. r1 = hi + r0;
  492. r2 = seed * r1;
  493. r3 = hi + r2_hi;
  494. I0924 12:46:13.713547 3458926 main.cc:545]
  495. r0 = lo + hi;
  496. r1 = seed * r0;
  497. r2 = 0x71b1a19b907d6e33 * r1;
  498. r3 = hi ^ r2_hi;
  499. I0924 12:46:13.713585 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  500. I0924 12:46:15.299398 3458926 main.cc:521] Better than baseline: 3719 4 4 21 3690
  501. r0 = lo * seed;
  502. r1 = hi + r0;
  503. r2 = 0x71b1a19b907d6e33 * r1;
  504. r3 = r2 + r2_hi;
  505. I0924 12:46:15.325154 3458926 main.cc:521] Better than baseline: 3758 4 4 20 3730
  506. r0 = lo * seed;
  507. r1 = hi + r0;
  508. r2 = 0x71b1a19b907d6e33 * r1;
  509. r3 = hi + r2_hi;
  510. I0924 12:46:15.339502 3458926 main.cc:521] Better than baseline: 3742 4 4 23 3711
  511. r0 = lo * seed;
  512. r1 = hi + r0;
  513. r2 = 0x71b1a19b907d6e33 * r1;
  514. r3 = r2 - r2_hi;
  515. I0924 12:46:18.884004 3458926 main.cc:545]
  516. r0 = lo + hi;
  517. r1 = seed * r0;
  518. r2 = 0x71b1a19b907d6e33 * r1;
  519. r3 = hi ^ r2_hi;
  520. I0924 12:46:18.884041 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  521. --
  522. r1 = seed * r0;
  523. r2 = 0x71b1a19b907d6e33 * r1;
  524. r3 = hi ^ r2_hi;
  525. I0924 12:50:09.495607 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  526. I0924 12:50:14.227242 3458926 main.cc:545]
  527. r0 = lo + hi;
  528. r1 = seed * r0;
  529. r2 = 0x71b1a19b907d6e33 * r1;
  530. r3 = hi ^ r2_hi;
  531. I0924 12:50:14.227283 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  532. I0924 12:50:17.805465 3458926 main.cc:521] Better than baseline: 3734 3 3 31 3697
  533. r0 = hi + 0x71b1a19b907d6e33;
  534. r1 = lo - seed;
  535. r2 = r0 * r1;
  536. r3 = r2 - r2_hi;
  537. I0924 12:50:18.750421 3458926 main.cc:545]
  538. r0 = lo + hi;
  539. r1 = seed * r0;
  540. r2 = 0x71b1a19b907d6e33 * r1;
  541. r3 = hi ^ r2_hi;
  542. I0924 12:50:18.750477 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  543. --
  544. r1 = seed * r0;
  545. r2 = 0x71b1a19b907d6e33 * r1;
  546. r3 = hi ^ r2_hi;
  547. I0924 12:57:34.692374 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  548. I0924 12:57:39.541863 3458926 main.cc:545]
  549. r0 = lo + hi;
  550. r1 = seed * r0;
  551. r2 = 0x71b1a19b907d6e33 * r1;
  552. r3 = hi ^ r2_hi;
  553. I0924 12:57:39.541905 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  554. I0924 12:57:43.941596 3458926 main.cc:521] Better than baseline: 3739 4 21 42 3672
  555. r0 = hi * 0x71b1a19b907d6e33;
  556. r1 = lo ^ r0;
  557. r2 = seed * r1;
  558. r3 = r2 rotate_left 11;
  559. I0924 12:57:44.431450 3458926 main.cc:545]
  560. r0 = lo + hi;
  561. r1 = seed * r0;
  562. r2 = 0x71b1a19b907d6e33 * r1;
  563. r3 = hi ^ r2_hi;
  564. I0924 12:57:44.431490 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  565. --
  566. r1 = seed * r0;
  567. r2 = 0x71b1a19b907d6e33 * r1;
  568. r3 = hi ^ r2_hi;
  569. I0924 12:58:23.835123 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  570. I0924 12:58:28.862542 3458926 main.cc:545]
  571. r0 = lo + hi;
  572. r1 = seed * r0;
  573. r2 = 0x71b1a19b907d6e33 * r1;
  574. r3 = hi ^ r2_hi;
  575. I0924 12:58:28.862604 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  576. I0924 12:58:31.241571 3458926 main.cc:521] Better than baseline: 3739 4 10 31 3694
  577. r0 = hi * 0x71b1a19b907d6e33;
  578. r1 = lo * seed;
  579. r2 = r0 - r1;
  580. r3 = r2 rotate_left 11;
  581. I0924 12:58:33.965430 3458926 main.cc:545]
  582. r0 = lo + hi;
  583. r1 = seed * r0;
  584. r2 = 0x71b1a19b907d6e33 * r1;
  585. r3 = hi ^ r2_hi;
  586. I0924 12:58:33.965462 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
  587. I0924 12:58:36.229031 3458926 main.cc:521] Better than baseline: 3712 4 9 45 3654
  588. r0 = hi * 0x71b1a19b907d6e33;
  589. r1 = lo * seed;
  590. r2 = r0 ^ r1;
  591. r3 = r2 rotate_left 11;
  592. I0924 12:58:39.030015 3458926 main.cc:545]
  593. r0 = lo + hi;
  594. r1 = seed * r0;
  595. r2 = 0x71b1a19b907d6e33 * r1;
  596. r3 = hi ^ r2_hi;
  597. I0924 12:58:39.030059 3458926 main.cc:546] Pulse: 3678 4 4 18 3652
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!