6.2.6 C*$* assert no recurrence

The C*$* assert no recurrence assertion asks KAP to ignore ALL data dependence conflicts due to the named variable in the following DO loop. KAP makes the final decision whether or not to ignore a data dependence conflict. The following example asks KAP to ignore all dependence arcs caused by the variable X in the loop:

C*$* ASSERT NO RECURRENCE ( X )
    DO 10 I=1,M,5
        10    X(K) = X(K) + X(I)

Not only does KAP ignore the assumed dependence, but also the real dependence caused by X(K) appearing on both sides of the assignment.

This assertion only applies to the next DO loop. It cannot be specified as a global assertion.


Previous Page | Next Page | Contents | Index |
Command-Line Qualifiers