Re: GNAT and register allocation

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

On 20.04.12 15:48, Markus Schöpflin wrote:

> As long as the functions are not inlined, I'd expect them to obey the calling
> convention of the ABI of the platform on which they are compiled. Therefore
> you won't see A using xmm0/1 and B using xmm2/3.

Ah, I see. When I add two more parameters, then xmm2 and xmm3
will appear. This would agree with my naive interpretation of
"x64 fpt values are passed in registers xmm{0..3}, others on
the stack." So I guess the ABI says that one may not select
arbitrary subsets from xmm{0..3} for passing just two parameters?

> As you can see, the xmmN registers up to xmm6 are used. Do you get different
> results?

Some results are very similar to yours. They depend on options, compiler,
OS, and CPU, though.

Some variance in addition results from both the depth and the amount of
"recursive expansion". What I am after, then, is how to control
inline expansion, insofar as it affects sets of registers in a single
compilation unit. (Assuming I can do better than GCC's heuristic
apparatus.) I must use one set of options for an entire program
in this case.

I wish there were a pragma that is the opposite of pragma Inline.
After all, there is a pair Suppress/Unsuppress, too.