Lines Matching defs:gcd

276     return std::gcd((uint64_t)binExpr.getLHS().getLargestKnownDivisor(),
307     return std::gcd((uint64_t)binExpr.getLHS().getLargestKnownDivisor(),
1365   uint64_t gcd = rhsConst;
1367     gcd = std::gcd(gcd, (uint64_t)std::abs(lhsElt));
1369   if (gcd != 1) {
1371       floorDividendElt = floorDividendElt / static_cast<int64_t>(gcd);
1373   int64_t floorDivisor = rhsConst / static_cast<int64_t>(gcd);
1487   uint64_t gcd = std::abs(rhsConst);
1489     gcd = std::gcd(gcd, (uint64_t)std::abs(lhsElt));
1491   if (gcd != 1) {
1493       lhsElt = lhsElt / static_cast<int64_t>(gcd);
1495   int64_t divisor = rhsConst / static_cast<int64_t>(gcd);