From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 363C83870879; Mon, 13 May 2024 14:27:43 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 363C83870879 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1715610464; bh=hQoUnp0h7o6lro2cYX5QZzz5rerqfab0ONhNsM/oFfA=; h=From:To:Subject:Date:From; b=pORnL4B0brNMBUENY/QlD9A7JTOt5J4DcNXYmX6dBIgKTlxKeNWGiqPIQpWnnkDze ow4GJx5xIsCcVhCshYE/S5F4bRiafYg0GQ0qVdsgQxNZlM7OvuAFwX/zxBnF3aWufa cB6S96lDvLGIoANm/DmpuMZ1g5YR8gHAutteAB60= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/rguenth/heads/vect-force-slp)] Relax COND_EXPR reduction vectorization SLP restriction X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/users/rguenth/heads/vect-force-slp X-Git-Oldrev: 362a1f1bc0c72c618737a634a88898e3f6142995 X-Git-Newrev: 1ba0215280e51f0cbc3c3867d6e8c07fc76694f8 Message-Id: <20240513142744.363C83870879@sourceware.org> Date: Mon, 13 May 2024 14:27:43 +0000 (GMT) List-Id: https://gcc.gnu.org/g:1ba0215280e51f0cbc3c3867d6e8c07fc76694f8 commit 1ba0215280e51f0cbc3c3867d6e8c07fc76694f8 Author: Richard Biener Date: Fri Feb 23 16:16:38 2024 +0100 Relax COND_EXPR reduction vectorization SLP restriction Allow one-lane SLP but for the case where we need to swap the arms. * tree-vect-stmts.cc (vectorizable_condition): Allow single-lane SLP, but not when we need to swap then and else clause. Diff: --- gcc/tree-vect-stmts.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/tree-vect-stmts.cc b/gcc/tree-vect-stmts.cc index 72a9c144823c..8fef72cb9072 100644 --- a/gcc/tree-vect-stmts.cc +++ b/gcc/tree-vect-stmts.cc @@ -12105,7 +12105,7 @@ vectorizable_condition (vec_info *vinfo, = STMT_VINFO_REDUC_DEF (vect_orig_stmt (stmt_info)) != NULL; if (for_reduction) { - if (slp_node) + if (slp_node && SLP_TREE_LANES (slp_node) > 1) return false; reduc_info = info_for_reduction (vinfo, stmt_info); reduction_type = STMT_VINFO_REDUC_TYPE (reduc_info); @@ -12194,6 +12194,10 @@ vectorizable_condition (vec_info *vinfo, cond_expr = NULL_TREE; } } + /* ??? The vectorized operand query below doesn't allow swapping + this way for SLP. */ + if (slp_node) + return false; std::swap (then_clause, else_clause); }