FLANG
OpenACC.h
1//===-- Lower/OpenACC.h -- lower OpenACC directives -------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Coding style: https://mlir.llvm.org/getting_started/DeveloperGuide/
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef FORTRAN_LOWER_OPENACC_H
14#define FORTRAN_LOWER_OPENACC_H
15
16#include "mlir/Dialect/OpenACC/OpenACC.h"
17
18namespace llvm {
19template <typename T, unsigned N>
21class StringRef;
22} // namespace llvm
23
24namespace mlir {
25namespace func {
26class FuncOp;
27} // namespace func
28class Location;
29class Type;
30class ModuleOp;
31class OpBuilder;
32class Value;
33} // namespace mlir
34
35namespace fir {
36class FirOpBuilder;
37} // namespace fir
38
39namespace Fortran {
40namespace evaluate {
42} // namespace evaluate
43
44namespace parser {
45struct AccClauseList;
46struct DoConstruct;
47struct OpenACCConstruct;
50} // namespace parser
51
52namespace semantics {
55class Symbol;
56} // namespace semantics
57
58namespace lower {
59
62class SymMap;
63
64namespace pft {
65struct Evaluation;
66} // namespace pft
67
68static constexpr llvm::StringRef declarePostAllocSuffix =
69 "_acc_declare_post_alloc";
70static constexpr llvm::StringRef declarePreDeallocSuffix =
71 "_acc_declare_pre_dealloc";
72static constexpr llvm::StringRef declarePostDeallocSuffix =
73 "_acc_declare_post_dealloc";
74
75static constexpr llvm::StringRef privatizationRecipePrefix = "privatization";
76
77mlir::Value genOpenACCConstruct(AbstractConverter &,
78 Fortran::semantics::SemanticsContext &,
80 const parser::OpenACCConstruct &,
81 Fortran::lower::SymMap &localSymbols);
82void genOpenACCDeclarativeConstruct(
83 AbstractConverter &, Fortran::semantics::SemanticsContext &,
84 StatementContext &, const parser::OpenACCDeclarativeConstruct &);
85void genOpenACCRoutineConstruct(
86 AbstractConverter &, mlir::ModuleOp, mlir::func::FuncOp,
87 const std::vector<Fortran::semantics::OpenACCRoutineInfo> &);
88
89void attachDeclarePostAllocAction(AbstractConverter &, fir::FirOpBuilder &,
90 const Fortran::semantics::Symbol &);
91void attachDeclarePreDeallocAction(AbstractConverter &, fir::FirOpBuilder &,
92 mlir::Value beginOpValue,
93 const Fortran::semantics::Symbol &);
94void attachDeclarePostDeallocAction(AbstractConverter &, fir::FirOpBuilder &,
95 const Fortran::semantics::Symbol &);
96
97void genOpenACCTerminator(fir::FirOpBuilder &, mlir::Operation *,
98 mlir::Location);
99
103uint64_t getLoopCountForCollapseAndTile(const Fortran::parser::AccClauseList &);
104
107std::pair<uint64_t, bool>
108getCollapseSizeAndForce(const Fortran::parser::AccClauseList &);
109
111bool isInOpenACCLoop(fir::FirOpBuilder &);
112
115void markDoConstructAsCollapsed(const Fortran::parser::DoConstruct &);
116
118bool isCollapsedDoConstruct(const Fortran::parser::DoConstruct &);
119
122
125bool isInsideOpenACCComputeConstruct(fir::FirOpBuilder &);
126
127void setInsertionPointAfterOpenACCLoopIfInside(fir::FirOpBuilder &);
128
129void genEarlyReturnInOpenACCLoop(fir::FirOpBuilder &, mlir::Location);
130
136bool genOpenACCRegionExitBranch(fir::FirOpBuilder &, mlir::Location,
137 mlir::Block *targetBlock);
138
143mlir::Operation *genOpenACCLoopFromDoConstruct(
144 AbstractConverter &converter,
145 Fortran::semantics::SemanticsContext &semanticsContext,
146 Fortran::lower::SymMap &localSymbols,
147 const Fortran::parser::DoConstruct &doConstruct, pft::Evaluation &eval);
148
149} // namespace lower
150} // namespace Fortran
151
152#endif // FORTRAN_LOWER_OPENACC_H
Definition AbstractConverter.h:87
Definition StatementContext.h:46
Definition SymbolMap.h:182
Definition semantics.h:67
Definition symbol.h:832
Definition FIRBuilder.h:56
Definition OpenACC.h:20
Definition call.h:34
Definition ParserActions.h:24
uint64_t getLoopCountForCollapseAndTile(const Fortran::parser::AccClauseList &)
Definition OpenACC.cpp:4753
bool isInsideOpenACCComputeConstruct(fir::FirOpBuilder &)
Definition OpenACC.cpp:4704
bool isCollapsedDoConstruct(const Fortran::parser::DoConstruct &)
Check whether a DoConstruct was absorbed by a collapse clause.
Definition OpenACC.cpp:4695
std::pair< uint64_t, bool > getCollapseSizeAndForce(const Fortran::parser::AccClauseList &)
Definition OpenACC.cpp:4767
bool genOpenACCRegionExitBranch(fir::FirOpBuilder &, mlir::Location, mlir::Block *targetBlock)
Definition OpenACC.cpp:4724
void clearCollapsedDoConstructs()
Clear the collapsed DoConstruct tracking set.
Definition OpenACC.cpp:4700
void markDoConstructAsCollapsed(const Fortran::parser::DoConstruct &)
Definition OpenACC.cpp:4690
mlir::Operation * genOpenACCLoopFromDoConstruct(AbstractConverter &converter, Fortran::semantics::SemanticsContext &semanticsContext, Fortran::lower::SymMap &localSymbols, const Fortran::parser::DoConstruct &doConstruct, pft::Evaluation &eval)
Definition OpenACC.cpp:4788
bool isInOpenACCLoop(fir::FirOpBuilder &)
Checks whether the current insertion point is inside OpenACC loop.
Definition OpenACC.cpp:4681
Definition check-expression.h:19
Definition bit-population-count.h:20
Definition AbstractConverter.h:37
Definition AbstractConverter.h:32
Definition PFTBuilder.h:221
Definition parse-tree.h:5631
Definition parse-tree.h:2325
Definition parse-tree.h:5774
Definition parse-tree.h:5636