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

---

Next:

ALIGN and REALIGN Directives

XBNF align-directive -to -rule to to is ALIGN alignee align-directive-stuff

realign-directive -to -rule to to is REALIGN alignee align-directive-stuff -to or REALIGN align-attribute-stuff :: alignee-list

align-directive-stuff -to -rule to to is ( align-source-list ) align-with-clause

align-attribute-stuff -to -rule to to is [ ( align-source-list ) ] align-with-clause

alignee -to -rule to to is object-name

align-source -to -rule to to is : -to or * -to or align-dummy

align-dummy -to -rule to to is scalar-int-variable XBNF

• An object-name mentioned as an alignee must be a simple name and not a subobject designator.

• An object-name mentioned as an alignee may not appear as a distributee.

• An object-name mentioned as an alignee may not have the POINTER attribute.

• Any alignee that appears in a REALIGN directive must have the DYNAMIC attribute (see Section ).

  

  

• If the align-source-list is present, its length must equal the rank of the alignee.

• An align-dummy must be a named variable.

• An object may not have both the INHERIT attribute and the ALIGN attribute. (However, an object with the INHERIT attribute may appear as an alignee in a REALIGN directive, provided that it does not appear as a distributee in a DISTRIBUTE or REDISTRIBUTE directive.)

XBNF align-with-clause -to -rule to to is WITH align-spec

align-spec -to -rule to to is align-target [ ( align-subscript-list ) ] -to or * align-target [ ( align-subscript-list ) ]

align-target -to -rule to to is object-name -to or template-name

align-subscript -to -rule to to is int-expr -to or align-subscript-use -to or subscript-triplet -to or *

align-subscript-use -to -rule to to is [ [ int-level-two-expr ] add-op ] align-add-operand -to or align-subscript-use add-op int-add-operand

align-add-operand -to -rule to to is [ int-add-operand * ] align-primary -to or align-add-operand * int-mult-operand

align-primary -to -rule to to is align-dummy -to or ( align-subscript-use )

int-add-operand -to -rule to to is add-operand

int-mult-operand -to -rule to to is mult-operand

int-level-two-expr -to -rule to to is level-2-expr XBNF

• If the align-spec in an ALIGN directive begins with ``*'' then every alignee must be a dummy argument.

• The align-spec in a REALIGN may not begin with ``*''.

• Each align-dummy may appear at most once in an align-subscript-list.

• An align-subscript-use expression may contain at most one occurrence of an align-dummy.

• An align-dummy may not appear anywhere in the align-spec except where explicitly permitted to appear by virtue of the grammar shown above. Paraphrased, one may construct an align-subscript-use by starting with an align-dummy and then doing additive and multiplicative things to it with any integer expressions that contain no align-dummy.

• A subscript in an align-subscript may not contain occurrences of any align-dummy.

• An int-add-operand, int-mult-operand, or int-level-two-expr must be of type integer.

Next: