Searched defs:addLocalFloorDiv (Results 1 – 2 of 2) sorted by relevance
469 void addLocalFloorDiv(ArrayRef<int64_t> dividend, int64_t divisor) { in addLocalFloorDiv() function
1511 void IntegerRelation::addLocalFloorDiv(ArrayRef<DynamicAPInt> dividend, addLocalFloorDiv() function in IntegerRelation