64-bit enum bit-wise operation bug in VC10 x64 = need help!

Question

enum E : ULONGLONG { e0 &#61; 0x0000000000000000ULL; e1 &#61; 0x8000000000000000ULL; e2 &#61; 0x8000000000000001ULL;};ULONGLONG n1, n2, n3; // enum 에 대해서 &&#61; 을 쓸 수 없어 n 으로 바꿔 쓰기로 함.n1 &#61; e2;n1 &&#61; ~e1; // (1) 0x8000000000000001 &#61;> wrong!n2 &#61; e2;n2 &&#61; ~ULONGLONG(e1); // (2) 0x0000000000000001 &#61;> correct!n3 &#61; e2;n3 &&#61; ULONGLONG(~e1); // (3) 0x8000000000000001 &#61;> wrong!위 코드는 n 의 맨 왼쪽 빗을 0으로 리셋하려는 뜻인데, 돌려보면 (1), (3) 은 n 의 값이 바뀌지 않고 (2) 만 제대로 바뀝니다.VC10 버그일까요? (2) 와 같이 쓰면 되긴 하는데 문제는 앞으로 64 bit enum 을 ULONGLONG 으로 캐스팅하고 써야 안심이 될텐데 캐스팅없이 64-bit enum 을 쓸 길이 없을까요? 실제 작업중인 코드에서, BOOL bHdr &#61; (nAcsMode & (LOG_ASS | LOG_ASS_ | LOG_CST | LOG_CST_ | LOG_ACS | LOG_ACS_ | LOG_ASF | LOG_ASF_ | LOG_CSF | LOG_CSF_ | LOG_ACF | LOG_ACF_ | LOG_ASC | LOG_ASC_ | LOG_CSC | LOG_CSC_ | LOG_ACC | LOG_ACC_)) !&#61; NON_ACS;처럼 많은 64-bit enum 을 쓰는데, 모든 LOG_xxx enum 을 다 ULONGLONG 으로 캐스팅해야 할지 아니면 | 로 묶인 LOG_xxx enum 들을 모두 | bit operation 한 결과만을 캐스팅한뒤 nAcsMode 와 & 하면 되는지 등등 애매하고 불확실하게 되어 언제 어디서 이 코드가 시한폭탄으로 터질지 모르겠습니다.64-bit enum 으로 bit-wise operation 을 ULONGLONG 캐스팅없이 안전하게 할 수 있는 법 아시는 분 도움부탁드립니다끝으로 enum 에 대해 &&#61; 을 정의해서 쓰면 깔끔하게 해결이 되는지도 궁금합니다. 고맙습니다

Hide_D · Answer

VS2019 (build tool 사용), gcc 에서 모두 1 출력됩니다.혹시 Visual Studio 2010에서 Service Pack 1을 설치해도 동일한가요?

ehaerim · Answer

Visual Studio 2010에서 Service Pack 1을 설치한 상태에서의 결과였습니다 n1 &&#61; ~e2; 000000013F67AA75 48 8B 44 24 50 mov rax,qword ptr [rsp&#43;50h] 000000013F67AA7A 48 89 44 24 50 mov qword ptr [rsp&#43;50h],rax n2 &&#61; ~ULONGLONG(e2); 000000013FC7AA75 48 B8 FF FF FF FF FF FF FF 7F mov rax,7FFFFFFFFFFFFFFFh 000000013FC7AA7F 48 8B 4C 24 50 mov rcx,qword ptr [rsp&#43;50h] 000000013FC7AA84 48 23 C8 and rcx,rax 000000013FC7AA87 48 8B C1 mov rax,rcx 000000013FC7AA8A 48 89 44 24 50 mov qword ptr [rsp&#43;50h],rax 위에 보면 (1) 의 경우 n1 을 rax 에 넣었다가 rax 를 다시 그대로 n1 에 넣고 맙니다. 따라서 사실상 아무런 바뀜이 없게 되는 것이죠.VS2019 x64 로 컴파일한 디스어셈블리 코드는 다르게 나오나요?

ehaerim · Answer

Visual Studio 2010에서 Service Pack 1을 설치된 상태로 테스트했습니다디버깅 모드 디스어셈블리로 보면 (1) (3) 의 경우 n 값을 rax 레지스터에 넣었다 다시 그대로 n 에 넣고 맙니다그러니까 그냥 n &#61; n; 처럼 컴파일러가 셀프 카피하는 디스어셈블리어를 만들어 내고 맙니다.이게 컴파일러 버그일수도 있겠지만 64비트 enum 정의 측면에서 뭔가 까닭이 있지 싶습니다n1 &&#61; ~e2; //Bug!!! See Disassembly code below! Semantically nAcsMode copies itself! 000000013F67AA75 48 8B 44 24 50 mov rax,qword ptr [rsp&#43;50h] 000000013F67AA7A 48 89 44 24 50 mov qword ptr [rsp&#43;50h],rax n2 &&#61; ~ULONGLONG(e2); 000000013FC7AA75 48 B8 FF FF FF FF FF FF FF 7F mov rax,7FFFFFFFFFFFFFFFh 000000013FC7AA7F 48 8B 4C 24 50 mov rcx,qword ptr [rsp&#43;50h] 000000013FC7AA84 48 23 C8 and rcx,rax 000000013FC7AA87 48 8B C1 mov rax,rcx 000000013FC7AA8A 48 89 44 24 50 mov qword ptr [rsp&#43;50h],rax vs2019 에서 디스어셈블리 코드는 어떻게 나오고 있나요? 컴파일은 x64 로 해야 합니다

Hide_D · Answer

n1 &#61; e2; 00007FF77A02244A mov rax,8000000000000001h 00007FF77A022454 mov qword ptr [n1],rax n1 &&#61; ~e1; // (1) 0x8000000000000001 &#61;> wrong! 00007FF77A022458 mov rax,7FFFFFFFFFFFFFFFh 00007FF77A022462 mov rcx,qword ptr [n1] 00007FF77A022466 and rcx,rax 00007FF77A022469 mov rax,rcx 00007FF77A02246C mov qword ptr [n1],rax n2 &#61; e2; 00007FF77A022470 mov rax,8000000000000001h 00007FF77A02247A mov qword ptr [n2],rax n2 &&#61; ~ULONGLONG(e1); // (2) 0x0000000000000001 &#61;> correct! 00007FF77A02247E mov rax,7FFFFFFFFFFFFFFFh 00007FF77A022488 mov rcx,qword ptr [n2] 00007FF77A02248C and rcx,rax 00007FF77A02248F mov rax,rcx 00007FF77A022492 mov qword ptr [n2],rax n3 &#61; e2; 00007FF77A022496 mov rax,8000000000000001h 00007FF77A0224A0 mov qword ptr [n3],rax n3 &&#61; ULONGLONG(~e1); // (3) 0x8000000000000001 &#61;> wrong! 00007FF77A0224A4 mov rax,7FFFFFFFFFFFFFFFh 00007FF77A0224AE mov rcx,qword ptr [n3] n3 &&#61; ULONGLONG(~e1); // (3) 0x8000000000000001 &#61;> wrong! 00007FF77A0224B2 and rcx,rax 00007FF77A0224B5 mov rax,rcx 00007FF77A0224B8 mov qword ptr [n3],rax VS2019 디스어셈블리로는 요렇게 나오네요.

ehaerim · Answer

네 VC2010 버그인가 봅니다 ^^그나저나, 혹시 enum E : ULONGLONG { e0 &#61; 0x0000000000000000ULL; e1 &#61; 0x8000000000000000ULL; e2 &#61; 0x8000000000000001ULL; };과 같은 이넘에 대해 &&#61; 유저 디파인 오퍼레이터를 만들 수 있다면 부탁 드리겠습니다.고맙습니다

Hide_D · Answer

(1)https://docs.microsoft.com/en-us/previous-versions/hh567368(v&#61;vs.140)VS2010에서는 strongly typed enum이 제대로 지원되지 않는게 맞긴 하네요. (2)지금 구현대로 ULONGLONG(uint64_t)으로 선언해서 쓰는게 맞지 않을까요..?문법대로라면 enum E인 값 a와 b에 대해 어떠한 연산을 한 값이 enum E에 속해야 되는데, & 연산은 그렇지 않으니까요. C&#43;&#43;14라면 ULONGLONG n1, n2, n3; 대신std::underlying_type_t<E> n1, n2, n3;으로 하면 되긴 하죠... (3) VS2019 Build Tool이나, mingw-w64를 쓸 수는 없는 상황인가요?VS2010을 사용하시는 이유가 호환이 필요한 구버전 코드 때문일 수도 있고, 구입하신 라이선스 문제일 수도 있겠지만.. VS2019 Build tool, mingw-w64 모두 기업에서 제한 없이 무료로 사용 가능하니 고려해보시는 것도 어떨까 싶어요~

64-bit enum bit-wise operation bug in VC10 x64 => need help!

6개의 답변

Q&A 목록