Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)

ilasm.exe 컴파일 오류 - error : syntax error at token '-' in ... -inf

간단하게 다음의 예제 코드를,

Console.WriteLine(GetResult());

double GetResult()
{
    return double.NegativeInfinity;
}

빌드해 생성한 DLL을 ildasm.exe로 IL 코드로 변경합니다.

C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0> ildasm ConsoleApp1.dll /out=test.il

그리고 이렇게 생성한 IL 코드를 다시 컴파일하면,

C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0> ilasm test.il /out=test.dll

Microsoft (R) .NET Framework IL Assembler.  Version 4.8.9105.0
Copyright (c) Microsoft Corporation.  All rights reserved.
Assembling 'test.il'  to EXE --> 'test.dll'
Source file is ANSI

Assembled method Microsoft.CodeAnalysis.EmbeddedAttribute::.ctor
Assembled method System.Runtime.CompilerServices.RefSafetyRulesAttribute::.ctor
Assembled method Program::<Main>$
Assembled method Program::.ctor
test.il(131) : error : syntax error at token '-' in:     IL_0001:  ldc.r8     -inf

***** FAILURE *****

오류를 재현할 수 있습니다. 오류의 원인은, GetResult 메서드에서 사용한 double.NegativeInfinity 상수가 IL 코드로는 -inf로 번역되었기 때문인데요,

.method assembly hidebysig static float64 
        '<<Main>$>g__GetResult|0_0'() cil managed
{
    .custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) 
    // Code size       15 (0xf)
    .maxstack  1
    .locals init (float64 V_0)
    IL_0000:  nop
    IL_0001:  ldc.r8     -inf
    IL_000a:  stloc.0
    IL_000b:  br.s       IL_000d

    IL_000d:  ldloc.0
    IL_000e:  ret
} // end of method Program::'<<Main>$>g__GetResult|0_0'

어째서 ildasm.exe가 그렇게 번역한 것인지는 모르겠지만 어쨌든 ilasm.exe에는 그것이 아직 반영되지 않아 -inf 토큰을 해석할 수 없었던 것입니다. 이에 대해 검색해 보면,

error : syntax error at token '-' in: IL_002d: ldc.r8 -nan(ind) with "return Double.NaN
; https://github.com/3F/DllExport/issues/158

ILDasm.exe regression with infinum floating point values in .NET Framework 4.8 SDK
; https://developercommunity.visualstudio.com/t/ildasmexe-regression-with-infinum-floating-point-v/545431

답이 나오는데요, 각각 다음의 표현으로 수정하는 것으로 어셈블이 가능해집니다.

ldc.r4 inf
 ==> ldc.r4 (00 00 80 7F)

ldc.r4 -inf
 ==> ldc.r4 (00 00 80 FF)

ldc.r8 inf
 ==> ldc.r8 (00 00 00 00 00 00 F0 7F)

ldc.r8 -inf
 ==> ldc.r8 (00 00 00 00 00 00 F0 FF)

그러니까, 제가 사용한 코드의 경우 이렇게 바꿔주면 되는 것입니다.

.method assembly hidebysig static float64 
        '<<Main>$>g__GetResult|0_0'() cil managed
{
    .custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) 
    // Code size       15 (0xf)
    .maxstack  1
    .locals init (float64 V_0)
    IL_0000:  nop
    //     IL_0001:  ldc.r8     -inf
    IL_0001:  ldc.r8 (00 00 00 00 00 00 F0 FF)
    IL_000a:  stloc.0
    IL_000b:  br.s       IL_000d

    IL_000d:  ldloc.0
    IL_000e:  ret
} // end of method Program::'<<Main>$>g__GetResult|0_0'

이후 ilasm.exe로 컴파일하고, 그 결과를 dnSpy 등의 도구로 보면 double.NegativeInfinity로 나옵니다.

[CompilerGenerated]
internal static double <<Main>$>g__GetResult|0_0()
{
    return double.NegativeInfinity;
}

재미있는 건, (ildasm.exe와는 달리) 위의 코드를 dnSpy의 "IL" 보기로 전환하면 "IL_0001: ldc.r8 (00 00 00 00 00 00 F0 FF)" 코드가 나옵니다. (또한, 최신 버전의 ildasm을 사용해도 바이트 배열 코드가 나옵니다.)




한 예로, 근래의 "Oracle.ManagedDataAccess.dll"을 (pdb 디버깅을 위해) 역어셈블하면 -inf 예외가 발생하는데요, 이 문제를 위와 같은 방법으로 수정하거나 아니면 .NET Core/5+에 포함된 ildasm.exe를 써도 됩니다.




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 12/6/2023]

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

비밀번호

댓글 작성자
 




... [121]  122  123  124  125  126  127  128  129  130  131  132  133  134  135  ...
NoWriterDateCnt.TitleFile(s)
10933정성태4/5/201631811.NET Framework: 571. C# - 스레드 선호도(Thread Affinity) 지정하는 방법 [8]파일 다운로드1
10932정성태4/4/201624467VC++: 96. C/C++ 식 평가 - printf("%d %d %d\n", a, a++, a);
10931정성태3/31/201624853개발 환경 구성: 283. Hyper-V 내에 구성한 Active Directory 환경의 시간 구성 방법 [3]
10930정성태3/30/201622885.NET Framework: 570. .NET 4.5부터 추가된 CLR Profiler의 실행 시 Rejit 기능
10929정성태3/29/201633149.NET Framework: 569. ServicePointManager.DefaultConnectionLimit의 역할파일 다운로드1
10928정성태3/28/201638885.NET Framework: 568. ODP.NET의 완전한 닷넷 버전 Oracle ODP.NET, Managed Driver [2]파일 다운로드1
10927정성태3/25/201627355.NET Framework: 567. System.Net.ServicePointManager의 DefaultConnectionLimit 속성 설명
10926정성태3/24/201627646.NET Framework: 566. openssl의 PKCS#1 PEM 개인키 파일을 .NET RSACryptoServiceProvider에서 사용하는 방법 [10]파일 다운로드1
10925정성태3/24/201621277.NET Framework: 565. C# - Rabin-Miller 소수 생성 방법을 이용하여 RSACryptoServiceProvider의 개인키를 직접 채워보자 - 두 번째 이야기파일 다운로드1
10924정성태3/22/201622548오류 유형: 324. Visual Studio에서 Azure 클라우드 서비스 생성 시 Failed to initialize the PowerShell host 에러 발생
10923정성태3/21/201622872.NET Framework: 564. C# - DGML로 바이너리 트리 출력하는 방법 [1]파일 다운로드1
10922정성태3/21/201624026.NET Framework: 563. 디버깅 용도로 이진 트리의 내용을 출력하는 방법파일 다운로드1
10921정성태3/17/201627336.NET Framework: 562. BBI 인터프리터 C/C++ 코드를 C#으로 변환 [3]파일 다운로드2
10920정성태3/15/201627980.NET Framework: 561. null 처리된 객체가 왜 GC에 의해 수집되지 않을까요? [6]파일 다운로드1
10919정성태3/12/201624196.NET Framework: 560. C#에서 return할 때 명시적으로 casting한 것과 안한 것의 차이 [2]파일 다운로드1
10918정성태3/10/201621183.NET Framework: 559. WPF - ICommand.CanExecuteChanged가 해제되지 않는 문제 [2]파일 다운로드1
10917정성태3/10/201641172.NET Framework: 558. WPF - ICommand 동작 방식 [9]파일 다운로드1
10916정성태3/9/201628223.NET Framework: 557. 머신 바이트 배열로부터 역어셈블해주는 라이브러리 - Udis86 Assembler파일 다운로드2
10915정성태3/9/201623289오류 유형: 323. FatalExecutionEngineError was detected
10914정성태3/8/201626717오류 유형: 322. 정적 라이브러리 참조 시 "LNK2019 unresolved external symbol '...' referenced in function" 오류 발생파일 다운로드1
10913정성태3/7/201626521.NET Framework: 556. C#으로 다루는 MBR(Master Boot Record) [9]파일 다운로드1
10912정성태3/2/201622683.NET Framework: 555. List<T>의 Resize 메서드 구현 [2]파일 다운로드1
10911정성태2/29/201626620Math: 15. 그래프 그리기로 알아보는 뉴턴-랩슨(Newton-Raphson's method)법과 제곱근 구하기 - C#파일 다운로드1
10910정성태2/29/201628485Math: 14. HTML에서 수학 관련 기호/수식을 표현하기 위한 방법 - MathJax.js - 두 번째 이야기 [5]
10909정성태2/25/201626772기타: 56. ETW provider 목록 [3]
10908정성태2/25/201622904기타: 55. ETW man 파일 목록
... [121]  122  123  124  125  126  127  128  129  130  131  132  133  134  135  ...