GCC 12 컴파일러 제품군 출시

12.1년간의 개발 끝에 새로운 GCC 12.x 브랜치의 첫 번째 중요한 릴리스인 무료 컴파일러 제품군 GCC 12.0이 출시되었습니다. 새로운 릴리스 번호 지정 체계에 따라 버전 12.1이 개발 프로세스에 사용되었으며 GCC 13.0 릴리스 직전에 GCC 13.1 분기가 이미 분기되었으며 이를 기반으로 다음 주요 릴리스인 GCC 23이 형성된다. 35월 XNUMX일, 이 프로젝트는 GCC 초판이 형성된 지 XNUMX주년을 기념하게 됩니다.

주요 변경 사항 :

• C 유형, 함수 간 연결 및 디버깅 기호에 대한 정보의 컴팩트한 저장을 제공하는 CTF(Compact Type Format) 디버깅 형식에 대한 지원이 추가되었습니다. ELF 객체에 포함되면 형식을 통해 EFL 문자 테이블을 사용하여 데이터 중복을 피할 수 있습니다.
• 1980년대에 만들어진 "STABS" 디버깅 정보 저장 형식에 대한 지원은 더 이상 사용되지 않습니다.
• C 및 C++ 언어에 대한 향후 C2X 및 C++23 표준에 대한 지원을 계속 확장하는 작업이 진행되고 있습니다. 예를 들어, "if consteval" 표현식에 대한 지원이 추가되었습니다. 함수 인수에 auto를 사용할 수 있습니다("f(auto(g()))"). constexpr로 선언된 함수에서는 리터럴이 아닌 변수인 goto 및 labels의 사용이 허용됩니다. 다차원 인덱스 연산자에 대한 지원이 추가되었습니다. if, for 및 switch에서 초기화 블록의 기능이 확장되었습니다("for (using T = int; T e : v)").
• C++ 표준 라이브러리는 C++20 및 C++23 표준의 실험적 섹션에 대한 지원을 개선했습니다. std::move_only_function, , std::basic_string::resize_and_overwrite, , 및 std::invoke_r에 대한 지원이 추가되었습니다. constexpr 함수에서 std::unique_ptr, std::Vector, std::basic_string, std::ional 및 std::variant를 사용할 수 있습니다.
• Fortran 프런트엔드는 Fortran과 C 코드 간의 이식성을 보장하는 기능을 설명하는 TS 29113 사양을 완벽하게 지원합니다.
• 이전에 Clang에 추가된 __builtin_shuffleVector(vec1, vec2, index1, index2, ...) 확장에 대한 지원이 추가되었습니다. 이 확장은 일반적인 벡터 셔플 및 셔플 작업을 수행하기 위한 단일 호출을 제공합니다.
• "-O2" 최적화 수준을 사용하면 벡터화가 기본적으로 활성화됩니다(-ftree-Vectorize 및 -fvect-cost-model=very-cheap 모드가 활성화됨). 매우 저렴한 모델에서는 벡터 코드가 벡터화되는 스칼라 코드를 완전히 대체할 수 있는 경우에만 벡터화를 허용합니다.
• 초기화되지 않은 변수 사용과 관련된 문제를 추적하고 취약점을 차단하기 위해 스택에서 변수를 명시적으로 초기화할 수 있도록 "-ftrivial-auto-var-init" 모드를 추가했습니다.
• C 및 C++ 언어의 경우 Clang의 유사한 함수와 호환되는 내장 함수 __builtin_dynamic_object_size가 추가되어 객체의 크기를 결정합니다.
• C 및 C++ 언어의 경우 "unavailable" 속성에 대한 지원이 추가되었습니다(예를 들어, 사용하려고 하면 오류가 발생하는 함수를 표시할 수 있습니다).
• C 및 C++ 언어의 경우 전처리 지시문 "#elifdef" 및 "#elifndef"에 대한 지원이 추가되었습니다.
• UTF-8 문자가 잘못 사용된 경우 경고를 표시하는 "-Wbidi-chars" 플래그를 추가하여 양방향 텍스트가 표시되는 순서를 변경했습니다.
• 배열을 참조하는 두 피연산자를 비교하려고 할 때 경고를 표시하는 "-Warray-compare" 플래그를 추가했습니다.
• 공유 메모리 및 벡터화 장치(SIMD)가 있는 멀티 코어 및 하이브리드(CPU+GPU/DSP) 시스템에 병렬 프로그래밍 방법을 적용하기 위한 API와 방법을 정의하는 OpenMP 5.0 및 5.1(개방형 다중 처리) 표준 구현 , 계속되었습니다.
• GPU 및 NVIDIA PTX와 같은 특수 프로세서에서 작업을 오프로드하기 위한 도구를 정의하는 OpenACC 2.6 병렬 프로그래밍 사양의 구현이 개선되었습니다.
• 확장 지침 Intel AVX86-FP512 및 _Float16 유형에 대한 지원이 x16 아키텍처용 코드 생성 백엔드에 추가되었습니다.
• x86 아키텍처의 경우 무조건 앞으로 점프 작업 후 추측에 따른 명령어 실행으로 인해 발생하는 프로세서의 취약성에 대한 보호 기능이 추가되었습니다. 이러한 문제는 메모리에서 분기 명령 직후의 명령을 선점적으로 처리하기 때문에 발생합니다(SLS, Straight Line Speculation). 보호를 활성화하려면 "-mharden-sls" 옵션이 제안됩니다.
• 실험적 정적 분석기에 초기화되지 않은 변수 사용 감지 기능이 추가되었습니다. 인라인 삽입의 어셈블리 코드 분석을 위한 초기 지원이 추가되었습니다. 향상된 메모리 추적. 스위치 표현식을 처리하기 위한 코드가 다시 작성되었습니다.
• 코드 생성기를 다른 프로세스에 내장하고 이를 사용하여 바이트코드를 기계어 코드로 JIT 컴파일하는 데 사용하는 공유 라이브러리인 libgccjit에 대한 30개의 새로운 호출을 추가했습니다.
• CO-RE(Compile Once - Run Everywhere) 메커니즘에 대한 지원이 BPF 바이트코드 생성을 위해 백엔드에 추가되었습니다. 이를 통해 Linux 커널용 eBPF 프로그램 코드를 한 번만 컴파일하고 이를 적용하는 특수 범용 로더를 사용할 수 있습니다. 프로그램을 현재 커널 및 BPF 유형 형식으로 로드함). CO-RE는 데이터 구조의 요소 위치가 버전마다 변경되기 때문에 이전에는 컴파일된 커널 버전에서만 사용할 수 있었던 컴파일된 eBPF 프로그램의 이식성 문제를 해결합니다.
• RISC-V 백엔드는 새로운 명령어 세트 아키텍처 확장인 zba, zbb, zbc 및 zbs에 대한 지원과 벡터 및 스칼라 암호화 작업을 위한 ISA 확장에 대한 지원을 추가합니다. 기본적으로 RISC-V ISA 20191213 사양에 대한 지원이 제공됩니다. T-HEAD c906 코어에 대한 최적화를 활성화하기 위해 -mtune=thead-c906 플래그가 추가되었습니다.
• __int128_t/integer(kind=16) 유형에 대한 지원이 GCN 마이크로아키텍처를 기반으로 하는 AMD GPU용 코드 생성 백엔드에 추가되었습니다. 컴퓨팅 유닛(CU)당 최대 40개의 작업 그룹을 사용할 수 있으며, 그룹당 최대 16개의 명령어 프론트(파면, SIMD 엔진에 의해 병렬로 실행되는 스레드 집합)를 사용할 수 있습니다. 이전에는 CU당 하나의 명령 에지만 허용되었습니다.
• NVIDIA PTX(병렬 스레드 실행) 명령어 세트 아키텍처를 사용하여 코드를 생성하도록 설계된 NVPTX 백엔드에는 "-march", "-mptx" 및 "-march-map" 플래그를 사용하는 기능이 추가되었습니다. PTX ISA sm_53, sm_70, sm_75 및 sm_80에 대한 지원이 구현되었습니다. 기본 아키텍처는 sm_30입니다.
• PowerPC / PowerPC64 / RS6000 프로세서의 백엔드에서 내장 기능 구현이 다시 작성되었습니다. 내장 함수 __builtin_get_texasr, __builtin_get_texasru, __builtin_get_tfhar, __builtin_get_tfiar, __builtin_set_texasr, __builtin_set_texasru, __builtin_set_tfhar 및 __builtin_set_tfiar가 문서화되어 있습니다.
• Arm Ampere-64(-mcpu/-mtune ampere1), Arm Cortex-A1(cortex-a510), Arm Cortex-A510(cortex-a710) 및 Arm Cortex-X710(cortex-x2)를 지원합니다. "-march" 옵션과 함께 사용할 새로운 ARMv2 아키텍처 옵션(armv8-a, armv8.7-a, armv8.8-a)에 대한 지원이 추가되었습니다. 확장된 ARM 명령어(ls9) 사용을 기반으로 데이터를 원자적으로 로드하고 메모리에 저장하기 위해 컴파일러(Intrinsics)에 내장된 C 함수 구현이 추가되었습니다. mopsoption ARM 확장을 사용하여 memcpy, memmove 및 memset 기능을 가속화하기 위한 지원이 추가되었습니다.
• 현재 AArch64 아키텍처에서만 사용할 수 있고 "-ffixed-r18" 옵션을 사용하여 코드를 빌드할 때 작동하는 새로운 검사 모드 "-fsanitize=shadow-call-stack"(ShadowCallStack)을 추가했습니다. 이 모드는 스택에서 버퍼 오버플로가 발생할 경우 함수의 반환 주소를 덮어쓰지 않도록 보호합니다. 보호의 본질은 제어를 함수로 전송하고 함수를 종료하기 전에 이 주소를 검색한 후 별도의 "섀도우" 스택에 반환 주소를 저장하는 것입니다.

출처 : opennet.ru