clang  9.0.0svn
CGOpenCLRuntime.cpp
Go to the documentation of this file.
1 //===----- CGOpenCLRuntime.cpp - Interface to OpenCL Runtimes -------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This provides an abstract class for OpenCL code generation. Concrete
10 // subclasses of this implement code generation for specific OpenCL
11 // runtime libraries.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #include "CGOpenCLRuntime.h"
16 #include "CodeGenFunction.h"
17 #include "TargetInfo.h"
19 #include "llvm/IR/DerivedTypes.h"
20 #include "llvm/IR/GlobalValue.h"
21 #include <assert.h>
22 
23 using namespace clang;
24 using namespace CodeGen;
25 
27 
29  const VarDecl &D) {
31 }
32 
34  assert(T->isOpenCLSpecificType() &&
35  "Not an OpenCL specific type!");
36 
37  llvm::LLVMContext& Ctx = CGM.getLLVMContext();
38  uint32_t AddrSpc = CGM.getContext().getTargetAddressSpace(
40  switch (cast<BuiltinType>(T)->getKind()) {
41  default:
42  llvm_unreachable("Unexpected opencl builtin type!");
43  return nullptr;
44 #define IMAGE_TYPE(ImgType, Id, SingletonId, Access, Suffix) \
45  case BuiltinType::Id: \
46  return llvm::PointerType::get( \
47  llvm::StructType::create(Ctx, "opencl." #ImgType "_" #Suffix "_t"), \
48  AddrSpc);
49 #include "clang/Basic/OpenCLImageTypes.def"
50  case BuiltinType::OCLSampler:
51  return getSamplerType(T);
52  case BuiltinType::OCLEvent:
53  return llvm::PointerType::get(
54  llvm::StructType::create(Ctx, "opencl.event_t"), AddrSpc);
55  case BuiltinType::OCLClkEvent:
56  return llvm::PointerType::get(
57  llvm::StructType::create(Ctx, "opencl.clk_event_t"), AddrSpc);
58  case BuiltinType::OCLQueue:
59  return llvm::PointerType::get(
60  llvm::StructType::create(Ctx, "opencl.queue_t"), AddrSpc);
61  case BuiltinType::OCLReserveID:
62  return llvm::PointerType::get(
63  llvm::StructType::create(Ctx, "opencl.reserve_id_t"), AddrSpc);
64 #define EXT_OPAQUE_TYPE(ExtType, Id, Ext) \
65  case BuiltinType::Id: \
66  return llvm::PointerType::get( \
67  llvm::StructType::create(Ctx, "opencl." #ExtType), AddrSpc);
68 #include "clang/Basic/OpenCLExtensionTypes.def"
69  }
70 }
71 
73  if (T->isReadOnly())
74  return getPipeType(T, "opencl.pipe_ro_t", PipeROTy);
75  else
76  return getPipeType(T, "opencl.pipe_wo_t", PipeWOTy);
77 }
78 
80  llvm::Type *&PipeTy) {
81  if (!PipeTy)
82  PipeTy = llvm::PointerType::get(llvm::StructType::create(
83  CGM.getLLVMContext(), Name),
86  return PipeTy;
87 }
88 
89 llvm::PointerType *CGOpenCLRuntime::getSamplerType(const Type *T) {
90  if (!SamplerTy)
91  SamplerTy = llvm::PointerType::get(llvm::StructType::create(
92  CGM.getLLVMContext(), "opencl.sampler_t"),
95  return SamplerTy;
96 }
97 
99  const PipeType *PipeTy = PipeArg->getType()->getAs<PipeType>();
100  // The type of the last (implicit) argument to be passed.
101  llvm::Type *Int32Ty = llvm::IntegerType::getInt32Ty(CGM.getLLVMContext());
102  unsigned TypeSize = CGM.getContext()
104  .getQuantity();
105  return llvm::ConstantInt::get(Int32Ty, TypeSize, false);
106 }
107 
109  const PipeType *PipeTy = PipeArg->getType()->getAs<PipeType>();
110  // The type of the last (implicit) argument to be passed.
111  llvm::Type *Int32Ty = llvm::IntegerType::getInt32Ty(CGM.getLLVMContext());
112  unsigned TypeSize = CGM.getContext()
114  .getQuantity();
115  return llvm::ConstantInt::get(Int32Ty, TypeSize, false);
116 }
117 
119  assert(CGM.getLangOpts().OpenCL);
120  return llvm::IntegerType::getInt8PtrTy(
123 }
124 
125 // Get the block literal from an expression derived from the block expression.
126 // OpenCL v2.0 s6.12.5:
127 // Block variable declarations are implicitly qualified with const. Therefore
128 // all block variables must be initialized at declaration time and may not be
129 // reassigned.
130 static const BlockExpr *getBlockExpr(const Expr *E) {
131  const Expr *Prev = nullptr; // to make sure we do not stuck in infinite loop.
132  while(!isa<BlockExpr>(E) && E != Prev) {
133  Prev = E;
134  E = E->IgnoreCasts();
135  if (auto DR = dyn_cast<DeclRefExpr>(E)) {
136  E = cast<VarDecl>(DR->getDecl())->getInit();
137  }
138  }
139  return cast<BlockExpr>(E);
140 }
141 
142 /// Record emitted llvm invoke function and llvm block literal for the
143 /// corresponding block expression.
145  llvm::Function *InvokeF,
146  llvm::Value *Block) {
147  assert(EnqueuedBlockMap.find(E) == EnqueuedBlockMap.end() &&
148  "Block expression emitted twice");
149  assert(isa<llvm::Function>(InvokeF) && "Invalid invoke function");
150  assert(Block->getType()->isPointerTy() && "Invalid block literal type");
151  EnqueuedBlockMap[E].InvokeFunc = InvokeF;
152  EnqueuedBlockMap[E].BlockArg = Block;
153  EnqueuedBlockMap[E].Kernel = nullptr;
154 }
155 
156 llvm::Function *CGOpenCLRuntime::getInvokeFunction(const Expr *E) {
157  return EnqueuedBlockMap[getBlockExpr(E)].InvokeFunc;
158 }
159 
162  CGF.EmitScalarExpr(E);
163 
164  // The block literal may be assigned to a const variable. Chasing down
165  // to get the block literal.
166  const BlockExpr *Block = getBlockExpr(E);
167 
168  assert(EnqueuedBlockMap.find(Block) != EnqueuedBlockMap.end() &&
169  "Block expression not emitted");
170 
171  // Do not emit the block wrapper again if it has been emitted.
172  if (EnqueuedBlockMap[Block].Kernel) {
173  return EnqueuedBlockMap[Block];
174  }
175 
177  CGF, EnqueuedBlockMap[Block].InvokeFunc,
178  EnqueuedBlockMap[Block].BlockArg->stripPointerCasts());
179 
180  // The common part of the post-processing of the kernel goes here.
181  F->addFnAttr(llvm::Attribute::NoUnwind);
182  F->setCallingConv(
184  EnqueuedBlockMap[Block].Kernel = F;
185  return EnqueuedBlockMap[Block];
186 }
void EmitStaticVarDecl(const VarDecl &D, llvm::GlobalValue::LinkageTypes Linkage)
Definition: CGDecl.cpp:382
QualType getElementType() const
Definition: Type.h:6071
llvm::LLVMContext & getLLVMContext()
The base class of the type hierarchy.
Definition: Type.h:1418
EnqueuedBlockInfo emitOpenCLEnqueuedBlock(CodeGenFunction &CGF, const Expr *E)
virtual llvm::Value * getPipeElemAlign(const Expr *PipeArg)
Represents a variable declaration or definition.
Definition: Decl.h:812
const T * getAs() const
Member-template getAs<specific type>&#39;.
Definition: Type.h:6818
PipeType - OpenCL20.
Definition: Type.h:6057
unsigned ClangCallConvToLLVMCallConv(CallingConv CC)
Convert clang calling convention to LLVM callilng convention.
Definition: CGCall.cpp:44
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
void recordBlockInfo(const BlockExpr *E, llvm::Function *InvokeF, llvm::Value *Block)
Record invoke function and block literal emitted during normal codegen for a block expression...
virtual llvm::Type * getPipeType(const PipeType *T, StringRef Name, llvm::Type *&PipeTy)
llvm::PointerType * getSamplerType(const Type *T)
virtual llvm::Type * convertOpenCLSpecificType(const Type *T)
This represents one expression.
Definition: Expr.h:108
llvm::DenseMap< const Expr *, EnqueuedBlockInfo > EnqueuedBlockMap
Maps block expression to block information.
virtual void EmitWorkGroupLocalVarDecl(CodeGenFunction &CGF, const VarDecl &D)
Emit the IR required for a work-group-local variable declaration, and add an entry to CGF&#39;s LocalDecl...
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
Definition: Expr.h:5543
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
QualType getType() const
Definition: Expr.h:137
const LangOptions & getLangOpts() const
ASTContext & getContext() const
virtual llvm::Value * getPipeElemSize(const Expr *PipeArg)
llvm::Function * getInvokeFunction(const Expr *E)
LangAS getOpenCLTypeAddrSpace(const Type *T) const
Get address space for OpenCL type.
static const BlockExpr * getBlockExpr(const Expr *E)
The l-value was considered opaque, so the alignment was determined from a type.
Expr * IgnoreCasts() LLVM_READONLY
Skip past any casts which might surround this expression until reaching a fixed point.
Definition: Expr.cpp:2905
const TargetCodeGenInfo & getTargetHooks() const
llvm::Value * EmitScalarExpr(const Expr *E, bool IgnoreResultAssign=false)
EmitScalarExpr - Emit the computation of the specified expression of LLVM scalar type, returning the result.
Dataflow Directional Tag Classes.
Structure for enqueued block information.
virtual llvm::Function * createEnqueuedBlockKernel(CodeGenFunction &CGF, llvm::Function *BlockInvokeFunc, llvm::Value *BlockLiteral) const
Create an OpenCL kernel for an enqueued block.
std::unique_ptr< DiagnosticConsumer > create(StringRef OutputFile, DiagnosticOptions *Diags, bool MergeChildRecords=false)
Returns a DiagnosticConsumer that serializes diagnostics to a bitcode file.
CodeGenTypes & getTypes() const
Internal linkage, which indicates that the entity can be referred to from within the translation unit...
Definition: Linkage.h:31
bool isReadOnly() const
Definition: Type.h:6090
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
llvm::PointerType * getGenericVoidPointerType()
bool isOpenCLSpecificType() const
Definition: Type.h:6568
unsigned getTargetAddressSpace(QualType T) const
Definition: ASTContext.h:2532