From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.66.165.165 with SMTP id yz5mr2435572pab.37.1404327137178;
 Wed, 02 Jul 2014 11:52:17 -0700 (PDT)
X-Received: by 10.140.88.103 with SMTP id s94mr1895qgd.42.1404327137123; Wed,
 02 Jul 2014 11:52:17 -0700 (PDT)
Path: 
 border1.nntp.dca1.giganews.com!nntp.giganews.com!news.glorb.com!uq10no937972igb.0!news-out.google.com!a8ni6411qaq.1!nntp.google.com!i13no5306148qae.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 2 Jul 2014 11:52:16 -0700 (PDT)
In-Reply-To: <lyvbrgb4kb.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=90.219.105.227;
 posting-account=qa2LvwoAAADwbTxJVBI5rHWSlh3aClXp
NNTP-Posting-Host: 90.219.105.227
References: <0e0b9ac2-e793-4cc5-8d8d-d3441ca28a58@googlegroups.com>
 <lou82i$7u2$1@dont-email.me>
 <ca6f05d3-c469-4abc-92df-54aa605f41ba@googlegroups.com>
 <lyvbrgb4kb.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <cd21bc51-6652-442e-af53-6ef8914a2315@googlegroups.com>
Subject: Re: Forcing GNAT to use 32-bit load/store instructions on ARM?
From: daniel.dmk@googlemail.com
Injection-Date: Wed, 02 Jul 2014 18:52:17 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: number.nntp.dca.giganews.com comp.lang.ada:187327
Date: 2014-07-02T11:52:16-07:00
List-Id: <comp.lang.ada>

On Wednesday, 2 July 2014 08:30:44 UTC+1, Simon Wright  wrote:
> 
> You could use something like
> 
> 
> 
>    type Reserved_Bit is range 0 .. 0 with Size => 1;
> 
>    type Reserved is array (Natural range <>) of Reserved_Bit
> 
>      with Component_Size => 1;
> 
> 
> 
>    ...
> 
> 
> 
>    type T is record
> 
>       A : Boolean;            -- at bit 0
> 
>       Res : Reserved (1 .. 6);
> 
>       B : Boolean;            -- at bit 7
> 
>    end record with Size => 8;
> 
> 
> 
> (with representation clauses as indicated)

That's quite elegant, I like it. Thanks!