E
вряд ли в SSA есть концепт тернарок, но обычно стараются под них завести отдельную инструкцию аля селект
Size: a a a
2020 November 27
AT
а много есть языков программирования, где каждая переменная задаётся ровно единожды, и при этом нет shadowing?
Prolog ещё и, наверное, остальные логические языки. Правда, там "переменные" имеют другую семантику...
M
а много есть языков программирования, где каждая переменная задаётся ровно единожды, и при этом нет shadowing?
Это не имеет значения, потому что это или ужесточении концепций или упрощение, но не изменение, язык в которых cfg может выступать как значение я вижу впервые
E
вот вам сложный кфг без фи -_-, правда SROA первым же делом это исправит
AT
Это не имеет значения, потому что это или ужесточении концепций или упрощение, но не изменение, язык в которых cfg может выступать как значение я вижу впервые
call/cc? 😉M
φ function used in the theory of SSA
M
У кого есть pdf что за теория?
TS
пролема только в том, что эпл говорит что возможна ситуация, когда не у всех ядер-потоков будет эта возможность
ну так и Розетту они будут гонять только на больших ядрах и это ок.
E
ну так и Розетту они будут гонять только на больших ядрах и это ок.
так не речь не про розетту, а нативные
TS
так не речь не про розетту, а нативные
насколько я понял что если включить этот msr то миграции на слабые ядра не будет, и вроде бы, в рамках модели внутри одного приложения тогда тоже получается ок
NK
Популярный алгоритм распределения регистров линейным сканированием (Linear Scan Register Allocation, 1999) определен на живых интервалах (live intervals) и линейном списке инструкций. Построение и хранение списка интервалов в виде пар индексов инструкций занимает время и память, поэтому исследователи продолжали искать возможность не строить явно список интервалов.
Авторы Efficient Global Register Allocation (2020) предложили алгоритм из того же семейства, но определенный на графе потока исполнения (control flow graph). Ключевые идеи здесь две:
1. Список живых интервалов здесь отслеживаются неявно, на каждом из базовых блоков и инструкций внутри блоков.
2. Проход по отдельным инструкциям позволяет не только не строить в явном виде интервалы, но и высвобождать временно регистры внутри блоков, что решает проблему "пустот в живости" (liveness holes).
Алгоритм сравним по производительности порожденного кода с актуальными реализациями линейного сканирования, немного выигрывая в ресурсах на этапе компиляции. Из работы следует, что основное преимущество подхода заключается в возможностях специальных оптимизаций.
В настоящий момент этот вариант линейного сканирования используется при порождении регистрового байткода dex для виртуальной машины ART, используемый в Android.
https://arxiv.org/pdf/2011.05608.pdf
#registeralloc #linearscan #dex #art #android
Авторы Efficient Global Register Allocation (2020) предложили алгоритм из того же семейства, но определенный на графе потока исполнения (control flow graph). Ключевые идеи здесь две:
1. Список живых интервалов здесь отслеживаются неявно, на каждом из базовых блоков и инструкций внутри блоков.
2. Проход по отдельным инструкциям позволяет не только не строить в явном виде интервалы, но и высвобождать временно регистры внутри блоков, что решает проблему "пустот в живости" (liveness holes).
Алгоритм сравним по производительности порожденного кода с актуальными реализациями линейного сканирования, немного выигрывая в ресурсах на этапе компиляции. Из работы следует, что основное преимущество подхода заключается в возможностях специальных оптимизаций.
В настоящий момент этот вариант линейного сканирования используется при порождении регистрового байткода dex для виртуальной машины ART, используемый в Android.
https://arxiv.org/pdf/2011.05608.pdf
#registeralloc #linearscan #dex #art #android
L
подскажите как заставить ANTLR4 плагин для Idea работать. если много ошибок - я вижу пикрелейтед вместо текста
L
может ктото хотя бы подскажет как заставить antlr4 сгенерировать парсер по двум раздельным файлам - отдельному лексеру и отдельному парсеру
L
а то в парсере я получаю "implicit definition of token LT in parser"
А
может ктото хотя бы подскажет как заставить antlr4 сгенерировать парсер по двум раздельным файлам - отдельному лексеру и отдельному парсеру
L
это не работает. вот что я пробовал:
* pure lexer grammar и pure parser grammar в разных файлах без импортов. не работает. ошибку писал.
* pure lexer grammar и combined grammar без импортов. не работает. та же ошибка.
* pure lexer grammar и combined grammar с импортом, ошибка combined grammar MELSEQ and imported lexer grammar MELSEQLexer both generate MELSEQLexer
* combined grammar и combined grammar - первая грамматика не содержит правил парсера, поэтому не генерится
* pure lexer grammar и pure parser grammar с импортом, lexer rule RBRACKET not allowed in parser
* pure lexer grammar и pure parser grammar в разных файлах без импортов. не работает. ошибку писал.
* pure lexer grammar и combined grammar без импортов. не работает. та же ошибка.
* pure lexer grammar и combined grammar с импортом, ошибка combined grammar MELSEQ and imported lexer grammar MELSEQLexer both generate MELSEQLexer
* combined grammar и combined grammar - первая грамматика не содержит правил парсера, поэтому не генерится
* pure lexer grammar и pure parser grammar с импортом, lexer rule RBRACKET not allowed in parser
L
короче не работает вообще ни в каких комбинациях
IK
подскажите как заставить ANTLR4 плагин для Idea работать. если много ошибок - я вижу пикрелейтед вместо текста
Вы прикрепили пустой скрин.
L
Вы прикрепили пустой скрин.
вот именно