In the approval of D65299, commited as rL367440, I mentioned that my
proposed wording was lacking the word "maximal". It is added now for
correctness.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@367445
91177308-0d34-0410-b5e6-
96231b3b80d8
of the common terminology used within LLVM code to describe loop
structures.
-First, let's start with the basics. In LLVM, a Loop is a set of basic
+First, let's start with the basics. In LLVM, a Loop is a maximal set of basic
blocks that form a strongly connected component (SCC) in the Control
Flow Graph (CFG) where there exists a dedicated entry/header block that
dominates all other blocks within the loop. Thus, without leaving the