LLVM 12.0 컴파일러 제품군 출시

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

Clang 12.0의 개선 사항:

• C++20 표준에서 제안된 "likely" 및 "unlikely" 속성에 대한 지원이 구현되어 기본적으로 활성화되어 조건부 구문이 트리거될 확률에 대해 최적화 프로그램에 알릴 수 있습니다(예: "[[likely ]] if (임의 > 0) {“).
• AMD Zen 3(-march=znver3), Intel Alder Lake(-march=alderlake) 및 Intel Sapphire Rapids(-march=sapphirerapids) 프로세서에 대한 지원이 추가되었습니다.
• x86-64 아키텍처 수준을 선택하기 위한 "-march=x234-86-v[64]" 플래그에 대한 지원이 추가되었습니다(v2 - SSE4.2, SSSE3, POPCNT 및 CMPXCHG16B 확장 포함, v3 - AVX2 및 MOVBE, v4 - AVX-512 ) .
• Arm Cortex-A78C(cortex-a78c), Arm Cortex-R82(cortex-r82), Arm Neoverse V1(neoverse-v1), Arm Neoverse N2(neoverse-n2) 및 Fujitsu A64FX(a64fx) 프로세서에 대한 지원이 추가되었습니다. 예를 들어 Neoverse-V1 CPU에 대한 최적화를 활성화하려면 "-mcpu=neoverse-v1"을 지정할 수 있습니다.
• AArch64 아키텍처의 경우 "__aarch64_cas8_relax"와 같은 원자성 작업 도우미 기능을 활성화하거나 비활성화하기 위해 새로운 컴파일러 플래그 "-moutline-atomics" 및 "-mno-outline-atomics"가 추가되었습니다. 이러한 기능은 LSE(Large System Extensions) 지원이 사용 가능한지 여부를 런타임에 감지하고 제공된 원자 프로세서 명령어를 사용하거나 동기화를 위해 LL/SC(Load-link/store-conditional) 명령어를 사용하도록 대체합니다.
• 이전 링커 및 어셈블러 동작과의 호환성을 위해 binutils 제품군의 대상 버전을 선택하는 "-fbinutils-version" 옵션이 추가되었습니다.
• ELF 실행 파일의 경우 "-gz" 플래그가 지정되면 기본적으로 zlib 라이브러리를 사용한 디버깅 정보 압축이 활성화됩니다(gz=zlib). 결과 개체 파일을 연결하려면 lld 또는 GNU binutils 2.26+가 필요합니다. 이전 버전의 binutils와의 호환성을 복원하려면 "-gz=zlib-gnu"를 지정할 수 있습니다.
• 이제 'this' 포인터는 null이 아닌 역참조(N) 검사로 처리됩니다. NULL 값을 사용해야 할 때 null이 아닌 속성을 제거하려면 "-fdelete-null-pointer-checks" 옵션을 사용할 수 있습니다.
• Linux 플랫폼에서는 GCC와 같이 해제 호출 테이블을 생성하기 위해 AArch64 및 PowerPC 아키텍처에 대해 "-fasynchronous-unwind-tables" 모드가 활성화됩니다.
• "#pragma clang loop vectorize_width"에는 벡터화 방법을 선택하기 위해 "고정"(기본값) 및 "확장 가능" 옵션을 지정하는 기능이 추가되었습니다. 벡터 길이와 무관한 "확장 가능" 모드는 실험적이며 확장 가능한 벡터화를 지원하는 하드웨어에서 사용할 수 있습니다.
• Windows 플랫폼에 대한 지원 개선: Clang 컴파일러, LLD 링커 및 컴파일러-rt 런타임 라이브러리를 포함하여 Arm64 시스템의 Windows용 공식 바이너리 어셈블리가 준비되었습니다. MinGW 대상 플랫폼용으로 빌드할 때 크로스 컴파일 시에도 .exe 접미사가 추가됩니다.
• OpenCL, OpenMP 및 CUDA 지원과 관련된 기능이 확장되었습니다. OpenCL 3.0 및 OpenCL 1.0에 대한 매크로 옵션을 선택하기 위해 "-cl-std=CL3.0" 및 "-cl-std=CL1.0" 옵션이 추가되었습니다. 진단 도구가 확장되었습니다.
• 일부 x86 기반 프로세서에 구현된 HRESET, UINTR 및 AVXVNNI 명령어에 대한 지원이 추가되었습니다.
• x86 시스템에서는 "-mtune=" 옵션 지원이 활성화됩니다. " -march= 값에 관계없이 선택한 마이크로아키텍처 최적화를 활성화합니다. "
• 정적 분석기는 일부 POSIX 함수의 처리를 개선했으며 비교에 여러 기호 값이 있을 때 조건부 연산 결과 결정을 크게 개선했습니다. 새로운 검사가 추가되었습니다: fuchia.HandleChecker(구조의 핸들 정의), webkit.UncountedLambdaCapturesChecker webkit 및 alpha.webkit.UncountedLocalVarsChecker(WebKit 엔진 코드에서 포인터 작업의 특성을 고려).
• 상수의 맥락에서 사용되는 표현식에서는 내장 함수 __builtin_bitreverse*, __builtin_rotateleft*, __builtin_rotateright*, _mm_popcnt*, _bit_scan_forward, __bsfd, __bsfq, __bit_scan_reverse, __bsrd, __bsrq, __bswap, __bswapd, __bswap64 등의 사용이 허용됩니다. .__bswapq , _castf*, __rol* 및 __ror*.
• 식별자, 열 및 필드 정의 주위의 간격을 선택하기 위해 clang-format 유틸리티에 BitFieldColonSpacing 옵션을 추가했습니다.
• Linux 플랫폼의 clangd 캐싱 서버(Clang Server)는 장기간 작업 중에 메모리 소비를 크게 줄였습니다(운영 체제에 여유 메모리 페이지를 반환하기 위해 malloc_trim에 대한 주기적인 호출이 제공됨).

LLVM 12.0의 주요 혁신 사항:

• Python으로 작성된 llvm-build 빌드 도구에 대한 지원이 중단되었으며, 대신 프로젝트가 CMake 빌드 시스템을 사용하도록 완전히 전환되었습니다.
• AArch64 아키텍처의 백엔드에서 Windows 플랫폼에 대한 지원이 개선되었습니다. 대상 Windows 시스템에 대한 어셈블러 출력의 올바른 생성이 보장되고 해제 호출에 대한 데이터 생성이 최적화되었습니다(이러한 데이터의 크기는 60으로 줄었습니다). %), 어셈블러를 사용하여 해제 데이터를 생성하는 기능이 .seh_* 지시문에 추가되었습니다.
• PowerPC 아키텍처의 백엔드는 루프 및 인라인 배포를 위한 새로운 최적화, Power10 프로세서에 대한 확장된 지원, 매트릭스 조작을 위한 MMA 명령에 대한 지원 추가, AIX 운영 체제에 대한 향상된 지원을 제공합니다.
• x86 백엔드는 AMD Zen 3, Intel Alder Lake 및 Intel Sapphire Rapids 프로세서는 물론 HRESET, UINTR 및 AVXVNNI 프로세서 지침에 대한 지원을 추가합니다. 메모리 경계가 더 이상 지원되지 않는지 확인하기 위해 포인터를 검사하는 MPX(Memory Protection Extensions) 지원(이 기술은 널리 보급되지 않았으며 이미 GCC 및 clang에서 제거되었습니다). 피연산자 오프셋 및 점프의 크기를 제어하기 위해 {disp32} 및 {disp8} 접두사 및 .d32 및 .d8 접미사에 대한 지원을 어셈블러에 추가했습니다. 마이크로아키텍처 최적화 포함을 제어하기 위해 새로운 속성 "tune-cpu"를 추가했습니다.
• 새로운 모드 "-fsanitize=unsigned-shift-base"가 정수 문제 감지기(integer sanitizer, "-fsanitize=integer")에 추가되어 왼쪽으로 비트 이동 후 부호 없는 정수의 오버플로를 감지합니다.
• 다양한 감지기(asan, cfi, lsan, msan, tsan, ubsan sanitizer)에 표준 Musl 라이브러리가 포함된 Linux 배포판 지원이 추가되었습니다.
• LLD 링커의 기능이 확장되었습니다. 추가된 옵션 "--dependent-file", "-error-handling-script", "-lto-pseudo-probe-for-profiling", "-no-lto-whole-program"을 포함하여 ELF 형식에 대한 지원이 향상되었습니다. -가시성” " MinGW 지원이 향상되었습니다. Mach-O 형식(macOS)의 경우 arm64, arm 및 i386 아키텍처, LTO(링크 시간 최적화) 및 예외 처리를 위한 스택 해제에 대한 지원이 구현되었습니다.
• Libc++는 C++20 표준의 새로운 기능을 구현하고 C++2b 사양의 기능 개발을 시작했습니다. 현지화 지원 비활성화(“-DLIBCXX_ENABLE_LOCALIZATION=OFF”) 및 의사 난수 생성 장치(“-DLIBCXX_ENABLE_RANDOM_DEVICE=OFF”)를 사용하여 빌드하기 위한 지원이 추가되었습니다.

출처 : opennet.ru