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.1 required=5.0 tests=BAYES_05,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,99a6311c4195e21b X-Google-Attributes: gid103376,public From: "Marin D. Condic" Subject: Re: Matrix Multiplication Date: 1999/12/16 Message-ID: <38592664.700D776B@quadruscorp.com>#1/1 X-Deja-AN: 561600290 Content-Transfer-Encoding: 7bit References: <385699B5.59C14D03@lmco.com> <3856C9A1.F89EFD8@maths.unine.ch> <5l1f5s4kck891a2s6o8bhvkirm4q79hm6c@4ax.com> <3857B51F.4B1E0F1E@maths.unine.ch> <3857D640.C1991F0C@quadruscorp.com> <385811F7.F3FFEB06@maths.unine.ch> Organization: Quadrus Corporation X-Sender: "Marin D. Condic" (Unverified) X-Server-Date: 16 Dec 1999 17:49:29 GMT Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-12-16T17:49:29+00:00 List-Id: Gautier wrote: > Where did you get the impression that the optimizer would miss this? >From you. :-) The claim that the "renames" would help, sort of presumes that the optimizer might miss it. > > But there are *rare* cases where such "invariants" are not provable as such, > and a renames helps, even with GNAT. On the other side, some Ada 83 compilers > do not seem to optimize these things (Compaq Ada, Alsys). > I'll take your word for that. Still, it seems to look like in *most* cases Ada and Fortran ought to be able to generate equally efficient code for the garden variety floating point math and array reference operations. The rest is arguing about the relative quality of different compilers. That is the grand misunderstanding of so many people who say "Ada makes slower code than Fortran for XYZ..." MDC -- ============================================================= Marin David Condic - Quadrus Corporation - 1.800.555.3393 1015-116 Atlantic Boulevard, Atlantic Beach, FL 32233 http://www.quadruscorp.com/ Visit my web site at: http://www.mcondic.com/ "Capitalism without failure is like religion without sin." -- Allan Meltzer, Economist =============================================================