Lines Matching defs:n1
873 UWtype d0, d1, n0, n1, n2;
880 n1 = nn.s.high;
885 if (d0 > n1)
889 udiv_qrnnd (q0, n0, n1, n0, d0);
901 udiv_qrnnd (q1, n1, 0, n1, d0);
902 udiv_qrnnd (q0, n0, n1, n0, d0);
919 if (d0 > n1)
931 n1 = (n1 << bm) | (n0 >> (W_TYPE_SIZE - bm));
935 udiv_qrnnd (q0, n0, n1, n0, d0);
951 /* From (n1 >= d0) /\ (the most significant bit of d0 is set),
952 conclude (the most significant bit of n1 is set) /\ (the
958 n1 -= d0;
968 n2 = n1 >> b;
969 n1 = (n1 << bm) | (n0 >> b);
972 udiv_qrnnd (q1, n1, n2, n1, d0);
975 /* n1 != d0... */
977 udiv_qrnnd (q0, n0, n1, n0, d0);
993 if (d1 > n1)
1004 rr.s.high = n1;
1015 /* From (n1 >= d1) /\ (the most significant bit of d1 is set),
1016 conclude (the most significant bit of n1 is set) /\ (the
1022 n1 >= d1 (true due to program flow). */
1023 if (n1 > d1 || n0 >= d0)
1026 sub_ddmmss (n1, n0, n1, n0, d1, d0);
1036 rr.s.high = n1;
1049 n2 = n1 >> b;
1050 n1 = (n1 << bm) | (n0 >> b);
1053 udiv_qrnnd (q0, n1, n2, n1, d1);
1056 if (m1 > n1 || (m1 == n1 && m0 > n0))
1067 sub_ddmmss (n1, n0, n1, n0, m1, m0);
1068 rr.s.low = (n1 << b) | (n0 >> bm);
1069 rr.s.high = n1 >> bm;