URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxf/] [cxf1001.a] - Rev 316
Go to most recent revision | Compare with Previous | Blame | View Log
-- CXF1001.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 values of 2 and 10 are allowable values for Machine_Radix
-- of a decimal first subtype.
-- Check that the value of Decimal.Max_Decimal_Digits is at least 18;
-- the value of Decimal.Max_Scale is at least 18; the value of
-- Decimal.Min_Scale is at most 0.
--
-- TEST DESCRIPTION:
-- This test examines the Machine_Radix attribute definition clause
-- and its effect on Decimal fixed point types, as well as several
-- constants from the package Ada.Decimal.
-- The first subtest checks that the Machine_Radix attribute will
-- return the value set for Machine_Radix by an attribute definition
-- clause. The second and third subtests examine differences between
-- the binary and decimal scaling of a type, based on the radix
-- representation. The final subtest examines the values
-- assigned to constants Min_Scale, Max_Scale, and Max_Decimal_Digits,
-- found in the package Ada.Decimal.
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 29 Dec 94 SAIC Restructured Radix 10 and Radix 2 test blocks.
--
--!
with Report;
with Ada.Decimal;
procedure CXF1001 is
begin
Report.Test ("CXF1001", "Check that values of 2 and 10 are allowable " &
"values for Machine_Radix of a decimal first " &
"subtype. Check that the value of " &
"Decimal.Max_Decimal_Digits is at least 18; " &
"the value of Decimal.Max_Scale is at least " &
"18; the value of Decimal.Min_Scale is at " &
"most 0");
Attribute_Check_Block:
declare
Del : constant := 1.0/10**2;
Const_Digits : constant := 3;
Two : constant := 2;
Ten : constant := 10;
type Radix_2_Type_1 is delta 0.01 digits 7;
type Radix_2_Type_2 is delta Ada.Decimal.Min_Delta digits 10;
type Radix_2_Type_3 is
delta 0.000_1 digits Ada.Decimal.Max_Decimal_Digits;
type Radix_10_Type_1 is delta 10.0**(-Ada.Decimal.Max_Scale) digits 8;
type Radix_10_Type_2 is delta 10.0**(-Ada.Decimal.Min_Scale) digits 6;
type Radix_10_Type_3 is delta Ada.Decimal.Max_Delta digits 15;
-- Use an attribute definition clause to set the Machine_Radix for a
-- decimal first subtype to either 2 or 10.
for Radix_2_Type_1'Machine_Radix use 2;
for Radix_2_Type_2'Machine_Radix use Two;
for Radix_2_Type_3'Machine_Radix use 10-8;
for Radix_10_Type_1'Machine_Radix use 2*15/Const_Digits;
for Radix_10_Type_2'Machine_Radix use Ten;
for Radix_10_Type_3'Machine_Radix use Radix_10_Type_2'Machine_Radix;
begin
-- Check that the attribute 'Machine_Radix returns the value assigned
-- by the attribute definition clause.
if Radix_2_Type_1'Machine_Radix /= 2 or else
Radix_2_Type_2'Machine_Radix /= 2 or else
Radix_2_Type_3'Machine_Radix /= 2
then
Report.Failed("Incorrect radix value returned, 2 expected");
end if;
if Radix_10_Type_1'Machine_Radix /= 10 or else
Radix_10_Type_2'Machine_Radix /= 10 or else
Radix_10_Type_3'Machine_Radix /= 10
then
Report.Failed("Incorrect radix value returned, 10 expected");
end if;
exception
when others => Report.Failed ("Exception raised in Attr_Check_Block");
end Attribute_Check_Block;
Radix_Block:
-- Premises:
-- 1) Choose several numbers, from types using either decimal scaling or
-- binary scaling.
-- 1) Repetitively add these numbers to themselves.
-- 3) Validate that the result is the expected result, regardless of the
-- scaling used in the definition of the type.
declare
Number_Of_Values : constant := 3;
Loop_Count : constant := 1000;
type Radix_2_Type is delta 0.0001 digits 10;
type Radix_10_Type is delta 0.0001 digits 10;
for Radix_2_Type'Machine_Radix use 2;
for Radix_10_Type'Machine_Radix use 10;
type Result_Record_Type is record
Rad_2 : Radix_2_Type;
Rad_10 : Radix_10_Type;
end record;
type Result_Array_Type is array (1..Number_Of_Values)
of Result_Record_Type;
Result_Array : Result_Array_Type := ((50.00, 50.00),
(613.00, 613.00),
(72.70, 72.70));
function Repetitive_Radix_2_Add (Value : in Radix_2_Type)
return Radix_2_Type is
Result : Radix_2_Type := 0.0;
begin
for i in 1..Loop_Count loop
Result := Result + Value;
end loop;
return Result;
end Repetitive_Radix_2_Add;
function Repetitive_Radix_10_Add (Value : in Radix_10_Type)
return Radix_10_Type is
Result : Radix_10_Type := 0.0;
begin
for i in 1..Loop_Count loop
Result := Result + Value;
end loop;
return Result;
end Repetitive_Radix_10_Add;
begin
-- Radix 2 Cases, three different values.
-- Compare the result of the repetitive addition with the expected
-- Radix 2 result, as well as with the Radix 10 value after type
-- conversion.
if Repetitive_Radix_2_Add(0.05) /= Result_Array(1).Rad_2 or
Repetitive_Radix_2_Add(0.05) /= Radix_2_Type(Result_Array(1).Rad_10)
then
Report.Failed("Incorrect Radix 2 Result, Case 1");
end if;
if Repetitive_Radix_2_Add(0.613) /=
Result_Array(2).Rad_2 or
Repetitive_Radix_2_Add(0.613) /=
Radix_2_Type(Result_Array(2).Rad_10)
then
Report.Failed("Incorrect Radix 2 Result, Case 2");
end if;
if Repetitive_Radix_2_Add(0.0727) /=
Result_Array(3).Rad_2 or
Repetitive_Radix_2_Add(0.0727) /=
Radix_2_Type(Result_Array(3).Rad_10)
then
Report.Failed("Incorrect Radix 2 Result, Case 3");
end if;
-- Radix 10 Cases, three different values.
-- Compare the result of the repetitive addition with the expected
-- Radix 10 result, as well as with the Radix 2 value after type
-- conversion.
if Repetitive_Radix_10_Add(0.05) /= Result_Array(1).Rad_10 or
Repetitive_Radix_10_Add(0.05) /= Radix_10_Type(Result_Array(1).Rad_2)
then
Report.Failed("Incorrect Radix 10 Result, Case 1");
end if;
if Repetitive_Radix_10_Add(0.613) /=
Result_Array(2).Rad_10 or
Repetitive_Radix_10_Add(0.613) /=
Radix_10_Type(Result_Array(2).Rad_2)
then
Report.Failed("Incorrect Radix 10 Result, Case 2");
end if;
if Repetitive_Radix_10_Add(0.0727) /=
Result_Array(3).Rad_10 or
Repetitive_Radix_10_Add(0.0727) /=
Radix_10_Type(Result_Array(3).Rad_2)
then
Report.Failed("Incorrect Radix 10 Result, Case 3");
end if;
exception
when others => Report.Failed ("Exception raised in Radix_Block");
end Radix_Block;
Size_Block:
-- Check the implementation max/min values of constants declared in
-- package Ada.Decimal.
declare
Minimum_Required_Size : constant := 18;
Maximum_Allowed_Size : constant := 0;
begin
-- Check that the Max_Decimal_Digits value is at least 18.
if not (Ada.Decimal.Max_Decimal_Digits >= Minimum_Required_Size) then
Report.Failed("Insufficient size provided for Max_Decimal_Digits");
end if;
-- Check that the Max_Scale value is at least 18.
if not (Ada.Decimal.Max_Scale >= Minimum_Required_Size) then
Report.Failed("Insufficient size provided for Max_Scale");
end if;
-- Check that the Min_Scale value is at most 0.
if not (Ada.Decimal.Min_Scale <= Maximum_Allowed_Size) then
Report.Failed("Too large a value provided for Min_Scale");
end if;
exception
when others => Report.Failed ("Exception raised in Size_Block");
end Size_Block;
Report.Result;
end CXF1001;
Go to most recent revision | Compare with Previous | Blame | View Log