Lines Matching defs:n1
11 _FP_W_TYPE n1, _FP_W_TYPE n0,
20 if (d0 > n1)
24 udiv_qrnnd (q0, n0, n1, n0, d0);
36 udiv_qrnnd (q1, n1, 0, n1, d0);
37 udiv_qrnnd (q0, n0, n1, n0, d0);
47 if (d0 > n1)
59 n1 = (n1 << bm) | (n0 >> (_FP_W_TYPE_SIZE - bm));
63 udiv_qrnnd (q0, n0, n1, n0, d0);
79 /* From (n1 >= d0) /\ (the most significant bit of d0 is set),
80 conclude (the most significant bit of n1 is set) /\ (the
86 n1 -= d0;
98 n2 = n1 >> b;
99 n1 = (n1 << bm) | (n0 >> b);
102 udiv_qrnnd (q1, n1, n2, n1, d0);
105 /* n1 != d0... */
107 udiv_qrnnd (q0, n0, n1, n0, d0);
118 if (d1 > n1)
127 r1 = n1;
136 /* From (n1 >= d1) /\ (the most significant bit of d1 is set),
137 conclude (the most significant bit of n1 is set) /\ (the
143 n1 >= d1 (true due to program flow). */
144 if (n1 > d1 || n0 >= d0)
147 sub_ddmmss (n1, n0, n1, n0, d1, d0);
155 r1 = n1;
167 n2 = n1 >> b;
168 n1 = (n1 << bm) | (n0 >> b);
171 udiv_qrnnd (q0, n1, n2, n1, d1);
174 if (m1 > n1 || (m1 == n1 && m0 > n0))
183 sub_ddmmss (n1, n0, n1, n0, m1, m0);
184 r0 = (n1 << b) | (n0 >> bm);
185 r1 = n1 >> bm;