sysdeps/ieee754/dbl-64/s_f32xmulf64.c

   1 /* Multiply _Float64 values, converting the result to _Float32x.
   2    Copyright (C) 2018-2023 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4
   5    The GNU C Library is free software; you can redistribute it and/or
   6    modify it under the terms of the GNU Lesser General Public
   7    License as published by the Free Software Foundation; either
   8    version 2.1 of the License, or (at your option) any later version.
   9
  10    The GNU C Library is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13    Lesser General Public License for more details.
  14
  15    You should have received a copy of the GNU Lesser General Public
  16    License along with the GNU C Library; if not, see
  17    <https://www.gnu.org/licenses/>.  */
  18
  19 #define dmull __hide_dmull
  20 #include <math.h>
  21 #undef dmull
  22
  23 #include <math-narrow.h>
  24
  25 _Float32x
  26 __f32xmulf64 (_Float64 x, _Float64 y)
  27 {
  28   NARROW_MUL_TRIVIAL (x, y, _Float32x);
  29 }
  30 libm_alias_float32x_float64 (mul)