2 |
Semantics:
-
INDEPENDENT is an assertion that no iteration affects any other iteration in any way
-
NEW variables are treated as if they were allocated anew for each iteration (DO only)
-
Applied to a DO: states that there are no loop carried dependences (except for NEW variables)
-
Applied to a FORALL: states that no index point assigns to any location that another uses
-
If the assertion is false, the program is not standard-conforming (i.e. results are not defined)
|