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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,a32653cf595422e6 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.202.168 with SMTP id kj8mr14397988pbc.1.1335199590130; Mon, 23 Apr 2012 09:46:30 -0700 (PDT) Path: r9ni89872pbh.0!nntp.google.com!news2.google.com!goblin1!goblin3!goblin.stu.neva.ru!newsfeed3.funet.fi!newsfeeds.funet.fi!newsfeed1.swip.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Mon, 23 Apr 2012 18:46:10 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:11.0) Gecko/20120327 Thunderbird/11.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: GNAT and register allocation References: <4f9138c2$0$6628$9b4e6d93@newsspool2.arcor-online.net> <4f9145b5$0$6557$9b4e6d93@newsspool4.arcor-online.net> <4f918218$0$6557$9b4e6d93@newsspool4.arcor-online.net> <87ipgtgkho.fsf@mid.deneb.enyo.de> <4f94379b$0$6639$9b4e6d93@newsspool2.arcor-online.net> <25429130.1239.1335127991071.JavaMail.geo-discussion-forums@ynlp2> <4f94770e$0$7615$9b4e6d93@newsspool1.arcor-online.net> <14809265.1982.1335170598477.JavaMail.geo-discussion-forums@vbuo17> In-Reply-To: <14809265.1982.1335170598477.JavaMail.geo-discussion-forums@vbuo17> Message-ID: <4f958752$0$7629$9b4e6d93@newsspool1.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 23 Apr 2012 18:46:10 CEST NNTP-Posting-Host: d16dbeb3.newsspool1.arcor-online.net X-Trace: DXC=H[NN[[WO[0Y@>[RYkFXOIPic==]BZ:af^4Fo<]lROoRQ<`=YMgDjhgR8V6?4Fa=5g[nc\616M64>ZLh>_cHTX3j]BfndPYP:V1X X-Complaints-To: usenet-abuse@arcor.de Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Date: 2012-04-23T18:46:10+02:00 List-Id: On 23.04.12 10:43, gautier_niouzes@hotmail.com wrote: >> The goal is to find ways to control the compilers >> so that they produce predictably good result at least when the programs >> are run on a subset of CPUs known in advance. > > Any chance to use a combination of Ada-to-C precompiler + Intel C compiler ? No, this needs to be GNAT. GCC can be quite good when compared against Intel's compiler; the Ada parts works fine in many cases. A surprising (to the layman) effect, and a desirable one, occurs with SSE instructions for 64 bit operands. In some cases, GNAT seemingly utilizes the split nature of the SSE registers. This is just what I'd want when the goal is to have an algorithm that runs in different environments without change because it is just Ada. No fancy __macros.