Добрый день. Можете ли подсказать, как называется техника оптимизации арифметики, где y

Question

Добрый день. Можете ли подсказать, как называется техника оптимизации арифметики, где y

= x * 7

преобразуется в

t = x << 3
y = t - x

В llvm смог понять только, что для X86 это делается на этапе понижения из ll в mir, т.е. это не стандартный проход.
Может, есть статьи на эту тему или хотя бы ключевые слова на погуглить?

#compilerdev #it #programming #russian

0

09.09.2023

7 ответов

16 просмотров

Ivan Afanasyev Автор вопроса

Andrey
Strength reduction

Благодарю!

0

09.09.2023

Ivan Afanasyev Автор вопроса

Скажем так, я исследовал только X86, а в нём заметил, что "mul 7" преобразуется в "lea + sub" на этапе понижения в mir. Возможно, другие бэкенды делают иначе. Зуб не дам.

0

09.09.2023

Peter Sovietov

В зависимости от реализации, это может быть и классическим применением техники супероптимизации (souper).

0

09.09.2023

Dmitry Solomennikov

Жемчужины программирования. Джон Бентли. Это замена более дорогих инструкций на более дешёвые для известных частных случаев.

0

09.09.2023

Александр

Кстати сейчас такая оптимизация часто может быть вредной, ибо сейчас конвееризация и скорость может амортизировать издержки, тогда как две чистые связанные по данным инструкции сольют выигрыш в чистых вычислениях и проиграют из-за кэширования промежуточного результата или занятия регистров. ЕМНИП единственное где ты можешь выигрыш получить, это если ты будешь векторные инструкции гонять с помощью load/store и разумно держать регистры.

0

09.09.2023

Viktor Shamparov

Александр
Кстати сейчас такая оптимизация часто может быть в...

Так ведь это настолько архитектурно-зависимая оптимизация, что без знания конкретных задержек от инструкций делать её в общем бессмысленно. Соответственно, и правила для strength reduction / peephole optimization работают только тогда, когда это улучшает производительность.

0

09.09.2023

Andrey · Accepted Answer

Andrey

Strength reduction

0

09.09.2023

185 похожих чатов

Добрый день. Можете ли подсказать, как называется техника оптимизации арифметики, где y

7 ответов

Похожие вопросы