gcc/testsuite/ada/acats/tests/cxf/cxf2001.a

   1 -- CXF2001.A
   2 --
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 --
  26 -- OBJECTIVE:
  27 --      Check that the Divide procedure provides the following results:
  28 --        Quotient = Dividend divided by Divisor  and
  29 --        Remainder = Dividend - (Divisor * Quotient)
  30 --      Check that the Remainder is calculated exactly.
  31 --
  32 -- TEST DESCRIPTION:
  33 --      This test is designed to test the generic procedure Divide found in
  34 --      package Ada.Decimal.
  35 --
  36 --      The table below attempts to portray the design approach used in this
  37 --      test.  There are three "dimensions" of concern:
  38 --        1) the delta value of the Quotient and Remainder types, shown as
  39 --           column headers,
  40 --        2) specific choices for the Dividend and Divisor numerical values
  41 --           (i.e., whether they yielded a repeating/non-terminating result,
  42 --            or a terminating result ["exact"]), displayed on the left side
  43 --            of the tables, and
  44 --        3) the delta for the Dividend and Divisor.
  45 --
  46 --      Each row in the tables indicates a specific test case, showing the
  47 --      specific quotient and remainder (under the appropriate Delta column)
  48 --      for each combination of dividend and divisor values.  Test cases
  49 --      follow the top-to-bottom sequence shown in the tables.
  50 --
  51 --      Most of the test case sets (same dividend/divisor combinations -
  52 --      indicated by dashed horizontal lines in the tables) vary the
  53 --      delta of the quotient and remainder types between test cases. This
  54 --      allows for an examination of how different deltas for a quotient
  55 --      and/or remainder type can influence the results of a division with
  56 --      identical dividend and divisor.
  57 --
  58 --      Note: Test cases are performed for both Radix 10 and Radix 2 types.
  59 --
  60 --
  61 --  Divid  Divis    Delta     Delta       Delta       Delta       Delta
  62 -- (Delta)(Delta)|  .1   |    .01    |   .001    |   .0001   |  .00001   |Test
  63 --               |---|---|-----|-----|-----|-----|-----|-----|-----|-----|Case
  64 --    quotient   | Q | R |  Q  |  R  |  Q  |  R  |  Q  |  R  |  Q  |  R  | No.
  65 -- ---------------------------------------------------------------------------
  66 --  .05     .3   |.1             .02                                       1,21
  67 -- (.01)   (.1)  |.1   0                                                   2,22
  68 --               |         .16               .002                          3,23
  69 --   0.166666..  |         .16   .00                                       4,24
  70 --               |                     .166             .0002              5,25
  71 -- ---------------------------------------------------------------------------
  72 --  .15     20   |         .00                          .1500              6,26
  73 -- (.01)    (1)  |         .00               .150                          7,27
  74 --               |         .00   .15                                       8,28
  75 --   0.0075      |               .01   .007                                9,29
  76 --               |                     .007  .010                         10,30
  77 --               |                                .0075 .0000             11,31
  78 -- ---------------------------------------------------------------------------
  79 --  .03125   .5  |                                .0625 .0000             12,32
  80 -- (.00001) (.1) |                     .062                        .00025 13,33
  81 --               |                     .062             .0002             14,34
  82 --   0.0625      |                     .062  .000                         15,35
  83 --               |               .00   .062                               16,36
  84 --               |         .06                                     .00125 17,37
  85 --               |         .06                          .0012             18,38
  86 --               |         .06               .001                         19,39
  87 --               |         .06   .00                                      20,40
  88 -- ---------------------------------------------------------------------------
  89 -- Divide by Zero| Raise Constraint_Error                                 41
  90 -- ---------------------------------------------------------------------------
  91 --
  92 --
  93 -- CHANGE HISTORY:
  94 --      06 Dec 94   SAIC    ACVC 2.0
  95 --      29 Dec 94   SAIC    Modified Radix 2 cases to match Radix 10 cases.
  96 --      03 Oct 95   RBKD    Modified to fix incorrect remainder results
  97 --      15 Nov 95   SAIC    Incorporated reviewer fixes for ACVC 2.0.1.
  98 --
  99 --!
 100
 101 with Report;
 102 with Ada.Decimal;
 103
 104 procedure CXF2001 is
 105
 106    TC_Verbose : Boolean := False;
 107
 108 begin
 109
 110    Report.Test ("CXF2001", "Check that the Divide procedure provides "  &
 111                            "correct results. Check that the Remainder " &
 112                            "is calculated exactly");
 113    Radix_10_Block:
 114    declare
 115
 116
 117       -- Declare all types and variables used in the various blocks below
 118       -- for all Radix 10 evaluations.
 119
 120       type DT_1       is delta 1.0     digits 5;
 121       type DT_0_1     is delta 0.1     digits 10;
 122       type DT_0_01    is delta 0.01    digits 10;
 123       type DT_0_001   is delta 0.001   digits 10;
 124       type DT_0_0001  is delta 0.0001  digits 10;
 125       type DT_0_00001 is delta 0.00001 digits 10;
 126
 127       for DT_1'Machine_Radix       use 10;
 128       for DT_0_1'Machine_Radix     use 10;
 129       for DT_0_01'Machine_Radix    use 10;
 130       for DT_0_001'Machine_Radix   use 10;
 131       for DT_0_0001'Machine_Radix  use 10;
 132       for DT_0_00001'Machine_Radix use 10;
 133
 134       Dd_1,       Dv_1,       Quot_1,       Rem_1       : DT_1       := 0.0;
 135       Dd_0_1,     Dv_0_1,     Quot_0_1,     Rem_0_1     : DT_0_1     := 0.0;
 136       Dd_0_01,    Dv_0_01,    Quot_0_01,    Rem_0_01    : DT_0_01    := 0.0;
 137       Dd_0_001,   Dv_0_001,   Quot_0_001,   Rem_0_001   : DT_0_001   := 0.0;
 138       Dd_0_0001,  Dv_0_0001,  Quot_0_0001,  Rem_0_0001  : DT_0_0001  := 0.0;
 139       Dd_0_00001, Dv_0_00001, Quot_0_00001, Rem_0_00001 : DT_0_00001 := 0.0;
 140
 141    begin
 142
 143
 144       declare
 145          procedure Div is
 146             new Ada.Decimal.Divide(Dividend_Type  => DT_0_01,
 147                                    Divisor_Type   => DT_0_1,
 148                                    Quotient_Type  => DT_0_1,
 149                                    Remainder_Type => DT_0_01);
 150       begin
 151          if TC_Verbose then Report.Comment("Case 1"); end if;
 152          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 153          Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_01);
 154          if Quot_0_1 /= DT_0_1(0.1)  or  Rem_0_01 /= DT_0_01(0.02) then
 155             Report.Failed("Incorrect values returned, Case 1");
 156          end if;
 157       end;
 158
 159
 160       declare
 161          procedure Div is
 162             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_1, DT_0_1);
 163       begin
 164          if TC_Verbose then Report.Comment("Case 2"); end if;
 165          Dd_0_01 := DT_0_01(0.05);   Dv_0_1 := DT_0_1(0.3);
 166          Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_1);
 167          if Quot_0_1 /= DT_0_1(0.1) or  Rem_0_1 /= DT_0_1(0.0) then
 168             Report.Failed("Incorrect values returned, Case 2");
 169          end if;
 170       end;
 171
 172
 173       declare
 174          procedure Div is
 175             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_001);
 176       begin
 177          if TC_Verbose then Report.Comment("Case 3"); end if;
 178          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 179          Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_001);
 180          if Quot_0_01 /= DT_0_01(0.16) or  Rem_0_001 /= DT_0_001(0.002) then
 181             Report.Failed("Incorrect values returned, Case 3");
 182          end if;
 183       end;
 184
 185
 186       declare
 187          procedure Div is
 188             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_01);
 189       begin
 190          if TC_Verbose then Report.Comment("Case 4"); end if;
 191          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 192          Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_01);
 193          if Quot_0_01 /= DT_0_01(0.16) or  Rem_0_01 /= DT_0_01(0.0) then
 194             Report.Failed("Incorrect values returned, Case 4");
 195          end if;
 196       end;
 197
 198
 199       declare
 200          procedure Div is
 201             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_001, DT_0_0001);
 202       begin
 203          if TC_Verbose then Report.Comment("Case 5"); end if;
 204          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 205          Div(Dd_0_01, Dv_0_1, Quot_0_001, Rem_0_0001);
 206          if Quot_0_001 /= DT_0_001(0.166)   or
 207             Rem_0_0001 /= DT_0_0001(0.0002)
 208          then
 209             Report.Failed("Incorrect values returned, Case 5");
 210          end if;
 211       end;
 212
 213
 214       declare
 215          procedure Div is
 216             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_0001);
 217       begin
 218          if TC_Verbose then Report.Comment("Case 6"); end if;
 219          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 220          Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_0001);
 221          if Quot_0_01 /= DT_0_01(0.0) or Rem_0_0001 /= DT_0_0001(0.1500) then
 222             Report.Failed("Incorrect values returned, Case 6");
 223          end if;
 224       end;
 225
 226
 227       declare
 228          procedure Div is
 229             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_001);
 230       begin
 231          if TC_Verbose then Report.Comment("Case 7"); end if;
 232          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 233          Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_001);
 234          if Quot_0_01 /= DT_0_01(0.0) or Rem_0_001 /= DT_0_001(0.150) then
 235             Report.Failed("Incorrect values returned, Case 7");
 236          end if;
 237       end;
 238
 239
 240       declare
 241          procedure Div is
 242             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_01);
 243       begin
 244          if TC_Verbose then Report.Comment("Case 8"); end if;
 245          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 246          Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_01);
 247          if Quot_0_01 /= DT_0_01(0.0) or Rem_0_01 /= DT_0_01(0.15) then
 248             Report.Failed("Incorrect values returned, Case 8");
 249          end if;
 250       end;
 251
 252
 253       declare
 254          procedure Div is
 255             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_001);
 256       begin
 257          if TC_Verbose then Report.Comment("Case 9"); end if;
 258          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 259          Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_001);
 260          if Quot_0_001 /= DT_0_001(0.007) or  Rem_0_001 /= DT_0_001(0.01) then
 261             Report.Failed("Incorrect values returned, Case 9");
 262          end if;
 263       end;
 264
 265
 266       declare
 267          procedure Div is
 268             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_01);
 269       begin
 270          if TC_Verbose then Report.Comment("Case 10"); end if;
 271          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 272          Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_01);
 273          if Quot_0_001 /= DT_0_001(0.007) or  Rem_0_01 /= DT_0_01(0.01) then
 274             Report.Failed("Incorrect values returned, Case 10");
 275          end if;
 276       end;
 277
 278
 279       declare
 280          procedure Div is
 281             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_0001, DT_0_0001);
 282       begin
 283          if TC_Verbose then Report.Comment("Case 11"); end if;
 284          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 285          Div(Dd_0_01, Dv_1, Quot_0_0001, Rem_0_0001);
 286          if Quot_0_0001 /= DT_0_0001(0.0075) or
 287             Rem_0_0001  /= DT_0_0001(0.0)
 288          then
 289             Report.Failed("Incorrect values returned, Case 11");
 290          end if;
 291       end;
 292
 293
 294       declare
 295          procedure Div is
 296             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_0001, DT_0_0001);
 297       begin
 298          if TC_Verbose then Report.Comment("Case 12"); end if;
 299          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 300          Div(Dd_0_00001, Dv_0_1, Quot_0_0001, Rem_0_0001);
 301          if Quot_0_0001 /= DT_0_0001(0.0625) or
 302             Rem_0_0001  /= DT_0_0001(0.0)
 303          then
 304             Report.Failed("Incorrect values returned, Case 12");
 305          end if;
 306       end;
 307
 308
 309       declare
 310          procedure Div is
 311             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_00001);
 312       begin
 313          if TC_Verbose then Report.Comment("Case 13"); end if;
 314          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 315          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_00001);
 316          if Quot_0_001 /= DT_0_001(0.062) or
 317             Rem_0_00001  /= DT_0_00001(0.00025)
 318          then
 319             Report.Failed("Incorrect values returned, Case 13");
 320          end if;
 321       end;
 322
 323
 324       declare
 325          procedure Div is
 326             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_0001);
 327       begin
 328          if TC_Verbose then Report.Comment("Case 14"); end if;
 329          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 330          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_0001);
 331          if Quot_0_001 /= DT_0_001(0.062) or
 332             Rem_0_0001  /= DT_0_0001(0.0002)
 333          then
 334             Report.Failed("Incorrect values returned, Case 14");
 335          end if;
 336       end;
 337
 338
 339       declare
 340          procedure Div is
 341             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_001);
 342       begin
 343          if TC_Verbose then Report.Comment("Case 15"); end if;
 344          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 345          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_001);
 346          if Quot_0_001 /= DT_0_001(0.062) or Rem_0_001 /= DT_0_001(0.000)
 347          then
 348             Report.Failed("Incorrect values returned, Case 15");
 349          end if;
 350       end;
 351
 352
 353       declare
 354          procedure Div is
 355             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_01);
 356       begin
 357          if TC_Verbose then Report.Comment("Case 16"); end if;
 358          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 359          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_01);
 360          if Quot_0_001 /= DT_0_001(0.062) or Rem_0_01 /= DT_0_01(0.00) then
 361             Report.Failed("Incorrect values returned, Case 16");
 362          end if;
 363       end;
 364
 365
 366       declare
 367          procedure Div is
 368             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_00001);
 369       begin
 370          if TC_Verbose then Report.Comment("Case 17"); end if;
 371          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 372          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_00001);
 373          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_00001 /= DT_0_00001(0.00125)
 374          then
 375             Report.Failed("Incorrect values returned, Case 17");
 376          end if;
 377       end;
 378
 379
 380       declare
 381          procedure Div is
 382             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_0001);
 383       begin
 384          if TC_Verbose then Report.Comment("Case 18"); end if;
 385          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 386          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_0001);
 387          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_0001 /= DT_0_0001(0.0012)
 388          then
 389             Report.Failed("Incorrect values returned, Case 18");
 390          end if;
 391       end;
 392
 393
 394       declare
 395          procedure Div is
 396             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_001);
 397       begin
 398          if TC_Verbose then Report.Comment("Case 19"); end if;
 399          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 400          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_001);
 401          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_001 /= DT_0_001(0.001) then
 402             Report.Failed("Incorrect values returned, Case 19");
 403          end if;
 404       end;
 405
 406
 407       declare
 408          procedure Div is
 409             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_01);
 410       begin
 411          if TC_Verbose then Report.Comment("Case 20"); end if;
 412          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 413          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_01);
 414          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_01 /= DT_0_01(0.0) then
 415             Report.Failed("Incorrect values returned, Case 20");
 416          end if;
 417       end;
 418
 419
 420    exception
 421       when others => Report.Failed("Exception raised in Radix_10_Block");
 422    end Radix_10_Block;
 423
 424
 425
 426    Radix_2_Block:
 427    declare
 428
 429       -- Declare all types and variables used in the various blocks below
 430       -- for all Radix 2 evaluations.
 431
 432       type DT_1       is delta 1.0     digits 5;
 433       type DT_0_1     is delta 0.1     digits 10;
 434       type DT_0_01    is delta 0.01    digits 10;
 435       type DT_0_001   is delta 0.001   digits 10;
 436       type DT_0_0001  is delta 0.0001  digits 10;
 437       type DT_0_00001 is delta 0.00001 digits 10;
 438
 439       for DT_1'Machine_Radix       use 2;
 440       for DT_0_1'Machine_Radix     use 2;
 441       for DT_0_01'Machine_Radix    use 2;
 442       for DT_0_001'Machine_Radix   use 2;
 443       for DT_0_0001'Machine_Radix  use 2;
 444       for DT_0_00001'Machine_Radix use 2;
 445
 446       Dd_1,       Dv_1,       Quot_1,       Rem_1       : DT_1       := 0.0;
 447       Dd_0_1,     Dv_0_1,     Quot_0_1,     Rem_0_1     : DT_0_1     := 0.0;
 448       Dd_0_01,    Dv_0_01,    Quot_0_01,    Rem_0_01    : DT_0_01    := 0.0;
 449       Dd_0_001,   Dv_0_001,   Quot_0_001,   Rem_0_001   : DT_0_001   := 0.0;
 450       Dd_0_0001,  Dv_0_0001,  Quot_0_0001,  Rem_0_0001  : DT_0_0001  := 0.0;
 451       Dd_0_00001, Dv_0_00001, Quot_0_00001, Rem_0_00001 : DT_0_00001 := 0.0;
 452
 453    begin
 454
 455
 456       declare
 457          procedure Div is
 458             new Ada.Decimal.Divide(Dividend_Type  => DT_0_01,
 459                                    Divisor_Type   => DT_0_1,
 460                                    Quotient_Type  => DT_0_1,
 461                                    Remainder_Type => DT_0_01);
 462       begin
 463          if TC_Verbose then Report.Comment("Case 21"); end if;
 464          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 465          Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_01);
 466          if Quot_0_1 /= DT_0_1(0.1)  or  Rem_0_01 /= DT_0_01(0.02) then
 467             Report.Failed("Incorrect values returned, Case 21");
 468          end if;
 469       end;
 470
 471
 472       declare
 473          procedure Div is
 474             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_1, DT_0_1);
 475       begin
 476          if TC_Verbose then Report.Comment("Case 22"); end if;
 477          Dd_0_01 := DT_0_01(0.05);   Dv_0_1 := DT_0_1(0.3);
 478          Div(Dd_0_01, Dv_0_1, Quot_0_1, Rem_0_1);
 479          if Quot_0_1 /= DT_0_1(0.1) or  Rem_0_1 /= DT_0_1(0.0) then
 480             Report.Failed("Incorrect values returned, Case 22");
 481          end if;
 482       end;
 483
 484
 485       declare
 486          procedure Div is
 487             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_001);
 488       begin
 489          if TC_Verbose then Report.Comment("Case 23"); end if;
 490          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 491          Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_001);
 492          if Quot_0_01 /= DT_0_01(0.16) or  Rem_0_001 /= DT_0_001(0.002) then
 493             Report.Failed("Incorrect values returned, Case 23");
 494          end if;
 495       end;
 496
 497
 498       declare
 499          procedure Div is
 500             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_01, DT_0_01);
 501       begin
 502          if TC_Verbose then Report.Comment("Case 24"); end if;
 503          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 504          Div(Dd_0_01, Dv_0_1, Quot_0_01, Rem_0_01);
 505          if Quot_0_01 /= DT_0_01(0.16) or  Rem_0_01 /= DT_0_01(0.0) then
 506             Report.Failed("Incorrect values returned, Case 24");
 507          end if;
 508       end;
 509
 510
 511       declare
 512          procedure Div is
 513             new Ada.Decimal.Divide(DT_0_01, DT_0_1, DT_0_001, DT_0_0001);
 514       begin
 515          if TC_Verbose then Report.Comment("Case 25"); end if;
 516          Dd_0_01 := DT_0_01(0.05);  Dv_0_1 := DT_0_1(0.3);
 517          Div(Dd_0_01, Dv_0_1, Quot_0_001, Rem_0_0001);
 518          if Quot_0_001 /= DT_0_001(0.166)   or
 519             Rem_0_0001 /= DT_0_0001(0.0002)
 520          then
 521             Report.Failed("Incorrect values returned, Case 25");
 522          end if;
 523       end;
 524
 525
 526       declare
 527          procedure Div is
 528             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_0001);
 529       begin
 530          if TC_Verbose then Report.Comment("Case 26"); end if;
 531          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 532          Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_0001);
 533          if Quot_0_01 /= DT_0_01(0.0) or Rem_0_0001 /= DT_0_0001(0.1500) then
 534             Report.Failed("Incorrect values returned, Case 26");
 535          end if;
 536       end;
 537
 538
 539       declare
 540          procedure Div is
 541             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_001);
 542       begin
 543          if TC_Verbose then Report.Comment("Case 27"); end if;
 544          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 545          Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_001);
 546          if Quot_0_01 /= DT_0_01(0.0) or Rem_0_001 /= DT_0_001(0.150) then
 547             Report.Failed("Incorrect values returned, Case 27");
 548          end if;
 549       end;
 550
 551
 552       declare
 553          procedure Div is
 554             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_01, DT_0_01);
 555       begin
 556          if TC_Verbose then Report.Comment("Case 28"); end if;
 557          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 558          Div(Dd_0_01, Dv_1, Quot_0_01, Rem_0_01);
 559          if Quot_0_01 /= DT_0_01(0.0) or Rem_0_01 /= DT_0_01(0.15) then
 560             Report.Failed("Incorrect values returned, Case 28");
 561          end if;
 562       end;
 563
 564
 565       declare
 566          procedure Div is
 567             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_001);
 568       begin
 569          if TC_Verbose then Report.Comment("Case 29"); end if;
 570          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 571          Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_001);
 572          if Quot_0_001 /= DT_0_001(0.007) or  Rem_0_001 /= DT_0_001(0.01) then
 573             Report.Failed("Incorrect values returned, Case 29");
 574          end if;
 575       end;
 576
 577
 578       declare
 579          procedure Div is
 580             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_001, DT_0_01);
 581       begin
 582          if TC_Verbose then Report.Comment("Case 30"); end if;
 583          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 584          Div(Dd_0_01, Dv_1, Quot_0_001, Rem_0_01);
 585          if Quot_0_001 /= DT_0_001(0.007) or  Rem_0_01 /= DT_0_01(0.01) then
 586             Report.Failed("Incorrect values returned, Case 30");
 587          end if;
 588       end;
 589
 590
 591       declare
 592          procedure Div is
 593             new Ada.Decimal.Divide(DT_0_01, DT_1, DT_0_0001, DT_0_0001);
 594       begin
 595          if TC_Verbose then Report.Comment("Case 31"); end if;
 596          Dd_0_01 := DT_0_01(0.15);  Dv_1 := DT_1(20);
 597          Div(Dd_0_01, Dv_1, Quot_0_0001, Rem_0_0001);
 598          if Quot_0_0001 /= DT_0_0001(0.0075) or
 599             Rem_0_0001  /= DT_0_0001(0.0)
 600          then
 601             Report.Failed("Incorrect values returned, Case 31");
 602          end if;
 603       end;
 604
 605
 606       declare
 607          procedure Div is
 608             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_0001, DT_0_0001);
 609       begin
 610          if TC_Verbose then Report.Comment("Case 32"); end if;
 611          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 612          Div(Dd_0_00001, Dv_0_1, Quot_0_0001, Rem_0_0001);
 613          if Quot_0_0001 /= DT_0_0001(0.0625) or
 614             Rem_0_0001  /= DT_0_0001(0.0)
 615          then
 616             Report.Failed("Incorrect values returned, Case 32");
 617          end if;
 618       end;
 619
 620
 621       declare
 622          procedure Div is
 623             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_00001);
 624       begin
 625          if TC_Verbose then Report.Comment("Case 33"); end if;
 626          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 627          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_00001);
 628          if Quot_0_001 /= DT_0_001(0.062) or
 629             Rem_0_00001  /= DT_0_00001(0.00025)
 630          then
 631             Report.Failed("Incorrect values returned, Case 33");
 632          end if;
 633       end;
 634
 635
 636       declare
 637          procedure Div is
 638             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_0001);
 639       begin
 640          if TC_Verbose then Report.Comment("Case 34"); end if;
 641          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 642          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_0001);
 643          if Quot_0_001 /= DT_0_001(0.062) or
 644             Rem_0_0001  /= DT_0_0001(0.0002)
 645          then
 646             Report.Failed("Incorrect values returned, Case 34");
 647          end if;
 648       end;
 649
 650
 651       declare
 652          procedure Div is
 653             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_001);
 654       begin
 655          if TC_Verbose then Report.Comment("Case 35"); end if;
 656          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 657          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_001);
 658          if Quot_0_001 /= DT_0_001(0.062) or Rem_0_001 /= DT_0_001(0.000)
 659          then
 660             Report.Failed("Incorrect values returned, Case 35");
 661          end if;
 662       end;
 663
 664
 665       declare
 666          procedure Div is
 667             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_001, DT_0_01);
 668       begin
 669          if TC_Verbose then Report.Comment("Case 36"); end if;
 670          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 671          Div(Dd_0_00001, Dv_0_1, Quot_0_001, Rem_0_01);
 672          if Quot_0_001 /= DT_0_001(0.062) or Rem_0_01 /= DT_0_01(0.00) then
 673             Report.Failed("Incorrect values returned, Case 36");
 674          end if;
 675       end;
 676
 677
 678       declare
 679          procedure Div is
 680             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_00001);
 681       begin
 682          if TC_Verbose then Report.Comment("Case 37"); end if;
 683          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 684          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_00001);
 685          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_00001 /= DT_0_00001(0.00125)
 686          then
 687             Report.Failed("Incorrect values returned, Case 37");
 688          end if;
 689       end;
 690
 691
 692       declare
 693          procedure Div is
 694             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_0001);
 695       begin
 696          if TC_Verbose then Report.Comment("Case 38"); end if;
 697          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 698          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_0001);
 699          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_0001 /= DT_0_0001(0.0012)
 700          then
 701             Report.Failed("Incorrect values returned, Case 38");
 702          end if;
 703       end;
 704
 705
 706       declare
 707          procedure Div is
 708             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_001);
 709       begin
 710          if TC_Verbose then Report.Comment("Case 39"); end if;
 711          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 712          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_001);
 713          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_001 /= DT_0_001(0.001) then
 714             Report.Failed("Incorrect values returned, Case 39");
 715          end if;
 716       end;
 717
 718
 719       declare
 720          procedure Div is
 721             new Ada.Decimal.Divide(DT_0_00001, DT_0_1, DT_0_01, DT_0_01);
 722       begin
 723          if TC_Verbose then Report.Comment("Case 40"); end if;
 724          Dd_0_00001 := DT_0_00001(0.03125);  Dv_0_1 := DT_0_1(0.5);
 725          Div(Dd_0_00001, Dv_0_1, Quot_0_01, Rem_0_01);
 726          if Quot_0_01 /= DT_0_01(0.06) or Rem_0_01 /= DT_0_01(0.0) then
 727             Report.Failed("Incorrect values returned, Case 40");
 728          end if;
 729       end;
 730
 731       declare
 732          procedure Div is
 733             new Ada.Decimal.Divide(DT_0_0001, DT_1, DT_0_0001, DT_0_0001);
 734       begin
 735          if TC_Verbose then Report.Comment("Case 41"); end if;
 736          Dd_0_0001 := (DT_0_0001(6062.0) / DT_0_0001(16384.0));
 737          Dv_1 := DT_1(0.0);
 738          Div(Dd_0_0001, Dv_1, Quot_0_0001, Rem_0_0001);
 739          Report.Failed("Divide by Zero didn't raise Constraint_Error, " &
 740                        "Case 41");
 741       exception
 742          when Constraint_Error =>  null;  -- OK, expected exception.
 743          when others =>
 744             Report.Failed("Unexpected exception raised by Divide by Zero," &
 745                           "Case 41");
 746       end;
 747
 748    exception
 749       when others => Report.Failed("Exception raised in Radix_10_Block");
 750    end Radix_2_Block;
 751
 752
 753    Report.Result;
 754
 755 end CXF2001;