[gcc r15-1642] optab: Add isnormal_optab for isnormal builtin

[HaoChen Gui via Gcc-cvs]

https://gcc.gnu.org/g:5a10ac0e5921d5aeac58429457423b611ee325d2

commit r15-1642-g5a10ac0e5921d5aeac58429457423b611ee325d2
Author: Haochen Gui <guih...@gcc.gnu.org>
Date:   Wed Jun 26 13:35:58 2024 +0800

    optab: Add isnormal_optab for isnormal builtin
    
    gcc/
            * builtins.cc (interclass_mathfn_icode): Set optab to isnormal_optab
            for isnormal builtin.
            * optabs.def (isnormal_optab): New.
            * doc/md.texi (isnormal): Document.

Diff:
---
 gcc/builtins.cc | 2 ++
 gcc/doc/md.texi | 6 ++++++
 gcc/optabs.def  | 1 +
 3 files changed, 9 insertions(+)

diff --git a/gcc/builtins.cc b/gcc/builtins.cc
index 03634cdaba1..0b902896ddd 100644
--- a/gcc/builtins.cc
+++ b/gcc/builtins.cc
@@ -2463,6 +2463,8 @@ interclass_mathfn_icode (tree arg, tree fndecl)
       builtin_optab = isfinite_optab;
       break;
     case BUILT_IN_ISNORMAL:
+      builtin_optab = isnormal_optab;
+      break;
     CASE_FLT_FN (BUILT_IN_FINITE):
     case BUILT_IN_FINITED32:
     case BUILT_IN_FINITED64:
diff --git a/gcc/doc/md.texi b/gcc/doc/md.texi
index 3eb4216141e..4fd7da095fe 100644
--- a/gcc/doc/md.texi
+++ b/gcc/doc/md.texi
@@ -8563,6 +8563,12 @@ Return 1 if operand 1 is a finite floating point number 
and 0
 otherwise.  @var{m} is a scalar floating point mode.  Operand 0
 has mode @code{SImode}, and operand 1 has mode @var{m}.
 
+@cindex @code{isnormal@var{m}2} instruction pattern
+@item @samp{isnormal@var{m}2}
+Return 1 if operand 1 is a normal floating point number and 0
+otherwise.  @var{m} is a scalar floating point mode.  Operand 0
+has mode @code{SImode}, and operand 1 has mode @var{m}.
+
 @end table
 
 @end ifset
diff --git a/gcc/optabs.def b/gcc/optabs.def
index 9514a317259..2f36ed4cb42 100644
--- a/gcc/optabs.def
+++ b/gcc/optabs.def
@@ -353,6 +353,7 @@ OPTAB_D (hypot_optab, "hypot$a3")
 OPTAB_D (ilogb_optab, "ilogb$a2")
 OPTAB_D (isinf_optab, "isinf$a2")
 OPTAB_D (isfinite_optab, "isfinite$a2")
+OPTAB_D (isnormal_optab, "isnormal$a2")
 OPTAB_D (issignaling_optab, "issignaling$a2")
 OPTAB_D (ldexp_optab, "ldexp$a3")
 OPTAB_D (log10_optab, "log10$a2")