LLVM 11.0 컴파일러 제품군 출시

XNUMX개월간의 개발 끝에 제시된 프로젝트 릴리스 LLVM 11.0 — GCC 호환 도구(컴파일러, 최적화 프로그램 및 코드 생성기), 프로그램을 RISC 유사 가상 명령어의 중간 비트코드(다중 레벨 최적화 시스템을 갖춘 하위 레벨 가상 머신)로 컴파일합니다. 생성된 의사코드는 JIT 컴파일러를 사용하여 프로그램 실행 시 직접 기계어 명령어로 변환될 수 있습니다.

새 릴리스의 주요 변경 사항은 플랜지, Fortran 언어의 프런트엔드입니다. Flang은 Fortran 2018, OpenMP 4.5 및 OpenACC 3.0을 지원하지만 프로젝트 개발은 아직 완료되지 않았으며 프런트 엔드는 코드 구문 분석 및 정확성 확인으로 제한됩니다. LLVM 중간 코드 생성은 아직 지원되지 않으며 실행 파일을 생성하기 위해 정식 코드가 생성되어 외부 Fortran 컴파일러로 전달됩니다.

개량 Clang 11.0에서:

• 추상 구문 트리를 복원하는 기능이 추가되었습니다(AST) 손상된 C++ 코드에 대한 오류 진단에 사용할 수 있으며 clang-tidy 및 clangd와 같은 외부 유틸리티에 추가 정보를 제공합니다. 이 기능은 C++ 코드에 대해 기본적으로 활성화되어 있으며 "-Xclang -f[no-]recovery-ast" 옵션을 통해 제어됩니다.
• 새로운 진단 모드가 추가되었습니다.
  • "-Wpointer-to-int-cast"는 가능한 모든 값을 수용하지 않는 정수 유형 int에 대한 포인터 캐스팅에 대한 경고 그룹입니다.
  • "-Wuninitialized-const-reference" - "const" 속성이 있는 참조 인수를 허용하는 함수 매개변수에 초기화되지 않은 변수를 전달하는 것에 대한 경고입니다.
  • "-Wimplicit-const-int-float-conversion" - 실수 상수를 정수 유형으로 암시적으로 변환하는 것에 대한 경고가 기본적으로 활성화됩니다.
• ARM 플랫폼의 경우 컴파일러에 내장된 C 함수가 제공됩니다(내재), 효율적인 벡터 명령어 Arm v8.1-M MVE 및 CDE로 대체되었습니다. 사용 가능한 기능은 헤더 파일 arm_mve.h 및 arm_cde.h에 정의되어 있습니다.
• 추가됨 확장된 정수 유형 세트 _ExtInt(N)를 사용하면 XNUMX의 거듭제곱이 아닌 유형을 생성할 수 있으며 FPGA/HLS에서 효율적으로 처리할 수 있습니다. 예를 들면, _ExtInt(7)은 7비트로 구성된 정수형을 정의합니다.
• ARM SVE(Scalable Vector Extension) 명령을 기반으로 내장 C 함수에 대한 지원을 정의하는 매크로가 추가되었습니다.
  __ARM_FEATURE_SVE, __ARM_FEATURE_SVE_BF16,
  __ARM_FEATURE_SVE_MATMUL_FP32, __ARM_FEATURE_SVE_MATMUL_FP64,
  __ARM_FEATURE_SVE_MATMUL_INT8,
  __ARM_FEATURE_SVE2, __ARM_FEATURE_SVE2_AES,
  __ARM_FEATURE_SVE2_BITPERM,
  __ARM_FEATURE_SVE2_SHA3,
  __ARM_FEATURE_SVE2_SM4. 예를 들어 __ARM_FEATURE_SVE 매크로는 명령줄 옵션 "-march=armv64-a+sve"를 설정하여 AArch8 코드를 생성할 때 정의됩니다.

• "-O" 플래그는 이제 "-O1" 대신 "-O2" 최적화 모드로 식별됩니다.
• 새로운 컴파일러 플래그가 추가되었습니다.
  • "-fstack-clash-protection" - 보호를 활성화합니다. 스택과 힙의 교차점.
  • "-ffp-Exception-behavior={ignore,maytrap,strict}" - 부동 소수점 숫자에 대한 예외 처리기 모드를 선택할 수 있습니다.
  • "-ffp-model={precise,strict,fast}" - 부동 소수점 숫자에 대한 일련의 특수 옵션에 대한 액세스를 단순화합니다.
  • "-fpch-codegen" 및 "-fpch-debuginfo"는 코드 및 debuginfo에 대한 별도의 개체 파일을 사용하여 미리 컴파일된 헤더(PCH)를 생성합니다.
  • 커버리지 테스트 화이트리스트와 블랙리스트를 확인하기 위한 "-fsanitize-coverage-allowlist" 및 "-fsanitize-coverage-blocklist".
  • "-mtls-size={12,24,32,48}" TLS(스레드 로컬 저장소) 크기를 선택합니다.
  • 실험적인 RISC-V 확장을 활성화하려면 "-menable-experimental-extension"을 사용하세요.
• C의 기본 모드는 "-fno-common"이며, 이를 통해 일부 플랫폼에서 전역 변수에 보다 효율적으로 액세스할 수 있습니다.
• 기본 모듈 캐시가 /tmp에서 ~/.cache 디렉토리로 이동되었습니다. 재정의하려면 "-fmodules-cache-path=" 플래그를 사용할 수 있습니다.
• 기본 C 언어 표준이 gnu11에서 gnu17로 업데이트되었습니다.
• GNU C 확장에 대한 예비 지원 추가 "asm 인라인» 어셈블러 삽입물을 추가합니다. 확장 프로그램은 아직 분석 중이지만 어떤 방식으로도 처리되지 않습니다.
• OpenCL 및 CUDA 지원과 관련된 기능이 확장되었습니다. OpenCL 2.0 블록 진단에 대한 지원이 추가되고 새로운 OpenMP 5.0 기능이 구현되었습니다.
• extern "C" 및 extern "C++" 블록 내 정렬을 위해 clang-format 유틸리티에 IndentExternBlock 옵션이 추가되었습니다.
• 정적 분석기는 C++에서 상속된 생성자의 처리를 개선했습니다. 잠금을 확인하는 alpha.core.C11Lock 및 alpha.fuchsia.Lock, putenv의 안전하지 않은 사용을 감지하는 alpha.security.cert.pos.34c, 셀 수 없는 유형의 문제를 감지하는 webkit.NoUncountedMemberChecker 및 webkit.RefCntblBaseVirtualDtor를 추가했습니다. .cplusplus .SmartPtr은 null 스마트 포인터 역참조를 확인합니다.
• 린터에서 clang-tidy 추가 새로운 수표의 상당 부분.
• clangd 캐싱 서버(Clang Server)의 성능이 향상되고 새로운 진단 기능이 추가되었습니다.

주요 혁신 LLVM 11.0:

• 빌드 시스템이 Python 3을 사용하도록 전환되었습니다. Python 3을 사용할 수 없는 경우 Python 2를 사용하도록 롤백할 수 있습니다.
• Go 언어(llgo)용 컴파일러가 포함된 프런트 엔드는 릴리스에서 제외되며 향후 재구성될 수 있습니다.
• 벡터화 호출을 위한 스칼라 함수와 벡터 함수 간의 매핑을 설명하기 위해 벡터-함수-abi-변형 속성이 IR(중간 표현)에 추가되었습니다. llvm::VectorType에는 llvm::FixedVectorType과 llvm::ScalableVectorType이라는 두 가지 별도의 벡터 유형이 있습니다.
• udef 값을 기준으로 분기하고 undef 값을 표준 라이브러리 함수에 전달하는 것은 정의되지 않은 동작으로 인식됩니다. 안에
  memset/memcpy/memmove는 undef 포인터 전달을 허용하지만 크기가 있는 매개변수가 XNUMX인 경우.

• LLJIT에는 LLJIT::initialize 및 LLJIT::deinitialize 메서드를 통해 정적 초기화를 수행하기 위한 지원이 추가되었습니다. StaticLibraryDefinitionGenerator 클래스를 사용하여 JITDylib에 정적 라이브러리를 추가하는 기능이 구현되었습니다. 다음에 대한 C API를 추가했습니다. ORCv2 (JIT 컴파일러 구축을 위한 API)
• Cortex-A64, Cortex-A34, Cortex-A77 및 Cortex-X78 프로세서에 대한 지원이 AArch1 아키텍처의 백엔드에 추가되었습니다. RMv8.2-ECV(Enhanced Counter Virtualization), ARMv16-FGT(Fine Grained Traps), ARMv16-AMU(Activity Monitors virtualization)를 포함한 ARMv8.6-BF8.6(BFloat8.6) 및 ARMv8.6-A 확장이 구현되었습니다. 및 ARMv8.0-DGH(데이터 수집 힌트). SVE 벡터 명령어에 대한 내장 함수 바인딩을 위한 코드를 생성하는 기능이 제공됩니다.
• Cortex-M55, Cortex-A77, Cortex-A78 및 Cortex-X1 프로세서에 대한 지원이 ARM 아키텍처의 백엔드에 추가되었습니다. 구현된 확장
  Armv8.6-A 행렬 곱셈 및 RMv8.2-AA32BF16 BFloat16.

• POWER10 프로세서에 대한 코드 생성 지원이 PowerPC 아키텍처의 백엔드에 추가되었습니다. 루프 최적화가 확장되었으며 부동 소수점 지원이 개선되었습니다.
• RISC-V 아키텍처의 백엔드는 아직 공식적으로 승인되지 않은 실험적인 확장 명령 세트를 지원하는 패치를 허용합니다.
• AVR 아키텍처의 백엔드는 실험 범주에서 기본 배포판에 포함된 안정 범주로 전환되었습니다.
• x86 아키텍처의 백엔드는 Intel AMX 및 TSXLDTRK 명령어를 지원합니다. 공격에 대한 보호 기능이 추가되었습니다. LVI (로드 값 주입) 및 일반적인 추측 실행 부작용 억제 메커니즘을 구현하여 CPU에서 작업의 추측 실행으로 인한 공격을 차단합니다.
• SystemZ 아키텍처의 백엔드에 MemorySanitizer 및 LeakSanitizer에 대한 지원이 추가되었습니다.
• Libc++에 수학 상수가 포함된 헤더 파일에 대한 지원이 추가되었습니다. .
• 퍼지는 LLD 링커 기능. 추가된 옵션 "--lto-emit-asm", "--lto-whole-program-visibility", "-print-archive-stats", "-shuffle-sections", "를 포함하여 ELF 형식에 대한 지원이 향상되었습니다. -thinlto- 단일 모듈", "-unique", "-rosegment", "-threads=N". 추적을 파일에 저장하는 "--time-trace" 옵션이 추가되었습니다. 그러면 Chrome의 chrome://tracing 인터페이스를 통해 분석할 수 있습니다.

출처 : opennet.ru