Розщеплення циклу англ loop splitting оптимізація компілятора яка намагається спростити цикл або усунути залежності в ци

Розщеплення циклу (англ. loop splitting) — оптимізація компілятора, яка намагається спростити цикл або усунути залежності в циклі, розбивши його на кілька частин, що мають одне і те саме тіло циклу і різні діапазони лічильника.

Розглянемо, наприклад, такий код:

int p = 10; for (int i=0; i<10; ++i) {  y[i] = x[i] + x[p];  p = i; }

Зауважимо, що p = 10 лише для першої ітерації, а для всіх інших ітерацій p = i - 1. Компілятор може скористатися цим, розмотавши (або «відщепивши») першу ітерацію циклу.

Після застосування оптимізації код стане таким:

y[0] = x[0] + x[10]; for (int i=1; i<10; ++i) {  y[i] = x[i] + x[i-1]; }

Новий код рівносильний попередньому, проте усуває необхідність у змінній р всередині тіла циклу.

Вперше ця оптимізація з'явилася в GCC версії 3.4. Більш узагальнене розщеплення циклу додано в GCC 7.

Примітки

. Архів оригіналу за 2 вересня 2020. Процитовано 5 січня 2022.

Література

Альфред Ахо, Моника Лам, Рави Сети, Джеффри Ульман. Компиляторы: принципы, технологии и инструментарий = Compilers: Principles, Techniques, and Tools. — 2-е издание. — М.: «Вильямс», 2008. — 1184 с. — 1500 экз. — ISBN 978-5-8459-1349-4.
Steven S. Muchnick. Advanced Compiler Design and Implementation. — 5-е издание. — San Francisco: Morgan Kaufmann Publishers, 1997. — 856 с. — ISBN 1-55860-320-4.
Kennedy, Ken; & Allen, Randy. Optimizing Compilers for Modern Architectures: A Dependence-based Approach. — , 2001. — .

[R1-1] . Архів оригіналу за 2 вересня 2020. Процитовано 5 січня 2022.