Т8
Эти оптимизации на этапе ллвм делаются, насколько я знаю
Тогда вообще без разницы, си или раст
Size: a a a
2020 March 16
DS
Т-34 85
Тогда вообще без разницы, си или раст
Разница в том, что из сишного кода другой ллвм выходит просто в силу особенностей языка
Т8
Разница в том, что из сишного кода другой ллвм выходит просто в силу особенностей языка
Пинай clang, чтобы он лучший код llvm il выдавал
G
Из-за рестриктов в Rust помнится LLVM сломался даже, хех
G
Починили уже же?
AL
Из-за рестриктов в Rust помнится LLVM сломался даже, хех
там же не один баг, а куча целая
AL
самые критичные починили вроде, менее критичные еще проползают в мастер потихоньку
G
То есть сейчас полноценно рестрикт не оптимизируется?
DS
Т-34 85
Пинай clang, чтобы он лучший код llvm il выдавал
Это не возможно в общем случае
DS
Потому что стиль написания кода на си кардинально отличается
DS
Как и семантика самого языка
AL
Т-34 85
Пинай clang, чтобы он лучший код llvm il выдавал
почему тебя тезис "ллвм хуже оптимизирует, чем гццшеный бэк" так триггерит-то?
Т8
Как и семантика самого языка
Что там настолько уж отличающегося? Статический анализ даже умеет находить, когда можно const на переменную навесить
AL
То есть сейчас полноценно рестрикт не оптимизируется?
в сях оптимизируется (он там достаточно редко используется, что бы на эти баги не натыкаться), в расте по умолчанию полноценные оптимизации алиасинга все еще выключены были, когда последний раз смотрел
Т8
почему тебя тезис "ллвм хуже оптимизирует, чем гццшеный бэк" так триггерит-то?
Да пушто это почти ассемблер, как он может хорошо оптимизировать?
G
в сях оптимизируется (он там достаточно редко используется, что бы на эти баги не натыкаться), в расте по умолчанию полноценные оптимизации алиасинга все еще выключены были, когда последний раз смотрел
Понял
AL
Т-34 85
Да пушто это почти ассемблер, как он может хорошо оптимизировать?
ты на основании чего это странное говоришь сейчас?
Т8
ты на основании чего это странное говоришь сейчас?
Что именно? Что это ассемблер или что ассемблер не может делать хорошие оптимизации?
G
Т-34 85
Да пушто это почти ассемблер, как он может хорошо оптимизировать?
Например gcc/icc хорошо оптимизируют. Всякие детекты срыва конвейера и т.д., на низком уровне можно много чего оптимизировать
AZ
Т-34 85
Что там настолько уж отличающегося? Статический анализ даже умеет находить, когда можно const на переменную навесить
в си любые 2 указателя могут алиасится .В расте любые 2 ссылки _не_ могут алиаситься