PS
Кстати, в llvm цикл надо по-прежнему ротейтить, чтобы loopvectorizer начал работать?
Size: a a a
2020 November 10
E
Pavel Samolysov
Кстати, в llvm цикл надо по-прежнему ротейтить, чтобы loopvectorizer начал работать?
канонизировать* :)
E
ротейт это вроде "а давайте перевернем и посмотрим че будет"
PS
Пасс называется loop-rotate вроде
E
не уверен что оно, это вроде просто фор -> do-while насколько я понимаю.
а канонизация - это loop-simlify и -lcssa
а канонизация - это loop-simlify и -lcssa
E
E
в моем toy-джите вот такой порядок проходов: `loop-simplify
-loop-rotate -licm -simplifycfg -lcssa -loop-idiom -indvarsPS
Когда я последний раз экспериментировал loop-simplify и lccsa были не нужны, а без loop-rotate for i = 0; i < 16; i++ не векторизовалось.
PS
там даже где-то коммент есть в LoopVectorizer мол не можем вычислить сколько останется в скалярной форме. Но диагностика какая-то невнятная.
E
clang даже без оптимизаций уже эмитит довольно каноничный вид
PS
А с какими оптимизациями? С -02?
E
E
у пассов обычно зависимости, так что они за собой все равно симплифай и лцсса везут :)
PS
Понятно, спасибо. Но конкретно в этом примере, если добавить -simplifycfg то немного упрощаются переходы.
PS
Вот этот BB4.BB1_crit_edge: ожидаемо убирается.
E
ну simplifycfg в принципе самый популярный пасс, он для одной ф-ции в С++ном опте может раз 15 вызваться :D
dt
ПГО - это, кстати, всего лишь одна траектория исполнения программы? Или там можно нормальное такое Монте-Карло сделать с миллионом треков?
А в чем прикол? Нам ведь нужен "рабочий" профиль, а с Монте-Карло мы получим не пойми что. Например такое PGO считай наугад будет ветки Likely\Unlikely делать.
KR
А в чем прикол? Нам ведь нужен "рабочий" профиль, а с Монте-Карло мы получим не пойми что. Например такое PGO считай наугад будет ветки Likely\Unlikely делать.
Нет одного рабочего профиля. Это всегда спектр. Иначе клиенту можно просто отдать этот один результат, а программу стереть.
Собственно так с числом Пи в стандартных библиотеках поступают.
Собственно так с числом Пи в стандартных библиотеках поступают.
dt
А какой раунд МК ты отдашь клиенту?
KR
А какой раунд МК ты отдашь клиенту?
Никакой. По разным прогонам нужно считать, какие участки холодные, а какие горячие.