old-autovect-branch/gcc/testsuite/ada/acats/tests/cd/cd70001.a

   1 --
   2 -- CD70001.A
   3 --
   4 --                             Grant of Unlimited Rights
   5 --
   6 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   7 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   8 --     unlimited rights in the software and documentation contained herein.
   9 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
  10 --     this public release, the Government intends to confer upon all
  11 --     recipients unlimited rights  equal to those held by the Government.
  12 --     These rights include rights to use, duplicate, release or disclose the
  13 --     released technical data and computer software in whole or in part, in
  14 --     any manner and for any purpose whatsoever, and to have or permit others
  15 --     to do so.
  16 --
  17 --                                    DISCLAIMER
  18 --
  19 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  20 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  21 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  22 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  23 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  24 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  25 --*
  26 --
  27 -- OBJECTIVE:
  28 --      Check that package System includes Max_Base_Digits, Address,
  29 --      Null_Address, Word_Size, functions "<", "<=", ">", ">=", "="
  30 --      (with Address parameters and Boolean results), Bit_Order,
  31 --      Default_Bit_Order, Any_Priority, Interrupt_Priority,
  32 --      and Default_Priority.
  33 --
  34 --      Check that package System.Storage_Elements includes all required
  35 --      types and operations.
  36 --
  37 -- TEST DESCRIPTION:
  38 --      The test checks for the existence of the names additional
  39 --      to package system above those names tested for in 9Xbasic.
  40 --
  41 --      This test checks that the semantics provided in Storage_Elements
  42 --      are present and operate marginally within expectations (to the best
  43 --      extent possible in a portable implementation independent fashion).
  44 --
  45 --
  46 -- CHANGE HISTORY:
  47 --      09 MAY 95   SAIC   Initial version
  48 --      27 JAN 96   SAIC   Revised for 2.1; Allow negative address delta
  49 --
  50 --!
  51
  52 with Report;
  53 with Ada.Text_IO;
  54 with System.Storage_Elements;
  55 with System.Address_To_Access_Conversions;
  56 procedure CD70001 is
  57   use System;
  58
  59   procedure CD70 is
  60
  61     type Int_Max is range Min_Int .. Max_Int;
  62
  63     My_Int : Int_Max := System.Max_Base_Digits + System.Word_Size;
  64
  65     An_Address : Address;
  66     An_Other_Address : Address := An_Address'Address;
  67
  68   begin  -- 7.0
  69
  70
  71       if Default_Bit_Order not in High_Order_First..Low_Order_First then
  72          Report.Failed ("Default_Bit_Order invalid");
  73       end if;
  74
  75       if Bit_Order'Pos(High_Order_First) /= 0 then
  76          Report.Failed ("Bit_Order'Pos(High_Order_First) /= 0");
  77       end if;
  78
  79       if Bit_Order'Pos(Low_Order_First) /= 1 then
  80          Report.Failed ("Bit_Order'Pos(Low_Order_First) /= 1");
  81       end if;
  82
  83       An_Address := My_Int'Address;
  84
  85       if An_Address = Null_Address then
  86         Report.Failed ("Null_Address matched a real address");
  87       end if;
  88
  89
  90       if An_Address'Address /= An_Other_Address then
  91         Report.Failed("Value set at elaboration not equal to itself");
  92       end if;
  93
  94       if An_Address'Address > An_Other_Address
  95          and An_Address'Address < An_Other_Address then
  96         Report.Failed("Address is both greater and less!");
  97       end if;
  98
  99       if not (An_Address'Address >= An_Other_Address
 100          and An_Address'Address <= An_Other_Address) then
 101         Report.Failed("Address comparisons wrong");
 102       end if;
 103
 104
 105       if Priority'First /= Any_Priority'First then
 106         Report.Failed ("Priority'First /= Any_Priority'First");
 107       end if;
 108
 109       if Interrupt_Priority'First /= Priority'Last+1 then
 110         Report.Failed ("Interrupt_Priority'First /= Priority'Last+1");
 111       end if;
 112
 113       if Interrupt_Priority'Last /= Any_Priority'Last then
 114         Report.Failed ("Interrupt_Priority'Last /= Any_Priority'Last");
 115       end if;
 116
 117       if Default_Priority /= ((Priority'First + Priority'Last)/2) then
 118         Report.Failed ("Default_Priority wrong value");
 119       end if;
 120
 121   end CD70;
 122
 123   procedure CD71 is
 124     use System.Storage_Elements;
 125
 126     Storehouse_1 : Storage_Array(0..127);
 127     Storehouse_2 : Storage_Array(0..127);
 128
 129     House_Offset : Storage_Offset;
 130
 131   begin  -- 7.1
 132
 133
 134       if Storage_Count'First /= 0 then
 135         Report.Failed ("Storage_Count'First /= 0");
 136       end if;
 137
 138       if Storage_Count'Last /= Storage_Offset'Last then
 139         Report.Failed ("Storage_Count'Last /= Storage_Offset'Last");
 140       end if;
 141
 142
 143       if Storage_Element'Size /= Storage_Unit then
 144         Report.Failed ("Storage_Element'Size /= Storage_Unit");
 145       end if;
 146
 147       if Storage_Array'Component_Size /= Storage_Unit then
 148         Report.Failed ("Storage_Array'Element_Size /= Storage_Unit");
 149       end if;
 150
 151       if Storage_Element'Last+1 /= 0 then
 152         Report.Failed ("Storage_Element not modular");
 153       end if;
 154
 155
 156       -- "+", "-"( Address, Storage_Offset) and inverse
 157
 158       House_Offset := Storehouse_2'Address - Storehouse_1'Address;
 159       -- Address - Address = Offset
 160       -- Note that House_Offset may be a negative value
 161
 162       if House_Offset + Storehouse_1'Address /= Storehouse_2'Address then
 163       -- Offset + Address = Address
 164         Report.Failed ("Storage arithmetic non-linear O+A");
 165       end if;
 166
 167       if Storehouse_1'Address + House_Offset /= Storehouse_2'Address then
 168       -- Address + Offset = Address
 169         Report.Failed ("Storage arithmetic non-linear A+O");
 170       end if;
 171
 172       if Storehouse_2'Address - House_Offset /= Storehouse_1'Address then
 173       -- Address - Offset = Address
 174         Report.Failed ("Storage arithmetic non-linear A-O");
 175       end if;
 176
 177       if (Storehouse_2'Address mod abs(House_Offset) > abs(House_Offset)) then
 178       -- "mod"( Address, Storage_Offset)
 179         Report.Failed("Mod arithmetic");
 180       end if;
 181
 182
 183       if Storehouse_1'Address
 184          /= To_Address(To_Integer(Storehouse_1'Address)) then
 185         Report.Failed("To_Address, To_Integer not symmetric");
 186       end if;
 187
 188   end CD71;
 189
 190
 191 begin  -- Main test procedure.
 192
 193    Report.Test ("CD70001", "Check package System" );
 194
 195    CD70;
 196
 197    CD71;
 198
 199   Report.Result;
 200
 201 end CD70001;