diff options
| -rw-r--r-- | llvm/lib/Transforms/Utils/LoopUnroll.cpp | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/llvm/lib/Transforms/Utils/LoopUnroll.cpp b/llvm/lib/Transforms/Utils/LoopUnroll.cpp index fb98b30bc7c..505e4525696 100644 --- a/llvm/lib/Transforms/Utils/LoopUnroll.cpp +++ b/llvm/lib/Transforms/Utils/LoopUnroll.cpp @@ -275,17 +275,15 @@ bool llvm::UnrollLoop(Loop *L, unsigned Count, unsigned TripCount, // Loops containing convergent instructions must have a count that divides // their TripMultiple. - DEBUG( - bool HasConvergent = false; - for (auto &BB : L->blocks()) - for (auto &I : *BB) - if (auto CS = CallSite(&I)) - HasConvergent |= CS.isConvergent(); - assert( - !HasConvergent || TripMultiple % Count == 0 && - "Unroll count must divide trip multiple if loop contains a convergent " - "operation."); - ); + DEBUG(bool HasConvergent = false; + for (auto &BB + : L->blocks()) for (auto &I + : *BB) if (auto CS = CallSite(&I)) + HasConvergent |= CS.isConvergent(); + assert((!HasConvergent || TripMultiple % Count == 0) && + "Unroll count must divide trip multiple if loop contains a " + "convergent " + "operation.");); // Don't output the runtime loop prolog if Count is a multiple of // TripMultiple. Such a prolog is never needed, and is unsafe if the loop // contains a convergent instruction. |
