__vectorcall
Microsoft 전용
호출 규칙은 __vectorcall 가능한 경우 함수에 대한 인수를 레지스터에 전달하도록 지정합니다. __vectorcall는 인수에 대해 기본 x64 호출 규칙 사용보다 __fastcall 더 많은 레지스터를 사용합니다. __vectorcall 호출 규칙은 SSE2(스트리밍 SIMD 확장명 2) 이상을 포함하는 x86 및 x64 프로세서의 네이티브 코드에서만 지원됩니다. 여러 부동 소수점 또는 SIMD 벡터 인수를 전달하는 함수의 속도를 조정하고 레지스터에 로드된 인수를 활용하는 작업을 수행하는 데 사용합니다 __vectorcall . 다음 목록에서는 x86 및 x64 구현에 공통적인 __vectorcall기능을 보여 줍니다. 차이점은 이 문서의 뒷부분에 설명되어 있습니다.
| 요소 | 구현 |
|---|---|
| C 이름 데코레이션 규칙 | 함수 이름은 두 개의 "at" 기호(@@)와 매개 변수 목록의 바이트 수(10진수)로 접미사가 붙습니다. |
| 대/소문자 변환 규칙 | 대/소문자 변환은 수행되지 않습니다. |
/Gv 컴파일러 옵션을 사용하면 함수가 멤버 함수이거나, 충돌하는 호출 규칙 특성으로 __vectorcall 선언되거나, 변수 인수 목록을 사용 vararg 하거나, 이름이 main없는 한 모듈의 각 함수가 컴파일됩니다.
함수에 __vectorcall 등록하여 세 가지 종류의 인수를 전달할 수 있습니다. 정수 형식 값, 벡터 형식 값 및 HVA(동종 벡터 집계) 값입니다.
정수 형식은 프로세서의 네이티브 레지스터 크기(예: x86 컴퓨터의 경우 4바이트 또는 x64 컴퓨터의 경우 8바이트)에 맞는 두 가지 요구 사항을 충족하며, 비트 표현을 변경하지 않고도 레지스터 길이의 정수로 변환할 수 있습니다. 예를 들어 x86(long longx64)shortchar에서 승격 int 할 수 있거나 x64에서 변경long long 없이 원래 형식으로 int 다시 캐스팅할 수 있는 형식은 정수 형식입니다. 정수 형식에는 포인터, 참조 및 structunion 4바이트(x64의 경우 8바이트) 이하의 형식이 포함됩니다. x64 플랫폼에서 더 크고 structunion 형식은 호출자가 할당한 메모리에 대한 참조로 전달됩니다. x86 플랫폼에서는 스택의 값으로 전달됩니다.
벡터 형식은 부동 소수점 형식(예: a float 또는 - 또는 doubleSIMD 벡터 형식)입니다__m256. 예를 들면 다음과 같습니다__m128.
HVA 형식은 동일한 벡터 형식을 갖는 최대 4개의 데이터 멤버로 구성된 복합 형식입니다. HVA 형식은 멤버의 벡터 형식과 맞춤 요구 사항이 동일합니다. 세 가지 동일한 벡터 형식을 포함하고 32바이트 맞춤이 있는 HVA struct 정의의 예입니다.
typedef struct {
__m256 x;
__m256 y;
__m256 z;
} hva3; // 3 element HVA type on __m256
별도로 컴파일된 코드가 오류 없이 연결할 수 있도록 헤더 파일의 __vectorcall 키워드(keyword) 사용하여 함수를 명시적으로 선언합니다. 함수를 사용하려면 프로토타입으로 작성 __vectorcall해야 하며 가변 길이 인수 목록을 사용할 vararg 수 없습니다.
멤버 함수는 지정자를 사용하여 __vectorcall 선언할 수 있습니다. 숨겨진 this 포인터는 레지스터를 통해 첫 번째 정수 형식 인수로 전달됩니다.
ARM 컴퓨터에서 __vectorcall 컴파일러에서 허용되고 무시됩니다. ARM64EC __vectorcall 컴파일러에서 지원되지 않고 거부됩니다.
비정적 클래스 멤버 함수의 경우 함수가 아웃오브 라인으로 정의되면 호출 규칙 한정자를 아웃오브 라인 정의에서 지정하지 않아도 됩니다. 즉, 클래스 비정적 멤버의 경우 선언하는 동안 지정된 호출 규칙이 정의 시에 가정됩니다. 다음의 클래스 정의를 가정해 봅니다.
struct MyClass {
void __vectorcall mymethod();
};
다음 코드는
void MyClass::mymethod() { return; }
다음 코드 조각과 일치합니다.
void __vectorcall MyClass::mymethod() { return; }
함수에 __vectorcall 대한 포인터 __vectorcall 를 만들 때 호출 규칙 한정자를 지정해야 합니다. 다음 예제에서는 네 double 개의 인수를 사용하고 값을 반환하는 함수에 __vectorcall 대한 포인터를 __m256 만듭니다typedef.
typedef __m256 (__vectorcall * vcfnptr)(double, double, double, double);
이전 버전 _vectorcall 과의 호환성을 위해 __vectorcall 컴파일러 옵션 /Za (언어 확장 사용 안 함) 을 지정하지 않는 한 동의어입니다.
x64의 __vectorcall 규칙
x64의 호출 규칙은 __vectorcall 표준 x64 호출 규칙을 확장하여 추가 레지스터를 활용합니다. 정수 형식 인수와 벡터 형식 인수 모두 인수 목록에 있는 위치를 기반으로 레지스터에 매핑됩니다. HVA 인수는 사용되지 않는 벡터 레지스터에 할당됩니다.
왼쪽에서 오른쪽 순서로 처음 네 개의 인수가 정수 형식 인수인 경우 해당 위치 RCX, RDX, R8 또는 R9에 해당하는 레지스터에서 전달됩니다. 숨겨진 this 포인터는 첫 번째 정수 형식 인수로 처리됩니다. 처음 네 인수 중 하나의 HVA 인수를 사용 가능한 레지스터에 전달할 수 없는 경우 호출자 할당 메모리에 대한 참조가 대신 해당 정수 형식 레지스터에 전달됩니다. 네 번째 매개 변수 위치 뒤에 오는 정수 형식 인수는 스택에서 전달됩니다.
왼쪽에서 오른쪽 순서로 처음 여섯 개의 인수가 벡터 형식 인수인 경우 인수 위치에 따라 0에서 5의 SSE 벡터 레지스터 값에 의해 전달됩니다. 부동 소수점 및 __m128 형식은 XMM 레지스터에 전달되고 __m256 형식은 YMM 레지스터에 전달됩니다. 벡터 형식이 참조가 아닌 값에 의해 전달되고 추가 레지스터가 사용되므로 이는 표준 x64 호출 규칙과 다릅니다. 벡터 형식 인수에 할당된 섀도 스택 공간은 8바이트 단위로 고정되며 /homeparams 옵션이 적용되지 않습니다. 일곱 번째 이후의 매개 변수 자리에 오는 벡터 형식 인수는 호출자가 할당한 메모리에 대한 참조에 의해 스택에서 전달됩니다.
벡터 인수에 대해 레지스터가 할당된 후 HVA 인수의 데이터 멤버는 전체 HVA에 사용할 수 있는 충분한 레지스터가 있는 한 사용하지 않는 벡터에 XMM0을 XMM5(또는 형식의 경우 YMM0에서 YMM5로 등록)하기 위해 __m256 오름차순으로 할당됩니다. 사용할 수 있는 레지스터가 충분하지 않은 경우 HVA 인수는 호출자가 할당한 메모리에 대한 참조에 의해 전달됩니다. HVA 인수에 대한 스택 섀도 공간은 정의되지 않은 내용을 포함하여 8바이트로 고정됩니다. HVA 인수는 매개 변수 목록의 왼쪽에서 오른쪽 순서로 레지스터에 할당되며 어떤 위치에나 있을 수 있습니다. 벡터 레지스터에 할당되지 않은 처음 네 개의 인수 위치 중 하나에 있는 HVA 인수는 해당 위치에 대응하는 정수 레지스터에서 참조에 의해 전달됩니다. 네 번째 매개 변수 위치 뒤로 참조에 의해 전달된 HVA 인수는 스택에서 푸시됩니다.
함수의 __vectorcall 결과는 가능한 경우 레지스터의 값으로 반환됩니다. 8바이트 이하의 정수 형식 구조체 또는 공용 구조체를 포함한 정수 형식의 결과는 RAX에 값으로 반환됩니다. 벡터 형식 결과는 크기에 따라 XMM0 또는 YMM0에 값으로 반환됩니다. HVA 결과에는 요소 크기에 따라 레지스터 XMM0:XMM3 또는 YMM0:YMM3에 값으로 반환되는 각 데이터 요소가 있습니다. 해당 레지스터에 맞지 않는 결과 형식은 호출자가 할당한 메모리에 대한 참조로 반환됩니다.
스택은 x64 구현__vectorcall에서 호출자가 기본. 호출자 프롤로그 및 에필로그 코드는 호출된 함수의 스택을 할당하고 호출합니다. 인수는 오른쪽에서 왼쪽으로 스택에서 푸시되며 섀도 스택 공간에는 레지스터에 의해 전달된 인수가 할당됩니다.
예:
// crt_vc64.c
// Build for amd64 with: cl /arch:AVX /W3 /FAs crt_vc64.c
// This example creates an annotated assembly listing in
// crt_vc64.asm.
#include <intrin.h>
#include <xmmintrin.h>
typedef struct {
__m128 array[2];
} hva2; // 2 element HVA type on __m128
typedef struct {
__m256 array[4];
} hva4; // 4 element HVA type on __m256
// Example 1: All vectors
// Passes a in XMM0, b in XMM1, c in YMM2, d in XMM3, e in YMM4.
// Return value in XMM0.
__m128 __vectorcall
example1(__m128 a, __m128 b, __m256 c, __m128 d, __m256 e) {
return d;
}
// Example 2: Mixed int, float and vector parameters
// Passes a in RCX, b in XMM1, c in R8, d in XMM3, e in YMM4,
// f in XMM5, g pushed on stack.
// Return value in YMM0.
__m256 __vectorcall
example2(int a, __m128 b, int c, __m128 d, __m256 e, float f, int g) {
return e;
}
// Example 3: Mixed int and HVA parameters
// Passes a in RCX, c in R8, d in R9, and e pushed on stack.
// Passes b by element in [XMM0:XMM1];
// b's stack shadow area is 8-bytes of undefined value.
// Return value in XMM0.
__m128 __vectorcall example3(int a, hva2 b, int c, int d, int e) {
return b.array[0];
}
// Example 4: Discontiguous HVA
// Passes a in RCX, b in XMM1, d in XMM3, and e is pushed on stack.
// Passes c by element in [YMM0,YMM2,YMM4,YMM5], discontiguous because
// vector arguments b and d were allocated first.
// Shadow area for c is an 8-byte undefined value.
// Return value in XMM0.
float __vectorcall example4(int a, float b, hva4 c, __m128 d, int e) {
return b;
}
// Example 5: Multiple HVA arguments
// Passes a in RCX, c in R8, e pushed on stack.
// Passes b in [XMM0:XMM1], d in [YMM2:YMM5], each with
// stack shadow areas of an 8-byte undefined value.
// Return value in RAX.
int __vectorcall example5(int a, hva2 b, int c, hva4 d, int e) {
return c + e;
}
// Example 6: HVA argument passed by reference, returned by register
// Passes a in [XMM0:XMM1], b passed by reference in RDX, c in YMM2,
// d in [XMM3:XMM4].
// Register space was insufficient for b, but not for d.
// Return value in [YMM0:YMM3].
hva4 __vectorcall example6(hva2 a, hva4 b, __m256 c, hva2 d) {
return b;
}
int __cdecl main( void )
{
hva4 h4;
hva2 h2;
int i;
float f;
__m128 a, b, d;
__m256 c, e;
a = b = d = _mm_set1_ps(3.0f);
c = e = _mm256_set1_ps(5.0f);
h2.array[0] = _mm_set1_ps(6.0f);
h4.array[0] = _mm256_set1_ps(7.0f);
b = example1(a, b, c, d, e);
e = example2(1, b, 3, d, e, 6.0f, 7);
d = example3(1, h2, 3, 4, 5);
f = example4(1, 2.0f, h4, d, 5);
i = example5(1, h2, 3, h4, 5);
h4 = example6(h2, h4, c, h2);
}
x86의 __vectorcall 규칙
호출 규칙은 __vectorcall 32비트 정수 형식 인수에 대한 규칙을 따르고 __fastcall 벡터 형식 및 HVA 인수에 대한 SSE 벡터 레지스터를 활용합니다.
매개 변수 목록에서 왼쪽에서 오른쪽 순서로 처음 두 개 정수 형식 인수는 각각 ECX 및 EDX에 배치됩니다. 숨겨진 this 포인터는 첫 번째 정수 형식 인수로 처리되고 ECX로 전달됩니다. 처음 여섯 개 벡터 형식 인수는 인수 크기에 따라 0에서 5의 SSE 벡터 레지스터 값에 의해 XMM 또는 YMM 레지스터에서 전달됩니다.
왼쪽에서 오른쪽 순서로 처음 여섯 개 벡터 형식 인수는 0에서 5의 SSE 벡터 레지스터 값에 의해 전달됩니다. 부동 소수점 및 __m128 형식은 XMM 레지스터에 전달되고 __m256 형식은 YMM 레지스터에 전달됩니다. 레지스터에 의해 전달된 벡터 형식 인수에는 섀도 스택 공간이 할당되지 않습니다. 일곱 번째 이후의 벡터 형식 인수는 호출자가 할당한 메모리에 대한 참조에 의해 스택에서 전달됩니다. 컴파일러 오류 C2719 의 제한 사항은 이러한 인수에 적용되지 않습니다.
벡터 인수에 대해 레지스터가 할당된 후 HVA 인수의 데이터 멤버는 전체 HVA에 사용할 수 있는 레지스터가 충분한 경우 사용하지 않는 벡터 레지스터 XMM0을 XMM5(또는 형식의 경우 __m256 YMM0에서 YMM5로)로 오름차순으로 할당합니다. 사용할 수 있는 레지스터가 충분하지 않은 경우 HVA 인수는 호출자가 할당한 메모리에 대한 참조에 의해 스택에서 전달됩니다. HVA 인수에는 스택 섀도 공간이 할당되지 않습니다. HVA 인수는 매개 변수 목록의 왼쪽에서 오른쪽 순서로 레지스터에 할당되며 어떤 위치에나 있을 수 있습니다.
함수의 __vectorcall 결과는 가능한 경우 레지스터의 값으로 반환됩니다. 4바이트 이하의 정수 형식 구조체 또는 공용 구조체를 포함한 정수 형식의 결과는 EAX에 값으로 반환됩니다. 8바이트 이하의 정수 형식 구조체 또는 공용 구조체는 EDX:EAX에 값으로 반환됩니다. 벡터 형식 결과는 크기에 따라 XMM0 또는 YMM0에 값으로 반환됩니다. HVA 결과에는 요소 크기에 따라 레지스터 XMM0:XMM3 또는 YMM0:YMM3에 값으로 반환되는 각 데이터 요소가 있습니다. 다른 결과 형식은 호출자가 할당한 메모리에 대한 참조로 반환됩니다.
x86 구현 __vectorcall 은 호출자가 오른쪽에서 왼쪽으로 스택에 푸시하는 인수의 규칙을 따르며 호출된 함수는 스택이 반환되기 직전에 스택을 지웁니다. 레지스터에 배치되지 않은 인수만 스택으로 푸시됩니다.
예:
// crt_vc86.c
// Build for x86 with: cl /arch:AVX /W3 /FAs crt_vc86.c
// This example creates an annotated assembly listing in
// crt_vc86.asm.
#include <intrin.h>
#include <xmmintrin.h>
typedef struct {
__m128 array[2];
} hva2; // 2 element HVA type on __m128
typedef struct {
__m256 array[4];
} hva4; // 4 element HVA type on __m256
// Example 1: All vectors
// Passes a in XMM0, b in XMM1, c in YMM2, d in XMM3, e in YMM4.
// Return value in XMM0.
__m128 __vectorcall
example1(__m128 a, __m128 b, __m256 c, __m128 d, __m256 e) {
return d;
}
// Example 2: Mixed int, float and vector parameters
// Passes a in ECX, b in XMM0, c in EDX, d in XMM1, e in YMM2,
// f in XMM3, g pushed on stack.
// Return value in YMM0.
__m256 __vectorcall
example2(int a, __m128 b, int c, __m128 d, __m256 e, float f, int g) {
return e;
}
// Example 3: Mixed int and HVA parameters
// Passes a in ECX, c in EDX, d and e pushed on stack.
// Passes b by element in [XMM0:XMM1].
// Return value in XMM0.
__m128 __vectorcall example3(int a, hva2 b, int c, int d, int e) {
return b.array[0];
}
// Example 4: HVA assigned after vector types
// Passes a in ECX, b in XMM0, d in XMM1, and e in EDX.
// Passes c by element in [YMM2:YMM5].
// Return value in XMM0.
float __vectorcall example4(int a, float b, hva4 c, __m128 d, int e) {
return b;
}
// Example 5: Multiple HVA arguments
// Passes a in ECX, c in EDX, e pushed on stack.
// Passes b in [XMM0:XMM1], d in [YMM2:YMM5].
// Return value in EAX.
int __vectorcall example5(int a, hva2 b, int c, hva4 d, int e) {
return c + e;
}
// Example 6: HVA argument passed by reference, returned by register
// Passes a in [XMM1:XMM2], b passed by reference in ECX, c in YMM0,
// d in [XMM3:XMM4].
// Register space was insufficient for b, but not for d.
// Return value in [YMM0:YMM3].
hva4 __vectorcall example6(hva2 a, hva4 b, __m256 c, hva2 d) {
return b;
}
int __cdecl main( void )
{
hva4 h4;
hva2 h2;
int i;
float f;
__m128 a, b, d;
__m256 c, e;
a = b = d = _mm_set1_ps(3.0f);
c = e = _mm256_set1_ps(5.0f);
h2.array[0] = _mm_set1_ps(6.0f);
h4.array[0] = _mm256_set1_ps(7.0f);
b = example1(a, b, c, d, e);
e = example2(1, b, 3, d, e, 6.0f, 7);
d = example3(1, h2, 3, 4, 5);
f = example4(1, 2.0f, h4, d, 5);
i = example5(1, h2, 3, h4, 5);
h4 = example6(h2, h4, c, h2);
}
End Microsoft Specific
참고 항목
피드백
출시 예정: 2024년 내내 콘텐츠에 대한 피드백 메커니즘으로 GitHub 문제를 단계적으로 폐지하고 이를 새로운 피드백 시스템으로 바꿀 예정입니다. 자세한 내용은 다음을 참조하세요. https://aka.ms/ContentUserFeedback
다음에 대한 사용자 의견 제출 및 보기