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,56525db28240414a X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.180.75.8 with SMTP id y8mr1465283wiv.4.1343334527415; Thu, 26 Jul 2012 13:28:47 -0700 (PDT) Received: by 10.224.180.205 with SMTP id bv13mr1373020qab.8.1343314535456; Thu, 26 Jul 2012 07:55:35 -0700 (PDT) Received: by 10.66.76.130 with SMTP id k2mr1791239paw.16.1343314535277; Thu, 26 Jul 2012 07:55:35 -0700 (PDT) Path: q11ni79658029wiw.1!nntp.google.com!volia.net!news2.volia.net!feed-C.news.volia.net!y14no4623129qaj.0!news-out.google.com!a15ni113198934qag.0!nntp.google.com!q21no2560369qas.0!news-out.google.com!p10ni64906263pbh.1!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!novia!news-peer1!btnet!zen.net.uk!hamilton.zen.co.uk!xlned.com!feeder7.xlned.com!multikabel.net!newsfeed10.multikabel.net!feed.xsnews.nl!border-1.ams.xsnews.nl!newsfeed.straub-nv.de!news.swapon.de!feeder.erje.net!news.szaf.org!news.gnuher.de!news.enyo.de!.POSTED!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: Efficient Sequential Access to Arrays Supersedes: <87obne5k3p.fsf@mid.deneb.enyo.de> Date: Sun, 22 Jul 2012 18:21:57 +0200 Message-ID: <87ipdf4vh6.fsf@mid.deneb.enyo.de> References: <01983f1c-f842-4b1f-a180-bcef531dad4c@googlegroups.com> Mime-Version: 1.0 X-Trace: news.enyo.de 1342974116 20819 172.17.135.6 (22 Jul 2012 16:21:56 GMT) X-Complaints-To: news@enyo.de Cancel-Key: sha1:RpRirnmRNqMm5OD2ecTLeES1I1g= Cancel-Lock: sha1:isCmPjZHmEc7ODZi5T2VxN82kAQ= Content-Type: text/plain; charset=us-ascii Date: 2012-07-22T18:21:57+02:00 List-Id: * Keean Schupke: > So assuming we need this level of performance, what would be the > best (and most idiomatic Ada) way to package this type of usage > pattern as an abstract datatype? You should look at compiler dumps to figure out why the strength reduction optimization does not kick in.