Searched refs:Xbot (Results 1 – 1 of 1) sorted by relevance
521 APInt Xbot = A1B2_A2B1->getAPInt(); in intersectConstraints() local525 LLVM_DEBUG(dbgs() << "\t\tXbot = " << Xbot << "\n"); in intersectConstraints()530 APInt::sdivrem(Xtop, Xbot, Xq, Xr); in intersectConstraints()