[ HPF Home | Versions | Compilers | Projects | Publications | Applications | Benchmarks | Events | Contact ]

---

Next:

The FORALL Statement

XBNF forall-stmt -to -rule to to is FORALL forall-header forall-assignment

forall-header -to -rule to to is ( forall-triplet-spec-list [ , scalar-mask-expr ] ) XBNF

• Any procedure referenced in the scalar-mask-expr of a forall-header must be pure, as defined in Section .

XBNF forall-triplet-spec -to -rule to to is index-name = subscript : subscript [ : stride ] XBNF

• index-name must be a scalar integer variable.

• A subscript or stride in a forall-triplet-spec-list must not contain a reference to any index-name in the forall-triplet-spec-list in which it appears.

XBNF forall-assignment -to -rule to to is assignment-stmt -to or pointer-assignment-stmt XBNF

• Any procedure referenced in a forall-assignment, including one referenced by a defined operation or assignment, must be pure as defined in Section .