2005-09-01 Robert Dewar <dewar@adacore.com>

	    Doug Rupp  <rupp@adacore.com>

	* exp_attr.adb: Handle vax fpt for 'Valid attribute
	* exp_vfpt.ads, exp_vfpt.adb: (Expand_Vax_Valid): New procedure
	* s-vaflop-vms-alpha.adb, s-vaflop.ads, s-vaflop.adb
	(Valid_D, Valid_F, Valid_G): New functions


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103860 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 40 insertions, 1 deletions

diff --git a/gcc/ada/s-vaflop.adb b/gcc/ada/s-vaflop.adb
index 02666de4f8e..ae721cfa33d 100644
--- a/gcc/ada/s-vaflop.adb
+++ b/gcc/ada/s-vaflop.adb
@@ -41,7 +41,7 @@ with System.IO; use System.IO;
 
 package body System.Vax_Float_Operations is
    pragma Warnings (Off);
-   --  Warnings about infinite recursion when the -gnatdm switch is used.
+   --  Warnings about infinite recursion when the -gnatdm switch is used
 
    -----------
    -- Abs_F --
@@ -418,4 +418,43 @@ package body System.Vax_Float_Operations is
       return G (X);
    end T_To_G;
 
+   -------------
+   -- Valid_D --
+   -------------
+
+   --  For now, convert to IEEE and do Valid test on result. This is not quite
+   --  accurate, but is good enough in practice.
+
+   function Valid_D (Arg : D) return Boolean is
+      Val : T := G_To_T (D_To_G (Arg));
+   begin
+      return Val'Valid;
+   end Valid_D;
+
+   -------------
+   -- Valid_F --
+   -------------
+
+   --  For now, convert to IEEE and do Valid test on result. This is not quite
+   --  accurate, but is good enough in practice.
+
+   function Valid_F (Arg : F) return Boolean is
+      Val : S := F_To_S (Arg);
+   begin
+      return Val'Valid;
+   end Valid_F;
+
+   -------------
+   -- Valid_G --
+   -------------
+
+   --  For now, convert to IEEE and do Valid test on result. This is not quite
+   --  accurate, but is good enough in practice.
+
+   function Valid_G (Arg : G) return Boolean is
+      Val : T := G_To_T (Arg);
+   begin
+      return Val'Valid;
+   end Valid_G;
+
 end System.Vax_Float_Operations;