Searched refs:normalizeDiv (Results 1 – 3 of 3) sorted by relevance
246 void normalizeDiv(MutableArrayRef<int64_t> num, int64_t &denom);
335 void presburger::normalizeDiv(MutableArrayRef<int64_t> num, int64_t &denom) { in normalizeDiv() function in presburger
413 normalizeDiv(divCoeffs, divDenom); in addSymbolicCut()