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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,fcba58124962fc35,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 12 Oct 2009 12:05:19 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Q: GNAT and GCC variable/type attributes
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
Message-ID: <4ad2ff69$0$6590$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 12 Oct 2009 12:05:29 CEST
NNTP-Posting-Host: 15ef3449.newsspool3.arcor-online.net
X-Trace: 
 DXC=?Q6A5\\\PEC[6=1B@oB@@@McF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOK?PAcdCKmnHBnc\616M64>JLh>_cHTX3jMX6E6mVK\o^M
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8677
Date: 2009-10-12T12:05:29+02:00
List-Id: <comp.lang.ada>

GCC allows __attribute__ (...) to be applied to
variables, types, and functions.
Specifically, as explained in the GCC manual, � 5.45,
the "vector_size" attribute can be applied to
floating point types.  The effect is that variables
so declared can be used with SIMD instructions on Intel
or AMD CPUs.  Corresponding functions are built into
GCC, e.g.
http://gcc.gnu.org/onlinedocs/gcc/Vector-Extensions.html

GNAT does have a pragma Machine_Attribute (and pragma
Import (Intrinsic, ..., ...).  But naive use doesn't
have the desired effect: "vector_size" is rejected
as an Attribute_Name argument to the pragma.

Browsing the (surface of) GNAT sources, there seems
to be some support for this mechanism.  Does someone
know whether we might expect more of it in the future?