]> git.ipfire.org Git - thirdparty/gcc.git/commit
target/108738 - limit STV chain discovery
authorRichard Biener <rguenther@suse.de>
Thu, 2 Mar 2023 12:43:51 +0000 (13:43 +0100)
committerRichard Biener <rguenther@suse.de>
Fri, 3 Mar 2023 07:26:58 +0000 (08:26 +0100)
commit6010189923908501ca5b02bd1f4aee05d2283118
treed2d2108d9e45f2673a33fb2a5bb1c2c640124250
parent33ca5c92dfa7e2f591a838bb768d9d6eea56793b
target/108738 - limit STV chain discovery

The following puts a hard limit on the inherently quadratic STV chain
discovery.  Without a limit for the compiler.i testcase in PR26854
we see at -O2

 machine dep reorg                  : 574.45 ( 53%)

with release checking while with the proposed limit it's

 machine dep reorg                  :   2.86 (  1%)

PR target/108738
* config/i386/i386.opt (--param x86-stv-max-visits): New param.
* doc/invoke.texi (--param x86-stv-max-visits): Document it.
* config/i386/i386-features.h (scalar_chain::max_visits): New.
(scalar_chain::build): Add bitmap parameter, return boolean.
(scalar_chain::add_insn): Likewise.
(scalar_chain::analyze_register_chain): Likewise.
* config/i386/i386-features.cc (scalar_chain::scalar_chain):
Initialize max_visits.
(scalar_chain::analyze_register_chain): When we exhaust
max_visits, abort.  Also abort when running into any
disallowed insn.
(scalar_chain::add_insn): Propagate abort.
(scalar_chain::build): Likewise.  When aborting amend
the set of disallowed insn with the insns set.
(convert_scalars_to_vector): Adjust.  Do not convert aborted
chains.
gcc/config/i386/i386-features.cc
gcc/config/i386/i386-features.h
gcc/config/i386/i386.opt
gcc/doc/invoke.texi