#include "clang/Sema/SemaHLSL.h"

Inheritance diagram for clang::SemaHLSL:

Public Member Functions
	SemaHLSL (Sema &S)
Decl *	ActOnStartBuffer (Scope BufferScope, bool CBuffer, SourceLocation KwLoc, IdentifierInfo Ident, SourceLocation IdentLoc, SourceLocation LBrace)
void	ActOnFinishBuffer (Decl *Dcl, SourceLocation RBrace)
HLSLNumThreadsAttr *	mergeNumThreadsAttr (Decl *D, const AttributeCommonInfo &AL, int X, int Y, int Z)
HLSLWaveSizeAttr *	mergeWaveSizeAttr (Decl *D, const AttributeCommonInfo &AL, int Min, int Max, int Preferred, int SpelledArgsCount)
HLSLVkConstantIdAttr *	mergeVkConstantIdAttr (Decl *D, const AttributeCommonInfo &AL, int Id)
HLSLShaderAttr *	mergeShaderAttr (Decl *D, const AttributeCommonInfo &AL, llvm::Triple::EnvironmentType ShaderType)
HLSLParamModifierAttr *	mergeParamModifierAttr (Decl *D, const AttributeCommonInfo &AL, HLSLParamModifierAttr::Spelling Spelling)
void	ActOnTopLevelFunction (FunctionDecl *FD)
void	ActOnVariableDeclarator (VarDecl *VD)
bool	ActOnUninitializedVarDecl (VarDecl *D)
void	ActOnEndOfTranslationUnit (TranslationUnitDecl *TU)
void	CheckEntryPoint (FunctionDecl *FD)
bool	CheckResourceBinOp (BinaryOperatorKind Opc, Expr LHSExpr, Expr RHSExpr, SourceLocation Loc)
void	DiagnoseAttrStageMismatch (const Attr *A, llvm::Triple::EnvironmentType Stage, std::initializer_list< llvm::Triple::EnvironmentType > AllowedStages)
QualType	handleVectorBinOpConversion (ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, bool IsCompAssign)
void	emitLogicalOperatorFixIt (Expr LHS, Expr RHS, BinaryOperatorKind Opc)
std::pair< IdentifierInfo *, bool >	ActOnStartRootSignatureDecl (StringRef Signature)
	Computes the unique Root Signature identifier from the given signature, then lookup if there is a previousy created Root Signature decl.
void	ActOnFinishRootSignatureDecl (SourceLocation Loc, IdentifierInfo *DeclIdent, ArrayRef< hlsl::RootSignatureElement > Elements)
	Creates the Root Signature decl of the parsed Root Signature elements onto the AST and push it onto current Scope.
void	SetRootSignatureOverride (IdentifierInfo *DeclIdent)
HLSLRootSignatureDecl *	lookupRootSignatureOverrideDecl (DeclContext *DC) const
bool	handleRootSignatureElements (ArrayRef< hlsl::RootSignatureElement > Elements)
void	handleRootSignatureAttr (Decl *D, const ParsedAttr &AL)
void	handleNumThreadsAttr (Decl *D, const ParsedAttr &AL)
void	handleWaveSizeAttr (Decl *D, const ParsedAttr &AL)
void	handleVkConstantIdAttr (Decl *D, const ParsedAttr &AL)
void	handleVkBindingAttr (Decl *D, const ParsedAttr &AL)
void	handlePackOffsetAttr (Decl *D, const ParsedAttr &AL)
void	handleShaderAttr (Decl *D, const ParsedAttr &AL)
void	handleResourceBindingAttr (Decl *D, const ParsedAttr &AL)
void	handleParamModifierAttr (Decl *D, const ParsedAttr &AL)
bool	handleResourceTypeAttr (QualType T, const ParsedAttr &AL)
template<typename T>
T *	createSemanticAttr (const AttributeCommonInfo &ACI, NamedDecl *TargetDecl, std::optional< unsigned > Location)
void	diagnoseSystemSemanticAttr (Decl *D, const ParsedAttr &AL, std::optional< unsigned > Index)
void	handleSemanticAttr (Decl *D, const ParsedAttr &AL)
void	handleVkExtBuiltinInputAttr (Decl *D, const ParsedAttr &AL)
bool	CheckBuiltinFunctionCall (unsigned BuiltinID, CallExpr *TheCall)
QualType	ProcessResourceTypeAttributes (QualType Wrapped)
HLSLAttributedResourceLocInfo	TakeLocForHLSLAttribute (const HLSLAttributedResourceType *RT)
bool	IsScalarizedLayoutCompatible (QualType T1, QualType T2) const
bool	IsTypedResourceElementCompatible (QualType T1)
bool	CheckCompatibleParameterABI (FunctionDecl New, FunctionDecl Old)
bool	diagnoseInputIDType (QualType T, const ParsedAttr &AL)
bool	diagnosePositionType (QualType T, const ParsedAttr &AL)
bool	CanPerformScalarCast (QualType SrcTy, QualType DestTy)
bool	CanPerformElementwiseCast (Expr *Src, QualType DestType)
bool	CanPerformAggregateSplatCast (Expr *Src, QualType DestType)
ExprResult	ActOnOutParamExpr (ParmVarDecl Param, Expr Arg)
QualType	getInoutParameterType (QualType Ty)
bool	transformInitList (const InitializedEntity &Entity, InitListExpr *Init)
bool	handleInitialization (VarDecl VDecl, Expr &Init)
void	deduceAddressSpace (VarDecl *Decl)
Public Member Functions inherited from clang::SemaBase
	SemaBase (Sema &S)
ASTContext &	getASTContext () const
DiagnosticsEngine &	getDiagnostics () const
const LangOptions &	getLangOpts () const
DeclContext *	getCurContext () const
SemaDiagnosticBuilder	Diag (SourceLocation Loc, unsigned DiagID)
	Emit a diagnostic.
SemaDiagnosticBuilder	Diag (SourceLocation Loc, const PartialDiagnostic &PD)
	Emit a partial diagnostic.
SemaDiagnosticBuilder	DiagCompat (SourceLocation Loc, unsigned CompatDiagId)
	Emit a compatibility diagnostic.
PartialDiagnostic	PDiag (unsigned DiagID=0)
	Build a partial diagnostic.

Additional Inherited Members
Public Attributes inherited from clang::SemaBase
Sema &	SemaRef

Detailed Description

Definition at line 107 of file SemaHLSL.h.

Constructor & Destructor Documentation

◆ SemaHLSL()

SemaHLSL::SemaHLSL ( Sema & S )

Definition at line 198 of file SemaHLSL.cpp.

References clang::SemaBase::SemaBase().

Member Function Documentation

◆ ActOnEndOfTranslationUnit()

void SemaHLSL::ActOnEndOfTranslationUnit ( TranslationUnitDecl * TU )

Definition at line 2652 of file SemaHLSL.cpp.

References addImplicitBindingAttrToDecl(), clang::HLSLBufferDecl::CreateDefaultCBuffer(), createHostLayoutStructForBuffer(), clang::Decl::getAttr(), clang::SemaBase::SemaRef, and clang::HLSLBufferDecl::setHasValidPackoffset().

Referenced by clang::Sema::ActOnEndOfTranslationUnit().

◆ ActOnFinishBuffer()

void SemaHLSL::ActOnFinishBuffer	(	Decl *	Dcl,
		SourceLocation	RBrace )

Definition at line 596 of file SemaHLSL.cpp.

References addImplicitBindingAttrToDecl(), clang::cast(), createHostLayoutStructForBuffer(), clang::Decl::getLocation(), clang::hlsl::ResourceBindingAttrs::hasBinding(), clang::hlsl::ResourceBindingAttrs::isExplicit(), clang::SemaBase::SemaRef, clang::hlsl::ResourceBindingAttrs::setImplicitOrderID(), and validatePackoffset().

◆ ActOnFinishRootSignatureDecl()

void SemaHLSL::ActOnFinishRootSignatureDecl	(	SourceLocation	Loc,
		IdentifierInfo *	DeclIdent,
		ArrayRef< hlsl::RootSignatureElement >	Elements )

Creates the Root Signature decl of the parsed Root Signature elements onto the AST and push it onto current Scope.

Definition at line 1170 of file SemaHLSL.cpp.

References clang::HLSLRootSignatureDecl::Create(), handleRootSignatureElements(), and clang::SemaBase::SemaRef.

Referenced by clang::hlsl::ParseHLSLRootSignature().

◆ ActOnOutParamExpr()

ExprResult SemaHLSL::ActOnOutParamExpr	(	ParmVarDecl *	Param,
		Expr *	Arg )

Definition at line 3711 of file SemaHLSL.cpp.

References clang::HLSLOutArgExpr::Create(), clang::ExprError(), clang::ActionResult< PtrTy, Compress >::get(), clang::Stmt::getBeginLoc(), clang::QualType::getNonLValueExprType(), clang::Expr::getType(), clang::HLSLInOut, clang::InitializedEntity::InitializeParameter(), clang::ActionResult< PtrTy, Compress >::isInvalid(), clang::Expr::isLValue(), clang::Type::isScalarType(), clang::OK_Ordinary, clang::Ordinary, clang::SemaBase::SemaRef, and clang::VK_LValue.

Referenced by clang::Sema::GatherArgumentsForCall().

◆ ActOnStartBuffer()

Decl * SemaHLSL::ActOnStartBuffer	(	Scope *	BufferScope,
		bool	CBuffer,
		SourceLocation	KwLoc,
		IdentifierInfo *	Ident,
		SourceLocation	IdentLoc,
		SourceLocation	LBrace )

Definition at line 200 of file SemaHLSL.cpp.

References clang::HLSLBufferDecl::Create(), clang::SemaBase::getASTContext(), clang::Result, and clang::SemaBase::SemaRef.

◆ ActOnStartRootSignatureDecl()

std::pair< IdentifierInfo *, bool > SemaHLSL::ActOnStartRootSignatureDecl ( StringRef Signature )

Computes the unique Root Signature identifier from the given signature, then lookup if there is a previousy created Root Signature decl.

Returns the identifier and if it was found

Definition at line 1158 of file SemaHLSL.cpp.

References clang::Found, clang::IdentifierTable::get(), clang::SemaBase::getASTContext(), llvm::hash_value(), clang::ASTContext::Idents, clang::Sema::LookupOrdinaryName, and clang::SemaBase::SemaRef.

Referenced by clang::hlsl::ParseHLSLRootSignature().

◆ ActOnTopLevelFunction()

void SemaHLSL::ActOnTopLevelFunction ( FunctionDecl * FD )

Definition at line 726 of file SemaHLSL.cpp.

References clang::Decl::addAttr(), clang::SemaBase::Diag(), clang::Decl::dropAttr(), clang::SemaBase::getASTContext(), clang::Decl::getAttr(), clang::DeclaratorDecl::getBeginLoc(), clang::Decl::getDeclContext(), clang::NamedDecl::getName(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTargetOpts(), clang::TargetInfo::getTriple(), clang::TargetOptions::HLSLEntry, lookupRootSignatureOverrideDecl(), and clang::Decl::setInvalidDecl().

Referenced by clang::Sema::ActOnFunctionDeclarator().

◆ ActOnUninitializedVarDecl()

bool SemaHLSL::ActOnUninitializedVarDecl ( VarDecl * D )

Definition at line 4049 of file SemaHLSL.cpp.

References clang::QualType::getAddressSpace(), clang::ValueDecl::getType(), clang::QualType::getTypePtr(), clang::VarDecl::hasGlobalStorage(), clang::hlsl_constant, clang::Type::isHLSLResourceRecord(), and clang::Type::isHLSLResourceRecordArray().

◆ ActOnVariableDeclarator()

void SemaHLSL::ActOnVariableDeclarator ( VarDecl * VD )

Definition at line 3823 of file SemaHLSL.cpp.

References addImplicitBindingAttrToDecl(), deduceAddressSpace(), clang::ASTContext::getAddrSpaceQualType(), clang::Type::getAsCXXRecordDecl(), clang::SemaBase::getASTContext(), clang::ASTContext::getBaseElementType(), clang::Decl::getLocation(), getRegisterType(), getResourceArrayHandleType(), clang::ValueDecl::getType(), clang::Decl::hasAttr(), clang::hlsl::ResourceBindingAttrs::hasBinding(), hasCounterHandle(), clang::hlsl::ResourceBindingAttrs::hasCounterImplicitOrderID(), clang::VarDecl::hasGlobalStorage(), clang::hlsl_constant, IsDefaultBufferConstantDecl(), clang::hlsl::ResourceBindingAttrs::isExplicit(), clang::Type::isHLSLIntangibleType(), clang::Type::isHLSLResourceRecordArray(), isResourceRecordTypeOrArrayOf(), clang::SC_Static, clang::SemaBase::SemaRef, clang::hlsl::ResourceBindingAttrs::setCounterImplicitOrderID(), clang::hlsl::ResourceBindingAttrs::setImplicitOrderID(), clang::Decl::setInvalidDecl(), clang::VarDecl::setStorageClass(), and clang::ValueDecl::setType().

Referenced by clang::Sema::ActOnVariableDeclarator().

◆ CanPerformAggregateSplatCast()

bool SemaHLSL::CanPerformAggregateSplatCast	(	Expr *	Src,
		QualType	DestType )

Definition at line 3638 of file SemaHLSL.cpp.

References BuildFlattenedTypeList(), CanPerformScalarCast(), clang::Type::getAs(), clang::VectorType::getElementType(), clang::VectorType::getNumElements(), clang::Expr::getType(), clang::Type::isScalarType(), and clang::Type::isVectorType().

◆ CanPerformElementwiseCast()

bool SemaHLSL::CanPerformElementwiseCast	(	Expr *	Src,
		QualType	DestType )

Definition at line 3670 of file SemaHLSL.cpp.

References BuildFlattenedTypeList(), CanPerformScalarCast(), clang::Expr::getType(), clang::Type::isScalarType(), and clang::Type::isVectorType().

◆ CanPerformScalarCast()

bool SemaHLSL::CanPerformScalarCast	(	QualType	SrcTy,
		QualType	DestTy )

Definition at line 3570 of file SemaHLSL.cpp.

References clang::Type::getScalarTypeKind(), clang::Type::isScalarType(), clang::SemaBase::SemaRef, clang::Type::STK_BlockPointer, clang::Type::STK_Bool, clang::Type::STK_CPointer, clang::Type::STK_FixedPoint, clang::Type::STK_Floating, clang::Type::STK_FloatingComplex, clang::Type::STK_Integral, clang::Type::STK_IntegralComplex, clang::Type::STK_MemberPointer, and clang::Type::STK_ObjCObjectPointer.

Referenced by CanPerformAggregateSplatCast(), and CanPerformElementwiseCast().

◆ CheckBuiltinFunctionCall()

bool SemaHLSL::CheckBuiltinFunctionCall	(	unsigned	BuiltinID,
		CallExpr *	TheCall )

Definition at line 2954 of file SemaHLSL.cpp.

References std::abs(), clang::Type::castAs(), clang::ASTContext::CharTy, clang::CheckAllArgsHaveSameType(), clang::CheckAllArgTypesAreCorrect(), CheckAnyScalarOrVector(), CheckArgTypeMatches(), CheckBoolSelect(), CheckFloatingOrIntRepresentation(), clang::CheckFloatOrHalfRepresentation(), CheckModifiableLValue(), CheckNoDoubleVectors(), CheckResourceHandle(), CheckScalarOrVector(), CheckUnsignedIntRepresentation(), CheckUnsignedIntVecRepresentation(), CheckVectorSelect(), CheckWaveActive(), clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::SemaBase::getASTContext(), clang::CallExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::ASTContext::getHLSLAttributedResourceType(), clang::Expr::getIntegerConstantExpr(), clang::ASTContext::getPointerType(), clang::CharUnits::getQuantity(), clang::Expr::getType(), clang::ASTContext::getTypeSizeInChars(), clang::Type::hasFloatingRepresentation(), clang::hlsl_device, clang::ASTContext::IntTy, clang::Type::isBooleanType(), clang::Type::isIntegerType(), clang::Sema::None, clang::SemaBase::SemaRef, SetElementTypeAsReturnType(), clang::Expr::setType(), clang::Expr::setValueKind(), clang::ASTContext::UnsignedIntTy, clang::VK_LValue, and clang::CanQual< T >::withConst().

◆ CheckCompatibleParameterABI()

bool SemaHLSL::CheckCompatibleParameterABI	(	FunctionDecl *	New,
		FunctionDecl *	Old )

Definition at line 3536 of file SemaHLSL.cpp.

References clang::Decl::getAttr(), clang::Decl::getLocation(), clang::FunctionDecl::getNumParams(), clang::FunctionDecl::getParamDecl(), New, and clang::SemaBase::SemaRef.

◆ CheckEntryPoint()

void SemaHLSL::CheckEntryPoint ( FunctionDecl * FD )

Definition at line 852 of file SemaHLSL.cpp.

References clang::SemaBase::Diag(), DiagnoseAttrStageMismatch(), clang::SemaBase::getASTContext(), clang::Decl::getAttr(), clang::Decl::getLocation(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), clang::Decl::hasAttr(), clang::FunctionDecl::parameters(), and clang::Decl::setInvalidDecl().

Referenced by clang::Sema::ActOnFunctionDeclarator().

◆ CheckResourceBinOp()

bool SemaHLSL::CheckResourceBinOp	(	BinaryOperatorKind	Opc,
		Expr *	LHSExpr,
		Expr *	RHSExpr,
		SourceLocation	Loc )

Definition at line 4067 of file SemaHLSL.cpp.

References clang::DeclRefExpr::getDecl(), clang::Decl::getLocation(), clang::Expr::getType(), clang::VarDecl::hasGlobalStorage(), clang::Expr::IgnoreParenImpCasts(), clang::Expr::IgnoreParens(), clang::Type::isHLSLResourceRecord(), clang::Type::isHLSLResourceRecordArray(), and clang::SemaBase::SemaRef.

◆ createSemanticAttr()

template<typename T>

T * clang::SemaHLSL::createSemanticAttr	(	const AttributeCommonInfo &	ACI,
		NamedDecl *	TargetDecl,
		std::optional< unsigned >	Location )

inline

Definition at line 179 of file SemaHLSL.h.

References clang::SemaBase::Diag(), clang::SemaBase::getASTContext(), clang::AttributeCommonInfo::getAttrName(), clang::Attr::getLocation(), clang::IdentifierInfo::getName(), and clang::T.

Referenced by diagnoseSystemSemanticAttr().

◆ deduceAddressSpace()

void SemaHLSL::deduceAddressSpace ( VarDecl * Decl )

Definition at line 3789 of file SemaHLSL.cpp.

References clang::Decl::hasAttr(), clang::hlsl_input, clang::hlsl_private, clang::Type::isHLSLResourceRecord(), clang::Type::isHLSLResourceRecordArray(), clang::Type::isSamplerT(), clang::Type::isVoidType(), clang::SC_Static, and clang::SemaBase::SemaRef.

Referenced by ActOnVariableDeclarator(), and clang::Sema::DeduceVariableDeclarationType().

◆ DiagnoseAttrStageMismatch()

void SemaHLSL::DiagnoseAttrStageMismatch	(	const Attr *	A,
		llvm::Triple::EnvironmentType	Stage,
		std::initializer_list< llvm::Triple::EnvironmentType >	AllowedStages )