blob: cb00c69a66fee48fa851f8de466d0b9b8fe77463 [file] [log] [blame]
Alexey Bataev9959db52014-05-06 10:08:46 +00001//===--- CGStmtOpenMP.cpp - Emit LLVM Code from Statements ----------------===//
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 contains code to emit OpenMP nodes as LLVM code.
11//
12//===----------------------------------------------------------------------===//
13
14#include "CGOpenMPRuntime.h"
15#include "CodeGenFunction.h"
16#include "CodeGenModule.h"
17#include "clang/AST/Stmt.h"
18#include "clang/AST/StmtOpenMP.h"
Alexander Musman09184fe2014-09-30 05:29:28 +000019#include "TargetInfo.h"
Alexey Bataev9959db52014-05-06 10:08:46 +000020using namespace clang;
21using namespace CodeGen;
22
23//===----------------------------------------------------------------------===//
24// OpenMP Directive Emission
25//===----------------------------------------------------------------------===//
26
Alexey Bataevd74d0602014-10-13 06:02:40 +000027/// \brief Emits code for OpenMP 'if' clause using specified \a CodeGen
28/// function. Here is the logic:
29/// if (Cond) {
30/// CodeGen(true);
31/// } else {
32/// CodeGen(false);
33/// }
34static void EmitOMPIfClause(CodeGenFunction &CGF, const Expr *Cond,
35 const std::function<void(bool)> &CodeGen) {
36 CodeGenFunction::LexicalScope ConditionScope(CGF, Cond->getSourceRange());
37
38 // If the condition constant folds and can be elided, try to avoid emitting
39 // the condition and the dead arm of the if/else.
40 bool CondConstant;
41 if (CGF.ConstantFoldsToSimpleInteger(Cond, CondConstant)) {
42 CodeGen(CondConstant);
43 return;
44 }
45
46 // Otherwise, the condition did not fold, or we couldn't elide it. Just
47 // emit the conditional branch.
48 auto ThenBlock = CGF.createBasicBlock(/*name*/ "omp_if.then");
49 auto ElseBlock = CGF.createBasicBlock(/*name*/ "omp_if.else");
50 auto ContBlock = CGF.createBasicBlock(/*name*/ "omp_if.end");
51 CGF.EmitBranchOnBoolExpr(Cond, ThenBlock, ElseBlock, /*TrueCount*/ 0);
52
53 // Emit the 'then' code.
54 CGF.EmitBlock(ThenBlock);
55 CodeGen(/*ThenBlock*/ true);
56 CGF.EmitBranch(ContBlock);
57 // Emit the 'else' code if present.
58 {
59 // There is no need to emit line number for unconditional branch.
60 SuppressDebugLocation SDL(CGF.Builder);
61 CGF.EmitBlock(ElseBlock);
62 }
63 CodeGen(/*ThenBlock*/ false);
64 {
65 // There is no need to emit line number for unconditional branch.
66 SuppressDebugLocation SDL(CGF.Builder);
67 CGF.EmitBranch(ContBlock);
68 }
69 // Emit the continuation block for code after the if.
70 CGF.EmitBlock(ContBlock, /*IsFinished*/ true);
71}
72
Alexey Bataev4a5bb772014-10-08 14:01:46 +000073void CodeGenFunction::EmitOMPAggregateAssign(LValue OriginalAddr,
74 llvm::Value *PrivateAddr,
75 const Expr *AssignExpr,
76 QualType OriginalType,
77 const VarDecl *VDInit) {
78 EmitBlock(createBasicBlock(".omp.assign.begin."));
79 if (!isa<CXXConstructExpr>(AssignExpr) || isTrivialInitializer(AssignExpr)) {
80 // Perform simple memcpy.
81 EmitAggregateAssign(PrivateAddr, OriginalAddr.getAddress(),
82 AssignExpr->getType());
83 } else {
84 // Perform element-by-element initialization.
85 QualType ElementTy;
86 auto SrcBegin = OriginalAddr.getAddress();
87 auto DestBegin = PrivateAddr;
88 auto ArrayTy = OriginalType->getAsArrayTypeUnsafe();
89 auto SrcNumElements = emitArrayLength(ArrayTy, ElementTy, SrcBegin);
90 auto DestNumElements = emitArrayLength(ArrayTy, ElementTy, DestBegin);
91 auto SrcEnd = Builder.CreateGEP(SrcBegin, SrcNumElements);
92 auto DestEnd = Builder.CreateGEP(DestBegin, DestNumElements);
93 // The basic structure here is a do-while loop, because we don't
94 // need to check for the zero-element case.
95 auto BodyBB = createBasicBlock("omp.arraycpy.body");
96 auto DoneBB = createBasicBlock("omp.arraycpy.done");
97 auto IsEmpty =
98 Builder.CreateICmpEQ(DestBegin, DestEnd, "omp.arraycpy.isempty");
99 Builder.CreateCondBr(IsEmpty, DoneBB, BodyBB);
100
101 // Enter the loop body, making that address the current address.
102 auto EntryBB = Builder.GetInsertBlock();
103 EmitBlock(BodyBB);
104 auto SrcElementPast = Builder.CreatePHI(SrcBegin->getType(), 2,
105 "omp.arraycpy.srcElementPast");
106 SrcElementPast->addIncoming(SrcEnd, EntryBB);
107 auto DestElementPast = Builder.CreatePHI(DestBegin->getType(), 2,
108 "omp.arraycpy.destElementPast");
109 DestElementPast->addIncoming(DestEnd, EntryBB);
110
111 // Shift the address back by one element.
112 auto NegativeOne = llvm::ConstantInt::get(SizeTy, -1, true);
113 auto DestElement = Builder.CreateGEP(DestElementPast, NegativeOne,
114 "omp.arraycpy.dest.element");
115 auto SrcElement = Builder.CreateGEP(SrcElementPast, NegativeOne,
116 "omp.arraycpy.src.element");
117 {
118 // Create RunCleanScope to cleanup possible temps.
119 CodeGenFunction::RunCleanupsScope Init(*this);
120 // Emit initialization for single element.
121 LocalDeclMap[VDInit] = SrcElement;
122 EmitAnyExprToMem(AssignExpr, DestElement,
123 AssignExpr->getType().getQualifiers(),
124 /*IsInitializer*/ false);
125 LocalDeclMap.erase(VDInit);
126 }
127
128 // Check whether we've reached the end.
129 auto Done =
130 Builder.CreateICmpEQ(DestElement, DestBegin, "omp.arraycpy.done");
131 Builder.CreateCondBr(Done, DoneBB, BodyBB);
132 DestElementPast->addIncoming(DestElement, Builder.GetInsertBlock());
133 SrcElementPast->addIncoming(SrcElement, Builder.GetInsertBlock());
134
135 // Done.
136 EmitBlock(DoneBB, true);
137 }
138 EmitBlock(createBasicBlock(".omp.assign.end."));
139}
140
141void CodeGenFunction::EmitOMPFirstprivateClause(
142 const OMPExecutableDirective &D,
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000143 CodeGenFunction::OMPPrivateScope &PrivateScope) {
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000144 auto PrivateFilter = [](const OMPClause *C) -> bool {
145 return C->getClauseKind() == OMPC_firstprivate;
146 };
147 for (OMPExecutableDirective::filtered_clause_iterator<decltype(PrivateFilter)>
148 I(D.clauses(), PrivateFilter); I; ++I) {
149 auto *C = cast<OMPFirstprivateClause>(*I);
150 auto IRef = C->varlist_begin();
151 auto InitsRef = C->inits().begin();
152 for (auto IInit : C->private_copies()) {
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000153 auto *OrigVD = cast<VarDecl>(cast<DeclRefExpr>(*IRef)->getDecl());
154 auto *VD = cast<VarDecl>(cast<DeclRefExpr>(IInit)->getDecl());
155 bool IsRegistered;
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000156 if (*InitsRef != nullptr) {
157 // Emit VarDecl with copy init for arrays.
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000158 auto *FD = CapturedStmtInfo->lookup(OrigVD);
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000159 LValue Base = MakeNaturalAlignAddrLValue(
160 CapturedStmtInfo->getContextValue(),
161 getContext().getTagDeclType(FD->getParent()));
162 auto OriginalAddr = EmitLValueForField(Base, FD);
163 auto VDInit = cast<VarDecl>(cast<DeclRefExpr>(*InitsRef)->getDecl());
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000164 IsRegistered = PrivateScope.addPrivate(OrigVD, [&]() -> llvm::Value * {
165 auto Emission = EmitAutoVarAlloca(*VD);
166 // Emit initialization of aggregate firstprivate vars.
167 EmitOMPAggregateAssign(OriginalAddr, Emission.getAllocatedAddress(),
168 VD->getInit(), (*IRef)->getType(), VDInit);
169 EmitAutoVarCleanups(Emission);
170 return Emission.getAllocatedAddress();
171 });
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000172 } else
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000173 IsRegistered = PrivateScope.addPrivate(OrigVD, [&]() -> llvm::Value * {
174 // Emit private VarDecl with copy init.
175 EmitDecl(*VD);
176 return GetAddrOfLocalVar(VD);
177 });
178 assert(IsRegistered && "counter already registered as private");
179 // Silence the warning about unused variable.
180 (void)IsRegistered;
Alexey Bataev4a5bb772014-10-08 14:01:46 +0000181 ++IRef, ++InitsRef;
182 }
183 }
184}
185
Alexey Bataev03b340a2014-10-21 03:16:40 +0000186void CodeGenFunction::EmitOMPPrivateClause(
187 const OMPExecutableDirective &D,
188 CodeGenFunction::OMPPrivateScope &PrivateScope) {
189 auto PrivateFilter = [](const OMPClause *C) -> bool {
190 return C->getClauseKind() == OMPC_private;
191 };
192 for (OMPExecutableDirective::filtered_clause_iterator<decltype(PrivateFilter)>
193 I(D.clauses(), PrivateFilter); I; ++I) {
194 auto *C = cast<OMPPrivateClause>(*I);
195 auto IRef = C->varlist_begin();
196 for (auto IInit : C->private_copies()) {
197 auto *OrigVD = cast<VarDecl>(cast<DeclRefExpr>(*IRef)->getDecl());
198 auto VD = cast<VarDecl>(cast<DeclRefExpr>(IInit)->getDecl());
199 bool IsRegistered =
200 PrivateScope.addPrivate(OrigVD, [&]() -> llvm::Value * {
201 // Emit private VarDecl with copy init.
202 EmitDecl(*VD);
203 return GetAddrOfLocalVar(VD);
204 });
205 assert(IsRegistered && "counter already registered as private");
206 // Silence the warning about unused variable.
207 (void)IsRegistered;
208 ++IRef;
209 }
210 }
211}
212
Alexey Bataevb2059782014-10-13 08:23:51 +0000213/// \brief Emits code for OpenMP parallel directive in the parallel region.
214static void EmitOMPParallelCall(CodeGenFunction &CGF,
215 const OMPParallelDirective &S,
216 llvm::Value *OutlinedFn,
217 llvm::Value *CapturedStruct) {
218 if (auto C = S.getSingleClause(/*K*/ OMPC_num_threads)) {
219 CodeGenFunction::RunCleanupsScope NumThreadsScope(CGF);
220 auto NumThreadsClause = cast<OMPNumThreadsClause>(C);
221 auto NumThreads = CGF.EmitScalarExpr(NumThreadsClause->getNumThreads(),
222 /*IgnoreResultAssign*/ true);
223 CGF.CGM.getOpenMPRuntime().EmitOMPNumThreadsClause(
224 CGF, NumThreads, NumThreadsClause->getLocStart());
225 }
226 CGF.CGM.getOpenMPRuntime().EmitOMPParallelCall(CGF, S.getLocStart(),
227 OutlinedFn, CapturedStruct);
228}
229
Alexey Bataev9959db52014-05-06 10:08:46 +0000230void CodeGenFunction::EmitOMPParallelDirective(const OMPParallelDirective &S) {
Alexey Bataev18095712014-10-10 12:19:54 +0000231 auto CS = cast<CapturedStmt>(S.getAssociatedStmt());
232 auto CapturedStruct = GenerateCapturedStmtArgument(*CS);
233 auto OutlinedFn = CGM.getOpenMPRuntime().EmitOpenMPOutlinedFunction(
234 S, *CS->getCapturedDecl()->param_begin());
Alexey Bataevd74d0602014-10-13 06:02:40 +0000235 if (auto C = S.getSingleClause(/*K*/ OMPC_if)) {
236 auto Cond = cast<OMPIfClause>(C)->getCondition();
237 EmitOMPIfClause(*this, Cond, [&](bool ThenBlock) {
238 if (ThenBlock)
Alexey Bataevb2059782014-10-13 08:23:51 +0000239 EmitOMPParallelCall(*this, S, OutlinedFn, CapturedStruct);
Alexey Bataevd74d0602014-10-13 06:02:40 +0000240 else
241 CGM.getOpenMPRuntime().EmitOMPSerialCall(*this, S.getLocStart(),
242 OutlinedFn, CapturedStruct);
243 });
Alexey Bataevb2059782014-10-13 08:23:51 +0000244 } else
245 EmitOMPParallelCall(*this, S, OutlinedFn, CapturedStruct);
Alexey Bataev9959db52014-05-06 10:08:46 +0000246}
Alexander Musman515ad8c2014-05-22 08:54:05 +0000247
Alexander Musmand196ef22014-10-07 08:57:09 +0000248void CodeGenFunction::EmitOMPLoopBody(const OMPLoopDirective &S,
Alexander Musmana5f070a2014-10-01 06:03:56 +0000249 bool SeparateIter) {
250 RunCleanupsScope BodyScope(*this);
251 // Update counters values on current iteration.
252 for (auto I : S.updates()) {
253 EmitIgnoredExpr(I);
254 }
255 // On a continue in the body, jump to the end.
Alexander Musmand196ef22014-10-07 08:57:09 +0000256 auto Continue = getJumpDestInCurrentScope("omp.body.continue");
Alexander Musmana5f070a2014-10-01 06:03:56 +0000257 BreakContinueStack.push_back(BreakContinue(JumpDest(), Continue));
258 // Emit loop body.
259 EmitStmt(S.getBody());
260 // The end (updates/cleanups).
261 EmitBlock(Continue.getBlock());
262 BreakContinueStack.pop_back();
263 if (SeparateIter) {
264 // TODO: Update lastprivates if the SeparateIter flag is true.
265 // This will be implemented in a follow-up OMPLastprivateClause patch, but
266 // result should be still correct without it, as we do not make these
267 // variables private yet.
268 }
269}
270
Alexander Musmand196ef22014-10-07 08:57:09 +0000271void CodeGenFunction::EmitOMPInnerLoop(const OMPLoopDirective &S,
272 OMPPrivateScope &LoopScope,
273 bool SeparateIter) {
274 auto LoopExit = getJumpDestInCurrentScope("omp.inner.for.end");
Alexander Musmana5f070a2014-10-01 06:03:56 +0000275 auto Cnt = getPGORegionCounter(&S);
276
277 // Start the loop with a block that tests the condition.
Alexander Musmand196ef22014-10-07 08:57:09 +0000278 auto CondBlock = createBasicBlock("omp.inner.for.cond");
Alexander Musmana5f070a2014-10-01 06:03:56 +0000279 EmitBlock(CondBlock);
280 LoopStack.push(CondBlock);
281
282 // If there are any cleanups between here and the loop-exit scope,
283 // create a block to stage a loop exit along.
284 auto ExitBlock = LoopExit.getBlock();
285 if (LoopScope.requiresCleanups())
Alexander Musmand196ef22014-10-07 08:57:09 +0000286 ExitBlock = createBasicBlock("omp.inner.for.cond.cleanup");
Alexander Musmana5f070a2014-10-01 06:03:56 +0000287
Alexander Musmand196ef22014-10-07 08:57:09 +0000288 auto LoopBody = createBasicBlock("omp.inner.for.body");
Alexander Musmana5f070a2014-10-01 06:03:56 +0000289
290 // Emit condition: "IV < LastIteration + 1 [ - 1]"
291 // ("- 1" when lastprivate clause is present - separate one iteration).
292 llvm::Value *BoolCondVal = EvaluateExprAsBool(S.getCond(SeparateIter));
293 Builder.CreateCondBr(BoolCondVal, LoopBody, ExitBlock,
294 PGO.createLoopWeights(S.getCond(SeparateIter), Cnt));
295
296 if (ExitBlock != LoopExit.getBlock()) {
297 EmitBlock(ExitBlock);
298 EmitBranchThroughCleanup(LoopExit);
299 }
300
301 EmitBlock(LoopBody);
302 Cnt.beginRegion(Builder);
303
304 // Create a block for the increment.
Alexander Musmand196ef22014-10-07 08:57:09 +0000305 auto Continue = getJumpDestInCurrentScope("omp.inner.for.inc");
Alexander Musmana5f070a2014-10-01 06:03:56 +0000306 BreakContinueStack.push_back(BreakContinue(LoopExit, Continue));
307
Alexander Musmand196ef22014-10-07 08:57:09 +0000308 EmitOMPLoopBody(S);
Alexander Musmana5f070a2014-10-01 06:03:56 +0000309 EmitStopPoint(&S);
310
311 // Emit "IV = IV + 1" and a back-edge to the condition block.
312 EmitBlock(Continue.getBlock());
313 EmitIgnoredExpr(S.getInc());
314 BreakContinueStack.pop_back();
315 EmitBranch(CondBlock);
316 LoopStack.pop();
317 // Emit the fall-through block.
318 EmitBlock(LoopExit.getBlock());
319}
320
321void CodeGenFunction::EmitOMPSimdFinal(const OMPLoopDirective &S) {
322 auto IC = S.counters().begin();
323 for (auto F : S.finals()) {
324 if (LocalDeclMap.lookup(cast<DeclRefExpr>((*IC))->getDecl())) {
325 EmitIgnoredExpr(F);
326 }
327 ++IC;
328 }
329}
330
Alexander Musman09184fe2014-09-30 05:29:28 +0000331static void EmitOMPAlignedClause(CodeGenFunction &CGF, CodeGenModule &CGM,
332 const OMPAlignedClause &Clause) {
333 unsigned ClauseAlignment = 0;
334 if (auto AlignmentExpr = Clause.getAlignment()) {
335 auto AlignmentCI =
336 cast<llvm::ConstantInt>(CGF.EmitScalarExpr(AlignmentExpr));
337 ClauseAlignment = static_cast<unsigned>(AlignmentCI->getZExtValue());
338 }
339 for (auto E : Clause.varlists()) {
340 unsigned Alignment = ClauseAlignment;
341 if (Alignment == 0) {
342 // OpenMP [2.8.1, Description]
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000343 // If no optional parameter is specified, implementation-defined default
Alexander Musman09184fe2014-09-30 05:29:28 +0000344 // alignments for SIMD instructions on the target platforms are assumed.
345 Alignment = CGM.getTargetCodeGenInfo().getOpenMPSimdDefaultAlignment(
346 E->getType());
347 }
348 assert((Alignment == 0 || llvm::isPowerOf2_32(Alignment)) &&
349 "alignment is not power of 2");
350 if (Alignment != 0) {
351 llvm::Value *PtrValue = CGF.EmitScalarExpr(E);
352 CGF.EmitAlignmentAssumption(PtrValue, Alignment);
353 }
354 }
355}
356
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000357static void EmitPrivateLoopCounters(CodeGenFunction &CGF,
358 CodeGenFunction::OMPPrivateScope &LoopScope,
359 ArrayRef<Expr *> Counters) {
360 for (auto *E : Counters) {
361 auto VD = cast<VarDecl>(cast<DeclRefExpr>(E)->getDecl());
362 bool IsRegistered = LoopScope.addPrivate(VD, [&]() -> llvm::Value * {
363 // Emit var without initialization.
364 auto VarEmission = CGF.EmitAutoVarAlloca(*VD);
365 CGF.EmitAutoVarCleanups(VarEmission);
366 return VarEmission.getAllocatedAddress();
367 });
368 assert(IsRegistered && "counter already registered as private");
369 // Silence the warning about unused variable.
370 (void)IsRegistered;
371 }
372 (void)LoopScope.Privatize();
373}
374
Alexander Musman515ad8c2014-05-22 08:54:05 +0000375void CodeGenFunction::EmitOMPSimdDirective(const OMPSimdDirective &S) {
Alexander Musmana5f070a2014-10-01 06:03:56 +0000376 // Pragma 'simd' code depends on presence of 'lastprivate'.
377 // If present, we have to separate last iteration of the loop:
378 //
379 // if (LastIteration != 0) {
380 // for (IV in 0..LastIteration-1) BODY;
381 // BODY with updates of lastprivate vars;
382 // <Final counter/linear vars updates>;
383 // }
384 //
385 // otherwise (when there's no lastprivate):
386 //
387 // for (IV in 0..LastIteration) BODY;
388 // <Final counter/linear vars updates>;
389 //
390
391 // Walk clauses and process safelen/lastprivate.
392 bool SeparateIter = false;
Alexander Musman515ad8c2014-05-22 08:54:05 +0000393 LoopStack.setParallel();
394 LoopStack.setVectorizerEnable(true);
395 for (auto C : S.clauses()) {
396 switch (C->getClauseKind()) {
397 case OMPC_safelen: {
398 RValue Len = EmitAnyExpr(cast<OMPSafelenClause>(C)->getSafelen(),
399 AggValueSlot::ignored(), true);
400 llvm::ConstantInt *Val = cast<llvm::ConstantInt>(Len.getScalarVal());
401 LoopStack.setVectorizerWidth(Val->getZExtValue());
402 // In presence of finite 'safelen', it may be unsafe to mark all
403 // the memory instructions parallel, because loop-carried
404 // dependences of 'safelen' iterations are possible.
405 LoopStack.setParallel(false);
406 break;
407 }
Alexander Musman09184fe2014-09-30 05:29:28 +0000408 case OMPC_aligned:
409 EmitOMPAlignedClause(*this, CGM, cast<OMPAlignedClause>(*C));
410 break;
Alexander Musmana5f070a2014-10-01 06:03:56 +0000411 case OMPC_lastprivate:
412 SeparateIter = true;
413 break;
Alexander Musman515ad8c2014-05-22 08:54:05 +0000414 default:
415 // Not handled yet
416 ;
417 }
418 }
Alexander Musmana5f070a2014-10-01 06:03:56 +0000419
420 RunCleanupsScope DirectiveScope(*this);
421
422 CGDebugInfo *DI = getDebugInfo();
423 if (DI)
424 DI->EmitLexicalBlockStart(Builder, S.getSourceRange().getBegin());
425
426 // Emit the loop iteration variable.
427 const Expr *IVExpr = S.getIterationVariable();
428 const VarDecl *IVDecl = cast<VarDecl>(cast<DeclRefExpr>(IVExpr)->getDecl());
429 EmitVarDecl(*IVDecl);
430 EmitIgnoredExpr(S.getInit());
431
432 // Emit the iterations count variable.
433 // If it is not a variable, Sema decided to calculate iterations count on each
434 // iteration (e.g., it is foldable into a constant).
435 if (auto LIExpr = dyn_cast<DeclRefExpr>(S.getLastIteration())) {
436 EmitVarDecl(*cast<VarDecl>(LIExpr->getDecl()));
437 // Emit calculation of the iterations count.
438 EmitIgnoredExpr(S.getCalcLastIteration());
439 }
440
441 if (SeparateIter) {
442 // Emit: if (LastIteration > 0) - begin.
443 RegionCounter Cnt = getPGORegionCounter(&S);
444 auto ThenBlock = createBasicBlock("simd.if.then");
445 auto ContBlock = createBasicBlock("simd.if.end");
446 EmitBranchOnBoolExpr(S.getPreCond(), ThenBlock, ContBlock, Cnt.getCount());
447 EmitBlock(ThenBlock);
448 Cnt.beginRegion(Builder);
449 // Emit 'then' code.
450 {
451 OMPPrivateScope LoopScope(*this);
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000452 EmitPrivateLoopCounters(*this, LoopScope, S.counters());
Alexander Musmand196ef22014-10-07 08:57:09 +0000453 EmitOMPInnerLoop(S, LoopScope, /* SeparateIter */ true);
454 EmitOMPLoopBody(S, /* SeparateIter */ true);
Alexander Musmana5f070a2014-10-01 06:03:56 +0000455 }
456 EmitOMPSimdFinal(S);
457 // Emit: if (LastIteration != 0) - end.
458 EmitBranch(ContBlock);
459 EmitBlock(ContBlock, true);
460 } else {
461 {
462 OMPPrivateScope LoopScope(*this);
Alexey Bataev435ad7b2014-10-10 09:48:26 +0000463 EmitPrivateLoopCounters(*this, LoopScope, S.counters());
Alexander Musmand196ef22014-10-07 08:57:09 +0000464 EmitOMPInnerLoop(S, LoopScope);
Alexander Musmana5f070a2014-10-01 06:03:56 +0000465 }
466 EmitOMPSimdFinal(S);
467 }
468
469 if (DI)
470 DI->EmitLexicalBlockEnd(Builder, S.getSourceRange().getEnd());
Alexander Musman515ad8c2014-05-22 08:54:05 +0000471}
472
Alexey Bataevf29276e2014-06-18 04:14:57 +0000473void CodeGenFunction::EmitOMPForDirective(const OMPForDirective &) {
Alexey Bataevd3f8dd22014-06-25 11:44:49 +0000474 llvm_unreachable("CodeGen for 'omp for' is not supported yet.");
Alexey Bataevf29276e2014-06-18 04:14:57 +0000475}
Alexey Bataevd3f8dd22014-06-25 11:44:49 +0000476
Alexander Musmanf82886e2014-09-18 05:12:34 +0000477void CodeGenFunction::EmitOMPForSimdDirective(const OMPForSimdDirective &) {
478 llvm_unreachable("CodeGen for 'omp for simd' is not supported yet.");
479}
480
Alexey Bataevd3f8dd22014-06-25 11:44:49 +0000481void CodeGenFunction::EmitOMPSectionsDirective(const OMPSectionsDirective &) {
482 llvm_unreachable("CodeGen for 'omp sections' is not supported yet.");
483}
484
Alexey Bataev1e0498a2014-06-26 08:21:58 +0000485void CodeGenFunction::EmitOMPSectionDirective(const OMPSectionDirective &) {
486 llvm_unreachable("CodeGen for 'omp section' is not supported yet.");
487}
488
Alexey Bataevd1e40fb2014-06-26 12:05:45 +0000489void CodeGenFunction::EmitOMPSingleDirective(const OMPSingleDirective &) {
490 llvm_unreachable("CodeGen for 'omp single' is not supported yet.");
491}
492
Alexey Bataev8d690652014-12-04 07:23:53 +0000493void CodeGenFunction::EmitOMPMasterDirective(const OMPMasterDirective &S) {
494 CGM.getOpenMPRuntime().EmitOMPMasterRegion(
495 *this, [&]() -> void {
496 RunCleanupsScope Scope(*this);
497 EmitStmt(cast<CapturedStmt>(S.getAssociatedStmt())->getCapturedStmt());
498 EnsureInsertPoint();
499 }, S.getLocStart());
Alexander Musman80c22892014-07-17 08:54:58 +0000500}
501
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000502void CodeGenFunction::EmitOMPCriticalDirective(const OMPCriticalDirective &S) {
Alexey Bataev75ddfab2014-12-01 11:32:38 +0000503 CGM.getOpenMPRuntime().EmitOMPCriticalRegion(
504 *this, S.getDirectiveName().getAsString(), [&]() -> void {
Alexey Bataev3a3bf0b2014-09-22 10:01:53 +0000505 RunCleanupsScope Scope(*this);
506 EmitStmt(cast<CapturedStmt>(S.getAssociatedStmt())->getCapturedStmt());
507 EnsureInsertPoint();
Alexey Bataev75ddfab2014-12-01 11:32:38 +0000508 }, S.getLocStart());
Alexander Musmand9ed09f2014-07-21 09:42:05 +0000509}
510
Alexey Bataev4acb8592014-07-07 13:01:15 +0000511void
512CodeGenFunction::EmitOMPParallelForDirective(const OMPParallelForDirective &) {
513 llvm_unreachable("CodeGen for 'omp parallel for' is not supported yet.");
514}
515
Alexander Musmane4e893b2014-09-23 09:33:00 +0000516void CodeGenFunction::EmitOMPParallelForSimdDirective(
517 const OMPParallelForSimdDirective &) {
518 llvm_unreachable("CodeGen for 'omp parallel for simd' is not supported yet.");
519}
520
Alexey Bataev84d0b3e2014-07-08 08:12:03 +0000521void CodeGenFunction::EmitOMPParallelSectionsDirective(
522 const OMPParallelSectionsDirective &) {
523 llvm_unreachable("CodeGen for 'omp parallel sections' is not supported yet.");
524}
525
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +0000526void CodeGenFunction::EmitOMPTaskDirective(const OMPTaskDirective &) {
527 llvm_unreachable("CodeGen for 'omp task' is not supported yet.");
528}
529
Alexey Bataev68446b72014-07-18 07:47:19 +0000530void CodeGenFunction::EmitOMPTaskyieldDirective(const OMPTaskyieldDirective &) {
531 llvm_unreachable("CodeGen for 'omp taskyield' is not supported yet.");
532}
533
Alexey Bataev8f7c1b02014-12-05 04:09:23 +0000534void CodeGenFunction::EmitOMPBarrierDirective(const OMPBarrierDirective &S) {
535 CGM.getOpenMPRuntime().EmitOMPBarrierCall(*this, S.getLocStart());
Alexey Bataev4d1dfea2014-07-18 09:11:51 +0000536}
537
Alexey Bataev2df347a2014-07-18 10:17:07 +0000538void CodeGenFunction::EmitOMPTaskwaitDirective(const OMPTaskwaitDirective &) {
539 llvm_unreachable("CodeGen for 'omp taskwait' is not supported yet.");
540}
541
Alexey Bataevcc37cc12014-11-20 04:34:54 +0000542void CodeGenFunction::EmitOMPFlushDirective(const OMPFlushDirective &S) {
543 CGM.getOpenMPRuntime().EmitOMPFlush(
544 *this, [&]() -> ArrayRef<const Expr *> {
545 if (auto C = S.getSingleClause(/*K*/ OMPC_flush)) {
546 auto FlushClause = cast<OMPFlushClause>(C);
547 return llvm::makeArrayRef(FlushClause->varlist_begin(),
548 FlushClause->varlist_end());
549 }
550 return llvm::None;
551 }(),
552 S.getLocStart());
Alexey Bataev6125da92014-07-21 11:26:11 +0000553}
554
Alexey Bataev9fb6e642014-07-22 06:45:04 +0000555void CodeGenFunction::EmitOMPOrderedDirective(const OMPOrderedDirective &) {
556 llvm_unreachable("CodeGen for 'omp ordered' is not supported yet.");
557}
558
Alexey Bataev0162e452014-07-22 10:10:35 +0000559void CodeGenFunction::EmitOMPAtomicDirective(const OMPAtomicDirective &) {
560 llvm_unreachable("CodeGen for 'omp atomic' is not supported yet.");
561}
562
Alexey Bataev0bd520b2014-09-19 08:19:49 +0000563void CodeGenFunction::EmitOMPTargetDirective(const OMPTargetDirective &) {
564 llvm_unreachable("CodeGen for 'omp target' is not supported yet.");
565}
566
Alexey Bataev13314bf2014-10-09 04:18:56 +0000567void CodeGenFunction::EmitOMPTeamsDirective(const OMPTeamsDirective &) {
568 llvm_unreachable("CodeGen for 'omp teams' is not supported yet.");
569}
570