<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/163336>163336</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [flang][OpenMP] OpenMP Loop Directives missed for consecutive OpenMPLoopDirectives
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            flang
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          Stylie777
      </td>
    </tr>
</table>

<pre>
    When a Fortran program has consecutive Do loops with OpenMP directives, flang is not processing the directives after the first loop. For example the following program:
```
  subroutine s
    integer :: a(2)
    integer :: b(2)

 !$omp do reduction (+: a(2))
    do i = 1, 2
      a(2) = a(2) + i
    end do
  !$omp end do

  !omp do reduction (+: b(2))
    do i = 1,5
 b(2) = b(2) + 1
    end do
  !omp end do

  end subroutine
```
Generates the following parse tree output (annotated with the location of the bug)
```
InternalSubprogram -> SubroutineSubprogram
| | | SubroutineStmt
| | | | Name = 's'
| | | SpecificationPart
| | | | ImplicitPart ->
| | | | DeclarationConstruct -> SpecificationConstruct -> TypeDeclarationStmt
| | | | | DeclarationTypeSpec -> IntrinsicTypeSpec -> IntegerTypeSpec ->
| | | | | EntityDecl
| | | | | | Name = 'a'
| | | | | | ArraySpec -> ExplicitShapeSpec
| | | | | | | SpecificationExpr -> Scalar -> Integer -> Expr = '2_4'
| | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | DeclarationConstruct -> SpecificationConstruct -> TypeDeclarationStmt
| | | | | DeclarationTypeSpec -> IntrinsicTypeSpec -> IntegerTypeSpec ->
| | | | | EntityDecl
| | | | | | Name = 'b'
| | | | | | ArraySpec -> ExplicitShapeSpec
| | | | | | | SpecificationExpr -> Scalar -> Integer -> Expr = '2_4'
| | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | ExecutionPart -> Block
| | | | ExecutionPartConstruct -> ExecutableConstruct -> OpenMPConstruct -> OpenMPLoopConstruct
| | | | | OmpBeginLoopDirective
| | | | | | OmpLoopDirective -> llvm::omp::Directive = do
| | | | | | OmpClauseList -> OmpClause -> Reduction -> OmpReductionClause
| | | | | | | Modifier -> OmpReductionIdentifier -> DefinedOperator -> IntrinsicOperator = Add
| | | | | | | OmpObjectList -> OmpObject -> Designator -> DataRef -> ArrayElement
| | | | | | | | DataRef -> Name = 'a'
| | | | | | | | SectionSubscript -> Integer -> Expr = '2_4'
| | | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | | DoConstruct
| | | | | | NonLabelDoStmt
| | | | | | | LoopControl -> LoopBounds
| | | | | | | | Scalar -> Name = 'i'
| | | | | | | | Scalar -> Expr = '1_4'
| | | | | | | | | LiteralConstant -> IntLiteralConstant = '1'
| | | | | | | | Scalar -> Expr = '2_4'
| | | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | | | Block
| | | | | | | ExecutionPartConstruct -> ExecutableConstruct -> ActionStmt -> AssignmentStmt = 'a(2_8)=a(2_8)+i'
| | | | | | | | Variable = 'a(2_8)'
| | | | | | | | | Designator -> DataRef -> ArrayElement
| | | | | | | | | | DataRef -> Name = 'a'
| | | | | | | | | | SectionSubscript -> Integer -> Expr = '2_4'
| | | | | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | | | | | Expr = 'a(2_8)+i'
| | | | | | | | | Add
| | | | | | | | | | Expr = 'a(2_8)'
| | | | | | | | | | | Designator -> DataRef -> ArrayElement
| | | | | | | | | | | | DataRef -> Name = 'a'
| | | | | | | | | | | | SectionSubscript -> Integer -> Expr = '2_4'
| | | | | | | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | | | | | | | Expr = 'i'
| | | | | | | | | | | Designator -> DataRef -> Name = 'i'
| | | | | | EndDoStmt ->
| | | | | OmpEndLoopDirective
| | | | | | OmpLoopDirective -> llvm::omp::Directive = do
| | | | | | OmpClauseList ->
| | | | ExecutionPartConstruct -> ExecutableConstruct -> DoConstruct // <- This should be an OpenMPLoopConstruct not a DoConstruct.
| | | | | NonLabelDoStmt
| | | | | | LoopControl -> LoopBounds
| | | | | | | Scalar -> Name = 'i'
| | | | | | | Scalar -> Expr = '1_4'
| | | | | | | | LiteralConstant -> IntLiteralConstant = '1'
| | | | | | | Scalar -> Expr = '5_4'
| | | | | | | | LiteralConstant -> IntLiteralConstant = '5'
| | | | | Block
| | | | | | ExecutionPartConstruct -> ExecutableConstruct -> ActionStmt -> AssignmentStmt = 'b(2_8)=b(2_8)+1_4'
| | | | | | | Variable = 'b(2_8)'
| | | | | | | | Designator -> DataRef -> ArrayElement
| | | | | | | | | DataRef -> Name = 'b'
| | | | | | | | | SectionSubscript -> Integer -> Expr = '2_4'
| | | | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | | | | Expr = 'b(2_8)+1_4'
| | | | | | | | Add
| | | | | | | | | Expr = 'b(2_8)'
| | | | | | | | | | Designator -> DataRef -> ArrayElement
| | | | | | | | | | | DataRef -> Name = 'b'
| | | | | | | | | | | SectionSubscript -> Integer -> Expr = '2_4'
| | | | | | | | | | | | LiteralConstant -> IntLiteralConstant = '2'
| | | | | | | | | Expr = '1_4'
| | | | | | | | | | LiteralConstant -> IntLiteralConstant = '1'
| | | | | EndDoStmt ->
| | | EndSubroutineStmt ->
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsGV1v2zbw19AvRAKJsiLnwQ925AwB0rloiu2xoKSTzY4iBZJqk38_kLI-7FiO3djZgA2o0PC-v3h3lqjWbCUApiicozAe0cqspZo-mRfOIIqiUSKzl-mfaxCY4nupjKICl0quFC3wmmqcSqEhrQz7ATiWmEtZavyTmTVeliA-fcYZU5BatEbkDuecihVmGgtprJwUtGZihc0aepSY5gaUA-ZMaePEXlv9GJ5pUXKocZJz-dOybyxCwQx5M3Tjbf55M4x1lShZGSYAawfAmAkDK1DYkgczTBGZEERu92OTDmsJEPERGcuixJnECrIqNUwKjMgEkfmWtFZgJjHDKIixbyNANlDcUjpcdyBzzDY0IDKcSXfo9LbABn7AmOSwMaEFJn0zkr4Z_l4zXttgT12YdzLwGwhQ1IDeTRlVGrBRAFhWpqyMNZsKIQ01kNUlZDm4TKnzSubunFSrTTZ6Sh6EASUof6qSpjivULDAT61VHcayRne4eXokpjA7SPv8TgtwsUEk0ohEu_wlpCxntZGfqdon4qEoOUuZsWhn2B6aGFJOlZNyJ4U2qkrNxom-hh3c15cSepwDLuzIt0xWaC3iQRjFhGbpK7C9BlvAAdELYZh5sQoGCHbDSF-Hsf_MlKIvnSWL5zp6T2ta23KA9VVGFs-l2oQxpZyqLeda-aqxjHwbH7ateR6ZAUW5SwcVphW7C2_k7pf6X0p68n_S7_Di2Q3LulPU_HMu07_2KN8i3amAGkcTDjuIeujuBT5KWbaIAWeXRTmHFROWNm7G8YHALItyi7TWx_mPop6esijrPzoKG5t6dAzLvOO00vDIdONAA6qPX9pJ12BbSE32Rio_yYzlrKmEPvtDBsL0cDHkTEC2LO0Ik2rn7rRg69Msy95QuyzKZfIdUrPlWA1q1NltrNMUU0O_QF4f3AVZcChADKVv6-r3eU9ovu2FAheRpyrRqWKlOdcdOl_zdF7Kt0ratSEpHmkCPJYHemVrXH1PjJK8NswC5rISmT4mbL2G0486OzLqPfZ-eP0Lhtd_n2n_UObtM9Q60Xvb6CxtBuvm7H4m2ZvnYN1NmpBvE7uOBnHvQOZHZvsPqpjVvkfg0RE9Z884V-_4iB5ymYrqqqYz61cya5-3J8IxGk-NxyXq4dx18ZH1cdk62Ze9E0rkqKSdMEYWIqtn3KHNfVmUC5H9u1a8c-2_vX0AI3KPyD1Gwd0V_rpmGuu1rHiGE8BU7FuK3Usp2pdxPeDE0QvFry8T71gk3r1EnH-BGDIpvJBJ4bDUt5aGCy4MSX9hSPpj5ajU7K4LyYlj4tyjYbBLvfFTf6swLjwCzt_2--acnkN00mIwpOuUCFxqIThH9j-qCi5XDfsyddKPtV8w60C_PbgALES2_ba7JWpepY-yaZDdBrd0BFM_uvHGged70Wg9JbcZiUKSUj_xs3wc5BMvoZAkaQQ0DPN0xKbEI6Hv-WNvQvxxdE2ywIuiW-92PKHjKKdo7EFBGb-2q8O1VKsR07qCqX8TBMHNiNtxqt1nKELcVyJECArjkZpahqukWmk09jjTRnciDDPcfbuqOcIYhfN6sKMwbr5A2ZGL4-7jUsG0hgznUm19veoWgo52VCk-XRtTarvjuH1ixcy6Sq5TWSBy79ag-r-rUsnvkBpE7p1jGpH7jW8_puTvAAAA__8oB3Cb">