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); 1114 if (!NegL.isEmptySet() && !PosR.isEmptySet()) 1117 ConstantRange(NegL.Lower.sdiv(PosR.Lower), 1118 (NegL.Upper - 1).sdiv(PosR.Upper - 1) + 1)); 1124 if (contains(Zero) && (!PosR.isEmptySet() || !NegR.isEmptySet()))