Microsoft MVP성태의 닷넷 이야기
.NET Framework: 633. C# - IL 코드 분석을 위한 팁 [링크 복사], [링크+제목 복사]
조회: 9633
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

C# - IL 코드 분석을 위한 팁

다음과 같은 질문이 있군요. ^^

++ 후위연산자와 = 을 함께 사용할 때 생성되는 IL 코드 관련...
; https://www.sysnet.pe.kr/3/0/4796

그러니까 다음의 코드를 컴파일했는데,

void Main()
{
    int testValue = 0;
    testValue = testValue ++;
    Console.WriteLine(testValue);
}

생성된 IL 코드가 이런 식이었다는 것입니다. (nop은 제거했습니다.)

IL_0001: ldc.i4.0 
IL_0002: stloc.0 // testValue
IL_0003: ldloc.0 // testValue
IL_0004: stloc.1 
IL_0005: ldloc.1 
IL_0006: ldc.i4.1 
IL_0007: add 
IL_0008: stloc.0 // testValue
IL_0009: ldloc.1 
IL_000A: stloc.0 // testValue
IL_000B: ldloc.0 // testValue
IL_000C: call System.Console.WriteLine
IL_0012: ret

근데... 사실 IL 출력이 이상하다기보다는 입력부터가 이상하다고 생각해야 합니다. 즉, 아래의 코드가 이상해도 ... 너무 이상한 것입니다. ^^

testValue = testValue ++;

testValue가 후위 연산자라서 값을 증가시켜야 하는데, 증가시킨 값을 무색하게 결국 0으로 돌려야 하는 것입니다. 위의 IL 코드를 2개의 코드로 나누면 결국 다음과 같습니다.

testValue = testValue + 1;
testValue = 0;

또는, testValue + 1의 변수를 다음과 같이 임시 변수로 쓸 수도 있습니다.

testValue = temp + 1;
testValue = 0;

"testValue = testValue ++" 코드를 저렇게 해석하는 것에 이견이 없을 거라고 봅니다. ^^

그렇다면, 출력된 IL 코드가 정말 이상한지 다시 한번 볼까요? IL 코드를 그대로 번역해 보면 다음과 같은 C# 코드로 변환이 가능합니다.

int testValue;  // 0번 로컬 변수
int temp;       // 1번 로컬 변수

// ldc.i4.0 
// stloc.0 
testValue = 0;

// ldloc.0 
// stloc.1
temp = testValue;

// ldloc.1
// ldc.i4.1 
// add
// stloc.0
testValue = temp + 1;

// ldloc.1 
// stloc.0
testValue = temp;

// ldloc.0
// call System.Console.WriteLine
Console.WriteLine(testValue);

어떠세요? 이젠 IL 코드가 그다지 비정상적이지 않다고 생각되시죠? ^^



그건 그렇고, IL 코드를 분석할 때의 팁이라고 하면... Debug 빌드의 산출물보다는 Release 빌드의 산출물이 더 다루기 편하다는 점입니다. 아무래도 최적화가 되어 불필요한 것들이 빠지게 되고, 실제로 현업에서 실행될 응용 프로그램의 빌드 버전이기 때문에 더 중요하기도 합니다.

질문자가 제시한 코드를 Release 빌드로 해보면 다음과 같은 코드가 나옵니다.

L_0000: ldc.i4.0 
L_0001: call void [mscorlib]System.Console::WriteLine(int32)
L_0006: ret 

결국, "testValue = testValue ++"는 "testValue = 0"과 별반 다를 바가 없는 코드인 것입니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]


donaricano-btn



[최초 등록일: ]
[최종 수정일: 1/14/2017

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 쓴 사람
 



2017-01-13 06시20분
네...저도 질문받고 이상한 코드라고 생각은 했었는데 이런식으로 0으로 돌려놓는다는 게 저같은 쪼랩이 보기엔 어색한 방식이라...질문을 드렸었습니다.^^
testValue = testValue++; 코드 자체가 어색하긴 한데 원래의 질문자가 IL코드 해석을 부탁하니 그것부터 보다보니...음...제가 왜 성태님에게 이런 변명을...ㅋ
전체적인 설명을 해 주시니 너무 감사합니다~

Beren Ko
2017-01-14 05시52분
[spowner] 저도 감사드립니다
[손님]

[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12739정성태7/28/202114오류 유형: 746. Azure Active Directory - IDW10106: The 'ClientId' option must be provided.
12738정성태7/28/202114오류 유형: 745. Azure Active Directory - Client credential flows must have a scope value with /.default suffixed to the resource identifier (application ID URI).
12737정성태7/28/202118오류 유형: 744. Azure Active Directory - The resource principal named api://...[client_id]... was not found in the tenant
12736정성태7/28/202117오류 유형: 743. Active Azure Directory에서 "API permissions"의 권한 설정이 "Not granted for ..."로 나오는 문제
12735정성태7/27/202159.NET Framework: 1081. C# - Azure AD 인증을 지원하는 데스크톱 애플리케이션 예제(Windows Forms)파일 다운로드1
12734정성태7/26/202173스크립트: 20. 특정 단어로 시작하거나/끝나는 문자열을 포함/제외하는 정규 표현식 - Look-around
12733정성태7/23/202178.NET Framework: 1081. Self-Contained/SingleFile 유형의 .NET Core/5+ 실행 파일을 임베딩한다면?파일 다운로드2
12732정성태7/23/202128오류 유형: 742. SharePoint - The super user account utilized by the cache is not configured.
12731정성태7/23/202137개발 환경 구성: 584. Add Internal URLs 화면에서 "Save" 버튼이 비활성화 된 경우
12730정성태7/23/202145개발 환경 구성: 583. Visual Studio Code - Go 코드에서 입력을 받는 경우
12729정성태7/22/202158.NET Framework: 1080. xUnit 단위 테스트에 메서드/클래스 수준의 문맥 제공 - Fixture
12728정성태7/22/202162.NET Framework: 1079. MSTestv2 단위 테스트에 메서드/클래스/어셈블리 수준의 문맥 제공
12727정성태7/21/2021121.NET Framework: 1078. C# 단위 테스트 - MSTestv2/NUnit의 Assert.Inconclusive 사용법(?)
12726정성태7/21/202185VS.NET IDE: 169. 비주얼 스튜디오 - 단위 테스트 선택 시 MSTestv2 외의 xUnit, NUnit 사용법
12725정성태7/21/202135오류 유형: 741. Failed to find the "go" binary in either GOROOT() or PATH
12724정성태7/21/2021105개발 환경 구성: 582. 윈도우 환경에서 Visual Studio Code + Go (Zip) 개발 환경 [1]
12723정성태7/21/202145오류 유형: 740. SharePoint - Alternate access mappings have not been configured 경고
12722정성태7/20/202196오류 유형: 739. MSVCR110.dll이 없어 exe 실행이 안 되는 경우
12721정성태7/20/202151오류 유형: 738. The trust relationship between this workstation and the primary domain failed. - 세 번째 이야기
12720정성태7/19/202187Linux: 43. .NET Core/5+ 응용 프로그램의 Ubuntu (Debian) 패키지 준비
12719정성태7/19/202187오류 유형: 737. SharePoint 설치 시 "0x800710D8 The object identifier does not represent a valid object." 오류 발생
12718정성태7/19/2021119개발 환경 구성: 581. Windows에서 WSL로 파일 복사 시 root 소유권으로 적용되는 문제파일 다운로드1
12717정성태7/18/202196Windows: 195. robocopy에서 파일의 ADS(Alternate Data Stream) 정보 복사를 제외하는 방법
12716정성태7/17/202186개발 환경 구성: 580. msbuild의 Exec Task에 robocopy를 사용하는 방법파일 다운로드1
12715정성태7/17/202180오류 유형: 736. Windows - MySQL zip 파일 버전의 "mysqld --skip-grant-tables" 실행 시 비정상 종료
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...