У меня есть цикл for, где на каждом шаге i обрабатывается элемент массива p[f(i)], где f(i) — инъективное (однозначное) отображение от 1...n до 1. ...m (m > n). Таким образом, в цикле нет связи данных, и можно использовать все методы оптимизации компилятора, такие как конвейеризация. Но как я могу сообщить g++ об инъективности f(i)? Или мне вообще нужно (может ли g++ это понять)?
Подробнее здесь: https://stackoverflow.com/questions/393 ... e-function
