M
ну ее все же нужно обобщить и добавить правила для всех вариантов деления
Size: a a a
2020 February 13
AZ
понятно, что обобщить надо :)
AZ
со своей стороны я только два багрепорта могу создать :)
M
со своей стороны я только два багрепорта могу создать :)
Ну тоже не плохо) Можешь на примере FizzBuzz это продемонстрировать)
E
во, смотрите
E
оптимизация (X % Y) % Y is just X % Y.
в одну строку дсл-я
в одну строку дсл-я
M
оптимизация (X % Y) % Y is just X % Y.
в одну строку дсл-я
в одну строку дсл-я
О, ну если есть такое, то оптимизация выше тоже должна быть воспринята на ура)
E
так не, я про джит говорил, в С++ же вагон таких оптимизаций и никто не напрягается
E
DAG Instruction Selection (llc)
E
занимается тем мракобесием.
но в принципе логично, не место для opt
но в принципе логично, не место для opt
MM
Да, у GCC "мракобесие" тоже генерится в expand, т.е. при переходе от GIMPLE (аналог LLVM IR) к RTL (аналог Selection DAG и MachineInstr)
E
в гцц вроде вещи из дсл генерятся для разных фаз и для ловеринга и для обычных фаз
E
в этом вроде была идея дсл
E
генерить оптимизации для разных фаз из одного дсл
E
в ллвм вроде руками некоторые продублированы
E
как в инсткомбайн так и в даге
MM
В GCC несколько DSL. Есть "match and simplify", на котором написан match.pd - аналог InstCombine