LLVM 15.0 컴파일러 제품군 출시

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

Clang 15.0의 주요 개선 사항:

• x86 기반 시스템의 경우, "-fzero-call-used-regs" 플래그가 추가되었습니다. 이 플래그는 함수에서 사용되는 모든 CPU 레지스터를 함수에서 제어권을 반환하기 전에 20으로 초기화합니다. 이 옵션은 함수의 정보 유출을 방지하고 악용 사례에서 ROP(Return-Oriented Programming) 가젯을 구성하는 데 적합한 블록 수를 약 XNUMX% 줄이는 데 도움이 됩니다.
• C 코드에서 구조체 레이아웃의 무작위성을 구현하여 악용될 경우 구조체에서 데이터 추출을 더욱 어렵게 만들었습니다. 무작위성은 randomize_layout 및 no_randomize_layout 속성을 사용하여 활성화 및 비활성화할 수 있으며, "-frandomize-layout-seed" 또는 "-frandomize-layout-seed-file" 플래그를 사용하여 시드를 설정해야 합니다.
• 플래그 "-fstrict-flex-arrays= 추가됨 "는 구조체(Flexible Array Members, 구조체 끝에 있는 크기가 정의되지 않은 배열)에서 유연한 배열 요소의 경계를 제어하는 ​​데 사용할 수 있습니다. 0(기본값)으로 설정하면 배열이 있는 구조체의 마지막 요소는 항상 유연한 배열로 처리되고, 1 - 크기 [], [0] 및 [1]만 유연한 배열로 처리되고, 2 - 크기 [] 및 [0]만 유연한 배열로 처리됩니다.
• DirectX에서 셰이더를 작성하는 데 사용되는 C 유사 언어인 HLSL(High-Level Shader Language)에 대한 실험적 지원이 추가되었습니다.
• 고정 길이 및 가변 길이 배열과 관련된 인수의 호환되지 않는 선언으로 함수를 다시 정의하는 것에 대해 경고하는 "-Warray-parameter" 옵션이 추가되었습니다.
• MSVC와의 호환성이 향상되었습니다. MSVC에서 제공되는 "#pragma function"(컴파일러가 인라인 확장 대신 함수 호출을 생성하도록 지시) 및 "#pragma alloc_text"(함수 코드가 포함된 섹션 이름을 정의)에 대한 지원이 추가되었습니다. MSVC 호환 플래그인 /JMC 및 /JMC에 대한 지원이 추가되었습니다.
• 향후 C2X 및 C++23 표준 지원을 위한 작업이 계속되었습니다. C 언어의 경우, noreturn 속성, false 및 true 키워드, 특정 비트 심도의 정수를 위한 _BitInt(N) 타입, *_WIDTH 매크로, UTF-8 인코딩 문자를 위한 u8 접두사가 구현되었습니다.

  C++의 경우 다음이 구현되어 있습니다: 모듈 병합, 함수 멤버의 ABI 격리, 모듈에서 비지역 변수의 순서 있는 동적 초기화, 다차원 인덱스 연산자, auto(x), 비문자적 변수, constexpr로 선언된 함수의 goto 및 레이블, 구분 기호가 있는 이스케이프 시퀀스, 명명된 이스케이프 문자.
• OpenCL 및 OpenMP 지원 관련 기능이 확장되었습니다. OpenCL 확장 기능인 cl_khr_subgroup_rotate에 대한 지원이 추가되었습니다.
• x86 아키텍처의 경우, 무조건 직접 점프 연산 후 명령어의 추측 실행으로 인해 발생하는 프로세서 취약점에 대한 보호 기능이 추가되었습니다. 이 문제는 점프 명령어 바로 뒤에 오는 메모리 명령어의 예측 처리(SLS, Straight Line Speculation)로 인해 발생합니다. 이 문제를 해결하기 위해 "-mharden-sls=[none|all|return|indirect-jmp]" 옵션이 제안되었습니다.
• SSE2 확장을 지원하는 플랫폼의 경우 _Float16 유형이 추가되었습니다. 이 유형은 AVX512-FP16 명령어에 대한 지원이 없는 경우 float 유형을 사용하여 에뮬레이션됩니다.
• AMD Zen2 프로세서부터 지원되는 RDPRU 명령어 사용을 제어하기 위해 "-m[no-]rdpru" 플래그가 추가되었습니다.
• 간접 점프에 대한 추측 실행 메커니즘의 개입을 제거하는 명령어 시퀀스를 추가하여 RETBLEED 취약점으로부터 보호하기 위해 "-mfunction-return=thunk-extern" 플래그를 추가했습니다.

LLVM 15.0의 주요 혁신 사항:

• Cortex-M85 CPU, Armv9-A, Armv9.1-A 및 Armv9.2-A 아키텍처, Armv8.1-M PACBTI-M 확장에 대한 지원이 추가되었습니다.
• DirectX 셰이더에 사용되는 DXIL(DirectX Intermediate Language) 형식을 지원하는 DirectX용 실험용 백엔드를 추가했습니다. 어셈블리 과정에서 "-DLLVM_EXPERIMENTAL_TARGETS_TO_BUILD=DirectX" 매개변수를 지정하면 백엔드가 활성화됩니다.
• Libc++는 "포맷" 라이브러리 구현을 완료하고 "범위" 라이브러리의 실험적 버전을 제공하는 등 C++20 및 C++2b 표준의 새로운 기능을 계속 구현하고 있습니다.
• x86, PowerPC 및 RISC-V 아키텍처에 대한 백엔드가 개선되었습니다.
• LLD 링커와 LLDB 디버거의 기능이 확장되었습니다.

출처 : opennet.ru