В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

994 membersпожаловаться на группу
2020 November 29

K

Kir in Compiler Development
MrSmith
Я вот писал транслятор си АСТ в  llvm ir, придерживаясь конвенции что у меня на вход дано изначально верное АСТ. Сейчас вот думаю, как бы описать правила что есть верное АСТ, что бы инкркментно проверять стало ли АСТ верным. Какие есть идеи?
Насоветываю мутные типы: разработать систему типов для входа и для выхода, вычислять типы и того и другого и проверять, что они соответствуют.
источник
15:48пожаловаться#1

E

EgorBo in Compiler Development
я подумал "мутные типы" это про людей
источник
17:01пожаловаться#2

AT

Alexander Tchitchigi... in Compiler Development
"Мутные семейства типов". Про людей. 😂
источник
17:22пожаловаться#3

а

а это кто in Compiler Development
я подумал это про типы)
источник
17:28пожаловаться#4

PS

Peter Sovietov in Compiler Development
Kir
Насоветываю мутные типы: разработать систему типов для входа и для выхода, вычислять типы и того и другого и проверять, что они соответствуют.
Компиляторщики так не говорят! Не "типы" — а абстрактные значения. Не "вычислить типы" — а реализовать алгоритм восходящего обхода AST с абстрактными вычислениями, к примеру ;)
источник
17:30пожаловаться#5

PS

Peter Sovietov in Compiler Development
А вы знали, что старинный компилятор Turbo Pascal имел собственный IR, в отличие от решений, вдохновленных Виртом?
Один исследователь разобрал ассемблерный код tpc.exe, перевел его на Паскаль и выложил в интернете.
Я прекрасно понимаю, что любителей археологии в области компиляторных технологий гораздо меньше, чем, скажем, исследователей компьютерных ретроигр, но, все же :)
http://direct.turbopascal.org/
direct.turbopascal.org
Turbo Pascal Compiler Internals - Source Code Revealed
Turbo Pascal compiler internals - the best book on compiler construction. Examine the internals of this legendary Pascal compiler and learn the tricks.
источник
21:40пожаловаться#6

MО

Miss Очепятка... in Compiler Development
Peter Sovietov
А вы знали, что старинный компилятор Turbo Pascal имел собственный IR, в отличие от решений, вдохновленных Виртом?
Один исследователь разобрал ассемблерный код tpc.exe, перевел его на Паскаль и выложил в интернете.
Я прекрасно понимаю, что любителей археологии в области компиляторных технологий гораздо меньше, чем, скажем, исследователей компьютерных ретроигр, но, все же :)
http://direct.turbopascal.org/
direct.turbopascal.org
Turbo Pascal Compiler Internals - Source Code Revealed
Turbo Pascal compiler internals - the best book on compiler construction. Examine the internals of this legendary Pascal compiler and learn the tricks.
Нету там IR
источник
23:09пожаловаться#7

M

MaxGraey in Compiler Development
Miss Очепятка
Нету там IR
Что то простое все же было: http://direct.turbopascal.org/intermediate-code
direct.turbopascal.org
Intermediate Code
Turbo Pascal uses a simple version of low-level intermediate code. Intermediate code is stored as records in dedicated symbol table.
источник
23:18пожаловаться#8

MО

Miss Очепятка... in Compiler Development
MaxGraey
Что то простое все же было: http://direct.turbopascal.org/intermediate-code
direct.turbopascal.org
Intermediate Code
Turbo Pascal uses a simple version of low-level intermediate code. Intermediate code is stored as records in dedicated symbol table.
Это отладочная информация, а не IR
источник
23:20пожаловаться#9

KR

K R in Compiler Development
Alexander Tchitchigin
В rustc обнаружение, восстановление и отображение ошибок наверняка тщательно написано руками, без генераторов.

Для LR на Rust есть отличная работа Лоуренса Тратта: https://tratt.net/laurie/blog/entries/automatic_syntax_error_recovery.html Но можно этот подход перенести и на другие системы. Что-то лучше из автоматического вряд-ли есть.
Насколько я понимаю, у него весь пафос в том, что подход очень общий, и его можно вставить даже в bison.
источник
23:37пожаловаться#10

PS

Peter Sovietov in Compiler Development
Miss Очепятка
Это отладочная информация, а не IR
Автор целый сайт создал с разбором кода в подтверждение своей информации. А что у Вас за источники? :)
источник
23:58пожаловаться#11

MО

Miss Очепятка... in Compiler Development
Peter Sovietov
Автор целый сайт создал с разбором кода в подтверждение своей информации. А что у Вас за источники? :)
Так Вы исходный код посмотрите все станет на свои места.
источник
23:59пожаловаться#12
2020 November 30

PS

Peter Sovietov in Compiler Development
Miss Очепятка
Так Вы исходный код посмотрите все станет на свои места.
То есть автор сам не понимает, что пишет? Откуда тогда уверенность, что исходный код правильный? Это, скорее, риторические вопросы :)
источник
00:00пожаловаться#13

E

EgorBo in Compiler Development
ого, ир для паскаля, кто-нибудь уже пробовал сделать ллвм бэк
источник
00:00пожаловаться#14

DP

Dmitry Ponyatov in Compiler Development
EgorBo
ого, ир для паскаля, кто-нибудь уже пробовал сделать ллвм бэк
лолвм васик'вильнюс
источник
10:06пожаловаться#15

PS

Pavel Samolysov in Compiler Development
MaxGraey
Что то простое все же было: http://direct.turbopascal.org/intermediate-code
direct.turbopascal.org
Intermediate Code
Turbo Pascal uses a simple version of low-level intermediate code. Intermediate code is stored as records in dedicated symbol table.
А кто-нибудь нашёл этот код, например на гитхабе, или он присутствует только в примерах на сайте, а целиком скачать нельзя?
источник
13:59пожаловаться#16

M

MaxGraey in Compiler Development
Pavel Samolysov
А кто-нибудь нашёл этот код, например на гитхабе, или он присутствует только в примерах на сайте, а целиком скачать нельзя?
это вопррос не ко мне)
источник
14:48пожаловаться#17

M

MaxGraey in Compiler Development
Очень странное решение у LLVM все еще использовать аж 4 не парируемые ALU операции там, где можно обойтись всего одним imul)
https://godbolt.org/z/zPjedG

Кто знает почему так?
godbolt.org
Compiler Explorer - C++
int mul29(int num) {
   return num * 29;
}

int mul30(int num) {
   return num * 30;
}
источник
18:56пожаловаться#18

M

MaxGraey in Compiler Development
imul на большинстве платформ - это ~2.5 такта и 1 RCP, кроме Zen2/3 у которого 2 и 1 соответственно

в вариантах с 4-мя ALU операциями в итоге получаем 3-4 такта и 1-2 RCP
источник
19:00пожаловаться#19

RE

Roman Elizarov in Compiler Development
Подозреваю что это с еще каких-то древних intel-ов. Просто никто не запарился обновить на современные, где быстрое умножение.
источник
19:02пожаловаться#20