Re: C and Fortran semantics and optimization, was C Fronts

In a previous article, MASLOV@VADIK.srcc.msu.su (Vadim Yu. Maslov) writes:
| Example:
|
| DIMENSION A(0:19,0:9) | double a[20][10]; int i,j, func();
| DO 10 i=0,9 | for(i=0; i<10; i++)
| DO 10 j=0,9 | for(j=0; j<10; j++)
| 10 A(i+10,FUNC(j))=A(i,j) | a[i+10][func(j)]=a[i][j];
|
|(Continuing discussion about whether &a(i, j) = &a(i', j') iff i = i' and
    j = j')
|


How about this:


DOUBLE X(1001), Y(1001)


lw = 994
temp = 0.0;
DO 4 j = 5, n, 5
temp = temp - X(lw)*Y(j)
lw = lw + 1
  4 continue




Can the compiler infer that (n < 45) in this loop? When n is as large as
45, lw will exceed the subscript range of X. Thus, it seems that a smart
compiler could unroll this loop completely, allowing for 0 to 8 iterations
of the j loop. :-)


Bob


P.S. For those who haven't guessed, this is lifted from livermore loop 4.
--

Return to the comp.compilers page.
Search the comp.compilers archives again.