Microsoft MVP성태의 닷넷 이야기
.NET Framework: 633. C# - IL 코드 분석을 위한 팁 [링크 복사], [링크+제목 복사]
조회: 10055
글쓴 사람
정성태 (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)
12850정성태10/27/202116오류 유형: 765. 우분투에서 pip install mysqlclient 실행 시 "OSError: mysql_config not found" 오류
12849정성태10/17/2021221스크립트: 33. JavaScript와 C#의 시간 변환
12848정성태10/17/2021161스크립트: 32. 파이썬 - sqlite3 기본 예제 코드
12847정성태10/14/2021138스크립트: 31. 파이썬 gunicorn - WORKER TIMEOUT 오류 발생
12846정성태10/7/2021283스크립트: 30. 파이썬 __debug__ 플래그 변수에 따른 코드 실행 제어
12845정성태10/6/2021476.NET Framework: 1120. C# - BufferBlock<T> 사용 예제 [4]파일 다운로드1
12844정성태10/3/2021219오류 유형: 764. MSI 설치 시 "... is accessible and not read-only." 오류 메시지
12843정성태10/3/2021234스크립트: 29. 파이썬 - fork 시 기존 클라이언트 소켓 및 스레드의 동작파일 다운로드1
12842정성태10/1/2021230오류 유형: 763. 파이썬 오류 - AttributeError: type object '...' has no attribute '...'
12841정성태10/1/2021305스크립트: 28. 모든 파이썬 프로세스에 올라오는 특별한 파일 - sitecustomize.py
12840정성태9/30/2021330.NET Framework: 1119. Entity Framework의 Join 사용 시 다중 칼럼에 대한 OR 조건 쿼리파일 다운로드1
12839정성태9/15/2021557.NET Framework: 1118. C# 10 - (17) 제네릭 타입의 특성 적용파일 다운로드1
12838정성태9/13/2021524.NET Framework: 1117. C# - Task에 전달한 Action, Func 유형에 따라 달라지는 async/await 비동기 처리 [2]파일 다운로드1
12837정성태9/11/2021310VC++: 151. Golang - fmt.Errorf, errors.Is, errors.As 설명
12836정성태9/10/2021304Linux: 45. 리눅스 - 실행 중인 다른 프로그램의 출력을 확인하는 방법
12835정성태9/7/2021313.NET Framework: 1116. C# 10 - (16) CallerArgumentExpression 특성 추가파일 다운로드1
12834정성태9/7/2021269오류 유형: 762. Visual Studio 2019 Build Tools - 'C:\Program' is not recognized as an internal or external command, operable program or batch file.
12833정성태9/6/2021388VC++: 150. Golang - TCP client/server echo 예제 코드파일 다운로드1
12832정성태9/6/2021273VC++: 149. Golang - 인터페이스 포인터가 의미 있을까요?
12831정성태9/6/2021261VC++: 148. Golang - 채널에 따른 다중 작업 처리파일 다운로드1
12830정성태9/6/2021265오류 유형: 761. Internet Explorer에서 파일 다운로드 시 "Your current security settings do not allow this file to be downloaded." 오류
12829정성태9/5/2021361.NET Framework: 1115. C# 10 - (15) 구조체 타입에 기본 생성자 정의 가능파일 다운로드1
12828정성태9/4/2021317.NET Framework: 1114. C# 10 - (14) 단일 파일 내에 적용되는 namespace 선언파일 다운로드1
12827정성태9/4/2021259스크립트: 27. 파이썬 - 웹 페이지 데이터 수집을 위한 scrapy Crawler 사용법 요약
12826정성태9/3/2021361.NET Framework: 1113. C# 10 - (13) 문자열 보간 성능 개선파일 다운로드1
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...