config/libbid/bid128_to_uint64.c

44      UINT256 fstar;
320 	fstar.w[3] = 0;
321 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
322 	fstar.w[1] = P256.w[1];
323 	fstar.w[0] = P256.w[0];
327 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
328 	fstar.w[2] = P256.w[2];
329 	fstar.w[1] = P256.w[1];
330 	fstar.w[0] = P256.w[0];
356       if ((fstar.w[3] == 0) && (fstar.w[2] == 0)
357 	  && (fstar.w[1] || fstar.w[0])
358 	  && (fstar.w[1] < ten2mk128trunc[ind - 1].w[1]
359 	      || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
360 		  && fstar.w[0] <= ten2mk128trunc[ind - 1].w[0]))) {
401      UINT256 fstar;
683 	fstar.w[3] = 0;
684 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
685 	fstar.w[1] = P256.w[1];
686 	fstar.w[0] = P256.w[0];
690 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
691 	fstar.w[2] = P256.w[2];
692 	fstar.w[1] = P256.w[1];
693 	fstar.w[0] = P256.w[0];
722 	if (fstar.w[1] > 0x8000000000000000ull ||
723 	    (fstar.w[1] == 0x8000000000000000ull
724 	     && fstar.w[0] > 0x0ull)) {
726 	  tmp64 = fstar.w[1] - 0x8000000000000000ull;	// f* - 1/2
729 		  && fstar.w[0] >= ten2mk128trunc[ind - 1].w[0])) {
738 	if (fstar.w[3] > 0x0 ||
739 	    (fstar.w[3] == 0x0 && fstar.w[2] > onehalf128[ind - 1]) ||
740 	    (fstar.w[3] == 0x0 && fstar.w[2] == onehalf128[ind - 1] &&
741 	     (fstar.w[1] || fstar.w[0]))) {
744 	  tmp64 = fstar.w[2] - onehalf128[ind - 1];
745 	  tmp64A = fstar.w[3];
746 	  if (tmp64 > fstar.w[2])
749 	      || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
750 	      || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
751 		  && fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
760 	if (fstar.w[3] > onehalf128[ind - 1] ||
761 	    (fstar.w[3] == onehalf128[ind - 1] &&
762 	     (fstar.w[2] || fstar.w[1] || fstar.w[0]))) {
765 	  tmp64 = fstar.w[3] - onehalf128[ind - 1];
766 	  if (tmp64 || fstar.w[2]
767 	      || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
768 	      || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
769 		  && fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
782       if ((fstar.w[3] == 0) && (fstar.w[2] == 0)
783 	  && (fstar.w[1] || fstar.w[0])
784 	  && (fstar.w[1] < ten2mk128trunc[ind - 1].w[1]
785 	      || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
786 		  && fstar.w[0] <= ten2mk128trunc[ind - 1].w[0]))) {
1081      UINT256 fstar;
1287 	fstar.w[3] = 0;
1288 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
1289 	fstar.w[1] = P256.w[1];
1290 	fstar.w[0] = P256.w[0];
1294 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
1295 	fstar.w[2] = P256.w[2];
1296 	fstar.w[1] = P256.w[1];
1297 	fstar.w[0] = P256.w[0];
1320 	if (fstar.w[1] > ten2mk128trunc[ind - 1].w[1] ||
1321 	    (fstar.w[1] == ten2mk128trunc[ind - 1].w[1] &&
1322 	     fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1327 	if (fstar.w[2] || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1328 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1329 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1334 	if (fstar.w[3] || fstar.w[2]
1335 	    || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1336 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1337 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1376      UINT256 fstar;
1610 	fstar.w[3] = 0;
1611 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
1612 	fstar.w[1] = P256.w[1];
1613 	fstar.w[0] = P256.w[0];
1617 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
1618 	fstar.w[2] = P256.w[2];
1619 	fstar.w[1] = P256.w[1];
1620 	fstar.w[0] = P256.w[0];
1645 	if (fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1646 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1647 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1655 	if (fstar.w[2] || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1656 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1657 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1665 	if (fstar.w[3] || fstar.w[2]
1666 	    || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1667 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1668 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1710      UINT256 fstar;
1946 	fstar.w[3] = 0;
1947 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
1948 	fstar.w[1] = P256.w[1];
1949 	fstar.w[0] = P256.w[0];
1953 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
1954 	fstar.w[2] = P256.w[2];
1955 	fstar.w[1] = P256.w[1];
1956 	fstar.w[0] = P256.w[0];
1981 	if (fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1982 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1983 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
1993 	if (fstar.w[2] || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
1994 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
1995 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
2005 	if (fstar.w[3] || fstar.w[2]
2006 	    || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
2007 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
2008 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
2337      UINT256 fstar;
2572 	fstar.w[3] = 0;
2573 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
2574 	fstar.w[1] = P256.w[1];
2575 	fstar.w[0] = P256.w[0];
2579 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
2580 	fstar.w[2] = P256.w[2];
2581 	fstar.w[1] = P256.w[1];
2582 	fstar.w[0] = P256.w[0];
2605 	if (fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
2606 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
2607 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
2612 	if (fstar.w[2] || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
2613 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
2614 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
2619 	if (fstar.w[3] || fstar.w[2]
2620 	    || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
2621 	    || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
2622 		&& fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
3003      UINT256 fstar;
3290 	fstar.w[3] = 0;
3291 	fstar.w[2] = P256.w[2] & maskhigh128[ind - 1];
3292 	fstar.w[1] = P256.w[1];
3293 	fstar.w[0] = P256.w[0];
3297 	fstar.w[3] = P256.w[3] & maskhigh128[ind - 1];
3298 	fstar.w[2] = P256.w[2];
3299 	fstar.w[1] = P256.w[1];
3300 	fstar.w[0] = P256.w[0];
3329 	if (fstar.w[1] > 0x8000000000000000ull ||
3330 	    (fstar.w[1] == 0x8000000000000000ull
3331 	     && fstar.w[0] > 0x0ull)) {
3333 	  tmp64 = fstar.w[1] - 0x8000000000000000ull;	// f* - 1/2
3336 		  && fstar.w[0] >= ten2mk128trunc[ind - 1].w[0])) {
3345 	if (fstar.w[3] > 0x0 ||
3346 	    (fstar.w[3] == 0x0 && fstar.w[2] > onehalf128[ind - 1]) ||
3347 	    (fstar.w[3] == 0x0 && fstar.w[2] == onehalf128[ind - 1] &&
3348 	     (fstar.w[1] || fstar.w[0]))) {
3351 	  tmp64 = fstar.w[2] - onehalf128[ind - 1];
3352 	  tmp64A = fstar.w[3];
3353 	  if (tmp64 > fstar.w[2])
3356 	      || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
3357 	      || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
3358 		  && fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {
3367 	if (fstar.w[3] > onehalf128[ind - 1] ||
3368 	    (fstar.w[3] == onehalf128[ind - 1] &&
3369 	     (fstar.w[2] || fstar.w[1] || fstar.w[0]))) {
3372 	  tmp64 = fstar.w[3] - onehalf128[ind - 1];
3373 	  if (tmp64 || fstar.w[2]
3374 	      || fstar.w[1] > ten2mk128trunc[ind - 1].w[1]
3375 	      || (fstar.w[1] == ten2mk128trunc[ind - 1].w[1]
3376 		  && fstar.w[0] > ten2mk128trunc[ind - 1].w[0])) {