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

Lines Matching refs:v2

756 _compare_big(value v1, value v2)
761 Big_To_Mpi(v2.ptr, &b);
767 _arith_compare_big(value v1, value v2, int *res)
772 Big_To_Mpi(v2.ptr, &b);
956 _compare_rat(value v1, value v2)
961 Rat_To_Mpr(v2.ptr, &b);
967 _arith_compare_rat(value v1, value v2, int *res)
972 Rat_To_Mpr(v2.ptr, &b);
1234 _big_add(value v1, value v2, pword *pres)
1239 Big_To_Mpi(v2.ptr, &b);
1274 _big_sub(value v1, value v2, pword *pres)
1279 Big_To_Mpi(v2.ptr, &b);
1286 _big_mul(value v1, value v2, pword *pres)
1291 Big_To_Mpi(v2.ptr, &b);
1298 _big_idiv(value v1, value v2, pword *pres)
1301 if (BigZero(v2.ptr))
1305 Big_To_Mpi(v2.ptr, &b);
1312 _big_rem(value v1, value v2, pword *pres)
1315 if (BigZero(v2.ptr))
1319 Big_To_Mpi(v2.ptr, &b);
1326 _big_floordiv(value v1, value v2, pword *pres)
1329 if (BigZero(v2.ptr))
1333 Big_To_Mpi(v2.ptr, &b);
1340 _big_floorrem(value v1, value v2, pword *pres)
1343 if (BigZero(v2.ptr)) {
1349 Big_To_Mpi(v2.ptr, &b);
1356 _big_pow(value v1, value v2, pword *pres)
1361 if (v2.nint < 0) /* big x neg_int -> rat */
1363 mpz_pow_ui(&c, &a, (uword) (-v2.nint));
1373 mpz_pow_ui(&c, &a, (uword) v2.nint);
1381 value v2,
1386 Big_To_Mpi(v2.ptr, &b);
1387 pres->val.ptr = mpz_cmp(&a, &b) < 0 ? v1.ptr : v2.ptr;
1394 value v2,
1399 Big_To_Mpi(v2.ptr, &b);
1400 pres->val.ptr = mpz_cmp(&a, &b) > 0 ? v1.ptr : v2.ptr;
1440 _big_and(value v1, value v2, pword *pres)
1445 Big_To_Mpi(v2.ptr, &b);
1452 _big_or(value v1, value v2, pword *pres)
1457 Big_To_Mpi(v2.ptr, &b);
1464 _big_xor(value v1, value v2, pword *pres)
1472 Big_To_Mpi(v2.ptr, &b);
1491 _big_shl(value v1, value v2, pword *pres) /* big x int -> big */
1496 if (v2.nint >= 0)
1497 mpz_mul_2exp(&c, &a, (uword) v2.nint);
1500 mpz_div_2exp(&c, &a, (uword) -v2.nint);
1502 mpz_fdiv_q_2exp(&c, &a, (uword) -v2.nint);
1509 _big_shr(value v1, value v2, pword *pres) /* big x int -> big */
1514 if (v2.nint >= 0)
1516 mpz_div_2exp(&c, &a, (uword) v2.nint);
1518 mpz_fdiv_q_2exp(&c, &a, (uword) v2.nint);
1521 mpz_mul_2exp(&c, &a, (uword) -v2.nint);
1527 _big_setbit(value v1, value v2, pword *pres) /* big x int -> big */
1532 mpz_setbit(&c, (uword) v2.nint);
1538 _big_clrbit(value v1, value v2, pword *pres) /* big x int -> big */
1543 mpz_clrbit(&c, (uword) v2.nint);
1549 _big_getbit(value v1, value v2, pword *pres) /* big x int -> int */
1555 Make_Integer(pres, mpz_getbit(&a, v2.nint));
1560 _big_gcd(value v1, value v2, pword *pres)
1565 Big_To_Mpi(v2.ptr, &b);
1572 _big_gcd_ext(value v1, value v2, pword *ps, pword *pt, pword *pg)
1579 Big_To_Mpi(v2.ptr, &b);
1591 _big_lcm(value v1, value v2, pword *pres)
1596 Big_To_Mpi(v2.ptr, &b);
1617 _big_atan2(value v1, value v2, pword *pres)
1621 Big_To_Mpi(v2.ptr, &b);
1768 _rat_add(value v1, value v2, pword *pres)
1773 Rat_To_Mpr(v2.ptr, &b);
1780 _rat_sub(value v1, value v2, pword *pres)
1785 Rat_To_Mpr(v2.ptr, &b);
1792 _rat_mul(value v1, value v2, pword *pres)
1797 Rat_To_Mpr(v2.ptr, &b);
1805 _int_div(value v1, value v2, pword *pres) /* int x int -> rat */
1809 mpz_init_set_si(mpq_denref(&c), v2.nint);
1818 _big_div(value v1, value v2, pword *pres) /* big x big -> rat */
1822 Big_To_Mpi(v2.ptr, &b);
1840 _rat_div(value v1, value v2, pword *pres)
1843 if (RatZero(v2.ptr))
1847 Rat_To_Mpr(v2.ptr, &b);
1854 _rat_pow(value v1, value v2, pword *pres) /* rat x int -> rat */
1858 if (v2.nint == 0)
1864 word exp = v2.nint < 0 ? -v2.nint : v2.nint;
1880 if (v2.nint < 0)
1888 _rat_min(value v1, value v2, pword *pres)
1892 Rat_To_Mpr(v2.ptr, &b);
1893 Make_Rat(pres, mpq_cmp(&a, &b) < 0 ? v1.ptr : v2.ptr);
1898 _rat_max(value v1, value v2, pword *pres)
1902 Rat_To_Mpr(v2.ptr, &b);
1903 Make_Rat(pres, mpq_cmp(&a, &b) > 0 ? v1.ptr : v2.ptr);
1987 _rat_atan2(value v1, value v2, pword *pres)
1991 Rat_To_Mpr(v2.ptr, &b);