Flags = ScalarEvolution::setFlags(Flags, SCEV::FlagNUW);
if (BinOp->hasNoSignedWrap())
Flags = ScalarEvolution::setFlags(Flags, SCEV::FlagNSW);
- if (Flags == SCEV::FlagAnyWrap) {
+ if (Flags == SCEV::FlagAnyWrap)
return SCEV::FlagAnyWrap;
- }
// Here we check that BinOp is in the header of the innermost loop
// containing BinOp, since we only deal with instructions in the loop
// recurrence, but getting that requires computing the SCEV of the operands,
// which can be expensive. This check we can do cheaply to rule out some
// cases early.
- Loop *innermostContainingLoop = LI.getLoopFor(BinOp->getParent());
- if (innermostContainingLoop == nullptr ||
- innermostContainingLoop->getHeader() != BinOp->getParent())
+ Loop *InnermostContainingLoop = LI.getLoopFor(BinOp->getParent());
+ if (InnermostContainingLoop == nullptr ||
+ InnermostContainingLoop->getHeader() != BinOp->getParent())
return SCEV::FlagAnyWrap;
// Only proceed if we can prove that BinOp does not yield poison.