diff options
| author | Andrew Carlotti <andrew.carlotti@arm.com> | 2022-11-09 15:59:21 +0000 |
|---|---|---|
| committer | Andrew Carlotti <andrew.carlotti@arm.com> | 2022-11-21 16:00:52 +0000 |
| commit | f80bfdcc84707583a66526fb1fb428eb66389359 (patch) | |
| tree | f05efb0c671374238882f2bae4bd1bd24bf80952 | |
| parent | 2aec4088835ae5996ef818b326a0ff133307dbc5 (diff) | |
| download | gcc-f80bfdcc84707583a66526fb1fb428eb66389359.zip gcc-f80bfdcc84707583a66526fb1fb428eb66389359.tar.gz gcc-f80bfdcc84707583a66526fb1fb428eb66389359.tar.bz2 | |
Expand comment for tree_niter_desc.max
This requirement is enforced by a gcc_checking_assert in
record_estimate.
gcc/ChangeLog:
* tree-ssa-loop.h (tree_niter_desc): Update comment.
| -rw-r--r-- | gcc/tree-ssa-loop.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-ssa-loop.h b/gcc/tree-ssa-loop.h index 6c70f79..c24215b 100644 --- a/gcc/tree-ssa-loop.h +++ b/gcc/tree-ssa-loop.h @@ -52,7 +52,8 @@ public: may_be_zero == false), more precisely the number of executions of the latch of the loop. */ widest_int max; /* The upper bound on the number of iterations of - the loop. */ + the loop. If niter is constant, then these values + must agree. */ /* The simplified shape of the exit condition. This information is used by loop unrolling. If CMP is ERROR_MARK, then the loop cannot be unrolled. |