From: Eric Botcazou <ebotcazou@adacore.com>
Date: Sun, 19 May 2024 09:38:40 +0000 (+0200)
Subject: Fix oversight in latest change to can_mult_highpart_p
X-Git-Tag: basepoints/gcc-16~8904
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3db8dd4139a7a5ce941684f1fc05ee0652e35544;p=thirdparty%2Fgcc.git

Fix oversight in latest change to can_mult_highpart_p

gcc/
	* optabs-query.cc (can_mult_highpart_p): Test for the existence of
	a wider mode instead of requiring it.
---

diff --git a/gcc/optabs-query.cc b/gcc/optabs-query.cc
index de145be7075..5149de57468 100644
--- a/gcc/optabs-query.cc
+++ b/gcc/optabs-query.cc
@@ -510,17 +510,16 @@ int
 can_mult_highpart_p (machine_mode mode, bool uns_p)
 {
   optab op;
-  scalar_int_mode int_mode;
+  scalar_int_mode int_mode, wider_mode;
 
   op = uns_p ? umul_highpart_optab : smul_highpart_optab;
   if (optab_handler (op, mode) != CODE_FOR_nothing)
     return 1;
 
   /* If the mode is integral, synth from widening or larger operations.  */
-  if (is_a <scalar_int_mode> (mode, &int_mode))
+  if (is_a <scalar_int_mode> (mode, &int_mode)
+      && GET_MODE_WIDER_MODE (int_mode).exists (&wider_mode))
     {
-      scalar_int_mode wider_mode = GET_MODE_WIDER_MODE (int_mode).require ();
-
       op = uns_p ? umul_widen_optab : smul_widen_optab;
       if (convert_optab_handler (op, wider_mode, mode) != CODE_FOR_nothing)
 	return 2;