LLVM 15.0 컴파일러 제품군 출시

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

Clang 15.0의 주요 개선 사항:

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

  C++의 경우 모듈 병합, 함수 멤버의 ABI 격리, 모듈 내 비지역 변수의 순서화된 동적 초기화, 다차원 인덱스 연산자, auto(x), 비리터럴 변수, goto 및 constexpr로 선언된 함수의 레이블 등이 구현됩니다. , 구분된 이스케이프 시퀀스, 명명된 이스케이프 문자입니다.

• 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