Lines Matching refs:x1_mnt
1467 uint64_t x0_mnt, x1_mnt;
1490 mul62x62(&x0_mnt, &x1_mnt, a_mnt, b_mnt);
1491 fp128_normalise(&x0_mnt, &x1_mnt, &x_exp);
1494 x0_mnt = x1_mnt << 1 | !!x0_mnt;
1675 uint64_t x0_mnt, x1_mnt, y0_mnt, y1_mnt;
1714 x1_mnt = a_mnt;
1734 lsl128(&t0, &t1, x0_mnt, x1_mnt,
1736 lsr128(&x0_mnt, &x1_mnt, x0_mnt, x1_mnt, y_exp - x_exp);
1741 add128(&x0_mnt, &x1_mnt, x0_mnt, x1_mnt, y0_mnt, y1_mnt);
1742 } else if (cmp128(x0_mnt, x1_mnt, y0_mnt, y1_mnt) >= 0) {
1743 sub128(&x0_mnt, &x1_mnt, x0_mnt, x1_mnt, y0_mnt, y1_mnt);
1746 sub128(&x0_mnt, &x1_mnt, y0_mnt, y1_mnt, x0_mnt, x1_mnt);
1749 if (!x0_mnt && !x1_mnt) {
1755 fp128_normalise(&x0_mnt, &x1_mnt, &x_exp);
1756 x0_mnt = x1_mnt << 1 | !!x0_mnt;
1849 uint64_t a_mnt, b_mnt, x, x_mnt, x0_mnt, x1_mnt;
1875 mul64x32(&x0_mnt, &x1_mnt, b_mnt, x_mnt);
1876 sub128(&x0_mnt, &x1_mnt, 0, (uint64_t)1 << 32, x0_mnt, x1_mnt);
1877 lsr128(&x0_mnt, &x1_mnt, x0_mnt, x1_mnt, 32);
1878 mul64x32(&x0_mnt, &x1_mnt, x0_mnt, x_mnt);
1879 lsr128(&x0_mnt, &x1_mnt, x0_mnt, x1_mnt, 33);
1884 mul62x62(&x0_mnt, &x1_mnt, x0_mnt, a_mnt >> 2);
1885 lsr128(&x0_mnt, &x1_mnt, x0_mnt, x1_mnt, 4);
1886 x_mnt = x1_mnt;
1889 mul62x62(&x0_mnt, &x1_mnt, b_mnt >> 2, x_mnt + 1);
1890 c = cmp128(x0_mnt, x1_mnt, 0, a_mnt >> 11);