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

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

= x * 7

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

t = x << 3
y = t - x

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

7 ответов

14 просмотров

Strength reduction

Ivan-Afanasyev Автор вопроса
Andrey
Strength reduction

Благодарю!

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

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

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

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

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

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

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

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

Обсуждают сегодня

Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
9
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Привет, такой вопросик появился кажется ли вам что Rust слишком сложный/строгий для высокоуровневого программирования и слишком "безопасный"/строгий для низкоуровневого?
Крокант
10
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Всем привет! Использую кастомное модальное диалоговое окошко, все по классике - mrOK, mrCancel как ModalResult. Однако есть нюанс - в главной форме есть универсальный обработч...
Олег Гранишевский
20
Карта сайта