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

비밀번호

댓글 작성자
 




[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
14023정성태10/12/2025797닷넷: 2369. C# / Whisper 모델 - 동영상의 음성을 인식해 자동으로 SRT 자막 파일을 생성 [1]파일 다운로드1
14022정성태10/10/20251554닷넷: 2368. C# / NAudio - (AI 학습을 위해) 무음 구간을 반영한 오디오 파일 분할파일 다운로드1
14021정성태10/6/20252339닷넷: 2367. C# - Youtube 동영상 다운로드 (YoutubeExplode 패키지) [1]파일 다운로드1
14020정성태10/2/20252041Linux: 125. eBPF - __attribute__((preserve_access_index)) 활용 사례
14019정성태10/1/20252167Linux: 124. eBPF - __sk_buff / sk_buff 구조체
14018정성태9/30/20251561닷넷: 2366. C# - UIAutomationClient를 이용해 시스템 트레이의 아이콘을 열거하는 방법파일 다운로드1
14017정성태9/29/20252085Linux: 123. eBPF (bpf2go) - BPF_PROG_TYPE_SOCKET_FILTER 예제 - SEC("socket")
14016정성태9/28/20252294Linux: 122. eBPF - __attribute__((preserve_access_index)) 사용법
14015정성태9/22/20251807닷넷: 2365. C# - FFMpegCore를 이용한 MP4 동영상으로부터 MP3 음원 추출 예제파일 다운로드1
14014정성태9/17/20251777닷넷: 2364. C# - stun.l.google.com을 사용해 공용 IP 주소와 포트를 알아내는 방법파일 다운로드1
14013정성태9/14/20252431닷넷: 2363. C# - Whisper.NET Library를 이용해 음성을 텍스트로 변환 및 번역하는 예제파일 다운로드1
14012정성태9/9/20252624닷넷: 2362. C# - Windows.Media.Ocr: 윈도우 운영체제에 포함된 OCR(Optical Character Recognition)파일 다운로드1
14011정성태9/7/20253243닷넷: 2361. C# - Linux 환경의 readlink 호출
14010정성태9/1/20253081오류 유형: 983. apt update 시 "The repository 'http://deb.debian.org/debian buster Release' does not have a Release file." 오류
14009정성태8/28/20253513닷넷: 2360. C# 14 - (11) Expression Tree에 선택적 인수와 명명된 인수 허용파일 다운로드1
14008정성태8/26/20254100닷넷: 2359. C# 14 - (10) 복합 대입 연산자의 오버로드 지원파일 다운로드1
14007정성태8/25/20254559닷넷: 2358. C# - 현재 빌드에 적용 중인 컴파일러 버전 확인 방법 (#error version)
14006정성태8/23/20254810Linux: 121. Linux - snap 패키지 관리자로 설치한 소프트웨어의 디렉터리 접근 제한
14005정성태8/21/20253816오류 유형: 982. sudo: unable to load /usr/libexec/sudo/sudoers.so: libssl.so.3: cannot open shared object file: No such file or directory
14004정성태8/21/20254436오류 유형: 981. dotnet 실행 시 No usable version of the libssl was found
14003정성태8/21/20254663닷넷: 2357. C# 14 - (9) 새로운 지시자 추가 (Ignored directives)
14002정성태8/20/20254805오류 유형: 980. C# - appsettings.json 파일의 설정값이 적용 안 된다면?
14001정성태8/19/20259608닷넷: 2356. .NET SDK 10 - 단일 소스 코드 파일을 빌드/실행하는 기능을 "dotnet" 명령어에 추가 [1]
14000정성태8/18/20255072오류 유형: 979. ERROR: failed to solve: failed to read dockerfile: open Dockerfile: no such file or directory
13999정성태8/15/20254672닷넷: 2355. C# 14 - (8) null 조건부 연산자 개선 - 대입문에도 사용 가능파일 다운로드1
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...