Hi, On Fri, Jan 03 2020, Feng Xue OS wrote: > 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 <f...@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.
as far as I am concerned, the patch looks good. Thanks, Martin
