params.def (PARAM_DSE_MAX_ALIAS_QUERIES_PER_STORE): New param.
authorRichard Biener <rguenther@suse.de>
Wed, 16 May 2018 13:02:27 +0000 (13:02 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 16 May 2018 13:02:27 +0000 (13:02 +0000)
commit311eb8168ea83b8b7ce76735fee8c594cda5a0e0
tree458fa57074883441e57ab838c7d5537943e23ee7
parent1f3cb66326d724cca10ac6097ab32c53191c53ff
params.def (PARAM_DSE_MAX_ALIAS_QUERIES_PER_STORE): New param.

2018-05-16  Richard Biener  <rguenther@suse.de>

* params.def (PARAM_DSE_MAX_ALIAS_QUERIES_PER_STORE): New param.
* doc/invoke.texi (dse-max-alias-queries-per-store): Document.
* tree-ssa-dse.c: Include tree-ssa-loop.h.
(check_name): New callback.
(dse_classify_store): Track cycles via a visited bitmap of PHI
defs and simplify handling of in-loop and across loop dead stores
and properly fail for loop-variant refs.  Handle byte-tracking with
multiple defs.  Use PARAM_DSE_MAX_ALIAS_QUERIES_PER_STORE for
limiting the walk.

* gcc.dg/tree-ssa/ssa-dse-32.c: New testcase.
* gcc.dg/tree-ssa/ssa-dse-33.c: Likewise.
* gcc.dg/uninit-pr81897-2.c: Use -fno-tree-dse.

From-SVN: r260288
gcc/ChangeLog
gcc/doc/invoke.texi
gcc/params.def
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/ssa-dse-32.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/ssa-dse-33.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/uninit-pr81897-2.c
gcc/tree-ssa-dse.c