542   const Loop* subscript_loop = GetLoopForSubscriptPair(subscript_pair);  in StrongSIVTest()  local
544       GetConstantTerm(subscript_loop, source->AsSERecurrentNode());  in StrongSIVTest()
546       GetConstantTerm(subscript_loop, destination->AsSERecurrentNode());  in StrongSIVTest()
597   SENode* lower_bound = GetLowerBound(subscript_loop);  in StrongSIVTest()
598   SENode* upper_bound = GetUpperBound(subscript_loop);  in StrongSIVTest()
677   const Loop* subscript_loop = GetLoopForSubscriptPair(subscript_pair);  in SymbolicStrongSIVTest()  local
678   if (IsProvablyOutsideOfLoopBounds(subscript_loop, source_destination_delta,  in SymbolicStrongSIVTest()
702   const Loop* subscript_loop = GetLoopForSubscriptPair(subscript_pair);  in WeakZeroSourceSIVTest()  local
705       GetConstantTerm(subscript_loop, destination);  in WeakZeroSourceSIVTest()
746       GetLowerBound(subscript_loop)->AsSEConstantNode();  in WeakZeroSourceSIVTest()
748       GetUpperBound(subscript_loop)->AsSEConstantNode();  in WeakZeroSourceSIVTest()
782           GetFirstTripInductionNode(subscript_loop),  in WeakZeroSourceSIVTest()
783           GetConstantTerm(subscript_loop, destination)));  in WeakZeroSourceSIVTest()
813           GetFinalTripInductionNode(subscript_loop, coefficient),  in WeakZeroSourceSIVTest()
814           GetConstantTerm(subscript_loop, destination)));  in WeakZeroSourceSIVTest()
856   const Loop* subscript_loop = GetLoopForSubscriptPair(subscript_pair);  in WeakZeroDestinationSIVTest()  local
857   SENode* source_constant_term = GetConstantTerm(subscript_loop, source);  in WeakZeroDestinationSIVTest()
899       GetLowerBound(subscript_loop)->AsSEConstantNode();  in WeakZeroDestinationSIVTest()
901       GetUpperBound(subscript_loop)->AsSEConstantNode();  in WeakZeroDestinationSIVTest()
934       scalar_evolution_.CreateAddNode(GetFirstTripInductionNode(subscript_loop),  in WeakZeroDestinationSIVTest()
935                                       GetConstantTerm(subscript_loop, source)));  in WeakZeroDestinationSIVTest()
966           GetFinalTripInductionNode(subscript_loop, coefficient),  in WeakZeroDestinationSIVTest()
967           GetConstantTerm(subscript_loop, source)));  in WeakZeroDestinationSIVTest()