AN
там же оно делает проверки для выхода за границе в дебаге
Size: a a a
2021 March 05
RB
ну проверки там взялись именно для того, чтобы тебя запутать
RB
потому как херня не позволяет дампить начальный ir
D
что это за говно оно родило
_3 = <T as From<u8>>::from(const 2_u8) -> [return: bb1, unwind: bb5]; // scope 0 at src/main.rs:4:16: 4:26
не знаю что за говно оно родило, и мне на данный момент это не очень интересно, потому что это не моя проблема
AN
_3 = <i32 as From<u8>>::from(const 42_u8) -> bb1;AN
vs
AN
3 = <T as From<u8>>::from(const 42_u8) -> [return: bb1, unwind: bb5];RB
лень )
В общем, забудь про оптимизации на этом мусоре - это всё обречено. Всё, что у тебя есть - это llvm. Поэтому твоя задача одна - не прятать от него код. Посмотри на раст-сектантов - они везде обмазываются inline, чтобы скрыть свой позор.
RB
_3 = <i32 as From<u8>>::from(const 42_u8) -> bb1;ну это до того момента, как ты там не вызываешь произвольную функцию
RB
внутри
AN
Roman Blog
ну это до того момента, как ты там не вызываешь произвольную функцию
ну да я же и сравнил дженерик с ручным типом
AN
а подожди
НТ
3 = <T as From<u8>>::from(const 42_u8) -> [return: bb1, unwind: bb5];че за гавно
AN
я понял. тут нет noexecpt
AN
🤦♂️
НТ
(uint8_t)motherfucker
НТ
и все
AN
т.е. только после инлайно можно что то делать
RB
Roman Blog
В общем, забудь про оптимизации на этом мусоре - это всё обречено. Всё, что у тебя есть - это llvm. Поэтому твоя задача одна - не прятать от него код. Посмотри на раст-сектантов - они везде обмазываются inline, чтобы скрыть свой позор.
Я не помню где об этом писал. Всё что нашёл - https://habr.com/ru/post/455379/#comment_20264405 - там есть пример https://godbolt.org/z/EQnbPF
RB
как видишь - оно выполняет цикл у которого есть сайд-эффект. Этот сайд-эффект оно может вынести из цикла, посчитать и далее он находится под If и оно может убрать if