Searched refs:AddRecRange (Results 1 – 3 of 3) sorted by relevance
3763 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges() local3768 if (NSWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()3773 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges() local3778 if (NUWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()
4450 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges() local4455 if (NSWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()4460 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges() local4465 if (NUWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()
4410 ConstantRange AddRecRange = getSignedRange(AR); in proveNoWrapViaConstantRanges() local4415 if (NSWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()4420 ConstantRange AddRecRange = getUnsignedRange(AR); in proveNoWrapViaConstantRanges() local4425 if (NUWRegion.contains(AddRecRange)) in proveNoWrapViaConstantRanges()