Lines Matching refs:scev_analysis_
838 SExpression lhs = scev_analysis_->AnalyzeInstruction(
846 SExpression rhs = scev_analysis_->AnalyzeInstruction(
854 bool is_lhs_rec = !scev_analysis_->IsLoopInvariant(loop_, lhs);
855 bool is_rhs_rec = !scev_analysis_->IsLoopInvariant(loop_, rhs);
963 assert(scev_analysis_->IsLoopInvariant(loop_, lhs));
964 assert(scev_analysis_->IsLoopInvariant(loop_, rhs));
969 return scev_analysis_->IsAlwaysGreaterThanZero(rhs - lhs, result);
972 return scev_analysis_->IsAlwaysGreaterThanZero(lhs - rhs, result);
975 return scev_analysis_->IsAlwaysGreaterOrEqualToZero(rhs - lhs, result);
978 return scev_analysis_->IsAlwaysGreaterOrEqualToZero(lhs - rhs, result);