LLVM 13.0 컴파일러 제품군 출시

13.0개월간의 개발 끝에 LLVM XNUMX 프로젝트의 출시가 발표되었습니다. 이는 프로그램을 RISC와 같은 가상 명령어의 중간 비트코드(낮은 수준의 가상 머신)로 컴파일하는 GCC 호환 툴킷(컴파일러, 옵티마이저 및 코드 생성기)입니다. 다단계 최적화 시스템). 생성된 의사코드는 JIT 컴파일러를 사용하여 프로그램 실행 시 직접 기계어 명령어로 변환될 수 있습니다.

Clang 13.0의 개선 사항:

• 보장된 테일 호출에 대한 지원이 구현되었습니다(함수의 맨 끝에서 서브루틴 호출, 서브루틴이 자체 호출하는 경우 테일 재귀 형성). 보장된 마무리 호출에 대한 지원은 "return" 문에 사용되는 C++의 "[[clang::musttail]]" 특성과 C의 "__attribute__((musttail))"에 의해 제공됩니다. 이 기능을 사용하면 코드를 플랫 반복으로 배포하여 최적화를 구현하여 스택 소비를 줄일 수 있습니다.
• "using" 선언과 clang 확장은 "[[]]" 형식을 사용하여 C++11 스타일 특성을 정의하기 위한 지원을 제공합니다.
• 사용자 코드에 예약된 식별자를 지정할 때 경고를 표시하기 위해 "-Wreserved-identifier" 플래그를 추가했습니다.
• 매개변수 또는 변수가 설정되었지만 사용되지 않은 경우 경고를 표시하기 위해 "-Wunused-but-set-parameter" 및 "-Wunused-but-set-variable" 플래그를 추가했습니다.
• 빼기 작업에서 null 포인터를 사용하여 코드에서 정의되지 않은 동작이 발생할 수 있는 경우 경고를 발행하는 "-Wnull-pointer-subtraction" 플래그를 추가했습니다.
• 각 코드 파일에 대해 처리 중인 파일에 정의된 각 함수에 대한 스택 프레임 크기에 대한 정보가 포함된 추가 ".su" 파일을 생성하기 위해 "-fstack-usage" 플래그를 추가했습니다.
• 정적 분석기에 새로운 출력 유형인 "sarif-html"이 추가되었습니다. 이를 통해 HTML 및 Sarif 형식으로 동시에 보고서를 생성할 수 있습니다. 새로운 allocClassWithName 확인이 추가되었습니다. -analyzer-display-progress 옵션을 지정하면 각 함수의 분석 시간이 표시된다. 스마트 포인터 분석기(alpha.cplusplus.SmartPtr)가 거의 준비되었습니다.
• OpenCL 지원과 관련된 기능이 확장되었습니다. 새로운 확장 cl_khr_integer_dot_product, cl_khr_extended_bit_ops, __cl_clang_bitfields 및 __cl_clang_non_portable_kernel_param_types에 대한 지원이 추가되었습니다. OpenCL 3.0 사양의 구현이 계속되었습니다. C의 경우 다른 버전을 명시적으로 선택하지 않는 한 기본적으로 OpenCL 1.2 사양이 사용됩니다. C++의 경우 확장자가 ".clcpp"인 파일에 대한 지원이 추가되었습니다.
• OpenMP 5.1 사양에 정의된 루프 변환 지시문("#pragma omp unrol" 및 "#pragma omp Tile")에 대한 지원이 구현되었습니다.
• clang-format 유틸리티에 옵션이 추가되었습니다. SpacesInLineCommentPrefix는 주석 앞의 공백 수를 정의하고 IndentAccessModifiers, LambdaBodyIndentation 및 PPIndentWidth는 항목 정렬, 람다 식 및 전처리기 지시문을 제어합니다. 헤더 파일 열거(SortIncludes) 정렬 가능성이 확장되었습니다. JSON 파일 형식 지정에 대한 지원이 추가되었습니다.
• linter clang-tidy에 새로운 검사의 상당 부분이 추가되었습니다.

LLVM 13.0의 주요 혁신 사항:

• 예외 처리 단계에서 ROP(반환 지향 프로그래밍) 기술을 사용하여 구축된 공격 실행으로부터 보호하기 위해 CET(Windows 제어 흐름 적용 기술) 기술을 사용하는 "-ehcontguard" 옵션이 추가되었습니다.
• debuginfo-test 프로젝트는 cross-project-tests로 이름이 바뀌었으며 디버깅 정보에 국한되지 않고 다양한 프로젝트의 구성 요소를 테스트하도록 설계되었습니다.
• 어셈블리 시스템은 여러 배포판을 구축하기 위한 지원을 제공합니다. 예를 들어 하나는 유틸리티가 있고 다른 하나는 개발자용 라이브러리가 있습니다.
• AArch64 아키텍처의 백엔드에서는 Armv9-A RME(Realm Management Extension) 및 SME(Scalable Matrix Extension) 확장에 대한 지원이 어셈블러에서 구현됩니다.
• ISA V68/HVX에 대한 지원이 Hexagon 아키텍처의 백엔드에 추가되었습니다.
• x86 백엔드는 AMD Zen 3 프로세서에 대한 지원이 향상되었습니다.
• AMDGPU 백엔드에 GFX1013 RDNA2 APU에 대한 지원이 추가되었습니다.
• Libc++는 "concepts" 라이브러리 완성을 포함하여 C++20 및 C++2b 표준의 새로운 기능을 계속 구현합니다. MinGW 기반 Windows 플랫폼에 대한 std::filesystem에 대한 지원이 추가되었습니다. 헤더 파일 , 및 는 분리되어 있습니다. 완전히 구현되지 않은 기능이 있는 헤더 파일을 비활성화하기 위해 빌드 옵션 LIBCXX_ENABLE_INCOMPLETE_FEATURES를 추가했습니다.
• Big-endian Aarch64 프로세서에 대한 지원이 구현되는 LLD 링커의 기능이 확장되었으며 Mach-O 백엔드는 일반 프로그램을 링크할 수 있는 상태로 전환되었습니다. LLD를 사용하여 Glibc를 연결하는 데 필요한 개선 사항이 포함되었습니다.
• llvm-mca(기계 코드 분석기) 유틸리티에는 ARM Cortex-A55와 같이 명령을 순서대로(순차적 수퍼스칼라 파이프라인) 실행하는 프로세서에 대한 지원이 추가되었습니다.
• AArch64 플랫폼용 LLDB 디버거는 포인터 인증, MTE(MemTag, Memory Tagged Extension) 및 SVE 레지스터를 완벽하게 지원합니다. 각 메모리 할당 작업에 태그를 바인딩하고 메모리에 액세스할 때 올바른 태그와 연결되어야 하는 포인터 검사를 구성할 수 있는 명령이 추가되었습니다.
• LLDB 디버거와 Fortran 언어용 프런트엔드(Flang)가 프로젝트에서 생성된 바이너리 어셈블리에 추가되었습니다.

출처 : opennet.ru