vlrt.c 8.9 KB

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