DS
Т-34 85
Каким образом-то? Он низкоуровневый, понятия не имеет об абстракциях, которые к нему пришли
У него достаточно много данных для большинства оптимизаций.
Size: a a a
2020 March 16
AL
Т-34 85
Хз, но если реально так, то не удивительно, почему он сливает gcc
ты в курсе же, что gcc тоже имеет промежуточные представления и конвейер преобразований, да?
Т8
ты в курсе же, что gcc тоже имеет промежуточные представления и конвейер преобразований, да?
Может и имеет, но вся магия, имхо, должна быть наверху
DS
ты в курсе же, что gcc тоже имеет промежуточные представления и конвейер преобразований, да?
Да более того, сейчас любой оптимизирующий компилятор имеет кучу таких представлений внутри.
AL
Т-34 85
Каким образом-то? Он низкоуровневый, понятия не имеет об абстракциях, которые к нему пришли
это не так работает, хе)
DS
Т-34 85
Может и имеет, но вся магия, имхо, должна быть наверху
Тут идея в том, что вверху у тебя оптимизации, которые не требуют знания целевой архитектуры, а вот на уровне llvm и т.п. сидят как раз требующие этого знания оптимизации
AZ
Да более того, сейчас любой оптимизирующий компилятор имеет кучу таких представлений внутри.
где-то читал идею про то что оптимизирующие компиляторы не нужы)
AZ
аргументация там правда соминтельная была
AZ
из разряда "докупите серверов"
AL
ну т.е. само собой, что есть оптимизации, где тебе важно высокоуровневое понимание. они делаются в начале конвейера. но есть куча оптимизаций, где тебе наоборот важны детали конкретной реализации - они располагаются в проходах ближе к конце конвейера, когда код уже полупереваренный в не похожую на изначальный язык кашу
DS
Тут идея в том, что вверху у тебя оптимизации, которые не требуют знания целевой архитектуры, а вот на уровне llvm и т.п. сидят как раз требующие этого знания оптимизации
Таким образом самые сложная часть написания компилятора - его бэкенд, можно переиспользовать между разными языками
DS
И суть в том, что у гцц вот этот нижний уровень сильно лучше, чем у llvm по всем параметрам
Т8
Тут идея в том, что вверху у тебя оптимизации, которые не требуют знания целевой архитектуры, а вот на уровне llvm и т.п. сидят как раз требующие этого знания оптимизации
Llvm il платформазависимый, поэтому всё равно требует знаний. Это ж не Си(--)
AK
https://godbolt.org/z/nXZR97
Почему раст добавляет дополнительные
Почему раст добавляет дополнительные
push rax // in the beginning of example::barПо сравнению с C++?
// and
pop rcx // in the end of example::bar
Ну это выравнвание. Накидывает 8 байт, чтобы выровнять под 16. В плюсах оно вроде перед вызовом делается. sub esp 8 call f add esp 8. В gcc по крайней мере.
Т8
И то, надо знать си, тогда
DS
Т-34 85
Llvm il платформазависимый, поэтому всё равно требует знаний. Это ж не Си(--)
Частично платформозависимый
AL
И суть в том, что у гцц вот этот нижний уровень сильно лучше, чем у llvm по всем параметрам
кроме сопровождаемости кода, насколько я в курсе
DS
Т.е. очевидно, что размеры данных туда уже приходят
DS
кроме сопровождаемости кода, насколько я в курсе
Да и его нельзя как библиотеку заиспользовать
RP
Alexander Krivitskiy
Ну это выравнвание. Накидывает 8 байт, чтобы выровнять под 16. В плюсах оно вроде перед вызовом делается. sub esp 8 call f add esp 8. В gcc по крайней мере.
Ну я вчера нарыл, что rsp должен быть выровнен по 16