Il Linguaggio Fortran 90/95

3.8 Ottimizzazione delle operazioni con array 157
! D: scalarizzazione corretta e
! loop reversal
DO i=n-1,2,-1
a(i) = a(i)+a(i-1)
END DO
3.8.12 Loop normalization
Il loop normalization converte tutti i cicli in modo tale che l’indice del ciclo valga inizialmente
1 (oppure 0) e sia incrementato di un fattore unitario ad ogni iterazione. Normalizzare un ciclo
può consentire altri tipi di trasformazione come il peeling o la fusione sebbene la sua maggiore
utilità risiede nel fatto di consentire al compilatore di eseguire test di coerenza sulle variabili
indiciate nei cicli, test che di solito possono aver luogo soltanto in presenza di cicli con range
normalizzati. Un esempio di loop normalization è il seguente:
! ciclo originale
DO i=1,n
a(i) = a(i)+k
END DO
DO i=2,n+1
b(i) = a(i-1)+b(i)
END DO
! dopo la normalizzazione
DO i=1,n
a(i) = a(i)+k
END DO
DO i=1,n
b(i+1) = a(i)+b(i+1)
END DO
Si noti che è soltanto dopo l’operazione di normalizzazione che i due cicli potranno essere
eventualmente fusi:
! dopo normalizzazione e fusione
DO i=1,n
a(i) = a(i)+k
b(i+1) = a(i)+b(i+1)
END DO
E’ da notare che tutte queste operazioni vengono svolte automaticamente da alcuni compilatori
a determinati livelli di ottimizzazione il che lascia al programmatore come unica preoccupazione
quella di scrivere programmi che utilizzino cicli nel modo più semplice, chiaro e
compatto possibile, mentre è il compilatore a farsi carico del compito di ottimizzare il codice
”dietro alle quinte”. Nondimeno è importante capire i problemi coinvolti nell’ottimizzazione dei