The OpenNET Project / Index page

[ новости/++ | форум | wiki | теги | ]

08.03.2018 21:56  Релиз набора компиляторов LLVM 6.0

После шести месяцев разработки представлен релиз проекта LLVM 6.0 (Low Level Virtual Machine) - GCC-совместимого инструментария (компиляторы, оптимизаторы и генераторы кода), компилирующего программы в промежуточный биткод RISC-подобных виртуальных инструкций (низкоуровневая виртуальная машина с многоуровневой системой оптимизации). Сгенерированный псевдокод может быть преобразован при помощи JIT-компилятора в машинные инструкции непосредственно в момент выполнения программы.

Напомним, что в соответствии с новой нумерацией версий осуществлён уход от разделения значительных и функциональных выпусков. В каждом функциональном обновлении теперь меняется первая цифра (например, осенью состоится релиз LLVM 7.0.0). Для обеспечения совместимости с существующими системами разбора номеров версий LLVM корректирующие обновления, как и раньше приводят к увеличению третьей цифры (6.0.1, 6.0.2, 6.0.3).

Из новых возможностей LLVM 6.0 отмечается включение в Clang по умолчанию стандарта C++14 ("-std=gnu++14" вместо "-std=gnu++98"), обеспечение поддержки некоторых возможностей будущего стандарта C++2a, интеграция патчей retpoline для блокирования второго варианта уязвимости Spectre, значительное улучшение поддержки отладочной информации CodeView для Windows, включение по умолчанию фреймворка GlobalISel для архитектуры AArch64 при сборке с уровнем оптимизации "-O0", добавление новых предупреждений компилятора.

Улучшения в Clang 6.0:

  • В качестве диалекта языка C++ по умолчанию установлен gnu++14 ("-std=gnu++14") вместо ранее применявшегося gnu++98 ("-std=gnu++98"), что позволяет по умолчанию компилировать код, в котором присутствуют возможности, определённые в стандарте C++14, включая специфичные расширения GNU;
  • Добавлены некоторые возможности, развиваемые для будущего стандарта C++20 (кодовое название C++2a):
    • Макрос __VA_OPT__ для адаптивного раскрытия вариативных макросов в зависимости от наличия токенов в вариативном аргументе;
    • Поддержка оператора "‹=›" для трехстороннего сравнения;
    • Поддержка инициализаторов элементов по умолчанию для битовых полей;
    • Возможность лямбда-захвата выражений "*this";
    • Вызов элементов по указателю (Pointer-to-member), используя определённые через выражение "const &" указатели на временные объекты;
    • Оператор delete с деструктором, описанный в документе P0722R1, но пока не одобренный для включения в спецификацию C++2a;

    Для включения поддержки C++2a следует использовать опцию "-std=c++2a", при этом все указанные возможности, кроме __VA_OPT__ и "‹=›", доступны и в других режимах C++, но приводят к выводу предупреждения;

  • Для блокирования в приложениях второго варианта уязвимости Spectre (CVE-2017-5715) в состав включён механизм Retpoline, основанный на применении специальной последовательности инструкций, исключающей вовлечение механизма спекулятивного выполнения для косвенных переходов (использование инструкции RET вместо JMP). Включение защиты осуществляется при помощи флага "-mretpoline" или "-mretpoline-external-thunk" при необходимости более тонкой настройки работы Retpoline;
  • Добавлена поддержка конфигурационных файлов, в которых можно размещать коллекции из применяемых при сборке опций. Для использования настроек из файла конфигурации можно использовать опцию "--config foo.cfg" или создать исполняемый файл вида "foo-clang". Перечисленные в файле конфигурации опции включаются до опций, перечисленных в командной строке. Основным назначением файлов конфигурации является упрощение организации кросс-компиляции;
  • Добавлены новые флаги "-fdouble-square-bracket-attributes" и "-fno-double-square-bracket-attributes" для включения и выключения атрибутов, задаваемых в двойных квадратных скобках, в любых языковых режимах;
  • Для обеспечения совместимости с GCC добавлены языковые режимы "-std=c17", "-std=gnu17" и "-std=iso9899:2017" для включения поддержки нового стандарта языка Си. Режимы c17 и c11 отличаются только значением макроса __STDC_VERSION__, так как в новой спецификации отмечается только исправление ошибок;
  • Добавлены флаги "-fexperimental-isel" и "-fno-experimental-isel" для включения и выключения нового фреймворка выбора инструкций GlobalISel. Данный фреймворк включен по умолчанию для архитектуры AArch64 при установке уровня оптимизации "-O0";
  • Добавлен флаг "-nostdlib++" для отключения связывания со стандартной библиотекой C++ (действие аналогично вызову clang вместо clang++, но не отключает "-lm");
  • Большая часть атрибутов Clang теперь доступна как в нотации GNU (__attribute((name))), так и в нотации Clang ([[clang::name]]). Добавлен встроенный макрос препроцессора __has_c_attribute() для динамической проверки доступности в режиме Си атрибутов, задаваемых в двойных квадратных скобках (данный синтаксис атрибутов включается флагом "-fdouble-square-bracket-attributes");
  • Добавлена начальная поддержка сборки для платформы Windows на системах ARM64;
  • Расширены возможности, связанные с поддержкой OpenCL и OpenMP;
  • Прекращена поддержка операционной системы Bitrig, так как данный форк воссоединился с OpenBSD;
  • Для обеспечения совместимости с заголовочными файлами стандартной библиотеки Visual Studio 2015 и 2017 значение _MSC_VER по умолчанию изменено с 1800 до 1911;
  • По умолчанию в исполняемые файлы теперь добавляется секция ".init_array", если в системе не установлен GCC. Если наличие GCC обнаружено и версия старее 4.7.0, то как и раньше подставляется секция ".ctors";
  • Добавлены новые встроенные макросы препроцессора __is_target_arch, __is_target_vendor, __is_target_os и __is_target_environment, которые могут применяться для определения отдельных характеристик целевой платформы;
  • Расширены возможности для диагностики. Например, добавлена опция "-Wpragma-pack" для выявления проблем, возникающих при использовании директивы "#pragma pack", и опция "-Wtautological-constant-compare" для информирования о сравнении целочисленной переменной и целочисленной константой того же типа, имеющей наименьшее или наиболее из возможных для данного типа значений;
  • В clang-format добавлена опция IndentPPDirectives для расстановки отступов для директив препроцессора, содержащих условные выражения (if/endif), а также опция IncludeBlocks для перегруппировки блоков заголовочных файлов;
  • В статическом анализаторе обеспечено корректное определение и диагностика применения унарных операторов инкремента/декремента над неинициализированным значением;
  • В linter clang-tidy добавлена большая порция новых проверок и обеспечена поддержка стандарта кодирования High Integrity C++ Coding Standard;
  • Добавлен минимальный runtime для компонента UBSan (Undefined Behavior Sanitizer) с реализацией детектора неопределенного поведения, выявляющего во время выполнения программы ситуации, когда поведение программы становится неопределенным. Runtime предоставляет только простые функции ведения лога событий во время выполнения и дедупликацию выводимых в лог записей ("-fsanitize=vptr" не поддерживается).

Основные новшества LLVM 6.0:

  • Для архитектуры x86 добавлена поддержка CPU Intel Icelake и предоставляемых процессорами Intel расширенных инструкций VAES, GFNI, VPCLMULQDQ, AVX512VBMI2, AVX512BITALG и AVX512VNNI. Добавлена информация для планирования инструкций для процессоров Intel Sandy Bridge, Ivy Bridge, Haswell, Broadwell и Skylake. Улучшена модель планировщика для CPU AMD Jaguar. Улучшена генерация кода при сравнении областей памяти, умножении векторов i32, ротации целых векторов (XOP и AVX512), вычисления абсолютных скалярных целых значений, усечении векторов;
  • В компоновщике LLD продолжено решение проблем с совместимостью, улучшена поддержка форматов ELF и COFF, обеспечена возможность генерации компактной динамической relocation-таблицы в стиле Android, добавлена начальная поддержка WebAssembly (добавлен компоновщик wasm-ld), добавлены новые опции: --icf=none -z muldefs --plugin-opt --no-eh-frame-hdr --no-gdb-index --orphan-handling={place,discard,warn,error} --pack-dyn-relocs={none,android} --no-omagic --no-print-gc-sections --ignore-function-address-equality -z retpolineplt --print-icf-sections --no-pie;
  • Для платформы NetBSD на системах с архитектурой x86(_64) добавлена предварительная поддержка санитайзеров (ASan, UBsan, TSan, MSan, SafeStack, libFuzzer);
  • Значительно улучшено качество предоставления отладочной информации CodeView для Windows;
  • Для архитектур x86 и ARM добавлена поддержка включения обработки исключений SjLj (setjmp/longjmp) на платформах, в которых SjLj не применяется по умолчанию;
  • Внесены многочисленные улучшения в бэкенды для архитектур AArch64, ARM, AVR, Hexagon, MIPS и PowerPC. В том числе добавлена полная поддержка MIPS MT ASE, проведена работа по сокращению кода microMIPS, для AArch64 в режиме "-O0" включён по умолчанию фреймворк выбора инструкций GlobalISel.


  1. Главная ссылка к новости (http://lists.llvm.org/pipermai...)
  2. OpenNews: Релиз набора компиляторов LLVM 5.0
  3. OpenNews: Создатель LLVM и Swift уходит из компании Apple
  4. OpenNews: Проект LLVM переходит на новую схему нумерации выпусков
  5. OpenNews: Проект LLVM планирует сменить лицензию
  6. OpenNews: Релиз набора компиляторов GCC 7
Лицензия: CC-BY
Тип: Интересно / Программы
Ключевые слова: llvm, clang, compile
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение Ajax/Линейный | Показать все | RSS
 
  • 1.1, Named, 00:01, 09/03/2018 [ответить] [смотреть все]    [к модератору]
  • +9 +/
    > В каждом функциональном обновлении теперь меняется первая цифра...  корректирующие обновления, как и раньше приводят к увеличению третьей цифры.

    А вторая цифра на что тогда?

    Непонятно, зачем в последнее время многие переходят на такую нумерацию. Особенно в профессиональных продуктах.
    Ведь есть же четкая схема: первая цифра - значительные функциональные изменения (возможно, с нарушением обратной совместимости), вторая - изменения с обеспечением совместимости, 3-я - багфиксы. Понятно по версии, чего можно ждать от обновления.

     
     
  • 2.3, Аноним, 01:09, 09/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]
  • +/
    По сути, большего и не надо Одно число обозначает ветку, второе - номер более-м... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.4, YetAnotherOnanym, 02:00, 09/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +5 +/
    Уфффф Ну наконец-то А то они меня уже утомили ... весь текст скрыт [показать]
     
  • 3.8, Аноним, 09:12, 09/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • –2 +/
    Последний коммит - это тоже слишком сложно Просто перейдут на блокчейны и смарт... весь текст скрыт [показать]
     
     
  • 4.23, Аноним, 17:02, 09/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • –1 +/
    А что, это идея Комитнул в проект - выполнил таск - прокатили тесткейсы - вот т... весь текст скрыт [показать]
     
  • 4.27, Аноним, 20:03, 09/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • +4 +/
    >блокчейны и смарт-контракты

    экая мерзость

     
  • 2.6, Тот_Самый_Анонимус, 06:09, 09/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +1 +/
    Первое число 8212 на ветку с длительным сроком поддержки Второе 8212 на в... весь текст скрыт [показать] [показать ветку]
     
  • 2.11, пох, 09:26, 09/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +/
    инвесторы ну вы уже запомнили какое слово подставлять вместо любят большие чис... весь текст скрыт [показать] [показать ветку]
     
  • 2.14, Аноним, 10:08, 09/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +2 +/
    Сейчас в моде непрерывная разработка , все функциональные изменения вводятся по... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.15, Аноним, 11:33, 09/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • +6 +/
    И поэтому программы превращаются в непрерывную недоделку.
     
     
  • 4.22, Nexmean, 16:46, 09/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • +/
    То ли дело было раньше, пусть программа и была недоделкой, зато дискретной!
     
  • 4.25, Аноним, 17:19, 09/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    Зато быстрофиксы прилетают А раньше надо было еще и ждать быстрофикса хрен знае... весь текст скрыт [показать]
     
  • 1.2, Гоги, 00:01, 09/03/2018 [ответить] [смотреть все]     [к модератору]  
  • –14 +/
    LLVM так хорошо развивается, что уже два раза почешешь репу, подо что писать нов... весь текст скрыт [показать]
     
     
  • 2.28, Вареник, 20:58, 09/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • –1 +/
    Для аппликух есть NET и JDK Для игр-3D-DeepLearning-Robotics-околонаучного-ста... весь текст скрыт [показать] [показать ветку]
     
  • 1.5, leap42, 02:13, 09/03/2018 [ответить] [смотреть все]    [к модератору]  
  • –1 +/
    > Добавлена предварительная поддержка санитайзеров (ASan, UBsan, те, которых никто не знает)

    можно начинать пользоваться

     
  • 1.18, Аноним, 13:33, 09/03/2018 [ответить] [смотреть все]    [к модератору]  
  • +7 +/
    >Поддержка оператора "‹=›" для трехстороннего сравнения;

    Астанавитесь!!!

     
     
  • 2.31, 0xd34df00d, 05:25, 10/03/2018 [^] [ответить] [смотреть все] [показать ветку]    [к модератору]  
  • +1 +/
    Вам так нравится писать от 6 до бесконечности операторов сравнения руками?
     
     
  • 3.33, Аноним, 22:56, 10/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    А как это должно уменьшить объём писанины code if a b else ... весь текст скрыт [показать]
     
     
  • 4.34, 0xd34df00d, 23:50, 10/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    Это уменьшает объём писанины в первую очередь для автора класса, а не для клиент... весь текст скрыт [показать]
     
     
  • 5.37, Аноним, 12:33, 11/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • +/
    Ну ок, убедил.
     
  • 5.39, Аноним, 18:20, 11/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • –1 +/
    Самый простой пример 8212 сравнение строк switch str1 str2 ... весь текст скрыт [показать]
     
  • 1.19, Iaaa, 14:31, 09/03/2018 [ответить] [смотреть все]    [к модератору]  
  • +/
    > По умолчанию в исполняемые файлы теперь добавляется секция ".init_array", если в системе не установлен GCC. Если наличие GCC обнаружено и версия старее 4.7.0, то как и раньше подставляется секция ".ctors";

    А домашний адрес, если обнаружен, автоматом в секции не проставляется? И как насчет полного списка установленных пакетов туда же, в отдельную секцию?

    Почему было не запилить для этой фичи флажок, вместо вот такого шпионажа?

     
     
  • 2.20, Аноним, 15:08, 09/03/2018 [^] [ответить] [смотреть все] [показать ветку]    [к модератору]  
  • +/
    Ты бы почитал про .init_array сначала, прежде чем чушь писать.
     
     
  • 3.21, Iaaa, 15:14, 09/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +3 +/
    У анонима, как обычно, апломба вагон и знаний тележка Я то в курсе для чего нуж... весь текст скрыт [показать]
     
     
  • 4.24, Аноним, 17:17, 09/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • +/
    Костылестроение во все поля...
     
  • 4.32, all_glory_to_the_hypnotoad, 18:17, 10/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +1 +/
    1 Вообще эта магия внутри шланга с gcc подзадалбывает Развернули у нас на про... весь текст скрыт [показать]
     
     
  • 5.35, пох, 09:48, 11/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    эта магия просто не для вас предназначена, а для обычного пользователя - котором... весь текст скрыт [показать]
     
     
  • 6.38, Аноним, 12:39, 11/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    Вот я даже не представляю, как при таком поведении компилятора можно собрать что... весь текст скрыт [показать]
     
     
  • 7.40, пох, 15:20, 13/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    да в том и дело, что прекрасно соберется, и будет работать - даже если пара o п... весь текст скрыт [показать]
     
  • 6.41, Ne01eX, 11:56, 15/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    gt оверквотинг удален Что самое, сцуко пародоксальное, то бардак в дистрибутив... весь текст скрыт [показать]
     
  • 1.29, Fleonis, 01:19, 10/03/2018 [ответить] [смотреть все]    [к модератору]  
  • +/
    Я что то не смог найти ничего по поводу оператора <=> . кто знает, поясните пожлуйста.
     
     
  • 2.30, Аноним84701, 01:58, 10/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +/
    http en cppreference com w cpp language operator_comparison CODE Three-way c... весь текст скрыт [показать] [показать ветку]
     
  • 1.36, Аноним, 09:56, 11/03/2018 [ответить] [смотреть все]    [к модератору]  
  • +/
    Больше шланга, хорошего и разного. А гадкое гнутое гцц выкинуть!
     
  • 1.42, Ne01eX, 12:45, 15/03/2018 [ответить] [смотреть все]     [к модератору]  
  • +/
    Где-то в соседней теме какой-то умник кричал, что дескать с помощью clang можно ... весь текст скрыт [показать]
     
     
  • 2.43, Andrey Mitrofanov, 11:19, 16/03/2018 [^] [ответить] [смотреть все] [показать ветку]     [к модератору]  
  • +1 +/
    Обычно неродным компилятором собирают только stage1 gcc https gcc gnu org... весь текст скрыт [показать] [показать ветку]
     
     
  • 3.44, Ne01eX, 12:15, 16/03/2018 [^] [ответить] [смотреть все]    [к модератору]  
  • +/
    >[оверквотинг удален]
    > ...а вот же, например:
    >    https://gcc.gnu.org/ml/gcc/2015-05/msg00028.html
    >    https://gcc.gnu.org/ml/gcc-patches/2018-02/msg00973.html
    >    https://gcc.gnu.org/ml/gcc/2014-10/msg00269.html
    > и далее https://duckduckgo.com/?q=with+clang+bootstrap+site:gcc.gnu.org/ml%2F везде.
    > Для fun-а
    >    https://duckduckgo.com/?q=diverse+double+compilation
    >    https://www.schneier.com/blog/archives/2006/01/countering_trus.html
    > //
    >    https://lists.gnu.org/archive/html/guile-user/2017-11/msg00040.html

    Вообще в точку попал, спасибо! По предпоследней ссылке: Там чувак (Dan) в комментах в одном абзаце всю статью рассказал (мне понравился коммент как пример лаконичности). :-)

     
     
  • 4.45, Andrey Mitrofanov, 13:23, 16/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    Самый фан в -- I If they produce the same binary, then either they are both n... весь текст скрыт [показать]
     
     
  • 5.46, Ne01eX, 14:18, 16/03/2018 [^] [ответить] [смотреть все]     [к модератору]  
  • +/
    gt оверквотинг удален Ладно, лирика это всё На практике тому же gcc абсолютно... весь текст скрыт [показать]
     

     Добавить комментарий
    Имя:
    E-Mail:
    Заголовок:
    Текст:


      Закладки на сайте
      Проследить за страницей
    Created 1996-2018 by Maxim Chirkov  
    ДобавитьПоддержатьВебмастеруГИД  
    Hosting by Ihor