Lines Matching defs:divs

1010 /// Handling this correctly requires ordering the divs, though.
1029   DivisionRepr divs(getNumVars(), getNumLocalVars());
1033     // vars have been detected as floor divs.
1039                                  divs.getDividend(i), divs.getDenom(i));
1043           divs.clearRepr(i);
1054   return divs;
1369     // If i < oldALocals, we are trying to merge duplicate divs. Since we do not
1392   DivisionRepr divs = getLocalReprs();
1397   divs.removeDuplicateDivs(merge);