Lines Matching defs:lhs
838 SExpression lhs = scev_analysis_->AnalyzeInstruction(
840 if (lhs->GetType() == SENode::CanNotCompute) {
854 bool is_lhs_rec = !scev_analysis_->IsLoopInvariant(loop_, lhs);
862 if (!lhs->AsSERecurrentNode() ||
863 lhs->AsSERecurrentNode()->GetLoop() != loop_) {
892 return HandleEquality(lhs, rhs);
918 std::swap(lhs, rhs);
938 return HandleInequality(cmp_operator, lhs, rhs->AsSERecurrentNode());
960 SExpression lhs,
963 assert(scev_analysis_->IsLoopInvariant(loop_, lhs));
965 // We perform the test: 0 cmp_op rhs - lhs
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);
985 LoopPeelingPass::LoopPeelingInfo::HandleEquality(SExpression lhs,
989 SExpression lhs_cst = lhs;
990 if (SERecurrentNode* rec_node = lhs->AsSERecurrentNode()) {
1005 SExpression lhs_cst = lhs;
1006 if (SERecurrentNode* rec_node = lhs->AsSERecurrentNode()) {
1008 // assign to lhs: a * (loop_max_iterations_ - 1) + b
1014 // assign to lhs: a * (loop_max_iterations_ - 1) + b
1028 SExpression lhs,
1033 std::pair<SExpression, int64_t> flip_iteration = (lhs - offset) / coefficient;
1054 if (!EvalOperator(cmp_op, lhs, offset, &first_iteration) ||
1055 !EvalOperator(cmp_op, lhs, GetValueAtIteration(rhs, iteration),