컴파일러는 일반적으로 여러 연속 메모리 복사본을 하나의 작업으로 압축 할 수 있습니까? 다음과 같은

Question

뭔가 :

struct Vec2 
{ 
    int x, y; 
}; 

struct Bounds 
{ 
    int left, top, right, bottom; 
}; 

int main() 
{ 
    Vec2 topLeft = {5, 5}; 
    Vec2 bottomRight = { 10, 10 }; 
    Bounds bounds; 
//___Here is copy operation 
//___Note they're not in contiguous order, harder for the compiler? 
    bounds.left = topLeft.x; 
    bounds.bottom = bottomRight.y; 
    bounds.top = topLeft.y; 
    bounds.right = bottomRight.x; 
} 

그 네 가지 과제

은과 같이 할 수있다 :

1. 는 컴파일러에서 최적화 일반적으로 수 있습니까 :

   memcpy(&bounds, &topLeft, sizeof(Vec2)); 
   memcpy(&bounds.right, &bottomRight, sizeof(Vec2)); 
   

   나는 두 가지를 궁금하네요 이 방법?

2. 복사 메모리가 O (n)이므로 4 개의 정수가 2 개의 정수 쌍으로 복사됩니까?

내가 네 사본에 대해 다음 분해 결과를 얻었다 :

bounds.left = topLeft.x; 
00007FF642291034 mov   dword ptr [bounds],5 
bounds.bottom = bottomRight.y; 
00007FF64229103C mov   dword ptr [rsp+2Ch],0Ah 
bounds.top = topLeft.y; 
00007FF642291044 mov   dword ptr [rsp+24h],5 
bounds.right = bottomRight.x; 
00007FF64229104C mov   dword ptr [rsp+28h],0Ah 

그리고 혼동, 두 memcpys은 첫 번째와 두 번째에 대해 서로 다른 지침이를, 나는이 이해가 안 :

memcpy(&bounds, &topLeft, sizeof(Vec2)); 
00007FF64229105E mov   rbx,qword ptr [topLeft] // This is only one instruction 
memcpy(&bounds.right, &bottomRight, sizeof(Vec2)); 
00007FF642291063 mov   rdi,qword ptr [bottomRight] // Compared to 6? 
00007FF642291068 mov   qword ptr [bounds],rbx 
00007FF64229106D mov   qword ptr [rsp+28h],rdi 
00007FF642291072 jmp   main+7Eh (07FF64229107Eh) 
00007FF642291074 mov   rdi,qword ptr [rsp+28h] 
00007FF642291079 mov   rbx,qword ptr [bounds] 

Answer 1

현대의 컴파일러 지원 스레드는 명령 의존성 및 순서 재 지정을 고려해야합니다. 이 기술을 사용하면 지시 사항 집합에 종속성이 없음을 신속하게 발견 할 수 있습니다. 즉, 선형 메모리 순서로 재정렬하고 조합 할 수 있습니다.

그렇지 않을 수도 있습니다. CPU 캐시는 첫 번째 액세스시 전체 캐시 라인을로드하고 나중에 캐시 라인 전체를 플러시합니다. CPU 조작 자체가 아닌 시간이 걸리는 작업입니다.