[PATCH] PR tree-optimization/100774- Range invariant global values are also always current.

Andrew MacLeod amacleod@redhat.com
Tue Jun 1 01:32:06 GMT 2021

When a range evolves to the point where it becomes a constant, it is 
marked as invariant.  Rather than marking it as always_current in the 
timestamp, give it the correct timestamp and just never flag it as 
stale. This will allow other names which use this value to become stale 
and be recomputed using the newly invariant value.
Furthermore, any range which has evolved to a constant should also be 
considered non-stale.

Bootstrapped on x86_64-pc-linux-gnu, with no new regressions. This picks 
up a couple of cases we had started missing.  pushed.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Range-invariant-global-values-are-also-always-curren.patch
Type: text/x-patch
Size: 3102 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210531/70c274be/attachment.bin>

More information about the Gcc-patches mailing list