diff options
| author | Richard Biener <rguenther@suse.de> | 2020-05-18 09:17:24 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:03:36 -0300 |
| commit | 22ba2a95b21a20b4a8ecd5872d0ea5cf4b9e5818 (patch) | |
| tree | 296dff56da252aa178060beee696fa51a91c662f /gcc/tree-inline.c | |
| parent | e2940fa78e011686431536fc43b2253f4bc5bd66 (diff) | |
| download | gcc-22ba2a95b21a20b4a8ecd5872d0ea5cf4b9e5818.zip gcc-22ba2a95b21a20b4a8ecd5872d0ea5cf4b9e5818.tar.gz gcc-22ba2a95b21a20b4a8ecd5872d0ea5cf4b9e5818.tar.bz2 | |
tree-optimization/95172 - avoid mixing conditionalized and ordered SM
The following testcase shows a missed optimization that then leads to
wrong-code when issueing SMed stores on exits. When we were able to
compute an ordered sequence of stores for an exit we need to emit
that in the correct order and we can emit it disregarding to any
conditional for whether a store actually happened (we know it did).
We can also improve detection as of whether we need conditional
processing at all. Both parts fix the testcase.
2020-05-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/95172
* tree-ssa-loop-im.c (execute_sm): Get flag whether we
eventually need the conditional processing.
(execute_sm_exit): When processing an orderd sequence
avoid doing any conditional processing.
(hoist_memory_references): Pass down whether all edges
have ordered processing for a ref to execute_sm.
* gcc.dg/torture/pr95172.c: New testcase.
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions