1-- CD33001.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 Component_Sizes that are a factor of the word 28-- size are supported. 29-- 30-- Check that for such Component_Sizes arrays contain no gaps between 31-- components. 32-- 33-- TEST DESCRIPTION: 34-- This test defines three array types and specifies their layouts 35-- using representation specifications for the 'Component_Size and 36-- pragma Packs for each. It then checks that the implied assumptions 37-- about the resulting layout actually can be made. 38-- 39-- APPLICABILITY CRITERIA: 40-- All implementations must attempt to compile this test. 41-- 42-- For implementations validating against Systems Programming Annex (C): 43-- this test must execute and report PASSED. 44-- 45-- For implementations not validating against Annex C: 46-- this test may report compile time errors at one or more points 47-- indicated by "-- ANX-C RQMT", in which case it may be graded as inapplicable. 48-- Otherwise, the test must execute and report PASSED. 49-- 50-- 51-- CHANGE HISTORY: 52-- 22 JUL 95 SAIC Initial version 53-- 07 MAY 96 SAIC Revised for 2.1 54-- 24 AUG 96 SAIC Additional 2.1 revisions 55-- 17 FEB 97 PWB.CTA Corrected prefix of 'Component_Size to name 56-- array object instead of array subtype 57-- 16 FEB 98 EDS Modified documentation. 58--! 59 60----------------------------------------------------------------- CD33001_0 61 62with System; 63package CD33001_0 is 64 65 S_Units_per_Word : constant := System.Word_Size/System.Storage_Unit; 66 67 type Nibble is mod 2**4; 68 69 type Byte is mod 2**8; 70 71 type Half_Stuff is array(Natural range <>) of Nibble; 72 for Half_Stuff'Component_Size 73 use System.Word_Size / 2; -- factor -- ANX-C RQMT. 74 pragma Pack(Half_Stuff); -- ANX-C RQMT. 75 76 type Word_Stuff is array(Natural range <>) of Byte; 77 for Word_Stuff'Component_Size 78 use System.Word_Size; -- ANX-C RQMT. 79 80 type Address_Calculator is record 81 Item_1 : Nibble; 82 Item_2 : Nibble; 83 end record; 84 85 for Address_Calculator use record 86 Item_1 at 0 range 0..3; 87 Item_2 at 1 range 0..3; 88 end record; 89 90 -- given that Item_1 is specified to be at 'Position = 0 and 91 -- Item_2 is specified to be at 'Position = 1 92 -- by definition (13.5.2(2)) abs(Item_2'Address - Item_1'Address) = 1 93 94end CD33001_0; 95 96-- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- 97 98-- there is no package body CD33001_0 99 100------------------------------------------------------------------- CD33001 101 102with Report; 103with System.Storage_Elements; 104with CD33001_0; 105procedure CD33001 is 106 107 use type System.Storage_Elements.Storage_Offset; 108 109 A_Half : CD33001_0.Half_Stuff(0..15); 110 111 A_Word : CD33001_0.Word_Stuff(0..15); 112 113 procedure Unexpected( Message : String; Wanted, Got: Integer ) is 114 begin 115 Report.Failed( Message & " Wanted:" 116 & Integer'Image(Wanted) & " Got:" & Integer'Image(Got) ); 117 end Unexpected; 118 119begin -- Main test procedure. 120 121 Report.Test ("CD33001", "Check that Component_Sizes that are factor of " & 122 "the word size are supported. Check that for " & 123 "such Component_Sizes arrays contain no gaps " & 124 "between components" ); 125 126 if A_Half'Size /= A_Half'Component_Size * 16 then 127 Unexpected("Half word Size", 128 CD33001_0.Half_Stuff'Component_Size * 16, 129 A_Half'Size ); 130 end if; 131 132 if A_Word(1)'Size /= System.Word_Size then 133 Unexpected("Word Size", System.Word_Size, A_Word(1)'Size ); 134 end if; 135 136 137 Report.Result; 138 139end CD33001; 140