reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1058 if (!PosL.isEmptySet() && !PosR.isEmptySet()) 1060 PosRes = ConstantRange(PosL.Lower.sdiv(PosR.Upper - 1), 1061 (PosL.Upper - 1).sdiv(PosR.Lower) + 1); 1109 if (!PosL.isEmptySet() && !NegR.isEmptySet()) 1111 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), 1112 PosL.Lower.sdiv(NegR.Lower) + 1);