Subversion Repositories openrisc

-- CXG1004.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 the specified exceptions are raised by the subprograms

--      defined in package Ada.Numerics.Generic_Complex_Elementary_Functions

--      given the prescribed input parameter values.

--

-- TEST DESCRIPTION:

--      This test checks that specific subprograms defined in the

--      package Ada.Numerics.Generic_Complex_Elementary_Functions raise the

--      exceptions Argument_Error and Constraint_Error when their input

--      parameter value are those specified as causing each exception.

--      In the case of Constraint_Error, the exception will be raised in

--      each test case, provided that the value of the attribute

--      'Machine_Overflows (for the actual type of package

--      Generic_Complex_Type) is True.

--

-- APPLICABILITY CRITERIA:

--      This test only applies to implementations supporting the

--      numerics annex.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--      16 Nov 95   SAIC    Corrected visibility problems for ACVC 2.0.1.

--      29 Sep 96   SAIC    Incorporated reviewer comments.

--      02 Jun 98   EDS     Replace "_i" with "_One".

--!

with Ada.Numerics.Generic_Complex_Types;

with Ada.Numerics.Generic_Complex_Elementary_Functions;

with Report;

procedure CXG1004 is

begin

   Report.Test ("CXG1004", "Check that the specified exceptions are "      &

                           "raised by the subprograms defined in package " &

                           "Ada.Numerics.Generic_Complex_Elementary_"      &

                           "Functions given the prescribed input "         &

                           "parameter values");

   Test_Block:

   declare

      type Real_Type is new Float;

      TC_Overflows : Boolean := Real_Type'Machine_Overflows;

      package Complex_Pack is

        new Ada.Numerics.Generic_Complex_Types(Real_Type);

      package CEF is

        new Ada.Numerics.Generic_Complex_Elementary_Functions(Complex_Pack);

      use Ada.Numerics, Complex_Pack, CEF;

      Complex_Zero : constant Complex := Compose_From_Cartesian(0.0, 0.0);

      Plus_One     : constant Complex := Compose_From_Cartesian(1.0, 0.0);

      Minus_One    : constant Complex := Compose_From_Cartesian(-1.0, 0.0);

      Plus_i       : constant Complex := Compose_From_Cartesian(i);

      Minus_i      : constant Complex := Compose_From_Cartesian(-i);

      Complex_Negative_Real      : constant Complex :=

                                            Compose_From_Cartesian(-4.0, 2.0);

      Complex_Negative_Imaginary : constant Complex :=

                                            Compose_From_Cartesian(3.0, -5.0);

      TC_Complex   : Complex;

      -- This procedure is used in "Exception Raising" calls below in an

      -- attempt to avoid elimination of the subtest through optimization.

      procedure No_Optimize (The_Complex_Number : Complex) is

      begin

         Report.Comment("No Optimize: Should never be printed " &

                        Integer'Image(Integer(The_Complex_Number.Im)));

      end No_Optimize;

   begin

      -- Check that the exception Numerics.Argument_Error is raised by the

      -- exponentiation operator when the value of the left operand is zero,

      -- and the real component of the exponent (or the exponent itself) is

      -- zero.

      begin

         TC_Complex := "**"(Left => Complex_Zero, Right => Complex_Zero);

         Report.Failed("Argument_Error not raised by exponentiation "  &

                       "operator, left operand = complex zero, right " &

                       "operand = complex zero");

         No_Optimize(TC_Complex);

      exception

         when Argument_Error => null;  -- OK, expected exception.

         when others =>

            Report.Failed("Incorrect exception raised by exponentiation " &

                          "operator, left operand = complex zero, right " &

                          "operand = complex zero");

      end;

      begin

         TC_Complex := Complex_Zero**0.0;

         Report.Failed("Argument_Error not raised by exponentiation "  &

                       "operator, left operand = complex zero, right " &

                       "operand = real zero");

         No_Optimize(TC_Complex);

      exception

         when Argument_Error => null;  -- OK, expected exception.

         when others =>

            Report.Failed("Incorrect exception raised by exponentiation " &

                          "operator, left operand = complex zero, right " &

                          "operand = real zero");

      end;

      begin

         TC_Complex := "**"(Left => 0.0, Right => Complex_Zero);

         Report.Failed("Argument_Error not raised by exponentiation " &

                       "operator, left operand = real zero, right "   &

                       "operand = complex zero");

         No_Optimize(TC_Complex);

      exception

         when Argument_Error => null;  -- OK, expected exception.

         when others =>

            Report.Failed("Incorrect exception raised by exponentiation " &

                          "operator, left operand = real zero, right "    &

                          "operand = complex zero");

      end;

      -- Check that the exception Constraint_Error is raised under the

      -- specified circumstances, provided that

      -- Complex_Types.Real'Machine_Overflows is True.

      if TC_Overflows then

         -- Raised by Log, when the value of the parameter X is zero.

         begin

            TC_Complex := Log (X => Complex_Zero);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Log given parameter value of complex zero");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Log given parameter value of complex zero");

         end;

         -- Raised by Cot, when the value of the parameter X is zero.

         begin

            TC_Complex := Cot (X => Complex_Zero);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Cot given parameter value of complex zero");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Cot given parameter value of complex zero");

         end;

         -- Raised by Coth, when the value of the parameter X is zero.

         begin

            TC_Complex := Coth (Complex_Zero);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Coth given parameter value of complex zero");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Coth given parameter value of complex zero");

         end;

         -- Raised by the exponentiation operator, when the value of the

         -- left operand is zero and the real component of the exponent

         -- is negative.

         begin

            TC_Complex := Complex_Zero**Complex_Negative_Real;

            Report.Failed("Constraint_Error not raised when the "    &

                          "exponentiation operator left operand is " &

                          "complex zero, and the real component of " &

                          "the exponent is negative");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when the "     &

                             "exponentiation operator left operand is " &

                             "complex zero, and the real component of " &

                             "the exponent is negative");

         end;

         -- Raised by the exponentiation operator, when the value of the

         -- left operand is zero and the exponent itself (when it is of

         -- type real) is negative.

         declare

            Negative_Exponent : constant Real_Type := -4.0;

         begin

            TC_Complex := Complex_Zero**Negative_Exponent;

            Report.Failed("Constraint_Error not raised when the "    &

                          "exponentiation operator left operand is " &

                          "complex zero, and the real exponent is "  &

                          "negative");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when the "     &

                             "exponentiation operator left operand is " &

                             "complex zero, and the real exponent is "  &

                             "negative");

         end;

         -- Raised by Arctan, when the value of the parameter is +i.

         begin

            TC_Complex := Arctan (Plus_i);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arctan is given parameter value +i");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arctan is given parameter value +i");

         end;

         -- Raised by Arctan, when the value of the parameter is -i.

         begin

            TC_Complex := Arctan (Minus_i);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arctan is given parameter value -i");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arctan is given parameter value -i");

         end;

         -- Raised by Arccot, when the value of the parameter is +i.

         begin

            TC_Complex := Arccot (Plus_i);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arccot is given parameter value +i");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arccot is given parameter value +i");

         end;

         -- Raised by Arccot, when the value of the parameter is -i.

         begin

            TC_Complex := Arccot (Minus_i);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arccot is given parameter value -i");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arccot is given parameter value -i");

         end;

         -- Raised by Arctanh, when the value of the parameter is +1.

         begin

            TC_Complex := Arctanh (Plus_One);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arctanh is given parameter value +1");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arctanh is given parameter value +1");

         end;

         -- Raised by Arctanh, when the value of the parameter is -1.

         begin

            TC_Complex := Arctanh (Minus_One);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arctanh is given parameter value -1");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arctanh is given parameter value -1");

         end;

         -- Raised by Arccoth, when the value of the parameter is +1.

         begin

            TC_Complex := Arccoth (Plus_One);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arccoth is given parameter value +1");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arccoth is given parameter value +1");

         end;

         -- Raised by Arccoth, when the value of the parameter is -1.

         begin

            TC_Complex := Arccoth (Minus_One);

            Report.Failed("Constraint_Error not raised when Function " &

                          "Arccoth is given parameter value -1");

            No_Optimize(TC_Complex);

         exception

            when Constraint_Error => null;  -- OK, expected exception.

            when others =>

               Report.Failed("Incorrect exception raised when Function " &

                             "Arccoth is given parameter value -1");

         end;

      else

         Report.Comment

           ("Attribute Complex_Pack.Real'Machine_Overflows is False; " &

            "evaluation of the complex elementary functions under "    &

            "specified circumstances was not performed");

      end if;

   exception

      when others =>

        Report.Failed ("Unexpected exception raised in Test_Block");

   end Test_Block;

   Report.Result;

end CXG1004;