Optymalizacja z funkcji pomocniczych

Question

ta jest mniej lub bardziej prośba o wyjaśnienie Casting a function pointer to another type z przykładowym kodem

struct my_struct; 
void my_callback_function(struct my_struct* arg); 
void do_stuff(void (*cb)(void*)); 

static void my_callback_helper(void* pv) 
{ 
    my_callback_function(pv); 
} 
int main() 
{ 
    do_stuff(&my_callback_helper); 
} 

Odpowiedź mówi „dobry” kompilator powinien być w stanie zoptymalizować się funkcję my_callback_helper() ale znalazłem nie kompilator na https://gcc.godbolt.org że robi to i funkcji pomocnika dostaje zawsze generowany nawet jeśli to just a jump to my_callback_function() (-O3):

my_callback_helper: 
     jmp  my_callback_function 
main: 
     subq $8, %rsp 
     movl $my_callback_helper, %edi 
     call do_stuff 
     xorl %eax, %eax 
     addq $8, %rsp 
     ret 

Moje pytanie brzmi: czy w standardzie jest coś, co uniemożliwia kompilatorom eliminowanie pomocnika?

Answer 1

Nie ma nic w standardzie, który bezpośrednio uniemożliwia tę optymalizację. Ale w praktyce kompilatory nie zawsze są dostępne, gdy nie mają "pełnego obrazu".

Podałeś adres my_callback_helper. Kompilator nie może z łatwością go zoptymalizować, ponieważ nie wie, co robi z nim. W oddzielnym module, w którym zdefiniowano do_stuff, kompilator nie wie, że może po prostu użyć/wywołać my_callback_function w miejsce swojego argumentu (my_callback_helper). Aby całkowicie zoptymalizować my_callback_helper, kompilator musi również wiedzieć, co robi do_stuff. Ale do_stuff jest zewnętrzną funkcją, której definicja nie jest dostępna dla kompilatora. Taka optymalizacja może się zdarzyć, jeśli podasz definicję dla do_stuff i wszystkich jej zastosowań.