mirror/gcc
1
0
Fork 0
mirror of https://github.com/gcc-mirror/gcc.git synced 2024-11-21 13:40:47 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fail vectorization when not using SLP and --param vect-force-slp == 1

Browse Source 
The following adds --param vect-force-slp to enable the transition
to full SLP.  Full SLP is enforced during stmt analysis where it
detects failed SLP discovery and at loop analysis time where it
avoids analyzing a loop with SLP disabled.  Failure to SLP results
in vectorization to fail.

	* params.opt (vect-force-slp): New param, default 0.
	* doc/invoke.texi (--param vect-force-slp): Document.
	* tree-vect-loop.cc (vect_analyze_loop_2): When analyzing
	without SLP but --param vect-force-slp is 1 fail.
	* tree-vect-stmts.cc (vect_analyze_stmt): Fail vectorization
	for non-SLP stmts when --param vect-force-slp is 1.
This commit is contained in:
Richard Biener 2024-09-08 11:21:19 +02:00 committed by Richard Biener
parent ad5bfc2b70
commit de1389e24e
4 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gcc/doc/invoke.texi
View File

@ -16955,6 +16955,9 @@ this parameter. The default value of this parameter is 50.
@item vect-induction-float
Enable loop vectorization of floating point inductions.
@item vect-force-slp
Force the use of SLP when vectorizing, fail if not possible.
@item vrp-block-limit
Maximum number of basic blocks before VRP switches to a lower memory algorithm.

4
gcc/params.opt
View File

@ -1198,6 +1198,10 @@ The maximum factor which the loop vectorizer applies to the cost of statements i
Common Joined UInteger Var(param_vect_induction_float) Init(1) IntegerRange(0, 1) Param Optimization
Enable loop vectorization of floating point inductions.
-param=vect-force-slp=
Common Joined UInteger Var(param_vect_force_slp) Init(0) IntegerRange(0, 1) Param Optimization
Force the use of SLP when vectorizing, fail if not possible.
-param=vrp-block-limit=
Common Joined UInteger Var(param_vrp_block_limit) Init(150000) Optimization Param
Maximum number of basic blocks before VRP switches to a fast model with less memory requirements.

6
gcc/tree-vect-loop.cc
View File

@ -2891,6 +2891,12 @@ vect_analyze_loop_2 (loop_vec_info loop_vinfo, bool &fatal,
/* This is the point where we can re-start analysis with SLP forced off. */
start_over:
/* When we arrive here with SLP disabled and we are supposed
to use SLP for everything fail vectorization. */
if (!slp && param_vect_force_slp)
return opt_result::failure_at (vect_location,
"may need non-SLP handling\n");
/* Apply the suggested unrolling factor, this was determined by the backend
during finish_cost the first time we ran the analyzis for this
vector mode. */

6
gcc/tree-vect-stmts.cc
View File

@ -13353,6 +13353,12 @@ vect_analyze_stmt (vec_info *vinfo,
return opt_result::success ();
}
/* When we arrive here with a non-SLP statement and we are supposed
to use SLP for everything fail vectorization. */
if (!node && param_vect_force_slp)
return opt_result::failure_at (stmt_info->stmt,
"needs non-SLP handling\n");
ok = true;
if (!bb_vinfo
&& (STMT_VINFO_RELEVANT_P (stmt_info)