23   APInt AD, ANC, Delta, Q1, R1, Q2, R2, T;  in get()  local
32   R1 = SignedMin - Q1 * ANC; // initialize R1 = rem(2P,abs(NC))  in get()
38     R1 = R1 << 1;      // update R1 = rem(2P/abs(NC))  in get()
39     if (R1.uge(ANC)) { // must be unsigned comparison  in get()
41       R1 = R1 - ANC;  in get()
50   } while (Q1.ult(Delta) || (Q1 == Delta && R1 == 0));  in get()
68   APInt NC, Delta, Q1, R1, Q2, R2;  in get()  local
78   R1 = SignedMin - Q1 * NC; // initialize R1 = rem(2P,NC)  in get()
83     if (R1.uge(NC - R1)) {  in get()
85       R1 = R1 + R1 - NC; // update R1  in get()
88       R1 = R1 + R1; // update R1  in get()
103            (Q1.ult(Delta) || (Q1 == Delta && R1 == 0)));  in get()