(
getLangOpts().getOpenCLCompatibleVersion() < 200)
25 Diag(AL.
getLoc(), diag::err_attribute_requires_opencl_version)
28 Diag(AL.
getLoc(), diag::warn_opencl_attr_deprecated_ignored)
33 if(
D->isInvalidDecl())
37 if(
D->hasAttr<OpenCLAccessAttr>()) {
38 if(
D->getAttr<OpenCLAccessAttr>()->getSemanticSpelling() ==
40 Diag(AL.
getLoc(), diag::warn_duplicate_declspec)
43 Diag(AL.
getLoc(), diag::err_opencl_multiple_access_qualifiers)
44<<
D->getSourceRange();
45 D->setInvalidDecl(
true);
59 if(
const auto*PDecl = dyn_cast<ParmVarDecl>(
D)) {
60 const Type*DeclTy = PDecl->getType().getCanonicalType().getTypePtr();
62 boolReadWriteImagesUnsupported =
67 if(ReadWriteImagesUnsupported || DeclTy->isPipeType()) {
68 Diag(AL.
getLoc(), diag::err_opencl_invalid_read_write)
69<< AL << PDecl->getType() << DeclTy->isImageType();
70 D->setInvalidDecl(
true);
85 Diag(AL.
getLoc(), diag::err_attribute_argument_is_zero)
86<< AL <<
E->getSourceRange();
90OpenCLIntelReqdSubGroupSizeAttr *Existing =
91 D->getAttr<OpenCLIntelReqdSubGroupSizeAttr>();
92 if(Existing && Existing->getSubGroupSize() != SGSize)
93 Diag(AL.
getLoc(), diag::warn_duplicate_attribute) << AL;
96OpenCLIntelReqdSubGroupSizeAttr(
getASTContext(), AL, SGSize));
110 unsignedArgCounter = 0;
111 boolIllegalParams =
false;
115I !=
E; ++I, ++ArgCounter) {
116 if(!(*I)->isPointerType() || !(*I)->getPointeeType()->isVoidType() ||
117(*I)->getPointeeType().getQualifiers().getAddressSpace() !=
123 if(isa<BlockExpr>(BlockArg)) {
124 BlockDecl*BD = cast<BlockExpr>(BlockArg)->getBlockDecl();
126}
else if(isa<DeclRefExpr>(BlockArg)) {
127ErrorLoc = cast<DeclRefExpr>(BlockArg)->getBeginLoc();
130diag::err_opencl_enqueue_kernel_blocks_non_local_void_args);
131IllegalParams =
true;
135 returnIllegalParams;
146 Diag(
Call->getBeginLoc(), diag::err_opencl_requires_extension)
147<< 1 <<
Call->getDirectCallee()
148<<
"cl_khr_subgroups or __opencl_c_subgroups";
164 Diag(NDRangeArg->
getBeginLoc(), diag::err_opencl_builtin_expected_type)
171 Diag(BlockArg->
getBeginLoc(), diag::err_opencl_builtin_expected_type)
184 Diag(BlockArg->
getBeginLoc(), diag::err_opencl_builtin_expected_type)
197diag::err_opencl_enqueue_kernel_invalid_local_size_type);
207 unsignedStart,
unsignedEnd) {
208 boolIllegalParams =
false;
209 for(
unsignedI = Start; I <= End; ++I)
212 returnIllegalParams;
219 unsignedNumNonVarArgs) {
222 unsignedNumBlockParams =
224 unsignedTotalNumArgs = TheCall->
getNumArgs();
228 if(TotalNumArgs != NumBlockParams + NumNonVarArgs) {
230diag::err_opencl_enqueue_kernel_local_size_args);
244 Diag(TheCall->
getBeginLoc(), diag::err_typecheck_call_too_few_args_at_least)
245<< 0 << 4 << NumArgs <<
0;
257diag::err_opencl_builtin_expected_type)
265diag::err_opencl_builtin_expected_type)
266<< TheCall->
getDirectCallee() <<
"'kernel_enqueue_flags_t' (i.e. uint)";
273diag::err_opencl_builtin_expected_type)
292 Diag(Arg3->
getBeginLoc(), diag::err_opencl_enqueue_kernel_blocks_no_args);
316diag::err_opencl_builtin_expected_type)
329diag::err_opencl_builtin_expected_type)
331<< Context.getPointerType(Context.OCLClkEventTy);
341diag::err_opencl_builtin_expected_type)
343<< Context.getPointerType(Context.OCLClkEventTy);
354 Diag(TheCall->
getBeginLoc(), diag::err_opencl_enqueue_kernel_incorrect_args);
360 return D->
getAttr<OpenCLAccessAttr>();
365 const Expr*Arg0 =
Call->getArg(0);
368S.
Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_first_arg)
372OpenCLAccessAttr *AccessQual =
378 switch(
Call->getDirectCallee()->getBuiltinID()) {
379 caseBuiltin::BIread_pipe:
380 caseBuiltin::BIreserve_read_pipe:
381 caseBuiltin::BIcommit_read_pipe:
382 caseBuiltin::BIwork_group_reserve_read_pipe:
383 caseBuiltin::BIsub_group_reserve_read_pipe:
384 caseBuiltin::BIwork_group_commit_read_pipe:
385 caseBuiltin::BIsub_group_commit_read_pipe:
386 if(!(!AccessQual || AccessQual->isReadOnly())) {
388diag::err_opencl_builtin_pipe_invalid_access_modifier)
393 caseBuiltin::BIwrite_pipe:
394 caseBuiltin::BIreserve_write_pipe:
395 caseBuiltin::BIcommit_write_pipe:
396 caseBuiltin::BIwork_group_reserve_write_pipe:
397 caseBuiltin::BIsub_group_reserve_write_pipe:
398 caseBuiltin::BIwork_group_commit_write_pipe:
399 caseBuiltin::BIsub_group_commit_write_pipe:
400 if(!(AccessQual && AccessQual->isWriteOnly())) {
402diag::err_opencl_builtin_pipe_invalid_access_modifier)
415 const Expr*Arg0 =
Call->getArg(0);
416 const Expr*ArgIdx =
Call->getArg(Idx);
425S.
Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_invalid_arg)
436 switch(
Call->getNumArgs()) {
453 if(!
Call->getArg(1)->getType()->isReserveIDT()) {
454 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_invalid_arg)
456<<
Call->getArg(1)->getType() <<
Call->getArg(1)->getSourceRange();
461 const Expr*Arg2 =
Call->getArg(2);
464 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_invalid_arg)
475 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_arg_num)
476<<
Call->getDirectCallee() <<
Call->getSourceRange();
491 if(!
Call->getArg(1)->getType()->isIntegerType() &&
492!
Call->getArg(1)->getType()->isUnsignedIntegerType()) {
493 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_invalid_arg)
495<<
Call->getArg(1)->getType() <<
Call->getArg(1)->getSourceRange();
515 if(!
Call->getArg(1)->getType()->isReserveIDT()) {
516 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_invalid_arg)
518<<
Call->getArg(1)->getType() <<
Call->getArg(1)->getSourceRange();
529 if(!
Call->getArg(0)->getType()->isPipeType()) {
530 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_pipe_first_arg)
531<<
Call->getDirectCallee() <<
Call->getArg(0)->getSourceRange();
542 autoRT =
Call->getArg(0)->getType();
543 if(!RT->isPointerType() ||
545 Diag(
Call->getBeginLoc(), diag::err_opencl_builtin_to_addr_invalid_arg)
546<<
Call->getArg(0) <<
Call->getDirectCallee() <<
Call->getSourceRange();
551 Diag(
Call->getArg(0)->getBeginLoc(),
552diag::warn_opencl_generic_address_space_arg)
553<<
Call->getDirectCallee()->getNameInfo().getAsString()
554<<
Call->getArg(0)->getSourceRange();
557RT = RT->getPointeeType();
558 autoQual = RT.getQualifiers();
560 caseBuiltin::BIto_global:
563 caseBuiltin::BIto_local:
566 caseBuiltin::BIto_private:
570llvm_unreachable(
"Invalid builtin function");
573 getASTContext().getQualifiedType(RT.getUnqualifiedType(), Qual)));
This file declares semantic analysis routines for OpenCL.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
CanQualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
CanQualType UnsignedIntTy
CanQualType OCLReserveIDTy
SourceRange getRange() const
SourceLocation getLoc() const
const IdentifierInfo * getAttrName() const
Represents a block literal declaration, which is like an unnamed FunctionDecl.
const ParmVarDecl * getParamDecl(unsigned i) const
QualType getPointeeType() const
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
SourceLocation getBeginLoc() const LLVM_READONLY
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this call.
Decl - This represents one declaration (or definition), e.g.
SourceLocation getBeginLoc() const LLVM_READONLY
This represents one expression.
@ NPC_ValueDependentIsNotNull
Specifies that a value-dependent expression should be considered to never be a null pointer constant.
NullPointerConstantKind isNullPointerConstant(ASTContext &Ctx, NullPointerConstantValueDependence NPC) const
isNullPointerConstant - C99 6.3.2.3p3 - Test if this reduces down to a Null pointer constant.
Represents a prototype with parameter type info, e.g.
unsigned getNumParams() const
StringRef getName() const
Return the actual identifier string.
std::string getOpenCLVersionString() const
Return the OpenCL C or C++ for OpenCL language name and version as a string.
unsigned getOpenCLCompatibleVersion() const
Return the OpenCL version that kernel language is compatible with.
bool isSupported(llvm::StringRef Ext, const LangOptions &LO) const
ParsedAttr - Represents a syntactic attribute.
unsigned getSemanticSpelling() const
If the parsed attribute has a semantic equivalent, and it would have a semantic Spelling enumeration ...
Expr * getArgAsExpr(unsigned Arg) const
QualType getElementType() const
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
A (possibly-)qualified type.
QualType getCanonicalType() const
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
ASTContext & getASTContext() const
const LangOptions & getLangOpts() const
bool checkBuiltinNDRangeAndBlock(CallExpr *TheCall)
bool checkBuiltinKernelWorkGroupSize(CallExpr *TheCall)
OpenCL C v2.0, s6.13.17.6 - Check the argument to the get_kernel_work_group_size and get_kernel_prefe...
bool checkBuiltinEnqueueKernel(CallExpr *TheCall)
OpenCL C v2.0, s6.13.17 - Enqueue kernel function contains four different overload formats specified ...
bool checkBuiltinCommitRWPipe(CallExpr *Call)
void handleSubGroupSize(Decl *D, const ParsedAttr &AL)
bool checkBuiltinPipePackets(CallExpr *Call)
void handleNoSVMAttr(Decl *D, const ParsedAttr &AL)
bool checkSubgroupExt(CallExpr *Call)
void handleAccessAttr(Decl *D, const ParsedAttr &AL)
bool checkBuiltinToAddr(unsigned BuiltinID, CallExpr *Call)
bool checkBuiltinRWPipe(CallExpr *Call)
bool checkBuiltinReserveRWPipe(CallExpr *Call)
Sema - This implements semantic analysis and AST building for C.
void CheckImplicitConversion(Expr *E, QualType T, SourceLocation CC, bool *ICContext=nullptr, bool IsListInit=false)
bool checkUInt32Argument(const AttrInfo &AI, const Expr *Expr, uint32_t &Val, unsigned Idx=UINT_MAX, bool StrictlyUnsigned=false)
If Expr is a valid integer constant, get the value of the integer expression and return success or fa...
bool checkArgCount(CallExpr *Call, unsigned DesiredArgCount)
Checks that a call expression's argument count is the desired number.
OpenCLOptions & getOpenCLOptions()
Encodes a location in the source.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
SourceLocation getBeginLoc() const LLVM_READONLY
The base class of the type hierarchy.
bool isBlockPointerType() const
const Type * getPointeeOrArrayElementType() const
If this is a pointer type, return the pointee type.
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
QualType getCanonicalTypeInternal() const
bool isUnsignedIntegerType() const
Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true...
const T * getAs() const
Member-template getAs<specific type>'.
The JSON file list parser is used to communicate input to InstallAPI.
static bool checkBlockArgs(Sema &S, Expr *BlockArg)
OpenCL C v2.0, s6.13.17.2 - Checks that the block parameters are all local void*, which is a requirem...
static bool checkOpenCLEnqueueIntType(Sema &S, Expr *E, const QualType &IntT)
Diagnose integer type and any valid implicit conversion to it.
static bool checkPipeArg(Sema &S, CallExpr *Call)
Returns true if pipe element type is different from the pointer.
static bool isBlockPointer(Expr *Arg)
static bool checkOpenCLEnqueueVariadicArgs(Sema &S, CallExpr *TheCall, Expr *BlockArg, unsigned NumNonVarArgs)
OpenCL v2.0, s6.13.17.1 - Check that sizes are provided for all 'local void*' parameter of passed blo...
static bool checkOpenCLEnqueueLocalSizeArgs(Sema &S, CallExpr *TheCall, unsigned Start, unsigned End)
static OpenCLAccessAttr * getOpenCLArgAccess(const Decl *D)
Returns OpenCL access qual.
static bool checkPipePacketType(Sema &S, CallExpr *Call, unsigned Idx)
Returns true if pipe element type is different from the pointer.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4