C/C++에서 포인터 에일리어싱 문제를 감지하는 도구

Question

프로그램에서 별칭 분석을 수행하고 잠재적 인 포인터 별칭 때문에 gcc/g ++에서 차선의 명령 시퀀스를 생성해야하는 위치를 알려주는 도구가 있습니까?

Answer 1

"100 %"커버리지를 제공하는 것은 모르지만, 앨리어싱이 방지하는 코드를 벡터화하려면 -ftree-vectorizer-verbose=n 옵션을 사용하십시오. 여기서 n은 1과 6 사이의 정수입니다. 루프를 벡터화 할 수 없습니다. 이제

 
$ g++ -ftree-vectorizer-verbose=1 -ftree-vectorize -O3 -c aliastest.cpp 

aliastest.cpp:6: note: vectorized 0 loops in function. 

에서 g ++ 4.1 예를 들어

, 코드

//#define RSTR __restrict__ 
#define RSTR 

void addvec(float* RSTR a, float* b, int n) 
{ 
    for (int i = 0; i < n; i++) 
    a[i] = a[i] + b[i]; 
} 

결과는 RSTR에 대한 다른 정의로 ​​전환하고 당신은, 흥미롭게도

 
$ g++ -ftree-vectorizer-verbose=1 -ftree-vectorize -O3 -c aliastest.cpp 

aliastest.cpp:6: note: LOOP VECTORIZED. 
aliastest.cpp:6: note: vectorized 1 loops in function. 

를 얻을 수 g ++ 4.4로 전환하면 버전 지정 및 런타임 검사를 통해 첫 번째 비 제한적 경우를 벡터화 할 수 있습니다.

 
$ g++44 -ftree-vectorizer-verbose=1 -O3 -c aliastest.cpp 

aliastest.cpp:6: note: created 1 versioning for alias checks. 

aliastest.cpp:6: note: LOOP VECTORIZED. 
aliastest.cpp:4: note: vectorized 1 loops in function. 

그리고이 두 가지 RSTR 정의가 이루어집니다.

Answer 2

이전에는 프로파일 러의 도움을 받아 속도 저하를 알리는 사례를 추적했습니다. 게임 콘솔 프로파일 러 중 일부는 load-hit-store penalties을 많이 발생시키는 코드 부분을 강조 표시합니다. 컴파일러에서 일부 포인터에 별칭이 있다고 가정하고 추가로드 지침을 생성해야하기 때문에 이러한 오류가 자주 발생할 수 있습니다. 발생하는 코드의 일부를 알게되면 어셈블리에서 소스로 되돌아 가서 별칭으로 간주 될 수있는 것을 확인하고 필요에 따라 "restict"를 추가 할 수 있습니다 (또는 추가로드를 피하기위한 다른 트릭).

자유롭게 사용할 수있는 프로파일 러가 있는지 여부는 확실하지 않지만이 세부 정보 수준에 들어갈 수 있습니다.

이 접근법의 장점은 실제로 코드를 느리게하는 경우를 검사하는 데만 시간을 소비한다는 것입니다.