From: Dmitry Makogon Date: Mon, 6 Mar 2023 11:58:31 +0000 (+0700) Subject: [SCEV] Use fallthoughs in predicate switch when collecting rewrites for loop guard... X-Git-Tag: upstream/17.0.6~15662 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=30496bf6453207ee93fda8330e84fec02b40c5bf;p=platform%2Fupstream%2Fllvm.git [SCEV] Use fallthoughs in predicate switch when collecting rewrites for loop guard (NFC) --- diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 5da3aaa..cccf6cb 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -15066,31 +15066,27 @@ const SCEV *ScalarEvolution::applyLoopGuards(const SCEV *Expr, const Loop *L) { if (RHS->getType()->isPointerTy()) break; const SCEV *One = getOne(RHS->getType()); - RewrittenRHS = - getUMinExpr(RewrittenLHS, getMinusSCEV(getUMaxExpr(RHS, One), One)); - break; + RHS = getMinusSCEV(getUMaxExpr(RHS, One), One); + LLVM_FALLTHROUGH; } - case CmpInst::ICMP_SLT: - RewrittenRHS = - getSMinExpr(RewrittenLHS, getMinusSCEV(RHS, getOne(RHS->getType()))); - break; case CmpInst::ICMP_ULE: RewrittenRHS = getUMinExpr(RewrittenLHS, RHS); break; + case CmpInst::ICMP_SLT: + RHS = getMinusSCEV(RHS, getOne(RHS->getType())); + LLVM_FALLTHROUGH; case CmpInst::ICMP_SLE: RewrittenRHS = getSMinExpr(RewrittenLHS, RHS); break; case CmpInst::ICMP_UGT: - RewrittenRHS = - getUMaxExpr(RewrittenLHS, getAddExpr(RHS, getOne(RHS->getType()))); - break; - case CmpInst::ICMP_SGT: - RewrittenRHS = - getSMaxExpr(RewrittenLHS, getAddExpr(RHS, getOne(RHS->getType()))); - break; + RHS = getAddExpr(RHS, getOne(RHS->getType())); + LLVM_FALLTHROUGH; case CmpInst::ICMP_UGE: RewrittenRHS = getUMaxExpr(RewrittenLHS, RHS); break; + case CmpInst::ICMP_SGT: + RHS = getAddExpr(RHS, getOne(RHS->getType())); + LLVM_FALLTHROUGH; case CmpInst::ICMP_SGE: RewrittenRHS = getSMaxExpr(RewrittenLHS, RHS); break;