From: Joern Rennecke <amylaar@cygnus.co.uk>
To: osken393@student.liu.se
Cc: egcs@cygnus.com
Subject: Re: Optimization
Date: Thu, 02 Apr 1998 11:32:00 -0000 [thread overview]
Message-ID: <199803311646.RAA04158@phal.cygnus.co.uk> (raw)
In-Reply-To: <Pine.SGI.3.96.980326123604.8153E-100000@purcell>
> Does g++/gcc have any optimization that brings out constant subexpressions
> outside loops? Consider the following:
>
> void sqr(float *x, int *step) {
> int i,j,k;
>
> for (i=0; i<100; i++)
> for (j=0; j<100; j++)
> for (k=0; k<100; k++)
> *(x+i*step[2]+j*step[1]+k*step[0]) *=
> *(x+i*step[2]+j*step[1]+k*step[0]);
> }
>
> The resulting assembler with egcs 1.0.2 (i686-pc-linux-gnulibc1) is not
> very efficient, because the integer expressions are calculated again
> and again inside the innermost loop. Can I make the compiler translate the
> above code into something like the following:
>
> void sqr(float *x, int *step) {
> int i,j,k;
> float *xi,*xj;
>
> for (i=0; i<100; i++) {
> xi=x+i*step[2];
> for (j=0; j<100; j++) {
> xj=xi+j*step[1];
> for (k=0; k<100; k++) {
> *(xj+k*step[0]) *=
> *(xj+k*step[0]);
> }
> }
> }
> }
>
> If this is impossible with the current version, would it be hard to
> add this optimization to the compiler? The resulting assembler is much
> more efficient.
There is loop invariant code motion in loop.c, but it doesn't work in this
case, because the alias analysis can't prove that that step[0] ... step[2]
are not changed by the stores.
next prev parent reply other threads:[~1998-04-02 11:32 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-03-29 5:14 Optimization Oskar Enoksson
1998-04-02 3:41 ` Optimization John Carr
1998-04-02 8:21 ` Optimization Jeffrey A Law
1998-04-02 11:32 ` Optimization Jim Wilson
1998-04-02 3:41 ` Optimization Oskar Enoksson
1998-04-03 21:52 ` Optimization John Carr
1998-04-02 11:32 ` Joern Rennecke [this message]
1999-03-29 8:18 ` Optimization Jeffrey A Law
1999-03-31 23:46 ` Optimization Jeffrey A Law
1999-03-30 5:07 Optimization Oskar Enoksson
1999-03-31 23:46 ` Optimization Oskar Enoksson
2000-05-11 11:21 Optimization Thomas, Robert S
2000-05-11 11:31 ` Optimization Jeffrey A Law
2003-05-02 12:05 Optimization Piotr Wyderski
2003-05-02 23:08 ` Optimization Richard Henderson
2003-05-03 0:12 ` Optimization Andrew Pinski
2003-05-03 1:14 ` Optimization Richard Henderson
2003-12-09 16:42 optimization Viktor Przebinda
2003-12-09 17:29 ` optimization Diego Novillo
2003-12-09 18:53 ` optimization Scott Robert Ladd
2003-12-09 18:18 optimization Benjamin Kosnik
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199803311646.RAA04158@phal.cygnus.co.uk \
--to=amylaar@cygnus.co.uk \
--cc=egcs@cygnus.com \
--cc=osken393@student.liu.se \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).