P
Хотя бред сбросил
Size: a a a
2020 June 03
P
Автор ошибается. _ c точки зрения грамматики не нужно. Есть правда одна тонкость: все UDL-суффиксы, не начинающиеся с _ зарезервированы для стандартной библиотеки
Хм.., поэтому он как бы неявно нужен, но в грамматике его нету?
MM
Потому что грамматика общая и для пользовательского кода, и для стандартной библиотеки, и даже для идентификаторов, которые определяет компилятор (всякие __builtin_...).
2020 June 04
SS
Ребят, привет всем, а можете подсказать по разбиению текста на токены с помощью лексера?
Язык С++11
Сколько здесь токенов?
123name
Язык С++11
Сколько здесь токенов?
123name
Два
a
Talk Title: Improving Compiler Construction Using Formal Methods
Talk Abstract: As programming languages are becoming more high-level to improve programmers' efficiency, the processors, in contrast, are moving towards specialization. The role of compilers is becoming crucial in bridging the ever-increasing gap between these two. We want compilers that are correct and generate high-quality code. Many researchers and developers invested efforts in solving these problems, but without making direct use of formal methods. In this talk, Jubi will describe how formal-methods-based techniques can help compiler developers create better static analyses, generate an automatic peephole optimizer for a compiler, and thus be used to improve overall compiler construction.
Link
http://ps.berkeley.edu/seminar
Register via mailing list
Talk Abstract: As programming languages are becoming more high-level to improve programmers' efficiency, the processors, in contrast, are moving towards specialization. The role of compilers is becoming crucial in bridging the ever-increasing gap between these two. We want compilers that are correct and generate high-quality code. Many researchers and developers invested efforts in solving these problems, but without making direct use of formal methods. In this talk, Jubi will describe how formal-methods-based techniques can help compiler developers create better static analyses, generate an automatic peephole optimizer for a compiler, and thus be used to improve overall compiler construction.
Link
http://ps.berkeley.edu/seminar
Register via mailing list
МБ
Talk Title: Improving Compiler Construction Using Formal Methods
Talk Abstract: As programming languages are becoming more high-level to improve programmers' efficiency, the processors, in contrast, are moving towards specialization. The role of compilers is becoming crucial in bridging the ever-increasing gap between these two. We want compilers that are correct and generate high-quality code. Many researchers and developers invested efforts in solving these problems, but without making direct use of formal methods. In this talk, Jubi will describe how formal-methods-based techniques can help compiler developers create better static analyses, generate an automatic peephole optimizer for a compiler, and thus be used to improve overall compiler construction.
Link
http://ps.berkeley.edu/seminar
Register via mailing list
Talk Abstract: As programming languages are becoming more high-level to improve programmers' efficiency, the processors, in contrast, are moving towards specialization. The role of compilers is becoming crucial in bridging the ever-increasing gap between these two. We want compilers that are correct and generate high-quality code. Many researchers and developers invested efforts in solving these problems, but without making direct use of formal methods. In this talk, Jubi will describe how formal-methods-based techniques can help compiler developers create better static analyses, generate an automatic peephole optimizer for a compiler, and thus be used to improve overall compiler construction.
Link
http://ps.berkeley.edu/seminar
Register via mailing list
THNX!
PS
А разве этот доклад доступен уже к прочтению? :)
TS
А разве этот доклад доступен уже к прочтению? :)
может после регистрации (на сегодняшний семинар) присылают аннотацию?
PS
Я вчера посмотрел ее страницу и нашел вот это: Superoptimizer driven Peephole Optimizer for a JIT Compiler Jubi Taneja, John Regehr In preparation
PS
То есть это вариант Souper для Cranelift. Всего лишь, увы :)
M
Да это всего лишь привязка Souper к Cranelift что тоже неплохо.
2020 June 05
AT
Кстати, мне тут подумалось: в современных компиляторах аллокатор регистров как-то учитывает, что фактически у процессора регистров больше, чем можно прямо адресовать и он будет их переименовывать? И если да, то как?
VK
Кстати, мне тут подумалось: в современных компиляторах аллокатор регистров как-то учитывает, что фактически у процессора регистров больше, чем можно прямо адресовать и он будет их переименовывать? И если да, то как?
Присоединяюсь к вопросу!
MO
Кстати, мне тут подумалось: в современных компиляторах аллокатор регистров как-то учитывает, что фактически у процессора регистров больше, чем можно прямо адресовать и он будет их переименовывать? И если да, то как?
Если допустить, что учитывает, как это отразить в коде?
AT
Если допустить, что учитывает, как это отразить в коде?
В каком коде? В сгенерированном? Очевидно, как перезапись значения в регистре, в рассчёте на то, что процессор переименует и будет брать оба значения из регистров, а последующий load старого значения просто выбросит. Я так это себе представляю.
MO
В каком коде? В сгенерированном? Очевидно, как перезапись значения в регистре, в рассчёте на то, что процессор переименует и будет брать оба значения из регистров, а последующий load старого значения просто выбросит. Я так это себе представляю.
Да, я понял мысль. Я думал, что это задача скорее для планировщика.
AT
Да, я понял мысль. Я думал, что это задача скорее для планировщика.
Возможно. Я в бэк-енде компилятора плохо ориентируюсь. 😊
Но вопрос остаётся.
Но вопрос остаётся.
MO
Возможно. Я в бэк-енде компилятора плохо ориентируюсь. 😊
Но вопрос остаётся.
Но вопрос остаётся.
В теории существуют такие монстры, которые планируют, распределяют и спилят одновременно, там я бы ожидал, что какие-то аспекты учитывались