다른 컴파일러의 순수/const 함수 특성

Question

순수은 함수가 전역 메모리를 수정하지 않는다는 함수 속성입니다.
const은 함수가 전역 메모리를 읽거나 수정하지 않는다는 함수 특성입니다.

이 정보가 주어지면 컴파일러는 몇 가지 추가 최적화를 수행 할 수 있습니다. 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)); } 

, 컴파일러 최적화 할 수있는 기능 계산에 :

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; 
} 

또는 컴파일러가 충분히 영리 (약 그렇게 엄격하지 않은 경우 수레) :

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

GCC, Clang, ICC, MSVC 또는 다른 컴파일러와 같은 다른 컴파일러의 경우 이러한 방식으로 사용합니까?

Answer 1

• GCC : pure/const function attributes
• LLVM-GCC : supports the GCC pure/const attributes
• 연타 : seems to support it (I은 GCC 스타일의 속성을 가진 간단한 예제를 시도하고 일했다.)
• ICC : seems to adopt the GCC attributes (죄송합니다, 단지 포럼 게시판입니다.)
• MSVC : 지원하지 않는 것 같습니다. (discussion)

일반적으로 거의 모든 컴파일러가 GCC 속성을 지원하는 것으로 보입니다. MSVC는 지금까지는 그들을 지원하지 않는 (그리고 어떤 대안도없는) 유일한 컴파일러입니다.