diff options
| author | Martin Jambor <mjambor@suse.cz> | 2021-04-01 10:12:23 +0200 |
|---|---|---|
| committer | Martin Jambor <mjambor@suse.cz> | 2021-04-01 10:12:23 +0200 |
| commit | 19d71674616e6494a60432a2a28adcd762a6c877 (patch) | |
| tree | 6d6e09f90303c5a2b4815625429e2eb59232d494 /gcc/tree-sra.c | |
| parent | d7cef070bf43bfb3f3d77bac42eadea06c4b0281 (diff) | |
| download | gcc-19d71674616e6494a60432a2a28adcd762a6c877.zip gcc-19d71674616e6494a60432a2a28adcd762a6c877.tar.gz gcc-19d71674616e6494a60432a2a28adcd762a6c877.tar.bz2 | |
sra: Fix bug in grp_write propagation (PR 97009)
SRA represents parts of aggregates which are arrays accessed with
unknown index as "unscalarizable regions." When there are two such
regions one within another and the outer is only read whereas the
inner is written to, SRA fails to propagate that write information
across assignments. This means that a second aggregate can contain
data while SRA thinks it does not and the pass can wrongly eliminate
big chunks of assignment from that second aggregate into a third
aggregate, which is what happens in PR 97009.
Fixed by checking all children of unscalariable accesses for the
grp_write flag.
gcc/ChangeLog:
2021-03-31 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/97009
* tree-sra.c (access_or_its_child_written): New function.
(propagate_subaccesses_from_rhs): Use it instead of a simple grp_write
test.
gcc/testsuite/ChangeLog:
2021-03-31 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/97009
* gcc.dg/tree-ssa/pr97009.c: New test.
Diffstat (limited to 'gcc/tree-sra.c')
| -rw-r--r-- | gcc/tree-sra.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index d177f1b..8dfc923 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -2723,6 +2723,19 @@ budget_for_propagation_access (tree decl) return true; } +/* Return true if ACC or any of its subaccesses has grp_child set. */ + +static bool +access_or_its_child_written (struct access *acc) +{ + if (acc->grp_write) + return true; + for (struct access *sub = acc->first_child; sub; sub = sub->next_sibling) + if (access_or_its_child_written (sub)) + return true; + return false; +} + /* Propagate subaccesses and grp_write flags of RACC across an assignment link to LACC. Enqueue sub-accesses as necessary so that the write flag is propagated transitively. Return true if anything changed. Additionally, if @@ -2836,7 +2849,7 @@ propagate_subaccesses_from_rhs (struct access *lacc, struct access *racc) if (rchild->grp_unscalarizable_region || !budget_for_propagation_access (lacc->base)) { - if (rchild->grp_write && !lacc->grp_write) + if (!lacc->grp_write && access_or_its_child_written (rchild)) { ret = true; subtree_mark_written_and_rhs_enqueue (lacc); |