diff options
| author | Feng Xue <fxue@os.amperecomputing.com> | 2020-01-08 02:55:00 +0000 |
|---|---|---|
| committer | Feng Xue <fxue@gcc.gnu.org> | 2020-01-08 02:55:00 +0000 |
| commit | 42d73fa9d575e3c8c21e88bd7f65922e17b052f1 (patch) | |
| tree | 708a805ea61406a0b0d2e79dbc84a1a7be0db35f /gcc/ipa-cp.c | |
| parent | 709d7838e753bbb6f16e2ed88a118ed81c367040 (diff) | |
| download | gcc-42d73fa9d575e3c8c21e88bd7f65922e17b052f1.zip gcc-42d73fa9d575e3c8c21e88bd7f65922e17b052f1.tar.gz gcc-42d73fa9d575e3c8c21e88bd7f65922e17b052f1.tar.bz2 | |
Find matched aggregate lattice for self-recursive CP (PR ipa/93084)
2020-01-08 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.
2020-01-08 Feng Xue <fxue@os.amperecomputing.com>
PR ipa/93084
* gcc.dg/ipa/ipa-clone-3.c: New test.
From-SVN: r279987
Diffstat (limited to 'gcc/ipa-cp.c')
| -rw-r--r-- | gcc/ipa-cp.c | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/gcc/ipa-cp.c b/gcc/ipa-cp.c index 4381b35..1163198 100644 --- a/gcc/ipa-cp.c +++ b/gcc/ipa-cp.c @@ -1917,10 +1917,25 @@ self_recursively_generated_p (ipcp_value<tree> *val) class ipcp_param_lattices *plats = ipa_get_parm_lattices (info, src->index); - ipcp_lattice<tree> *src_lat = src->offset == -1 ? &plats->itself - : plats->aggs; + ipcp_lattice<tree> *src_lat; ipcp_value<tree> *src_val; + if (src->offset == -1) + src_lat = &plats->itself; + else + { + struct ipcp_agg_lattice *src_aglat; + + for (src_aglat = plats->aggs; src_aglat; src_aglat = src_aglat->next) + if (src_aglat->offset == src->offset) + break; + + if (!src_aglat) + return false; + + src_lat = src_aglat; + } + for (src_val = src_lat->values; src_val; src_val = src_val->next) if (src_val == val) break; @@ -2017,6 +2032,8 @@ propagate_vals_across_arith_jfunc (cgraph_edge *cs, val_seeds.safe_push (src_val); } + gcc_assert ((int) val_seeds.length () <= param_ipa_cp_value_list_size); + /* Recursively generate lattice values with a limited count. */ FOR_EACH_VEC_ELT (val_seeds, i, src_val) { |