RB
а далее вызывает его(llvm-api), чтобы получить ir. И этот ir - уже оптмизированный, если проще
Size: a a a
2021 March 05
D
Roman Blog
Полная херня нелепая.
Ну извини, у меня есть другая информация https://en.m.wikipedia.org/wiki/Restrict
RB
поэтому секта и сделал так, чтобы оптимизация влияла не только на проходы llvm, но и на сам огрызок фронта. Чтобы ты не мог взять и получить
AN
; invoke core::convert::num::<impl core::convert::From<u8> for i32>::from
%_3 = invoke i32 @"_ZN4core7convert3num63_$LT$impl$u20$core..convert..From$LT$u8$GT$$u20$for$u20$i32$GT$4from17h13e14648c4d8ddb6E"(i8 42)
to label %bb1 unwind label %cleanup, !dbg !358
а noexcept это модель llvm? вот этот
unwind label %abcRB
Dima
Ну извини, у меня есть другая информация https://en.m.wikipedia.org/wiki/Restrict
это писали идиоты. Они криво написали, а ты сожрал. Ты хоть по ссылкам ходи. Там говорится о том, что какой-то колхозник что-то там догнал при помощи него, а не то, что он появился в следствии
RB
статья от 2007 года, когда он появился с с99
RB
при этом, этот колхозник, явно не использовал никакой фотран - он использовал огрызок фронта к си-компилятору
RB
первое - стандарт в контексте си никого не волнует.
RB
второе - всё это реалии птушного кода и мусорной проприетарщины. В нормальном коде это нахрен не упало
RB
компилятор сам знает что является алиасами, а что нет. Поэтому никакой рестрикт нахрен не упал. А то, что какие-то колхозники не умеют писать код - для них делают lto
D
Roman Blog
первое - стандарт в контексте си никого не волнует.
Ну не надо говорить за всех, и при чем тут стандарт, я принципе не понимаю как без рестрикта говорить за оптимизации связыыные с алиасингом?
RB
Dima
Ну не надо говорить за всех, и при чем тут стандарт, я принципе не понимаю как без рестрикта говорить за оптимизации связыыные с алиасингом?
Притом, что он появился в c99, а не в си. Нормальный си существует вне стандарта. То, что стандарт - это огрызок. На этом никакой лоулевел и никакое "производительное" никто не пишет. Ну кто может достичь какого-либо в этом успеха
RB
почему и зачем нужен рестрикт? Потому, что есть вызов и компилятор теряет контекст
RB
в нормальном же коде вызов нахрен не упёрся, он вырубается. И компилятор контекста не теряет.
RB
так же, компилятор знает что и где и что аллоцирует. Он даже может знать границы аллокации
D
Roman Blog
Притом, что он появился в c99, а не в си. Нормальный си существует вне стандарта. То, что стандарт - это огрызок. На этом никакой лоулевел и никакое "производительное" никто не пишет. Ну кто может достичь какого-либо в этом успеха
Я понял, для тебя си это это функции внутр которых асм, такой подход тоже имеет право на жизнь)
RB
Dima
Я понял, для тебя си это это функции внутр которых асм, такой подход тоже имеет право на жизнь)
нет, для меня си - это gnuc. Это тот путь по которому пошёл раст. Именно поэтому у тебя есть хотя бы интероп с ллвм
RB
вот изначально это было создано в gnuc в полноценном виде. И си стал gnuc, а все последующие стандарты - это попытка привести стандартный огрызок к gnuc
RB
но стандартный си всегда будет мусором, потому как какое-то адекватное написание кода в отрывы от компилятора - невозможно
RB
и что самое интересное - даже тот колхозник из статьи не использует стандартный си