Searched refs:Xtop (Results 1 – 1 of 1) sorted by relevance
499 APInt Xtop = C1B2_C2B1->getAPInt(); in intersectConstraints() local503 DEBUG(dbgs() << "\t\tXtop = " << Xtop << "\n"); in intersectConstraints()507 APInt Xq = Xtop; // these need to be initialized, even in intersectConstraints()508 APInt Xr = Xtop; // though they're just going to be overwritten in intersectConstraints()509 APInt::sdivrem(Xtop, Xbot, Xq, Xr); in intersectConstraints()