#include "clang/Sema/SemaHLSL.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Attrs.inc"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DynamicRecursiveASTVisitor.h"
#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/AST/TypeLoc.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/DiagnosticSema.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/TargetInfo.h"
#include "clang/Sema/Initialization.h"
#include "clang/Sema/ParsedAttr.h"
#include "clang/Sema/Sema.h"
#include "clang/Sema/Template.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/DXILABI.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/TargetParser/Triple.h"
#include <iterator>
#include <utility>

Typedefs
using	RegisterType = HLSLResourceBindingAttr::RegisterType

Functions
static RegisterType	getRegisterType (ResourceClass RC)

static bool	convertToRegisterType (StringRef Slot, RegisterType *RT)

static ResourceClass	getResourceClass (RegisterType RT)

static unsigned	calculateLegacyCbufferSize (const ASTContext &Context, QualType T)

template<CastKind Kind>
static void	castVector (Sema &S, ExprResult &E, QualType &Ty, unsigned Sz)

template<CastKind Kind>
static QualType	castElement (Sema &S, ExprResult &E, QualType Ty)

static QualType	handleFloatVectorBinOpConversion (Sema &SemaRef, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, QualType LElTy, QualType RElTy, bool IsCompAssign)

static QualType	handleIntegerVectorBinOpConversion (Sema &SemaRef, ExprResult &LHS, ExprResult &RHS, QualType LHSType, QualType RHSType, QualType LElTy, QualType RElTy, bool IsCompAssign)

static CastKind	getScalarCastKind (ASTContext &Ctx, QualType DestTy, QualType SrcTy)

static bool	isValidWaveSizeValue (unsigned Value)

static bool	DiagnoseLocalRegisterBinding (Sema &S, SourceLocation &ArgLoc, Decl *D, RegisterType RegType, bool SpecifiedSpace)

static bool	ValidateMultipleRegisterAnnotations (Sema &S, Decl *TheDecl, RegisterType regType)

static bool	DiagnoseHLSLRegisterAttribute (Sema &S, SourceLocation &ArgLoc, Decl *D, RegisterType RegType, bool SpecifiedSpace)

static bool	CheckVectorElementCallArgs (Sema S, CallExpr TheCall)

static bool	CheckArgTypeMatches (Sema S, Expr Arg, QualType ExpectedType)

static bool	CheckArgTypeIsCorrect (Sema S, Expr Arg, QualType ExpectedType, llvm::function_ref< bool(clang::QualType PassedType)> Check)

static bool	CheckAllArgTypesAreCorrect (Sema S, CallExpr TheCall, QualType ExpectedType, llvm::function_ref< bool(clang::QualType PassedType)> Check)

static bool	CheckAllArgsHaveFloatRepresentation (Sema S, CallExpr TheCall)

static bool	CheckFloatOrHalfRepresentations (Sema S, CallExpr TheCall)

static bool	CheckModifiableLValue (Sema S, CallExpr TheCall, unsigned ArgIndex)

static bool	CheckNoDoubleVectors (Sema S, CallExpr TheCall)

static bool	CheckFloatingOrIntRepresentation (Sema S, CallExpr TheCall)

static bool	CheckUnsignedIntRepresentation (Sema S, CallExpr TheCall)

static void	SetElementTypeAsReturnType (Sema S, CallExpr TheCall, QualType ReturnType)

static bool	CheckScalarOrVector (Sema S, CallExpr TheCall, QualType Scalar, unsigned ArgIndex)

static bool	CheckAnyScalarOrVector (Sema S, CallExpr TheCall, unsigned ArgIndex)

static bool	CheckBoolSelect (Sema S, CallExpr TheCall)

static bool	CheckVectorSelect (Sema S, CallExpr TheCall)

static bool	CheckResourceHandle (Sema S, CallExpr TheCall, unsigned ArgIndex, llvm::function_ref< bool(const HLSLAttributedResourceType *ResType)> Check=nullptr)

static void	BuildFlattenedTypeList (QualType BaseTy, llvm::SmallVectorImpl< QualType > &List)

Typedef Documentation

◆ RegisterType

using RegisterType = HLSLResourceBindingAttr::RegisterType

Definition at line 43 of file SemaHLSL.cpp.

Function Documentation

◆ BuildFlattenedTypeList()

static void BuildFlattenedTypeList	(	QualType	BaseTy,
		llvm::SmallVectorImpl< QualType > &	List
	)

static

Definition at line 2274 of file SemaHLSL.cpp.

References clang::CXXRecordDecl::bases(), BuildFlattenedTypeList(), clang::RecordDecl::fields(), clang::RecordType::getDecl(), clang::CXXRecordDecl::getStandardLayoutBaseWithFields(), clang::ValueDecl::getType(), clang::CXXRecordDecl::isStandardLayout(), clang::TagDecl::isUnion(), and clang::T.

Referenced by BuildFlattenedTypeList(), and clang::SemaHLSL::IsScalarizedLayoutCompatible().

◆ calculateLegacyCbufferSize()

static unsigned calculateLegacyCbufferSize	(	const ASTContext &	Context,
		QualType	T
	)

static

Definition at line 169 of file SemaHLSL.cpp.

References calculateLegacyCbufferSize(), clang::RecordDecl::fields(), clang::Type::getAs(), clang::ASTContext::getAsConstantArrayType(), clang::ASTContext::getTypeSize(), clang::Type::isAggregateType(), and clang::T.

Referenced by clang::SemaHLSL::ActOnFinishBuffer(), and calculateLegacyCbufferSize().

◆ castElement()

template<CastKind Kind>

static QualType castElement	(	Sema &	S,
		ExprResult &	E,
		QualType	Ty
	)

static

Definition at line 471 of file SemaHLSL.cpp.

References E, and clang::Sema::ImpCastExprToType().

◆ castVector()

template<CastKind Kind>

static void castVector	(	Sema &	S,
		ExprResult &	E,
		QualType &	Ty,
		unsigned	Sz
	)

static

Definition at line 463 of file SemaHLSL.cpp.

References E, clang::Type::getAs(), clang::Sema::getASTContext(), clang::ASTContext::getExtVectorType(), and clang::Sema::ImpCastExprToType().

◆ CheckAllArgsHaveFloatRepresentation()

static bool CheckAllArgsHaveFloatRepresentation	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1757 of file SemaHLSL.cpp.

References CheckAllArgTypesAreCorrect(), clang::Sema::Context, and clang::ASTContext::FloatTy.

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckAllArgTypesAreCorrect()

static bool CheckAllArgTypesAreCorrect	(	Sema *	S,
		CallExpr *	TheCall,
		QualType	ExpectedType,
		llvm::function_ref< bool(clang::QualType PassedType)>	Check
	)

static

Definition at line 1745 of file SemaHLSL.cpp.

References CheckArgTypeIsCorrect(), clang::CallExpr::getArg(), and clang::CallExpr::getNumArgs().

Referenced by CheckAllArgsHaveFloatRepresentation(), CheckFloatingOrIntRepresentation(), CheckFloatOrHalfRepresentations(), CheckNoDoubleVectors(), and CheckUnsignedIntRepresentation().

◆ CheckAnyScalarOrVector()

static bool CheckAnyScalarOrVector	(	Sema *	S,
		CallExpr *	TheCall,
		unsigned	ArgIndex
	)

static

Definition at line 1840 of file SemaHLSL.cpp.

References clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), and clang::Type::isScalarType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckArgTypeIsCorrect()

static bool CheckArgTypeIsCorrect	(	Sema *	S,
		Expr *	Arg,
		QualType	ExpectedType,
		llvm::function_ref< bool(clang::QualType PassedType)>	Check
	)

static

Definition at line 1730 of file SemaHLSL.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::Expr::getType(), and clang::ASTContext::getVectorType().

Referenced by CheckAllArgTypesAreCorrect().

◆ CheckArgTypeMatches()

static bool CheckArgTypeMatches	(	Sema *	S,
		Expr *	Arg,
		QualType	ExpectedType
	)

static

Definition at line 1720 of file SemaHLSL.cpp.

References clang::SemaBase::Diag(), clang::Sema::getASTContext(), clang::Stmt::getBeginLoc(), clang::Expr::getType(), and clang::ASTContext::hasSameUnqualifiedType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckBoolSelect()

static bool CheckBoolSelect	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1856 of file SemaHLSL.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::CallExpr::getBeginLoc(), clang::CallExpr::getNumArgs(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), and clang::Expr::setType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckFloatingOrIntRepresentation()

static bool CheckFloatingOrIntRepresentation	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1797 of file SemaHLSL.cpp.

References CheckAllArgTypesAreCorrect(), clang::Sema::Context, and clang::ASTContext::IntTy.

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckFloatOrHalfRepresentations()

static bool CheckFloatOrHalfRepresentations	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1765 of file SemaHLSL.cpp.

References CheckAllArgTypesAreCorrect(), clang::Sema::Context, clang::ASTContext::FloatTy, clang::Type::isFloat32Type(), clang::Type::isHalfType(), and clang::Type::isVectorType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckModifiableLValue()

static bool CheckModifiableLValue	(	Sema *	S,
		CallExpr *	TheCall,
		unsigned	ArgIndex
	)

static

Definition at line 1777 of file SemaHLSL.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Expr::getExprLoc(), clang::Expr::IgnoreCasts(), clang::Expr::isModifiableLvalue(), and clang::Expr::MLV_Valid.

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckNoDoubleVectors()

static bool CheckNoDoubleVectors	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1788 of file SemaHLSL.cpp.

References CheckAllArgTypesAreCorrect(), clang::Sema::Context, and clang::ASTContext::FloatTy.

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckResourceHandle()

static bool CheckResourceHandle	(	Sema *	S,
		CallExpr *	TheCall,
		unsigned	ArgIndex,
		llvm::function_ref< bool(const HLSLAttributedResourceType *ResType)>	Check = `nullptr`
	)

static

Definition at line 1912 of file SemaHLSL.cpp.

References clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::Expr::getExprLoc(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), and clang::QualType::getTypePtr().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckScalarOrVector()

static bool CheckScalarOrVector	(	Sema *	S,
		CallExpr *	TheCall,
		QualType	Scalar,
		unsigned	ArgIndex
	)

static

Definition at line 1823 of file SemaHLSL.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::Stmt::getBeginLoc(), clang::CallExpr::getNumArgs(), clang::Expr::getType(), and clang::ASTContext::hasSameUnqualifiedType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckUnsignedIntRepresentation()

static bool CheckUnsignedIntRepresentation	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1806 of file SemaHLSL.cpp.

References CheckAllArgTypesAreCorrect(), clang::Sema::Context, and clang::ASTContext::UnsignedIntTy.

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckVectorElementCallArgs()

static bool CheckVectorElementCallArgs	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1670 of file SemaHLSL.cpp.

References clang::SemaBase::Diag(), clang::ActionResult< PtrTy, Compress >::get(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::CallExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::CallExpr::getDirectCallee(), clang::Stmt::getEndLoc(), clang::CallExpr::getNumArgs(), and clang::Expr::getType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ CheckVectorSelect()

static bool CheckVectorSelect	(	Sema *	S,
		CallExpr *	TheCall
	)

static

Definition at line 1872 of file SemaHLSL.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::CallExpr::getArg(), clang::Type::getAs(), clang::CallExpr::getBeginLoc(), clang::Stmt::getBeginLoc(), clang::CallExpr::getDirectCallee(), clang::CallExpr::getNumArgs(), clang::VectorType::getNumElements(), clang::Stmt::getSourceRange(), clang::Expr::getType(), clang::ASTContext::hasSameUnqualifiedType(), clang::Type::isVectorType(), and clang::Expr::setType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ convertToRegisterType()

static bool convertToRegisterType	(	StringRef	Slot,
		RegisterType *	RT
	)

static

Definition at line 61 of file SemaHLSL.cpp.

Referenced by clang::SemaHLSL::handleResourceBindingAttr().

◆ DiagnoseHLSLRegisterAttribute()

static bool DiagnoseHLSLRegisterAttribute	(	Sema &	S,
		SourceLocation &	ArgLoc,
		Decl *	D,
		RegisterType	RegType,
		bool	SpecifiedSpace
	)

static

Definition at line 1207 of file SemaHLSL.cpp.

References D, DiagnoseLocalRegisterBinding(), and ValidateMultipleRegisterAnnotations().

Referenced by clang::SemaHLSL::handleResourceBindingAttr().

◆ DiagnoseLocalRegisterBinding()

static bool DiagnoseLocalRegisterBinding	(	Sema &	S,
		SourceLocation &	ArgLoc,
		Decl *	D,
		RegisterType	RegType,
		bool	SpecifiedSpace
	)

static

Definition at line 1108 of file SemaHLSL.cpp.

References D, clang::SemaBase::Diag(), clang::HLSLAttributedResourceType::findHandleTypeOnResource(), clang::Type::getArrayElementTypeNoTypeQual(), clang::Sema::getASTContext(), clang::Decl::getDeclContext(), clang::Decl::getLocation(), getRegisterType(), clang::ValueDecl::getType(), clang::QualType::getTypePtr(), clang::Decl::hasAttr(), clang::Type::isArithmeticType(), clang::Type::isArrayType(), clang::Type::isFloatingType(), clang::Type::isIntegralType(), and clang::Type::isRecordType().

Referenced by DiagnoseHLSLRegisterAttribute().

◆ getRegisterType()

static RegisterType getRegisterType ( ResourceClass RC )

static

Definition at line 45 of file SemaHLSL.cpp.

Referenced by DiagnoseLocalRegisterBinding().

◆ getResourceClass()

static ResourceClass getResourceClass ( RegisterType RT )

static

Definition at line 93 of file SemaHLSL.cpp.

◆ getScalarCastKind()

static CastKind getScalarCastKind	(	ASTContext &	Ctx,
		QualType	DestTy,
		QualType	SrcTy
	)

static

Definition at line 553 of file SemaHLSL.cpp.

References clang::Type::isIntegralType(), and clang::Type::isRealFloatingType().

Referenced by clang::SemaHLSL::handleVectorBinOpConversion().

◆ handleFloatVectorBinOpConversion()

static QualType handleFloatVectorBinOpConversion	(	Sema &	SemaRef,
		ExprResult &	LHS,
		ExprResult &	RHS,
		QualType	LHSType,
		QualType	RHSType,
		QualType	LElTy,
		QualType	RElTy,
		bool	IsCompAssign
	)

static

Definition at line 476 of file SemaHLSL.cpp.

References clang::Sema::getASTContext(), clang::ASTContext::getFloatingTypeOrder(), and clang::Type::isRealFloatingType().

Referenced by clang::SemaHLSL::handleVectorBinOpConversion().

◆ handleIntegerVectorBinOpConversion()

static QualType handleIntegerVectorBinOpConversion	(	Sema &	SemaRef,
		ExprResult &	LHS,
		ExprResult &	RHS,
		QualType	LHSType,
		QualType	RHSType,
		QualType	LElTy,
		QualType	RElTy,
		bool	IsCompAssign
	)

static

Definition at line 500 of file SemaHLSL.cpp.

References clang::Type::castAs(), clang::Sema::Context, clang::Sema::getASTContext(), clang::ASTContext::getIntegerTypeOrder(), clang::VectorType::getNumElements(), and clang::Type::hasSignedIntegerRepresentation().

Referenced by clang::SemaHLSL::handleVectorBinOpConversion().

◆ isValidWaveSizeValue()

static bool isValidWaveSizeValue ( unsigned Value )

static

Definition at line 701 of file SemaHLSL.cpp.

Referenced by clang::SemaHLSL::handleWaveSizeAttr().

◆ SetElementTypeAsReturnType()

static void SetElementTypeAsReturnType	(	Sema *	S,
		CallExpr *	TheCall,
		QualType	ReturnType
	)

static

Definition at line 1814 of file SemaHLSL.cpp.

References clang::Sema::Context, clang::Generic, clang::CallExpr::getArg(), clang::Type::getAs(), clang::Expr::getType(), clang::ASTContext::getVectorType(), and clang::Expr::setType().

Referenced by clang::SemaHLSL::CheckBuiltinFunctionCall().

◆ ValidateMultipleRegisterAnnotations()

static bool ValidateMultipleRegisterAnnotations	(	Sema &	S,
		Decl *	TheDecl,
		RegisterType	regType
	)

static

Definition at line 1182 of file SemaHLSL.cpp.

References clang::ast_matchers::attr, clang::Decl::attr_begin(), clang::Decl::attr_end(), clang::SemaBase::Diag(), and clang::Decl::getLocation().

Referenced by DiagnoseHLSLRegisterAttribute().

Typedefs

Functions

Typedef Documentation

◆ RegisterType

Function Documentation

◆ BuildFlattenedTypeList()

◆ calculateLegacyCbufferSize()

◆ castElement()

◆ castVector()

◆ CheckAllArgsHaveFloatRepresentation()

◆ CheckAllArgTypesAreCorrect()

◆ CheckAnyScalarOrVector()

◆ CheckArgTypeIsCorrect()

◆ CheckArgTypeMatches()

◆ CheckBoolSelect()

◆ CheckFloatingOrIntRepresentation()

◆ CheckFloatOrHalfRepresentations()

◆ CheckModifiableLValue()

◆ CheckNoDoubleVectors()

◆ CheckResourceHandle()

◆ CheckScalarOrVector()

◆ CheckUnsignedIntRepresentation()

◆ CheckVectorElementCallArgs()

◆ CheckVectorSelect()

◆ convertToRegisterType()

◆ DiagnoseHLSLRegisterAttribute()

◆ DiagnoseLocalRegisterBinding()

◆ getRegisterType()

◆ getResourceClass()

◆ getScalarCastKind()

◆ handleFloatVectorBinOpConversion()

◆ handleIntegerVectorBinOpConversion()

◆ isValidWaveSizeValue()

◆ SetElementTypeAsReturnType()

◆ ValidateMultipleRegisterAnnotations()