SIMD 벡터 포인터와 해당 유형 간의 Reinterpret_casting이 C에서 정의되지 않은 동작입니까?

하드웨어 SIMD 벡터 포인터와 해당 유형 간의 reinterpret_casting이 정의되지 않은 동작입니까?

C에서 reinterpret_cast를 사용하여 float를 변환하는 방법 __m256 포인터에 대한 포인터 및 다른 포인터 유형을 통해 float 객체에 액세스 잠재적인 정의되지 않은 동작이나 엄격한 앨리어싱 규칙 위반에 대한 우려.

정의되지 않은 동작

ISO C 표준에 따르면 서로 다른 포인터 유형 간의 reinterpret_cast 동작은 구현입니다. 정의되어 있으므로 다른 플랫폼 간에 이식성이 보장되지 않습니다. 컴파일러.

May-Alias ​​속성

그러나 이러한 내장 함수의 Intel 구현은 종종 __m256*과 같은 벡터 포인터 유형을 "may-alias" 속성을 갖는 것으로 정의합니다. 즉, 컴파일러는 __m256*이 다른 벡터 유형이나 해당 스칼라 구성 요소를 포함하여 다른 모든 것에 잠재적으로 별칭을 붙일 수 있다고 가정할 수 있습니다.

참조 해제해도 안전함

As 결과적으로 일반적으로 다음과 같은 내장 함수를 사용할 필요 없이 __m256*을 직접 역참조하는 것이 안전한 것으로 간주됩니다. _mm256_load_ps. 이는 컴파일러가 잠재적인 앨리어싱을 인식하고 작업을 안전하게 수행하기 위한 적절한 지침을 생성하기 때문입니다.

엄격한 앨리어싱 위반

배열 유형의 사용 및 벡터 요소에 직접 액세스하면 C의 엄격한 앨리어싱 규칙을 위반할 우려가 있습니다. reinterpret_casting 행위가 반드시 엄격한 앨리어싱 규칙을 위반하는 것은 아닙니다. 그러나 원래 유형과 마찬가지로 결과 포인터-구조체에 액세스합니다. 엄격한 앨리어싱 규칙은 공용체 유형의 객체 일부에 대한 직접 액세스가 const 정확성을 위반할 수 있음을 정의합니다. 즉, const 공용체는 직접 액세스할 수 없으며 const가 아닌 공용체는 const 정규화된 개체로 캐스팅할 수 없습니다. 값을 수정하는 동안 입력하세요. 엄격한 앨리어싱은 이 컨텍스트에서 reinterpret_cast 포인터를 부동 포인터로 액세스하고 값을 수정한 경우에만 위반됩니다. 이는 C의 엄격한 앨리어싱 규칙이 객체의 const 정확성을 위반할 수 있는 경우 다른 유형의 포인터를 통해 객체에 액세스하는 것을 금지하기 때문입니다. 예시에서는 그렇지 않습니다.

요약

실제로는 하드웨어 SIMD 벡터 포인터와 해당 부동 소수점 포인터 사이에 reinterpret_cast를 사용하는 것이 일반적으로 사용되고 Intel 내장 기능을 지원하는 플랫폼에서 안전한 것으로 받아들여집니다. 그러나 이것이 모든 플랫폼이나 구현에 해당되는 것은 아니라는 점에 유의하는 것이 중요합니다. 내장 함수 및 유형 변환의 올바른 사용에 대한 지침은 항상 사용 중인 특정 컴파일러 및 플랫폼에 대한 설명서를 참조하세요.

위 내용은 SIMD 벡터 포인터와 해당 유형 간의 Reinterpret_casting이 C에서 정의되지 않은 동작입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!