| 1049 | } |
| 1050 | |
| 1051 | bool LoopPeelingPass::LoopPeelingInfo::EvalOperator(CmpOperator cmp_op, |
| 1052 | SExpression lhs, |
| 1053 | SExpression rhs, |
| 1054 | bool* result) const { |
| 1055 | assert(scev_analysis_->IsLoopInvariant(loop_, lhs)); |
| 1056 | assert(scev_analysis_->IsLoopInvariant(loop_, rhs)); |
| 1057 | // We perform the test: 0 cmp_op rhs - lhs |
| 1058 | // What is left is then to determine the sign of the expression. |
| 1059 | switch (cmp_op) { |
| 1060 | case CmpOperator::kLT: { |
| 1061 | return scev_analysis_->IsAlwaysGreaterThanZero(rhs - lhs, result); |
| 1062 | } |
| 1063 | case CmpOperator::kGT: { |
| 1064 | return scev_analysis_->IsAlwaysGreaterThanZero(lhs - rhs, result); |
| 1065 | } |
| 1066 | case CmpOperator::kLE: { |
| 1067 | return scev_analysis_->IsAlwaysGreaterOrEqualToZero(rhs - lhs, result); |
| 1068 | } |
| 1069 | case CmpOperator::kGE: { |
| 1070 | return scev_analysis_->IsAlwaysGreaterOrEqualToZero(lhs - rhs, result); |
| 1071 | } |
| 1072 | } |
| 1073 | return false; |
| 1074 | } |
| 1075 | |
| 1076 | LoopPeelingPass::LoopPeelingInfo::Direction |
| 1077 | LoopPeelingPass::LoopPeelingInfo::HandleEquality(SExpression lhs, |
nothing calls this directly
no test coverage detected