GCC 13 컴파일러 제품군 출시

13.1년 간의 개발 끝에 새로운 GCC 13.x 분기의 첫 번째 중요한 릴리스인 무료 GCC 13.0 컴파일러 제품군의 릴리스가 릴리스되었습니다. 새로운 릴리스 번호 지정 체계에 따라 버전 13.1은 개발 중에 사용되었으며 GCC 14.0 릴리스 직전에 GCC 14.1 분기가 이미 분기되었으며 여기에서 GCC XNUMX의 다음 중요한 릴리스가 구성됩니다.

주요 변경 사항 :

• GCC는 Modula-2 프로그래밍 언어로 프로그램을 구축하기 위해 프런트엔드를 채택했습니다. PIM2, PIM3 및 PIM4 방언을 준수하는 빌드 코드와 해당 언어에 대해 승인된 ISO 표준을 지원합니다.
• gccrs 프로젝트(GCC Rust)에서 준비한 Rust 언어 컴파일러 구현이 포함된 프런트엔드가 GCC 소스 트리에 추가되었습니다. 현재 보기에서 forntend는 실험용으로 표시되며 기본적으로 비활성화되어 있습니다. 프런트엔드가 준비되면(다음 릴리스에서 예상됨) 표준 GCC 툴킷을 사용하여 LLVM 개발을 사용하여 구축된 rustc 컴파일러를 설치할 필요 없이 Rust 프로그램을 컴파일할 수 있습니다.
• LTO(Link-in-Step Optimization)는 GNU make 프로젝트에서 유지 관리하는 작업 서버(jobserver)에 대한 지원을 추가하여 여러 스레드에서 병렬 빌드 실행을 최적화합니다. GCC에서 작업 서버는 전체 프로그램(WPA, 전체 프로그램 분석)의 컨텍스트에서 LTO 최적화 중에 작업을 병렬화하는 데 사용됩니다. 명명된 파이프(--jobserver-style=fifo)는 기본적으로 작업 서버와 통신하는 데 사용됩니다.
• 정적 분석기(-fanalyzer)는 "-Wanalyzer-out-of-bounds", "-Wanalyzer-allocation-size", "-Wanalyzer-deref-before-check", "-Wanalyzer-infinite"를 포함하여 20개의 새로운 진단 검사를 제공합니다. -재귀" -Wanalyzer-jump-through-null", "-Wanalyzer-va-list-leak".
• JSON을 기반으로 SARIF 형식으로 진단을 출력하는 기능이 구현되었습니다. 새로운 형식은 정적 분석 결과(GCC -fanalyzer)를 얻고 경고 및 오류에 대한 정보를 얻는 데 사용할 수 있습니다. 활성화는 "-fdiagnostics-format=sarif-stderr|sarif-file|json-stderr|json|json-file" 옵션으로 수행됩니다. 여기서 "json" 옵션은 JSON 형식의 GCC 특정 변형으로 출력됩니다. .
• null 포인터를 정의하기 위한 nullptr 상수와 같은 C23 C 표준에 정의된 일부 기능을 구현하여 다양한 수의 인수(가변)가 있는 목록을 더 쉽게 사용할 수 있도록 하고, 열거형의 기능을 확장하고, noreturn 속성을 사용하도록 허용합니다. 개체를 정의할 때 constexpr 및 auto, typeof 및 typeof_unqual, 새로운 키워드 alignas, alignof, bool, false, static_assert, thread_local 및 true는 초기화 시 빈 괄호를 허용합니다.
• C++23 표준에 정의된 일부 기능(예: 복합 표현식의 끝에 표시를 배치하는 기능, char8_t 유형과의 호환성, (\u{}, \o{}으로 구분된 #warning 전처리기 지시문)을 구현했습니다. , \x{}) 및 명명된('\N{LATIN CAPITAL LETTER A}') 이스케이프 시퀀스, 정적 연산자(), 정적 연산자[], 표현식 내 동등 연산자, constexpr 사용에 대한 일부 제한 제외, 지원 소스 텍스트의 UTF-8용.
• libstdc++는 헤더 파일 지원 추가와 같은 C++20 및 C++23 표준에 대한 실험적 지원을 개선했습니다. 및 std::format, 확장 헤더 파일 기능 , 추가 부동 소수점 유형 추가, 헤더 파일 구현 그리고 .
• 파일 디스크립터가 정수 변수로 전달된다는 문서에 새 함수 속성 추가: "__attribute__((fd_arg(N)))", "__attribute__((fd_arg_read(N)))" 및 "__attribute__((fd_arg_write(N) )) ". 지정된 속성은 정적 분석기(-fanalyzer)에서 파일 설명자에 대한 잘못된 작업을 감지하는 데 사용할 수 있습니다.
• 새로운 속성 "__attribute__((assume(EXPR)))"가 추가되어 컴파일러에게 표현식이 참임을 알릴 수 있고 컴파일러는 표현식을 평가하지 않고 이 사실을 사용할 수 있습니다.
• 구조에서 유연한 배열 요소를 처리할 때 동작을 선택하기 위해 "-fstrict-flex-arrays=[level]" 플래그를 추가했습니다(예: "int b[] ").
• 열거 유형과 정수 유형 사이에 불일치가 있는 경우 경고를 발행하기 위해 "-Wenum-int-mismatch" 플래그를 추가했습니다.
• Fortran 프런트 엔드는 종료를 완벽하게 지원합니다.
• 일반 함수 및 유형(제네릭)에 대한 지원이 Go 언어의 프런트엔드에 추가되었으며 Go 1.18 언어용 패키지와의 호환성이 보장되었습니다.
• AArch64 백엔드는 CPU Ampere-1A(ampere1a), Arm Cortex-A715(cortex-a715), Arm Cortex-X1C(cortex-x1c), Arm Cortex-X3(cortex-x3) 및 Arm Neoverse V2(neoverse -v2)를 지원합니다. . "armv9.1-a", "armv9.2-a" 및 "armv9.3-a" 인수에 대한 지원이 "-march=" 옵션에 추가되었습니다. FEAT_LRCPC, FEAT_CSSC 및 FEAT_LSE2 프로세서 확장에 대한 지원이 추가되었습니다.
• STAR-MC1(star-mc1), Arm Cortex-X1C(cortex-x1c) 및 Arm Cortex-M85(cortex-m85) CPU에 대한 지원이 ARM 아키텍처 백엔드에 추가되었습니다.
• Intel Raptor Lake, Meteor Lake, Sierra Forest, Grand Ridge, Emerald Rapids, Granite Rapids 및 AMD Zen 86(znver4) 프로세서에 대한 지원이 x4 백엔드에 추가되었습니다. Intel 프로세서에서 제안된 AVX-IFMA, AVX-VNNI-INT8, AVX-NE-CONVERT, CMPccXADD, AMX-FP16, PREFETCHI, RAO-INT 및 AMX-COMPLEX 명령어 세트 아키텍처 확장이 구현되었습니다. SSE2가 있는 시스템의 C 및 C++의 경우 __bf16 유형이 제공됩니다.
• AMD Radeon GPU(GCN)용 코드 생성 백엔드는 AMD Instinct MI200 가속기를 사용하여 OpenMP/OpenACC 성능을 개선하는 기능을 구현합니다. SIMD 명령어를 사용하여 벡터화가 개선되었습니다.
• LoongArch 플랫폼의 백엔드 기능이 크게 확장되었습니다.
• RISC-V 백엔드에서 CPU T-Head의 XuanTie C906(thead-c906)에 대한 지원이 추가되었습니다. RISC-V Vector Extension Intrinsic 0.11 사양에 정의된 벡터 핸들러에 대한 지원을 구현했습니다. 30개의 RISC-V 사양 확장에 대한 지원이 추가되었습니다.
• "-shared" 옵션으로 공유 개체를 생성할 때 "-Ofast", "-ffast-math" 또는 "-funsafe-math-optimizations" 최적화가 활성화된 경우 부동 소수점 환경을 추가한 후 시작 코드가 더 이상 추가되지 않습니다. .
• DWARF 디버깅 형식에 대한 지원은 거의 모든 구성에서 구현됩니다.
• Zstandard 알고리즘을 사용하여 디버그 정보를 압축하는 "-gz=zstd" 옵션이 추가되었습니다. 더 이상 사용되지 않는 디버그 정보 압축 모드 "-gz=zlib-gnu"에 대한 지원이 제거되었습니다.
• OpenMP 5.2(Open Multi-Processing)에 대한 초기 지원이 추가되었고 OpenMP 5.0 및 5.1 표준의 구현이 계속되어 멀티 코어 및 하이브리드(CPU + GPU/DSP) 시스템에 병렬 프로그래밍 방법을 적용하기 위한 API 및 방법을 정의했습니다. SIMD(공유 메모리 및 벡터화 장치).
• 1980년대에 생성되어 dbx 디버거에서 사용된 레거시 디버그 정보 저장 형식 "STABS"(-gstabs 및 -gxcoff 옵션으로 활성화됨)에 대한 지원이 중단되었습니다.
• Solaris 11.3에 대한 지원이 중단되었습니다(이 플랫폼을 지원하는 코드는 향후 릴리스에서 제거될 예정임).

출처 : opennet.ru