[flang] Single construct translation from PFT to FIR

[shraiysh]

Summary

This patch adds translation for single construct along with nowait
clause from PFT to FIR.

Allocate clause is added as a TODO as handleAllocateClause is added in
D122302.

[kiranchandramohan]

LGTM.

flang/lib/Lower/OpenMP.cpp

211

Nit: nowait will become an unused variable. We have CI running with Werror.

[shraiysh]

Addressed comment.

flang/lib/Lower/OpenMP.cpp

 static void
 genOMP(Fortran::lower::AbstractConverter &converter,
        Fortran::lower::pft::Evaluation &eval,
        const Fortran::parser::OpenMPBlockConstruct &blockConstruct) {
   const auto &beginBlockDirective =
       std::get<Fortran::parser::OmpBeginBlockDirective>(blockConstruct.t);
   const auto &blockDirective =
       std::get<Fortran::parser::OmpBlockDirective>(beginBlockDirective.t);
+  const auto &endBlockDirective =
+      std::get<Fortran::parser::OmpEndBlockDirective>(blockConstruct.t);
 
   auto &firOpBuilder = converter.getFirOpBuilder();
   auto currentLocation = converter.getCurrentLocation();
   Fortran::lower::StatementContext stmtCtx;
   llvm::ArrayRef<mlir::Type> argTy;
   if (blockDirective.v == llvm::omp::OMPD_parallel) {
 
     mlir::Value ifClauseOperand, numThreadsClauseOperand;
for (const auto &clause : parallelOpClauseList.v) {
             firOpBuilder.getContext(), pbKind));
       }
     }
     createBodyOfOp<omp::ParallelOp>(parallelOp, firOpBuilder, currentLocation);
   } else if (blockDirective.v == llvm::omp::OMPD_master) {
     auto masterOp =
         firOpBuilder.create<mlir::omp::MasterOp>(currentLocation, argTy);
     createBodyOfOp<omp::MasterOp>(masterOp, firOpBuilder, currentLocation);
+
+    // Single Construct
+  } else if (blockDirective.v == llvm::omp::OMPD_single) {
+    mlir::UnitAttr nowaitAttr;
+    for (const auto &clause :
+         std::get<Fortran::parser::OmpClauseList>(endBlockDirective.t).v) {
+      if (const auto &nowait =
+              std::get_if<Fortran::parser::OmpClause::Nowait>(&clause.u))
+        nowaitAttr = firOpBuilder.getUnitAttr();
+      // TODO: Handle allocate clause (D122302)
+    }
+    auto singleOp = firOpBuilder.create<mlir::omp::SingleOp>(
+        currentLocation, /*allocate_vars=*/ValueRange(),
+        /*allocators_vars=*/ValueRange(), nowaitAttr);
+    createBodyOfOp(singleOp, firOpBuilder, currentLocation);
   }
 }
 
 static void
 genOMP(Fortran::lower::AbstractConverter &converter,
        Fortran::lower::pft::Evaluation &eval,
        const Fortran::parser::OpenMPCriticalConstruct &criticalConstruct) {
   fir::FirOpBuilder &firOpBuilder = converter.getFirOpBuilder();

flang/test/Lower/OpenMP/single.f90

+!RUN: %flang_fc1 -emit-fir -fopenmp %s -o - | FileCheck %s --check-prefixes="FIRDialect,OMPDialect"
+!RUN: %flang_fc1 -emit-fir -fopenmp %s -o - | fir-opt --cfg-conversion | fir-opt --fir-to-llvm-ir | FileCheck %s --check-prefixes="OMPDialect"
+
+!===============================================================================
+! Single construct
+!===============================================================================
+
+!FIRDialect-LABEL: func @_QPomp_single
+!FIRDialect-SAME: (%[[x:.*]]: !fir.ref<i32> {fir.bindc_name = "x"})
+subroutine omp_single(x)
+  integer, intent(inout) :: x
+  !OMPDialect: omp.parallel
+  !$omp parallel
+  !OMPDialect: omp.single
+  !$omp single
+    !FIRDialect: %[[xval:.*]] = fir.load %[[x]] : !fir.ref<i32>
+    !FIRDialect: %[[res:.*]] = arith.addi %[[xval]], %{{.*}} : i32
+    !FIRDialect: fir.store %[[res]] to %[[x]] : !fir.ref<i32>
+    x = x + 12
+  !OMPDialect: omp.terminator
+  !$omp end single
+  !OMPDialect: omp.terminator
+  !$omp end parallel
+end subroutine omp_single
+
+!===============================================================================
+! Single construct with nowait
+!===============================================================================
+
+!FIRDialect-LABEL: func @_QPomp_single_nowait
+!FIRDialect-SAME: (%[[x:.*]]: !fir.ref<i32> {fir.bindc_name = "x"})
+subroutine omp_single_nowait(x)
+  integer, intent(inout) :: x
+  !OMPDialect: omp.parallel
+  !$omp parallel
+  !OMPDialect: omp.single nowait
+  !$omp single
+    !FIRDialect: %[[xval:.*]] = fir.load %[[x]] : !fir.ref<i32>
+    !FIRDialect: %[[res:.*]] = arith.addi %[[xval]], %{{.*}} : i32
+    !FIRDialect: fir.store %[[res]] to %[[x]] : !fir.ref<i32>
+    x = x + 12
+  !OMPDialect: omp.terminator
+  !$omp end single nowait
+  !OMPDialect: omp.terminator
+  !$omp end parallel
+end subroutine omp_single_nowait