[PATCH] D138568: [SCEV][NFC] Rename MaxNotTaken -> ConstantMaxNotTaken

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 24 01:17:33 PST 2022


mkazantsev added inline comments.


================
Comment at: llvm/include/llvm/Analysis/ScalarEvolution.h:1315
     const SCEV *ExactNotTaken; // The exit is not taken exactly this many times
-    const SCEV *MaxNotTaken; // The exit is not taken at most this many times
+    const SCEV *ConstantMaxNotTaken; // The exit is not taken at most this many
+                                     // times
----------------
lebedev.ri wrote:
> Here and elsewhere:
> `const SCEVConstant *ConstantMaxNotTaken;`
> ?
No, because it can also be `SCEVCouldNotCompute` which is default. See
```
  assert((isa<SCEVCouldNotCompute>(ConstantMaxNotTaken) ||
          isa<SCEVConstant>(ConstantMaxNotTaken)) &&
         "No point in having a non-constant max backedge taken count!");
```


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D138568/new/

https://reviews.llvm.org/D138568



More information about the llvm-commits mailing list