Subversion Repositories openrisc_me

-- CXG2023.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 fixed point

--      numbers produce exact results.

--

-- TEST DESCRIPTION:

--      Check that multiplication and division of decimal fixed point

--      numbers produce exact results.

--

-- 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:

--       3 Apr 96   SAIC    Initial release for 2.1

--

--!

with System;

with Report;

procedure CXG2023 is

   Verbose : constant Boolean := False;

procedure Check_1 is

   Num_Digits : constant := 6;

   type Pennies is delta 0.01 digits Num_Digits;

   type Franklins is delta 100.0 digits Num_Digits;

   type Dollars is delta 1.0 digits Num_Digits;

   P1 : Pennies;

   F1 : Franklins;

   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 F (X : Franklins) return Franklins is

   begin

      if Report.Ident_Bool (True) then

          return X;

      else

          return 32100.0;    -- never executed

      end if;

   end F;

   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;

begin

   -- multiplication where one operand is universal real

   P1 := P(0.05) * 200.0;

   if P1 /= 10.00 then

      Report.Failed ("1 - expected 10.00  got " & Pennies'Image (P1));

   end if;

   D1 := P(0.05) * 100.0;

   if D1 /= 5.00 then

      Report.Failed ("2 - expected 5.00  got " & Dollars'Image (D1));

   end if;

   F1 := P(0.05) * 50_000.0;

   if F1 /= 2500.00 then

      Report.Failed ("3 - expected 2500.0  got " & Franklins'Image (F1));

   end if;

   -- multiplication where both operands are decimal fixed

   P1 := P(0.05) * D(-200.0);

   if P1 /= -10.00 then

      Report.Failed ("4 - expected -10.00  got " & Pennies'Image (P1));

   end if;

   D1 := P(0.05) * P(-100.0);

   if D1 /= -5.00 then

      Report.Failed ("5 - expected -5.00  got " & Dollars'Image (D1));

   end if;

   F1 := P(-0.05) * F(50_000.0);

   if F1 /= -2500.00 then

      Report.Failed ("6 - expected -2500.0  got " & Franklins'Image (F1));

   end if;

   -- division where one operand is universal real

   P1 := P(0.05) / 0.001;

   if P1 /= 50.00 then

      Report.Failed ("7 - expected 50.00  got " & Pennies'Image (P1));

   end if;

   D1 := D(1000.0) / 3.0;

   if D1 /= 333.00 then

      Report.Failed ("8 - expected 333.00  got " & Dollars'Image (D1));

   end if;

   F1 := P(1234.56) / 0.0001;

   if F1 /= 12345600.00 then

      Report.Failed ("9 - expected 12345600.0  got " & Franklins'Image (F1));

   end if;

   -- division where both operands are decimal fixed

   P1 := P(0.05) / D(1.0);

   if P1 /= 0.05 then

      Report.Failed ("10 - expected 0.05  got " & Pennies'Image (P1));

   end if;

       -- check for truncation toward 0

   D1 := P(-101.00) / P(2.0);

   if D1 /= -50.00 then

      Report.Failed ("11 - expected -50.00  got " & Dollars'Image (D1));

   end if;

   P1 := P(-102.03) / P(-0.5);

   if P1 /= 204.06 then

      Report.Failed ("12 - expected 204.06  got " & Pennies'Image (P1));

   end if;

   F1 := P(876.54) / P(0.03);

   if F1 /= 29200.00 then

      Report.Failed ("13 - expected 29200.0  got " & Franklins'Image (F1));

   end if;

exception

   when others =>

      Report.Failed ("unexpected exception in Check_1");

end Check_1;

generic

   type Pennies   is delta<> digits<>;

   type Dollars   is delta<> digits<>;

   type Franklins is delta<> digits<>;

procedure Generic_Check;

procedure Generic_Check is

   -- the following code is copied directly from the

   -- above procedure Check_1

   P1 : Pennies;

   F1 : Franklins;

   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 F (X : Franklins) return Franklins is

   begin

      if Report.Ident_Bool (True) then

          return X;

      else

          return 32100.0;    -- never executed

      end if;

   end F;

   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;

begin

   -- multiplication where one operand is universal real

   P1 := P(0.05) * 200.0;

   if P1 /= 10.00 then

      Report.Failed ("1 - expected 10.00  got " & Pennies'Image (P1));

   end if;

   D1 := P(0.05) * 100.0;

   if D1 /= 5.00 then

      Report.Failed ("2 - expected 5.00  got " & Dollars'Image (D1));

   end if;

   F1 := P(0.05) * 50_000.0;

   if F1 /= 2500.00 then

      Report.Failed ("3 - expected 2500.0  got " & Franklins'Image (F1));

   end if;

   -- multiplication where both operands are decimal fixed

   P1 := P(0.05) * D(-200.0);

   if P1 /= -10.00 then

      Report.Failed ("4 - expected -10.00  got " & Pennies'Image (P1));

   end if;

   D1 := P(0.05) * P(-100.0);

   if D1 /= -5.00 then

      Report.Failed ("5 - expected -5.00  got " & Dollars'Image (D1));

   end if;

   F1 := P(-0.05) * F(50_000.0);

   if F1 /= -2500.00 then

      Report.Failed ("6 - expected -2500.0  got " & Franklins'Image (F1));

   end if;

   -- division where one operand is universal real

   P1 := P(0.05) / 0.001;

   if P1 /= 50.00 then

      Report.Failed ("7 - expected 50.00  got " & Pennies'Image (P1));

   end if;

   D1 := D(1000.0) / 3.0;

   if D1 /= 333.00 then

      Report.Failed ("8 - expected 333.00  got " & Dollars'Image (D1));

   end if;

   F1 := P(1234.56) / 0.0001;

   if F1 /= 12345600.00 then

      Report.Failed ("9 - expected 12345600.0  got " & Franklins'Image (F1));

   end if;

   -- division where both operands are decimal fixed

   P1 := P(0.05) / D(1.0);

   if P1 /= 0.05 then

      Report.Failed ("10 - expected 0.05  got " & Pennies'Image (P1));

   end if;

       -- check for truncation toward 0

   D1 := P(-101.00) / P(2.0);

   if D1 /= -50.00 then

      Report.Failed ("11 - expected -50.00  got " & Dollars'Image (D1));

   end if;

   P1 := P(-102.03) / P(-0.5);

   if P1 /= 204.06 then

      Report.Failed ("12 - expected 204.06  got " & Pennies'Image (P1));

   end if;

   F1 := P(876.54) / P(0.03);

   if F1 /= 29200.00 then

      Report.Failed ("13 - expected 29200.0  got " & Franklins'Image (F1));

   end if;

end Generic_Check;

procedure Check_G6 is

   Num_Digits : constant := 6;

   type Pennies is delta 0.01 digits Num_Digits;

   type Franklins is delta 100.0 digits Num_Digits;

   type Dollars is delta 1.0 digits Num_Digits;

   procedure G is new Generic_Check (Pennies, Dollars, Franklins);

begin

   G;

end Check_G6;

procedure Check_G9 is

   Num_Digits : constant := 9;

   type Pennies is delta 0.01 digits Num_Digits;

   type Franklins is delta 100.0 digits Num_Digits;

   type Dollars is delta 1.0 digits Num_Digits;

   procedure G is new Generic_Check (Pennies, Dollars, Franklins);

begin

   G;

end Check_G9;

begin  -- main

   Report.Test ("CXG2023",

                "Check the accuracy of multiplication and division" &

                " of decimal fixed point numbers");

   if Verbose then

      Report.Comment ("starting Check_1");

   end if;

   Check_1;

   if Verbose then

      Report.Comment ("starting Check_G6");

   end if;

   Check_G6;

   if Verbose then

      Report.Comment ("starting Check_G9");

   end if;

   Check_G9;

   Report.Result;

end CXG2023;