gcc/testsuite/ada/acats/tests/c2/c24203b.ada

   1 -- C24203B.ADA
   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 -- OBJECTIVE:
  26 --     CHECK THAT BASED REAL LITERALS WITH BASES 2 THROUGH 16 ALL
  27 --     YIELD CORRECT VALUES.
  28
  29 --     THIS TEST USES MODEL NUMBERS OF DIGITS 6.
  30
  31 -- HISTORY:
  32 --     DHH 06/15/88 CREATED ORIGINAL TEST.
  33 --     DTN 11/30/95 REMOVED CONFORMANCE CHECKS WHERE RULES RELAXED.
  34
  35 WITH REPORT; USE REPORT;
  36 PROCEDURE C24203B IS
  37
  38      TYPE CHECK IS DIGITS 6;
  39
  40 BEGIN
  41      TEST("C24203B", "CHECK THAT BASED REAL LITERALS WITH BASES " &
  42                      "2 THROUGH 16 ALL YIELD CORRECT VALUES");
  43
  44      IF
  45       2#0.0000000000000000000000000000000000000000000000000000000000001#
  46       /= 2.0 ** (-61) THEN
  47           FAILED ("INCORRECT VALUE FOR BASE 2 REAL LITERAL");
  48      END IF;
  49
  50      IF 3#0.00000000001# <
  51         ((2.0 ** (-18)) + (251558.0 * (2.0 ** (-37)))) OR
  52         3#0.00000000001# >
  53         ((2.0 ** (-18)) + (251559.0 * (2.0 ** (-37)))) THEN
  54           FAILED ("INCORRECT VALUE FOR BASE 3 REAL LITERAL");
  55      END IF;
  56
  57      IF 4#13333333.213# /= 32767.609375 THEN
  58           FAILED ("INCORRECT VALUE FOR BASE 4 REAL LITERAL");
  59      END IF;
  60
  61      IF 5#2021444.4241121# < 32749.90625 OR
  62         5#2021444.4241121# > 32749.921875 THEN
  63           FAILED ("INCORRECT VALUE FOR BASE 5 REAL LITERAL");
  64      END IF;
  65
  66      IF 6#411355.531043# /= 32759.921875 THEN
  67           FAILED ("INCORRECT VALUE FOR BASE 6 REAL LITERAL");
  68      END IF;
  69
  70      IF 7#164366.625344# < 32780.90625 OR
  71         7#164366.625344# > 32780.9375 THEN
  72           FAILED ("INCORRECT VALUE FOR BASE 7 REAL LITERAL");
  73      END IF;
  74
  75      IF 8#77777.07# /= 32767.109375 THEN
  76           FAILED ("INCORRECT VALUE FOR BASE 8 REAL LITERAL");
  77      END IF;
  78
  79      IF 9#48888.820314# < 32804.90625 OR
  80         9#48888.820314# > 32804.9375 THEN
  81           FAILED ("INCORRECT VALUE FOR BASE 9 REAL LITERAL");
  82      END IF;
  83
  84      IF 10#32767.921875# /= 32767.921875 THEN
  85           FAILED ("INCORRECT VALUE FOR BASE 10 REAL LITERAL");
  86      END IF;
  87
  88      IF 11#2267A.A06682# < 32757.90625 OR
  89         11#2267A.A06682# > 32757.921875 THEN
  90           FAILED ("INCORRECT VALUE FOR BASE 11 REAL LITERAL");
  91      END IF;
  92
  93      IF 12#16B5B.B09# /= 32759.921875  THEN
  94           FAILED ("INCORRECT VALUE FOR BASE 12 REAL LITERAL");
  95      END IF;
  96
  97      IF 13#11B9C.BB616# < 32746.90625 OR
  98         13#11B9C.BB616# > 32746.921875 THEN
  99           FAILED ("INCORRECT VALUE FOR BASE 13 REAL LITERAL");
 100      END IF;
 101
 102      IF 14#BD1D.CC98A7# /= 32759.921875  THEN
 103           FAILED ("INCORRECT VALUE FOR BASE 14 REAL LITERAL");
 104      END IF;
 105
 106      IF 15#3D28188D45881111111111.0# <
 107                                   (((2.0 ** 21) -2.0) * (2.0 ** 63)) THEN
 108           FAILED ("INCORRECT VALUE FOR BASE 15 REAL LITERAL");
 109      END IF;
 110
 111
 112      RESULT;
 113 END C24203B;