Блог

У меня небольшая проблема с производительностью встроенной функции. Рассмотрим следующий код:-

 inline int left(int x) {
    return 2*x;
}
inline int right(int x) {
    return 2*x 1;
}

main() {
    for(int i=0;i<200000000;i  ) {
        int L=left(i);
        int R=right(i);
    }
}
  

Это при компиляции и выполнении (с флагом finline-функции и без него) занимает на моем компьютере около 1,90 секунды. Однако, когда я заменяю встроенные функции макросами, это занимает всего 1,26 секунды.
Хотя крайне маловероятно, что функция будет выполнена 200 миллионов раз, но все же я хотел бы знать, можно ли в любом случае достичь такой производительности с использованием встроенных функций?

РЕДАКТИРОВАТЬ: Получив пару оскорбительных комментариев, я понял, что не совсем ясно сформулировал свой вопрос. Я просто хотел знать, как добиться такой же производительности без использования каких-либо флагов оптимизации. Конечно, разумнее просто использовать -O2 или -O3, я просто хотел научиться.

Встроенные функции и макросы должны иметь одинаковую производительность, поэтому ваши функции, вероятно, не будут встроены. Попробуйте добавить

__attribute__((always_inline))

к объявлению вашей функции. (Также смотрите документы gcc здесь):

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

Для меня, с GCC 4.2.1 при -O3 оптимизации, нет разницы во времени выполнения между встроенной функцией и макрокомандой. В любом случае это 0,185 секунды, и я серьезно сомневаюсь, что мой ноутбук в 10 раз быстрее вашего компьютера.

Запуск g -S далее показывает, что объектный код идентичен.

Я настроил int L и int R на volatile int , чтобы заставить его фактически выполнить цикл.

Редактировать: Цель более низких настроек оптимизации — помочь в отладке. Одна из причин, по которой встроенная функция может работать медленнее -O0 , заключается в том, что компилятор следит за тем, чтобы все переменные находились в согласованном состоянии, которое вы можете остановить и просмотреть в отладчике, в строке кода внутри встроенной функции.

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