attributi di funzione pure/const in diversi compilatori

Question

puro è un attributo di funzione che indica che una funzione non modifica alcuna memoria globale.
const è un attributo di funzione che indica che una funzione non legge/modifica alcuna memoria globale.

Data questa informazione, il compilatore può fare alcune ottimizzazioni aggiuntive.

Esempio per GCC:

float sigmoid(float x) __attribute__ ((const)); 

float calculate(float x, unsigned int C) { 
    float sum = 0; 
    for(unsigned int i = 0; i < C; ++i) 
     sum += sigmoid(x); 
    return sum; 
} 

float sigmoid(float x) { return 1.0f/(1.0f - exp(-x)); } 

In questo esempio, il compilatore potrebbe ottimizzare la funzione calcolare a:

float calculate(float x, unsigned int C) { 
    float sum = 0; 
    float temp = C ? sigmoid(x) : 0.0f; 
    for(unsigned int i = 0; i < C; ++i) 
     sum += temp; 
    return sum; 
} 

Oppure, se il compilatore è abbastanza intelligente (e non così severo su galleggianti):

float calculate(float x, unsigned int C) { return C ? sigmoid(x) * C : 0.0f; } 

Come posso contrassegnare af unzione in tal modo per i diversi compilatori, ad esempio GCC, Clang, ICC, MSVC o altri?

Answer 1

• GCC: pure/const function attributes
• LLVM-GCC: supports the GCC pure/const attributes
• Clang: seems to support it (ho provato su un semplice esempio con gli attributi di stile GCC e ha funzionato.)
• ICC: seems to adopt the GCC attributes (Siamo spiacenti, solo un post sul forum.)
• MSVC: Sembra non supportarlo. (discussion)

In generale, sembra che quasi tutti i compilatori supportino gli attributi GCC. MSVC è finora l'unico compilatore che non li supporta (e che non ha alternative).