Searched refs:NegFilter (Results 1 – 2 of 2) sorted by relevance
1059 ConstantRange NegFilter(SignedMin, Zero); in sdiv() local1061 ConstantRange NegL = intersectWith(NegFilter); in sdiv()1063 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv()
1125 ConstantRange NegFilter(SignedMin, Zero); in sdiv() local1127 ConstantRange NegL = intersectWith(NegFilter); in sdiv()1129 ConstantRange NegR = RHS.intersectWith(NegFilter); in sdiv()