24#include "llvm/ADT/ArrayRef.h"
25#include "llvm/ADT/StringSet.h"
26#include "llvm/MC/MCParser/MCAsmParser.h"
34 Expr *ExprUnderCast =
nullptr;
38 ParentsToUpdate.push_back(
Parent);
39 if (
auto *ParenE = dyn_cast<ParenExpr>(
Parent)) {
40 Parent = ParenE->getSubExpr();
44 Expr *Child =
nullptr;
51 if (
auto *CastE = dyn_cast<CastExpr>(Child))
52 if (CastE->getCastKind() == CK_LValueToRValue) {
53 ExprUnderCast = CastE->getSubExpr();
62 assert(ExprUnderCast &&
63 "Should be reachable only if LValueToRValue cast was found!");
65 for (
Expr *E : ParentsToUpdate)
116 for (
unsigned p = 0, e = AsmStrPieces.size(); p != e; ++p) {
133 if (!Func->
hasAttr<NakedAttr>())
137 WorkList.push_back(E);
138 while (WorkList.size()) {
139 Expr *E = WorkList.pop_back_val();
140 if (isa<CXXThisExpr>(E)) {
142 S.
Diag(Func->
getAttr<NakedAttr>()->getLocation(), diag::note_attribute);
146 if (isa<ParmVarDecl>(DRE->getDecl())) {
147 S.
Diag(DRE->getBeginLoc(), diag::err_asm_naked_parm_ref);
148 S.
Diag(Func->
getAttr<NakedAttr>()->getLocation(), diag::note_attribute);
153 if (
Expr *E = dyn_cast_or_null<Expr>(Child))
154 WorkList.push_back(E);
164 bool is_input_expr) {
170 } EType = ExprSafeType;
175 EType = ExprBitfield;
177 EType = ExprVectorElt;
179 EType = ExprGlobalRegVar;
181 if (EType != ExprSafeType) {
182 S.
Diag(E->
getBeginLoc(), diag::err_asm_non_addr_value_in_memory_constraint)
198 const VarDecl *Variable = dyn_cast<VarDecl>(AsmDeclRef->getDecl());
199 if (Variable && Variable->getStorageClass() ==
SC_Register) {
200 if (AsmLabelAttr *
Attr = Variable->getAttr<AsmLabelAttr>())
201 if (
Target.isValidGCCRegisterName(
Attr->getLabel()))
202 return Target.getNormalizedGCCRegisterName(
Attr->getLabel(),
true);
216 llvm::StringSet<> InOutVars;
219 for (
unsigned int i = 0; i < Exprs.size() - NumLabels; ++i) {
220 StringRef Constraint = Constraints[i]->
getString();
221 StringRef InOutReg =
Target.getConstraintRegister(
224 InOutVars.insert(InOutReg);
228 for (
int i = 0; i < NumClobbers; ++i) {
229 StringRef Clobber = Clobbers[i]->
getString();
232 if (Clobber ==
"cc" || Clobber ==
"memory" || Clobber ==
"unwind")
234 Clobber =
Target.getNormalizedGCCRegisterName(Clobber,
true);
236 if (InOutVars.count(Clobber))
243 bool IsVolatile,
unsigned NumOutputs,
249 unsigned NumClobbers = clobbers.size();
261 llvm::StringMap<bool> FeatureMap;
264 for (
unsigned i = 0; i != NumOutputs; i++) {
266 assert(Literal->isOrdinary());
268 StringRef OutputName;
270 OutputName = Names[i]->
getName();
275 diag::err_asm_invalid_output_constraint)
279 NumInputs, Names, Constraints, Exprs.data(), AsmString,
280 NumClobbers, Clobbers, NumLabels, RParenLoc);
289 Expr *OutputExpr = Exprs[i];
308 OutputConstraintInfos.push_back(Info);
332 diag::err_dereference_incomplete_type))
337 diag::err_asm_invalid_lvalue_in_output)
343 FeatureMap, Literal->getString(), Size)) {
348 NumInputs, Names, Constraints, Exprs.data(), AsmString,
349 NumClobbers, Clobbers, NumLabels, RParenLoc);
355 for (
unsigned i = NumOutputs, e = NumOutputs + NumInputs; i != e; i++) {
357 assert(Literal->isOrdinary());
361 InputName = Names[i]->
getName();
366 targetDiag(Literal->getBeginLoc(), diag::err_asm_invalid_input_constraint)
370 NumInputs, Names, Constraints, Exprs.data(), AsmString,
371 NumClobbers, Clobbers, NumLabels, RParenLoc);
379 Expr *InputExpr = Exprs[i];
383 diag::err_asm_pmf_through_constraint_not_permitted)
399 diag::err_asm_invalid_lvalue_in_input)
407 InputExpr = Exprs[i] =
Result.get();
415 llvm::APSInt IntResult;
421 diag::err_invalid_asm_value_for_constraint)
444 InputConstraintInfos.push_back(Info);
446 const Type *Ty = Exprs[i]->getType().getTypePtr();
452 diag::err_dereference_incomplete_type))
457 Literal->getString(), Size))
459 diag::err_asm_invalid_input_size)
463 std::optional<SourceLocation> UnwindClobberLoc;
466 for (
unsigned i = 0; i != NumClobbers; i++) {
468 assert(Literal->isOrdinary());
470 StringRef Clobber = Literal->getString();
473 targetDiag(Literal->getBeginLoc(), diag::err_asm_unknown_register_name)
477 NumInputs, Names, Constraints, Exprs.data(), AsmString,
478 NumClobbers, Clobbers, NumLabels, RParenLoc);
481 if (Clobber ==
"unwind") {
482 UnwindClobberLoc = Literal->getBeginLoc();
487 if (UnwindClobberLoc && NumLabels > 0) {
488 targetDiag(*UnwindClobberLoc, diag::err_asm_unwind_and_goto);
491 Names, Constraints, Exprs.data(), AsmString, NumClobbers,
492 Clobbers, NumLabels, RParenLoc);
497 NumInputs, Names, Constraints, Exprs.data(),
498 AsmString, NumClobbers, Clobbers, NumLabels,
504 if (
unsigned DiagID =
NS->AnalyzeAsmString(Pieces,
Context, DiagOffs)) {
511 for (
unsigned i = 0, e = Pieces.size(); i != e; ++i) {
517 unsigned NumOperands =
NS->getNumOutputs() +
NS->getNumInputs();
519 if (
NS->isAsmGoto() && ConstraintIdx >= NumOperands)
523 if (ConstraintIdx >= NumOperands) {
524 unsigned I = 0, E =
NS->getNumOutputs();
526 for (
unsigned Cnt = ConstraintIdx - NumOperands; I != E; ++I)
527 if (OutputConstraintInfos[I].isReadWrite() && Cnt-- == 0) {
532 assert(I != E &&
"Invalid operand number should have been caught in "
533 " AnalyzeAsmString");
538 const Type *Ty = Exprs[ConstraintIdx]->getType().getTypePtr();
543 std::string SuggestedModifier;
546 SuggestedModifier)) {
547 targetDiag(Exprs[ConstraintIdx]->getBeginLoc(),
548 diag::warn_asm_mismatched_size_modifier);
550 if (!SuggestedModifier.empty()) {
552 diag::note_asm_missing_constraint_modifier)
553 << SuggestedModifier;
554 SuggestedModifier =
"%" + SuggestedModifier + Piece.
getString();
561 unsigned NumAlternatives = ~0
U;
562 for (
unsigned i = 0, e = OutputConstraintInfos.size(); i != e; ++i) {
565 unsigned AltCount = ConstraintStr.count(
',') + 1;
566 if (NumAlternatives == ~0
U) {
567 NumAlternatives = AltCount;
568 }
else if (NumAlternatives != AltCount) {
570 diag::err_asm_unexpected_constraint_alternatives)
571 << NumAlternatives << AltCount;
577 for (
unsigned i = 0, e = InputConstraintInfos.size(); i != e; ++i) {
580 unsigned AltCount = ConstraintStr.count(
',') + 1;
581 if (NumAlternatives == ~0
U) {
582 NumAlternatives = AltCount;
583 }
else if (NumAlternatives != AltCount) {
585 diag::err_asm_unexpected_constraint_alternatives)
586 << NumAlternatives << AltCount;
596 unsigned InputOpNo = i+NumOutputs;
597 Expr *OutputExpr = Exprs[TiedTo];
598 Expr *InputExpr = Exprs[InputOpNo];
601 assert(TiedTo < InputMatchedToOutput.size() &&
"TiedTo value out of range");
602 if (InputMatchedToOutput[TiedTo] != ~0
U) {
604 diag::err_asm_input_duplicate_match)
606 targetDiag(
NS->getInputExpr(InputMatchedToOutput[TiedTo])->getBeginLoc(),
607 diag::note_asm_input_duplicate_first)
611 InputMatchedToOutput[TiedTo] = i;
624 AD_Int, AD_FP, AD_Other
625 } InputDomain, OutputDomain;
628 InputDomain = AD_Int;
632 InputDomain = AD_Other;
635 OutputDomain = AD_Int;
637 OutputDomain = AD_FP;
639 OutputDomain = AD_Other;
649 if (OutSize == InSize && InputDomain == OutputDomain &&
650 InputDomain != AD_Other)
656 bool SmallerValueMentioned =
false;
664 SmallerValueMentioned |= InSize < OutSize;
669 SmallerValueMentioned |= OutSize < InSize;
675 if (!SmallerValueMentioned && InputDomain != AD_Other &&
676 OutputConstraintInfos[TiedTo].allowsRegister()) {
692 if (InputDomain == AD_Int && OutputDomain == AD_Int &&
696 (OutTy->
isBooleanType() ? CK_IntegralToBoolean : CK_IntegralCast);
698 Exprs[InputOpNo] = InputExpr;
699 NS->setInputExpr(i, InputExpr);
715 targetDiag(ConstraintLoc, diag::error_inoutput_conflict_with_clobber);
718 typedef std::pair<StringRef , Expr *> NamedOperand;
720 for (
unsigned i = 0, e = NumOutputs + NumInputs + NumLabels; i != e; ++i)
722 NamedOperandList.emplace_back(
723 std::make_pair(Names[i]->
getName(), Exprs[i]));
725 llvm::stable_sort(NamedOperandList, llvm::less_first());
728 std::adjacent_find(begin(NamedOperandList), end(NamedOperandList),
729 [](
const NamedOperand &LHS,
const NamedOperand &RHS) {
730 return LHS.first == RHS.first;
732 if (Found != NamedOperandList.end()) {
733 Diag((Found + 1)->second->getBeginLoc(),
734 diag::error_duplicate_asm_operand_name)
735 << (Found + 1)->first;
736 Diag(Found->second->getBeginLoc(), diag::note_duplicate_asm_operand_name)
749 llvm::InlineAsmIdentifierInfo &Info) {
753 return Info.setLabel(Res);
755 bool IsEnum = isa<clang::EnumType>(T);
756 if (
DeclRefExpr *DRE = dyn_cast<clang::DeclRefExpr>(Res))
757 if (DRE->getDecl()->getKind() == Decl::EnumConstant)
760 return Info.setEnum(Eval.
Val.
getInt().getSExtValue());
762 return Info.setLabel(Res);
765 unsigned Type = Size;
768 bool IsGlobalLV =
false;
771 Info.setVar(Res, IsGlobalLV, Size,
Type);
777 bool IsUnevaluatedContext) {
779 if (IsUnevaluatedContext)
790 if (IsUnevaluatedContext)
825 Member.split(Members,
".");
832 FoundDecl = PT->getPointeeType()->getAsTagDecl();
843 for (StringRef NextMember : Members) {
845 if (
VarDecl *VD = dyn_cast<VarDecl>(FoundDecl))
850 QualType QT = TD->getUnderlyingType();
854 }
else if (
TypeDecl *TD = dyn_cast<TypeDecl>(FoundDecl))
856 else if (
FieldDecl *TD = dyn_cast<FieldDecl>(FoundDecl))
862 diag::err_asm_incomplete_type))
876 FieldDecl *FD = dyn_cast<FieldDecl>(FoundDecl);
901 nullptr, NameInfo,
nullptr);
918 FD = dyn_cast<IndirectFieldDecl>(FieldResult.
getFoundDecl());
933 unsigned NumOutputs,
unsigned NumInputs,
938 bool IsSimple = (NumOutputs != 0 || NumInputs != 0);
941 bool InvalidOperand =
false;
942 for (uint64_t I = 0; I < NumOutputs + NumInputs; ++I) {
945 InvalidOperand =
true;
947 << E->
getType() << (I < NumOutputs)
950 InvalidOperand =
true;
962 true, AsmToks, NumOutputs, NumInputs,
963 Constraints, Exprs, AsmString,
974 if (
Label->isMSAsmLabel()) {
979 std::string InternalName;
980 llvm::raw_string_ostream
OS(InternalName);
986 OS <<
"__MSASMLABEL_.${:uid}__";
987 for (
char C : ExternalLabelName) {
993 Label->setMSAsmLabel(
OS.str());
999 Label->setMSAsmLabelResolved();
1002 Label->setLocation(Location);
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines the clang::Preprocessor interface.
static std::string getName(const CallEvent &Call)
static std::string toString(const clang::SanitizerSet &Sanitizers)
Produce a string containing comma-separated names of sanitizers in Sanitizers set.
static SourceLocation getClobberConflictLocation(MultiExprArg Exprs, StringLiteral **Constraints, StringLiteral **Clobbers, int NumClobbers, unsigned NumLabels, const TargetInfo &Target, ASTContext &Cont)
static bool isOperandMentioned(unsigned OpNo, ArrayRef< GCCAsmStmt::AsmStringPiece > AsmStrPieces)
isOperandMentioned - Return true if the specified operand # is mentioned anywhere in the decomposed a...
static bool CheckAsmLValue(Expr *E, Sema &S)
CheckAsmLValue - GNU C has an extremely ugly extension whereby they silently ignore "noop" casts in p...
static StringRef extractRegisterName(const Expr *Expression, const TargetInfo &Target)
static bool CheckNakedParmReference(Expr *E, Sema &S)
static bool checkExprMemoryConstraintCompat(Sema &S, Expr *E, TargetInfo::ConstraintInfo &Info, bool is_input_expr)
Returns true if given expression is not compatible with inline assembly's memory constraint; false ot...
static void removeLValueToRValueCast(Expr *E)
Remove the upper-level LValueToRValue cast from an expression.
static void emitAndFixInvalidAsmCastLValue(const Expr *LVal, Expr *BadArgument, Sema &S)
Emit a warning about usage of "noop"-like casts for lvalues (GNU extension) and fix the argument with...
Defines the clang::TypeLoc interface and its subclasses.
bool toIntegralConstant(APSInt &Result, QualType SrcTy, const ASTContext &Ctx) const
Try to convert this value to an integral constant.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
QualType getIntTypeForBitwidth(unsigned DestWidth, unsigned Signed) const
getIntTypeForBitwidth - sets integer QualTy according to specified details: bitwidth,...
const ArrayType * getAsArrayType(QualType T) const
Type Query functions.
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const TargetInfo & getTargetInfo() const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
void getFunctionFeatureMap(llvm::StringMap< bool > &FeatureMap, const FunctionDecl *) const
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
uint64_t getFieldOffset(unsigned FieldNo) const
getFieldOffset - Get the offset of the given field index, in bits.
Attr - This represents one attribute.
static CXXDependentScopeMemberExpr * Create(const ASTContext &Ctx, Expr *Base, QualType BaseType, bool IsArrow, SourceLocation OperatorLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierFoundInScope, DeclarationNameInfo MemberNameInfo, const TemplateArgumentListInfo *TemplateArgs)
Represents a C++ nested-name-specifier or a global scope specifier.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
SourceLocation getBegin() const
CharUnits - This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
A reference to a declared variable, function, enum, etc.
SourceLocation getLocation() const
This represents one expression.
Expr * IgnoreParenNoopCasts(const ASTContext &Ctx) LLVM_READONLY
Skip past any parenthese and casts which do not change the value (including ptr->int casts of the sam...
isModifiableLvalueResult isModifiableLvalue(ASTContext &Ctx, SourceLocation *Loc=nullptr) const
isModifiableLvalue - C99 6.3.2.1: an lvalue that does not have array type, does not have an incomplet...
bool isValueDependent() const
Determines whether the value of this expression depends on.
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
bool refersToVectorElement() const
Returns whether this expression refers to a vector element.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
bool EvaluateAsLValue(EvalResult &Result, const ASTContext &Ctx, bool InConstantContext=false) const
EvaluateAsLValue - Evaluate an expression to see if we can fold it to an lvalue with link time known ...
bool isEvaluatable(const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects) const
isEvaluatable - Call EvaluateAsRValue to see if this expression can be constant folded without side-e...
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
FieldDecl * getSourceBitField()
If this expression refers to a bit-field, retrieve the declaration of that bit-field.
bool EvaluateAsRValue(EvalResult &Result, const ASTContext &Ctx, bool InConstantContext=false) const
EvaluateAsRValue - Return true if this is a constant which we can fold to an rvalue using any crazy t...
void setValueKind(ExprValueKind Cat)
setValueKind - Set the value kind produced by this expression.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
bool refersToGlobalRegisterVar() const
Returns whether this expression refers to a global register variable.
Represents a member of a struct/union/class.
unsigned getFieldIndex() const
Returns the index of this field within its record, as appropriate for passing to ASTRecordLayout::get...
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string.
Represents a function declaration or definition.
AsmStringPiece - this is part of a decomposed asm string specification (for use with the AnalyzeAsmSt...
const std::string & getString() const
unsigned getOperandNo() const
CharSourceRange getRange() const
char getModifier() const
getModifier - Get the modifier for this operand, if present.
This represents a GCC inline-assembly statement extension.
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
Represents the declaration of a label.
Represents the results of name lookup.
NamedDecl * getFoundDecl() const
Fetch the unique decl found by this lookup.
bool isSingleResult() const
Determines if this names a single result which is not an unresolved value using decl.
This represents a Microsoft inline-assembly statement extension.
This represents a decl that may have a name.
A C++ nested-name-specifier augmented with source location information.
PointerType - C99 6.7.5.1 - Pointer Declarators.
IdentifierInfo * getIdentifierInfo(StringRef Name) const
Return information about the specified preprocessor identifier token.
A (possibly-)qualified type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
RecordDecl * getDecl() const
Sema - This implements semantic analysis and AST building for C.
QualType getCurrentThisType()
Try to retrieve the type of the 'this' pointer.
Scope * getCurScope() const
Retrieve the parser's current scope.
ExprResult BuildMemberReferenceExpr(Expr *Base, QualType BaseType, SourceLocation OpLoc, bool IsArrow, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, NamedDecl *FirstQualifierInScope, const DeclarationNameInfo &NameInfo, const TemplateArgumentListInfo *TemplateArgs, const Scope *S, ActOnMemberAccessExtraArgs *ExtraArgs=nullptr)
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
@ LookupMemberName
Member name lookup, which finds the names of class/struct/union members.
StmtResult ActOnMSAsmStmt(SourceLocation AsmLoc, SourceLocation LBraceLoc, ArrayRef< Token > AsmToks, StringRef AsmString, unsigned NumOutputs, unsigned NumInputs, ArrayRef< StringRef > Constraints, ArrayRef< StringRef > Clobbers, ArrayRef< Expr * > Exprs, SourceLocation EndLoc)
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
void PushExpressionEvaluationContext(ExpressionEvaluationContext NewContext, Decl *LambdaContextDecl=nullptr, ExpressionEvaluationContextRecord::ExpressionKind Type=ExpressionEvaluationContextRecord::EK_Other)
ExprResult ActOnIdExpression(Scope *S, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, UnqualifiedId &Id, bool HasTrailingLParen, bool IsAddressOfOperand, CorrectionCandidateCallback *CCC=nullptr, bool IsInlineAsmIdentifier=false, Token *KeywordReplacement=nullptr)
void setFunctionHasBranchIntoScope()
ExprResult LookupInlineAsmIdentifier(CXXScopeSpec &SS, SourceLocation TemplateKWLoc, UnqualifiedId &Id, bool IsUnevaluatedContext)
void CleanupVarDeclMarking()
ExprResult DefaultFunctionArrayLvalueConversion(Expr *E, bool Diagnose=true)
void PopExpressionEvaluationContext()
const LangOptions & getLangOpts() const
bool RequireCompleteExprType(Expr *E, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type of the given expression is complete.
ExprResult ImpCastExprToType(Expr *E, QualType Type, CastKind CK, ExprValueKind VK=VK_PRValue, const CXXCastPath *BasePath=nullptr, CheckedConversionKind CCK=CCK_ImplicitConversion)
ImpCastExprToType - If Expr is not of type 'Type', insert an implicit cast.
void MarkAnyDeclReferenced(SourceLocation Loc, Decl *D, bool MightBeOdrUse)
Perform marking for a reference to an arbitrary declaration.
DeclContext * getCurLexicalContext() const
SourceLocation getLocationOfStringLiteralByte(const StringLiteral *SL, unsigned ByteNo) const
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
void FillInlineAsmIdentifierInfo(Expr *Res, llvm::InlineAsmIdentifierInfo &Info)
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
bool LookupInlineAsmField(StringRef Base, StringRef Member, unsigned &Offset, SourceLocation AsmLoc)
LabelDecl * LookupOrCreateLabel(IdentifierInfo *II, SourceLocation IdentLoc, SourceLocation GnuLabelLoc=SourceLocation())
LookupOrCreateLabel - Do a name lookup of a label with the specified name.
ExprResult LookupInlineAsmVarDeclField(Expr *RefExpr, StringRef Member, SourceLocation AsmLoc)
void setFunctionHasBranchProtectedScope()
@ UnevaluatedAbstract
The current expression occurs within an unevaluated operand that unconditionally permits abstract ref...
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
bool LookupQualifiedName(LookupResult &R, DeclContext *LookupCtx, bool InUnqualifiedLookup=false)
Perform qualified name lookup into a given context.
void DiscardCleanupsInEvaluationContext()
LabelDecl * GetOrCreateMSAsmLabel(StringRef ExternalLabelName, SourceLocation Location, bool AlwaysCreate)
bool LookupName(LookupResult &R, Scope *S, bool AllowBuiltinCreation=false, bool ForceNoCPlusPlus=false)
Perform unqualified name lookup starting from a given scope.
SemaDiagnosticBuilder targetDiag(SourceLocation Loc, unsigned DiagID, FunctionDecl *FD=nullptr)
StmtResult ActOnGCCAsmStmt(SourceLocation AsmLoc, bool IsSimple, bool IsVolatile, unsigned NumOutputs, unsigned NumInputs, IdentifierInfo **Names, MultiExprArg Constraints, MultiExprArg Exprs, Expr *AsmString, MultiExprArg Clobbers, unsigned NumLabels, SourceLocation RParenLoc)
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
Stmt - This represents one statement.
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
StringLiteral - This represents a string literal expression, e.g.
SourceLocation getBeginLoc() const LLVM_READONLY
StringRef getString() const
Exposes information about the current target.
bool validateInputConstraint(MutableArrayRef< ConstraintInfo > OutputConstraints, ConstraintInfo &info) const
virtual bool validateOutputSize(const llvm::StringMap< bool > &FeatureMap, StringRef, unsigned) const
virtual bool validateInputSize(const llvm::StringMap< bool > &FeatureMap, StringRef, unsigned) const
virtual bool validateConstraintModifier(StringRef, char, unsigned, std::string &) const
bool validateOutputConstraint(ConstraintInfo &Info) const
bool isValidClobber(StringRef Name) const
Returns whether the passed in string is a valid clobber in an inline asm statement.
Represents a declaration of a type.
The base class of the type hierarchy.
bool isStructureType() const
bool isBooleanType() const
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isBitIntType() const
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isMemberPointerType() const
bool isIncompleteType(NamedDecl **Def=nullptr) const
Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types,...
bool isFunctionType() const
bool isRealFloatingType() const
Floating point categories.
const T * getAs() const
Member-template getAs<specific type>'.
Base class for declarations which introduce a typedef-name.
Represents a C++ unqualified-id that has been parsed.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Represents a variable declaration or definition.
Defines the clang::TargetInfo interface.
@ C
Languages that the frontend can parse and compile.
@ Result
The result type of a method or function.
ActionResult< Expr * > ExprResult
CastKind
CastKind - The kind of operation required for a conversion.
ActionResult< CXXBaseSpecifier * > BaseResult
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspnd...
void setLoc(SourceLocation L)
setLoc - Sets the main location of the declaration name.
void setName(DeclarationName N)
setName - Sets the embedded declaration name.
EvalResult is a struct with detailed info about an evaluated expression.
APValue Val
Val - This is the value the expression can be folded to.
bool isGlobalLValue() const
const std::string & getConstraintStr() const
unsigned getTiedOperand() const
bool allowsMemory() const
bool isValidAsmImmediate(const llvm::APInt &Value) const
bool requiresImmediateConstant() const
bool hasTiedOperand() const
Return true if this input operand is a matching constraint that ties it to an output operand.
bool allowsRegister() const