E
IR дерево 😊
Size: a a a
2020 February 27
E
$103 — это SSA Value Numbering
PK
Ребят, извините за оффтоп. Читаю вас так как начал пытаться погружаться в тему.
Вопрос давно мучает и я его все-там задам -- где вы все работаете? :) Что за наукоёмкие сферы деятельности, где ваши глубокие знания востребованы?
Вопрос давно мучает и я его все-там задам -- где вы все работаете? :) Что за наукоёмкие сферы деятельности, где ваши глубокие знания востребованы?
M
MaxGraey
Самое главное - это придумать нормализированную форму для всех выражений и прежде всего делать пред-нормализацию, а уже потом переводить в SSA (или не переводить) и применять правила
типичный пример:
имеется a_i32 > 6 && a_i32 <= 10
псводим все к каноническому виду:
a_i32 > 6 && a_i32 < 11
дальше:
> (a_i32 > 6) & (a_i32 < 11)
> unsigned(a_i32 - 6) < unsigned(11 - 6)
unsigned(a_i32 - 6) < 5
имеется a_i32 > 6 && a_i32 <= 10
псводим все к каноническому виду:
a_i32 > 6 && a_i32 < 11
дальше:
> (a_i32 > 6) & (a_i32 < 11)
> unsigned(a_i32 - 6) < unsigned(11 - 6)
unsigned(a_i32 - 6) < 5
E
MaxGraey
типичный пример:
имеется a_i32 > 6 && a_i32 <= 10
псводим все к каноническому виду:
a_i32 > 6 && a_i32 < 11
дальше:
> (a_i32 > 6) & (a_i32 < 11)
> unsigned(a_i32 - 6) < unsigned(11 - 6)
unsigned(a_i32 - 6) < 5
имеется a_i32 > 6 && a_i32 <= 10
псводим все к каноническому виду:
a_i32 > 6 && a_i32 < 11
дальше:
> (a_i32 > 6) & (a_i32 < 11)
> unsigned(a_i32 - 6) < unsigned(11 - 6)
unsigned(a_i32 - 6) < 5
о я это совсем недавно делал в джите нашем.
но выражения в которых затронуты логические операторы слишком сложны, я бы не стал их называть пипхолами, т.к. это уже не в пределах одного бейсик-блока
но выражения в которых затронуты логические операторы слишком сложны, я бы не стал их называть пипхолами, т.к. это уже не в пределах одного бейсик-блока
M
ну да это уже не совсем пипхол
PS
То есть тоже не посчиталось, как и в Go. Что за беда-то какая! Или друг у друга все одни и те же правила берут? :) Радует, что хоть gcc/clang прилично себя ведут!
M
В AS
export function foo(x: i32, y: i32, z: i32, abc: i32): i32 {
return (((((1000 - x) + y) - z) - 10) + abc) - 42;
}
export function foo(x: i32, y: i32, z: i32, abc: i32): i32 {
return (((((1000 - x) + y) - z) - 10) + abc) - 42;
}
E
То есть тоже не посчиталось, как и в Go. Что за беда-то какая! Или друг у друга все одни и те же правила берут? :) Радует, что хоть gcc/clang прилично себя ведут!
я могу это правило добавить в течении 10 минут, вопрос нужно ли.
Го хвалят за скорость компиляции, можэет быть потому что там нет всего этого? :)
Го хвалят за скорость компиляции, можэет быть потому что там нет всего этого? :)
PS
MaxGraey
В AS
export function foo(x: i32, y: i32, z: i32, abc: i32): i32 {
return (((((1000 - x) + y) - z) - 10) + abc) - 42;
}
export function foo(x: i32, y: i32, z: i32, abc: i32): i32 {
return (((((1000 - x) + y) - z) - 10) + abc) - 42;
}
Молодцы :)
PS
я могу это правило добавить в течении 10 минут, вопрос нужно ли.
Го хвалят за скорость компиляции, можэет быть потому что там нет всего этого? :)
Го хвалят за скорость компиляции, можэет быть потому что там нет всего этого? :)
Это ведь просто приведение "подобных" констант — чтобы их эффективно свернуть. Тут легко найти полный набор правил — нам нужно просто поднимать константы ближе к корню дерева выражения.
PS
Для Go там добавится всего 2-3 правила :)
E
я понимаю, у нас собсно и есть некоторые набор правил, по которым константы двигаются ближе к друг другу и другими правилами фолдятся
E
просто на это выражение нету :)
M
Все это заняло 6 мс. Если -O1 конечно поставить.
и 16 ms если с "-O3"
и 16 ms если с "-O3"
E
если я добавлю это правило, запущу так называемый "Jit-diff" который пройдет по стандартному набору библиотек и не найдет ни одного паттерна — мой пр отправят в отстойник
M
У нас обчно парсинг занимает дольше чем оптимизация)
AZ
если я добавлю это правило, запущу так называемый "Jit-diff" который пройдет по стандартному набору библиотек и не найдет ни одного паттерна — мой пр отправят в отстойник
Такая себе логика, если честно
M
если я добавлю это правило, запущу так называемый "Jit-diff" который пройдет по стандартному набору библиотек и не найдет ни одного паттерна — мой пр отправят в отстойник
Жесть. А ты добавляй вместе с PR сразу и боевой пример
AZ
MaxGraey
Жесть. А ты добавляй вместе с PR сразу и боевой пример
Сначала в либу коммитишь, а потом в jit