KDAB/hotspot

Attribute inline cost to caller

lievenhey opened this issue · 9 comments

From #568:

I try to explain what I've thought to understand and what I think should be the UI for that.

  • "real" inline (the compiler is free to inline or not after all) means that the compiler includes the code for a function within another function
  • the actual generation (and therefore the diassembly) may be different in each place concerning the context (for example a compiler may recognize that specific parts can only be taken in specific cases and remove the other parts)
  • perf should trace the execution of that as it is tracing non-inlined code

Running objdump shows the disassembly for the "outer" function, therefore the inlined code is part of the disassembly, possibly multiple times (= we can "see" the specific generation for this specific place).
Code-wise we see a function call.

If we can deduce the place of that disassembly to be part of the "calling" place (where it is inlined) then we can directly attribute the costs there.

If we can't do it, then we still have the "original" place (source reference and/or function name) and on the other hand we have the costs in the function of "calling" it (this is something that can be seen in the caller/callee tab, also with this PR applied).
Ideally we'd then be able to attribute the "summed" costs for the disassembly to the calling place -but I do recognize that in this case we'd have to match that in the code, which is not possible to always get correct because of the preprocessor work (for example macros) - we shouldn't start that path.

This leaves the question: Is there a way to deduce the "calling" source reference for functions that are inlined? If we yes, then we should attribute the total costs to that place.

I would need a clear example code base with actual and expected data. I fail to understand this purely on this description I'm afraid

Here is the rest of the conversation:
grafik

Here's a bit more information in pictures:

the callee view shows (likely correct) costs of inline functions:
grafik
as we found, there is no guaranteed single place for inlined functions, so "Disassemble" is not active

the location view shows the cost per location, like
grafik

We therefore can deduce from the caller/callee tab, that:

  • most cost is in this inline function
  • most cost is in line 418

We can open the disassembly of the function we looked at (here: inspect_common) and see on the disassembly view the disassembly for the inlined function at the right place (which sadly does not contain any costs with the current appimage, I think it did so earlier) and in the source view we can recognize that the line with that high cost is exactly the inlined function
grafik
(we may have deduced that from their identical numbers)

This FR is mainly about having the inlined function costs (here 22.8) assigned as "cycles incl".
Providing the detailed costs in the disassembly (again?) would be very useful.

I think I got something to reproduce this:
a.h:

#ifndef A_H
#define A_H

int testFunc();

#endif // A_H

a.c:

#include "a.h"

static __attribute__((__always_inline__)) inline int test()
{
    /* this is from a.c */
    int loopCounter = 0;
    for (int i = 0; i < 100000000; i++) {
        loopCounter += 1;
    }
    return loopCounter;
}

int testFunc()
{
    return test();
}

main.c:

#include "a.h"
#include <stdio.h>

static int test()
{
    int counter = 0;
    /* this is form main.c */
    for (int i = 0; i < 1000000; i++) {
        counter += 1;
    }
    return counter;
}

int main()
{
    printf("test(): %d\n", test());
    printf("testfunc(): %d\n", testFunc());
    return 0;
}

compile with: gcc -g a.c main.c

Then hotspot shows this in the bottom up view:
grafik
But the disassembler says:
grafik

That is no cpu cost shown in the code view (and also none in the disassembly) and you agree that cost should be shown in both, right?