LLVM 9.0 컴파일러 제품군 출시

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

LLVM 9.0의 새로운 기능에는 대상 RISC-V 플랫폼에서 실험적 설계 태그 제거, OpenCL에 대한 C++ 지원, 프로그램을 LLD에서 동적으로 로드된 부분으로 분할하는 기능 및 "asm 고토", Linux 커널 코드에 사용됩니다. libc++는 WASI(WebAssembly System Interface)에 대한 지원을 추가했고 LLD는 WebAssembly 동적 링크에 대한 초기 지원을 추가했습니다.

개량 Clang 9.0에서:

• 추가됨 GCC 관련 표현식 구현 "asm 고토"를 사용하면 어셈블러 인라인 블록에서 C 코드의 레이블로 이동할 수 있습니다. 이 기능은 x86_64 아키텍처가 있는 시스템에서 Clang을 사용하여 "CONFIG_JUMP_LABEL=y" 모드에서 Linux 커널을 빌드하는 데 필요합니다. 이전 릴리스에 추가된 변경 사항을 고려하여 이제 x86_64 아키텍처용 Clang에서 Linux 커널을 빌드할 수 있습니다(이전에는 arm, aarch64, ppc32, ppc64le 및 mips 아키텍처용 빌드만 지원되었습니다). 또한 Android 및 ChromeOS 프로젝트는 이미 커널 구축에 Clang을 사용하도록 전환되었으며 Google은 프로덕션 Linux 시스템용 커널 구축을 위한 주요 플랫폼으로 Clang을 테스트하고 있습니다. 앞으로는 LLD, llvm-objcopy, llvm-ar, llvm-nm 및 llvm-objdump를 포함한 다른 LLVM 구성 요소를 커널 빌드 프로세스에 사용할 수 있습니다.
• OpenCL에서 C++17을 사용하기 위한 실험적 지원이 추가되었습니다. 특정 기능에는 주소 공간 속성 지원, 유형 캐스팅 연산자에 의한 주소 공간 변환 차단, C용 OpenCL과 같은 벡터 유형 제공, 이미지, 이벤트, 채널 등에 대한 특정 OpenCL 유형 존재 등이 포함됩니다.
• 프런트엔드(구문 분석, 초기화) 및 백엔드(최적화 단계)의 다양한 단계의 실행 시간에 대한 보고서를 생성하기 위해 새로운 컴파일러 플래그 "-ftime-trace" 및 "-ftime-trace-granularity=N"을 추가했습니다. 보고서는 chrome://tracing 및 speedscope.app과 호환되는 json 형식으로 저장됩니다.
• Visual Studio 환경에서 메모리 소비를 모니터링할 수 있는 "__declspec(allocator)" 지정자 처리 및 디버깅 정보 생성이 추가되었습니다.
• C 언어의 경우 “__FILE__” 매크로와 유사하지만 전체 경로 없이 파일 이름만 포함하는 “__FILE_NAME__” 매크로에 대한 지원이 추가되었습니다.
• C++에서는 매개변수 및 인수 패턴, 참조 유형, 반환 유형 추론, 개체, 자동 생성 함수, 내장 연산자 등 다양한 C++ 기능을 포괄하기 위해 주소 공간 특성에 대한 지원을 확장했습니다.
• OpenCL, OpenMP 및 CUDA 지원과 관련된 기능이 확장되었습니다. 여기에는 내장 OpenCL 함수("-fdeclare-opencl-builtins" 플래그가 추가됨)의 암시적 포함에 대한 초기 지원, cl_arm_integer_dot_product 확장이 구현되고 진단 도구가 확장되었습니다.
• 정적 분석기의 작업이 개선되었으며 정적 분석 수행에 대한 문서가 추가되었습니다. 사용 가능한 검사기 모듈 및 지원되는 옵션("-analyzer-checker[-option]-help", "-analyzer-checker[-option]-help-alpha" 및 "-analyzer-checker[-option]-help)을 표시하는 플래그가 추가되었습니다. " -개발자"). 경고를 오류로 처리하기 위해 "-analyzer-werror" 플래그를 추가했습니다.
  새로운 확인 모드가 추가되었습니다.
  • security.insecureAPI.DeprecatedOrUnsafeBufferHandling은 버퍼 작업 시 안전하지 않은 방식을 식별합니다.
  • osx.MIGChecker는 MIG(Mach Interface Generator) 호출 규칙 위반을 검색합니다.
  • optin.osx.OSObjectCStyleCast를 사용하여 잘못된 XNU libkern 개체 변환을 찾습니다.
  • LLVM 코드베이스의 오류를 감지하기 위한 일련의 모델링 검사 기능이 포함된 apiModeling.llvm
  • 초기화되지 않은 C++ 객체를 검사하기 위한 안정화된 코드(optin.cplusplus 패키지의 UninitializedObject)
• clang-format 유틸리티는 C# 언어의 코드 형식 지정에 대한 지원을 추가했으며 Microsoft에서 사용하는 코드 형식 지정 스타일에 대한 지원을 제공합니다.
• Visual Studio에 포함된 cl.exe 컴파일러와의 옵션 수준 호환성을 제공하는 대체 명령줄 인터페이스인 clang-cl에는 존재하지 않는 파일을 명령줄 옵션으로 처리하고 해당 경고를 표시하는 경험적 방법이 추가되었습니다(예: "clang-cl /diagnostic :caret /c test.cc"를 실행할 때);
• OpenMP API와 관련된 추가 검사를 포함하여 많은 새로운 검사가 linter clang-tidy에 추가되었습니다.
• 퍼지는 서버 기능 쾅쾅 (Clang 서버), 백그라운드 인덱스 구축 모드가 기본적으로 활성화되어 있으며 코드를 사용한 상황별 작업에 대한 지원이 추가되었습니다(변수 검색, 자동 및 매크로 정의 확장, 이스케이프된 문자열을 이스케이프되지 않은 문자열로 변환). Clang-tidy의 경고, 헤더 파일의 오류 진단 확장, 유형 계층 구조에 대한 정보 표시 기능 추가

주요 혁신 LLVM 9.0:

• 실험적인 분할 기능이 LLD 링커에 추가되었습니다. 이를 통해 하나의 프로그램을 여러 부분으로 분할할 수 있으며 각 부분은 별도의 ELF 파일에 있습니다. 이 기능을 사용하면 작업 중에 필요에 따라 다른 구성 요소를 로드하는 프로그램의 주요 부분을 시작할 수 있습니다. 예를 들어 내장 PDF 뷰어를 별도의 파일로 분리하여 사용자가 PDF를 열 때만 로드할 수 있습니다. 파일).

  LLD 링커 가져온 arm32_7, arm64, ppc64le 및 x86_64 아키텍처용 Linux 커널을 연결하기에 적합한 상태로 만듭니다.
  새로운 옵션 "-"(stdout으로 출력), "-[no-]allow-shlib-undefine", "-undefine-glob", "-nmagic", "-omagic", "-dependent-library", " - z ifunc-noplt" 및 "-z 공통 페이지 크기". AArch64 아키텍처의 경우 BTI(분기 대상 표시기) 및 PAC(포인터 인증 코드) 지침에 대한 지원이 추가되었습니다. MIPS, RISC-V 및 PowerPC 플랫폼에 대한 지원이 크게 향상되었습니다. WebAssembly에 대한 동적 링크에 대한 초기 지원이 추가되었습니다.

• libc++에서 구현 함수 ssize, std::is_constant_evaluated, std::midpoint 및 std::lerp, "front" 및 "back" 메서드가 std::span에 추가되었으며, std::is_unbounded_array 및 std::is_bounded_array 유형의 속성이 추가되었습니다. , std 기능이 확장되었습니다: :atomic. GCC 4.9에 대한 지원이 중단되었습니다(GCC 5.1 및 최신 릴리스에서 사용할 수 있음). 추가된 지원 내가 그랬니 (WebAssembly 시스템 인터페이스, 브라우저 외부에서 WebAssembly를 사용하기 위한 인터페이스)
• 새로운 최적화가 추가되었습니다. 일부 상황에서는 memcmp 호출을 bcmp로 변환할 수 있습니다. 하위 스위치 블록에 도달할 수 없거나 명령어가 사용되지 않는 경우(예: void 유형의 함수 호출 시) 점프 테이블에 대한 범위 검사 생략이 구현되었습니다.
• RISC-V 아키텍처의 백엔드가 안정화되어 더 이상 실험적인 위치에 있지 않고 기본적으로 구축됩니다. MAFDC 확장이 포함된 RV32I 및 RV64I 명령어 세트 변형에 대한 전체 코드 생성 지원을 제공합니다.
• X86, AArch64, ARM, SystemZ, MIPS, AMDGPU 및 PowerPC 아키텍처의 백엔드가 많이 개선되었습니다. 예를 들어 건축의 경우
  AArch64는 SVE2(Scalable Vector Extension 2) 및 MTE(Memory Tagged Extensions) 명령에 대한 지원을 추가했으며, ARM 백엔드에는 Armv8.1-M 아키텍처 및 MVE(M-Profile Vector Extension) 확장에 대한 지원이 추가되었습니다. GFX10(Navi) 아키텍처에 대한 지원이 AMDGPU 백엔드에 추가되었으며 함수 호출 기능이 기본적으로 활성화되었으며 결합 패스가 활성화되었습니다. DPP (데이터 병렬 기본 요소).

• 이제 LLDB 디버거에는 역추적에 대한 색상 강조 표시가 있고 DWARF4 debug_types 및 DWARF5 debug_info 블록에 대한 지원이 추가되었습니다.
• COFF 형식의 객체 및 실행 파일에 대한 지원이 llvm-objcopy 및 llvm-strip 유틸리티에 추가되었습니다.

출처 : opennet.ru