--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/ada/acats/tests/cxg/cxg2024.a	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,191 @@
+-- CXG2024.A
+--
+--                             Grant of Unlimited Rights
+--
+--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
+--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 
+--     unlimited rights in the software and documentation contained herein.
+--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 
+--     this public release, the Government intends to confer upon all 
+--     recipients unlimited rights  equal to those held by the Government.  
+--     These rights include rights to use, duplicate, release or disclose the 
+--     released technical data and computer software in whole or in part, in 
+--     any manner and for any purpose whatsoever, and to have or permit others 
+--     to do so.
+--
+--                                    DISCLAIMER
+--
+--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
+--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 
+--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
+--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 
+--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
+--     PARTICULAR PURPOSE OF SAID MATERIAL.
+--*
+--
+-- OBJECTIVE:
+--      Check that multiplication and division of decimal 
+--      and binary fixed point numbers that result in a
+--      decimal fixed point type produce acceptable results.
+--
+-- TEST DESCRIPTION:
+--      Multiplication and division of mixed binary and decimal
+--      values are performed.  Identity functions are used so 
+--      that the operands of the expressions will not be seen
+--      as static by the compiler.
+--
+-- SPECIAL REQUIREMENTS
+--      The Strict Mode for the numerical accuracy must be
+--      selected.  The method by which this mode is selected
+--      is implementation dependent.
+--
+-- APPLICABILITY CRITERIA:
+--      This test applies only to implementations supporting the
+--      Numerics Annex.
+--      This test only applies to the Strict Mode for numerical
+--      accuracy.
+--      This test applies only to implementations supporting
+--      decimal fixed point types of at least 9 digits.
+--
+--
+-- CHANGE HISTORY:
+--       4 Apr 96   SAIC    Initial release for 2.1
+--      17 Aug 96   SAIC    Removed checks for close results
+--
+--!
+
+with System;
+with Report;
+procedure CXG2024 is
+
+procedure Do_Check is
+   Num_Digits : constant := 9;
+   type Pennies is delta 0.01 digits Num_Digits;
+   type Dollars is delta 1.0 digits Num_Digits;
+
+   type Signed_Sixteenths is delta 0.0625 
+          range -2.0 ** (System.Max_Mantissa-5) ..
+                 2.0 ** (System.Max_Mantissa-5) - 1.0;
+   type Unsigned_Sixteenths is delta 0.0625 
+          range 0.0 .. 2.0 ** (System.Max_Mantissa-4) - 1.0;
+
+   P1 : Pennies;
+   D1 : Dollars;
+
+   -- optimization thwarting functions
+
+   function P (X : Pennies) return Pennies is
+   begin
+      if Report.Ident_Bool (True) then
+          return X;
+      else
+          return 3.21;    -- never executed
+      end if;
+   end P;
+
+
+   function D (X : Dollars) return Dollars is
+   begin
+      if Report.Ident_Bool (True) then
+          return X;
+      else
+          return 321.0;    -- never executed
+      end if;
+   end D;
+
+
+   function US (X : Unsigned_Sixteenths) return Unsigned_Sixteenths is
+   begin
+      if Report.Ident_Bool (True) then
+          return X;
+      else
+          return 321.0;    -- never executed
+      end if;
+   end US;
+
+
+   function SS (X : Signed_Sixteenths) return Signed_Sixteenths is
+   begin
+      if Report.Ident_Bool (True) then
+          return X;
+      else
+          return 321.0;    -- never executed
+      end if;
+   end SS;
+
+
+begin
+
+   P1 := P(0.05) * SS(-200.0);
+   if P1 /= -10.00 then
+         Report.Failed ("1 - expected -10.00  got " & Pennies'Image (P1));
+   end if;
+
+   D1 := P(0.05) * SS(-100.0);
+   if D1 /= -5.00 then
+         Report.Failed ("2 - expected -5.00  got " & Dollars'Image (D1));
+   end if;
+
+   P1 := P(0.05) * US(200.0);
+   if P1 /= 10.00 then
+         Report.Failed ("3 - expected 10.00  got " & Pennies'Image (P1));
+   end if;
+
+   D1 := P(-0.05) * US(100.0);
+   if D1 /= -5.00 then
+         Report.Failed ("4 - expected -5.00  got " & Dollars'Image (D1));
+   end if;
+
+
+
+   P1 := P(0.05) / US(1.0);
+   if P1 /= 0.05 then
+         Report.Failed ("6 - expected 0.05  got " & Pennies'Image (P1));
+   end if;
+
+  
+   -- check rounding
+
+   D1 := Dollars'Round (Pennies (P(-101.00) / US(2.0)));
+   if D1 /= -51.00 then
+         Report.Failed ("11 - expected -51.00  got " & Dollars'Image (D1));
+   end if;
+
+   D1 := Dollars'Round (Pennies (P(101.00) / US(2.0)));
+   if D1 /= 51.00 then
+         Report.Failed ("12 - expected 51.00  got " & Dollars'Image (D1));
+   end if;
+
+   D1 := Dollars'Round (Pennies (SS(-101.00) / P(2.0)));
+   if D1 /= -51.00 then
+         Report.Failed ("13 - expected -51.00  got " & Dollars'Image (D1));
+   end if;
+
+   D1 := Dollars'Round (Pennies (US(101.00) / P(2.0)));
+   if D1 /= 51.00 then
+         Report.Failed ("14 - expected 51.00  got " & Dollars'Image (D1));
+   end if;
+
+
+
+   P1 := P(-102.03) / SS(-0.5);
+   if P1 /= 204.06 then
+         Report.Failed ("15 - expected 204.06  got " & Pennies'Image (P1));
+   end if;
+
+
+exception
+   when others =>
+      Report.Failed ("unexpected exception in Do_Check");
+end Do_Check;
+
+
+begin  -- main
+   Report.Test ("CXG2024",
+                "Check the accuracy of multiplication and division" &
+                " of mixed decimal and binary fixed point numbers"); 
+
+   Do_Check;
+
+   Report.Result;
+end CXG2024;