1443   APInt TMUL = BM.sdiv(G);  in exactSIVtest()  local
1444   if (TMUL.sgt(0)) {  in exactSIVtest()
1445     TL = maxAPInt(TL, ceilingOfQuotient(-X, TMUL));  in exactSIVtest()
1448       TU = minAPInt(TU, floorOfQuotient(UM - X, TMUL));  in exactSIVtest()
1453     TU = minAPInt(TU, floorOfQuotient(-X, TMUL));  in exactSIVtest()
1456       TL = maxAPInt(TL, ceilingOfQuotient(UM - X, TMUL));  in exactSIVtest()
1462   TMUL = AM.sdiv(G);  in exactSIVtest()
1463   if (TMUL.sgt(0)) {  in exactSIVtest()
1464     TL = maxAPInt(TL, ceilingOfQuotient(-Y, TMUL));  in exactSIVtest()
1467       TU = minAPInt(TU, floorOfQuotient(UM - Y, TMUL));  in exactSIVtest()
1472     TU = minAPInt(TU, floorOfQuotient(-Y, TMUL));  in exactSIVtest()
1475       TL = maxAPInt(TL, ceilingOfQuotient(UM - Y, TMUL));  in exactSIVtest()
1492   TMUL = AM - BM;  in exactSIVtest()
1493   if (TMUL.sgt(0)) {  in exactSIVtest()
1494     TL = maxAPInt(TL, ceilingOfQuotient(X - Y + 1, TMUL));  in exactSIVtest()
1498     TU = minAPInt(TU, floorOfQuotient(X - Y + 1, TMUL));  in exactSIVtest()
1510   if (TMUL.sgt(0)) {  in exactSIVtest()
1511     TL = maxAPInt(TL, ceilingOfQuotient(X - Y, TMUL));  in exactSIVtest()
1515     TU = minAPInt(TU, floorOfQuotient(X - Y, TMUL));  in exactSIVtest()
1518   TMUL = BM - AM;  in exactSIVtest()
1519   if (TMUL.sgt(0)) {  in exactSIVtest()
1520     TL = maxAPInt(TL, ceilingOfQuotient(Y - X, TMUL));  in exactSIVtest()
1524     TU = minAPInt(TU, floorOfQuotient(Y - X, TMUL));  in exactSIVtest()
1536   if (TMUL.sgt(0)) {  in exactSIVtest()
1537     TL = maxAPInt(TL, ceilingOfQuotient(Y - X + 1, TMUL));  in exactSIVtest()
1541     TU = minAPInt(TU, floorOfQuotient(Y - X + 1, TMUL));  in exactSIVtest()
1856   APInt TMUL = BM.sdiv(G);  in exactRDIVtest()  local
1857   if (TMUL.sgt(0)) {  in exactRDIVtest()
1858     TL = maxAPInt(TL, ceilingOfQuotient(-X, TMUL));  in exactRDIVtest()
1861       TU = minAPInt(TU, floorOfQuotient(SrcUM - X, TMUL));  in exactRDIVtest()
1866     TU = minAPInt(TU, floorOfQuotient(-X, TMUL));  in exactRDIVtest()
1869       TL = maxAPInt(TL, ceilingOfQuotient(SrcUM - X, TMUL));  in exactRDIVtest()
1875   TMUL = AM.sdiv(G);  in exactRDIVtest()
1876   if (TMUL.sgt(0)) {  in exactRDIVtest()
1877     TL = maxAPInt(TL, ceilingOfQuotient(-Y, TMUL));  in exactRDIVtest()
1880       TU = minAPInt(TU, floorOfQuotient(DstUM - Y, TMUL));  in exactRDIVtest()
1885     TU = minAPInt(TU, floorOfQuotient(-Y, TMUL));  in exactRDIVtest()
1888       TL = maxAPInt(TL, ceilingOfQuotient(DstUM - Y, TMUL));  in exactRDIVtest()