160                                 BinaryOperatorKind OpcodeRHS,  in areEquivalentRanges()  argument
166     return OpcodeLHS == OpcodeRHS;  in areEquivalentRanges()
170   return ((OpcodeLHS == BO_LE && OpcodeRHS == BO_LT) ||  in areEquivalentRanges()
171           (OpcodeLHS == BO_GT && OpcodeRHS == BO_GE)) &&  in areEquivalentRanges()
180                                BinaryOperatorKind OpcodeRHS,  in areExclusiveRanges()  argument
189       return OpcodeRHS == BO_NE || OpcodeRHS == BO_GT || OpcodeRHS == BO_LT;  in areExclusiveRanges()
191       return OpcodeRHS == BO_EQ;  in areExclusiveRanges()
193       return OpcodeRHS == BO_GT;  in areExclusiveRanges()
195       return OpcodeRHS == BO_LT;  in areExclusiveRanges()
197       return OpcodeRHS == BO_EQ || OpcodeRHS == BO_GT || OpcodeRHS == BO_GE;  in areExclusiveRanges()
199       return OpcodeRHS == BO_EQ || OpcodeRHS == BO_LT || OpcodeRHS == BO_LE;  in areExclusiveRanges()
207       (OpcodeRHS == BO_EQ || OpcodeRHS == BO_GT || OpcodeRHS == BO_GE))  in areExclusiveRanges()
212   if (OpcodeLHS == BO_GT && OpcodeRHS == BO_LT &&  in areExclusiveRanges()
224                                    BinaryOperatorKind OpcodeRHS,  in rangesFullyCoverDomain()  argument
233       return OpcodeRHS == BO_NE;  in rangesFullyCoverDomain()
235       return OpcodeRHS == BO_EQ;  in rangesFullyCoverDomain()
237       return OpcodeRHS == BO_GT || OpcodeRHS == BO_GE;  in rangesFullyCoverDomain()
239       return OpcodeRHS == BO_GE;  in rangesFullyCoverDomain()
241       return OpcodeRHS == BO_LT || OpcodeRHS == BO_LE;  in rangesFullyCoverDomain()
243       return OpcodeRHS == BO_LE;  in rangesFullyCoverDomain()
251   if (OpcodeLHS == BO_LE && OpcodeRHS == BO_GE &&  in rangesFullyCoverDomain()
258       (OpcodeRHS == BO_LT || OpcodeRHS == BO_LE))  in rangesFullyCoverDomain()
263   if (OpcodeLHS == BO_NE && OpcodeRHS == BO_NE)  in rangesFullyCoverDomain()
271                                BinaryOperatorKind OpcodeRHS,  in rangeSubsumesRange()  argument
276     return OpcodeRHS == BO_EQ && Comparison == 0;  in rangeSubsumesRange()
278     return (OpcodeRHS == BO_NE && Comparison == 0) ||  in rangeSubsumesRange()
279            (OpcodeRHS == BO_EQ && Comparison != 0) ||  in rangeSubsumesRange()
280            (OpcodeRHS == BO_LT && Comparison >= 0) ||  in rangeSubsumesRange()
281            (OpcodeRHS == BO_LE && Comparison > 0) ||  in rangeSubsumesRange()
282            (OpcodeRHS == BO_GT && Comparison <= 0) ||  in rangeSubsumesRange()
283            (OpcodeRHS == BO_GE && Comparison < 0);  in rangeSubsumesRange()
286     return ((OpcodeRHS == BO_LT && Comparison >= 0) ||  in rangeSubsumesRange()
287             (OpcodeRHS == BO_LE && Comparison > 0) ||  in rangeSubsumesRange()
288             (OpcodeRHS == BO_EQ && Comparison > 0));  in rangeSubsumesRange()
290     return ((OpcodeRHS == BO_GT && Comparison <= 0) ||  in rangeSubsumesRange()
291             (OpcodeRHS == BO_GE && Comparison < 0) ||  in rangeSubsumesRange()
292             (OpcodeRHS == BO_EQ && Comparison < 0));  in rangeSubsumesRange()
294     return (OpcodeRHS == BO_LT || OpcodeRHS == BO_LE || OpcodeRHS == BO_EQ) &&  in rangeSubsumesRange()
297     return (OpcodeRHS == BO_GT || OpcodeRHS == BO_GE || OpcodeRHS == BO_EQ) &&  in rangeSubsumesRange()