[furiosa-opt v0.5.1] 공식 i4_contract가 LIR→EDF 단계에서 실패합니다 (RawInt5 / COM-63)

한국어 (Korean) 일반
1

안녕하세요!

v0.5.1의 공식 contract_element_types::i4_contract가 LIR → EDF 단계에서
내부 컴파일러 오류로 종료되며 BIN/EDF를 생성하지 않습니다. 해당 예제의
소스 주석은 이 경로를 COM-63으로 참조합니다.

소스:
https://github.com/furiosa-ai/furiosa-opt/blob/v0.5.1/furiosa-opt-examples/src/contract_element_types.rs

환경

  • Ubuntu 24.04 x86-64
  • furiosa-opt v0.5.1 (3f99736deef4a1faedf0c2ac6813c82a2b1c8d31)
  • Rust nightly-2026-05-01
  • AArch64 GCC 13.3.0

재현

cargo-furiosa-opt compile \
  contract_element_types::i4_contract \
  -p furiosa-opt-examples \
  --message-format human

Compiling [1/1] contract_element_types::i4_contract
error: furiosa-opt: contract_element_types::i4_contract: lir:
internal compiler error: internal error: entered unreachable code
note: this is a bug; please report it
  • compiler exit: non-zero
  • non-empty BIN: 0/1
  • non-empty EDF: 0/1

요청

  1. COM-63의 현재 상태와 수정본이 포함될 release 또는 compiler build를
    알려주십시오.
  2. 수정 전 사용할 수 있는 v0.5.1 workaround가 있다면 알려주십시오.

정말 감사합니다!

2

안녕하세요,
제보주신 사항을 확인하여 내부적으로 구현을 완료한 상태입니다.
다음 릴리즈에서 해결될 예정입니다.