Main Page

Source Files

Class Hierarchy

Alphabetical List

Compound List

Compound Members

File Members

Related Pages

Search for

---

libsrc/tumble.cxx File Reference

tumbler arithmetic routines More...

#include "udanax.h"

Include dependency graph for tumble.cxx:

Go to the source code of this file.

Functions
int	abscmp (Tumbler *aptr, Tumbler *bptr)
	???
bool	tumblereq (Tumbler *a, Tumbler *b)
	???
bool	tumbleraccounteq (Tumbler *aptr, Tumbler *bptr)
	???
int	tumblercmp (Tumbler *aptr, Tumbler *bptr)
	???
int	intervalcmp (Tumbler *left, Tumbler *right, Tumbler *address)
	???
bool	tumblercheckptr (Tumbler *ptr, int *crumptr)
	???
bool	tumblercheck (Tumbler *ptr)
	???
bool	is1story (Tumbler *tumblerptr)
	???
int	nstories (Tumbler *tumblerptr)
	???
int	tumblerlength (Tumbler *tumblerptr)
	???
int	lastdigitintumbler (Tumbler *tumblerptr)
	???
void	tumblerjustify (Tumbler *tumblerptr)
	???
void	partialtumblerjustify (Tumbler *tumblerptr)
void	tumblercopy (Tumbler *fromptr, Tumbler *toptr)
	???
void	tumblermax (Tumbler *aptr, Tumbler *bptr, Tumbler *cptr)
	???
void	functiontumbleradd (Tumbler *aptr, Tumbler *bptr, Tumbler *cptr)
	???
void	tumblersub (Tumbler *aptr, Tumbler *bptr, Tumbler *cptr)
	???
void	absadd (Tumbler *aptr, Tumbler *bptr, Tumbler *cptr)
	???
void	strongsub (Tumbler *aptr, Tumbler *bptr, Tumbler *cptr)
	???
void	weaksub (Tumbler *aptr, Tumbler *bptr, Tumbler *cptr)
	???
int	tumblerintdiff (Tumbler *aptr, Tumbler *bptr)
	???
void	tumblerincrement (Tumbler *aptr, int rightshift, int bint, Tumbler *cptr)
	???
void	tumblertruncate (Tumbler *aptr, int bint, Tumbler *cptr)
	???
void	prefixtumbler (Tumbler *aptr, int bint, Tumbler *cptr)
	???
void	beheadtumbler (Tumbler *aptr, Tumbler *bptr)
	???
void	docidandvstream2tumbler (Tumbler *docid, Tumbler *vstream, Tumbler *tumbleptr)
	???
Variables
Tumbler	ZEROTUMBLERvar

---

Detailed Description

tumbler arithmetic routines

(to be defined)

Definition in file tumble.cxx.

---

Function Documentation

void absadd (  Tumbler *  aptr, Tumbler *  bptr, Tumbler *  cptr )

??? (to be defined) Definition at line 665 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, movetumbler, NPLACES, Tumbler::sign, tdigit, Tumbler::varandnotfixed, and Tumbler::xvartumbler. Referenced by functiontumbleradd(). { int i, j; //UNUSED int place; int temp; tdigit *ansmant; tdigit *bmant, *amant; Tumbler answer; i = j = 0; amant = aptr->mantissa; bmant = bptr->mantissa; answer.xvartumbler = 0; answer.varandnotfixed = 0; answer.sign = 0; ansmant = answer.mantissa; if (aptr->exp == bptr->exp) { answer.exp = aptr->exp; ansmant[0] = amant[0] + bmant[0]; i = j = 1; } else if (aptr->exp > bptr->exp) { answer.exp = aptr->exp; temp = aptr->exp - bptr->exp; while (i < temp) { ansmant[j++] = amant[i++]; } ansmant[j++] = amant[i++] + bmant[0]; i = 1; } else { answer.exp = bptr->exp; temp = bptr->exp - aptr->exp; while (i <= temp) { ansmant[j++] = bmant[i++]; } } while (j <= NPLACES - 1) ansmant[j++] = bmant[i++]; movetumbler(&answer, cptr); }

int abscmp (  Tumbler *  aptr, Tumbler *  bptr )  [static]

??? (to be defined) Definition at line 183 of file tumble.cxx. References EQUAL, Tumbler::exp, GREATER, LESS, Tumbler::mantissa, and NPLACES. Referenced by functiontumbleradd(), and tumblercmp(). { int *a, *b; int i, cmp; if (aptr->exp != bptr->exp) { if (aptr->exp < bptr->exp) { return LESS; } else { return GREATER; } } else { a = (int *) aptr->mantissa; b = (int *) bptr->mantissa; for (i = NPLACES; i--;) { if (!(cmp = *a++ - *b++)) { } else if (cmp < 0) { return LESS; /* a < b */ } else { /* if (cmp > 0) */ return GREATER; } } } return EQUAL; }

void beheadtumbler (  Tumbler *  aptr, Tumbler *  bptr )

??? (to be defined) Definition at line 986 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, movetumbler, and tumblerjustify(). Referenced by findaddressofsecondcutforinsert(), finddocscontainingsp(), and sporglset2linksetinrange(). { Tumbler temp; movetumbler(aptr, &temp); ++temp.exp; if (aptr->exp == 0) temp.mantissa[0] = 0; tumblerjustify(&temp); movetumbler(&temp, bptr); }

void docidandvstream2tumbler (  Tumbler *  docid, Tumbler *  vstream, Tumbler *  tumbleptr )

??? (to be defined) Definition at line 1010 of file tumble.cxx. References Tumbler::mantissa, movetumbler, and NPLACES. Referenced by makespanpair(). { int i, j; movetumbler(docid, tumbleptr); for (i = NPLACES - 1; i >= 0; i--) { if (tumbleptr->mantissa[i]) { ++i; break; } } for (j = 0; i < NPLACES && j < NPLACES;) tumbleptr->mantissa[++i] = vstream->mantissa[j++]; }

void functiontumbleradd (  Tumbler *  aptr, Tumbler *  bptr, Tumbler *  cptr )

??? (to be defined) Definition at line 571 of file tumble.cxx. References absadd(), abscmp(), GREATER, iszerotumbler, Tumbler::mantissa, movetumbler, partialtumblerjustify(), Tumbler::sign, strongsub(), and weaksub(). { if (iszerotumbler(bptr)) { movetumbler(aptr, cptr); return; } else if (iszerotumbler(aptr)) { movetumbler(bptr, cptr); return; } else if (aptr->sign == bptr->sign) { absadd(aptr, bptr, cptr); cptr->sign = aptr->sign; /* absadd returns justified result so no need to justify */ /* I'm not so sure of the subtracts, they aren't used much */ /* * if(cptr->mantissa[0] == 0){ partialtumblerjustify (cptr); } */ } else if (abscmp(aptr, bptr) == GREATER) { strongsub(aptr, bptr, cptr); cptr->sign = aptr->sign; if (cptr->mantissa[0] == 0) { partialtumblerjustify(cptr); } } else { weaksub(bptr, aptr, cptr); cptr->sign = bptr->sign; if (cptr->mantissa[0] == 0) { partialtumblerjustify(cptr); } } /* tumblercheck (cptr); */ /* * if (cptr->sign) { L("TUMBLERADD NEGATIVE OUTPUT\n"); * dumptumbler(cptr); L("\n"); } */ }

int intervalcmp (  Tumbler *  left, Tumbler *  right, Tumbler *  address )

??? (to be defined) Definition at line 261 of file tumble.cxx. References EQUAL, LESS, ONMYLEFTBORDER, ONMYRIGHTBORDER, THRUME, TOMYLEFT, TOMYRIGHT, and tumblercmp(). Referenced by whereoncontext(), and whereoncrum(). { int cmp; cmp = tumblercmp(address, left); if (cmp == LESS) return TOMYLEFT; else if (cmp == EQUAL) return ONMYLEFTBORDER; cmp = tumblercmp(address, right); if (cmp == LESS) return THRUME; else if (cmp == EQUAL) return ONMYRIGHTBORDER; else return TOMYRIGHT; }

bool is1story (  Tumbler *  tumblerptr  )

??? (to be defined) Definition at line 386 of file tumble.cxx. References Tumbler::mantissa, and NPLACES. Referenced by istextcrum(), lockis1story(), retrievevspansetpm(), and slicecbcpm(). { int i; //assert( tumblercheck(tumblerptr) ); for (i = 1; i < NPLACES; i++) if (tumblerptr->mantissa[i] != 0) return false; return true; }

int lastdigitintumbler (  Tumbler *  tumblerptr  )

??? (to be defined) Definition at line 445 of file tumble.cxx. References Tumbler::mantissa, and nstories(). Referenced by widdiffs(). { int n, digit; n = nstories(tumblerptr); digit = tumblerptr->mantissa[n - 1]; return digit; }

int nstories (  Tumbler *  tumblerptr  )

??? (to be defined) Definition at line 407 of file tumble.cxx. References Tumbler::mantissa, and NPLACES. Referenced by dumpisagr(), lastdigitintumbler(), tumblerfixedtoptr(), and tumblerlength(). { int i; //assert( tumblercheck(tumblerptr) ); for (i = NPLACES; i > 0 && tumblerptr->mantissa[--i] == 0; ) ; return i + 1; }

void partialtumblerjustify (  Tumbler *  tumblerptr  )  [static]

Definition at line 496 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, NPLACES, Tumbler::sign, and tdigit. Referenced by functiontumbleradd(). { int i, j; int shift; tdigit *mantissaptr; mantissaptr = tumblerptr->mantissa; /* test commented out because is done before this routine is called for efficiency */ /* if (mantissaptr[0] != 0) { return; } */ for (shift = 0; mantissaptr[shift] == 0; ++shift) { if (shift == NPLACES - 1) { tumblerptr->exp = 0; tumblerptr->sign = 0; return; } } for (i = 0, j = shift; j < NPLACES;) mantissaptr[i++] = mantissaptr[j++]; while (i < NPLACES) mantissaptr[i++] = 0; tumblerptr->exp -= shift; //assert( tumblercheck(tumblerptr) ); }

void prefixtumbler (  Tumbler *  aptr, int  bint, Tumbler *  cptr )

??? (to be defined) Definition at line 953 of file tumble.cxx. References Tumbler::exp, iszerotumbler, Tumbler::mantissa, movetumbler, tumbleradd, and tumblerclear. Referenced by insertspanf(), and sporglset2linksetinrange(). { Tumbler temp1, temp2; tumblerclear(&temp1); temp1.mantissa[0] = bint; movetumbler(aptr, &temp2); if (!iszerotumbler(&temp2)) /* yuckh! */ temp2.exp -= 1; tumbleradd(&temp1, &temp2, cptr); }

void strongsub (  Tumbler *  aptr, Tumbler *  bptr, Tumbler *  cptr )

??? (to be defined) Definition at line 776 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, movetumbler, NPLACES, tumblerclear, and tumblereq(). Referenced by functiontumbleradd(). { Tumbler answer; int i, j; tumblerclear(&answer); if (tumblereq(aptr, bptr)) { movetumbler(&answer, cptr); return; } if (bptr->exp < aptr->exp) { movetumbler(aptr, cptr); return; } answer.exp = aptr->exp; for (i = 0; aptr->mantissa[i] == bptr->mantissa[i]; ++i) { --answer.exp; if (i >= NPLACES) { movetumbler(&answer, cptr); return; } } answer.mantissa[0] = aptr->mantissa[i] - bptr->mantissa[i]; if (++i >= NPLACES) { movetumbler(&answer, cptr); return; } for (j = 1; j < NPLACES && i < NPLACES;) answer.mantissa[j++] = aptr->mantissa[i++]; movetumbler(&answer, cptr); }

bool tumbleraccounteq (  Tumbler *  aptr, Tumbler *  bptr )

??? (to be defined) Definition at line 127 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, NPLACES, and Tumbler::sign. Referenced by docreatenewversion(), and isthisusersdocument(). { int i, j; if (aptr->exp != bptr->exp || aptr->sign != bptr->sign) return false; for (j = 0, i = 0; i < NPLACES; i++) { if (aptr->mantissa[i] != bptr->mantissa[i]) return false; if (aptr->mantissa[i] == 0 && ++j == 2) return true; } return true; }

bool tumblercheck (  Tumbler *  ptr  )

??? (to be defined) Definition at line 371 of file tumble.cxx. References NULL, and tumblercheckptr(). Referenced by puttumbler(). { return tumblercheckptr(ptr, (int *) NULL); }

bool tumblercheckptr (  Tumbler *  ptr, int *  crumptr )

??? (to be defined) Definition at line 294 of file tumble.cxx. References assert, dump(), dumptumbler(), dumpwholetree(), Tumbler::exp, L, Tumbler::mantissa, NPLACES, Tumbler::sign, and typecorecrum. Referenced by assertwidsarepositive(), newpeelcrumoffnd(), and tumblercheck(). { bool wrong; int i; wrong = false; if (ptr->exp > 0) { #ifndef DISTRIBUTION L("bad exp "); #endif wrong = true; } if (ptr->sign && ptr->mantissa[0] == 0) { #ifndef DISTRIBUTION L(" negative zero "); #endif wrong = true; } if (ptr->exp && ptr->mantissa[0] == 0) { #ifndef DISTRIBUTION L("fucked up non-normalized"); #endif wrong = true; } if (ptr->mantissa[0] == 0) { for (i = 1; i < NPLACES; ++i) { if (ptr->mantissa[i] != 0) { #ifndef DISTRIBUTION L("nonzerozerotumbler"); #endif wrong = true; } } } for (i = 0; i < NPLACES; ++i) { if ((int) (ptr->mantissa[i]) < 0) { #ifndef DISTRIBUTION L("negative digit"); #endif wrong = true; } } if (wrong) { #ifndef DISTRIBUTION dumptumbler(ptr); if (crumptr) { dump((typecorecrum *) crumptr); } L("\n\n invalid tumbler \n\n"); if (crumptr) { dumpwholetree((typecorecrum *) crumptr); } assert(0); // invalid tumbler #else assert(0); #endif return false; } return true; }

int tumblercmp (  Tumbler *  aptr, Tumbler *  bptr )

??? (to be defined) Definition at line 154 of file tumble.cxx. References abscmp(), EQUAL, GREATER, iszerotumbler, LESS, and Tumbler::sign. Referenced by comparecrumsdiagonally(), context2span(), context2vtext(), fetchorglgr(), findisatoinsertmolecule(), findnextaddressinvspace(), findnextlinkvsa(), findsontoinsertundernd(), findvsatoappend(), insertpm(), intervalcmp(), makegappm(), makeroomonleftnd(), makespanpairsforispan(), putvspaninlist(), removespansnotinoriginal(), retrieveinspan(), shellsort(), sortknives(), spanintersection(), splitcrumpm(), tumblermax(), and whereoncrum(). { if (iszerotumbler(aptr)) { if (iszerotumbler(bptr)) return EQUAL; else return (bptr->sign ? GREATER : LESS); } if (iszerotumbler(bptr)) return (aptr->sign ? LESS : GREATER); if (aptr->sign == bptr->sign) return (aptr->sign ? abscmp(bptr, aptr) : abscmp(aptr, bptr)); return (aptr->sign ? LESS : GREATER); }

void tumblercopy (  Tumbler *  fromptr, Tumbler *  toptr )

??? (to be defined) Definition at line 533 of file tumble.cxx. References movetumbler. Referenced by addtoopen(), docreatenode_or_account(), doopen(), insertnd(), klugefindisatoinsertnonmolecule(), and maxtextwid(). { /* movmem (fromptr, toptr, sizeof(tumbler)); */ movetumbler(fromptr, toptr); }

bool tumblereq (  Tumbler *  a, Tumbler *  b )

??? (to be defined) Definition at line 101 of file tumble.cxx. Referenced by checkforopen(), crumqualifies2d(), dumpgranfwids(), fetchorglgr(), findnextnlinksfromtothreesp(), incrementopen(), intersectlinksets(), isaexistsgr(), isanextensionnd(), isinlinklist(), lockeq(), logbertmodified(), main(), onlinklist(), removefromopen(), showgranwids(), sporglset2vspanset(), strongsub(), tumblersub(), and weaksub(). { char *aptr = (char *)a; /* char * for cheating in compare loop */ char *bptr = (char *)b; int i; /* return (tumblercmp (aptr, bptr) == EQUAL);// old safe & slow// */ /* could speed up by doing comparison directly or stealing from abscmp */ i = (int)aptr + sizeof(Tumbler); for (; ((int)aptr) < i;) { if (*aptr++ != *bptr++) return false; } return true; }

void tumblerincrement (  Tumbler *  aptr, int  rightshift, int  bint, Tumbler *  cptr )

??? (to be defined) Definition at line 880 of file tumble.cxx. References assert, dumptumbler(), Tumbler::exp, iszerotumbler, L, Tumbler::mantissa, movetumbler, NPLACES, tumblerclear, and tumblerjustify(). Referenced by context2span(), context2vtext(), fillupcbcseq(), findaddressofsecondcutforinsert(), finddocscontainingsp(), findisatoinsertmolecule(), findisatoinsertnonmolecule(), findlastisaincbcgr(), findnextlinkvsa(), findvsatoappend(), insertpm(), inserttextgr(), link2sporglset(), setlinkvsas(), and tumbler2spanset(). { int idx; if (iszerotumbler(aptr)) { tumblerclear(cptr); cptr->exp = -rightshift; cptr->mantissa[0] = bint; return; } if (aptr != cptr) movetumbler(aptr, cptr); for (idx = NPLACES; aptr->mantissa[--idx] == 0 && idx > 0;) ; if (idx + rightshift >= NPLACES) { #ifndef DISTRIBUTION dumptumbler(aptr); L(" idx = %d rightshift = %d\n", idx, rightshift); assert(0); // tumblerincrement overflow #else assert(0); #endif } cptr->mantissa[idx + rightshift] += bint; tumblerjustify(cptr); }

int tumblerintdiff (  Tumbler *  aptr, Tumbler *  bptr )

??? (to be defined) Definition at line 862 of file tumble.cxx. References Tumbler::mantissa, and tumblersub(). Referenced by context2span(), context2vtext(), findaddressofsecondcutforinsert(), and insertpm(). { Tumbler c; tumblersub(aptr, bptr, &c); return c.mantissa[0]; }

void tumblerjustify (  Tumbler *  tumblerptr  )

??? (to be defined) Definition at line 465 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, NPLACES, Tumbler::sign, and tdigit. Referenced by beheadtumbler(), findisatoinsertgr(), insertspanf(), retrievevspansetpm(), slicecbcpm(), tumblerincrement(), tumblersub(), and tumblertruncate(). { int i, j; int shift; tdigit *mantissaptr; mantissaptr = tumblerptr->mantissa; if (mantissaptr[0] != 0) return; for (shift = 0; mantissaptr[shift] == 0; ++shift) { if (shift == NPLACES - 1) { tumblerptr->exp = 0; tumblerptr->sign = 0; return; } } for (i = 0, j = shift; j < NPLACES;) mantissaptr[i++] = mantissaptr[j++]; while (i < NPLACES) mantissaptr[i++] = 0; tumblerptr->exp -= shift; //assert( tumblercheck(tumblerptr) ); }

int tumblerlength (  Tumbler *  tumblerptr  )

??? (to be defined) Definition at line 428 of file tumble.cxx. References Tumbler::exp, and nstories(). Referenced by findisatoinsertmolecule(), findisatoinsertnonmolecule(), insertpm(), slicecbcpm(), tumbler2spanset(), and tumblerfixedtoptr(). { return nstories(tumblerptr) - tumblerptr->exp; }

void tumblermax (  Tumbler *  aptr, Tumbler *  bptr, Tumbler *  cptr )

??? (to be defined) Definition at line 552 of file tumble.cxx. References GREATER, movetumbler, and tumblercmp(). Referenced by findnextaddressinvspace(), and maxtextwid(). { if (tumblercmp(aptr, bptr) == GREATER) movetumbler(aptr, cptr); else movetumbler(bptr, cptr); }

void tumblersub (  Tumbler *  aptr, Tumbler *  bptr, Tumbler *  cptr )

??? (to be defined) Definition at line 620 of file tumble.cxx. References iszerotumbler, movetumbler, Tumbler::sign, tumbleradd, tumblerclear, tumblereq(), and tumblerjustify(). Referenced by context2span(), deletend(), insertseq(), inserttextgr(), locksubtract(), makeoffsetsfor3or4cuts(), makeroomonleftnd(), makespanpairsforispan(), putvspaninlist(), slicecbcpm(), spanintersection(), and tumblerintdiff(). { Tumbler temp; /* * if(aptr->sign || bptr->sign) { L("TUMBLERSUB NEG IN \n"); * dumptumbler(aptr); L(" "); dumptumbler(bptr); * L("\n"); } */ if (iszerotumbler(bptr)) movetumbler(aptr, cptr); else if (tumblereq(aptr, bptr)) tumblerclear(cptr); else if (iszerotumbler(aptr)) { movetumbler(bptr, cptr); cptr->sign = !cptr->sign; } else { movetumbler(bptr, &temp); temp.sign = !temp.sign; tumbleradd(aptr, &temp, cptr); } tumblerjustify(cptr); /* tumblercheck (cptr); */ /* * if (cptr->sign) { L("TUMBLERSUB NEGATIVE OUTPUT\n"); * dumptumbler(cptr); L("\n"); } */ }

void tumblertruncate (  Tumbler *  aptr, int  bint, Tumbler *  cptr )

??? (to be defined) Definition at line 923 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, movetumbler, NPLACES, tumblerclear, and tumblerjustify(). Referenced by findisatoinsertnonmolecule(). { Tumbler answer; int i; movetumbler(aptr, &answer); for (i = answer.exp; i < 0 && bint > 0; ++i, --bint) ; if (bint <= 0) tumblerclear(&answer); else for (; bint < NPLACES; ++bint) answer.mantissa[bint] = 0; tumblerjustify(&answer); movetumbler(&answer, cptr); }

void weaksub (  Tumbler *  aptr, Tumbler *  bptr, Tumbler *  cptr )

??? (to be defined) Definition at line 824 of file tumble.cxx. References Tumbler::exp, Tumbler::mantissa, movetumbler, NPLACES, tumblerclear, and tumblereq(). Referenced by functiontumbleradd(). { Tumbler answer; int i; int expdiff; tumblerclear(&answer); if (tumblereq(aptr, bptr)) { movetumbler(&answer, cptr); return; } answer.exp = aptr->exp; expdiff = aptr->exp - bptr->exp; for (i = 0; i < expdiff; ++i) { answer.mantissa[i] = aptr->mantissa[i]; if (i >= NPLACES) { movetumbler(&answer, cptr); return; } } answer.mantissa[i] = aptr->mantissa[i] - bptr->mantissa[0]; movetumbler(&answer, cptr); }

---

Variable Documentation

Tumbler ZEROTUMBLERvar

Definition at line 87 of file tumble.cxx. Referenced by initsession().

---