Lines Matching defs:y1_mnt
1675 uint64_t x0_mnt, x1_mnt, y0_mnt, y1_mnt;
1719 mul62x62(&y0_mnt, &y1_mnt, b_mnt, c_mnt << 3);
1720 if (!y0_mnt && !y1_mnt) {
1727 lsl128(&t0, &t1, y0_mnt, y1_mnt,
1729 lsr128(&y0_mnt, &y1_mnt, y0_mnt, y1_mnt, x_exp - y_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);