GCC 10 컴파일러 제품군 출시

XNUMX년의 개발 끝에 출판 된 무료 컴파일러 세트 출시 GCC 10.1, 새로운 GCC 10.x 브랜치의 첫 번째 주요 릴리스입니다. 에 따라 새로운 계획 릴리스 번호인 버전 10.0이 개발 프로세스에 사용되었으며 GCC 10.1이 릴리스되기 직전에 GCC 11.0 분기가 이미 분기되어 다음 중요한 릴리스인 GCC 11.1이 형성되었습니다.

GCC 10.1은 C++20 표준을 위해 개발된 C++ 언어의 많은 혁신 구현, 향후 C 언어 표준(C2x)과 관련된 개선 사항, 컴파일러 백엔드의 새로운 최적화 및 실험적 지원으로 유명합니다. 정적 분석 모드. 또한 새 브랜치를 준비하는 동안 프로젝트는 저장소를 SVN에서 Git으로 이전했습니다.

주요 변경:

• 추가됨 정적 분석의 실험 모드 "-팬 분석기"는 프로그램의 코드 실행 경로와 데이터 흐름에 대한 리소스 집약적인 절차간 분석을 수행합니다. 이 모드는 하나의 메모리 영역에 대한 free() 함수에 대한 이중 호출, 파일 설명자 누출, 널 포인터 역참조 및 전달, 해제된 메모리 블록 액세스, 초기화되지 않은 값 사용 등과 같은 컴파일 단계에서 문제를 감지할 수 있습니다. OpenSSL 코드에 대한 새로운 모드를 사용하면 이미 식별이 가능해졌습니다. 위험한 취약성.
• 프로시저 간 최적화가 개선되었습니다. IPA-SRA(프로시저 간 스칼라 공유 교체) 패스는 바인드 시 작동하도록 재설계되었으며, 무엇보다도 계산 및 반환된 사용되지 않은 값을 제거합니다. "-O2" 최적화 모드에서는 "-finline-functions" 옵션이 활성화되며, 이는 실행 성능보다 더 컴팩트한 코드를 선호하도록 다시 조정됩니다. 인라인 함수 배포를 위한 휴리스틱 작업이 가속화되었습니다. 인라인 확장 및 함수 복제 휴리스틱은 이제 값 범위에 대한 정보를 사용하여 개별 변환의 효과를 예측할 수 있습니다. C++의 경우 유형 기반 별칭 구문 분석의 정확성이 향상되었습니다.
• 향상된 연결 시간 최적화(LTO). 새로운 실행 파일이 추가되었습니다. lto 덤프 LTO 바이트코드로 객체 파일에 대한 정보를 재설정합니다. 병렬 LTO 패스는 동시에 실행되는 make 작업의 수를 자동으로 결정하고, 결정할 수 없는 경우 CPU 코어 수에 대한 정보를 병렬화 요소로 사용합니다. zstd 알고리즘을 사용하여 LTO 바이트코드를 압축하는 기능이 추가되었습니다.
• 코드 프로파일링(PGO - Profile-guided Optimization) 결과를 기반으로 한 최적화 메커니즘이 개선되어 코드 실행 특성 분석을 바탕으로 더욱 최적의 코드를 생성합니다. 컴파일 및 핫/콜드 코드 분리 중 프로필 유지 관리가 향상되었습니다. 옵션을 통해 "-fprofile-값» 이제 간접 통화 및 보다 정확한 프로필 정보 제공 등 최대 4개의 프로필 값을 모니터링할 수 있습니다.
• C, C++ 및 Fortran 언어용으로 구현된 병렬 프로그래밍 사양 오픈ACC 2.6는 GPU 및 NVIDIA PTX와 같은 특수 프로세서에서 작업을 오프로드하기 위한 도구를 정의합니다. 표준 구현이 거의 완료되었습니다. 오픈MP 5.0 (Open Multi-Processing)은 공유 메모리 및 벡터화 장치(SIMD)가 있는 멀티 코어 및 하이브리드(CPU+GPU/DSP) 시스템에 병렬 프로그래밍 방법을 적용하는 API와 방법을 정의합니다. lastprivate 조건, 스캔 및 루프 지시어, order 및 use_device_addr 표현식과 같은 기능이 추가되었습니다. OpenMP 및 OpenACC의 경우 10세대(Fiji) 및 20세대 AMD Radeon(GCN) GPU(VEGA XNUMX/VEGA XNUMX)에서의 오프로드 작업에 대한 지원이 추가되었습니다.
• C 계열 언어의 경우 참조 또는 포인터로 전달된 개체에 대한 함수의 액세스를 설명하고 이러한 개체를 개체 크기에 대한 정보가 포함된 정수 인수와 연결하기 위해 "access" 함수가 추가되었습니다. "access"와 함께 작동하기 위해 "type" 속성이 구현되어 예를 들어 배열 경계 외부 영역에 값을 쓸 때 사용자 함수의 잘못된 액세스를 감지합니다. 또한 ELF 파일의 기호를 특정 버전 번호와 연결하는 "symver" 속성이 추가되었습니다.
• 새로운 경고가 추가되었습니다:
  • "-Wstring-compare"("-Wextra"로 활성화됨) - strcmp 및 strncmp 함수 호출 결과와 XNUMX을 비교하는 표현식이 있음을 경고합니다. 이는 길이가 상수와 동일하므로 한 인수의 크기가 두 번째 인수의 배열 크기보다 큽니다.
  • "-Wzero-length-bounds"("-Warray-bounds"로 활성화됨) - 길이가 XNUMX인 배열 요소에 액세스하면 다른 데이터를 덮어쓸 수 있다는 경고를 표시합니다.
  • 범위를 벗어난 상황의 수를 확장하기 위해 "-Warray-bounds", "-Wformat-overflow", "-Wrestrict", "-Wreturn-local-addr" 및 "-Wstringop-overflow" 경고가 확장되었습니다. 처리되는 것입니다.
• UCN 표기법(\uNNNN 또는 \UNNNNNNNN) 대신 현재 인코딩(기본적으로 UTF-8)을 사용하여 식별자에 와이드 문자를 직접 지정하는 기능을 구현했습니다. 예를 들어:

  정적 const int π = 3;
  int get_naïve_pi() {
  π를 반환;
  }

• C 언어의 경우 C2X 표준 내에서 개발된 새로운 기능의 일부가 구현되었습니다(-std=c2x 및 -std=gnu2x를 지정하여 활성화됨). 다음과 같이 속성을 정의하기 위해 "[[]]" 구문에 대한 지원이 나타났습니다. C++(예: [[gnu ::const]], [[deprecated]], [[fallthrough]] 및 [[maybe_unused]]. UTF-8 문자로 상수를 정의하기 위한 "u8" 구문에 대한 지원이 추가되었습니다.
  에 새로운 매크로가 추가되었습니다. . strftime에 "%OB" 및 "%Ob" 대체 항목을 추가했습니다.

• C의 기본 모드는 "-fno-common"이며, 이를 통해 일부 플랫폼에서 전역 변수에 보다 효율적으로 액세스할 수 있습니다.
• C++의 경우 C++16 표준에서 개발된 약 20가지 변경 및 혁신이 구현되었습니다. 추가된 키워드 “continit” 포함
  템플릿 확장에 대한 지원이 구현되었습니다.개념들". 개념을 사용하면 컴파일 시 템플릿 매개변수로 허용될 수 있는 인수 집합을 제한하는 템플릿 매개변수 요구 사항 집합을 정의할 수 있습니다. 개념은 템플릿 내에서 사용되는 데이터 유형의 속성과 입력 매개변수의 데이터 유형 속성 간의 논리적 불일치를 방지하는 데 사용될 수 있습니다.

• G++에서는 constexpr을 통해 상수 객체 변경으로 인해 발생하는 정의되지 않은 동작을 감지합니다. constexpr을 계산할 때 컴파일러의 메모리 소비가 감소했습니다. 새로운 경고 "-Wmismatched-tags" 및 "-Wredundant-tags"를 추가했습니다.
• 새로운 명령줄 옵션이 제안되었습니다:
  • "-fallocation-dce"는 불필요한 "new" 및 "delete" 연산자 쌍을 제거합니다.
  • 훈련 실행이 없는 코드에 대한 크기 최적화를 비활성화하려면 "-fprofile-partial-training"을 사용합니다.
  • "-fprofile-reproducible은 프로파일 재현성 수준을 제어합니다.
  • "-fprofile-prefix-path"는 별도의 프로필 생성에 사용되는 기본 소스 빌드 디렉터리를 정의합니다("-fprofile-generate=profile_dir" 및 "-fprofile-use=profile_dir"의 경우).
• 언급된 옵션에 대한 경고 텍스트에는 해당 옵션에 대한 설명서로 이동할 수 있는 하이퍼링크가 제공됩니다. URL 대체는 "-fdiagnostics-urls" 옵션을 사용하여 제어됩니다.
• 전처리기 연산자 추가 "__has_builtin"를 사용하여 내장 기능을 확인할 수 있습니다.
• "round"와 유사하지만 ISO/IEC TS 18661 사양에 정의된 반올림 함수를 구현하여 새로운 내장 함수 "__builtin_roundeven"을 추가했지만 0.5보다 큰 부분을 (더 큰 값으로) 0.5보다 작게 반올림합니다. - 아래로(0.5으로), XNUMX와 동일 - 끝에서 두 번째 숫자의 패리티부터 시작합니다.
• AArch64 아키텍처의 경우 SVE2 확장에 대한 지원이 추가되었으며 내장 SVE ACLE 기능 및 유형에 대한 추가 지원, 벡터화 사용을 포함하여 SVE(Scalable Vector Extension)에 대한 지원이 개선되었습니다. LSE(Large System Extensions) 및 TME(Transactional Memory Extension)에 대한 지원이 확장되었습니다. 난수 생성, 반올림, 메모리 태그 바인딩에 대한 지침을 포함하여 Armv8.5-A 및 Armv8.6-A에서 제안된 새로운 지침이 추가되었습니다.
  bfloat16 및 행렬 곱셈. 프로세서 지원 추가
  팔 피질-A77,
  팔 피질-A76AE,
  팔 피질-A65,
  팔 피질-A65AE,
  Arm Cortex-A34 및
  마벨 ThunderX3.

• ARM32용 ABI FDPIC(64비트 함수 포인터)에 대한 지원이 추가되었습니다. 64비트 정수 연산 처리를 재설계하고 최적화했습니다. 추가된 CPU 지원
  팔 피질-A77,
  Arm Cortex-A76AE 및
  팔 Cortex-M35P. 32비트 SIMD, 16비트 곱셈, 래치 산술 및 기타 DSP 알고리즘 최적화를 포함하여 ACLE 데이터 처리 명령에 대한 지원이 확장되었습니다. ACLE CDE(Custom Datapath Extension) 지침에 대한 실험적 지원이 추가되었습니다.

• GCN 마이크로아키텍처를 기반으로 하는 AMD GPU용 백엔드의 코드 생성 및 벡터화가 크게 향상되었습니다.
• AVR 아키텍처를 위한 XMEGA 유사 장치에 대한 지원이 추가되었습니다.
  ATtiny202, ATtiny204, ATtiny402, ATtiny404, ATtiny406, ATtiny804, ATtiny806, ATtiny807, ATtiny1604, ATtiny1606, ATtiny1607, ATmega808, ATmega809, ATmega1608, ATmega1609, ATmega3208, ATmega3209 4808, ATmega4809 및 ATmegaXNUMX.

• IA-32/x86-64 아키텍처용으로 새로운 Intel ENQCMD 명령어 세트 아키텍처 확장(-menqcmd)이 추가되었습니다. Intel Cooperlake(-march=cooperlake, AVX512BF16 ISA 확장 포함) 및 Tigerlake(-march=tigerlake, MOVDIRI, MOVDIR64B 및 AVX512VP2INTERSECT ISA 확장 포함) CPU에 대한 지원이 추가되었습니다.
• HSA 아키텍처를 기반으로 하는 이기종 컴퓨팅 시스템에 대한 HSAIL(이기종 시스템 아키텍처 중간 언어) 구현은 더 이상 사용되지 않으며 향후 릴리스에서 제거될 가능성이 높습니다.

출처 : opennet.ru