-- --
-- S p e c --
-- --
--- $Revision: 1.13 $ --
--- --
--- Copyright (C) 1997-1998 Free Software Foundation, Inc. --
+-- Copyright (C) 1997-2009, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
+-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
+-- --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
-- --
--- As a special exception, if other files instantiate generics from this --
--- unit, or you link this unit with other files to produce an executable, --
--- this unit does not by itself cause the resulting executable to be --
--- covered by the GNU General Public License. This exception does not --
--- however invalidate any other reasons why the executable file might be --
--- covered by the GNU Public License. --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
--- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
+-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- --
------------------------------------------------------------------------------
function Lt_G (X, Y : G) return Boolean;
-- Compares for X < Y
+ function Ne_F (X, Y : F) return Boolean;
+ function Ne_G (X, Y : G) return Boolean;
+ -- Compares for X /= Y
+
+ ----------------------
+ -- Return Functions --
+ ----------------------
+
+ function Return_D (X : D) return D;
+ function Return_F (X : F) return F;
+ function Return_G (X : G) return G;
+ -- Deal with returned value for an imported function where the function
+ -- result is of VAX Float type. Usually nothing needs to be done, and these
+ -- functions return their argument unchanged. But for the case of VMS Alpha
+ -- the return value is already in $f0, so we need to trick the compiler
+ -- into thinking that we are moving X to $f0. See bodies for this case
+ -- for the Asm sequence generated to achieve this.
+
+ ----------------------------------
+ -- Routines for Valid Attribute --
+ ----------------------------------
+
+ function Valid_D (Arg : D) return Boolean;
+ function Valid_F (Arg : F) return Boolean;
+ function Valid_G (Arg : G) return Boolean;
+ -- Test whether Arg has a valid representation
+
----------------------
-- Debug Procedures --
----------------------
-- These routines return a decimal C string image of their argument.
-- They are provided for implicit use by the debugger, in response to
-- the special encoding used for Vax floating-point types (see Exp_Dbug
- -- for details). They supercede the above Debug_Output_D/F/G routines
+ -- for details). They supersede the above Debug_Output_D/F/G routines
-- which didn't work properly with GDBTK.
procedure pd (Arg : D);
-- types, and are retained for backwards compatibility.
private
- pragma Inline (D_To_G);
- pragma Inline (F_To_G);
- pragma Inline (F_To_Q);
- pragma Inline (F_To_S);
- pragma Inline (G_To_D);
- pragma Inline (G_To_F);
- pragma Inline (G_To_Q);
- pragma Inline (G_To_T);
- pragma Inline (Q_To_F);
- pragma Inline (Q_To_G);
- pragma Inline (S_To_F);
- pragma Inline (T_To_G);
-
- pragma Inline (Abs_F);
- pragma Inline (Abs_G);
- pragma Inline (Add_F);
- pragma Inline (Add_G);
- pragma Inline (Div_G);
- pragma Inline (Div_F);
- pragma Inline (Mul_F);
- pragma Inline (Mul_G);
- pragma Inline (Neg_G);
- pragma Inline (Neg_F);
- pragma Inline (Sub_F);
- pragma Inline (Sub_G);
-
- pragma Inline (Eq_F);
- pragma Inline (Eq_G);
- pragma Inline (Le_F);
- pragma Inline (Le_G);
- pragma Inline (Lt_F);
- pragma Inline (Lt_G);
+ pragma Inline_Always (D_To_G);
+ pragma Inline_Always (F_To_G);
+ pragma Inline_Always (F_To_Q);
+ pragma Inline_Always (F_To_S);
+ pragma Inline_Always (G_To_D);
+ pragma Inline_Always (G_To_F);
+ pragma Inline_Always (G_To_Q);
+ pragma Inline_Always (G_To_T);
+ pragma Inline_Always (Q_To_F);
+ pragma Inline_Always (Q_To_G);
+ pragma Inline_Always (S_To_F);
+ pragma Inline_Always (T_To_G);
+
+ pragma Inline_Always (Abs_F);
+ pragma Inline_Always (Abs_G);
+ pragma Inline_Always (Add_F);
+ pragma Inline_Always (Add_G);
+ pragma Inline_Always (Div_G);
+ pragma Inline_Always (Div_F);
+ pragma Inline_Always (Mul_F);
+ pragma Inline_Always (Mul_G);
+ pragma Inline_Always (Neg_G);
+ pragma Inline_Always (Neg_F);
+ pragma Inline_Always (Return_D);
+ pragma Inline_Always (Return_F);
+ pragma Inline_Always (Return_G);
+ pragma Inline_Always (Sub_F);
+ pragma Inline_Always (Sub_G);
+
+ pragma Inline_Always (Eq_F);
+ pragma Inline_Always (Eq_G);
+ pragma Inline_Always (Le_F);
+ pragma Inline_Always (Le_G);
+ pragma Inline_Always (Lt_F);
+ pragma Inline_Always (Lt_G);
+ pragma Inline_Always (Ne_F);
+ pragma Inline_Always (Ne_G);
+
+ pragma Inline_Always (Valid_D);
+ pragma Inline_Always (Valid_F);
+ pragma Inline_Always (Valid_G);
end System.Vax_Float_Operations;