atributos de función pure/const en compiladores diferentes

Question

pure es un atributo de función que indica que una función no modifica ninguna memoria global.
const es un atributo de función que dice que una función no lee/modifica ninguna memoria global.

Teniendo en cuenta esa información, el compilador puede realizar algunas optimizaciones adicionales.

Ejemplo para 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)); } 

En ese ejemplo, el compilador podría optimizar la función calcular 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; 
} 

O si su compilador es suficientemente inteligente (y no tan estrictos acerca flotadores):

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

¿Cómo puedo marcar una unction de tal manera para los diferentes compiladores, es decir, GCC, Clang, ICC, MSVC u otros?

Answer 1

• GCC: pure/const function attributes
• llvm-gcc: supports the GCC pure/const attributes
• Clang: seems to support it (probé en un ejemplo sencillo con los atributos de estilo GCC y funcionó.)
• CPI: seems to adopt the GCC attributes (Lo siento, sólo se una publicación en el foro.)
• MSVC: Parece que no lo admite. (discussion)

En general, parece que casi todos los compiladores admiten los atributos de GCC. MSVC es hasta ahora el único compilador que no los admite (y que tampoco tiene ninguna alternativa).