Слияние циклов (объединение циклов, англ. loop fusion, англ. loop jamming) — оптимизация компилятора, выполняющая объединение нескольких циклов, смежных в дереве циклов, в один. Преобразование возможно, если циклы имеют одинаковое количество итераций и не зависят друг от друга по данным[англ.]. Слияние циклов может повысить локальность данных[1] [2], что повышает эффективность работы кэша.
Слияние циклов не всегда сокращает время исполнения программы. На некоторых архитектурах может оказаться более выгодным исполнить два цикла вместо одного объединённого, так как, например, локальность данных в таком случае может оказаться выше. В таких случаях, может применяться обратная оптимизация, разложение циклов, которая расщепляет один цикл на несколько.
Примеры
правитьint i, a[100], b[100];
for (i = 0; i < 100; i++)
a[i] = 1;
for (i = 0; i < 100; i++)
b[i] = 2;
эквивалентно:
int i, a[100], b[100];
for (i = 0; i < 100; i++)
{
a[i] = 1;
b[i] = 2;
}
Примечания
править- ↑ Manjikian, N., Abdelrahman, T.S. Fusion of loops for parallelism and locality Архивная копия от 1 апреля 2011 на Wayback Machine
- ↑ Штейнберг Б.Я., Штейнберг О.Б., Василенко А.А. Слияние циклов для локализации данных