Searched refs:lbConstTerm (Results 1 – 1 of 1) sorted by relevance
1335 int64_t lbConstTerm = cst.atIneq(lbPos, cst.getNumCols() - 1); in detectAsFloorDiv() local1336 if (lbConstTerm != divisor - 1) in detectAsFloorDiv()