URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxf/] [cxf2001.a] - Rev 867
Go to most recent revision | Compare with Previous | Blame | View Log
-- CXF2001.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 Divide procedure provides the following results:
-- Quotient = Dividend divided by Divisor and
-- Remainder = Dividend - (Divisor * Quotient)
-- Check that the Remainder is calculated exactly.
--
-- TEST DESCRIPTION:
-- This test is designed to test the generic procedure Divide found in
-- package Ada.Decimal.
--
-- The table below attempts to portray the design approach used in this
-- test. There are three "dimensions" of concern:
-- 1) the delta value of the Quotient and Remainder types, shown as
-- column headers,
-- 2) specific choices for the Dividend and Divisor numerical values
-- (i.e., whether they yielded a repeating/non-terminating result,
-- or a terminating result ["exact"]), displayed on the left side
-- of the tables, and
-- 3) the delta for the Dividend and Divisor.
--
-- Each row in the tables indicates a specific test case, showing the
-- specific quotient and remainder (under the appropriate Delta column)
-- for each combination of dividend and divisor values. Test cases
-- follow the top-to-bottom sequence shown in the tables.
--
-- Most of the test case sets (same dividend/divisor combinations -
-- indicated by dashed horizontal lines in the tables) vary the
-- delta of the quotient and remainder types between test cases. This
-- allows for an examination of how different deltas for a quotient
-- and/or remainder type can influence the results of a division with
-- identical dividend and divisor.
--
-- Note: Test cases are performed for both Radix 10 and Radix 2 types.
--
--
-- Divid Divis Delta Delta Delta Delta Delta
-- (Delta)(Delta)| .1 | .01 | .001 | .0001 | .00001 |Test
-- |---|---|-----|-----|-----|-----|-----|-----|-----|-----|Case
-- quotient | Q | R | Q | R | Q | R | Q | R | Q | R | No.
-- ---------------------------------------------------------------------------
-- .05 .3 |.1 .02 1,21
-- (.01) (.1) |.1 0 2,22
-- | .16 .002 3,23
-- 0.166666.. | .16 .00 4,24
-- | .166 .0002 5,25
-- ---------------------------------------------------------------------------
-- .15 20 | .00 .1500 6,26
-- (.01) (1) | .00 .150 7,27
-- | .00 .15 8,28
-- 0.0075 | .01 .007 9,29
-- | .007 .010 10,30
-- | .0075 .0000 11,31
-- ---------------------------------------------------------------------------
-- .03125 .5 | .0625 .0000 12,32
-- (.00001) (.1) | .062 .00025 13,33
-- | .062 .0002 14,34
-- 0.0625 | .062 .000 15,35
-- | .00 .062 16,36
-- | .06 .00125 17,37
-- | .06 .0012 18,38
-- | .06 .001 19,39
-- | .06 .00 20,40
-- ---------------------------------------------------------------------------
-- Divide by Zero| Raise Constraint_Error 41
-- ---------------------------------------------------------------------------
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 29 Dec 94 SAIC Modified Radix 2 cases to match Radix 10 cases.
-- 03 Oct 95 RBKD Modified to fix incorrect remainder results
-- 15 Nov 95 SAIC Incorporated reviewer fixes for ACVC 2.0.1.
--
--!
with Report;
with Ada.Decimal;
procedure CXF2001 is
TC_Verbose : Boolean := False;
begin
Report.Test ("CXF2001", "Check that the Divide procedure provides " &
"correct results. Check that the Remainder " &
"is calculated exactly");
Radix_10_Block:
declare
-- Declare all types and variables used in the various blocks below
-- for all Radix 10 evaluations.
type DT_1 is delta 1.0 digits 5;
type DT_0_1 is delta 0.1 digits 10;
type DT_0_01 is delta 0.01 digits 10;
type DT_0_001 is delta 0.001 digits 10;
type DT_0_0001 is delta 0.0001 digits 10;
type DT_0_00001 is delta 0.00001 digits 10;
for DT_1'Machine_Radix use 10;
for DT_0_1'Machine_Radix use 10;
for DT_0_01'Machine_Radix use 10;
for DT_0_001'Machine_Radix use 10;
for DT_0_0001'Machine_Radix use 10;
for DT_0_00001'Machine_Radix use 10;
Dd_1, Dv_1, Quot_1, Rem_1 : DT_1 := 0.0;
Dd_0_1, Dv_0_1, Quot_0_1, Rem_0_1 : DT_0_1 := 0.0;
Dd_0_01, Dv_0_01, Quot_0_01, Rem_0_01 : DT_0_01 := 0.0;
Dd_0_001, Dv_0_001, Quot_0_001, Rem_0_001 : DT_0_001 := 0.0;
Dd_0_0001, Dv_0_0001, Quot_0_0001, Rem_0_0001 : DT_0_0001 := 0.0;
Dd_0_00001, Dv_0_00001, Quot_0_00001, Rem_0_00001 : DT_0_00001 := 0.0;
begin
declare
procedure Div is
new Ada.Decimal.Divide(Dividend_Type => DT_0_01,
Divisor_Type => DT_0_1,
Quotient_Type => DT_0_1,
Remainder_Type => DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 1"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_01);
if Quot_0_1 /= DT_0_1(0.1) or Rem_0_01 /= DT_0_01(0.02) then
Report.Failed("Incorrect values returned, Case 1");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_1, DT_0_1);
begin
if TC_Verbose then Report.Comment("Case 2"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_1);
if Quot_0_1 /= DT_0_1(0.1) or Rem_0_1 /= DT_0_1(0.0) then
Report.Failed("Incorrect values returned, Case 2");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 3"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_001);
if Quot_0_01 /= DT_0_01(0.16) or Rem_0_001 /= DT_0_001(0.002) then
Report.Failed("Incorrect values returned, Case 3");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 4"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_01);
if Quot_0_01 /= DT_0_01(0.16) or Rem_0_01 /= DT_0_01(0.0) then
Report.Failed("Incorrect values returned, Case 4");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 5"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_001, Rem_0_0001);
if Quot_0_001 /= DT_0_001(0.166) or
Rem_0_0001 /= DT_0_0001(0.0002)
then
Report.Failed("Incorrect values returned, Case 5");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 6"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_0001);
if Quot_0_01 /= DT_0_01(0.0) or Rem_0_0001 /= DT_0_0001(0.1500) then
Report.Failed("Incorrect values returned, Case 6");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 7"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_001);
if Quot_0_01 /= DT_0_01(0.0) or Rem_0_001 /= DT_0_001(0.150) then
Report.Failed("Incorrect values returned, Case 7");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 8"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_01);
if Quot_0_01 /= DT_0_01(0.0) or Rem_0_01 /= DT_0_01(0.15) then
Report.Failed("Incorrect values returned, Case 8");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 9"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_001);
if Quot_0_001 /= DT_0_001(0.007) or Rem_0_001 /= DT_0_001(0.01) then
Report.Failed("Incorrect values returned, Case 9");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 10"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_01);
if Quot_0_001 /= DT_0_001(0.007) or Rem_0_01 /= DT_0_01(0.01) then
Report.Failed("Incorrect values returned, Case 10");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_0001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 11"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_0001, Rem_0_0001);
if Quot_0_0001 /= DT_0_0001(0.0075) or
Rem_0_0001 /= DT_0_0001(0.0)
then
Report.Failed("Incorrect values returned, Case 11");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_0001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 12"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_0001, Rem_0_0001);
if Quot_0_0001 /= DT_0_0001(0.0625) or
Rem_0_0001 /= DT_0_0001(0.0)
then
Report.Failed("Incorrect values returned, Case 12");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_00001);
begin
if TC_Verbose then Report.Comment("Case 13"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_00001);
if Quot_0_001 /= DT_0_001(0.062) or
Rem_0_00001 /= DT_0_00001(0.00025)
then
Report.Failed("Incorrect values returned, Case 13");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 14"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_0001);
if Quot_0_001 /= DT_0_001(0.062) or
Rem_0_0001 /= DT_0_0001(0.0002)
then
Report.Failed("Incorrect values returned, Case 14");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 15"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_001);
if Quot_0_001 /= DT_0_001(0.062) or Rem_0_001 /= DT_0_001(0.000)
then
Report.Failed("Incorrect values returned, Case 15");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 16"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_01);
if Quot_0_001 /= DT_0_001(0.062) or Rem_0_01 /= DT_0_01(0.00) then
Report.Failed("Incorrect values returned, Case 16");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_00001);
begin
if TC_Verbose then Report.Comment("Case 17"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_00001);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_00001 /= DT_0_00001(0.00125)
then
Report.Failed("Incorrect values returned, Case 17");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 18"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_0001);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_0001 /= DT_0_0001(0.0012)
then
Report.Failed("Incorrect values returned, Case 18");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 19"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_001);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_001 /= DT_0_001(0.001) then
Report.Failed("Incorrect values returned, Case 19");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 20"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_01);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_01 /= DT_0_01(0.0) then
Report.Failed("Incorrect values returned, Case 20");
end if;
end;
exception
when others => Report.Failed("Exception raised in Radix_10_Block");
end Radix_10_Block;
Radix_2_Block:
declare
-- Declare all types and variables used in the various blocks below
-- for all Radix 2 evaluations.
type DT_1 is delta 1.0 digits 5;
type DT_0_1 is delta 0.1 digits 10;
type DT_0_01 is delta 0.01 digits 10;
type DT_0_001 is delta 0.001 digits 10;
type DT_0_0001 is delta 0.0001 digits 10;
type DT_0_00001 is delta 0.00001 digits 10;
for DT_1'Machine_Radix use 2;
for DT_0_1'Machine_Radix use 2;
for DT_0_01'Machine_Radix use 2;
for DT_0_001'Machine_Radix use 2;
for DT_0_0001'Machine_Radix use 2;
for DT_0_00001'Machine_Radix use 2;
Dd_1, Dv_1, Quot_1, Rem_1 : DT_1 := 0.0;
Dd_0_1, Dv_0_1, Quot_0_1, Rem_0_1 : DT_0_1 := 0.0;
Dd_0_01, Dv_0_01, Quot_0_01, Rem_0_01 : DT_0_01 := 0.0;
Dd_0_001, Dv_0_001, Quot_0_001, Rem_0_001 : DT_0_001 := 0.0;
Dd_0_0001, Dv_0_0001, Quot_0_0001, Rem_0_0001 : DT_0_0001 := 0.0;
Dd_0_00001, Dv_0_00001, Quot_0_00001, Rem_0_00001 : DT_0_00001 := 0.0;
begin
declare
procedure Div is
new Ada.Decimal.Divide(Dividend_Type => DT_0_01,
Divisor_Type => DT_0_1,
Quotient_Type => DT_0_1,
Remainder_Type => DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 21"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_01);
if Quot_0_1 /= DT_0_1(0.1) or Rem_0_01 /= DT_0_01(0.02) then
Report.Failed("Incorrect values returned, Case 21");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_1, DT_0_1);
begin
if TC_Verbose then Report.Comment("Case 22"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_1);
if Quot_0_1 /= DT_0_1(0.1) or Rem_0_1 /= DT_0_1(0.0) then
Report.Failed("Incorrect values returned, Case 22");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 23"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_001);
if Quot_0_01 /= DT_0_01(0.16) or Rem_0_001 /= DT_0_001(0.002) then
Report.Failed("Incorrect values returned, Case 23");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 24"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_01);
if Quot_0_01 /= DT_0_01(0.16) or Rem_0_01 /= DT_0_01(0.0) then
Report.Failed("Incorrect values returned, Case 24");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 25"); end if;
Dd_0_01 := DT_0_01(0.05); Dv_0_1 := DT_0_1(0.3);
Div(Dd_0_01, Dv_0_1, Quot_0_001, Rem_0_0001);
if Quot_0_001 /= DT_0_001(0.166) or
Rem_0_0001 /= DT_0_0001(0.0002)
then
Report.Failed("Incorrect values returned, Case 25");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 26"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_0001);
if Quot_0_01 /= DT_0_01(0.0) or Rem_0_0001 /= DT_0_0001(0.1500) then
Report.Failed("Incorrect values returned, Case 26");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 27"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_001);
if Quot_0_01 /= DT_0_01(0.0) or Rem_0_001 /= DT_0_001(0.150) then
Report.Failed("Incorrect values returned, Case 27");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 28"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_01);
if Quot_0_01 /= DT_0_01(0.0) or Rem_0_01 /= DT_0_01(0.15) then
Report.Failed("Incorrect values returned, Case 28");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 29"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_001);
if Quot_0_001 /= DT_0_001(0.007) or Rem_0_001 /= DT_0_001(0.01) then
Report.Failed("Incorrect values returned, Case 29");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 30"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_01);
if Quot_0_001 /= DT_0_001(0.007) or Rem_0_01 /= DT_0_01(0.01) then
Report.Failed("Incorrect values returned, Case 30");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_0001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 31"); end if;
Dd_0_01 := DT_0_01(0.15); Dv_1 := DT_1(20);
Div(Dd_0_01, Dv_1, Quot_0_0001, Rem_0_0001);
if Quot_0_0001 /= DT_0_0001(0.0075) or
Rem_0_0001 /= DT_0_0001(0.0)
then
Report.Failed("Incorrect values returned, Case 31");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_0001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 32"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_0001, Rem_0_0001);
if Quot_0_0001 /= DT_0_0001(0.0625) or
Rem_0_0001 /= DT_0_0001(0.0)
then
Report.Failed("Incorrect values returned, Case 32");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_00001);
begin
if TC_Verbose then Report.Comment("Case 33"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_00001);
if Quot_0_001 /= DT_0_001(0.062) or
Rem_0_00001 /= DT_0_00001(0.00025)
then
Report.Failed("Incorrect values returned, Case 33");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 34"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_0001);
if Quot_0_001 /= DT_0_001(0.062) or
Rem_0_0001 /= DT_0_0001(0.0002)
then
Report.Failed("Incorrect values returned, Case 34");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 35"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_001);
if Quot_0_001 /= DT_0_001(0.062) or Rem_0_001 /= DT_0_001(0.000)
then
Report.Failed("Incorrect values returned, Case 35");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 36"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_01);
if Quot_0_001 /= DT_0_001(0.062) or Rem_0_01 /= DT_0_01(0.00) then
Report.Failed("Incorrect values returned, Case 36");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_00001);
begin
if TC_Verbose then Report.Comment("Case 37"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_00001);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_00001 /= DT_0_00001(0.00125)
then
Report.Failed("Incorrect values returned, Case 37");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 38"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_0001);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_0001 /= DT_0_0001(0.0012)
then
Report.Failed("Incorrect values returned, Case 38");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_001);
begin
if TC_Verbose then Report.Comment("Case 39"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_001);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_001 /= DT_0_001(0.001) then
Report.Failed("Incorrect values returned, Case 39");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_01);
begin
if TC_Verbose then Report.Comment("Case 40"); end if;
Dd_0_00001 := DT_0_00001(0.03125); Dv_0_1 := DT_0_1(0.5);
Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_01);
if Quot_0_01 /= DT_0_01(0.06) or Rem_0_01 /= DT_0_01(0.0) then
Report.Failed("Incorrect values returned, Case 40");
end if;
end;
declare
procedure Div is
new Ada.Decimal.Divide(DT_0_0001, DT_1, DT_0_0001, DT_0_0001);
begin
if TC_Verbose then Report.Comment("Case 41"); end if;
Dd_0_0001 := (DT_0_0001(6062.0) / DT_0_0001(16384.0));
Dv_1 := DT_1(0.0);
Div(Dd_0_0001, Dv_1, Quot_0_0001, Rem_0_0001);
Report.Failed("Divide by Zero didn't raise Constraint_Error, " &
"Case 41");
exception
when Constraint_Error => null; -- OK, expected exception.
when others =>
Report.Failed("Unexpected exception raised by Divide by Zero," &
"Case 41");
end;
exception
when others => Report.Failed("Exception raised in Radix_10_Block");
end Radix_2_Block;
Report.Result;
end CXF2001;
Go to most recent revision | Compare with Previous | Blame | View Log