• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/

Lines Matching refs:v1

756 _compare_big(value v1, value v2)
760 Big_To_Mpi(v1.ptr, &a);
767 _arith_compare_big(value v1, value v2, int *res)
771 Big_To_Mpi(v1.ptr, &a);
790 _copy_size_big(value v1, type t1)
792 return BufferPwords(v1.ptr) * sizeof(pword);
798 _copy_heap_big(value v1, type t1, pword *top, pword *dest)
805 arity = BufferPwords(v1.ptr);
806 pw = v1.ptr;
956 _compare_rat(value v1, value v2)
960 Rat_To_Mpr(v1.ptr, &a);
967 _arith_compare_rat(value v1, value v2, int *res)
971 Rat_To_Mpr(v1.ptr, &a);
990 _copy_size_rat(value v1, type t1)
992 return _copy_size_big(v1.ptr[0].val, v1.ptr[0].tag)
993 + _copy_size_big(v1.ptr[1].val, v1.ptr[1].tag)
999 _copy_heap_rat(value v1, type t1, pword *top, pword *dest)
1005 top = _copy_heap_big(v1.ptr[0].val, v1.ptr[0].tag, top, dest);
1007 top = _copy_heap_big(v1.ptr[1].val, v1.ptr[1].tag, top, dest);
1227 _big_nop(value v1, pword *pres)
1229 Make_Big(pres, v1.ptr);
1234 _big_add(value v1, value v2, pword *pres)
1238 Big_To_Mpi(v1.ptr, &a);
1246 _big_next(value v1, pword *pres)
1249 if (BigNegative(v1.ptr)) {
1253 Big_To_Mpi(v1.ptr, &a);
1260 _big_prev(value v1, pword *pres)
1263 if (BigNegative(v1.ptr) /*|| BigZero(v1.ptr)*/) {
1267 Big_To_Mpi(v1.ptr, &a);
1274 _big_sub(value v1, value v2, pword *pres)
1278 Big_To_Mpi(v1.ptr, &a);
1286 _big_mul(value v1, value v2, pword *pres)
1290 Big_To_Mpi(v1.ptr, &a);
1298 _big_idiv(value v1, value v2, pword *pres)
1304 Big_To_Mpi(v1.ptr, &a);
1312 _big_rem(value v1, value v2, pword *pres)
1318 Big_To_Mpi(v1.ptr, &a);
1326 _big_floordiv(value v1, value v2, pword *pres)
1332 Big_To_Mpi(v1.ptr, &a);
1340 _big_floorrem(value v1, value v2, pword *pres)
1344 Normalize_Big(pres, v1.ptr);
1348 Big_To_Mpi(v1.ptr, &a);
1356 _big_pow(value v1, value v2, pword *pres)
1360 Big_To_Mpi(v1.ptr, &a);
1380 _big_min(value v1, /* CAUTION: One of the inputs may be unnormalized */
1385 Big_To_Mpi(v1.ptr, &a);
1387 pres->val.ptr = mpz_cmp(&a, &b) < 0 ? v1.ptr : v2.ptr;
1393 _big_max(value v1, /* CAUTION: One of the inputs may be unnormalized */
1398 Big_To_Mpi(v1.ptr, &a);
1400 pres->val.ptr = mpz_cmp(&a, &b) > 0 ? v1.ptr : v2.ptr;
1406 _big_neg(value v1, /* can't be zero */
1410 if (BigPosMin(v1.ptr)) {
1413 Duplicate_Buffer(v1.ptr, pw);
1421 _big_abs(value v1, pword *pres)
1423 if (BigNegative(v1.ptr))
1425 return _big_neg(v1, pres);
1427 Make_Big(pres, v1.ptr);
1432 _big_sgn(value v1, /* can't be zero */
1435 Make_Integer(pres, BigNegative(v1.ptr) ? -1: 1);
1440 _big_and(value v1, value v2, pword *pres)
1444 Big_To_Mpi(v1.ptr, &a);
1452 _big_or(value v1, value v2, pword *pres)
1456 Big_To_Mpi(v1.ptr, &a);
1464 _big_xor(value v1, value v2, pword *pres)
1471 Big_To_Mpi(v1.ptr, &a);
1480 _big_com(value v1, pword *pres)
1484 Big_To_Mpi(v1.ptr, &a);
1491 _big_shl(value v1, value v2, pword *pres) /* big x int -> big */
1495 Big_To_Mpi(v1.ptr, &a);
1509 _big_shr(value v1, value v2, pword *pres) /* big x int -> big */
1513 Big_To_Mpi(v1.ptr, &a);
1527 _big_setbit(value v1, value v2, pword *pres) /* big x int -> big */
1530 Big_To_Mpi(v1.ptr, &a);
1538 _big_clrbit(value v1, value v2, pword *pres) /* big x int -> big */
1541 Big_To_Mpi(v1.ptr, &a);
1549 _big_getbit(value v1, value v2, pword *pres) /* big x int -> int */
1552 if (BigNegative(v1.ptr))
1554 Big_To_Mpi(v1.ptr, &a);
1560 _big_gcd(value v1, value v2, pword *pres)
1564 Big_To_Mpi(v1.ptr, &a);
1572 _big_gcd_ext(value v1, value v2, pword *ps, pword *pt, pword *pg)
1578 Big_To_Mpi(v1.ptr, &a);
1591 _big_lcm(value v1, value v2, pword *pres)
1595 Big_To_Mpi(v1.ptr, &a);
1617 _big_atan2(value v1, value v2, pword *pres)
1620 Big_To_Mpi(v1.ptr, &a);
1632 _int_neg(value v1, pword *pres)
1634 if (v1.nint == MIN_S_WORD)
1641 Make_Integer(pres, -v1.nint);
1674 _dbl_fix(value v1, pword *pres)
1676 double f = Dbl(v1);
1682 _dbl_int2(value v1, pword *pres)
1685 double fpart = modf(Dbl(v1), &ipart);
1723 _rat_nop(value v1, pword *pres)
1725 Make_Rat(pres, v1.ptr);
1730 _rat_neg(value v1, pword *pres)
1732 if (RatZero(v1.ptr))
1734 Make_Rat(pres, v1.ptr);
1741 Push_Big_Copy(Numer(v1.ptr)->val.ptr);
1743 Make_Big(Denom(pw), Denom(v1.ptr)->val.ptr);
1750 _rat_abs(value v1, pword *pres)
1752 if (RatNegative(v1.ptr))
1754 return _rat_neg(v1, pres);
1756 Make_Rat(pres, v1.ptr);
1761 _rat_sgn(value v1, pword *pres)
1763 Make_Integer(pres, RatNegative(v1.ptr) ? -1: RatZero(v1.ptr)? 0: 1);
1768 _rat_add(value v1, value v2, pword *pres)
1772 Rat_To_Mpr(v1.ptr, &a);
1780 _rat_sub(value v1, value v2, pword *pres)
1784 Rat_To_Mpr(v1.ptr, &a);
1792 _rat_mul(value v1, value v2, pword *pres)
1796 Rat_To_Mpr(v1.ptr, &a);
1805 _int_div(value v1, value v2, pword *pres) /* int x int -> rat */
1808 mpz_init_set_si(mpq_numref(&c), v1.nint);
1818 _big_div(value v1, value v2, pword *pres) /* big x big -> rat */
1821 Big_To_Mpi(v1.ptr, &a);
1840 _rat_div(value v1, value v2, pword *pres)
1846 Rat_To_Mpr(v1.ptr, &a);
1854 _rat_pow(value v1, value v2, pword *pres) /* rat x int -> rat */
1866 Rat_To_Mpr(v1.ptr, &b);
1888 _rat_min(value v1, value v2, pword *pres)
1891 Rat_To_Mpr(v1.ptr, &a);
1893 Make_Rat(pres, mpq_cmp(&a, &b) < 0 ? v1.ptr : v2.ptr);
1898 _rat_max(value v1, value v2, pword *pres)
1901 Rat_To_Mpr(v1.ptr, &a);
1903 Make_Rat(pres, mpq_cmp(&a, &b) > 0 ? v1.ptr : v2.ptr);
1908 _rat_fix(value v1, pword *pres)
1911 Big_To_Mpi(Numer(v1.ptr)->val.ptr, &a);
1912 Big_To_Mpi(Denom(v1.ptr)->val.ptr, &b);
1920 _rat_int2(value v1, pword *pres)
1922 if (!RatIntegral(v1.ptr))
1926 Normalize_Big(pres, Numer(v1.ptr)->val.ptr);
1931 _rat_f_c(value v1, pword *pres, void (*div_function) (MP_INT*, const MP_INT*, const MP_INT*))
1934 Big_To_Mpi(Denom(v1.ptr)->val.ptr, &b);
1937 Make_Rat(pres, v1.ptr); /* it's already integer */
1941 Big_To_Mpi(Numer(v1.ptr)->val.ptr, &a);
1955 _rat_floor(value v1, pword *pres)
1957 return _rat_f_c(v1, pres, mpz_fdiv_q);
1961 _rat_ceil(value v1, pword *pres)
1963 return _rat_f_c(v1, pres, mpz_cdiv_q);
1967 _rat_truncate(value v1, pword *pres)
1969 return _rat_f_c(v1, pres, mpz_tdiv_q);
1973 _rat_num(value v1, pword *pres)
1975 Normalize_Big(pres, Numer(v1.ptr)->val.ptr);
1980 _rat_den(value v1, pword *pres)
1982 Normalize_Big(pres, Denom(v1.ptr)->val.ptr);
1987 _rat_atan2(value v1, value v2, pword *pres)
1990 Rat_To_Mpr(v1.ptr, &a);