[COMMITTED] Correctly unify recomputation with existing range.

[Andrew MacLeod]

When propagating the on-entry cache, new block ranges are calculated by 
combining all the incoming edges and comparing to the old value.

When a recomputation was performed on an edge, it didn't take into 
account that the value in the block may already be better than a 
potential recompuation... Thus a worse values was sometimes propagated.

Fixed by simply calling the now correct range_on_edge the cache provides.

bootstraps on x86_64-pc-linux-gnu with no regressions.  pushed.

Andrew


-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Correctly-unify-recomputation-with-existing-range.patch
Type: text/x-patch
Size: 2469 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210624/4e2255af/attachment.bin>