Глобальные и локальные оптимизации

Анализ совмещений (alias analysis)

• анализ совмещения через параметры
• анализ совмещения указателей для глобальных и статических указателей (Local point to analysis - LPT)

Важная часть механизма определения зависимостей.

В случае с анализом совмещения указателей с каждым указателем связывается множество возможных значений. Два указателя могут ссылаться на одну область памяти, если пересечение множеств их допустимых значений не пусто.

Пример на LPT анализ

Можно ли осуществлять цикловые оптимизации с циклом for?

Межпроцедурный анализ используется для протяжки атрибутов функций. Например, есть атрибуты no_side_effect, always_return и т.д.

IPA используется для протяжки атрибутов переменных. Например, переменные помеченные атрибутом "адрес был взят" исключаются из многих оптимизаций. Этот атрибут для глобальных переменных устанавливает IPA.

Продвижение данных (Data promotion). Каждая переменная имеет свою область видимости (scope). IPA позволяет протягивать данные, которые используются только в определенной процедуре, на уровень этой процедуры, что сразу позволяет включить их во многие оптимизации.

Функции, используемые только в одной программе получают атрибут static.

Удаление неиспользуемых глобальных переменных.

Удаление мертвого кода.

В данном случае, функция не будет включаться в исполняемый модуль, если она не входит в граф вызовов или все ее вызовы были подставлены (inline). (Вывод – для улучшения размеров кода и времени компиляции используйте атрибут static).

Протяжка информации о выравнивании аргументов. Если актуальные аргументы функции всегда выровнены, то мы можем улучшить векторизацию внутри процедуры.

Межпроцедурные оптимизации

Используются связи, возникающие при вызовах процедур, для того, чтобы оптимизировать одну или несколько процедур или выяснить, как они соотносятся друг с другом.

Протяжка константных аргументов

Если при каждом вызове процедуры f(i,j,k) в программе в качестве аргумента i всегда передается некая константа, то это позволяет присвоить первому формальному аргументу значение этой константы в коде процедуры f().

Протяжка возвращаемых значений

Если процедура всегда возвращает константное значение, то возможно протянуть это значение наружу.

То же самое касается передаваемых в процедуру аргументов. Если перед выходом из процедуры значение аргумента константа, то ее также можно протянуть наружу.

Пример. Константа протягивается в функцию через аргумент. Константа протягивается в вызывающую функцию.

увеличить изображение

Таким образом, протянув константу удалось избавиться от ветвления.

Подстановка (inlining)

Подстановка удаляет накладные расходы связанные с подготовкой к вызову функции, удаляет переходы, которые могут быть источниками неэффективной работы памяти, позволяет эффективнее применять скалярные и оптимизации циклов. Недостаток оптимизации – увеличение размера приложения. Как следствие – увеличение времени компиляции и необходимых для компиляции ресурсов.

Эвристики для подстановок пытаются выбрать наиболее выгодные для подстановки функции с тем, чтобы получить максимальный эффект для производительности, не выходя за пределы допустимого увеличения кода.

Атрибут функции inline

inline int exforsys(int x1) {
  return 5*x1;
 }
    

Программист "рекомендует" компилятору сделать подстановку такой функции.

Управление подстановкой

Синтаксис:

#pragma inline[recursive]
#pragma forceinline[recursive]
#pragma noinline
    

Аргумент Recursive

Директива

Аналоги для языка Фортран

Компиляторные опции подстановки

/Ob<n>    control inline expansion:
            n=0  disable inlining
            n=1  inline functions declared with __inline, and perform C++ inlining
            n=2  inline any function, at the compiler's discretion 
/Qinline-min-size:<n>
          set size limit for inlining small routines
/Qinline-min-size-
          no size limit for inlining small routines
/Qinline-max-size:<n>
          set size limit for inlining large routines
/Qinline-max-size-
          no size limit for inlining large routines
/Qinline-max-total-size:<n>
          maximum increase in size for inline function expansion
/Qinline-max-total-size-
          no size limit for inline function expansion
    

Клонирование функций

Если в функцию f(x,y,x) передается x=2 в одном случае и x=3 в другом, то возможно заменить вызов функции f на вызовы f2 и f3.

Частичная подстановка

Если в функции f содержится вначале функции код, зависящий только от формальных аргументов, то этот код может быть подставлен в вызывающую функцию и удален из функции f.

Девиртуализация для C++

Вызов функций через указатели дороже простого вызова.

C++ - объектно-ориентированный язык поддерживающий высокий уровень абстракции.

Возможность выполнения методов функции в зависимости от типа объекта времени выполнения.

A => B => C

Все наследуемые классы переопределяют virtual int foo()

int process(class A *a) {
      return(a->foo());
   }