From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 21 Oct 2022 13:46:37 +0000 (+0200)
Subject: Fix VCOND expansion
X-Git-Tag: releases/gcc-10.5.0~440
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5076eefe23b96279e34351a2a044858bae3251ae;p=thirdparty%2Fgcc.git

Fix VCOND expansion

Instead of only allowing the signed optab to provide EQ/NE compares, we
allow both here since there seems to be no documented canonicalization.

gcc/
	PR target/107336
	* optabs.c (expand_vec_cond_expr): Query both VCOND and VCONDU for
	EQ and NE.
---

diff --git a/gcc/optabs.c b/gcc/optabs.c
index 64f23d2c2937..93f99423727d 100644
--- a/gcc/optabs.c
+++ b/gcc/optabs.c
@@ -5902,6 +5902,14 @@ expand_vec_cond_expr (tree vec_cond_type, tree op0, tree op1, tree op2,
 			   GET_MODE_NUNITS (cmp_op_mode)));
 
   icode = get_vcond_icode (mode, cmp_op_mode, unsignedp);
+  /* Some targets do not have vcondeq and only vcond with NE/EQ
+     but not vcondu, so make sure to also try vcond here as
+     vcond_icode_p would canonicalize the optab query to.  */
+  if (icode == CODE_FOR_nothing
+      && (tcode == NE_EXPR || tcode == EQ_EXPR)
+      && ((icode = get_vcond_icode (mode, cmp_op_mode, !unsignedp))
+	  != CODE_FOR_nothing))
+    unsignedp = !unsignedp;
   if (icode == CODE_FOR_nothing)
     {
       if (tcode == LT_EXPR