URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cd/] [cd70001.a] - Rev 338
Compare with Previous | Blame | View Log
--
-- CD70001.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 package System includes Max_Base_Digits, Address,
-- Null_Address, Word_Size, functions "<", "<=", ">", ">=", "="
-- (with Address parameters and Boolean results), Bit_Order,
-- Default_Bit_Order, Any_Priority, Interrupt_Priority,
-- and Default_Priority.
--
-- Check that package System.Storage_Elements includes all required
-- types and operations.
--
-- TEST DESCRIPTION:
-- The test checks for the existence of the names additional
-- to package system above those names tested for in 9Xbasic.
--
-- This test checks that the semantics provided in Storage_Elements
-- are present and operate marginally within expectations (to the best
-- extent possible in a portable implementation independent fashion).
--
--
-- CHANGE HISTORY:
-- 09 MAY 95 SAIC Initial version
-- 27 JAN 96 SAIC Revised for 2.1; Allow negative address delta
--
--!
with Report;
with Ada.Text_IO;
with System.Storage_Elements;
with System.Address_To_Access_Conversions;
procedure CD70001 is
use System;
procedure CD70 is
type Int_Max is range Min_Int .. Max_Int;
My_Int : Int_Max := System.Max_Base_Digits + System.Word_Size;
An_Address : Address;
An_Other_Address : Address := An_Address'Address;
begin -- 7.0
if Default_Bit_Order not in High_Order_First..Low_Order_First then
Report.Failed ("Default_Bit_Order invalid");
end if;
if Bit_Order'Pos(High_Order_First) /= 0 then
Report.Failed ("Bit_Order'Pos(High_Order_First) /= 0");
end if;
if Bit_Order'Pos(Low_Order_First) /= 1 then
Report.Failed ("Bit_Order'Pos(Low_Order_First) /= 1");
end if;
An_Address := My_Int'Address;
if An_Address = Null_Address then
Report.Failed ("Null_Address matched a real address");
end if;
if An_Address'Address /= An_Other_Address then
Report.Failed("Value set at elaboration not equal to itself");
end if;
if An_Address'Address > An_Other_Address
and An_Address'Address < An_Other_Address then
Report.Failed("Address is both greater and less!");
end if;
if not (An_Address'Address >= An_Other_Address
and An_Address'Address <= An_Other_Address) then
Report.Failed("Address comparisons wrong");
end if;
if Priority'First /= Any_Priority'First then
Report.Failed ("Priority'First /= Any_Priority'First");
end if;
if Interrupt_Priority'First /= Priority'Last+1 then
Report.Failed ("Interrupt_Priority'First /= Priority'Last+1");
end if;
if Interrupt_Priority'Last /= Any_Priority'Last then
Report.Failed ("Interrupt_Priority'Last /= Any_Priority'Last");
end if;
if Default_Priority /= ((Priority'First + Priority'Last)/2) then
Report.Failed ("Default_Priority wrong value");
end if;
end CD70;
procedure CD71 is
use System.Storage_Elements;
Storehouse_1 : Storage_Array(0..127);
Storehouse_2 : Storage_Array(0..127);
House_Offset : Storage_Offset;
begin -- 7.1
if Storage_Count'First /= 0 then
Report.Failed ("Storage_Count'First /= 0");
end if;
if Storage_Count'Last /= Storage_Offset'Last then
Report.Failed ("Storage_Count'Last /= Storage_Offset'Last");
end if;
if Storage_Element'Size /= Storage_Unit then
Report.Failed ("Storage_Element'Size /= Storage_Unit");
end if;
if Storage_Array'Component_Size /= Storage_Unit then
Report.Failed ("Storage_Array'Element_Size /= Storage_Unit");
end if;
if Storage_Element'Last+1 /= 0 then
Report.Failed ("Storage_Element not modular");
end if;
-- "+", "-"( Address, Storage_Offset) and inverse
House_Offset := Storehouse_2'Address - Storehouse_1'Address;
-- Address - Address = Offset
-- Note that House_Offset may be a negative value
if House_Offset + Storehouse_1'Address /= Storehouse_2'Address then
-- Offset + Address = Address
Report.Failed ("Storage arithmetic non-linear O+A");
end if;
if Storehouse_1'Address + House_Offset /= Storehouse_2'Address then
-- Address + Offset = Address
Report.Failed ("Storage arithmetic non-linear A+O");
end if;
if Storehouse_2'Address - House_Offset /= Storehouse_1'Address then
-- Address - Offset = Address
Report.Failed ("Storage arithmetic non-linear A-O");
end if;
if (Storehouse_2'Address mod abs(House_Offset) > abs(House_Offset)) then
-- "mod"( Address, Storage_Offset)
Report.Failed("Mod arithmetic");
end if;
if Storehouse_1'Address
/= To_Address(To_Integer(Storehouse_1'Address)) then
Report.Failed("To_Address, To_Integer not symmetric");
end if;
end CD71;
begin -- Main test procedure.
Report.Test ("CD70001", "Check package System" );
CD70;
CD71;
Report.Result;
end CD70001;