test/rtest/semi.c

194      * Renormalise final result; this can be cunningly done by
261      * Renormalise final result; this can be cunningly done by
314      * we have to denormalise and round the result.
338          * underflowed result is not exact. */
388      * we have to denormalise and round the result.
409          * underflowed result is not exact. */
703     int result = 0;
710     if ((x[0] & 0x7fffffff) >= 0x7ff80000) result = -2;
711     else if ((x[0] & 0x7fffffff) > 0x7ff00000) result = -3;
712     else if (((x[0] & 0x7fffffff) == 0x7ff00000) && (x[1] != 0)) result = -3;
713     if ((y[0] & 0x7fffffff) >= 0x7ff80000 && result != -3) result = -2;
714     else if ((y[0] & 0x7fffffff) > 0x7ff00000) result = -3;
715     else if (((y[0] & 0x7fffffff) == 0x7ff00000) && (y[1] != 0)) result = -3;
716     if (result != 0) return result;
742     if ((x[0] & 0x7fffffff) < (y[0] & 0x7fffffff)) result = -1;
743     else if ((x[0] & 0x7fffffff) > (y[0] & 0x7fffffff)) result = 1;
744     else if (x[1] < y[1]) result = -1;
745     else if (x[1] > y[1]) result = 1;
746     else result = 0;
749      * Now we return the result - is x is positive (and therefore so is y) we
750      * return the plain result - otherwise we negate it and return.
752     if ((x[0] >> 31) == 0) return result;
753     else return -result;
763     int result = 0;
770     if ((x[0] & 0x7fffffff) >= 0x7fc00000) result = -2;
771     else if ((x[0] & 0x7fffffff) > 0x7f800000) result = -3;
772     if ((y[0] & 0x7fffffff) >= 0x7fc00000 && result != -3) result = -2;
773     else if ((y[0] & 0x7fffffff) > 0x7f800000) result = -3;
774     if (result != 0) return result;
799     if ((x[0] & 0x7fffffff) < (y[0] & 0x7fffffff)) result = -1;
800     else if ((x[0] & 0x7fffffff) > (y[0] & 0x7fffffff)) result = 1;
801     else result = 0;
804      * Now we return the result - is x is positive (and therefore so is y) we
805      * return the plain result - otherwise we negate it and return.
807     if ((x[0] >> 31) == 0) return result;
808     else return -result;
813     int result = fpcmp4(x, y);
814     *out = (result == 1);
815     return result == -3 ? "i" : NULL;
820     int result = fpcmp4(x, y);
821     *out = (result >= 0);
822     return result == -3 ? "i" : NULL;
827     int result = fpcmp4(x, y);
828     *out = (result == -1);
829     return result == -3 ? "i" : NULL;
834     int result = fpcmp4(x, y);
835     *out = (result == -1) || (result == 0);
836     return result == -3 ? "i" : NULL;
841     int result = fpcmp4(x, y);
842     *out = (result == -1) || (result == 1);
843     return result == -3 ? "i" : NULL;
849     int result = fpcmp4(x, y);
855     *out = (result == -2) || (result == -3);
856     return result == -3 ? "i" : NULL;
861     int result = fpcmp4f(x, y);
862     *out = (result == 1);
863     return result == -3 ? "i" : NULL;
868     int result = fpcmp4f(x, y);
869     *out = (result >= 0);
870     return result == -3 ? "i" : NULL;
875     int result = fpcmp4f(x, y);
876     *out = (result == -1);
877     return result == -3 ? "i" : NULL;
882     int result = fpcmp4f(x, y);
883     *out = (result == -1) || (result == 0);
884     return result == -3 ? "i" : NULL;
889     int result = fpcmp4f(x, y);
890     *out = (result == -1) || (result == 1);
891     return result == -3 ? "i" : NULL;
897     int result = fpcmp4f(x, y);
903     *out = (result == -2) || (result == -3);
904     return result == -3 ? "i" : NULL;