File : s-lldosq-fpu.adb


   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --           S Y S T E M . L I B M _ L O N G _ D O U B L E . S Q R T        --
   6 --                                                                          --
   7 --                                B o d y                                   --
   8 --                                                                          --
   9 --          Copyright (C) 2014-2015, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 --                                                                          --
  19 --                                                                          --
  20 --                                                                          --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31 
  32 --  This is the Ada Cert Math specific implementation of sqrt when the FPU
  33 --  has the sqrt instruction.
  34 
  35 package body System.Libm_Long_Double.Squareroot is
  36 
  37    --------------
  38    -- Fpu_Sqrt --
  39    --------------
  40 
  41    function Fpu_Sqrt (X : Long_Long_Float) return Long_Long_Float
  42      with Import, Convention => Intrinsic, External_Name => "__builtin_sqrtl";
  43 
  44    ----------
  45    -- Sqrt --
  46    ----------
  47 
  48    function Sqrt (X : Long_Long_Float) return Long_Long_Float is
  49    begin
  50       return Fpu_Sqrt (X);
  51    end Sqrt;
  52 
  53 end System.Libm_Long_Double.Squareroot;