LLVM 13.0 컴파일러 제품군 출시

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

Clang 13.0의 개선 사항:

• 보장된 꼬리 호출(함수 맨 끝에서 서브루틴을 호출하고, 서브루틴이 자기 자신을 호출하는 경우 꼬리 재귀를 생성하는 기능)이 지원됩니다. 보장된 꼬리 호출은 C++의 "[[clang::musttail]]" 속성과 C의 "__attribute__((musttail))" 속성을 "return" 표현식에 사용하여 지원됩니다. 이 기능은 코드를 플랫 반복으로 전개하여 스택 공간을 절약하는 최적화를 가능하게 합니다.
• 이제 C++11 스타일의 속성 정의가 "[[]]" 형식을 사용하여 clang "using" 선언 및 확장에서 지원됩니다.
• 사용자 코드에서 예약된 식별자를 지정할 때 경고를 출력하기 위해 "-Wreserved-identifier" 플래그를 추가했습니다.
• 매개변수나 변수가 설정되었지만 사용되지 않는 경우 경고를 출력하기 위해 "-Wunused-but-set-parameter" 및 "-Wunused-but-set-variable" 플래그를 추가했습니다.
• 뺄셈 연산에서 널 포인터를 사용하여 코드가 정의되지 않은 동작을 초래할 수 있는 경우 경고를 출력하기 위해 "-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 파일 형식 지정 지원이 추가되었습니다.
• clang-tidy linter에 새로운 검사 항목이 대량으로 추가되었습니다.

LLVM 13.0의 주요 혁신 사항:

• Добавлена опция «-ehcontguard» для использования технологии CET (Windows Control-flow Enforcement Technology) для защиты на этапе обработки исключений от выполнения эксплоитов, построенных с использованием приёмов возвратно-ориентированного программирования (ROP, Return-Oriented Programming).
• debuginfo-test 프로젝트의 이름이 cross-project-tests로 변경되었으며, 디버그 정보에 국한되지 않고 다양한 프로젝트의 구성 요소를 테스트하도록 설계되었습니다.
• 빌드 시스템은 여러 배포판을 빌드할 수 있는 지원을 제공합니다. 예를 들어, 개발자를 위한 유틸리티가 있는 배포판과 라이브러리가 있는 배포판을 빌드할 수 있습니다.
• AArch64 아키텍처의 백엔드는 어셈블러에서 Armv9-A RME(Realm Management Extension) 및 SME(Scalable Matrix Extension) 확장을 지원하도록 구현됩니다.
• Hexagon 아키텍처 백엔드에 ISA V68/HVX에 대한 지원이 추가되었습니다.
• x86 백엔드는 AMD Zen 3 프로세서에 대한 지원이 향상되었습니다.
• AMDGPU 백엔드에 GFX1013 RDNA2 APU에 대한 지원이 추가되었습니다.
• В Libc++ продолжена реализация новых возможностей стандартов C++20 и C++2b, в том числе завершена реализация библиотеки «concepts». Для платформы Windows на базе MinGW добавлена поддержка std::filesystem. Разделены заголовочные файлы <algorithm>, <iterator> и <utility>. Добавлена сборочная опция LIBCXX_ENABLE_INCOMPLETE_FEATURES для отключения заголовочных файлов с не полностью реализованной функциональностью.
• LLD 링커가 빅엔디안 Aarch64 프로세서를 지원하도록 확장되었으며, Mach-O 백엔드가 개선되어 일반 프로그램 링크가 가능해졌습니다. LLD를 사용하여 Glibc를 링크하는 데 필요한 개선 사항도 포함되었습니다.
• llvm-mca(머신 코드 분석기) 유틸리티가 ARM Cortex-A55와 같은 순서형 슈퍼스칼라 파이프라인 프로세서를 지원하도록 업데이트되었습니다.
• AArch64 플랫폼용 LLDB 디버거는 이제 포인터 인증, MTE(MemTag, 메모리 태깅 확장) 메커니즘 및 SVE 레지스터를 완벽하게 지원합니다. 각 메모리 할당 작업에 태그를 바인딩하고, 유효한 태그에 바인딩되어야 하는 메모리에 액세스할 때 포인터를 확인하는 명령이 추가되었습니다.
• LLDB 디버거와 Fortran 프런트엔드 Flang이 프로젝트에서 생성된 바이너리 어셈블리에 추가되었습니다.

출처 : opennet.ru