Re: Bitordering? was Re: Bitmanipulation in Ada

["Nick Roberts" <nick.roberts@acm.org>]

On Fri, 20 Aug 2004 22:57:40 +0200, Alfred Hilscher  
<SPAM@alfred-hilscher.de> wrote:

> When I declare an boolean array with eight elements 1..8 (e.g. to
> address a hardware port with eight status bits), how are they
> ordered is X(1) the msb or the lsb of the byte?

It is undefined.

The typical way to deal with this kind of situation is to use a
record type with a record representation clause. For example:

    type Frobnosticator_Status is
       record
          Ready, Complete, Motor_On, Fault, Power_Low: Boolean;
       end record;

    for Frobnosticator_Status'Bit_Order use System.Low_Order_First;

    for Frobnosticator_Status use
       record
          Ready     at 0 range 0..0;
          Complete  at 0 range 1..1;
          Motor_On  at 0 range 3..3;
          Fault     at 0 range 6..6;
          Power_Low at 0 range 7..7;
       end record;

    for Frobnosticator_Status'Size use 8;

This lot specifies exactly where each bit is, and what it means.
In this example, I've used representation clauses to tell the
compiler to consider the LSB to be bit number 0 for this record,
and to tell it that the record is 8 bits in size. I've associated
a specific bit with each Boolean component (bits 2, 4, and 5 are
unused).

If I declare:

    Status: Frobnosticator_Status;
    for Status'Address use Frob_1_Status_Address;
    pragma Volatile(Status);

to map the variable 'Status' to frobnosticator number 1's status
port, I can read off its status bits by name:

    if Status.Fault then
       Put_Line( Current_Error, "Frob #1 went down" );
       raise Hardware_Failure;
    end if;
    ...

Does this help you?

-- 
Nick Roberts