[PATCH] Fix a bug that propagation in recursive function uses wrong aggregate lattice (PR ipa/93084)

Feng Xue OS fxue@os.amperecomputing.com
Fri Jan 3 15:50:00 GMT 2020


When checking a self-recursively generated value for aggregate jump
function, wrong aggregate lattice was used, which will cause infinite
constant propagation. This patch is composed to fix this issue. 

2020-01-03  Feng Xue  <fxue@os.amperecomputing.com>

        PR ipa/93084
        * ipa-cp.c (self_recursively_generated_p): Find matched aggregate
        lattice for a value to check.
        (propagate_vals_across_arith_jfunc): Add an assertion to ensure
        finite propagation in self-recursive scc.

Feng
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Fix-pr93084.patch
Type: application/octet-stream
Size: 2545 bytes
Desc: 0001-Fix-pr93084.patch
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20200103/9364b1e0/attachment.obj>


More information about the Gcc-patches mailing list