c99 __restrict 및 컴파일러 최적화

Question

typedef struct { 
    void * field1; 
} s1; 

void func1(void) { 
    s1 my_s1; 
    s1 * __restrict my_s1_ptr = &my_s1; 
    *((int*)((char*)my_s1_ptr->field1 + 4)) = 0; 
    *((int*)((char*)my_s1_ptr->field1 + 8)) = 1; 
    *((int*)((char*)my_s1_ptr->field1 + 12)) = 2; 
    *((int*)((char*)my_s1_ptr->field1 + 16)) = 3; 
} 

인텔 컴파일러 버전 11.1 및 gcc 버전 4.6의 경우 컴파일러에서 마지막 4 개 문 각각에 대해 my_s1_ptr-> field1을 다시로드하는 것으로 보입니다. __restrict에 대한 나의 이해는 나에게 마지막 3 개의 부하가 중복되어야하고 제거 될 수 있다고 제안합니다. 네, 코드가 이상하다는 것을 압니다 만,이 방법으로 구조화 된 이유가 있습니다. 중복로드를 제거하기 위해 컴파일러를 얻을 수 있기를 바랍니다. 그걸 어떻게하도록 설득 시키는가?

Answer 1

s1 * __restrict은이 포인터가 특정 s1에 대한 유일한 포인터이므로 해당 유형의 별칭이 없음을 의미합니다. 다른 포인터 유형 (예 : void*, int* 또는 char*)에 대한 별칭이 없음을 의미하지 않습니다.

char*은 특히 다른 유형의 바이트에 액세스하는 데 사용하도록 허용되어 있기 때문에 컴파일러에서 특히 골칫거리입니다. (char은 바이트를 의미하며 다른 유형의 기본 메모리에 액세스하는 데 사용될 수도 있음).

컴파일러가 할당이 절대로 바뀌지 않는다고 증명할 수없는 경우에는 포인터를 다시로드해야합니다. 예를 들어 void* field1이 자신을 가리키고 있지 않다는 것을 어떻게 알 수 있습니까?

---

그리고 모든 캐스트가없는이 작업이 마음에 들지 않습니까?

int* p = my_s1.field1; 
p[1] = 0; 
p[2] = 1; 
p[3] = 2; 
p[4] = 3; 

int 가정하면 4 바이트이고, 그 field1 실제로 이들의 배열을 가리킨다.