Я хотел бы конкретно знать, что соответствует различным уровням оптимизации LLVM.
То есть, я хотел бы знать, какие шаги оптимизации выполняются ТОЧНО (за пределами интерфейса) и в каком порядке, когда я использую опции "-0x" для llvm (или clang или opt). "Человек" соответствующих инструментов не предоставляет много информации по этому вопросу (на oposite gcc one).
Я знаю эту полезную страницу: http://llvm.org/docs/Passes.html, но она не предоставляет никакой информации о параметрах "-Ox". Я искал некоторые варианты отладки или подробные варианты (например, используя информацию из "opt -help" ), но я не мог найти полезный вариант.
В качестве дополнения я заметил, разобрав код, что все различные инструменты LLVM, а также clang используют разные драйверы, которые анализируют параметры по-своему. Все ли эти драйверы аналогичны параметрам "-Ox"?
Изменить: я нашел параметр "-debug-pass = Arguments" для инструмента "opt", который дает следующий вывод для опции "O1":
Pass Arguments: -targetdata -no-aa -tbaa -targetlibinfo -basicaa -simplifycfg -domtree -scalarrepl -early-cse -lower-expect
Pass Arguments: -targetlibinfo -targetdata -no-aa -tbaa -basicaa -globalopt -ipsccp -deadargelim -instcombine -simplifycfg -basiccg -prune-eh -always-inline -functionattrs -scalarrepl-ssa -domtree -early-cse -simplify-libcalls -lazy-value-info -jump-threading -correlated-propagation -simplifycfg -instcombine -tailcallelim -simplifycfg -reassociate -domtree -loops -loop-simplify -lcssa -loop-rotate -licm -lcssa -loop-unswitch -instcombine -scalar-evolution -loop-simplify -lcssa -iv-users -indvars -loop-idiom -loop-deletion -loop-unroll -memdep -memcpyopt -sccp -instcombine -lazy-value-info -jump-threading -correlated-propagation -domtree -memdep -dse -adce -simplifycfg -instcombine -strip-dead-prototypes -preverify -domtree -verify
Это близко от того, что я хотел, но осталось два вопроса:
-
почему есть два списка?
-
Есть ли подобный вариант для других инструментов, особенно "clang"? (согласно моим тестам, "-debug-pass = Arguments" не работает с clang)
Изменить: опция "-debug-pass = Structure" для инструмента "opt" дает еще более удобные для пользователя данные (от http://llvm.org/docs/WritingAnLLVMPass.html)