blob: 9034829eabeaeb61edb1c8c552b621f40785d7c1 [file] [log] [blame]
Alexey Bataev9959db52014-05-06 10:08:46 +00001//===----- CGOpenMPRuntime.cpp - Interface to OpenMP Runtimes -------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This provides a class for OpenMP runtime code generation.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CGOpenMPRuntime.h"
15#include "CodeGenFunction.h"
Alexey Bataev36bf0112015-03-10 05:15:26 +000016#include "CGCleanup.h"
Alexey Bataev9959db52014-05-06 10:08:46 +000017#include "clang/AST/Decl.h"
Chandler Carruth0d9593d2015-01-14 11:29:14 +000018#include "clang/AST/StmtOpenMP.h"
Alexey Bataev9959db52014-05-06 10:08:46 +000019#include "llvm/ADT/ArrayRef.h"
Alexey Bataevd74d0602014-10-13 06:02:40 +000020#include "llvm/IR/CallSite.h"
Alexey Bataev9959db52014-05-06 10:08:46 +000021#include "llvm/IR/DerivedTypes.h"
22#include "llvm/IR/GlobalValue.h"
23#include "llvm/IR/Value.h"
24#include "llvm/Support/raw_ostream.h"
Alexey Bataev23b69422014-06-18 07:08:49 +000025#include <cassert>
Alexey Bataev9959db52014-05-06 10:08:46 +000026
27using namespace clang;
28using namespace CodeGen;
29
Benjamin Kramerc52193f2014-10-10 13:57:57 +000030namespace {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000031/// \brief Base class for handling code generation inside OpenMP regions.
Alexey Bataev18095712014-10-10 12:19:54 +000032class CGOpenMPRegionInfo : public CodeGenFunction::CGCapturedStmtInfo {
33public:
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000034 /// \brief Kinds of OpenMP regions used in codegen.
35 enum CGOpenMPRegionKind {
36 /// \brief Region with outlined function for standalone 'parallel'
37 /// directive.
38 ParallelOutlinedRegion,
39 /// \brief Region with outlined function for standalone 'task' directive.
40 TaskOutlinedRegion,
41 /// \brief Region for constructs that do not require function outlining,
42 /// like 'for', 'sections', 'atomic' etc. directives.
43 InlinedRegion,
44 };
Alexey Bataev18095712014-10-10 12:19:54 +000045
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000046 CGOpenMPRegionInfo(const CapturedStmt &CS,
47 const CGOpenMPRegionKind RegionKind,
48 const RegionCodeGenTy &CodeGen)
49 : CGCapturedStmtInfo(CS, CR_OpenMP), RegionKind(RegionKind),
50 CodeGen(CodeGen) {}
51
52 CGOpenMPRegionInfo(const CGOpenMPRegionKind RegionKind,
53 const RegionCodeGenTy &CodeGen)
54 : CGCapturedStmtInfo(CR_OpenMP), RegionKind(RegionKind),
55 CodeGen(CodeGen) {}
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000056
57 /// \brief Get a variable or parameter for storing global thread id
Alexey Bataev18095712014-10-10 12:19:54 +000058 /// inside OpenMP construct.
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000059 virtual const VarDecl *getThreadIDVariable() const = 0;
Alexey Bataev18095712014-10-10 12:19:54 +000060
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000061 /// \brief Emit the captured statement body.
62 virtual void EmitBody(CodeGenFunction &CGF, const Stmt *S) override;
63
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000064 /// \brief Get an LValue for the current ThreadID variable.
Alexey Bataev62b63b12015-03-10 07:28:44 +000065 /// \return LValue for thread id variable. This LValue always has type int32*.
66 virtual LValue getThreadIDVariableLValue(CodeGenFunction &CGF);
Alexey Bataev18095712014-10-10 12:19:54 +000067
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000068 CGOpenMPRegionKind getRegionKind() const { return RegionKind; }
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000069
Alexey Bataev18095712014-10-10 12:19:54 +000070 static bool classof(const CGCapturedStmtInfo *Info) {
71 return Info->getKind() == CR_OpenMP;
72 }
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000073
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000074protected:
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000075 CGOpenMPRegionKind RegionKind;
76 const RegionCodeGenTy &CodeGen;
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000077};
Alexey Bataev18095712014-10-10 12:19:54 +000078
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000079/// \brief API for captured statement code generation in OpenMP constructs.
80class CGOpenMPOutlinedRegionInfo : public CGOpenMPRegionInfo {
81public:
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000082 CGOpenMPOutlinedRegionInfo(const CapturedStmt &CS, const VarDecl *ThreadIDVar,
83 const RegionCodeGenTy &CodeGen)
84 : CGOpenMPRegionInfo(CS, ParallelOutlinedRegion, CodeGen),
85 ThreadIDVar(ThreadIDVar) {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +000086 assert(ThreadIDVar != nullptr && "No ThreadID in OpenMP region.");
87 }
88 /// \brief Get a variable or parameter for storing global thread id
89 /// inside OpenMP construct.
Alexander Kornienko34eb2072015-04-11 02:00:23 +000090 const VarDecl *getThreadIDVariable() const override { return ThreadIDVar; }
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000091
Alexey Bataev18095712014-10-10 12:19:54 +000092 /// \brief Get the name of the capture helper.
Benjamin Kramerc52193f2014-10-10 13:57:57 +000093 StringRef getHelperName() const override { return ".omp_outlined."; }
Alexey Bataev18095712014-10-10 12:19:54 +000094
Alexey Bataev6f1ffc02015-04-10 04:50:10 +000095 static bool classof(const CGCapturedStmtInfo *Info) {
96 return CGOpenMPRegionInfo::classof(Info) &&
97 cast<CGOpenMPRegionInfo>(Info)->getRegionKind() ==
98 ParallelOutlinedRegion;
99 }
100
Alexey Bataev18095712014-10-10 12:19:54 +0000101private:
102 /// \brief A variable or parameter storing global thread id for OpenMP
103 /// constructs.
104 const VarDecl *ThreadIDVar;
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000105};
106
Alexey Bataev62b63b12015-03-10 07:28:44 +0000107/// \brief API for captured statement code generation in OpenMP constructs.
108class CGOpenMPTaskOutlinedRegionInfo : public CGOpenMPRegionInfo {
109public:
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000110 CGOpenMPTaskOutlinedRegionInfo(const CapturedStmt &CS,
Alexey Bataev62b63b12015-03-10 07:28:44 +0000111 const VarDecl *ThreadIDVar,
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000112 const RegionCodeGenTy &CodeGen)
113 : CGOpenMPRegionInfo(CS, TaskOutlinedRegion, CodeGen),
114 ThreadIDVar(ThreadIDVar) {
Alexey Bataev62b63b12015-03-10 07:28:44 +0000115 assert(ThreadIDVar != nullptr && "No ThreadID in OpenMP region.");
116 }
117 /// \brief Get a variable or parameter for storing global thread id
118 /// inside OpenMP construct.
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000119 const VarDecl *getThreadIDVariable() const override { return ThreadIDVar; }
Alexey Bataev62b63b12015-03-10 07:28:44 +0000120
121 /// \brief Get an LValue for the current ThreadID variable.
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000122 LValue getThreadIDVariableLValue(CodeGenFunction &CGF) override;
Alexey Bataev62b63b12015-03-10 07:28:44 +0000123
Alexey Bataev62b63b12015-03-10 07:28:44 +0000124 /// \brief Get the name of the capture helper.
125 StringRef getHelperName() const override { return ".omp_outlined."; }
126
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000127 static bool classof(const CGCapturedStmtInfo *Info) {
128 return CGOpenMPRegionInfo::classof(Info) &&
129 cast<CGOpenMPRegionInfo>(Info)->getRegionKind() ==
130 TaskOutlinedRegion;
131 }
132
Alexey Bataev62b63b12015-03-10 07:28:44 +0000133private:
134 /// \brief A variable or parameter storing global thread id for OpenMP
135 /// constructs.
136 const VarDecl *ThreadIDVar;
Alexey Bataev62b63b12015-03-10 07:28:44 +0000137};
138
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000139/// \brief API for inlined captured statement code generation in OpenMP
140/// constructs.
141class CGOpenMPInlinedRegionInfo : public CGOpenMPRegionInfo {
142public:
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000143 CGOpenMPInlinedRegionInfo(CodeGenFunction::CGCapturedStmtInfo *OldCSI,
144 const RegionCodeGenTy &CodeGen)
145 : CGOpenMPRegionInfo(InlinedRegion, CodeGen), OldCSI(OldCSI),
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000146 OuterRegionInfo(dyn_cast_or_null<CGOpenMPRegionInfo>(OldCSI)) {}
147 // \brief Retrieve the value of the context parameter.
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000148 llvm::Value *getContextValue() const override {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000149 if (OuterRegionInfo)
150 return OuterRegionInfo->getContextValue();
151 llvm_unreachable("No context value for inlined OpenMP region");
152 }
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000153 virtual void setContextValue(llvm::Value *V) override {
154 if (OuterRegionInfo) {
155 OuterRegionInfo->setContextValue(V);
156 return;
157 }
158 llvm_unreachable("No context value for inlined OpenMP region");
159 }
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000160 /// \brief Lookup the captured field decl for a variable.
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000161 const FieldDecl *lookup(const VarDecl *VD) const override {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000162 if (OuterRegionInfo)
163 return OuterRegionInfo->lookup(VD);
Alexey Bataev69c62a92015-04-15 04:52:20 +0000164 // If there is no outer outlined region,no need to lookup in a list of
165 // captured variables, we can use the original one.
166 return nullptr;
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000167 }
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000168 FieldDecl *getThisFieldDecl() const override {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000169 if (OuterRegionInfo)
170 return OuterRegionInfo->getThisFieldDecl();
171 return nullptr;
172 }
173 /// \brief Get a variable or parameter for storing global thread id
174 /// inside OpenMP construct.
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000175 const VarDecl *getThreadIDVariable() const override {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000176 if (OuterRegionInfo)
177 return OuterRegionInfo->getThreadIDVariable();
178 return nullptr;
179 }
Alexey Bataev62b63b12015-03-10 07:28:44 +0000180
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000181 /// \brief Get the name of the capture helper.
Alexander Kornienko34eb2072015-04-11 02:00:23 +0000182 StringRef getHelperName() const override {
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000183 if (auto *OuterRegionInfo = getOldCSI())
184 return OuterRegionInfo->getHelperName();
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000185 llvm_unreachable("No helper name for inlined OpenMP construct");
186 }
187
188 CodeGenFunction::CGCapturedStmtInfo *getOldCSI() const { return OldCSI; }
189
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000190 static bool classof(const CGCapturedStmtInfo *Info) {
191 return CGOpenMPRegionInfo::classof(Info) &&
192 cast<CGOpenMPRegionInfo>(Info)->getRegionKind() == InlinedRegion;
193 }
194
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000195private:
196 /// \brief CodeGen info about outer OpenMP region.
197 CodeGenFunction::CGCapturedStmtInfo *OldCSI;
198 CGOpenMPRegionInfo *OuterRegionInfo;
Alexey Bataev18095712014-10-10 12:19:54 +0000199};
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000200
201/// \brief RAII for emitting code of OpenMP constructs.
202class InlinedOpenMPRegionRAII {
203 CodeGenFunction &CGF;
204
205public:
206 /// \brief Constructs region for combined constructs.
207 /// \param CodeGen Code generation sequence for combined directives. Includes
208 /// a list of functions used for code generation of implicitly inlined
209 /// regions.
210 InlinedOpenMPRegionRAII(CodeGenFunction &CGF, const RegionCodeGenTy &CodeGen)
211 : CGF(CGF) {
212 // Start emission for the construct.
213 CGF.CapturedStmtInfo =
214 new CGOpenMPInlinedRegionInfo(CGF.CapturedStmtInfo, CodeGen);
215 }
216 ~InlinedOpenMPRegionRAII() {
217 // Restore original CapturedStmtInfo only if we're done with code emission.
218 auto *OldCSI =
219 cast<CGOpenMPInlinedRegionInfo>(CGF.CapturedStmtInfo)->getOldCSI();
220 delete CGF.CapturedStmtInfo;
221 CGF.CapturedStmtInfo = OldCSI;
222 }
223};
224
Benjamin Kramerc52193f2014-10-10 13:57:57 +0000225} // namespace
Alexey Bataev18095712014-10-10 12:19:54 +0000226
227LValue CGOpenMPRegionInfo::getThreadIDVariableLValue(CodeGenFunction &CGF) {
228 return CGF.MakeNaturalAlignAddrLValue(
Alexey Bataev62b63b12015-03-10 07:28:44 +0000229 CGF.Builder.CreateAlignedLoad(
230 CGF.GetAddrOfLocalVar(getThreadIDVariable()),
231 CGF.PointerAlignInBytes),
232 getThreadIDVariable()
233 ->getType()
234 ->castAs<PointerType>()
235 ->getPointeeType());
Alexey Bataev18095712014-10-10 12:19:54 +0000236}
237
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000238void CGOpenMPRegionInfo::EmitBody(CodeGenFunction &CGF, const Stmt * /*S*/) {
239 // 1.2.2 OpenMP Language Terminology
240 // Structured block - An executable statement with a single entry at the
241 // top and a single exit at the bottom.
242 // The point of exit cannot be a branch out of the structured block.
243 // longjmp() and throw() must not violate the entry/exit criteria.
244 CGF.EHStack.pushTerminate();
245 {
246 CodeGenFunction::RunCleanupsScope Scope(CGF);
247 CodeGen(CGF);
248 }
249 CGF.EHStack.popTerminate();
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000250}
251
Alexey Bataev62b63b12015-03-10 07:28:44 +0000252LValue CGOpenMPTaskOutlinedRegionInfo::getThreadIDVariableLValue(
253 CodeGenFunction &CGF) {
254 return CGF.MakeNaturalAlignAddrLValue(
255 CGF.GetAddrOfLocalVar(getThreadIDVariable()),
256 getThreadIDVariable()->getType());
257}
258
Alexey Bataev9959db52014-05-06 10:08:46 +0000259CGOpenMPRuntime::CGOpenMPRuntime(CodeGenModule &CGM)
Alexey Bataev62b63b12015-03-10 07:28:44 +0000260 : CGM(CGM), DefaultOpenMPPSource(nullptr), KmpRoutineEntryPtrTy(nullptr) {
Alexey Bataev9959db52014-05-06 10:08:46 +0000261 IdentTy = llvm::StructType::create(
262 "ident_t", CGM.Int32Ty /* reserved_1 */, CGM.Int32Ty /* flags */,
263 CGM.Int32Ty /* reserved_2 */, CGM.Int32Ty /* reserved_3 */,
Alexander Musmanfdfa8552014-09-11 08:10:57 +0000264 CGM.Int8PtrTy /* psource */, nullptr);
Alexey Bataev9959db52014-05-06 10:08:46 +0000265 // Build void (*kmpc_micro)(kmp_int32 *global_tid, kmp_int32 *bound_tid,...)
Alexey Bataev23b69422014-06-18 07:08:49 +0000266 llvm::Type *MicroParams[] = {llvm::PointerType::getUnqual(CGM.Int32Ty),
267 llvm::PointerType::getUnqual(CGM.Int32Ty)};
Alexey Bataev9959db52014-05-06 10:08:46 +0000268 Kmpc_MicroTy = llvm::FunctionType::get(CGM.VoidTy, MicroParams, true);
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000269 KmpCriticalNameTy = llvm::ArrayType::get(CGM.Int32Ty, /*NumElements*/ 8);
Alexey Bataev9959db52014-05-06 10:08:46 +0000270}
271
Alexey Bataev91797552015-03-18 04:13:55 +0000272void CGOpenMPRuntime::clear() {
273 InternalVars.clear();
274}
275
Alexey Bataev9959db52014-05-06 10:08:46 +0000276llvm::Value *
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000277CGOpenMPRuntime::emitParallelOutlinedFunction(const OMPExecutableDirective &D,
278 const VarDecl *ThreadIDVar,
279 const RegionCodeGenTy &CodeGen) {
Alexey Bataev62b63b12015-03-10 07:28:44 +0000280 assert(ThreadIDVar->getType()->isPointerType() &&
281 "thread id variable must be of type kmp_int32 *");
Alexey Bataev18095712014-10-10 12:19:54 +0000282 const CapturedStmt *CS = cast<CapturedStmt>(D.getAssociatedStmt());
283 CodeGenFunction CGF(CGM, true);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000284 CGOpenMPOutlinedRegionInfo CGInfo(*CS, ThreadIDVar, CodeGen);
Alexey Bataev18095712014-10-10 12:19:54 +0000285 CGF.CapturedStmtInfo = &CGInfo;
286 return CGF.GenerateCapturedStmtFunction(*CS);
287}
288
289llvm::Value *
Alexey Bataev62b63b12015-03-10 07:28:44 +0000290CGOpenMPRuntime::emitTaskOutlinedFunction(const OMPExecutableDirective &D,
291 const VarDecl *ThreadIDVar,
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000292 const RegionCodeGenTy &CodeGen) {
Alexey Bataev62b63b12015-03-10 07:28:44 +0000293 assert(!ThreadIDVar->getType()->isPointerType() &&
294 "thread id variable must be of type kmp_int32 for tasks");
295 auto *CS = cast<CapturedStmt>(D.getAssociatedStmt());
296 CodeGenFunction CGF(CGM, true);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +0000297 CGOpenMPTaskOutlinedRegionInfo CGInfo(*CS, ThreadIDVar, CodeGen);
Alexey Bataev62b63b12015-03-10 07:28:44 +0000298 CGF.CapturedStmtInfo = &CGInfo;
299 return CGF.GenerateCapturedStmtFunction(*CS);
300}
301
302llvm::Value *
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000303CGOpenMPRuntime::getOrCreateDefaultLocation(OpenMPLocationFlags Flags) {
Alexey Bataev15007ba2014-05-07 06:18:01 +0000304 llvm::Value *Entry = OpenMPDefaultLocMap.lookup(Flags);
Alexey Bataev9959db52014-05-06 10:08:46 +0000305 if (!Entry) {
306 if (!DefaultOpenMPPSource) {
307 // Initialize default location for psource field of ident_t structure of
308 // all ident_t objects. Format is ";file;function;line;column;;".
309 // Taken from
310 // http://llvm.org/svn/llvm-project/openmp/trunk/runtime/src/kmp_str.c
311 DefaultOpenMPPSource =
312 CGM.GetAddrOfConstantCString(";unknown;unknown;0;0;;");
313 DefaultOpenMPPSource =
314 llvm::ConstantExpr::getBitCast(DefaultOpenMPPSource, CGM.Int8PtrTy);
315 }
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000316 auto DefaultOpenMPLocation = new llvm::GlobalVariable(
317 CGM.getModule(), IdentTy, /*isConstant*/ true,
318 llvm::GlobalValue::PrivateLinkage, /*Initializer*/ nullptr);
Alexey Bataev9959db52014-05-06 10:08:46 +0000319 DefaultOpenMPLocation->setUnnamedAddr(true);
Alexey Bataev9959db52014-05-06 10:08:46 +0000320
321 llvm::Constant *Zero = llvm::ConstantInt::get(CGM.Int32Ty, 0, true);
Alexey Bataev23b69422014-06-18 07:08:49 +0000322 llvm::Constant *Values[] = {Zero,
323 llvm::ConstantInt::get(CGM.Int32Ty, Flags),
324 Zero, Zero, DefaultOpenMPPSource};
Alexey Bataev9959db52014-05-06 10:08:46 +0000325 llvm::Constant *Init = llvm::ConstantStruct::get(IdentTy, Values);
326 DefaultOpenMPLocation->setInitializer(Init);
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000327 OpenMPDefaultLocMap[Flags] = DefaultOpenMPLocation;
Alexey Bataev9959db52014-05-06 10:08:46 +0000328 return DefaultOpenMPLocation;
329 }
330 return Entry;
331}
332
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000333llvm::Value *CGOpenMPRuntime::emitUpdateLocation(CodeGenFunction &CGF,
334 SourceLocation Loc,
335 OpenMPLocationFlags Flags) {
Alexey Bataev9959db52014-05-06 10:08:46 +0000336 // If no debug info is generated - return global default location.
337 if (CGM.getCodeGenOpts().getDebugInfo() == CodeGenOptions::NoDebugInfo ||
338 Loc.isInvalid())
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000339 return getOrCreateDefaultLocation(Flags);
Alexey Bataev9959db52014-05-06 10:08:46 +0000340
341 assert(CGF.CurFn && "No function in current CodeGenFunction.");
342
Alexey Bataev9959db52014-05-06 10:08:46 +0000343 llvm::Value *LocValue = nullptr;
Alexey Bataev1e4b7132014-12-03 12:11:24 +0000344 auto I = OpenMPLocThreadIDMap.find(CGF.CurFn);
345 if (I != OpenMPLocThreadIDMap.end())
Alexey Bataev18095712014-10-10 12:19:54 +0000346 LocValue = I->second.DebugLoc;
Alexander Musmanc6388682014-12-15 07:07:06 +0000347 // OpenMPLocThreadIDMap may have null DebugLoc and non-null ThreadID, if
348 // GetOpenMPThreadID was called before this routine.
349 if (LocValue == nullptr) {
Alexey Bataev15007ba2014-05-07 06:18:01 +0000350 // Generate "ident_t .kmpc_loc.addr;"
351 llvm::AllocaInst *AI = CGF.CreateTempAlloca(IdentTy, ".kmpc_loc.addr");
Alexey Bataev9959db52014-05-06 10:08:46 +0000352 AI->setAlignment(CGM.getDataLayout().getPrefTypeAlignment(IdentTy));
Alexey Bataev18095712014-10-10 12:19:54 +0000353 auto &Elem = OpenMPLocThreadIDMap.FindAndConstruct(CGF.CurFn);
354 Elem.second.DebugLoc = AI;
Alexey Bataev9959db52014-05-06 10:08:46 +0000355 LocValue = AI;
356
357 CGBuilderTy::InsertPointGuard IPG(CGF.Builder);
358 CGF.Builder.SetInsertPoint(CGF.AllocaInsertPt);
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000359 CGF.Builder.CreateMemCpy(LocValue, getOrCreateDefaultLocation(Flags),
Alexey Bataev9959db52014-05-06 10:08:46 +0000360 llvm::ConstantExpr::getSizeOf(IdentTy),
361 CGM.PointerAlignInBytes);
362 }
363
364 // char **psource = &.kmpc_loc_<flags>.addr.psource;
David Blaikie1ed728c2015-04-05 22:45:47 +0000365 auto *PSource = CGF.Builder.CreateConstInBoundsGEP2_32(IdentTy, LocValue, 0,
366 IdentField_PSource);
Alexey Bataev9959db52014-05-06 10:08:46 +0000367
Alexey Bataevf002aca2014-05-30 05:48:40 +0000368 auto OMPDebugLoc = OpenMPDebugLocMap.lookup(Loc.getRawEncoding());
369 if (OMPDebugLoc == nullptr) {
370 SmallString<128> Buffer2;
371 llvm::raw_svector_ostream OS2(Buffer2);
372 // Build debug location
373 PresumedLoc PLoc = CGF.getContext().getSourceManager().getPresumedLoc(Loc);
374 OS2 << ";" << PLoc.getFilename() << ";";
375 if (const FunctionDecl *FD =
376 dyn_cast_or_null<FunctionDecl>(CGF.CurFuncDecl)) {
377 OS2 << FD->getQualifiedNameAsString();
378 }
379 OS2 << ";" << PLoc.getLine() << ";" << PLoc.getColumn() << ";;";
380 OMPDebugLoc = CGF.Builder.CreateGlobalStringPtr(OS2.str());
381 OpenMPDebugLocMap[Loc.getRawEncoding()] = OMPDebugLoc;
Alexey Bataev9959db52014-05-06 10:08:46 +0000382 }
Alexey Bataev9959db52014-05-06 10:08:46 +0000383 // *psource = ";<File>;<Function>;<Line>;<Column>;;";
Alexey Bataevf002aca2014-05-30 05:48:40 +0000384 CGF.Builder.CreateStore(OMPDebugLoc, PSource);
385
Alexey Bataev9959db52014-05-06 10:08:46 +0000386 return LocValue;
387}
388
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000389llvm::Value *CGOpenMPRuntime::getThreadID(CodeGenFunction &CGF,
390 SourceLocation Loc) {
Alexey Bataev9959db52014-05-06 10:08:46 +0000391 assert(CGF.CurFn && "No function in current CodeGenFunction.");
392
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000393 llvm::Value *ThreadID = nullptr;
Alexey Bataev18095712014-10-10 12:19:54 +0000394 // Check whether we've already cached a load of the thread id in this
395 // function.
Alexey Bataev1e4b7132014-12-03 12:11:24 +0000396 auto I = OpenMPLocThreadIDMap.find(CGF.CurFn);
Alexey Bataev18095712014-10-10 12:19:54 +0000397 if (I != OpenMPLocThreadIDMap.end()) {
398 ThreadID = I->second.ThreadID;
Alexey Bataev03b340a2014-10-21 03:16:40 +0000399 if (ThreadID != nullptr)
400 return ThreadID;
401 }
402 if (auto OMPRegionInfo =
Alexey Bataev1e4b7132014-12-03 12:11:24 +0000403 dyn_cast_or_null<CGOpenMPRegionInfo>(CGF.CapturedStmtInfo)) {
Alexey Bataev62b63b12015-03-10 07:28:44 +0000404 if (OMPRegionInfo->getThreadIDVariable()) {
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000405 // Check if this an outlined function with thread id passed as argument.
406 auto LVal = OMPRegionInfo->getThreadIDVariableLValue(CGF);
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000407 ThreadID = CGF.EmitLoadOfLValue(LVal, Loc).getScalarVal();
408 // If value loaded in entry block, cache it and use it everywhere in
409 // function.
410 if (CGF.Builder.GetInsertBlock() == CGF.AllocaInsertPt->getParent()) {
411 auto &Elem = OpenMPLocThreadIDMap.FindAndConstruct(CGF.CurFn);
412 Elem.second.ThreadID = ThreadID;
413 }
414 return ThreadID;
Alexey Bataevd6c57552014-07-25 07:55:17 +0000415 }
Alexey Bataev9959db52014-05-06 10:08:46 +0000416 }
Alexey Bataev8cbe0a62015-02-26 10:27:34 +0000417
418 // This is not an outlined function region - need to call __kmpc_int32
419 // kmpc_global_thread_num(ident_t *loc).
420 // Generate thread id value and cache this value for use across the
421 // function.
422 CGBuilderTy::InsertPointGuard IPG(CGF.Builder);
423 CGF.Builder.SetInsertPoint(CGF.AllocaInsertPt);
424 ThreadID =
425 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_global_thread_num),
426 emitUpdateLocation(CGF, Loc));
427 auto &Elem = OpenMPLocThreadIDMap.FindAndConstruct(CGF.CurFn);
428 Elem.second.ThreadID = ThreadID;
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000429 return ThreadID;
Alexey Bataev9959db52014-05-06 10:08:46 +0000430}
431
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000432void CGOpenMPRuntime::functionFinished(CodeGenFunction &CGF) {
Alexey Bataev9959db52014-05-06 10:08:46 +0000433 assert(CGF.CurFn && "No function in current CodeGenFunction.");
Alexey Bataev03b340a2014-10-21 03:16:40 +0000434 if (OpenMPLocThreadIDMap.count(CGF.CurFn))
435 OpenMPLocThreadIDMap.erase(CGF.CurFn);
Alexey Bataev9959db52014-05-06 10:08:46 +0000436}
437
438llvm::Type *CGOpenMPRuntime::getIdentTyPointerTy() {
439 return llvm::PointerType::getUnqual(IdentTy);
440}
441
442llvm::Type *CGOpenMPRuntime::getKmpc_MicroPointerTy() {
443 return llvm::PointerType::getUnqual(Kmpc_MicroTy);
444}
445
446llvm::Constant *
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000447CGOpenMPRuntime::createRuntimeFunction(OpenMPRTLFunction Function) {
Alexey Bataev9959db52014-05-06 10:08:46 +0000448 llvm::Constant *RTLFn = nullptr;
449 switch (Function) {
450 case OMPRTL__kmpc_fork_call: {
451 // Build void __kmpc_fork_call(ident_t *loc, kmp_int32 argc, kmpc_micro
452 // microtask, ...);
Alexey Bataev23b69422014-06-18 07:08:49 +0000453 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty,
454 getKmpc_MicroPointerTy()};
Alexey Bataev9959db52014-05-06 10:08:46 +0000455 llvm::FunctionType *FnTy =
Alexey Bataevd74d0602014-10-13 06:02:40 +0000456 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ true);
Alexey Bataev9959db52014-05-06 10:08:46 +0000457 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_fork_call");
458 break;
459 }
460 case OMPRTL__kmpc_global_thread_num: {
461 // Build kmp_int32 __kmpc_global_thread_num(ident_t *loc);
Alexey Bataev23b69422014-06-18 07:08:49 +0000462 llvm::Type *TypeParams[] = {getIdentTyPointerTy()};
Alexey Bataev9959db52014-05-06 10:08:46 +0000463 llvm::FunctionType *FnTy =
Alexey Bataevd74d0602014-10-13 06:02:40 +0000464 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg*/ false);
Alexey Bataev9959db52014-05-06 10:08:46 +0000465 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_global_thread_num");
466 break;
467 }
Alexey Bataev97720002014-11-11 04:05:39 +0000468 case OMPRTL__kmpc_threadprivate_cached: {
469 // Build void *__kmpc_threadprivate_cached(ident_t *loc,
470 // kmp_int32 global_tid, void *data, size_t size, void ***cache);
471 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty,
472 CGM.VoidPtrTy, CGM.SizeTy,
473 CGM.VoidPtrTy->getPointerTo()->getPointerTo()};
474 llvm::FunctionType *FnTy =
475 llvm::FunctionType::get(CGM.VoidPtrTy, TypeParams, /*isVarArg*/ false);
476 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_threadprivate_cached");
477 break;
478 }
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000479 case OMPRTL__kmpc_critical: {
Alexey Bataevf9472182014-09-22 12:32:31 +0000480 // Build void __kmpc_critical(ident_t *loc, kmp_int32 global_tid,
481 // kmp_critical_name *crit);
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000482 llvm::Type *TypeParams[] = {
483 getIdentTyPointerTy(), CGM.Int32Ty,
484 llvm::PointerType::getUnqual(KmpCriticalNameTy)};
485 llvm::FunctionType *FnTy =
486 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
487 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_critical");
488 break;
489 }
Alexey Bataev97720002014-11-11 04:05:39 +0000490 case OMPRTL__kmpc_threadprivate_register: {
491 // Build void __kmpc_threadprivate_register(ident_t *, void *data,
492 // kmpc_ctor ctor, kmpc_cctor cctor, kmpc_dtor dtor);
493 // typedef void *(*kmpc_ctor)(void *);
494 auto KmpcCtorTy =
495 llvm::FunctionType::get(CGM.VoidPtrTy, CGM.VoidPtrTy,
496 /*isVarArg*/ false)->getPointerTo();
497 // typedef void *(*kmpc_cctor)(void *, void *);
498 llvm::Type *KmpcCopyCtorTyArgs[] = {CGM.VoidPtrTy, CGM.VoidPtrTy};
499 auto KmpcCopyCtorTy =
500 llvm::FunctionType::get(CGM.VoidPtrTy, KmpcCopyCtorTyArgs,
501 /*isVarArg*/ false)->getPointerTo();
502 // typedef void (*kmpc_dtor)(void *);
503 auto KmpcDtorTy =
504 llvm::FunctionType::get(CGM.VoidTy, CGM.VoidPtrTy, /*isVarArg*/ false)
505 ->getPointerTo();
506 llvm::Type *FnTyArgs[] = {getIdentTyPointerTy(), CGM.VoidPtrTy, KmpcCtorTy,
507 KmpcCopyCtorTy, KmpcDtorTy};
508 auto FnTy = llvm::FunctionType::get(CGM.VoidTy, FnTyArgs,
509 /*isVarArg*/ false);
510 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_threadprivate_register");
511 break;
512 }
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000513 case OMPRTL__kmpc_end_critical: {
Alexey Bataevf9472182014-09-22 12:32:31 +0000514 // Build void __kmpc_end_critical(ident_t *loc, kmp_int32 global_tid,
515 // kmp_critical_name *crit);
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000516 llvm::Type *TypeParams[] = {
517 getIdentTyPointerTy(), CGM.Int32Ty,
518 llvm::PointerType::getUnqual(KmpCriticalNameTy)};
519 llvm::FunctionType *FnTy =
520 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
521 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_end_critical");
522 break;
523 }
Alexey Bataev8f7c1b02014-12-05 04:09:23 +0000524 case OMPRTL__kmpc_cancel_barrier: {
525 // Build kmp_int32 __kmpc_cancel_barrier(ident_t *loc, kmp_int32
526 // global_tid);
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000527 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
528 llvm::FunctionType *FnTy =
Alexey Bataev8f7c1b02014-12-05 04:09:23 +0000529 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg*/ false);
530 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name*/ "__kmpc_cancel_barrier");
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000531 break;
532 }
Alexander Musmanc6388682014-12-15 07:07:06 +0000533 case OMPRTL__kmpc_for_static_fini: {
534 // Build void __kmpc_for_static_fini(ident_t *loc, kmp_int32 global_tid);
535 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
536 llvm::FunctionType *FnTy =
537 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
538 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_for_static_fini");
539 break;
540 }
Alexey Bataevb2059782014-10-13 08:23:51 +0000541 case OMPRTL__kmpc_push_num_threads: {
542 // Build void __kmpc_push_num_threads(ident_t *loc, kmp_int32 global_tid,
543 // kmp_int32 num_threads)
544 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty,
545 CGM.Int32Ty};
546 llvm::FunctionType *FnTy =
547 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
548 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_push_num_threads");
549 break;
550 }
Alexey Bataevd74d0602014-10-13 06:02:40 +0000551 case OMPRTL__kmpc_serialized_parallel: {
552 // Build void __kmpc_serialized_parallel(ident_t *loc, kmp_int32
553 // global_tid);
554 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
555 llvm::FunctionType *FnTy =
556 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
557 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_serialized_parallel");
558 break;
559 }
560 case OMPRTL__kmpc_end_serialized_parallel: {
561 // Build void __kmpc_end_serialized_parallel(ident_t *loc, kmp_int32
562 // global_tid);
563 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
564 llvm::FunctionType *FnTy =
565 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
566 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_end_serialized_parallel");
567 break;
568 }
Alexey Bataevcc37cc12014-11-20 04:34:54 +0000569 case OMPRTL__kmpc_flush: {
Alexey Bataevd76df6d2015-02-24 12:55:09 +0000570 // Build void __kmpc_flush(ident_t *loc);
Alexey Bataevcc37cc12014-11-20 04:34:54 +0000571 llvm::Type *TypeParams[] = {getIdentTyPointerTy()};
572 llvm::FunctionType *FnTy =
Alexey Bataevd76df6d2015-02-24 12:55:09 +0000573 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
Alexey Bataevcc37cc12014-11-20 04:34:54 +0000574 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_flush");
575 break;
576 }
Alexey Bataev8d690652014-12-04 07:23:53 +0000577 case OMPRTL__kmpc_master: {
578 // Build kmp_int32 __kmpc_master(ident_t *loc, kmp_int32 global_tid);
579 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
580 llvm::FunctionType *FnTy =
581 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
582 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_master");
583 break;
584 }
585 case OMPRTL__kmpc_end_master: {
586 // Build void __kmpc_end_master(ident_t *loc, kmp_int32 global_tid);
587 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
588 llvm::FunctionType *FnTy =
589 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
590 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_end_master");
591 break;
592 }
Alexey Bataev9f797f32015-02-05 05:57:51 +0000593 case OMPRTL__kmpc_omp_taskyield: {
594 // Build kmp_int32 __kmpc_omp_taskyield(ident_t *, kmp_int32 global_tid,
595 // int end_part);
596 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty, CGM.IntTy};
597 llvm::FunctionType *FnTy =
598 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
599 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_omp_taskyield");
600 break;
601 }
Alexey Bataev6956e2e2015-02-05 06:35:41 +0000602 case OMPRTL__kmpc_single: {
603 // Build kmp_int32 __kmpc_single(ident_t *loc, kmp_int32 global_tid);
604 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
605 llvm::FunctionType *FnTy =
606 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
607 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_single");
608 break;
609 }
610 case OMPRTL__kmpc_end_single: {
611 // Build void __kmpc_end_single(ident_t *loc, kmp_int32 global_tid);
612 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
613 llvm::FunctionType *FnTy =
614 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
615 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_end_single");
616 break;
617 }
Alexey Bataev62b63b12015-03-10 07:28:44 +0000618 case OMPRTL__kmpc_omp_task_alloc: {
619 // Build kmp_task_t *__kmpc_omp_task_alloc(ident_t *, kmp_int32 gtid,
620 // kmp_int32 flags, size_t sizeof_kmp_task_t, size_t sizeof_shareds,
621 // kmp_routine_entry_t *task_entry);
622 assert(KmpRoutineEntryPtrTy != nullptr &&
623 "Type kmp_routine_entry_t must be created.");
624 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty, CGM.Int32Ty,
625 CGM.SizeTy, CGM.SizeTy, KmpRoutineEntryPtrTy};
626 // Return void * and then cast to particular kmp_task_t type.
627 llvm::FunctionType *FnTy =
628 llvm::FunctionType::get(CGM.VoidPtrTy, TypeParams, /*isVarArg=*/false);
629 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_omp_task_alloc");
630 break;
631 }
632 case OMPRTL__kmpc_omp_task: {
633 // Build kmp_int32 __kmpc_omp_task(ident_t *, kmp_int32 gtid, kmp_task_t
634 // *new_task);
635 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty,
636 CGM.VoidPtrTy};
637 llvm::FunctionType *FnTy =
638 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
639 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_omp_task");
640 break;
641 }
Alexey Bataeva63048e2015-03-23 06:18:07 +0000642 case OMPRTL__kmpc_copyprivate: {
643 // Build void __kmpc_copyprivate(ident_t *loc, kmp_int32 global_tid,
644 // kmp_int32 cpy_size, void *cpy_data, void(*cpy_func)(void *, void *),
645 // kmp_int32 didit);
646 llvm::Type *CpyTypeParams[] = {CGM.VoidPtrTy, CGM.VoidPtrTy};
647 auto *CpyFnTy =
648 llvm::FunctionType::get(CGM.VoidTy, CpyTypeParams, /*isVarArg=*/false);
649 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty, CGM.Int32Ty,
650 CGM.VoidPtrTy, CpyFnTy->getPointerTo(),
651 CGM.Int32Ty};
652 llvm::FunctionType *FnTy =
653 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
654 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_copyprivate");
655 break;
656 }
Alexey Bataev794ba0d2015-04-10 10:43:45 +0000657 case OMPRTL__kmpc_reduce: {
658 // Build kmp_int32 __kmpc_reduce(ident_t *loc, kmp_int32 global_tid,
659 // kmp_int32 num_vars, size_t reduce_size, void *reduce_data, void
660 // (*reduce_func)(void *lhs_data, void *rhs_data), kmp_critical_name *lck);
661 llvm::Type *ReduceTypeParams[] = {CGM.VoidPtrTy, CGM.VoidPtrTy};
662 auto *ReduceFnTy = llvm::FunctionType::get(CGM.VoidTy, ReduceTypeParams,
663 /*isVarArg=*/false);
664 llvm::Type *TypeParams[] = {
665 getIdentTyPointerTy(), CGM.Int32Ty, CGM.Int32Ty, CGM.SizeTy,
666 CGM.VoidPtrTy, ReduceFnTy->getPointerTo(),
667 llvm::PointerType::getUnqual(KmpCriticalNameTy)};
668 llvm::FunctionType *FnTy =
669 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
670 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_reduce");
671 break;
672 }
673 case OMPRTL__kmpc_reduce_nowait: {
674 // Build kmp_int32 __kmpc_reduce_nowait(ident_t *loc, kmp_int32
675 // global_tid, kmp_int32 num_vars, size_t reduce_size, void *reduce_data,
676 // void (*reduce_func)(void *lhs_data, void *rhs_data), kmp_critical_name
677 // *lck);
678 llvm::Type *ReduceTypeParams[] = {CGM.VoidPtrTy, CGM.VoidPtrTy};
679 auto *ReduceFnTy = llvm::FunctionType::get(CGM.VoidTy, ReduceTypeParams,
680 /*isVarArg=*/false);
681 llvm::Type *TypeParams[] = {
682 getIdentTyPointerTy(), CGM.Int32Ty, CGM.Int32Ty, CGM.SizeTy,
683 CGM.VoidPtrTy, ReduceFnTy->getPointerTo(),
684 llvm::PointerType::getUnqual(KmpCriticalNameTy)};
685 llvm::FunctionType *FnTy =
686 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
687 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_reduce_nowait");
688 break;
689 }
690 case OMPRTL__kmpc_end_reduce: {
691 // Build void __kmpc_end_reduce(ident_t *loc, kmp_int32 global_tid,
692 // kmp_critical_name *lck);
693 llvm::Type *TypeParams[] = {
694 getIdentTyPointerTy(), CGM.Int32Ty,
695 llvm::PointerType::getUnqual(KmpCriticalNameTy)};
696 llvm::FunctionType *FnTy =
697 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
698 RTLFn = CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_end_reduce");
699 break;
700 }
701 case OMPRTL__kmpc_end_reduce_nowait: {
702 // Build __kmpc_end_reduce_nowait(ident_t *loc, kmp_int32 global_tid,
703 // kmp_critical_name *lck);
704 llvm::Type *TypeParams[] = {
705 getIdentTyPointerTy(), CGM.Int32Ty,
706 llvm::PointerType::getUnqual(KmpCriticalNameTy)};
707 llvm::FunctionType *FnTy =
708 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
709 RTLFn =
710 CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_end_reduce_nowait");
711 break;
712 }
Alexey Bataev1d677132015-04-22 13:57:31 +0000713 case OMPRTL__kmpc_omp_task_begin_if0: {
714 // Build void __kmpc_omp_task(ident_t *, kmp_int32 gtid, kmp_task_t
715 // *new_task);
716 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty,
717 CGM.VoidPtrTy};
718 llvm::FunctionType *FnTy =
719 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
720 RTLFn =
721 CGM.CreateRuntimeFunction(FnTy, /*Name=*/"__kmpc_omp_task_begin_if0");
722 break;
723 }
724 case OMPRTL__kmpc_omp_task_complete_if0: {
725 // Build void __kmpc_omp_task(ident_t *, kmp_int32 gtid, kmp_task_t
726 // *new_task);
727 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty,
728 CGM.VoidPtrTy};
729 llvm::FunctionType *FnTy =
730 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
731 RTLFn = CGM.CreateRuntimeFunction(FnTy,
732 /*Name=*/"__kmpc_omp_task_complete_if0");
733 break;
734 }
Alexey Bataev98eb6e32015-04-22 11:15:40 +0000735 case OMPRTL__kmpc_ordered: {
736 // Build void __kmpc_ordered(ident_t *loc, kmp_int32 global_tid);
737 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
738 llvm::FunctionType *FnTy =
739 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
740 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_ordered");
741 break;
742 }
743 case OMPRTL__kmpc_end_ordered: {
744 // Build void __kmpc_ordered(ident_t *loc, kmp_int32 global_tid);
745 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
746 llvm::FunctionType *FnTy =
747 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
748 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_end_ordered");
749 break;
750 }
Alexey Bataev8b8e2022015-04-27 05:22:09 +0000751 case OMPRTL__kmpc_omp_taskwait: {
752 // Build kmp_int32 __kmpc_omp_taskwait(ident_t *loc, kmp_int32 global_tid);
753 llvm::Type *TypeParams[] = {getIdentTyPointerTy(), CGM.Int32Ty};
754 llvm::FunctionType *FnTy =
755 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg=*/false);
756 RTLFn = CGM.CreateRuntimeFunction(FnTy, "__kmpc_omp_taskwait");
757 break;
758 }
Alexey Bataev9959db52014-05-06 10:08:46 +0000759 }
760 return RTLFn;
761}
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000762
Alexander Musman21212e42015-03-13 10:38:23 +0000763llvm::Constant *CGOpenMPRuntime::createForStaticInitFunction(unsigned IVSize,
764 bool IVSigned) {
765 assert((IVSize == 32 || IVSize == 64) &&
766 "IV size is not compatible with the omp runtime");
767 auto Name = IVSize == 32 ? (IVSigned ? "__kmpc_for_static_init_4"
768 : "__kmpc_for_static_init_4u")
769 : (IVSigned ? "__kmpc_for_static_init_8"
770 : "__kmpc_for_static_init_8u");
771 auto ITy = IVSize == 32 ? CGM.Int32Ty : CGM.Int64Ty;
772 auto PtrTy = llvm::PointerType::getUnqual(ITy);
773 llvm::Type *TypeParams[] = {
774 getIdentTyPointerTy(), // loc
775 CGM.Int32Ty, // tid
776 CGM.Int32Ty, // schedtype
777 llvm::PointerType::getUnqual(CGM.Int32Ty), // p_lastiter
778 PtrTy, // p_lower
779 PtrTy, // p_upper
780 PtrTy, // p_stride
781 ITy, // incr
782 ITy // chunk
783 };
784 llvm::FunctionType *FnTy =
785 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
786 return CGM.CreateRuntimeFunction(FnTy, Name);
787}
788
Alexander Musman92bdaab2015-03-12 13:37:50 +0000789llvm::Constant *CGOpenMPRuntime::createDispatchInitFunction(unsigned IVSize,
790 bool IVSigned) {
791 assert((IVSize == 32 || IVSize == 64) &&
792 "IV size is not compatible with the omp runtime");
793 auto Name =
794 IVSize == 32
795 ? (IVSigned ? "__kmpc_dispatch_init_4" : "__kmpc_dispatch_init_4u")
796 : (IVSigned ? "__kmpc_dispatch_init_8" : "__kmpc_dispatch_init_8u");
797 auto ITy = IVSize == 32 ? CGM.Int32Ty : CGM.Int64Ty;
798 llvm::Type *TypeParams[] = { getIdentTyPointerTy(), // loc
799 CGM.Int32Ty, // tid
800 CGM.Int32Ty, // schedtype
801 ITy, // lower
802 ITy, // upper
803 ITy, // stride
804 ITy // chunk
805 };
806 llvm::FunctionType *FnTy =
807 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg*/ false);
808 return CGM.CreateRuntimeFunction(FnTy, Name);
809}
810
Alexey Bataev98eb6e32015-04-22 11:15:40 +0000811llvm::Constant *CGOpenMPRuntime::createDispatchFiniFunction(unsigned IVSize,
812 bool IVSigned) {
813 assert((IVSize == 32 || IVSize == 64) &&
814 "IV size is not compatible with the omp runtime");
815 auto Name =
816 IVSize == 32
817 ? (IVSigned ? "__kmpc_dispatch_fini_4" : "__kmpc_dispatch_fini_4u")
818 : (IVSigned ? "__kmpc_dispatch_fini_8" : "__kmpc_dispatch_fini_8u");
819 llvm::Type *TypeParams[] = {
820 getIdentTyPointerTy(), // loc
821 CGM.Int32Ty, // tid
822 };
823 llvm::FunctionType *FnTy =
824 llvm::FunctionType::get(CGM.VoidTy, TypeParams, /*isVarArg=*/false);
825 return CGM.CreateRuntimeFunction(FnTy, Name);
826}
827
Alexander Musman92bdaab2015-03-12 13:37:50 +0000828llvm::Constant *CGOpenMPRuntime::createDispatchNextFunction(unsigned IVSize,
829 bool IVSigned) {
830 assert((IVSize == 32 || IVSize == 64) &&
831 "IV size is not compatible with the omp runtime");
832 auto Name =
833 IVSize == 32
834 ? (IVSigned ? "__kmpc_dispatch_next_4" : "__kmpc_dispatch_next_4u")
835 : (IVSigned ? "__kmpc_dispatch_next_8" : "__kmpc_dispatch_next_8u");
836 auto ITy = IVSize == 32 ? CGM.Int32Ty : CGM.Int64Ty;
837 auto PtrTy = llvm::PointerType::getUnqual(ITy);
838 llvm::Type *TypeParams[] = {
839 getIdentTyPointerTy(), // loc
840 CGM.Int32Ty, // tid
841 llvm::PointerType::getUnqual(CGM.Int32Ty), // p_lastiter
842 PtrTy, // p_lower
843 PtrTy, // p_upper
844 PtrTy // p_stride
845 };
846 llvm::FunctionType *FnTy =
847 llvm::FunctionType::get(CGM.Int32Ty, TypeParams, /*isVarArg*/ false);
848 return CGM.CreateRuntimeFunction(FnTy, Name);
849}
850
Alexey Bataev97720002014-11-11 04:05:39 +0000851llvm::Constant *
852CGOpenMPRuntime::getOrCreateThreadPrivateCache(const VarDecl *VD) {
853 // Lookup the entry, lazily creating it if necessary.
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000854 return getOrCreateInternalVariable(CGM.Int8PtrPtrTy,
Alexey Bataev97720002014-11-11 04:05:39 +0000855 Twine(CGM.getMangledName(VD)) + ".cache.");
856}
857
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000858llvm::Value *CGOpenMPRuntime::getAddrOfThreadPrivate(CodeGenFunction &CGF,
859 const VarDecl *VD,
860 llvm::Value *VDAddr,
861 SourceLocation Loc) {
Alexey Bataev97720002014-11-11 04:05:39 +0000862 auto VarTy = VDAddr->getType()->getPointerElementType();
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000863 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc),
Alexey Bataev97720002014-11-11 04:05:39 +0000864 CGF.Builder.CreatePointerCast(VDAddr, CGM.Int8PtrTy),
865 CGM.getSize(CGM.GetTargetTypeStoreSize(VarTy)),
866 getOrCreateThreadPrivateCache(VD)};
867 return CGF.EmitRuntimeCall(
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000868 createRuntimeFunction(OMPRTL__kmpc_threadprivate_cached), Args);
Alexey Bataev97720002014-11-11 04:05:39 +0000869}
870
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000871void CGOpenMPRuntime::emitThreadPrivateVarInit(
Alexey Bataev97720002014-11-11 04:05:39 +0000872 CodeGenFunction &CGF, llvm::Value *VDAddr, llvm::Value *Ctor,
873 llvm::Value *CopyCtor, llvm::Value *Dtor, SourceLocation Loc) {
874 // Call kmp_int32 __kmpc_global_thread_num(&loc) to init OpenMP runtime
875 // library.
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000876 auto OMPLoc = emitUpdateLocation(CGF, Loc);
877 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_global_thread_num),
Alexey Bataev97720002014-11-11 04:05:39 +0000878 OMPLoc);
879 // Call __kmpc_threadprivate_register(&loc, &var, ctor, cctor/*NULL*/, dtor)
880 // to register constructor/destructor for variable.
881 llvm::Value *Args[] = {OMPLoc,
882 CGF.Builder.CreatePointerCast(VDAddr, CGM.VoidPtrTy),
883 Ctor, CopyCtor, Dtor};
Alexey Bataev1e4b7132014-12-03 12:11:24 +0000884 CGF.EmitRuntimeCall(
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000885 createRuntimeFunction(OMPRTL__kmpc_threadprivate_register), Args);
Alexey Bataev97720002014-11-11 04:05:39 +0000886}
887
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000888llvm::Function *CGOpenMPRuntime::emitThreadPrivateVarDefinition(
Alexey Bataev97720002014-11-11 04:05:39 +0000889 const VarDecl *VD, llvm::Value *VDAddr, SourceLocation Loc,
890 bool PerformInit, CodeGenFunction *CGF) {
891 VD = VD->getDefinition(CGM.getContext());
892 if (VD && ThreadPrivateWithDefinition.count(VD) == 0) {
893 ThreadPrivateWithDefinition.insert(VD);
894 QualType ASTTy = VD->getType();
895
896 llvm::Value *Ctor = nullptr, *CopyCtor = nullptr, *Dtor = nullptr;
897 auto Init = VD->getAnyInitializer();
898 if (CGM.getLangOpts().CPlusPlus && PerformInit) {
899 // Generate function that re-emits the declaration's initializer into the
900 // threadprivate copy of the variable VD
901 CodeGenFunction CtorCGF(CGM);
902 FunctionArgList Args;
903 ImplicitParamDecl Dst(CGM.getContext(), /*DC=*/nullptr, SourceLocation(),
904 /*Id=*/nullptr, CGM.getContext().VoidPtrTy);
905 Args.push_back(&Dst);
906
907 auto &FI = CGM.getTypes().arrangeFreeFunctionDeclaration(
908 CGM.getContext().VoidPtrTy, Args, FunctionType::ExtInfo(),
909 /*isVariadic=*/false);
910 auto FTy = CGM.getTypes().GetFunctionType(FI);
911 auto Fn = CGM.CreateGlobalInitOrDestructFunction(
912 FTy, ".__kmpc_global_ctor_.", Loc);
913 CtorCGF.StartFunction(GlobalDecl(), CGM.getContext().VoidPtrTy, Fn, FI,
914 Args, SourceLocation());
915 auto ArgVal = CtorCGF.EmitLoadOfScalar(
916 CtorCGF.GetAddrOfLocalVar(&Dst),
917 /*Volatile=*/false, CGM.PointerAlignInBytes,
918 CGM.getContext().VoidPtrTy, Dst.getLocation());
919 auto Arg = CtorCGF.Builder.CreatePointerCast(
920 ArgVal,
921 CtorCGF.ConvertTypeForMem(CGM.getContext().getPointerType(ASTTy)));
922 CtorCGF.EmitAnyExprToMem(Init, Arg, Init->getType().getQualifiers(),
923 /*IsInitializer=*/true);
924 ArgVal = CtorCGF.EmitLoadOfScalar(
925 CtorCGF.GetAddrOfLocalVar(&Dst),
926 /*Volatile=*/false, CGM.PointerAlignInBytes,
927 CGM.getContext().VoidPtrTy, Dst.getLocation());
928 CtorCGF.Builder.CreateStore(ArgVal, CtorCGF.ReturnValue);
929 CtorCGF.FinishFunction();
930 Ctor = Fn;
931 }
932 if (VD->getType().isDestructedType() != QualType::DK_none) {
933 // Generate function that emits destructor call for the threadprivate copy
934 // of the variable VD
935 CodeGenFunction DtorCGF(CGM);
936 FunctionArgList Args;
937 ImplicitParamDecl Dst(CGM.getContext(), /*DC=*/nullptr, SourceLocation(),
938 /*Id=*/nullptr, CGM.getContext().VoidPtrTy);
939 Args.push_back(&Dst);
940
941 auto &FI = CGM.getTypes().arrangeFreeFunctionDeclaration(
942 CGM.getContext().VoidTy, Args, FunctionType::ExtInfo(),
943 /*isVariadic=*/false);
944 auto FTy = CGM.getTypes().GetFunctionType(FI);
945 auto Fn = CGM.CreateGlobalInitOrDestructFunction(
946 FTy, ".__kmpc_global_dtor_.", Loc);
947 DtorCGF.StartFunction(GlobalDecl(), CGM.getContext().VoidTy, Fn, FI, Args,
948 SourceLocation());
949 auto ArgVal = DtorCGF.EmitLoadOfScalar(
950 DtorCGF.GetAddrOfLocalVar(&Dst),
951 /*Volatile=*/false, CGM.PointerAlignInBytes,
952 CGM.getContext().VoidPtrTy, Dst.getLocation());
953 DtorCGF.emitDestroy(ArgVal, ASTTy,
954 DtorCGF.getDestroyer(ASTTy.isDestructedType()),
955 DtorCGF.needsEHCleanup(ASTTy.isDestructedType()));
956 DtorCGF.FinishFunction();
957 Dtor = Fn;
958 }
959 // Do not emit init function if it is not required.
960 if (!Ctor && !Dtor)
961 return nullptr;
962
963 llvm::Type *CopyCtorTyArgs[] = {CGM.VoidPtrTy, CGM.VoidPtrTy};
964 auto CopyCtorTy =
965 llvm::FunctionType::get(CGM.VoidPtrTy, CopyCtorTyArgs,
966 /*isVarArg=*/false)->getPointerTo();
967 // Copying constructor for the threadprivate variable.
968 // Must be NULL - reserved by runtime, but currently it requires that this
969 // parameter is always NULL. Otherwise it fires assertion.
970 CopyCtor = llvm::Constant::getNullValue(CopyCtorTy);
971 if (Ctor == nullptr) {
972 auto CtorTy = llvm::FunctionType::get(CGM.VoidPtrTy, CGM.VoidPtrTy,
973 /*isVarArg=*/false)->getPointerTo();
974 Ctor = llvm::Constant::getNullValue(CtorTy);
975 }
976 if (Dtor == nullptr) {
977 auto DtorTy = llvm::FunctionType::get(CGM.VoidTy, CGM.VoidPtrTy,
978 /*isVarArg=*/false)->getPointerTo();
979 Dtor = llvm::Constant::getNullValue(DtorTy);
980 }
981 if (!CGF) {
982 auto InitFunctionTy =
983 llvm::FunctionType::get(CGM.VoidTy, /*isVarArg*/ false);
984 auto InitFunction = CGM.CreateGlobalInitOrDestructFunction(
985 InitFunctionTy, ".__omp_threadprivate_init_.");
986 CodeGenFunction InitCGF(CGM);
987 FunctionArgList ArgList;
988 InitCGF.StartFunction(GlobalDecl(), CGM.getContext().VoidTy, InitFunction,
989 CGM.getTypes().arrangeNullaryFunction(), ArgList,
990 Loc);
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000991 emitThreadPrivateVarInit(InitCGF, VDAddr, Ctor, CopyCtor, Dtor, Loc);
Alexey Bataev97720002014-11-11 04:05:39 +0000992 InitCGF.FinishFunction();
993 return InitFunction;
994 }
Alexey Bataev3eff5f42015-02-25 08:32:46 +0000995 emitThreadPrivateVarInit(*CGF, VDAddr, Ctor, CopyCtor, Dtor, Loc);
Alexey Bataev97720002014-11-11 04:05:39 +0000996 }
997 return nullptr;
998}
999
Alexey Bataev1d677132015-04-22 13:57:31 +00001000/// \brief Emits code for OpenMP 'if' clause using specified \a CodeGen
1001/// function. Here is the logic:
1002/// if (Cond) {
1003/// ThenGen();
1004/// } else {
1005/// ElseGen();
1006/// }
1007static void emitOMPIfClause(CodeGenFunction &CGF, const Expr *Cond,
1008 const RegionCodeGenTy &ThenGen,
1009 const RegionCodeGenTy &ElseGen) {
1010 CodeGenFunction::LexicalScope ConditionScope(CGF, Cond->getSourceRange());
1011
1012 // If the condition constant folds and can be elided, try to avoid emitting
1013 // the condition and the dead arm of the if/else.
1014 bool CondConstant;
1015 if (CGF.ConstantFoldsToSimpleInteger(Cond, CondConstant)) {
1016 CodeGenFunction::RunCleanupsScope Scope(CGF);
1017 if (CondConstant) {
1018 ThenGen(CGF);
1019 } else {
1020 ElseGen(CGF);
1021 }
1022 return;
1023 }
1024
1025 // Otherwise, the condition did not fold, or we couldn't elide it. Just
1026 // emit the conditional branch.
1027 auto ThenBlock = CGF.createBasicBlock("omp_if.then");
1028 auto ElseBlock = CGF.createBasicBlock("omp_if.else");
1029 auto ContBlock = CGF.createBasicBlock("omp_if.end");
1030 CGF.EmitBranchOnBoolExpr(Cond, ThenBlock, ElseBlock, /*TrueCount=*/0);
1031
1032 // Emit the 'then' code.
1033 CGF.EmitBlock(ThenBlock);
1034 {
1035 CodeGenFunction::RunCleanupsScope ThenScope(CGF);
1036 ThenGen(CGF);
1037 }
1038 CGF.EmitBranch(ContBlock);
1039 // Emit the 'else' code if present.
1040 {
1041 // There is no need to emit line number for unconditional branch.
1042 auto NL = ApplyDebugLocation::CreateEmpty(CGF);
1043 CGF.EmitBlock(ElseBlock);
1044 }
1045 {
1046 CodeGenFunction::RunCleanupsScope ThenScope(CGF);
1047 ElseGen(CGF);
1048 }
1049 {
1050 // There is no need to emit line number for unconditional branch.
1051 auto NL = ApplyDebugLocation::CreateEmpty(CGF);
1052 CGF.EmitBranch(ContBlock);
1053 }
1054 // Emit the continuation block for code after the if.
1055 CGF.EmitBlock(ContBlock, /*IsFinished=*/true);
Alexey Bataev4a5bb772014-10-08 14:01:46 +00001056}
1057
Alexey Bataev1d677132015-04-22 13:57:31 +00001058void CGOpenMPRuntime::emitParallelCall(CodeGenFunction &CGF, SourceLocation Loc,
1059 llvm::Value *OutlinedFn,
1060 llvm::Value *CapturedStruct,
1061 const Expr *IfCond) {
1062 auto *RTLoc = emitUpdateLocation(CGF, Loc);
1063 auto &&ThenGen =
1064 [this, OutlinedFn, CapturedStruct, RTLoc](CodeGenFunction &CGF) {
1065 // Build call __kmpc_fork_call(loc, 1, microtask,
1066 // captured_struct/*context*/)
1067 llvm::Value *Args[] = {
1068 RTLoc,
1069 CGF.Builder.getInt32(
1070 1), // Number of arguments after 'microtask' argument
1071 // (there is only one additional argument - 'context')
1072 CGF.Builder.CreateBitCast(OutlinedFn, getKmpc_MicroPointerTy()),
1073 CGF.EmitCastToVoidPtr(CapturedStruct)};
1074 auto RTLFn = createRuntimeFunction(OMPRTL__kmpc_fork_call);
1075 CGF.EmitRuntimeCall(RTLFn, Args);
1076 };
1077 auto &&ElseGen = [this, OutlinedFn, CapturedStruct, RTLoc, Loc](
1078 CodeGenFunction &CGF) {
1079 auto ThreadID = getThreadID(CGF, Loc);
1080 // Build calls:
1081 // __kmpc_serialized_parallel(&Loc, GTid);
1082 llvm::Value *Args[] = {RTLoc, ThreadID};
1083 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_serialized_parallel),
1084 Args);
Alexey Bataevd74d0602014-10-13 06:02:40 +00001085
Alexey Bataev1d677132015-04-22 13:57:31 +00001086 // OutlinedFn(&GTid, &zero, CapturedStruct);
1087 auto ThreadIDAddr = emitThreadIDAddress(CGF, Loc);
1088 auto Int32Ty = CGF.getContext().getIntTypeForBitwidth(/*DestWidth*/ 32,
1089 /*Signed*/ true);
1090 auto ZeroAddr = CGF.CreateMemTemp(Int32Ty, /*Name*/ ".zero.addr");
1091 CGF.InitTempAlloca(ZeroAddr, CGF.Builder.getInt32(/*C*/ 0));
1092 llvm::Value *OutlinedFnArgs[] = {ThreadIDAddr, ZeroAddr, CapturedStruct};
1093 CGF.EmitCallOrInvoke(OutlinedFn, OutlinedFnArgs);
Alexey Bataevd74d0602014-10-13 06:02:40 +00001094
Alexey Bataev1d677132015-04-22 13:57:31 +00001095 // __kmpc_end_serialized_parallel(&Loc, GTid);
1096 llvm::Value *EndArgs[] = {emitUpdateLocation(CGF, Loc), ThreadID};
1097 CGF.EmitRuntimeCall(
1098 createRuntimeFunction(OMPRTL__kmpc_end_serialized_parallel), EndArgs);
1099 };
1100 if (IfCond) {
1101 emitOMPIfClause(CGF, IfCond, ThenGen, ElseGen);
1102 } else {
1103 CodeGenFunction::RunCleanupsScope Scope(CGF);
1104 ThenGen(CGF);
1105 }
Alexey Bataevd74d0602014-10-13 06:02:40 +00001106}
1107
NAKAMURA Takumi59c74b222014-10-27 08:08:18 +00001108// If we're inside an (outlined) parallel region, use the region info's
Alexey Bataevd74d0602014-10-13 06:02:40 +00001109// thread-ID variable (it is passed in a first argument of the outlined function
1110// as "kmp_int32 *gtid"). Otherwise, if we're not inside parallel region, but in
1111// regular serial code region, get thread ID by calling kmp_int32
1112// kmpc_global_thread_num(ident_t *loc), stash this thread ID in a temporary and
1113// return the address of that temp.
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001114llvm::Value *CGOpenMPRuntime::emitThreadIDAddress(CodeGenFunction &CGF,
Alexey Bataevd74d0602014-10-13 06:02:40 +00001115 SourceLocation Loc) {
1116 if (auto OMPRegionInfo =
1117 dyn_cast_or_null<CGOpenMPRegionInfo>(CGF.CapturedStmtInfo))
Alexey Bataev8cbe0a62015-02-26 10:27:34 +00001118 if (OMPRegionInfo->getThreadIDVariable())
Alexey Bataev62b63b12015-03-10 07:28:44 +00001119 return OMPRegionInfo->getThreadIDVariableLValue(CGF).getAddress();
Alexey Bataev8cbe0a62015-02-26 10:27:34 +00001120
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001121 auto ThreadID = getThreadID(CGF, Loc);
Alexey Bataevd74d0602014-10-13 06:02:40 +00001122 auto Int32Ty =
1123 CGF.getContext().getIntTypeForBitwidth(/*DestWidth*/ 32, /*Signed*/ true);
1124 auto ThreadIDTemp = CGF.CreateMemTemp(Int32Ty, /*Name*/ ".threadid_temp.");
1125 CGF.EmitStoreOfScalar(ThreadID,
1126 CGF.MakeNaturalAlignAddrLValue(ThreadIDTemp, Int32Ty));
1127
1128 return ThreadIDTemp;
1129}
1130
Alexey Bataev97720002014-11-11 04:05:39 +00001131llvm::Constant *
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001132CGOpenMPRuntime::getOrCreateInternalVariable(llvm::Type *Ty,
Alexey Bataev97720002014-11-11 04:05:39 +00001133 const llvm::Twine &Name) {
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +00001134 SmallString<256> Buffer;
1135 llvm::raw_svector_ostream Out(Buffer);
Alexey Bataev97720002014-11-11 04:05:39 +00001136 Out << Name;
1137 auto RuntimeName = Out.str();
David Blaikie13156b62014-11-19 03:06:06 +00001138 auto &Elem = *InternalVars.insert(std::make_pair(RuntimeName, nullptr)).first;
1139 if (Elem.second) {
1140 assert(Elem.second->getType()->getPointerElementType() == Ty &&
Alexey Bataev97720002014-11-11 04:05:39 +00001141 "OMP internal variable has different type than requested");
David Blaikie13156b62014-11-19 03:06:06 +00001142 return &*Elem.second;
Alexey Bataev97720002014-11-11 04:05:39 +00001143 }
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +00001144
David Blaikie13156b62014-11-19 03:06:06 +00001145 return Elem.second = new llvm::GlobalVariable(
1146 CGM.getModule(), Ty, /*IsConstant*/ false,
1147 llvm::GlobalValue::CommonLinkage, llvm::Constant::getNullValue(Ty),
1148 Elem.first());
Alexey Bataev97720002014-11-11 04:05:39 +00001149}
1150
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001151llvm::Value *CGOpenMPRuntime::getCriticalRegionLock(StringRef CriticalName) {
Alexey Bataev97720002014-11-11 04:05:39 +00001152 llvm::Twine Name(".gomp_critical_user_", CriticalName);
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001153 return getOrCreateInternalVariable(KmpCriticalNameTy, Name.concat(".var"));
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +00001154}
1155
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001156namespace {
1157class CallEndCleanup : public EHScopeStack::Cleanup {
Alexey Bataev3e6124b2015-04-10 07:48:12 +00001158public:
1159 typedef ArrayRef<llvm::Value *> CleanupValuesTy;
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001160private:
Alexey Bataev3e6124b2015-04-10 07:48:12 +00001161 llvm::Value *Callee;
1162 llvm::SmallVector<llvm::Value *, 8> Args;
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001163
1164public:
Alexey Bataev3e6124b2015-04-10 07:48:12 +00001165 CallEndCleanup(llvm::Value *Callee, CleanupValuesTy Args)
1166 : Callee(Callee), Args(Args.begin(), Args.end()) {}
1167 void Emit(CodeGenFunction &CGF, Flags /*flags*/) override {
1168 CGF.EmitRuntimeCall(Callee, Args);
1169 }
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001170};
1171} // namespace
1172
1173void CGOpenMPRuntime::emitCriticalRegion(CodeGenFunction &CGF,
1174 StringRef CriticalName,
1175 const RegionCodeGenTy &CriticalOpGen,
1176 SourceLocation Loc) {
Alexey Bataev75ddfab2014-12-01 11:32:38 +00001177 // __kmpc_critical(ident_t *, gtid, Lock);
1178 // CriticalOpGen();
1179 // __kmpc_end_critical(ident_t *, gtid, Lock);
1180 // Prepare arguments and build a call to __kmpc_critical
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001181 {
1182 CodeGenFunction::RunCleanupsScope Scope(CGF);
Alexey Bataevd7614fb2015-04-10 06:33:45 +00001183 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc),
1184 getCriticalRegionLock(CriticalName)};
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001185 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_critical), Args);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001186 // Build a call to __kmpc_end_critical
1187 CGF.EHStack.pushCleanup<CallEndCleanup>(
Alexey Bataev3e6124b2015-04-10 07:48:12 +00001188 NormalAndEHCleanup, createRuntimeFunction(OMPRTL__kmpc_end_critical),
1189 llvm::makeArrayRef(Args));
Alexey Bataev794ba0d2015-04-10 10:43:45 +00001190 emitInlinedDirective(CGF, CriticalOpGen);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001191 }
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +00001192}
Alexey Bataev4a5bb772014-10-08 14:01:46 +00001193
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001194static void emitIfStmt(CodeGenFunction &CGF, llvm::Value *IfCond,
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001195 const RegionCodeGenTy &BodyOpGen) {
Alexey Bataev8d690652014-12-04 07:23:53 +00001196 llvm::Value *CallBool = CGF.EmitScalarConversion(
1197 IfCond,
1198 CGF.getContext().getIntTypeForBitwidth(/*DestWidth=*/32, /*Signed=*/true),
1199 CGF.getContext().BoolTy);
1200
1201 auto *ThenBlock = CGF.createBasicBlock("omp_if.then");
1202 auto *ContBlock = CGF.createBasicBlock("omp_if.end");
1203 // Generate the branch (If-stmt)
1204 CGF.Builder.CreateCondBr(CallBool, ThenBlock, ContBlock);
1205 CGF.EmitBlock(ThenBlock);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001206 CGF.CGM.getOpenMPRuntime().emitInlinedDirective(CGF, BodyOpGen);
Alexey Bataev8d690652014-12-04 07:23:53 +00001207 // Emit the rest of bblocks/branches
1208 CGF.EmitBranch(ContBlock);
1209 CGF.EmitBlock(ContBlock, true);
1210}
1211
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001212void CGOpenMPRuntime::emitMasterRegion(CodeGenFunction &CGF,
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001213 const RegionCodeGenTy &MasterOpGen,
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001214 SourceLocation Loc) {
Alexey Bataev8d690652014-12-04 07:23:53 +00001215 // if(__kmpc_master(ident_t *, gtid)) {
1216 // MasterOpGen();
1217 // __kmpc_end_master(ident_t *, gtid);
1218 // }
1219 // Prepare arguments and build a call to __kmpc_master
Alexey Bataevd7614fb2015-04-10 06:33:45 +00001220 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc)};
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001221 auto *IsMaster =
1222 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_master), Args);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001223 emitIfStmt(CGF, IsMaster, [&](CodeGenFunction &CGF) -> void {
1224 CodeGenFunction::RunCleanupsScope Scope(CGF);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001225 CGF.EHStack.pushCleanup<CallEndCleanup>(
Alexey Bataev3e6124b2015-04-10 07:48:12 +00001226 NormalAndEHCleanup, createRuntimeFunction(OMPRTL__kmpc_end_master),
1227 llvm::makeArrayRef(Args));
Alexey Bataev794ba0d2015-04-10 10:43:45 +00001228 MasterOpGen(CGF);
Alexey Bataev8d690652014-12-04 07:23:53 +00001229 });
1230}
1231
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001232void CGOpenMPRuntime::emitTaskyieldCall(CodeGenFunction &CGF,
1233 SourceLocation Loc) {
Alexey Bataev9f797f32015-02-05 05:57:51 +00001234 // Build call __kmpc_omp_taskyield(loc, thread_id, 0);
1235 llvm::Value *Args[] = {
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001236 emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc),
Alexey Bataev9f797f32015-02-05 05:57:51 +00001237 llvm::ConstantInt::get(CGM.IntTy, /*V=*/0, /*isSigned=*/true)};
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001238 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_omp_taskyield), Args);
Alexey Bataev9f797f32015-02-05 05:57:51 +00001239}
1240
Alexey Bataeva63048e2015-03-23 06:18:07 +00001241static llvm::Value *emitCopyprivateCopyFunction(
Alexey Bataev420d45b2015-04-14 05:11:24 +00001242 CodeGenModule &CGM, llvm::Type *ArgsType,
1243 ArrayRef<const Expr *> CopyprivateVars, ArrayRef<const Expr *> DestExprs,
1244 ArrayRef<const Expr *> SrcExprs, ArrayRef<const Expr *> AssignmentOps) {
Alexey Bataeva63048e2015-03-23 06:18:07 +00001245 auto &C = CGM.getContext();
1246 // void copy_func(void *LHSArg, void *RHSArg);
1247 FunctionArgList Args;
1248 ImplicitParamDecl LHSArg(C, /*DC=*/nullptr, SourceLocation(), /*Id=*/nullptr,
1249 C.VoidPtrTy);
1250 ImplicitParamDecl RHSArg(C, /*DC=*/nullptr, SourceLocation(), /*Id=*/nullptr,
1251 C.VoidPtrTy);
1252 Args.push_back(&LHSArg);
1253 Args.push_back(&RHSArg);
1254 FunctionType::ExtInfo EI;
1255 auto &CGFI = CGM.getTypes().arrangeFreeFunctionDeclaration(
1256 C.VoidTy, Args, EI, /*isVariadic=*/false);
1257 auto *Fn = llvm::Function::Create(
1258 CGM.getTypes().GetFunctionType(CGFI), llvm::GlobalValue::InternalLinkage,
1259 ".omp.copyprivate.copy_func", &CGM.getModule());
1260 CGM.SetLLVMFunctionAttributes(/*D=*/nullptr, CGFI, Fn);
1261 CodeGenFunction CGF(CGM);
1262 CGF.StartFunction(GlobalDecl(), C.VoidTy, Fn, CGFI, Args);
Alexey Bataev420d45b2015-04-14 05:11:24 +00001263 // Dest = (void*[n])(LHSArg);
Alexey Bataeva63048e2015-03-23 06:18:07 +00001264 // Src = (void*[n])(RHSArg);
1265 auto *LHS = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1266 CGF.Builder.CreateAlignedLoad(CGF.GetAddrOfLocalVar(&LHSArg),
1267 CGF.PointerAlignInBytes),
1268 ArgsType);
1269 auto *RHS = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1270 CGF.Builder.CreateAlignedLoad(CGF.GetAddrOfLocalVar(&RHSArg),
1271 CGF.PointerAlignInBytes),
1272 ArgsType);
1273 // *(Type0*)Dst[0] = *(Type0*)Src[0];
1274 // *(Type1*)Dst[1] = *(Type1*)Src[1];
1275 // ...
1276 // *(Typen*)Dst[n] = *(Typen*)Src[n];
Alexey Bataeva63048e2015-03-23 06:18:07 +00001277 for (unsigned I = 0, E = AssignmentOps.size(); I < E; ++I) {
Alexey Bataev420d45b2015-04-14 05:11:24 +00001278 auto *DestAddr = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1279 CGF.Builder.CreateAlignedLoad(
1280 CGF.Builder.CreateStructGEP(nullptr, LHS, I),
1281 CGM.PointerAlignInBytes),
1282 CGF.ConvertTypeForMem(C.getPointerType(SrcExprs[I]->getType())));
1283 auto *SrcAddr = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1284 CGF.Builder.CreateAlignedLoad(
1285 CGF.Builder.CreateStructGEP(nullptr, RHS, I),
1286 CGM.PointerAlignInBytes),
1287 CGF.ConvertTypeForMem(C.getPointerType(SrcExprs[I]->getType())));
1288 CGF.EmitOMPCopy(CGF, CopyprivateVars[I]->getType(), DestAddr, SrcAddr,
1289 cast<VarDecl>(cast<DeclRefExpr>(DestExprs[I])->getDecl()),
1290 cast<VarDecl>(cast<DeclRefExpr>(SrcExprs[I])->getDecl()),
1291 AssignmentOps[I]);
Alexey Bataeva63048e2015-03-23 06:18:07 +00001292 }
Alexey Bataeva63048e2015-03-23 06:18:07 +00001293 CGF.FinishFunction();
1294 return Fn;
1295}
1296
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001297void CGOpenMPRuntime::emitSingleRegion(CodeGenFunction &CGF,
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001298 const RegionCodeGenTy &SingleOpGen,
Alexey Bataeva63048e2015-03-23 06:18:07 +00001299 SourceLocation Loc,
1300 ArrayRef<const Expr *> CopyprivateVars,
1301 ArrayRef<const Expr *> SrcExprs,
1302 ArrayRef<const Expr *> DstExprs,
1303 ArrayRef<const Expr *> AssignmentOps) {
1304 assert(CopyprivateVars.size() == SrcExprs.size() &&
1305 CopyprivateVars.size() == DstExprs.size() &&
1306 CopyprivateVars.size() == AssignmentOps.size());
1307 auto &C = CGM.getContext();
1308 // int32 did_it = 0;
Alexey Bataev6956e2e2015-02-05 06:35:41 +00001309 // if(__kmpc_single(ident_t *, gtid)) {
1310 // SingleOpGen();
1311 // __kmpc_end_single(ident_t *, gtid);
Alexey Bataeva63048e2015-03-23 06:18:07 +00001312 // did_it = 1;
Alexey Bataev6956e2e2015-02-05 06:35:41 +00001313 // }
Alexey Bataeva63048e2015-03-23 06:18:07 +00001314 // call __kmpc_copyprivate(ident_t *, gtid, <buf_size>, <copyprivate list>,
1315 // <copy_func>, did_it);
1316
1317 llvm::AllocaInst *DidIt = nullptr;
1318 if (!CopyprivateVars.empty()) {
1319 // int32 did_it = 0;
1320 auto KmpInt32Ty = C.getIntTypeForBitwidth(/*DestWidth=*/32, /*Signed=*/1);
1321 DidIt = CGF.CreateMemTemp(KmpInt32Ty, ".omp.copyprivate.did_it");
1322 CGF.InitTempAlloca(DidIt, CGF.Builder.getInt32(0));
1323 }
Alexey Bataev6956e2e2015-02-05 06:35:41 +00001324 // Prepare arguments and build a call to __kmpc_single
Alexey Bataevd7614fb2015-04-10 06:33:45 +00001325 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc)};
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001326 auto *IsSingle =
1327 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_single), Args);
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001328 emitIfStmt(CGF, IsSingle, [&](CodeGenFunction &CGF) -> void {
1329 CodeGenFunction::RunCleanupsScope Scope(CGF);
Alexey Bataev794ba0d2015-04-10 10:43:45 +00001330 CGF.EHStack.pushCleanup<CallEndCleanup>(
1331 NormalAndEHCleanup, createRuntimeFunction(OMPRTL__kmpc_end_single),
1332 llvm::makeArrayRef(Args));
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00001333 SingleOpGen(CGF);
Alexey Bataeva63048e2015-03-23 06:18:07 +00001334 if (DidIt) {
1335 // did_it = 1;
1336 CGF.Builder.CreateAlignedStore(CGF.Builder.getInt32(1), DidIt,
1337 DidIt->getAlignment());
1338 }
Alexey Bataev6956e2e2015-02-05 06:35:41 +00001339 });
Alexey Bataeva63048e2015-03-23 06:18:07 +00001340 // call __kmpc_copyprivate(ident_t *, gtid, <buf_size>, <copyprivate list>,
1341 // <copy_func>, did_it);
1342 if (DidIt) {
1343 llvm::APInt ArraySize(/*unsigned int numBits=*/32, CopyprivateVars.size());
1344 auto CopyprivateArrayTy =
1345 C.getConstantArrayType(C.VoidPtrTy, ArraySize, ArrayType::Normal,
1346 /*IndexTypeQuals=*/0);
1347 // Create a list of all private variables for copyprivate.
1348 auto *CopyprivateList =
1349 CGF.CreateMemTemp(CopyprivateArrayTy, ".omp.copyprivate.cpr_list");
1350 for (unsigned I = 0, E = CopyprivateVars.size(); I < E; ++I) {
David Blaikie1ed728c2015-04-05 22:45:47 +00001351 auto *Elem = CGF.Builder.CreateStructGEP(
1352 CopyprivateList->getAllocatedType(), CopyprivateList, I);
Alexey Bataeva63048e2015-03-23 06:18:07 +00001353 CGF.Builder.CreateAlignedStore(
1354 CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1355 CGF.EmitLValue(CopyprivateVars[I]).getAddress(), CGF.VoidPtrTy),
1356 Elem, CGM.PointerAlignInBytes);
1357 }
1358 // Build function that copies private values from single region to all other
1359 // threads in the corresponding parallel region.
1360 auto *CpyFn = emitCopyprivateCopyFunction(
1361 CGM, CGF.ConvertTypeForMem(CopyprivateArrayTy)->getPointerTo(),
Alexey Bataev420d45b2015-04-14 05:11:24 +00001362 CopyprivateVars, SrcExprs, DstExprs, AssignmentOps);
Alexey Bataeva63048e2015-03-23 06:18:07 +00001363 auto *BufSize = CGF.Builder.getInt32(
1364 C.getTypeSizeInChars(CopyprivateArrayTy).getQuantity());
1365 auto *CL = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(CopyprivateList,
1366 CGF.VoidPtrTy);
1367 auto *DidItVal =
1368 CGF.Builder.CreateAlignedLoad(DidIt, CGF.PointerAlignInBytes);
1369 llvm::Value *Args[] = {
1370 emitUpdateLocation(CGF, Loc), // ident_t *<loc>
1371 getThreadID(CGF, Loc), // i32 <gtid>
1372 BufSize, // i32 <buf_size>
1373 CL, // void *<copyprivate list>
1374 CpyFn, // void (*) (void *, void *) <copy_func>
1375 DidItVal // i32 did_it
1376 };
1377 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_copyprivate), Args);
1378 }
Alexey Bataev6956e2e2015-02-05 06:35:41 +00001379}
1380
Alexey Bataev98eb6e32015-04-22 11:15:40 +00001381void CGOpenMPRuntime::emitOrderedRegion(CodeGenFunction &CGF,
1382 const RegionCodeGenTy &OrderedOpGen,
1383 SourceLocation Loc) {
1384 // __kmpc_ordered(ident_t *, gtid);
1385 // OrderedOpGen();
1386 // __kmpc_end_ordered(ident_t *, gtid);
1387 // Prepare arguments and build a call to __kmpc_ordered
1388 {
1389 CodeGenFunction::RunCleanupsScope Scope(CGF);
1390 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc)};
1391 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_ordered), Args);
1392 // Build a call to __kmpc_end_ordered
1393 CGF.EHStack.pushCleanup<CallEndCleanup>(
1394 NormalAndEHCleanup, createRuntimeFunction(OMPRTL__kmpc_end_ordered),
1395 llvm::makeArrayRef(Args));
1396 emitInlinedDirective(CGF, OrderedOpGen);
1397 }
1398}
1399
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001400void CGOpenMPRuntime::emitBarrierCall(CodeGenFunction &CGF, SourceLocation Loc,
Alexey Bataevf2685682015-03-30 04:30:22 +00001401 OpenMPDirectiveKind Kind) {
Alexey Bataev8f7c1b02014-12-05 04:09:23 +00001402 // Build call __kmpc_cancel_barrier(loc, thread_id);
Alexey Bataevf2685682015-03-30 04:30:22 +00001403 OpenMPLocationFlags Flags = OMP_IDENT_KMPC;
1404 if (Kind == OMPD_for) {
1405 Flags =
1406 static_cast<OpenMPLocationFlags>(Flags | OMP_IDENT_BARRIER_IMPL_FOR);
1407 } else if (Kind == OMPD_sections) {
1408 Flags = static_cast<OpenMPLocationFlags>(Flags |
1409 OMP_IDENT_BARRIER_IMPL_SECTIONS);
1410 } else if (Kind == OMPD_single) {
1411 Flags =
1412 static_cast<OpenMPLocationFlags>(Flags | OMP_IDENT_BARRIER_IMPL_SINGLE);
1413 } else if (Kind == OMPD_barrier) {
1414 Flags = static_cast<OpenMPLocationFlags>(Flags | OMP_IDENT_BARRIER_EXPL);
1415 } else {
1416 Flags = static_cast<OpenMPLocationFlags>(Flags | OMP_IDENT_BARRIER_IMPL);
1417 }
Alexey Bataev8f7c1b02014-12-05 04:09:23 +00001418 // Build call __kmpc_cancel_barrier(loc, thread_id);
1419 // Replace __kmpc_barrier() function by __kmpc_cancel_barrier() because this
1420 // one provides the same functionality and adds initial support for
1421 // cancellation constructs introduced in OpenMP 4.0. __kmpc_cancel_barrier()
1422 // is provided default by the runtime library so it safe to make such
1423 // replacement.
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001424 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc, Flags),
1425 getThreadID(CGF, Loc)};
1426 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_cancel_barrier), Args);
Alexey Bataev4a5bb772014-10-08 14:01:46 +00001427}
1428
Alexander Musmanc6388682014-12-15 07:07:06 +00001429/// \brief Schedule types for 'omp for' loops (these enumerators are taken from
1430/// the enum sched_type in kmp.h).
1431enum OpenMPSchedType {
1432 /// \brief Lower bound for default (unordered) versions.
1433 OMP_sch_lower = 32,
1434 OMP_sch_static_chunked = 33,
1435 OMP_sch_static = 34,
1436 OMP_sch_dynamic_chunked = 35,
1437 OMP_sch_guided_chunked = 36,
1438 OMP_sch_runtime = 37,
1439 OMP_sch_auto = 38,
1440 /// \brief Lower bound for 'ordered' versions.
1441 OMP_ord_lower = 64,
1442 /// \brief Lower bound for 'nomerge' versions.
1443 OMP_nm_lower = 160,
1444};
1445
1446/// \brief Map the OpenMP loop schedule to the runtime enumeration.
1447static OpenMPSchedType getRuntimeSchedule(OpenMPScheduleClauseKind ScheduleKind,
1448 bool Chunked) {
1449 switch (ScheduleKind) {
1450 case OMPC_SCHEDULE_static:
1451 return Chunked ? OMP_sch_static_chunked : OMP_sch_static;
1452 case OMPC_SCHEDULE_dynamic:
1453 return OMP_sch_dynamic_chunked;
1454 case OMPC_SCHEDULE_guided:
1455 return OMP_sch_guided_chunked;
1456 case OMPC_SCHEDULE_auto:
1457 return OMP_sch_auto;
1458 case OMPC_SCHEDULE_runtime:
1459 return OMP_sch_runtime;
1460 case OMPC_SCHEDULE_unknown:
1461 assert(!Chunked && "chunk was specified but schedule kind not known");
1462 return OMP_sch_static;
1463 }
1464 llvm_unreachable("Unexpected runtime schedule");
1465}
1466
1467bool CGOpenMPRuntime::isStaticNonchunked(OpenMPScheduleClauseKind ScheduleKind,
1468 bool Chunked) const {
1469 auto Schedule = getRuntimeSchedule(ScheduleKind, Chunked);
1470 return Schedule == OMP_sch_static;
1471}
1472
Alexander Musmandf7a8e22015-01-22 08:49:35 +00001473bool CGOpenMPRuntime::isDynamic(OpenMPScheduleClauseKind ScheduleKind) const {
1474 auto Schedule = getRuntimeSchedule(ScheduleKind, /* Chunked */ false);
1475 assert(Schedule != OMP_sch_static_chunked && "cannot be chunked here");
1476 return Schedule != OMP_sch_static;
1477}
1478
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001479void CGOpenMPRuntime::emitForInit(CodeGenFunction &CGF, SourceLocation Loc,
1480 OpenMPScheduleClauseKind ScheduleKind,
1481 unsigned IVSize, bool IVSigned,
1482 llvm::Value *IL, llvm::Value *LB,
1483 llvm::Value *UB, llvm::Value *ST,
1484 llvm::Value *Chunk) {
Alexander Musmanc6388682014-12-15 07:07:06 +00001485 OpenMPSchedType Schedule = getRuntimeSchedule(ScheduleKind, Chunk != nullptr);
Alexander Musman92bdaab2015-03-12 13:37:50 +00001486 if (Schedule != OMP_sch_static && Schedule != OMP_sch_static_chunked) {
1487 // Call __kmpc_dispatch_init(
1488 // ident_t *loc, kmp_int32 tid, kmp_int32 schedule,
1489 // kmp_int[32|64] lower, kmp_int[32|64] upper,
1490 // kmp_int[32|64] stride, kmp_int[32|64] chunk);
Alexander Musmanc6388682014-12-15 07:07:06 +00001491
Alexander Musman92bdaab2015-03-12 13:37:50 +00001492 // If the Chunk was not specified in the clause - use default value 1.
1493 if (Chunk == nullptr)
1494 Chunk = CGF.Builder.getIntN(IVSize, 1);
1495 llvm::Value *Args[] = { emitUpdateLocation(CGF, Loc, OMP_IDENT_KMPC),
1496 getThreadID(CGF, Loc),
1497 CGF.Builder.getInt32(Schedule), // Schedule type
1498 CGF.Builder.getIntN(IVSize, 0), // Lower
1499 UB, // Upper
1500 CGF.Builder.getIntN(IVSize, 1), // Stride
1501 Chunk // Chunk
1502 };
1503 CGF.EmitRuntimeCall(createDispatchInitFunction(IVSize, IVSigned), Args);
1504 } else {
1505 // Call __kmpc_for_static_init(
1506 // ident_t *loc, kmp_int32 tid, kmp_int32 schedtype,
1507 // kmp_int32 *p_lastiter, kmp_int[32|64] *p_lower,
1508 // kmp_int[32|64] *p_upper, kmp_int[32|64] *p_stride,
1509 // kmp_int[32|64] incr, kmp_int[32|64] chunk);
1510 if (Chunk == nullptr) {
1511 assert(Schedule == OMP_sch_static &&
1512 "expected static non-chunked schedule");
1513 // If the Chunk was not specified in the clause - use default value 1.
1514 Chunk = CGF.Builder.getIntN(IVSize, 1);
1515 } else
1516 assert(Schedule == OMP_sch_static_chunked &&
1517 "expected static chunked schedule");
1518 llvm::Value *Args[] = { emitUpdateLocation(CGF, Loc, OMP_IDENT_KMPC),
1519 getThreadID(CGF, Loc),
1520 CGF.Builder.getInt32(Schedule), // Schedule type
1521 IL, // &isLastIter
1522 LB, // &LB
1523 UB, // &UB
1524 ST, // &Stride
1525 CGF.Builder.getIntN(IVSize, 1), // Incr
1526 Chunk // Chunk
1527 };
Alexander Musman21212e42015-03-13 10:38:23 +00001528 CGF.EmitRuntimeCall(createForStaticInitFunction(IVSize, IVSigned), Args);
Alexander Musman92bdaab2015-03-12 13:37:50 +00001529 }
Alexander Musmanc6388682014-12-15 07:07:06 +00001530}
1531
Alexey Bataev98eb6e32015-04-22 11:15:40 +00001532void CGOpenMPRuntime::emitForStaticFinish(CodeGenFunction &CGF,
1533 SourceLocation Loc) {
Alexander Musmanc6388682014-12-15 07:07:06 +00001534 // Call __kmpc_for_static_fini(ident_t *loc, kmp_int32 tid);
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001535 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc, OMP_IDENT_KMPC),
1536 getThreadID(CGF, Loc)};
1537 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_for_static_fini),
1538 Args);
Alexander Musmanc6388682014-12-15 07:07:06 +00001539}
1540
Alexey Bataev98eb6e32015-04-22 11:15:40 +00001541void CGOpenMPRuntime::emitForOrderedDynamicIterationEnd(CodeGenFunction &CGF,
1542 SourceLocation Loc,
1543 unsigned IVSize,
1544 bool IVSigned) {
1545 // Call __kmpc_for_dynamic_fini_(4|8)[u](ident_t *loc, kmp_int32 tid);
1546 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc, OMP_IDENT_KMPC),
1547 getThreadID(CGF, Loc)};
1548 CGF.EmitRuntimeCall(createDispatchFiniFunction(IVSize, IVSigned), Args);
1549}
1550
Alexander Musman92bdaab2015-03-12 13:37:50 +00001551llvm::Value *CGOpenMPRuntime::emitForNext(CodeGenFunction &CGF,
1552 SourceLocation Loc, unsigned IVSize,
1553 bool IVSigned, llvm::Value *IL,
1554 llvm::Value *LB, llvm::Value *UB,
1555 llvm::Value *ST) {
1556 // Call __kmpc_dispatch_next(
1557 // ident_t *loc, kmp_int32 tid, kmp_int32 *p_lastiter,
1558 // kmp_int[32|64] *p_lower, kmp_int[32|64] *p_upper,
1559 // kmp_int[32|64] *p_stride);
1560 llvm::Value *Args[] = {
1561 emitUpdateLocation(CGF, Loc, OMP_IDENT_KMPC), getThreadID(CGF, Loc),
1562 IL, // &isLastIter
1563 LB, // &Lower
1564 UB, // &Upper
1565 ST // &Stride
1566 };
1567 llvm::Value *Call =
1568 CGF.EmitRuntimeCall(createDispatchNextFunction(IVSize, IVSigned), Args);
1569 return CGF.EmitScalarConversion(
1570 Call, CGF.getContext().getIntTypeForBitwidth(32, /* Signed */ true),
1571 CGF.getContext().BoolTy);
1572}
1573
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001574void CGOpenMPRuntime::emitNumThreadsClause(CodeGenFunction &CGF,
1575 llvm::Value *NumThreads,
1576 SourceLocation Loc) {
Alexey Bataevb2059782014-10-13 08:23:51 +00001577 // Build call __kmpc_push_num_threads(&loc, global_tid, num_threads)
1578 llvm::Value *Args[] = {
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001579 emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc),
Alexey Bataevb2059782014-10-13 08:23:51 +00001580 CGF.Builder.CreateIntCast(NumThreads, CGF.Int32Ty, /*isSigned*/ true)};
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001581 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_push_num_threads),
1582 Args);
Alexey Bataevb2059782014-10-13 08:23:51 +00001583}
1584
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001585void CGOpenMPRuntime::emitFlush(CodeGenFunction &CGF, ArrayRef<const Expr *>,
1586 SourceLocation Loc) {
Alexey Bataevd76df6d2015-02-24 12:55:09 +00001587 // Build call void __kmpc_flush(ident_t *loc)
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001588 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_flush),
1589 emitUpdateLocation(CGF, Loc));
Alexey Bataevcc37cc12014-11-20 04:34:54 +00001590}
Alexey Bataev3eff5f42015-02-25 08:32:46 +00001591
Alexey Bataev62b63b12015-03-10 07:28:44 +00001592namespace {
1593/// \brief Indexes of fields for type kmp_task_t.
1594enum KmpTaskTFields {
1595 /// \brief List of shared variables.
1596 KmpTaskTShareds,
1597 /// \brief Task routine.
1598 KmpTaskTRoutine,
1599 /// \brief Partition id for the untied tasks.
1600 KmpTaskTPartId,
1601 /// \brief Function with call of destructors for private variables.
1602 KmpTaskTDestructors,
1603};
1604} // namespace
1605
1606void CGOpenMPRuntime::emitKmpRoutineEntryT(QualType KmpInt32Ty) {
1607 if (!KmpRoutineEntryPtrTy) {
1608 // Build typedef kmp_int32 (* kmp_routine_entry_t)(kmp_int32, void *); type.
1609 auto &C = CGM.getContext();
1610 QualType KmpRoutineEntryTyArgs[] = {KmpInt32Ty, C.VoidPtrTy};
1611 FunctionProtoType::ExtProtoInfo EPI;
1612 KmpRoutineEntryPtrQTy = C.getPointerType(
1613 C.getFunctionType(KmpInt32Ty, KmpRoutineEntryTyArgs, EPI));
1614 KmpRoutineEntryPtrTy = CGM.getTypes().ConvertType(KmpRoutineEntryPtrQTy);
1615 }
1616}
1617
1618static void addFieldToRecordDecl(ASTContext &C, DeclContext *DC,
1619 QualType FieldTy) {
1620 auto *Field = FieldDecl::Create(
1621 C, DC, SourceLocation(), SourceLocation(), /*Id=*/nullptr, FieldTy,
1622 C.getTrivialTypeSourceInfo(FieldTy, SourceLocation()),
1623 /*BW=*/nullptr, /*Mutable=*/false, /*InitStyle=*/ICIS_NoInit);
1624 Field->setAccess(AS_public);
1625 DC->addDecl(Field);
1626}
1627
1628static QualType createKmpTaskTRecordDecl(CodeGenModule &CGM,
1629 QualType KmpInt32Ty,
1630 QualType KmpRoutineEntryPointerQTy) {
1631 auto &C = CGM.getContext();
1632 // Build struct kmp_task_t {
1633 // void * shareds;
1634 // kmp_routine_entry_t routine;
1635 // kmp_int32 part_id;
1636 // kmp_routine_entry_t destructors;
1637 // /* private vars */
1638 // };
1639 auto *RD = C.buildImplicitRecord("kmp_task_t");
1640 RD->startDefinition();
1641 addFieldToRecordDecl(C, RD, C.VoidPtrTy);
1642 addFieldToRecordDecl(C, RD, KmpRoutineEntryPointerQTy);
1643 addFieldToRecordDecl(C, RD, KmpInt32Ty);
1644 addFieldToRecordDecl(C, RD, KmpRoutineEntryPointerQTy);
1645 // TODO: add private fields.
1646 RD->completeDefinition();
1647 return C.getRecordType(RD);
1648}
1649
1650/// \brief Emit a proxy function which accepts kmp_task_t as the second
1651/// argument.
1652/// \code
1653/// kmp_int32 .omp_task_entry.(kmp_int32 gtid, kmp_task_t *tt) {
1654/// TaskFunction(gtid, tt->part_id, tt->shareds);
1655/// return 0;
1656/// }
1657/// \endcode
1658static llvm::Value *
1659emitProxyTaskFunction(CodeGenModule &CGM, SourceLocation Loc,
1660 QualType KmpInt32Ty, QualType KmpTaskTPtrQTy,
David Blaikie2e804282015-04-05 22:47:07 +00001661 QualType SharedsPtrTy, llvm::Value *TaskFunction,
1662 llvm::Type *KmpTaskTTy) {
Alexey Bataev62b63b12015-03-10 07:28:44 +00001663 auto &C = CGM.getContext();
1664 FunctionArgList Args;
1665 ImplicitParamDecl GtidArg(C, /*DC=*/nullptr, Loc, /*Id=*/nullptr, KmpInt32Ty);
1666 ImplicitParamDecl TaskTypeArg(C, /*DC=*/nullptr, Loc,
1667 /*Id=*/nullptr, KmpTaskTPtrQTy);
1668 Args.push_back(&GtidArg);
1669 Args.push_back(&TaskTypeArg);
1670 FunctionType::ExtInfo Info;
1671 auto &TaskEntryFnInfo =
1672 CGM.getTypes().arrangeFreeFunctionDeclaration(KmpInt32Ty, Args, Info,
1673 /*isVariadic=*/false);
1674 auto *TaskEntryTy = CGM.getTypes().GetFunctionType(TaskEntryFnInfo);
1675 auto *TaskEntry =
1676 llvm::Function::Create(TaskEntryTy, llvm::GlobalValue::InternalLinkage,
1677 ".omp_task_entry.", &CGM.getModule());
1678 CGM.SetLLVMFunctionAttributes(/*D=*/nullptr, TaskEntryFnInfo, TaskEntry);
1679 CodeGenFunction CGF(CGM);
1680 CGF.disableDebugInfo();
1681 CGF.StartFunction(GlobalDecl(), KmpInt32Ty, TaskEntry, TaskEntryFnInfo, Args);
1682
1683 // TaskFunction(gtid, tt->part_id, tt->shareds);
1684 auto *GtidParam = CGF.EmitLoadOfScalar(
1685 CGF.GetAddrOfLocalVar(&GtidArg), /*Volatile=*/false,
1686 C.getTypeAlignInChars(KmpInt32Ty).getQuantity(), KmpInt32Ty, Loc);
1687 auto TaskTypeArgAddr = CGF.EmitLoadOfScalar(
1688 CGF.GetAddrOfLocalVar(&TaskTypeArg), /*Volatile=*/false,
1689 CGM.PointerAlignInBytes, KmpTaskTPtrQTy, Loc);
David Blaikie1ed728c2015-04-05 22:45:47 +00001690 auto *PartidPtr = CGF.Builder.CreateStructGEP(KmpTaskTTy, TaskTypeArgAddr,
Alexey Bataev62b63b12015-03-10 07:28:44 +00001691 /*Idx=*/KmpTaskTPartId);
1692 auto *PartidParam = CGF.EmitLoadOfScalar(
1693 PartidPtr, /*Volatile=*/false,
1694 C.getTypeAlignInChars(KmpInt32Ty).getQuantity(), KmpInt32Ty, Loc);
David Blaikie1ed728c2015-04-05 22:45:47 +00001695 auto *SharedsPtr = CGF.Builder.CreateStructGEP(KmpTaskTTy, TaskTypeArgAddr,
Alexey Bataev62b63b12015-03-10 07:28:44 +00001696 /*Idx=*/KmpTaskTShareds);
1697 auto *SharedsParam =
1698 CGF.EmitLoadOfScalar(SharedsPtr, /*Volatile=*/false,
1699 CGM.PointerAlignInBytes, C.VoidPtrTy, Loc);
1700 llvm::Value *CallArgs[] = {
1701 GtidParam, PartidParam,
1702 CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1703 SharedsParam, CGF.ConvertTypeForMem(SharedsPtrTy))};
1704 CGF.EmitCallOrInvoke(TaskFunction, CallArgs);
1705 CGF.EmitStoreThroughLValue(
1706 RValue::get(CGF.Builder.getInt32(/*C=*/0)),
1707 CGF.MakeNaturalAlignAddrLValue(CGF.ReturnValue, KmpInt32Ty));
1708 CGF.FinishFunction();
1709 return TaskEntry;
1710}
1711
1712void CGOpenMPRuntime::emitTaskCall(
1713 CodeGenFunction &CGF, SourceLocation Loc, bool Tied,
1714 llvm::PointerIntPair<llvm::Value *, 1, bool> Final,
Alexey Bataev1d677132015-04-22 13:57:31 +00001715 llvm::Value *TaskFunction, QualType SharedsTy, llvm::Value *Shareds,
1716 const Expr *IfCond) {
Alexey Bataev62b63b12015-03-10 07:28:44 +00001717 auto &C = CGM.getContext();
1718 auto KmpInt32Ty = C.getIntTypeForBitwidth(/*DestWidth=*/32, /*Signed=*/1);
1719 // Build type kmp_routine_entry_t (if not built yet).
1720 emitKmpRoutineEntryT(KmpInt32Ty);
1721 // Build particular struct kmp_task_t for the given task.
1722 auto KmpTaskQTy =
1723 createKmpTaskTRecordDecl(CGM, KmpInt32Ty, KmpRoutineEntryPtrQTy);
1724 QualType KmpTaskTPtrQTy = C.getPointerType(KmpTaskQTy);
David Blaikie1ed728c2015-04-05 22:45:47 +00001725 auto *KmpTaskTTy = CGF.ConvertType(KmpTaskQTy);
1726 auto *KmpTaskTPtrTy = KmpTaskTTy->getPointerTo();
Alexey Bataev62b63b12015-03-10 07:28:44 +00001727 auto KmpTaskTySize = CGM.getSize(C.getTypeSizeInChars(KmpTaskQTy));
1728 QualType SharedsPtrTy = C.getPointerType(SharedsTy);
1729
1730 // Build a proxy function kmp_int32 .omp_task_entry.(kmp_int32 gtid,
1731 // kmp_task_t *tt);
David Blaikie1ed728c2015-04-05 22:45:47 +00001732 auto *TaskEntry =
1733 emitProxyTaskFunction(CGM, Loc, KmpInt32Ty, KmpTaskTPtrQTy, SharedsPtrTy,
1734 TaskFunction, KmpTaskTTy);
Alexey Bataev62b63b12015-03-10 07:28:44 +00001735
1736 // Build call kmp_task_t * __kmpc_omp_task_alloc(ident_t *, kmp_int32 gtid,
1737 // kmp_int32 flags, size_t sizeof_kmp_task_t, size_t sizeof_shareds,
1738 // kmp_routine_entry_t *task_entry);
1739 // Task flags. Format is taken from
1740 // http://llvm.org/svn/llvm-project/openmp/trunk/runtime/src/kmp.h,
1741 // description of kmp_tasking_flags struct.
1742 const unsigned TiedFlag = 0x1;
1743 const unsigned FinalFlag = 0x2;
1744 unsigned Flags = Tied ? TiedFlag : 0;
1745 auto *TaskFlags =
1746 Final.getPointer()
1747 ? CGF.Builder.CreateSelect(Final.getPointer(),
1748 CGF.Builder.getInt32(FinalFlag),
1749 CGF.Builder.getInt32(/*C=*/0))
1750 : CGF.Builder.getInt32(Final.getInt() ? FinalFlag : 0);
1751 TaskFlags = CGF.Builder.CreateOr(TaskFlags, CGF.Builder.getInt32(Flags));
1752 auto SharedsSize = C.getTypeSizeInChars(SharedsTy);
1753 llvm::Value *AllocArgs[] = {emitUpdateLocation(CGF, Loc),
1754 getThreadID(CGF, Loc), TaskFlags, KmpTaskTySize,
1755 CGM.getSize(SharedsSize),
1756 CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1757 TaskEntry, KmpRoutineEntryPtrTy)};
1758 auto *NewTask = CGF.EmitRuntimeCall(
1759 createRuntimeFunction(OMPRTL__kmpc_omp_task_alloc), AllocArgs);
1760 auto *NewTaskNewTaskTTy =
1761 CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(NewTask, KmpTaskTPtrTy);
1762 // Fill the data in the resulting kmp_task_t record.
1763 // Copy shareds if there are any.
1764 if (!SharedsTy->getAsStructureType()->getDecl()->field_empty())
1765 CGF.EmitAggregateCopy(
1766 CGF.EmitLoadOfScalar(
David Blaikie1ed728c2015-04-05 22:45:47 +00001767 CGF.Builder.CreateStructGEP(KmpTaskTTy, NewTaskNewTaskTTy,
Alexey Bataev62b63b12015-03-10 07:28:44 +00001768 /*Idx=*/KmpTaskTShareds),
1769 /*Volatile=*/false, CGM.PointerAlignInBytes, SharedsPtrTy, Loc),
1770 Shareds, SharedsTy);
1771 // TODO: generate function with destructors for privates.
1772 // Provide pointer to function with destructors for privates.
1773 CGF.Builder.CreateAlignedStore(
1774 llvm::ConstantPointerNull::get(
1775 cast<llvm::PointerType>(KmpRoutineEntryPtrTy)),
David Blaikie1ed728c2015-04-05 22:45:47 +00001776 CGF.Builder.CreateStructGEP(KmpTaskTTy, NewTaskNewTaskTTy,
Alexey Bataev62b63b12015-03-10 07:28:44 +00001777 /*Idx=*/KmpTaskTDestructors),
1778 CGM.PointerAlignInBytes);
Alexey Bataev62b63b12015-03-10 07:28:44 +00001779 // NOTE: routine and part_id fields are intialized by __kmpc_omp_task_alloc()
1780 // libcall.
1781 // Build kmp_int32 __kmpc_omp_task(ident_t *, kmp_int32 gtid, kmp_task_t
1782 // *new_task);
Alexey Bataev1d677132015-04-22 13:57:31 +00001783 auto *ThreadID = getThreadID(CGF, Loc);
1784 llvm::Value *TaskArgs[] = {emitUpdateLocation(CGF, Loc), ThreadID, NewTask};
1785 auto &&ThenCodeGen = [this, &TaskArgs](CodeGenFunction &CGF) {
1786 // TODO: add check for untied tasks.
1787 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_omp_task), TaskArgs);
1788 };
1789 auto &&ElseCodeGen =
1790 [this, &TaskArgs, ThreadID, NewTaskNewTaskTTy, TaskEntry](
1791 CodeGenFunction &CGF) {
1792 CodeGenFunction::RunCleanupsScope LocalScope(CGF);
1793 CGF.EmitRuntimeCall(
1794 createRuntimeFunction(OMPRTL__kmpc_omp_task_begin_if0), TaskArgs);
1795 // Build void __kmpc_omp_task_complete_if0(ident_t *, kmp_int32 gtid,
1796 // kmp_task_t *new_task);
1797 CGF.EHStack.pushCleanup<CallEndCleanup>(
1798 NormalAndEHCleanup,
1799 createRuntimeFunction(OMPRTL__kmpc_omp_task_complete_if0),
1800 llvm::makeArrayRef(TaskArgs));
1801
1802 // Call proxy_task_entry(gtid, new_task);
1803 llvm::Value *OutlinedFnArgs[] = {ThreadID, NewTaskNewTaskTTy};
1804 CGF.EmitCallOrInvoke(TaskEntry, OutlinedFnArgs);
1805 };
1806 if (IfCond) {
1807 emitOMPIfClause(CGF, IfCond, ThenCodeGen, ElseCodeGen);
1808 } else {
1809 CodeGenFunction::RunCleanupsScope Scope(CGF);
1810 ThenCodeGen(CGF);
1811 }
Alexey Bataev62b63b12015-03-10 07:28:44 +00001812}
1813
Alexey Bataev794ba0d2015-04-10 10:43:45 +00001814static llvm::Value *emitReductionFunction(CodeGenModule &CGM,
1815 llvm::Type *ArgsType,
1816 ArrayRef<const Expr *> LHSExprs,
1817 ArrayRef<const Expr *> RHSExprs,
1818 ArrayRef<const Expr *> ReductionOps) {
1819 auto &C = CGM.getContext();
1820
1821 // void reduction_func(void *LHSArg, void *RHSArg);
1822 FunctionArgList Args;
1823 ImplicitParamDecl LHSArg(C, /*DC=*/nullptr, SourceLocation(), /*Id=*/nullptr,
1824 C.VoidPtrTy);
1825 ImplicitParamDecl RHSArg(C, /*DC=*/nullptr, SourceLocation(), /*Id=*/nullptr,
1826 C.VoidPtrTy);
1827 Args.push_back(&LHSArg);
1828 Args.push_back(&RHSArg);
1829 FunctionType::ExtInfo EI;
1830 auto &CGFI = CGM.getTypes().arrangeFreeFunctionDeclaration(
1831 C.VoidTy, Args, EI, /*isVariadic=*/false);
1832 auto *Fn = llvm::Function::Create(
1833 CGM.getTypes().GetFunctionType(CGFI), llvm::GlobalValue::InternalLinkage,
1834 ".omp.reduction.reduction_func", &CGM.getModule());
1835 CGM.SetLLVMFunctionAttributes(/*D=*/nullptr, CGFI, Fn);
1836 CodeGenFunction CGF(CGM);
1837 CGF.StartFunction(GlobalDecl(), C.VoidTy, Fn, CGFI, Args);
1838
1839 // Dst = (void*[n])(LHSArg);
1840 // Src = (void*[n])(RHSArg);
1841 auto *LHS = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1842 CGF.Builder.CreateAlignedLoad(CGF.GetAddrOfLocalVar(&LHSArg),
1843 CGF.PointerAlignInBytes),
1844 ArgsType);
1845 auto *RHS = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1846 CGF.Builder.CreateAlignedLoad(CGF.GetAddrOfLocalVar(&RHSArg),
1847 CGF.PointerAlignInBytes),
1848 ArgsType);
1849
1850 // ...
1851 // *(Type<i>*)lhs[i] = RedOp<i>(*(Type<i>*)lhs[i], *(Type<i>*)rhs[i]);
1852 // ...
1853 CodeGenFunction::OMPPrivateScope Scope(CGF);
1854 for (unsigned I = 0, E = ReductionOps.size(); I < E; ++I) {
1855 Scope.addPrivate(
1856 cast<VarDecl>(cast<DeclRefExpr>(RHSExprs[I])->getDecl()),
1857 [&]() -> llvm::Value *{
1858 return CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1859 CGF.Builder.CreateAlignedLoad(
1860 CGF.Builder.CreateStructGEP(/*Ty=*/nullptr, RHS, I),
1861 CGM.PointerAlignInBytes),
1862 CGF.ConvertTypeForMem(C.getPointerType(RHSExprs[I]->getType())));
1863 });
1864 Scope.addPrivate(
1865 cast<VarDecl>(cast<DeclRefExpr>(LHSExprs[I])->getDecl()),
1866 [&]() -> llvm::Value *{
1867 return CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1868 CGF.Builder.CreateAlignedLoad(
1869 CGF.Builder.CreateStructGEP(/*Ty=*/nullptr, LHS, I),
1870 CGM.PointerAlignInBytes),
1871 CGF.ConvertTypeForMem(C.getPointerType(LHSExprs[I]->getType())));
1872 });
1873 }
1874 Scope.Privatize();
1875 for (auto *E : ReductionOps) {
1876 CGF.EmitIgnoredExpr(E);
1877 }
1878 Scope.ForceCleanup();
1879 CGF.FinishFunction();
1880 return Fn;
1881}
1882
1883void CGOpenMPRuntime::emitReduction(CodeGenFunction &CGF, SourceLocation Loc,
1884 ArrayRef<const Expr *> LHSExprs,
1885 ArrayRef<const Expr *> RHSExprs,
1886 ArrayRef<const Expr *> ReductionOps,
1887 bool WithNowait) {
1888 // Next code should be emitted for reduction:
1889 //
1890 // static kmp_critical_name lock = { 0 };
1891 //
1892 // void reduce_func(void *lhs[<n>], void *rhs[<n>]) {
1893 // *(Type0*)lhs[0] = ReductionOperation0(*(Type0*)lhs[0], *(Type0*)rhs[0]);
1894 // ...
1895 // *(Type<n>-1*)lhs[<n>-1] = ReductionOperation<n>-1(*(Type<n>-1*)lhs[<n>-1],
1896 // *(Type<n>-1*)rhs[<n>-1]);
1897 // }
1898 //
1899 // ...
1900 // void *RedList[<n>] = {&<RHSExprs>[0], ..., &<RHSExprs>[<n>-1]};
1901 // switch (__kmpc_reduce{_nowait}(<loc>, <gtid>, <n>, sizeof(RedList),
1902 // RedList, reduce_func, &<lock>)) {
1903 // case 1:
1904 // ...
1905 // <LHSExprs>[i] = RedOp<i>(*<LHSExprs>[i], *<RHSExprs>[i]);
1906 // ...
1907 // __kmpc_end_reduce{_nowait}(<loc>, <gtid>, &<lock>);
1908 // break;
1909 // case 2:
1910 // ...
1911 // Atomic(<LHSExprs>[i] = RedOp<i>(*<LHSExprs>[i], *<RHSExprs>[i]));
1912 // ...
1913 // break;
1914 // default:;
1915 // }
1916
1917 auto &C = CGM.getContext();
1918
1919 // 1. Build a list of reduction variables.
1920 // void *RedList[<n>] = {<ReductionVars>[0], ..., <ReductionVars>[<n>-1]};
1921 llvm::APInt ArraySize(/*unsigned int numBits=*/32, RHSExprs.size());
1922 QualType ReductionArrayTy =
1923 C.getConstantArrayType(C.VoidPtrTy, ArraySize, ArrayType::Normal,
1924 /*IndexTypeQuals=*/0);
1925 auto *ReductionList =
1926 CGF.CreateMemTemp(ReductionArrayTy, ".omp.reduction.red_list");
1927 for (unsigned I = 0, E = RHSExprs.size(); I < E; ++I) {
1928 auto *Elem = CGF.Builder.CreateStructGEP(/*Ty=*/nullptr, ReductionList, I);
1929 CGF.Builder.CreateAlignedStore(
1930 CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(
1931 CGF.EmitLValue(RHSExprs[I]).getAddress(), CGF.VoidPtrTy),
1932 Elem, CGM.PointerAlignInBytes);
1933 }
1934
1935 // 2. Emit reduce_func().
1936 auto *ReductionFn = emitReductionFunction(
1937 CGM, CGF.ConvertTypeForMem(ReductionArrayTy)->getPointerTo(), LHSExprs,
1938 RHSExprs, ReductionOps);
1939
1940 // 3. Create static kmp_critical_name lock = { 0 };
1941 auto *Lock = getCriticalRegionLock(".reduction");
1942
1943 // 4. Build res = __kmpc_reduce{_nowait}(<loc>, <gtid>, <n>, sizeof(RedList),
1944 // RedList, reduce_func, &<lock>);
1945 auto *IdentTLoc = emitUpdateLocation(
1946 CGF, Loc,
1947 static_cast<OpenMPLocationFlags>(OMP_IDENT_KMPC | OMP_ATOMIC_REDUCE));
1948 auto *ThreadId = getThreadID(CGF, Loc);
1949 auto *ReductionArrayTySize = llvm::ConstantInt::get(
1950 CGM.SizeTy, C.getTypeSizeInChars(ReductionArrayTy).getQuantity());
1951 auto *RL = CGF.Builder.CreatePointerBitCastOrAddrSpaceCast(ReductionList,
1952 CGF.VoidPtrTy);
1953 llvm::Value *Args[] = {
1954 IdentTLoc, // ident_t *<loc>
1955 ThreadId, // i32 <gtid>
1956 CGF.Builder.getInt32(RHSExprs.size()), // i32 <n>
1957 ReductionArrayTySize, // size_type sizeof(RedList)
1958 RL, // void *RedList
1959 ReductionFn, // void (*) (void *, void *) <reduce_func>
1960 Lock // kmp_critical_name *&<lock>
1961 };
1962 auto Res = CGF.EmitRuntimeCall(
1963 createRuntimeFunction(WithNowait ? OMPRTL__kmpc_reduce_nowait
1964 : OMPRTL__kmpc_reduce),
1965 Args);
1966
1967 // 5. Build switch(res)
1968 auto *DefaultBB = CGF.createBasicBlock(".omp.reduction.default");
1969 auto *SwInst = CGF.Builder.CreateSwitch(Res, DefaultBB, /*NumCases=*/2);
1970
1971 // 6. Build case 1:
1972 // ...
1973 // <LHSExprs>[i] = RedOp<i>(*<LHSExprs>[i], *<RHSExprs>[i]);
1974 // ...
1975 // __kmpc_end_reduce{_nowait}(<loc>, <gtid>, &<lock>);
1976 // break;
1977 auto *Case1BB = CGF.createBasicBlock(".omp.reduction.case1");
1978 SwInst->addCase(CGF.Builder.getInt32(1), Case1BB);
1979 CGF.EmitBlock(Case1BB);
1980
1981 {
1982 CodeGenFunction::RunCleanupsScope Scope(CGF);
1983 // Add emission of __kmpc_end_reduce{_nowait}(<loc>, <gtid>, &<lock>);
1984 llvm::Value *EndArgs[] = {
1985 IdentTLoc, // ident_t *<loc>
1986 ThreadId, // i32 <gtid>
1987 Lock // kmp_critical_name *&<lock>
1988 };
1989 CGF.EHStack.pushCleanup<CallEndCleanup>(
1990 NormalAndEHCleanup,
1991 createRuntimeFunction(WithNowait ? OMPRTL__kmpc_end_reduce_nowait
1992 : OMPRTL__kmpc_end_reduce),
1993 llvm::makeArrayRef(EndArgs));
1994 for (auto *E : ReductionOps) {
1995 CGF.EmitIgnoredExpr(E);
1996 }
1997 }
1998
1999 CGF.EmitBranch(DefaultBB);
2000
2001 // 7. Build case 2:
2002 // ...
2003 // Atomic(<LHSExprs>[i] = RedOp<i>(*<LHSExprs>[i], *<RHSExprs>[i]));
2004 // ...
2005 // break;
2006 auto *Case2BB = CGF.createBasicBlock(".omp.reduction.case2");
2007 SwInst->addCase(CGF.Builder.getInt32(2), Case2BB);
2008 CGF.EmitBlock(Case2BB);
2009
2010 {
2011 CodeGenFunction::RunCleanupsScope Scope(CGF);
2012 auto I = LHSExprs.begin();
2013 for (auto *E : ReductionOps) {
2014 const Expr *XExpr = nullptr;
2015 const Expr *EExpr = nullptr;
2016 const Expr *UpExpr = nullptr;
2017 BinaryOperatorKind BO = BO_Comma;
2018 // Try to emit update expression as a simple atomic.
2019 if (auto *ACO = dyn_cast<AbstractConditionalOperator>(E)) {
2020 // If this is a conditional operator, analyze it's condition for
2021 // min/max reduction operator.
2022 E = ACO->getCond();
2023 }
2024 if (auto *BO = dyn_cast<BinaryOperator>(E)) {
2025 if (BO->getOpcode() == BO_Assign) {
2026 XExpr = BO->getLHS();
2027 UpExpr = BO->getRHS();
2028 }
2029 }
2030 // Analyze RHS part of the whole expression.
2031 if (UpExpr) {
2032 if (auto *BORHS =
2033 dyn_cast<BinaryOperator>(UpExpr->IgnoreParenImpCasts())) {
2034 EExpr = BORHS->getRHS();
2035 BO = BORHS->getOpcode();
2036 }
2037 }
2038 if (XExpr) {
2039 auto *VD = cast<VarDecl>(cast<DeclRefExpr>(*I)->getDecl());
2040 LValue X = CGF.EmitLValue(XExpr);
2041 RValue E;
2042 if (EExpr)
2043 E = CGF.EmitAnyExpr(EExpr);
2044 CGF.EmitOMPAtomicSimpleUpdateExpr(
2045 X, E, BO, /*IsXLHSInRHSPart=*/true, llvm::Monotonic, Loc,
2046 [&CGF, UpExpr, VD](RValue XRValue) {
2047 CodeGenFunction::OMPPrivateScope PrivateScope(CGF);
2048 PrivateScope.addPrivate(
2049 VD, [&CGF, VD, XRValue]() -> llvm::Value *{
2050 auto *LHSTemp = CGF.CreateMemTemp(VD->getType());
2051 CGF.EmitStoreThroughLValue(
2052 XRValue,
2053 CGF.MakeNaturalAlignAddrLValue(LHSTemp, VD->getType()));
2054 return LHSTemp;
2055 });
2056 (void)PrivateScope.Privatize();
2057 return CGF.EmitAnyExpr(UpExpr);
2058 });
2059 } else {
2060 // Emit as a critical region.
2061 emitCriticalRegion(CGF, ".atomic_reduction", [E](CodeGenFunction &CGF) {
2062 CGF.EmitIgnoredExpr(E);
2063 }, Loc);
2064 }
2065 ++I;
2066 }
2067 }
2068
2069 CGF.EmitBranch(DefaultBB);
2070 CGF.EmitBlock(DefaultBB, /*IsFinished=*/true);
2071}
2072
Alexey Bataev8b8e2022015-04-27 05:22:09 +00002073void CGOpenMPRuntime::emitTaskwaitCall(CodeGenFunction &CGF,
2074 SourceLocation Loc) {
2075 // Build call kmp_int32 __kmpc_omp_taskwait(ident_t *loc, kmp_int32
2076 // global_tid);
2077 llvm::Value *Args[] = {emitUpdateLocation(CGF, Loc), getThreadID(CGF, Loc)};
2078 // Ignore return result until untied tasks are supported.
2079 CGF.EmitRuntimeCall(createRuntimeFunction(OMPRTL__kmpc_omp_taskwait), Args);
2080}
2081
Alexey Bataev6f1ffc02015-04-10 04:50:10 +00002082void CGOpenMPRuntime::emitInlinedDirective(CodeGenFunction &CGF,
2083 const RegionCodeGenTy &CodeGen) {
2084 InlinedOpenMPRegionRAII Region(CGF, CodeGen);
2085 CGF.CapturedStmtInfo->EmitBody(CGF, /*S=*/nullptr);
Alexey Bataev8cbe0a62015-02-26 10:27:34 +00002086}
2087