diff mbox series

[8/8] middle-end: Expand comment for tree_niter_desc.max

Message ID Y26dZqWmy8qJdpjn@e124511.cambridge.arm.com
State Accepted
Headers
Series middle-end: Popcount and clz/ctz idiom recognition improvements |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Andrew Carlotti Nov. 11, 2022, 7:07 p.m. UTC 
  This requirement is enforced by a gcc_checking_assert in
record_estimate.

gcc/ChangeLog:

	* tree-ssa-loop.h (tree_niter_desc): Update comment.


--

Comments

Jeff Law Nov. 14, 2022, 2:51 p.m. UTC | #1 
On 11/11/22 12:07, Andrew Carlotti via Gcc-patches wrote:
> This requirement is enforced by a gcc_checking_assert in
> record_estimate.
>
> gcc/ChangeLog:
>
> 	* tree-ssa-loop.h (tree_niter_desc): Update comment.

OK

jeff
diff mbox series

Patch

diff --git a/gcc/tree-ssa-loop.h b/gcc/tree-ssa-loop.h
index 6c70f795d171f22b3ed75873fec4920fea75255b..c24215be8822c31a05eaedcf4d3a26db0feab6cf 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.