Searched refs:DivisionRepr (Results 1 – 6 of 6) sorted by relevance
280 DivisionRepr divsA = relA.getLocalReprs(); in mergeLocalVars()281 DivisionRepr divsB = relB.getLocalReprs(); in mergeLocalVars()360 void DivisionRepr::removeDuplicateDivs( in removeDuplicateDivs()405 void DivisionRepr::print(raw_ostream &os) const { in print()414 void DivisionRepr::dump() const { print(llvm::errs()); } in dump()
915 DivisionRepr922 DivisionRepr divs(getNumVars(), getNumLocalVars()); in getLocalReprs()1201 DivisionRepr divs = getLocalReprs(); in removeDuplicateDivs()
257 DivisionRepr divs = sI.getLocalReprs(&repr); in getSetDifference()
116 class DivisionRepr {118 DivisionRepr(unsigned numVars, unsigned numDivs) in DivisionRepr() function121 DivisionRepr(unsigned numVars) : dividends(numVars + 1, 0) {} in DivisionRepr() function
364 DivisionRepr getLocalReprs(std::vector<MaybeLocalRepr> *repr = nullptr) const;
612 DivisionRepr divs = poly.getLocalReprs(); in checkDivisionRepresentation()