BD
например для saturated arithmetic
Size: a a a
2020 February 27
E
мы просто недавно баг в ллвм нашли с и65 под какой-то армовый таргет :)
BD
прикольно, а в чем баг?
E
пытаюсь найти, он там какую-то недопустимую инструкцию заэмител
BD
ну все эти i65 по идее должны заловериться до фазы кодогенерации во что-то представимое (machine native)
BD
кто там спрашивал про ELF format, вот тут неплохо объяснено https://fasterthanli.me/blog/2020/whats-in-a-linux-executable/
кто-то интересовался вроде бы тут
кто-то интересовался вроде бы тут
BD
Vasiliy Tereshkov
Коллеги, а ELF проще или сложнее PE? В моём компиляторе пока только генерация PE. Формировать файл не слишком большое удовольствие, но и не адски трудная задача.
^^
VT
Спасибо! Надеюсь, Rust там не очень страшный.
PS
Помните вчерашнее обсуждение переписывания термов? Думаете, это скучно и неинтересно? И к компиляторам не относится? Напрасно!
Занимался я своими делами компиляторными сегодня и пришлось снова поиграть с тестовым набором правил алгебраических упрощений после серьезных переделок в моем raddsl.
А набор этот я вытянул из SSA-модуля компилятора Go. И каково же было мое удивление, когда набор этот не справился с совершенно безобидным выражением!
Я проверил результат на настоящем компиляторе Go — ну точно, проблема существует! Пришлось самому доработать правила.
Написал вот сейчас им issue c предложениями правок, хотя вообще Go не пользовался :)
Занимался я своими делами компиляторными сегодня и пришлось снова поиграть с тестовым набором правил алгебраических упрощений после серьезных переделок в моем raddsl.
А набор этот я вытянул из SSA-модуля компилятора Go. И каково же было мое удивление, когда набор этот не справился с совершенно безобидным выражением!
Я проверил результат на настоящем компиляторе Go — ну точно, проблема существует! Пришлось самому доработать правила.
Написал вот сейчас им issue c предложениями правок, хотя вообще Go не пользовался :)
M
E
я уверен что таких правил можно придумать очень много
E
самые популярные три это
x+c1==c2 to x==c2-c1
((x+c1)+(y+c2)) to ((x+y)+(c1+c2))
((x+c1)+c2) to (x+(c1+c2))
x+c1==c2 to x==c2-c1
((x+c1)+(y+c2)) to ((x+y)+(c1+c2))
((x+c1)+c2) to (x+(c1+c2))
E
в го же кстати вроде тоже правила аналогично гцц описаны в DSL
M
самые популярные три это
x+c1==c2 to x==c2-c1
((x+c1)+(y+c2)) to ((x+y)+(c1+c2))
((x+c1)+c2) to (x+(c1+c2))
x+c1==c2 to x==c2-c1
((x+c1)+(y+c2)) to ((x+y)+(c1+c2))
((x+c1)+c2) to (x+(c1+c2))
Самое главное - это придумать нормализированную форму для всех выражений и прежде всего делать пред-нормализацию, а уже потом переводить в SSA (или не переводить) и применять правила
E
ну да, например выносить константы в правый оператор всегда :)
E
(если это не флоты)
PS
MaxGraey
Самое главное - это придумать нормализированную форму для всех выражений и прежде всего делать пред-нормализацию, а уже потом переводить в SSA (или не переводить) и применять правила
Да, это важное замечание. В хорошем компиляторе алгебраические упрощения работают на более высоком уровне, нежели 'шапкозакидательские' peepholes :)
M
для флоатов там отдельно все
E
хотя и с флотами можно (у нас есть флаг "выполнять в реверс ордере"
