161                                 BinaryOperatorKind OpcodeRHS,  in areEquivalentRanges()  argument
167     return OpcodeLHS == OpcodeRHS;  in areEquivalentRanges()
171   return ((OpcodeLHS == BO_LE && OpcodeRHS == BO_LT) ||  in areEquivalentRanges()
172           (OpcodeLHS == BO_GT && OpcodeRHS == BO_GE)) &&  in areEquivalentRanges()
181                                BinaryOperatorKind OpcodeRHS,  in areExclusiveRanges()  argument
190       return OpcodeRHS == BO_NE || OpcodeRHS == BO_GT || OpcodeRHS == BO_LT;  in areExclusiveRanges()
192       return OpcodeRHS == BO_EQ;  in areExclusiveRanges()
194       return OpcodeRHS == BO_GT;  in areExclusiveRanges()
196       return OpcodeRHS == BO_LT;  in areExclusiveRanges()
198       return OpcodeRHS == BO_EQ || OpcodeRHS == BO_GT || OpcodeRHS == BO_GE;  in areExclusiveRanges()
200       return OpcodeRHS == BO_EQ || OpcodeRHS == BO_LT || OpcodeRHS == BO_LE;  in areExclusiveRanges()
208       (OpcodeRHS == BO_EQ || OpcodeRHS == BO_GT || OpcodeRHS == BO_GE))  in areExclusiveRanges()
213   if (OpcodeLHS == BO_GT && OpcodeRHS == BO_LT &&  in areExclusiveRanges()
225                                    BinaryOperatorKind OpcodeRHS,  in rangesFullyCoverDomain()  argument
234       return OpcodeRHS == BO_NE;  in rangesFullyCoverDomain()
236       return OpcodeRHS == BO_EQ;  in rangesFullyCoverDomain()
238       return OpcodeRHS == BO_GT || OpcodeRHS == BO_GE;  in rangesFullyCoverDomain()
240       return OpcodeRHS == BO_GE;  in rangesFullyCoverDomain()
242       return OpcodeRHS == BO_LT || OpcodeRHS == BO_LE;  in rangesFullyCoverDomain()
244       return OpcodeRHS == BO_LE;  in rangesFullyCoverDomain()
252   if (OpcodeLHS == BO_LE && OpcodeRHS == BO_GE &&  in rangesFullyCoverDomain()
259       (OpcodeRHS == BO_LT || OpcodeRHS == BO_LE))  in rangesFullyCoverDomain()
264   if (OpcodeLHS == BO_NE && OpcodeRHS == BO_NE)  in rangesFullyCoverDomain()
272                                BinaryOperatorKind OpcodeRHS,  in rangeSubsumesRange()  argument
277     return OpcodeRHS == BO_EQ && Comparison == 0;  in rangeSubsumesRange()
279     return (OpcodeRHS == BO_NE && Comparison == 0) ||  in rangeSubsumesRange()
280            (OpcodeRHS == BO_EQ && Comparison != 0) ||  in rangeSubsumesRange()
281            (OpcodeRHS == BO_LT && Comparison >= 0) ||  in rangeSubsumesRange()
282            (OpcodeRHS == BO_LE && Comparison > 0) ||  in rangeSubsumesRange()
283            (OpcodeRHS == BO_GT && Comparison <= 0) ||  in rangeSubsumesRange()
284            (OpcodeRHS == BO_GE && Comparison < 0);  in rangeSubsumesRange()
287     return ((OpcodeRHS == BO_LT && Comparison >= 0) ||  in rangeSubsumesRange()
288             (OpcodeRHS == BO_LE && Comparison > 0) ||  in rangeSubsumesRange()
289             (OpcodeRHS == BO_EQ && Comparison > 0));  in rangeSubsumesRange()
291     return ((OpcodeRHS == BO_GT && Comparison <= 0) ||  in rangeSubsumesRange()
292             (OpcodeRHS == BO_GE && Comparison < 0) ||  in rangeSubsumesRange()
293             (OpcodeRHS == BO_EQ && Comparison < 0));  in rangeSubsumesRange()
295     return (OpcodeRHS == BO_LT || OpcodeRHS == BO_LE || OpcodeRHS == BO_EQ) &&  in rangeSubsumesRange()
298     return (OpcodeRHS == BO_GT || OpcodeRHS == BO_GE || OpcodeRHS == BO_EQ) &&  in rangeSubsumesRange()