]> git.ipfire.org Git - thirdparty/gcc.git/commit
finite_loop_p tweak
authorJan Hubicka <jh@suse.cz>
Fri, 21 Jul 2023 11:57:34 +0000 (13:57 +0200)
committerJan Hubicka <jh@suse.cz>
Fri, 21 Jul 2023 11:57:34 +0000 (13:57 +0200)
commit3038d598529d612391728b1895c21954ddb24306
tree4f55ec17fdada7e8e55ba3406301eebc19c0e768
parent15ec8d5ab5f21997cfa34cdba9f4b2daea40e710
finite_loop_p tweak

We have finite_p flag in loop structure.  finite_loop_p already know to
use it, but we also may set the flag when we prove loop to be finite by
SCEV analysis to avoid duplicated work.

Bootstrapped/regtested x86_64-linux, OK?

gcc/ChangeLog:

* tree-ssa-loop-niter.cc (finite_loop_p): Reorder to do cheap
tests first; update finite_p flag.
gcc/tree-ssa-loop-niter.cc