Разработка компиляторов
Объединение циклов
Объединение циклов производится с целью сокращения накладных расходов на организацию цикла.
Контекстные условия корректности этого преобразования следующие:
- Границы, переменная и инкремент циклов должны быть одинаковыми.
- Ни одна итерация операторов второго цикла не должна использовать результаты последующих итераций первого.
Заметим, что условие одинаковости переменной циклов не является самым точным. Более правильно было бы сказать, что должно быть осуществимо такое переименование переменных, при котором переменные цикла становятся одинаковыми.
