Searched refs:NegR (Results 1 – 3 of 3) sorted by relevance
1063 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv() local1071 if (!NegL.isEmptySet() && !NegR.isEmptySet()) { in sdiv()1078 APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower); in sdiv()1079 if (NegL.Lower.isMinSignedValue() && NegR.Upper.isNullValue()) { in sdiv()1082 if (!NegR.Lower.isAllOnesValue()) { in sdiv()1089 AdjNegRUpper = NegR.Upper - 1; in sdiv()1108 AdjNegLLower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1112 ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1117 if (!PosL.isEmptySet() && !NegR.isEmptySet()) in sdiv()1119 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), in sdiv()[all …]
1129 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv() local1137 if (!NegL.isEmptySet() && !NegR.isEmptySet()) { in sdiv()1144 APInt Lo = (NegL.Upper - 1).sdiv(NegR.Lower); in sdiv()1145 if (NegL.Lower.isMinSignedValue() && NegR.Upper.isNullValue()) { in sdiv()1148 if (!NegR.Lower.isAllOnesValue()) { in sdiv()1155 AdjNegRUpper = NegR.Upper - 1; in sdiv()1174 AdjNegLLower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1178 ConstantRange(std::move(Lo), NegL.Lower.sdiv(NegR.Upper - 1) + 1)); in sdiv()1183 if (!PosL.isEmptySet() && !NegR.isEmptySet()) in sdiv()1185 NegRes = ConstantRange((PosL.Upper - 1).sdiv(NegR.Upper - 1), in sdiv()[all …]
903 APInt NegR = ~getRValue("1", RawData); in TEST() local904 EXPECT_EQ(NegR, NegativeTwo); in TEST()905 EXPECT_EQ(NegR.getRawData(), RawData); in TEST()