Commit 7b920a9a by Martin Jambor Committed by Martin Jambor

re PR middle-end/56988 (ipa-cp incorrectly propagates a field of an aggregate)

2013-05-02  Martin Jambor  <mjambor@suse.cz>

	PR middle-end/56988
	* ipa-prop.h (ipa_agg_replacement_value): New flag by_ref.
	* ipa-cp.c (ipa_get_indirect_edge_target_1): Also check that by_ref
	flags match.
	(find_aggregate_values_for_callers_subset): Fill in the by_ref flag of
	ipa_agg_replacement_value structures.
	(known_aggs_to_agg_replacement_list): Likewise.
	* ipa-prop.c (write_agg_replacement_chain): Stream by_ref flag.
	(read_agg_replacement_chain): Likewise.
	(ipcp_transform_function): Also check that by_ref flags match.

testsuite/
	* gcc.dg/ipa/pr56988.c: New test.

From-SVN: r198540
parent 2c41c19d
2013-05-02 Martin Jambor <mjambor@suse.cz>
PR middle-end/56988
* ipa-prop.h (ipa_agg_replacement_value): New flag by_ref.
* ipa-cp.c (ipa_get_indirect_edge_target_1): Also check that by_ref
flags match.
(find_aggregate_values_for_callers_subset): Fill in the by_ref flag of
ipa_agg_replacement_value structures.
(known_aggs_to_agg_replacement_list): Likewise.
* ipa-prop.c (write_agg_replacement_chain): Stream by_ref flag.
(read_agg_replacement_chain): Likewise.
(ipcp_transform_function): Also check that by_ref flags match.
2013-05-02 Richard Biener <rguenther@suse.de> 2013-05-02 Richard Biener <rguenther@suse.de>
* graphds.h (struct graph): Add obstack member. * graphds.h (struct graph): Add obstack member.
......
...@@ -1494,7 +1494,8 @@ ipa_get_indirect_edge_target_1 (struct cgraph_edge *ie, ...@@ -1494,7 +1494,8 @@ ipa_get_indirect_edge_target_1 (struct cgraph_edge *ie,
while (agg_reps) while (agg_reps)
{ {
if (agg_reps->index == param_index if (agg_reps->index == param_index
&& agg_reps->offset == ie->indirect_info->offset) && agg_reps->offset == ie->indirect_info->offset
&& agg_reps->by_ref == ie->indirect_info->by_ref)
{ {
t = agg_reps->value; t = agg_reps->value;
break; break;
...@@ -3028,11 +3029,12 @@ find_aggregate_values_for_callers_subset (struct cgraph_node *node, ...@@ -3028,11 +3029,12 @@ find_aggregate_values_for_callers_subset (struct cgraph_node *node,
struct cgraph_edge *cs; struct cgraph_edge *cs;
vec<ipa_agg_jf_item_t> inter = vNULL; vec<ipa_agg_jf_item_t> inter = vNULL;
struct ipa_agg_jf_item *item; struct ipa_agg_jf_item *item;
struct ipcp_param_lattices *plats = ipa_get_parm_lattices (dest_info, i);
int j; int j;
/* Among other things, the following check should deal with all by_ref /* Among other things, the following check should deal with all by_ref
mismatches. */ mismatches. */
if (ipa_get_parm_lattices (dest_info, i)->aggs_bottom) if (plats->aggs_bottom)
continue; continue;
FOR_EACH_VEC_ELT (callers, j, cs) FOR_EACH_VEC_ELT (callers, j, cs)
...@@ -3054,6 +3056,7 @@ find_aggregate_values_for_callers_subset (struct cgraph_node *node, ...@@ -3054,6 +3056,7 @@ find_aggregate_values_for_callers_subset (struct cgraph_node *node,
v->index = i; v->index = i;
v->offset = item->offset; v->offset = item->offset;
v->value = item->value; v->value = item->value;
v->by_ref = plats->aggs_by_ref;
v->next = res; v->next = res;
res = v; res = v;
} }
...@@ -3083,6 +3086,7 @@ known_aggs_to_agg_replacement_list (vec<ipa_agg_jump_function_t> known_aggs) ...@@ -3083,6 +3086,7 @@ known_aggs_to_agg_replacement_list (vec<ipa_agg_jump_function_t> known_aggs)
v->index = i; v->index = i;
v->offset = item->offset; v->offset = item->offset;
v->value = item->value; v->value = item->value;
v->by_ref = aggjf->by_ref;
v->next = res; v->next = res;
res = v; res = v;
} }
......
...@@ -3712,9 +3712,15 @@ write_agg_replacement_chain (struct output_block *ob, struct cgraph_node *node) ...@@ -3712,9 +3712,15 @@ write_agg_replacement_chain (struct output_block *ob, struct cgraph_node *node)
for (av = aggvals; av; av = av->next) for (av = aggvals; av; av = av->next)
{ {
struct bitpack_d bp;
streamer_write_uhwi (ob, av->offset); streamer_write_uhwi (ob, av->offset);
streamer_write_uhwi (ob, av->index); streamer_write_uhwi (ob, av->index);
stream_write_tree (ob, av->value, true); stream_write_tree (ob, av->value, true);
bp = bitpack_create (ob->main_stream);
bp_pack_value (&bp, av->by_ref, 1);
streamer_write_bitpack (&bp);
} }
} }
...@@ -3732,11 +3738,14 @@ read_agg_replacement_chain (struct lto_input_block *ib, ...@@ -3732,11 +3738,14 @@ read_agg_replacement_chain (struct lto_input_block *ib,
for (i = 0; i <count; i++) for (i = 0; i <count; i++)
{ {
struct ipa_agg_replacement_value *av; struct ipa_agg_replacement_value *av;
struct bitpack_d bp;
av = ggc_alloc_ipa_agg_replacement_value (); av = ggc_alloc_ipa_agg_replacement_value ();
av->offset = streamer_read_uhwi (ib); av->offset = streamer_read_uhwi (ib);
av->index = streamer_read_uhwi (ib); av->index = streamer_read_uhwi (ib);
av->value = stream_read_tree (ib, data_in); av->value = stream_read_tree (ib, data_in);
bp = streamer_read_bitpack (ib);
av->by_ref = bp_unpack_value (&bp, 1);
av->next = aggvals; av->next = aggvals;
aggvals = av; aggvals = av;
} }
...@@ -3955,7 +3964,7 @@ ipcp_transform_function (struct cgraph_node *node) ...@@ -3955,7 +3964,7 @@ ipcp_transform_function (struct cgraph_node *node)
if (v->index == index if (v->index == index
&& v->offset == offset) && v->offset == offset)
break; break;
if (!v) if (!v || v->by_ref != by_ref)
continue; continue;
gcc_checking_assert (is_gimple_ip_invariant (v->value)); gcc_checking_assert (is_gimple_ip_invariant (v->value));
......
...@@ -386,6 +386,8 @@ struct GTY(()) ipa_agg_replacement_value ...@@ -386,6 +386,8 @@ struct GTY(()) ipa_agg_replacement_value
tree value; tree value;
/* The paramter index. */ /* The paramter index. */
int index; int index;
/* Whether the value was passed by reference. */
bool by_ref;
}; };
typedef struct ipa_agg_replacement_value *ipa_agg_replacement_value_p; typedef struct ipa_agg_replacement_value *ipa_agg_replacement_value_p;
......
2013-05-02 Martin Jambor <mjambor@suse.cz>
PR middle-end/56988
* gcc.dg/ipa/pr56988.c: New test.
2013-05-02 Ian Bolton <ian.bolton@arm.com> 2013-05-02 Ian Bolton <ian.bolton@arm.com>
* gcc.target/aarch64/bics_1.c: New test. * gcc.target/aarch64/bics_1.c: New test.
......
/* { dg-do run } */
/* { dg-options "-O3" } */
/* { dg-add-options bind_pic_locally } */
struct S
{
int a, b, c;
};
volatile int g;
static void __attribute__ ((noinline, noclone))
bar (struct S **p)
{
g = 5;
};
static void __attribute__ ((noinline))
foo (struct S *p)
{
int i = p->a;
if (i != 1)
__builtin_abort ();
bar (&p);
}
int
main (int argc, char *argv[])
{
struct S s;
s.a = 1;
s.b = 64;
s.c = 32;
foo (&s);
return 0;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment