t
Я думаю важная задача компилятора генерить оптимизированный код,а не следовать стандартам )
Стандарты нужны при отладке,а при конечном бинаре они не нужны,главное семантику сохранить
Size: a a a
2020 December 06
t
Стандарты нужны при отладке,а при конечном бинаре они не нужны,главное семантику сохранить
код может хоть весь быть векторизированным и быть похожим как на обфусцированный,но если это дает прирост производительности,то это нужно юзать :)
t
Главное скорость)
t
Главное скорость)
Безопасность и др параметры если они поставлены
E
вообще можно использовать везде i32 и приписать метадату range [0..1] :) но да, придется биткастить к и1 для br постоянно. но зато ллвм все равно всё оптимизирует как хочет
E
точнее даже не надо биткастить, просто
icmp eq i32 %mybool, 1M
Выглядит так как будто что то точно сломается
M
Может есть какой то exac size
M
Для метадаты
E
эмитить и1 везде подряд тоже чо-нибудь сломает :)
E
Может есть какой то exac size
а чем range не то?
M
Приводить всеравно к i1 надо. Ну ладно, я понял что задача не так просто решается. Посмотрю где оно вообше влияет да может создат вообше на стороне translator псевдотипы
BD
Боже какой же ты бред пишешь
Llvm использует i1 для булов, так что не бред
BD
Это же ир
BD
i1 потом можно ловерить во что нужно уже
M
Llvm использует i1 для булов, так что не бред
Я про то что "можно не соблюдать весь стандарт" и "костыли"
M
Не просто так они это тащут уже столько лет, видимо что то на это завязанно
BD
Я про то что "можно не соблюдать весь стандарт" и "костыли"
Ну какую часть стандарта представление в виде i1 не соблюдает?
BD
Все что 0i1 это false, все что не 0i1 это true
M
Ну я пока так и сделаю, с падингами, sizeof и тд потом протестирую. Может они и ничего так не сломает