Re: Profiling Ada binaries

[rieachus@comcast.net]

On Monday, July 25, 2016 at 3:01:07 AM UTC-4, Markus Schöpflin wrote:
I am trying to profile code generated by Gnat using Gprof. For this I add -pg 
to the compilation and link switches, turn down optimization to -O1 and 
disable inlining of functions only called once 
(-fno-inline-functions-called-once).

Gee. I would never think to compile the math libraries with -O1.  Seriously, the math libraries are written with ease of understanding in mind.  You may have thousands of calls in the implementation of one function, and due to the packages being generic, every one of those calls will do an elaboration check.  How can that be efficient?  I believe GNAT has non-generic versions for Short_Float, Float, and Long_Float which use the hardware built-ins.  But I doubt you would get that automatically with -O1.

Try compiling everything with -O3 (or whatever you use) then recompile only the unit you want the tracing for with -O1 and -fno-inline-functions-called-once.