vlrt.c 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706
  1. typedef unsigned long ulong;
  2. typedef unsigned int uint;
  3. typedef unsigned short ushort;
  4. typedef unsigned char uchar;
  5. typedef signed char schar;
  6. #define SIGN(n) (1UL<<(n-1))
  7. typedef struct Vlong Vlong;
  8. struct Vlong
  9. {
  10. ulong lo;
  11. ulong hi;
  12. };
  13. void abort(void);
  14. void
  15. _addv(Vlong *r, Vlong a, Vlong b)
  16. {
  17. ulong lo, hi;
  18. lo = a.lo + b.lo;
  19. hi = a.hi + b.hi;
  20. if(lo < a.lo)
  21. hi++;
  22. r->lo = lo;
  23. r->hi = hi;
  24. }
  25. void
  26. _subv(Vlong *r, Vlong a, Vlong b)
  27. {
  28. ulong lo, hi;
  29. lo = a.lo - b.lo;
  30. hi = a.hi - b.hi;
  31. if(lo > a.lo)
  32. hi--;
  33. r->lo = lo;
  34. r->hi = hi;
  35. }
  36. void
  37. _d2v(Vlong *y, double d)
  38. {
  39. union { double d; struct Vlong; } x;
  40. ulong xhi, xlo, ylo, yhi;
  41. int sh;
  42. x.d = d;
  43. xhi = (x.hi & 0xfffff) | 0x100000;
  44. xlo = x.lo;
  45. sh = 1075 - ((x.hi >> 20) & 0x7ff);
  46. ylo = 0;
  47. yhi = 0;
  48. if(sh >= 0) {
  49. /* v = (hi||lo) >> sh */
  50. if(sh < 32) {
  51. if(sh == 0) {
  52. ylo = xlo;
  53. yhi = xhi;
  54. } else {
  55. ylo = (xlo >> sh) | (xhi << (32-sh));
  56. yhi = xhi >> sh;
  57. }
  58. } else {
  59. if(sh == 32) {
  60. ylo = xhi;
  61. } else
  62. if(sh < 64) {
  63. ylo = xhi >> (sh-32);
  64. }
  65. }
  66. } else {
  67. /* v = (hi||lo) << -sh */
  68. sh = -sh;
  69. if(sh <= 10) {
  70. ylo = xlo << sh;
  71. yhi = (xhi << sh) | (xlo >> (32-sh));
  72. } else {
  73. /* overflow */
  74. yhi = d; /* causes something awful */
  75. }
  76. }
  77. if(x.hi & SIGN(32)) {
  78. if(ylo != 0) {
  79. ylo = -ylo;
  80. yhi = ~yhi;
  81. } else
  82. yhi = -yhi;
  83. }
  84. y->hi = yhi;
  85. y->lo = ylo;
  86. }
  87. void
  88. _f2v(Vlong *y, float f)
  89. {
  90. _d2v(y, f);
  91. }
  92. double
  93. _v2d(Vlong x)
  94. {
  95. if(x.hi & SIGN(32)) {
  96. if(x.lo) {
  97. x.lo = -x.lo;
  98. x.hi = ~x.hi;
  99. } else
  100. x.hi = -x.hi;
  101. return -((long)x.hi*4294967296. + x.lo);
  102. }
  103. return (long)x.hi*4294967296. + x.lo;
  104. }
  105. float
  106. _v2f(Vlong x)
  107. {
  108. return _v2d(x);
  109. }
  110. static void
  111. dodiv(Vlong num, Vlong den, Vlong *q, Vlong *r)
  112. {
  113. ulong numlo, numhi, denhi, denlo, quohi, quolo, t;
  114. int i;
  115. numhi = num.hi;
  116. numlo = num.lo;
  117. denhi = den.hi;
  118. denlo = den.lo;
  119. /*
  120. * get a divide by zero
  121. */
  122. if(denlo==0 && denhi==0) {
  123. numlo = numlo / denlo;
  124. }
  125. /*
  126. * set up the divisor and find the number of iterations needed
  127. */
  128. if(numhi >= SIGN(32)) {
  129. quohi = SIGN(32);
  130. quolo = 0;
  131. } else {
  132. quohi = numhi;
  133. quolo = numlo;
  134. }
  135. i = 0;
  136. while(denhi < quohi || (denhi == quohi && denlo < quolo)) {
  137. denhi = (denhi<<1) | (denlo>>31);
  138. denlo <<= 1;
  139. i++;
  140. }
  141. quohi = 0;
  142. quolo = 0;
  143. for(; i >= 0; i--) {
  144. quohi = (quohi<<1) | (quolo>>31);
  145. quolo <<= 1;
  146. if(numhi > denhi || (numhi == denhi && numlo >= denlo)) {
  147. t = numlo;
  148. numlo -= denlo;
  149. if(numlo > t)
  150. numhi--;
  151. numhi -= denhi;
  152. quolo |= 1;
  153. }
  154. denlo = (denlo>>1) | (denhi<<31);
  155. denhi >>= 1;
  156. }
  157. if(q) {
  158. q->lo = quolo;
  159. q->hi = quohi;
  160. }
  161. if(r) {
  162. r->lo = numlo;
  163. r->hi = numhi;
  164. }
  165. }
  166. void
  167. _divvu(Vlong *q, Vlong n, Vlong d)
  168. {
  169. if(n.hi == 0 && d.hi == 0) {
  170. q->hi = 0;
  171. q->lo = n.lo / d.lo;
  172. return;
  173. }
  174. dodiv(n, d, q, 0);
  175. }
  176. void
  177. _modvu(Vlong *r, Vlong n, Vlong d)
  178. {
  179. if(n.hi == 0 && d.hi == 0) {
  180. r->hi = 0;
  181. r->lo = n.lo % d.lo;
  182. return;
  183. }
  184. dodiv(n, d, 0, r);
  185. }
  186. static void
  187. vneg(Vlong *v)
  188. {
  189. if(v->lo == 0) {
  190. v->hi = -v->hi;
  191. return;
  192. }
  193. v->lo = -v->lo;
  194. v->hi = ~v->hi;
  195. }
  196. void
  197. _divv(Vlong *q, Vlong n, Vlong d)
  198. {
  199. long nneg, dneg;
  200. if(n.hi == (((long)n.lo)>>31) && d.hi == (((long)d.lo)>>31)) {
  201. q->lo = (long)n.lo / (long)d.lo;
  202. q->hi = ((long)q->lo) >> 31;
  203. return;
  204. }
  205. nneg = n.hi >> 31;
  206. if(nneg)
  207. vneg(&n);
  208. dneg = d.hi >> 31;
  209. if(dneg)
  210. vneg(&d);
  211. dodiv(n, d, q, 0);
  212. if(nneg != dneg)
  213. vneg(q);
  214. }
  215. void
  216. _modv(Vlong *r, Vlong n, Vlong d)
  217. {
  218. long nneg, dneg;
  219. if(n.hi == (((long)n.lo)>>31) && d.hi == (((long)d.lo)>>31)) {
  220. r->lo = (long)n.lo % (long)d.lo;
  221. r->hi = ((long)r->lo) >> 31;
  222. return;
  223. }
  224. nneg = n.hi >> 31;
  225. if(nneg)
  226. vneg(&n);
  227. dneg = d.hi >> 31;
  228. if(dneg)
  229. vneg(&d);
  230. dodiv(n, d, 0, r);
  231. if(nneg)
  232. vneg(r);
  233. }
  234. void
  235. _rshav(Vlong *r, Vlong a, int b)
  236. {
  237. long t;
  238. t = a.hi;
  239. if(b >= 32) {
  240. r->hi = t>>31;
  241. if(b >= 64) {
  242. /* this is illegal re C standard */
  243. r->lo = t>>31;
  244. return;
  245. }
  246. r->lo = t >> (b-32);
  247. return;
  248. }
  249. if(b <= 0) {
  250. r->hi = t;
  251. r->lo = a.lo;
  252. return;
  253. }
  254. r->hi = t >> b;
  255. r->lo = (t << (32-b)) | (a.lo >> b);
  256. }
  257. void
  258. _rshlv(Vlong *r, Vlong a, int b)
  259. {
  260. ulong t;
  261. t = a.hi;
  262. if(b >= 32) {
  263. r->hi = 0;
  264. if(b >= 64) {
  265. /* this is illegal re C standard */
  266. r->lo = 0;
  267. return;
  268. }
  269. r->lo = t >> (b-32);
  270. return;
  271. }
  272. if(b <= 0) {
  273. r->hi = t;
  274. r->lo = a.lo;
  275. return;
  276. }
  277. r->hi = t >> b;
  278. r->lo = (t << (32-b)) | (a.lo >> b);
  279. }
  280. void
  281. _lshv(Vlong *r, Vlong a, int b)
  282. {
  283. ulong t;
  284. t = a.lo;
  285. if(b >= 32) {
  286. r->lo = 0;
  287. if(b >= 64) {
  288. /* this is illegal re C standard */
  289. r->hi = 0;
  290. return;
  291. }
  292. r->hi = t << (b-32);
  293. return;
  294. }
  295. if(b <= 0) {
  296. r->lo = t;
  297. r->hi = a.hi;
  298. return;
  299. }
  300. r->lo = t << b;
  301. r->hi = (t >> (32-b)) | (a.hi << b);
  302. }
  303. void
  304. _andv(Vlong *r, Vlong a, Vlong b)
  305. {
  306. r->hi = a.hi & b.hi;
  307. r->lo = a.lo & b.lo;
  308. }
  309. void
  310. _orv(Vlong *r, Vlong a, Vlong b)
  311. {
  312. r->hi = a.hi | b.hi;
  313. r->lo = a.lo | b.lo;
  314. }
  315. void
  316. _xorv(Vlong *r, Vlong a, Vlong b)
  317. {
  318. r->hi = a.hi ^ b.hi;
  319. r->lo = a.lo ^ b.lo;
  320. }
  321. void
  322. _vpp(Vlong *l, Vlong *r)
  323. {
  324. l->hi = r->hi;
  325. l->lo = r->lo;
  326. r->lo++;
  327. if(r->lo == 0)
  328. r->hi++;
  329. }
  330. void
  331. _vmm(Vlong *l, Vlong *r)
  332. {
  333. l->hi = r->hi;
  334. l->lo = r->lo;
  335. if(r->lo == 0)
  336. r->hi--;
  337. r->lo--;
  338. }
  339. void
  340. _ppv(Vlong *l, Vlong *r)
  341. {
  342. r->lo++;
  343. if(r->lo == 0)
  344. r->hi++;
  345. l->hi = r->hi;
  346. l->lo = r->lo;
  347. }
  348. void
  349. _mmv(Vlong *l, Vlong *r)
  350. {
  351. if(r->lo == 0)
  352. r->hi--;
  353. r->lo--;
  354. l->hi = r->hi;
  355. l->lo = r->lo;
  356. }
  357. void
  358. _vasop(Vlong *ret, void *lv, void fn(Vlong*, Vlong, Vlong), int type, Vlong rv)
  359. {
  360. Vlong t, u;
  361. u = *ret;
  362. switch(type) {
  363. default:
  364. abort();
  365. break;
  366. case 1: /* schar */
  367. t.lo = *(schar*)lv;
  368. t.hi = t.lo >> 31;
  369. fn(&u, t, rv);
  370. *(schar*)lv = u.lo;
  371. break;
  372. case 2: /* uchar */
  373. t.lo = *(uchar*)lv;
  374. t.hi = 0;
  375. fn(&u, t, rv);
  376. *(uchar*)lv = u.lo;
  377. break;
  378. case 3: /* short */
  379. t.lo = *(short*)lv;
  380. t.hi = t.lo >> 31;
  381. fn(&u, t, rv);
  382. *(short*)lv = u.lo;
  383. break;
  384. case 4: /* ushort */
  385. t.lo = *(ushort*)lv;
  386. t.hi = 0;
  387. fn(&u, t, rv);
  388. *(ushort*)lv = u.lo;
  389. break;
  390. case 9: /* int */
  391. t.lo = *(int*)lv;
  392. t.hi = t.lo >> 31;
  393. fn(&u, t, rv);
  394. *(int*)lv = u.lo;
  395. break;
  396. case 10: /* uint */
  397. t.lo = *(uint*)lv;
  398. t.hi = 0;
  399. fn(&u, t, rv);
  400. *(uint*)lv = u.lo;
  401. break;
  402. case 5: /* long */
  403. t.lo = *(long*)lv;
  404. t.hi = t.lo >> 31;
  405. fn(&u, t, rv);
  406. *(long*)lv = u.lo;
  407. break;
  408. case 6: /* ulong */
  409. t.lo = *(ulong*)lv;
  410. t.hi = 0;
  411. fn(&u, t, rv);
  412. *(ulong*)lv = u.lo;
  413. break;
  414. case 7: /* vlong */
  415. case 8: /* uvlong */
  416. fn(&u, *(Vlong*)lv, rv);
  417. *(Vlong*)lv = u;
  418. break;
  419. }
  420. *ret = u;
  421. }
  422. void
  423. _p2v(Vlong *ret, void *p)
  424. {
  425. long t;
  426. t = (ulong)p;
  427. ret->lo = t;
  428. ret->hi = 0;
  429. }
  430. void
  431. _sl2v(Vlong *ret, long sl)
  432. {
  433. long t;
  434. t = sl;
  435. ret->lo = t;
  436. ret->hi = t >> 31;
  437. }
  438. void
  439. _ul2v(Vlong *ret, ulong ul)
  440. {
  441. long t;
  442. t = ul;
  443. ret->lo = t;
  444. ret->hi = 0;
  445. }
  446. void
  447. _si2v(Vlong *ret, int si)
  448. {
  449. long t;
  450. t = si;
  451. ret->lo = t;
  452. ret->hi = t >> 31;
  453. }
  454. void
  455. _ui2v(Vlong *ret, uint ui)
  456. {
  457. long t;
  458. t = ui;
  459. ret->lo = t;
  460. ret->hi = 0;
  461. }
  462. void
  463. _sh2v(Vlong *ret, long sh)
  464. {
  465. long t;
  466. t = (sh << 16) >> 16;
  467. ret->lo = t;
  468. ret->hi = t >> 31;
  469. }
  470. void
  471. _uh2v(Vlong *ret, ulong ul)
  472. {
  473. long t;
  474. t = ul & 0xffff;
  475. ret->lo = t;
  476. ret->hi = 0;
  477. }
  478. void
  479. _sc2v(Vlong *ret, long uc)
  480. {
  481. long t;
  482. t = (uc << 24) >> 24;
  483. ret->lo = t;
  484. ret->hi = t >> 31;
  485. }
  486. void
  487. _uc2v(Vlong *ret, ulong ul)
  488. {
  489. long t;
  490. t = ul & 0xff;
  491. ret->lo = t;
  492. ret->hi = 0;
  493. }
  494. long
  495. _v2sc(Vlong rv)
  496. {
  497. long t;
  498. t = rv.lo & 0xff;
  499. return (t << 24) >> 24;
  500. }
  501. long
  502. _v2uc(Vlong rv)
  503. {
  504. return rv.lo & 0xff;
  505. }
  506. long
  507. _v2sh(Vlong rv)
  508. {
  509. long t;
  510. t = rv.lo & 0xffff;
  511. return (t << 16) >> 16;
  512. }
  513. long
  514. _v2uh(Vlong rv)
  515. {
  516. return rv.lo & 0xffff;
  517. }
  518. long
  519. _v2sl(Vlong rv)
  520. {
  521. return rv.lo;
  522. }
  523. long
  524. _v2ul(Vlong rv)
  525. {
  526. return rv.lo;
  527. }
  528. long
  529. _v2si(Vlong rv)
  530. {
  531. return rv.lo;
  532. }
  533. long
  534. _v2ui(Vlong rv)
  535. {
  536. return rv.lo;
  537. }
  538. int
  539. _testv(Vlong rv)
  540. {
  541. return rv.lo || rv.hi;
  542. }
  543. int
  544. _eqv(Vlong lv, Vlong rv)
  545. {
  546. return lv.lo == rv.lo && lv.hi == rv.hi;
  547. }
  548. int
  549. _nev(Vlong lv, Vlong rv)
  550. {
  551. return lv.lo != rv.lo || lv.hi != rv.hi;
  552. }
  553. int
  554. _ltv(Vlong lv, Vlong rv)
  555. {
  556. return (long)lv.hi < (long)rv.hi ||
  557. (lv.hi == rv.hi && lv.lo < rv.lo);
  558. }
  559. int
  560. _lev(Vlong lv, Vlong rv)
  561. {
  562. return (long)lv.hi < (long)rv.hi ||
  563. (lv.hi == rv.hi && lv.lo <= rv.lo);
  564. }
  565. int
  566. _gtv(Vlong lv, Vlong rv)
  567. {
  568. return (long)lv.hi > (long)rv.hi ||
  569. (lv.hi == rv.hi && lv.lo > rv.lo);
  570. }
  571. int
  572. _gev(Vlong lv, Vlong rv)
  573. {
  574. return (long)lv.hi > (long)rv.hi ||
  575. (lv.hi == rv.hi && lv.lo >= rv.lo);
  576. }
  577. int
  578. _lov(Vlong lv, Vlong rv)
  579. {
  580. return lv.hi < rv.hi ||
  581. (lv.hi == rv.hi && lv.lo < rv.lo);
  582. }
  583. int
  584. _lsv(Vlong lv, Vlong rv)
  585. {
  586. return lv.hi < rv.hi ||
  587. (lv.hi == rv.hi && lv.lo <= rv.lo);
  588. }
  589. int
  590. _hiv(Vlong lv, Vlong rv)
  591. {
  592. return lv.hi > rv.hi ||
  593. (lv.hi == rv.hi && lv.lo > rv.lo);
  594. }
  595. int
  596. _hsv(Vlong lv, Vlong rv)
  597. {
  598. return lv.hi > rv.hi ||
  599. (lv.hi == rv.hi && lv.lo >= rv.lo);
  600. }