Re: compiler settings in AdaGIDE

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 23.07.10 16:17, Ada novice wrote:
> Hi,
>    Thanks for your kind help. As I mentioned earlier, I use
> 
> -gnatVa -O3 -gnatn -funroll-loops -gnatf -gnato

-O3 may already trigger inlining an loop unrolling.
The GNAT Guides, including GCC docs, explain this.
They have been installed with GNAT on your computer. The versions
installed with your compiler should match the software installed,
perhaps more than any other version of these same docs you find
on the net. Last time I checked the sections on optimization
in the GNAT docs recommend -O2 -funroll-loops IIRC.

One thing you could do---after showing that your program
is correct---is remove numeric overflow checking
(-gnato).  Or turn off all checks (-gnatp).  The program is no
standard Ada program then, but since your program is correct... :-)

Another thing is playing with object sizes.
Lots of risk and disappointment ahead, though!
Sometimes a definition of a type can be altered such that
its representation uses only 32 bits on some 64 bit computer,
which may or may not be good for your program.


> and so the -O3 is already there though the .ago file doesn't state it.
> I have tried to put all of your options at once so as to have:
> 
> -gnatVa -O3 -gnatn -funroll-loops -gnatf -gnato -fpeel-loops -ftracer -
> funswitch-loops -fweb -frename-registers -mfpmath=sse -msse3

Does your program use floating point types?



Georg