From c0dce97123f6f4da675cddd13ed78cb6af3dc790 Mon Sep 17 00:00:00 2001 From: Florian Hahn Date: Tue, 28 May 2024 16:18:13 -0700 Subject: !fixup add doc-comment. --- llvm/include/llvm/Analysis/ScalarEvolution.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/llvm/include/llvm/Analysis/ScalarEvolution.h b/llvm/include/llvm/Analysis/ScalarEvolution.h index d9e10dd..72f3d94 100644 --- a/llvm/include/llvm/Analysis/ScalarEvolution.h +++ b/llvm/include/llvm/Analysis/ScalarEvolution.h @@ -912,6 +912,10 @@ public: return getBackedgeTakenCount(L, SymbolicMaximum); } + /// Similar to getSymbolicMaxBackedgeTakenCount, except it will add a set of + /// SCEV predicates to Predicates that are required to be true in order for + /// the answer to be correct. Predicates can be checked with run-time + /// checks and can be used to perform loop versioning. const SCEV *getPredicatedSymbolicMaxBackedgeTakenCount( const Loop *L, SmallVector &Predicates); -- cgit v1.1