LLVM 22 컴파일러 제품군 출시

6개월간의 개발 끝에 LLVM 22.1.0이 출시되었습니다. LLVM은 프로그램을 RISC와 유사한 가상 명령어(다단계 최적화 시스템을 갖춘 저수준 가상 머신)의 중간 비트코드로 컴파일하는 도구(컴파일러, 최적화 도구, 코드 생성기)를 개발합니다. 생성된 의사 코드는 특정 대상 플랫폼용 기계어로 변환하거나, JIT(Just-In-Time) 컴파일러에서 프로그램 실행 중에 직접 기계어 명령어를 생성하는 데 사용할 수 있습니다. LLVM 기술을 기반으로, 이 프로젝트는 C, C++, Objective-C 프로그래밍 언어를 지원하는 Clang 컴파일러를 개발하고 있습니다. 18.x 브랜치부터는 새로운 버전 번호 체계를 도입하여 개발 중에는 릴리스 0("N.0")을 사용하고, 첫 번째 안정 버전은 "N.1"로 번호가 매겨집니다.

Clang 22의 개선 사항은 다음과 같습니다.

• `malloc`과 같은 함수를 사용하여 수행되는 메모리 할당 작업에 고유 식별자를 표시하는 메모리 할당 토큰(Allocation Tokens) 지원이 추가되었습니다. 할당 토큰을 사용하면 힙 정보를 구조화하고 메모리 누수 감지를 간소화하며 목적이나 수정 패턴에 따라 객체를 그룹화할 수 있습니다(예: 자주 사용되는 데이터와 사용되지 않는 데이터를 구분). 이 기능을 활성화하려면 `-fsanitize=alloc-token` 플래그를 사용하십시오.
• C 언어 관련 기능:
  • "defer" 지연 실행 메커니즘을 정의하는 초안 사양이 구현되었으며, 이를 통해 현재 스코프가 종료될 때 액션을 실행할 수 있습니다. "defer" 지원을 활성화하기 위해 "-fdefer-ts" 플래그가 추가되었습니다.
  • GCC의 유사 함수와 마찬가지로 내장 함수 `__builtin_stack_address()`가 추가되었습니다. 이 함수는 현재 함수와 그 이후에 호출되는 함수들의 스택 영역을 구분하는 스택 주소를 반환합니다.
• 미래 C2y 표준을 위해 개발 중인 기능:
  • 명명된 루프 지원이 추가되었습니다. 이를 통해 루프와 switch 문에 이름을 지정할 수 있으며, break 및 continue 문에서 지정한 이름을 사용하여 종료할 루프를 명시적으로 정의할 수 있습니다. 외부 루프: for (int i = 0; i < IK; ++ i) { for (int j = 0; j < JK; ++ j) { continue; // CONT1으로 이동 continue outer; // CONT2로 이동 // CONT1 } // CONT2 }
  • 고유 식별자 이름을 생성하도록 설계된 내장 매크로 "__COUNTER__"의 구현이 확장되어 표준에 포함되었습니다. 이 매크로 호출 횟수는 2147483647회로 제한되어 있으며, 이 제한을 초과하면 오류가 발생합니다.
  • `extern inline`으로 선언된 함수 내에서 정적 함수 또는 변수를 사용할 때 발생하던 경고(-Wstatic-in-inline)를 제거했습니다.
• C23 C 표준에 정의된 기능:
  • float.h 헤더 파일은 이제 float, double 및 long double 유형에 대해 신호를 보내는(산술 연산에 사용될 때 예외를 발생시키는) NaN 값을 구현하는 FLT_SNAN, DBL_SNAN 및 LDBL_SNAN 매크로를 지원합니다.
  • 필드가 동일한 경우, 같은 번역 단위 내에서 서로 다른 이름 없는 유형이 호환되는 것으로 처리되던 버그를 수정했습니다.
  • 종속성 검사 중에 누락된 헤더 파일을 무시하는 데 사용되었던 "-MG" 플래그가 "#embed" 지시문으로 확장되어 이제 "#embed" 지시문에 지정된 파일이 누락된 경우 "파일을 찾을 수 없음" 오류가 발생하지 않도록 합니다.
• C++ 관련 기능:
  • C++2c(C++26) 사양에서 개발된 "constexpr" 컨텍스트에서 구조적 바인딩을 사용할 수 있는 기능이 추가되었습니다. 즉, 상수 표현식에 대한 참조 자체가 이제 상수 표현식이 될 수 있습니다. 배열과 간단한 구조체에 대한 지원이 구현되었습니다(튜플은 아직 지원되지 않습니다). constexpr int arr[] = {1, 2}; constexpr auto [x, y] = arr;
  • C++20 표준에서 요구하는 대로, 이제 제약 조건은 검사 전에 표준 형식으로 변환됩니다. 이를 통해 보다 정확한 진단 메시지를 제공하고 개념 ID에만 사용되는 템플릿 인수의 치환 오류를 적절하게 처리할 수 있습니다.
  • 비교 연산자 "<", ">", "<=", ">="가 "<=>" 연산자로부터 합성되었는지 여부를 확인하는 내장 함수 "__builtin_[lt|gt|le|ge]_synthesizes_from_spaceship"을 추가했습니다.
  • "-Wincompatible-pointer-types" 매개변수가 경고 대신 오류를 출력하도록 변경되었습니다. 이전 동작으로 되돌리려면 "-Wno-error=incompatible-pointer-types" 옵션을 사용하십시오.
• __builtin_bswapg, __builtin_elementwise_ldexp, __builtin_elementwise_fshl, __builtin_elementwise_fshr, __builtin_elementwise_minnumnum, __builtin_elementwise_maxnumnum, __builtin_masked_load, __builtin_masked_expand_load, __builtin_masked_store, __builtin_masked_compress_store, __builtin_masked_gather, __builtin_masked_scatter, __builtin_dedup_pack 등의 내장 함수가 추가되었습니다. 예를 들어, builtin_dedup_pack 함수를 사용하면 다음과 같이 타입 목록에서 중복을 제거할 수 있습니다. myTypeList = TypeList<__builtin_dedup_pack> …>; // 결과 타입은 TypeList가 됩니다.
• UBSan(-fsanitize=undefined -fsanitize-trap=undefined)을 사용하여 정의되지 않은 동작을 디버깅할 때, 이제 생성된 디버그 정보에 오류 원인 정보가 포함됩니다. 오류 정보의 상세 수준을 지정하는 "-fsanitize-debug-trap-reasons" 플래그가 추가되었습니다. 이 플래그는 일반적인 설명(예: "정수 덧셈 오버플로")을 표시하려면 "basic"으로 설정하고, 자세한 정보(예: "'a + b'에서 부호 있는 정수 덧셈 오버플로")를 포함하려면 "detailed"로 설정할 수 있습니다.
• 새로운 컴파일러 플래그가 추가되었습니다.
  • "-f[no-]sanitize-debug-trap-reasons" 옵션은 "-fsanitize-trap" 모드로 컴파일할 때 예외 트랩 이유가 디버그 정보에 포함될지 여부를 제어합니다.
  • 메모리 할당 토큰을 관리하기 위해 "-fsanitize=alloc-token", "-falloc-token-max", "-fsanitize-alloc-token-fast-abi" 및 "-fsanitize-alloc-token-extended" 옵션을 사용할 수 있습니다.
  • "-fmatrix-memory-layout" 옵션은 행렬 유형의 메모리 레이아웃을 제어합니다(예: 열 우선 행렬의 경우 column-major, 행 우선 행렬의 경우 row-major).
• 이제 함수에는 malloc 속성과 유사하지만 포인터와 크기 필드 또는 블록 끝을 가리키는 포인터를 포함하는 스팬형 구조체를 반환하는 함수에 적용되는 "malloc_span" 속성이 있습니다.
• 링크 시점에 필요한 printf 함수의 정적 링크 구현을 동적으로 선택할 수 있도록 "modular_format" 속성을 추가했습니다.
• 진단 및 정적 분석 도구가 확장되었고, 새로운 검사 기능이 추가되었습니다(진단 관련 개선 사항 수십 건).
• X86 백엔드에 SSE, AVX 및 AVX512 확장 기능을 위한 추가 내장 함수가 추가되었습니다. Wildcat Lake(-march=wildcatlake) 및 Nova Lake(-march=novalake) 마이크로아키텍처 기반의 Intel CPU용 빌드 모드가 추가되었습니다.
• AArch64 백엔드는 이제 Ampere Computing Ampere1C(ampere1c), Arm C1-Nano(c1-nano), Arm C1-Pro(c1-pro), Arm C1-Premium(c1-premium) 및 Arm C1-Ultra(c1-ultra) 프로세서를 지원합니다. FCVTZ[US], FCVTN[US], FCVTM[US], FCVTP[US] 및 FCVTA[US] 명령어에 대한 추가 내장 함수가 추가되었습니다. 함수 다중 버전 관리(FMV) 지원이 안정화되었습니다. 이제 사용자는 서로 다른 함수 버전의 우선순위를 재정의할 수 있습니다.
• LoongArch32(LA32R, LA32S) 아키텍처 지원이 추가되었습니다.
• ARM, AMDGPU, RISC-V, LoongArch64, MIPS, WebAssembly 및 PowerPC 아키텍처를 위한 향상된 백엔드.

출처 : opennet.ru