21#include "llvm/Support/SaveAndRestore.h"
32 if (
const auto *CE = dyn_cast_if_present<ConstantExpr>(E);
33 CE && CE->hasAPValueResult() &&
35 return CE->getResultAsAPSInt().getBoolValue();
57 if (NumElems > std::numeric_limits<unsigned>::max())
59 uint64_t Limit = LangOpts.ConstexprStepLimit;
60 return Limit != 0 && NumElems > Limit;
76 llvm_unreachable(
"Shouldn't be called");
142 this->
Ctx->emitDestroy(*
Idx, E);
149 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
150 this->
Ctx->Descriptors.emplace_back();
152 if constexpr (!std::is_same_v<Emitter, EvalEmitter>)
153 this->
Ctx->emitInitScope(*
Idx, {});
167 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
168 this->
Ctx->Descriptors.emplace_back();
169 if constexpr (!std::is_same_v<Emitter, EvalEmitter>)
170 this->
Ctx->emitInitScope(*
Idx, {});
181 if (
Local.Desc->hasTrivialDtor())
184 if (!
Local.EnabledByDefault) {
185 typename Emitter::LabelTy EndLabel = this->
Ctx->getLabel();
186 if (!this->
Ctx->emitGetLocalEnabled(
Local.Offset, E))
188 if (!this->
Ctx->jumpFalse(EndLabel, E))
191 if (!this->
Ctx->emitGetPtrLocal(
Local.Offset, E))
194 if (!this->
Ctx->emitDestructionPop(
Local.Desc,
Local.Desc->getLoc()))
197 this->
Ctx->fallthrough(EndLabel);
198 this->
Ctx->emitLabel(EndLabel);
200 if (!this->
Ctx->emitGetPtrLocal(
Local.Offset, E))
202 if (!this->
Ctx->emitDestructionPop(
Local.Desc,
Local.Desc->getLoc()))
221 if (
const auto *OVE =
222 llvm::dyn_cast_if_present<OpaqueValueExpr>(
Local.Desc->asExpr())) {
223 this->
Ctx->OpaqueExprs.erase(OVE);
235 OldArrayIndex = Ctx->ArrayIndex;
236 Ctx->ArrayIndex = Index;
243 std::optional<uint64_t> OldArrayIndex;
251 if (!Ctx->SourceLocDefaultExpr) {
253 Ctx->SourceLocDefaultExpr = DefaultExpr;
259 Ctx->SourceLocDefaultExpr =
nullptr;
264 bool Enabled =
false;
270 Ctx->InitStack.push_back(std::move(
Link));
282 : Ctx(Ctx), OldValue(Ctx->InitStackActive), Active(Active) {
285 Ctx->InitStackActive = OldValue || Active;
291 this->Ctx->InitStackActive = OldValue;
293 Ctx->InitStack.pop_back();
307 OldInitializingDecl(
Ctx->InitializingDecl) {
308 Ctx->InitializingDecl = VD;
313 this->
Ctx->InitializingDecl = OldInitializingDecl;
314 this->
Ctx->InitStack.pop_back();
319 const VarDecl *OldInitializingDecl;
327 bool NewInitializing,
bool NewToLValue)
328 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
329 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
330 Ctx->DiscardResult = NewDiscardResult;
331 Ctx->Initializing = NewInitializing;
332 Ctx->ToLValue = NewToLValue;
336 Ctx->DiscardResult = OldDiscardResult;
337 Ctx->Initializing = OldInitializing;
338 Ctx->ToLValue = OldToLValue;
345 bool OldDiscardResult;
346 bool OldInitializing;
350template <
class Emitter>
354 return Ctx->emitThis(E);
357 return Ctx->emitGetPtrFieldPop(
Offset, E);
359 return Ctx->emitGetPtrBasePop(
Offset,
false, E);
361 return Ctx->emitGetPtrLocal(
Offset, E);
365 if (!Ctx->emitConstUint32(
Offset, E))
367 return Ctx->emitArrayElemPtrPopUint32(E);
369 return Ctx->emitRVOPtr(E);
373 llvm_unreachable(
"Unhandled InitLink kind");
389 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
390 assert(LI.Name != Name);
393 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
414 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
416 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
417 assert(LI.Name != Name);
420 this->Ctx->CaseLabels = std::move(CaseLabels);
421 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
423 DefaultLabel, Ctx->VarScope);
427 this->Ctx->CaseLabels = std::move(OldCaseLabels);
428 this->Ctx->LabelInfoStack.pop_back();
433 CaseMap OldCaseLabels;
444 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
447 Ctx->LocOverride = NewValue;
452 Ctx->LocOverride = OldFlag;
457 std::optional<SourceInfo> OldFlag;
464template <
class Emitter>
472 case CK_LValueToRValue: {
480 if (!this->
visit(SubExpr))
482 return this->emitLoadPopL(E);
492 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
498 if (
auto GlobalIndex =
P.getGlobal(D))
499 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
500 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
501 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
502 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
503 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
504 return this->emitGetParam(*SubExprT, It->second.Index, E);
516 if (!this->emitGetPtrLocal(*LocalIndex, E))
520 if (!this->
visit(SubExpr))
524 return this->emitLoadPop(*SubExprT, E);
529 return this->emitMemcpy(E);
532 case CK_DerivedToBaseMemberPointer: {
543 ->getMostRecentCXXRecordDecl();
545 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
546 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
548 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
556 case CK_BaseToDerivedMemberPointer: {
567 ->getMostRecentCXXRecordDecl();
571 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
573 PathI != PathE; ++PathI) {
574 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
575 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
577 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
584 assert(ToDecl != CurDecl);
585 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
587 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
593 case CK_UncheckedDerivedToBase:
594 case CK_DerivedToBase: {
599 if (
const auto *PT = dyn_cast<PointerType>(Ty))
600 return PT->getPointeeType()->getAsCXXRecordDecl();
601 return Ty->getAsCXXRecordDecl();
608 if (B->isVirtual()) {
609 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
611 CurType = B->getType();
613 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
614 if (!this->emitGetPtrBasePop(
617 CurType = B->getType();
624 case CK_BaseToDerived: {
628 auto unwrapPointerType = [](
const Type *
T) ->
const Type * {
629 if (
T->isPointerOrReferenceType())
630 return T->getPointeeType().getTypePtr();
642 llvm::drop_begin(llvm::reverse(E->
path()))) {
643 const Type *TargetType = unwrapPointerType(B->getType().getTypePtr());
644 if (!this->emitGetPtrDerivedPop(NullOK, TargetType, FinalType, E))
648 return this->emitGetPtrDerivedPop(NullOK, FinalType, FinalType, E);
651 case CK_FloatingCast: {
654 return this->emitVectorConversion(E->
getSubExpr(), E);
658 if (!this->
visit(SubExpr))
660 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
664 case CK_IntegralToFloating: {
666 return this->emitVectorConversion(E->
getSubExpr(), E);
669 if (!this->
visit(SubExpr))
671 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
672 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
673 TargetSemantics, getFPOptions(E), E);
676 case CK_FloatingToBoolean: {
678 return this->emitVectorConversion(E->
getSubExpr(), E);
682 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
683 return this->emitConstBool(FL->getValue().isNonZero(), E);
684 if (!this->
visit(SubExpr))
686 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
689 case CK_FloatingToIntegral: {
691 return this->emitVectorConversion(E->
getSubExpr(), E);
694 if (!this->
visit(SubExpr))
698 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
701 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
704 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
707 case CK_NullToPointer:
708 case CK_NullToMemberPointer: {
711 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
716 case CK_PointerToIntegral: {
717 if (!this->
visit(SubExpr))
723 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
729 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
731 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
732 return this->emitCastPointerIntegral(
T, E);
735 case CK_ArrayToPointerDecay: {
736 if (!this->
visit(SubExpr))
738 return this->emitArrayDecay(E);
741 case CK_IntegralToPointer: {
743 assert(IntType->isIntegralOrEnumerationType());
744 if (!this->
visit(SubExpr))
758 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
761 case CK_AtomicToNonAtomic:
762 case CK_ConstructorConversion:
763 case CK_FunctionToPointerDecay:
764 case CK_NonAtomicToAtomic:
766 case CK_UserDefinedConversion:
767 case CK_CPointerToObjCPointerCast:
770 case CK_AddressSpaceConversion: {
774 if (!this->
visit(SubExpr))
779 Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
786 return this->emitPopPtr(E);
804 return this->emitBuiltinBitCast(E);
819 if (!this->
visit(SubExpr))
827 return this->emitFnPtrCast(E);
835 if (!this->
visit(SubExpr))
837 return this->emitDecayPtr(*FromT, *ToT, E);
839 case CK_IntegralToBoolean:
840 case CK_FixedPointToBoolean: {
842 return this->emitVectorConversion(E->
getSubExpr(), E);
848 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
849 return this->emitConst(IL->getValue(), E);
850 if (!this->
visit(SubExpr))
855 case CK_IntegralCast:
857 return this->emitVectorConversion(E->
getSubExpr(), E);
859 case CK_BooleanToSignedIntegral: {
866 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
871 if (!this->emitConst(IL->getValue(), SubExpr))
874 if (!this->
visit(SubExpr))
882 if (!ED->isFixed()) {
883 if (!this->emitCheckEnumValue(*FromT, ED, E))
889 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
892 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
897 if (!this->emitCast(*FromT, *ToT, E))
900 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
901 return this->emitNeg(*ToT, E);
905 case CK_PointerToBoolean:
906 if (!this->
visit(SubExpr))
908 return this->emitIsNonNullPtr(E);
910 case CK_MemberPointerToBoolean:
911 if (!this->
visit(SubExpr))
913 return this->emitIsNonNullMemberPtr(E);
915 case CK_IntegralComplexToBoolean:
916 case CK_FloatingComplexToBoolean: {
917 if (!this->
visit(SubExpr))
919 return this->emitComplexBoolCast(SubExpr);
922 case CK_IntegralComplexToReal:
923 case CK_FloatingComplexToReal:
924 return this->emitComplexReal(SubExpr);
926 case CK_IntegralRealToComplex:
927 case CK_FloatingRealToComplex: {
934 if (!this->emitGetPtrLocal(*LocalIndex, E))
943 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
945 return this->emitInitElem(
T, 1, SubExpr);
948 case CK_IntegralComplexCast:
949 case CK_FloatingComplexCast:
950 case CK_IntegralComplexToFloatingComplex:
951 case CK_FloatingComplexToIntegralComplex: {
958 if (!this->emitGetPtrLocal(*LocalIndex, E))
965 unsigned SubExprOffset =
967 if (!this->
visit(SubExpr))
969 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
977 for (
unsigned I = 0; I != 2; ++I) {
978 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
980 if (!this->emitArrayElemPop(SourceElemT, I, E))
984 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
988 if (!this->emitInitElem(DestElemT, I, E))
994 case CK_VectorSplat: {
1005 if (!this->emitGetPtrLocal(*LocalIndex, E))
1011 unsigned ElemOffset =
1015 if (!this->
visit(SubExpr))
1020 if (!this->emitSetLocal(ElemT, ElemOffset, E))
1023 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
1024 if (!this->emitGetLocal(ElemT, ElemOffset, E))
1026 if (!this->emitInitElem(ElemT, I, E))
1033 case CK_HLSLVectorTruncation: {
1038 if (!this->
visit(SubExpr))
1040 return this->emitArrayElemPop(*ResultT, 0, E);
1049 if (!this->emitGetPtrLocal(*LocalIndex, E))
1054 if (!this->
visit(SubExpr))
1056 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1060 case CK_IntegralToFixedPoint: {
1061 if (!this->
visit(SubExpr))
1065 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1070 return this->emitPopFixedPoint(E);
1073 case CK_FloatingToFixedPoint: {
1074 if (!this->
visit(SubExpr))
1078 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1079 if (!this->emitCastFloatingFixedPoint(Sem, E))
1082 return this->emitPopFixedPoint(E);
1085 case CK_FixedPointToFloating: {
1086 if (!this->
visit(SubExpr))
1088 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1089 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1092 return this->emitPopFloat(E);
1095 case CK_FixedPointToIntegral: {
1096 if (!this->
visit(SubExpr))
1099 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1102 return this->emitPop(IntegralT, E);
1105 case CK_FixedPointCast: {
1106 if (!this->
visit(SubExpr))
1109 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1110 if (!this->emitCastFixedPoint(Sem, E))
1113 return this->emitPopFixedPoint(E);
1121 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1123 case CK_LValueBitCast:
1128 case CK_HLSLArrayRValue: {
1135 if (!this->emitGetPtrLocal(*LocalIndex, E))
1138 if (!this->
visit(SubExpr))
1140 return this->emitMemcpy(E);
1143 case CK_HLSLMatrixTruncation: {
1148 if (!this->
visit(SubExpr))
1150 return this->emitArrayElemPop(*ResultT, 0, E);
1159 if (!this->emitGetPtrLocal(*LocalIndex, E))
1164 if (!this->
visit(SubExpr))
1166 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1170 case CK_HLSLAggregateSplatCast: {
1180 if (!this->emitGetPtrLocal(*LocalIndex, E))
1187 unsigned SrcOffset =
1190 if (!this->
visit(SubExpr))
1192 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1196 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1199 case CK_HLSLElementwiseCast: {
1210 unsigned SrcPtrOffset =
1212 if (!this->
visit(SubExpr))
1214 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1218 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1220 if (Elements.empty())
1223 const HLSLFlatElement &Src = Elements[0];
1224 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1226 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1233 if (!this->emitGetPtrLocal(*LocalIndex, E))
1237 unsigned SrcOffset =
1239 if (!this->
visit(SubExpr))
1241 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1245 unsigned ElemCount = countHLSLFlatElements(DestType);
1248 Elements.reserve(ElemCount);
1249 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1254 assert(Elements.size() == ElemCount &&
1255 "Source type has fewer scalar elements than the destination type");
1257 return emitHLSLConstructAggregate(DestType, Elements, E);
1264 const Record::Field *RF = R->getField(UnionField);
1267 if (!this->
visit(SubExpr))
1269 if (RF->isBitField())
1270 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1272 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1275 if (!this->emitGetPtrField(RF->Offset, E))
1277 if (!this->emitActivate(E))
1283 return this->emitInvalid(E);
1285 llvm_unreachable(
"Unhandled clang::CastKind enum");
1288template <
class Emitter>
1290 return this->emitBuiltinBitCast(E);
1293template <
class Emitter>
1298 return this->emitConst(
LE->getValue(),
LE);
1301template <
class Emitter>
1307 return this->emitFloat(F, E);
1310template <
class Emitter>
1320 if (!this->emitGetPtrLocal(*LocalIndex, E))
1327 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1329 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1334template <
class Emitter>
1342 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1347template <
class Emitter>
1352template <
class Emitter>
1379 return this->emitComplexComparison(LHS, RHS, E);
1387 if (!this->
visit(LHS))
1390 if (!this->
visit(RHS))
1393 if (!this->emitToMemberPtr(E))
1399 if (!this->emitCastMemberPtrPtr(E))
1416 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1422 if (!this->emitGetPtrLocal(*ResultIndex, E))
1429 return this->emitCMP3(*
LT, CmpInfo, E);
1432 if (!
LT || !RT || !
T)
1442 return this->visitAssignment(LHS, RHS, E);
1449 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1453 return this->emitPopBool(E);
1455 return this->emitCast(
PT_Bool, *
T, E);
1459 auto Discard = [
this,
T, E](
bool Result) {
1467 return MaybeCastToBool(this->emitEQ(*
LT, E));
1469 return MaybeCastToBool(this->emitNE(*
LT, E));
1471 return MaybeCastToBool(this->emitLT(*
LT, E));
1473 return MaybeCastToBool(this->emitLE(*
LT, E));
1475 return MaybeCastToBool(this->emitGT(*
LT, E));
1477 return MaybeCastToBool(this->emitGE(*
LT, E));
1480 return Discard(this->emitSubf(getFPOptions(E), E));
1481 return Discard(this->emitSub(*
T, E));
1484 return Discard(this->emitAddf(getFPOptions(E), E));
1485 return Discard(this->emitAdd(*
T, E));
1488 return Discard(this->emitMulf(getFPOptions(E), E));
1489 return Discard(this->emitMul(*
T, E));
1491 return Discard(this->emitRem(*
T, E));
1494 return Discard(this->emitDivf(getFPOptions(E), E));
1495 return Discard(this->emitDiv(*
T, E));
1497 return Discard(this->emitBitAnd(*
T, E));
1499 return Discard(this->emitBitOr(*
T, E));
1501 return Discard(this->emitShl(*
LT, *RT, E));
1503 return Discard(this->emitShr(*
LT, *RT, E));
1505 return Discard(this->emitBitXor(*
T, E));
1508 llvm_unreachable(
"Already handled earlier");
1513 llvm_unreachable(
"Unhandled binary op");
1518template <
class Emitter>
1524 if ((Op != BO_Add && Op != BO_Sub) ||
1535 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1536 if (!this->
visit(E))
1539 return this->emitDecayPtr(
T,
PT_Ptr, E);
1548 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1556 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1559 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1566 if (!visitAsPointer(RHS, *RT))
1568 if (!this->
visit(LHS))
1572 if (!visitAsPointer(LHS, *
LT))
1574 if (!this->
visit(RHS))
1585 if (!this->emitAddOffset(OffsetType, E))
1589 if (!this->emitSubOffset(OffsetType, E))
1598 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1603 return this->emitPop(ExprT, E);
1607template <
class Emitter>
1616 LabelTy LabelTrue = this->getLabel();
1617 LabelTy LabelEnd = this->getLabel();
1621 if (!this->jumpTrue(LabelTrue, E))
1626 if (!this->jump(LabelEnd, E))
1629 this->emitLabel(LabelTrue);
1630 this->emitConstBool(
true, E);
1631 this->fallthrough(LabelEnd);
1632 this->emitLabel(LabelEnd);
1635 assert(Op == BO_LAnd);
1638 LabelTy LabelFalse = this->getLabel();
1639 LabelTy LabelEnd = this->getLabel();
1643 if (!this->jumpFalse(LabelFalse, E))
1648 if (!this->jump(LabelEnd, E))
1651 this->emitLabel(LabelFalse);
1652 this->emitConstBool(
false, E);
1653 this->fallthrough(LabelEnd);
1654 this->emitLabel(LabelEnd);
1658 return this->emitPopBool(E);
1663 return this->emitCast(
PT_Bool,
T, E);
1668template <
class Emitter>
1675 if (!this->emitGetPtrLocal(*LocalIndex, E))
1684 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1685 unsigned ResultOffset = ~0u;
1691 if (!this->emitDupPtr(E))
1693 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1698 LHSType = AT->getValueType();
1701 RHSType = AT->getValueType();
1710 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1715 if (!this->
visit(LHS))
1717 if (!this->
visit(RHS))
1719 if (!this->emitMulc(ElemT, E))
1722 return this->emitPopPtr(E);
1726 if (Op == BO_Div && RHSIsComplex) {
1733 if (!LHSIsComplex) {
1738 LHSOffset = *LocalIndex;
1740 if (!this->emitGetPtrLocal(LHSOffset, E))
1743 if (!this->
visit(LHS))
1746 if (!this->emitInitElem(ElemT, 0, E))
1749 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1751 if (!this->emitInitElem(ElemT, 1, E))
1754 if (!this->
visit(LHS))
1758 if (!this->
visit(RHS))
1760 if (!this->emitDivc(ElemT, E))
1763 return this->emitPopPtr(E);
1770 if (!this->
visit(LHS))
1772 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1777 if (!this->
visit(LHS))
1779 if (!this->emitSetLocal(LHST, LHSOffset, E))
1787 if (!this->
visit(RHS))
1789 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1794 if (!this->
visit(RHS))
1796 if (!this->emitSetLocal(RHST, RHSOffset, E))
1803 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1804 unsigned ElemIndex,
unsigned Offset,
1805 const Expr *E) ->
bool {
1807 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1809 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1812 if (ElemIndex == 0 || !LoadZero)
1819 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1822 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1829 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1832 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1835 if (!this->emitAddf(getFPOptions(E), E))
1838 if (!this->emitAdd(ResultElemT, E))
1843 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1846 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1849 if (!this->emitSubf(getFPOptions(E), E))
1852 if (!this->emitSub(ResultElemT, E))
1857 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1860 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1864 if (!this->emitMulf(getFPOptions(E), E))
1867 if (!this->emitMul(ResultElemT, E))
1872 assert(!RHSIsComplex);
1873 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1876 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1880 if (!this->emitDivf(getFPOptions(E), E))
1883 if (!this->emitDiv(ResultElemT, E))
1894 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1897 if (!this->emitPop(ResultElemT, E))
1902 return this->emitPopPtr(E);
1908template <
class Emitter>
1913 "Comma op should be handled in VisitBinaryOperator");
1917 LHSType = AT->getValueType();
1920 RHSType = AT->getValueType();
1934 if (!this->emitGetPtrLocal(*LocalIndex, E))
1943 PrimType ElemT = this->classifyVectorElementType(LHSType);
1944 PrimType RHSElemT = this->classifyVectorElementType(RHSType);
1948 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1951 if (!this->
visit(LHS))
1953 if (!this->
visit(RHS))
1955 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1958 return this->emitPopPtr(E);
1963 unsigned LHSOffset =
1965 if (!this->
visit(LHS))
1967 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1971 unsigned RHSOffset =
1973 if (!this->
visit(RHS))
1975 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1987 if (NeedIntPromot) {
1989 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1994 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1995 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1997 if (!this->emitArrayElemPop(ElemT, Index, E))
2000 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
2002 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2004 }
else if (NeedIntPromot) {
2005 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
2011#define EMIT_ARITH_OP(OP) \
2013 if (ElemT == PT_Float) { \
2014 if (!this->emit##OP##f(getFPOptions(E), E)) \
2017 if (!this->emit##OP(ElemT, E)) \
2023 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
2024 if (!getElem(LHSOffset, ElemT, I))
2026 if (!getElem(RHSOffset, RHSElemT, I))
2038 if (!this->emitRem(ElemT, E))
2042 if (!this->emitBitAnd(OpT, E))
2046 if (!this->emitBitOr(OpT, E))
2050 if (!this->emitBitXor(OpT, E))
2054 if (!this->emitShl(OpT, RHSElemT, E))
2058 if (!this->emitShr(OpT, RHSElemT, E))
2062 if (!this->emitEQ(ElemT, E))
2066 if (!this->emitNE(ElemT, E))
2070 if (!this->emitLE(ElemT, E))
2074 if (!this->emitLT(ElemT, E))
2078 if (!this->emitGE(ElemT, E))
2082 if (!this->emitGT(ElemT, E))
2087 if (!this->emitBitAnd(ResultElemT, E))
2092 if (!this->emitBitOr(ResultElemT, E))
2096 return this->emitInvalid(E);
2105 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2107 if (!this->emitNeg(ResultElemT, E))
2113 if (NeedIntPromot &&
2114 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2118 if (!this->emitInitElem(ResultElemT, I, E))
2127template <
class Emitter>
2137 auto LHSSemaInt = LHSSema.toOpaqueInt();
2139 auto RHSSemaInt = RHSSema.toOpaqueInt();
2141 if (!this->
visit(LHS))
2149 if (!this->
visit(RHS))
2158 auto ConvertResult = [&](
bool R) ->
bool {
2162 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2163 if (ResultSema != CommonSema)
2164 return this->emitCastFixedPoint(ResultSema, E);
2168 auto MaybeCastToBool = [&](
bool Result) {
2173 return this->emitPop(
T, E);
2175 return this->emitCast(
PT_Bool,
T, E);
2181 return MaybeCastToBool(this->emitEQFixedPoint(E));
2183 return MaybeCastToBool(this->emitNEFixedPoint(E));
2185 return MaybeCastToBool(this->emitLTFixedPoint(E));
2187 return MaybeCastToBool(this->emitLEFixedPoint(E));
2189 return MaybeCastToBool(this->emitGTFixedPoint(E));
2191 return MaybeCastToBool(this->emitGEFixedPoint(E));
2193 return ConvertResult(this->emitAddFixedPoint(E));
2195 return ConvertResult(this->emitSubFixedPoint(E));
2197 return ConvertResult(this->emitMulFixedPoint(E));
2199 return ConvertResult(this->emitDivFixedPoint(E));
2201 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2203 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2206 return this->emitInvalid(E);
2209 llvm_unreachable(
"unhandled binop opcode");
2212template <
class Emitter>
2221 if (!this->
visit(SubExpr))
2223 if (!this->emitNegFixedPoint(E))
2226 return this->emitPopFixedPoint(E);
2232 llvm_unreachable(
"Unhandled unary opcode");
2235template <
class Emitter>
2244 return this->visitZeroInitializer(*
T, QT, E);
2257 return this->visitZeroRecordInitializer(R, E);
2264 return this->visitZeroArrayInitializer(QT, E);
2268 QualType ElemQT = ComplexTy->getElementType();
2270 for (
unsigned I = 0; I < 2; ++I) {
2271 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2273 if (!this->emitInitElem(ElemT, I, E))
2280 unsigned NumVecElements = VecT->getNumElements();
2281 QualType ElemQT = VecT->getElementType();
2284 for (
unsigned I = 0; I < NumVecElements; ++I) {
2285 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2287 if (!this->emitInitElem(ElemT, I, E))
2294 unsigned NumElems = MT->getNumElementsFlattened();
2295 QualType ElemQT = MT->getElementType();
2298 for (
unsigned I = 0; I != NumElems; ++I) {
2299 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2301 if (!this->emitInitElem(ElemT, I, E))
2310template <
class Emitter>
2323 for (
const Expr *SubExpr : {LHS, RHS}) {
2324 if (!this->
visit(SubExpr)) {
2331 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2332 if (!this->emitExpandPtr(E))
2343 return this->emitError(E);
2346 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2350 if (!this->emitArrayElemPtrPop(*IndexT, E))
2353 return this->emitPopPtr(E);
2359 return this->emitLoadPop(*
T, E);
2362template <
class Emitter>
2364 const Expr *ArrayFiller,
const Expr *E) {
2369 QT = AT->getValueType();
2372 if (
Inits.size() == 0)
2374 return this->emitInvalid(E);
2387 if (
Inits.size() == 0)
2388 return this->visitZeroInitializer(*
T, QT, E);
2389 assert(
Inits.size() == 1);
2403 if (!this->emitGetPtrLocal(*LocalIndex, E))
2418 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2424 if (
DefaultInit && !this->emitStartFieldInit(FieldToInit->Offset,
Init))
2433 bool BitField = FieldToInit->isBitField();
2435 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2436 FieldToInit->bitWidth(), E);
2438 return this->emitInitBitField(
T, FieldToInit->Offset,
2439 FieldToInit->bitWidth(), E);
2441 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2442 return this->emitInitField(
T, FieldToInit->Offset, E);
2445 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2453 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2456 if (
Activate && !this->emitActivate(E))
2459 if (!this->emitStartInit(
Init))
2466 if (
Inits.size() == 0) {
2467 if (!this->visitZeroRecordInitializer(R, E))
2472 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2473 FToInit = ILE->getInitializedFieldInUnion();
2477 const Record::Field *FieldToInit = R->getField(FToInit);
2479 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2482 if (!initCompositeField(FieldToInit,
Init,
true))
2486 return this->emitFinishInit(E);
2489 assert(!R->isUnion());
2490 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2492 const Record::Base *B = R->getBase(BI);
2495 if (!this->emitGetPtrBase(B->Offset,
Init))
2501 unsigned FieldIndex = 0;
2502 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2503 const Record::Field *FieldToInit = R->getField(FieldIndex);
2504 if (FieldToInit->isUnnamedBitField()) {
2519 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2521 }
else if (!initCompositeField(FieldToInit,
Init)) {
2529 assert(R->getNumVirtualBases() == 0);
2531 return this->emitFinishInit(E);
2536 Ctx.getASTContext().getAsConstantArrayType(QT);
2541 !this->emitCheckArrayDestSize(NumElems, E))
2544 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2548 unsigned ElementIndex = 0;
2550 if (
const auto *EmbedS =
2551 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2559 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2560 getFPOptions(E), E))
2566 return this->emitInitElem(TargetT, ElemIndex, IL);
2568 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2584 for (; ElementIndex != NumElems; ++ElementIndex) {
2590 return this->emitFinishInit(E);
2594 unsigned NumInits =
Inits.size();
2599 QualType ElemQT = ComplexTy->getElementType();
2601 if (NumInits == 0) {
2603 for (
unsigned I = 0; I < 2; ++I) {
2604 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2606 if (!this->emitInitElem(ElemT, I, E))
2609 }
else if (NumInits == 2) {
2610 unsigned InitIndex = 0;
2615 if (!this->emitInitElem(ElemT, InitIndex, E))
2624 unsigned NumVecElements = VecT->getNumElements();
2625 assert(NumVecElements >=
Inits.size());
2627 QualType ElemQT = VecT->getElementType();
2631 unsigned InitIndex = 0;
2638 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2639 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2640 InitVecT->getNumElements(), E))
2642 InitIndex += InitVecT->getNumElements();
2644 if (!this->emitInitElem(ElemT, InitIndex, E))
2650 assert(InitIndex <= NumVecElements);
2653 for (; InitIndex != NumVecElements; ++InitIndex) {
2654 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2656 if (!this->emitInitElem(ElemT, InitIndex, E))
2663 unsigned NumElems = MT->getNumElementsFlattened();
2664 assert(
Inits.size() == NumElems);
2666 QualType ElemQT = MT->getElementType();
2672 for (
unsigned I = 0; I != NumElems; ++I) {
2675 if (!this->emitInitElem(ElemT, I, E))
2686template <
class Emitter>
2693 return this->emitInitElem(*InitT, ElemIndex,
Init);
2699 if (!this->emitConstUint32(ElemIndex,
Init))
2701 if (!this->emitArrayElemPtrUint32(
Init))
2706template <
class Emitter>
2709 bool Activate,
bool IsOperatorCall) {
2711 llvm::BitVector NonNullArgs;
2712 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2715 bool ExplicitMemberFn =
false;
2716 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2717 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2719 unsigned ArgIndex = 0;
2720 for (
const Expr *Arg : Args) {
2722 if (!this->
visit(Arg))
2730 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2731 if (DeclIndex < FuncDecl->getNumParams())
2732 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2741 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2749 if (!this->emitActivate(Arg))
2753 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2756 if (!this->emitCheckNonNullArg(ArgT, Arg))
2767template <
class Emitter>
2772template <
class Emitter>
2778template <
class Emitter>
2784template <
class Emitter>
2802template <
class Emitter>
2804 auto It = E->
begin();
2805 return this->
visit(*It);
2809 UnaryExprOrTypeTrait Kind) {
2810 bool AlignOfReturnsPreferred =
2817 T = Ref->getPointeeType();
2819 if (
T.getQualifiers().hasUnaligned())
2825 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2831template <
class Emitter>
2835 UnaryExprOrTypeTrait Kind = E->
getKind();
2838 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2844 ArgType = Ref->getPointeeType();
2850 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2851 return this->emitInvalid(E);
2853 if (Kind == UETT_SizeOf)
2862 return this->emitConst(Size.getQuantity(), E);
2865 if (Kind == UETT_CountOf) {
2871 if (
const auto *CAT =
2875 return this->emitConst(CAT->getSize(), E);
2885 if (VAT->getElementType()->isArrayType()) {
2886 std::optional<APSInt> Res =
2888 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2893 return this->emitConst(*Res, E);
2898 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2918 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2921 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2931 return this->emitConst(Size.getQuantity(), E);
2934 if (Kind == UETT_VectorElements) {
2939 return this->emitConst(VT->getNumElements(), E);
2941 return this->emitSizelessVectorElementSize(E);
2944 if (Kind == UETT_VecStep) {
2946 unsigned N = VT->getNumElements();
2953 return this->emitConst(N, E);
2955 return this->emitConst(1, E);
2958 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2967 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2969 return this->emitInvalid(E);
2971 return this->emitConst(
2980template <
class Emitter>
2989 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2994 if (VD->getInit() && !VD->getInit()->isValueDependent())
2995 VD->evaluateValue();
2996 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2997 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2999 if (
Member->getType()->isReferenceType())
3000 return this->emitLoadPopPtr(E);
3009 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
3010 MD && !MD->isStatic()) {
3014 if (!this->
discard(Base) && !this->emitSideEffect(E))
3029 const Record::Field *F = R->getField(FD);
3033 const auto maybeLoadValue = [&]() ->
bool {
3037 return this->emitLoadPop(*
T, E);
3042 if (F->Decl->getType()->isReferenceType())
3043 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
3044 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
3047template <
class Emitter>
3057template <
class Emitter>
3067 return this->emitCheckArraySize(Size, E);
3073 if (!this->
visit(Common))
3075 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
3089 for (
size_t I = 0; I != Size; ++I) {
3101template <
class Emitter>
3116 return this->emitGetLocal(SubExprT, It->second, E);
3119 if (!this->
visit(SourceExpr))
3126 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3135 return this->emitGetLocal(SubExprT, LocalIndex, E);
3139template <
class Emitter>
3152 bool IsBcpCall =
false;
3153 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3154 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3158 LabelTy LabelEnd = this->getLabel();
3159 LabelTy LabelFalse = this->getLabel();
3162 if (!this->emitPushIgnoreDiags(E))
3170 if (this->checkingForUndefinedBehavior()) {
3173 if (!this->
discard(FalseExpr))
3190 if (!this->jumpFalse(LabelFalse, E))
3195 if (!this->jump(LabelEnd, E))
3197 this->emitLabel(LabelFalse);
3201 this->fallthrough(LabelEnd);
3202 this->emitLabel(LabelEnd);
3205 return this->emitPopIgnoreDiags(E);
3209template <
class Emitter>
3215 return this->emitGetStringPtr(E, E);
3219 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3220 assert(CAT &&
"a string literal that's not a constant array?");
3225 unsigned N = std::min(ArraySize, E->
getLength());
3228 for (
unsigned I = 0; I != N; ++I) {
3231 if (CharWidth == 1) {
3232 this->emitConstSint8(CodeUnit, E);
3233 this->emitInitElemSint8(I, E);
3234 }
else if (CharWidth == 2) {
3235 this->emitConstUint16(CodeUnit, E);
3236 this->emitInitElemUint16(I, E);
3237 }
else if (CharWidth == 4) {
3238 this->emitConstUint32(CodeUnit, E);
3239 this->emitInitElemUint32(I, E);
3241 llvm_unreachable(
"unsupported character width");
3246 for (
unsigned I = N; I != ArraySize; ++I) {
3247 if (CharWidth == 1) {
3248 this->emitConstSint8(0, E);
3249 this->emitInitElemSint8(I, E);
3250 }
else if (CharWidth == 2) {
3251 this->emitConstUint16(0, E);
3252 this->emitInitElemUint16(I, E);
3253 }
else if (CharWidth == 4) {
3254 this->emitConstUint32(0, E);
3255 this->emitInitElemUint32(I, E);
3257 llvm_unreachable(
"unsupported character width");
3264template <
class Emitter>
3268 return this->emitDummyPtr(E, E);
3271template <
class Emitter>
3273 auto &A =
Ctx.getASTContext();
3282template <
class Emitter>
3290 auto &A =
Ctx.getASTContext();
3294 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3295 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3301 return this->emitGetStringPtr(SL, E);
3304template <
class Emitter>
3308 return this->emitConst(E->
getValue(), E);
3311template <
class Emitter>
3333 if (!this->emitLoad(LHST, E))
3336 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3337 LHSComputationType, E))
3349 unsigned TempOffset =
3351 if (!this->emitSetLocal(*RT, TempOffset, E))
3357 if (!this->emitLoad(LHST, E))
3361 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3362 LHSComputationType, E))
3366 if (!this->emitGetLocal(*RT, TempOffset, E))
3372 if (!this->emitAddf(getFPOptions(E), E))
3376 if (!this->emitSubf(getFPOptions(E), E))
3380 if (!this->emitMulf(getFPOptions(E), E))
3384 if (!this->emitDivf(getFPOptions(E), E))
3395 return this->emitStorePop(LHST, E);
3396 return this->emitStore(LHST, E);
3399template <
class Emitter>
3408 if (Op != BO_AddAssign && Op != BO_SubAssign)
3417 if (!this->emitLoad(*
LT, LHS))
3423 if (Op == BO_AddAssign) {
3424 if (!this->emitAddOffset(*RT, E))
3427 if (!this->emitSubOffset(*RT, E))
3432 return this->emitStorePopPtr(E);
3433 return this->emitStorePtr(E);
3436template <
class Emitter>
3449 if (!
Ctx.getLangOpts().CPlusPlus14)
3450 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3452 if (!
LT || !RT || !ResultT || !LHSComputationT)
3469 if (!this->emitLoad(*
LT, E))
3471 if (
LT != LHSComputationT &&
3472 !this->emitIntegralCast(*
LT, *LHSComputationT,
3486 unsigned TempOffset =
3489 if (!this->emitSetLocal(*RT, TempOffset, E))
3496 if (!this->emitLoad(*
LT, E))
3498 if (
LT != LHSComputationT &&
3499 !this->emitIntegralCast(*
LT, *LHSComputationT,
3504 if (!this->emitGetLocal(*RT, TempOffset, E))
3511 if (!this->emitAdd(*LHSComputationT, E))
3515 if (!this->emitSub(*LHSComputationT, E))
3519 if (!this->emitMul(*LHSComputationT, E))
3523 if (!this->emitDiv(*LHSComputationT, E))
3527 if (!this->emitRem(*LHSComputationT, E))
3531 if (!this->emitShl(*LHSComputationT, *RT, E))
3535 if (!this->emitShr(*LHSComputationT, *RT, E))
3539 if (!this->emitBitAnd(*LHSComputationT, E))
3543 if (!this->emitBitXor(*LHSComputationT, E))
3547 if (!this->emitBitOr(*LHSComputationT, E))
3551 llvm_unreachable(
"Unimplemented compound assign operator");
3555 if (ResultT != LHSComputationT &&
3556 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3562 return this->emitStoreBitFieldPop(*ResultT, E);
3563 return this->emitStorePop(*ResultT, E);
3566 return this->emitStoreBitField(*ResultT, E);
3567 return this->emitStore(*ResultT, E);
3570template <
class Emitter>
3578template <
class Emitter>
3593 if (!
Ctx.getLangOpts().CPlusPlus11)
3600 for (
const Expr *LHS : CommaLHSs) {
3615 if (this->constantFolding())
3626 if (!this->
visit(Inner))
3631 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3634 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3637 return this->emitGetPtrGlobal(*GlobalIndex, E);
3640 if (!this->checkLiteralType(Inner))
3643 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3649 return this->emitInitGlobalTempComp(TempDecl, E);
3662 unsigned LocalIndex =
3664 if (!this->VarScope->LocalsAlwaysEnabled &&
3665 !this->emitEnableLocal(LocalIndex, E))
3668 if (!this->
visit(Inner))
3670 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3673 return this->emitGetPtrLocal(LocalIndex, E);
3676 if (!this->checkLiteralType(Inner))
3683 if (!this->VarScope->LocalsAlwaysEnabled &&
3684 !this->emitEnableLocal(*LocalIndex, E))
3687 if (!this->emitGetPtrLocal(*LocalIndex, E))
3694template <
class Emitter>
3705 if (!this->
visit(SubExpr))
3709 return this->emitPopPtr(E);
3713template <
class Emitter>
3734 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3739 if (
P.isGlobalInitialized(*GlobalIndex))
3745 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3757 unsigned LocalIndex;
3761 LocalIndex = *MaybeIndex;
3765 if (!this->emitGetPtrLocal(LocalIndex, E))
3769 return this->
visit(
Init) && this->emitInit(*
T, E);
3773template <
class Emitter>
3784 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3788 if (!R || R->getNumFields() == 0)
3790 const Record::Field *Field = R->getField(0
U);
3795 return this->emitInitField(*Field->T, Field->Offset, E);
3802template <
class Emitter>
3806 return this->emitConst(E->
getValue(), E);
3809template <
class Emitter>
3822 for (
const Record::Field &F : R->fields()) {
3824 if (!
Init ||
Init->containsErrors())
3832 if (!this->emitInitField(*
T, F.Offset, E))
3835 if (!this->emitGetPtrField(F.Offset, E))
3846template <
class Emitter>
3852 return this->emitGetStringPtr(E, E);
3856template <
class Emitter>
3861 return this->emitInvalid(E);
3864template <
class Emitter>
3878 if (!this->emitInvalidCast(
CastKind,
false, E))
3886 bool Fatal = (ToT != FromT);
3893template <
class Emitter>
3895 if (!
Ctx.getLangOpts().CPlusPlus20) {
3916 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3921 return this->emitPopPtr(E);
3925template <
class Emitter>
3931 return this->emitConstBool(E->
getValue(), E);
3934template <
class Emitter>
3939 if (
T->isRecordType()) {
3953 if (!this->emitGetPtrLocal(*LocalIndex, E))
3961 T->getAsCXXRecordDecl()))
3971 if (!this->visitZeroRecordInitializer(R, E))
3982 if (!this->emitDefaultInit(Ctor, E))
3985 return this->emitPopPtr(E);
3993 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3995 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3996 if (!this->emitCheckFunctionDecl(Ctor, E))
4007 assert(
Func->hasThisPointer());
4008 assert(!
Func->hasRVO());
4012 if (!this->emitDupPtr(E))
4016 for (
const auto *Arg : E->
arguments()) {
4017 if (!this->
visit(Arg))
4021 if (
Func->isVariadic()) {
4022 uint32_t VarArgSize = 0;
4023 unsigned NumParams =
Func->getNumWrittenParams();
4024 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
4028 if (!this->emitCallVar(
Func, VarArgSize, E))
4031 if (!this->emitCall(
Func, 0, E)) {
4036 (void)this->emitPopPtr(E);
4042 return this->emitPopPtr(E);
4046 if (
T->isArrayType()) {
4051 if (!this->emitDupPtr(E))
4055 initArrayDimension = [&](
QualType T) ->
bool {
4056 if (!
T->isArrayType()) {
4058 for (
const auto *Arg : E->
arguments()) {
4059 if (!this->
visit(Arg))
4063 return this->emitCall(
Func, 0, E);
4067 Ctx.getASTContext().getAsConstantArrayType(
T);
4073 return this->emitCheckArraySize(NumElems, E);
4074 for (uint64_t I = 0; I != NumElems; ++I) {
4075 if (!this->emitConstUint64(I, E))
4077 if (!this->emitArrayElemPtrUint64(E))
4079 if (!initArrayDimension(ElemTy))
4082 return this->emitPopPtr(E);
4085 return initArrayDimension(E->
getType());
4091template <
class Emitter>
4101 assert(Val.
isInt());
4103 return this->emitConst(I, E);
4110 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4111 return this->
visit(LValueExpr);
4126 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4130 const APValue &
V = UGCD->getValue();
4131 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4132 const Record::Field *F = R->getField(I);
4133 const APValue &FieldValue =
V.getStructField(I);
4137 if (!this->emitInitField(*F->T, F->Offset, E))
4145template <
class Emitter>
4151 for (
unsigned I = 0; I != N; ++I) {
4158 if (!this->
discard(ArrayIndexExpr))
4164 if (!this->
visit(ArrayIndexExpr))
4166 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4170 if (!this->
visit(ArrayIndexExpr))
4174 if (!this->emitCast(IndexT,
PT_Sint64, E))
4184 return this->emitOffsetOf(
T, E, E);
4187template <
class Emitter>
4196 return this->visitZeroInitializer(*
T, Ty, E);
4203 if (!this->emitGetPtrLocal(*LocalIndex, E))
4211 ElemQT = CT->getElementType();
4214 NumElems = VT->getNumElements();
4215 ElemQT = VT->getElementType();
4221 for (
unsigned I = 0; I != NumElems; ++I) {
4222 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4224 if (!this->emitInitElem(ElemT, I, E))
4233template <
class Emitter>
4238template <
class Emitter>
4244template <
class Emitter>
4249template <
class Emitter>
4254 return this->emitConst(E->
getValue(), E);
4257template <
class Emitter>
4279 unsigned ParamIndex = 0;
4283 if (!this->emitGetParam(PT, ParamIndex, E))
4288 return this->emitCall(F, 0, E);
4293template <
class Emitter>
4301 const Expr *PlacementDest =
nullptr;
4302 bool IsNoThrow =
false;
4307 if (PlacementArgs != 0) {
4316 if (PlacementArgs == 1) {
4318 if (OperatorNew->isReservedGlobalPlacementOperator()) {
4319 if (!this->emitCheckPlacementNew(E, E))
4321 PlacementDest = Arg1;
4325 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation()) {
4332 return this->emitInvalidNewDeleteExpr(E, E);
4336 return this->emitInvalid(E);
4338 }
else if (!OperatorNew
4339 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4340 return this->emitInvalidNewDeleteExpr(E, E);
4343 if (!PlacementDest) {
4348 Desc =
P.createDescriptor(E, *ElemT);
4350 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4357 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4361 const Expr *Stripped = *ArraySizeExpr;
4362 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4363 Stripped = ICE->getSubExpr())
4364 if (ICE->getCastKind() != CK_NoOp &&
4365 ICE->getCastKind() != CK_IntegralCast)
4373 if (!this->
visit(Stripped))
4375 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4378 if (PlacementDest) {
4379 if (!this->
visit(PlacementDest))
4381 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4383 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4386 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4391 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4395 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4402 size_t StaticInitElems = 0;
4403 const Expr *DynamicInit =
nullptr;
4407 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4408 StaticInitElems = CAT->getZExtSize();
4413 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4414 if (ILE->hasArrayFiller())
4415 DynamicInit = ILE->getArrayFiller();
4434 const Function *CtorFunc =
nullptr;
4435 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4439 }
else if (!DynamicInit && !ElemT)
4442 LabelTy EndLabel = this->getLabel();
4443 LabelTy StartLabel = this->getLabel();
4448 if (!this->emitDupPtr(E))
4450 if (!this->emitIsNonNullPtr(E))
4452 if (!this->jumpFalse(EndLabel, E))
4459 if (!this->emitConst(StaticInitElems,
SizeT, E))
4461 if (!this->emitSetLocal(
SizeT, Iter, E))
4464 this->fallthrough(StartLabel);
4465 this->emitLabel(StartLabel);
4467 if (!this->emitGetLocal(
SizeT, Iter, E))
4469 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4471 if (!this->emitLT(
SizeT, E))
4473 if (!this->jumpFalse(EndLabel, E))
4477 if (!this->emitGetLocal(
SizeT, Iter, E))
4479 if (!this->emitArrayElemPtr(
SizeT, E))
4482 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4487 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4489 if (!this->emitStorePop(*InitT, E))
4493 if (!this->visitZeroArrayInitializer(ElemType, E))
4496 }
else if (DynamicInit) {
4498 if (!this->
visit(DynamicInit))
4500 if (!this->emitStorePop(*InitT, E))
4507 if (!this->visitZeroInitializer(
4511 if (!this->emitStorePop(*ElemT, E))
4515 if (!this->emitCall(CtorFunc, 0, E))
4520 if (!this->emitGetPtrLocal(Iter, E))
4522 if (!this->emitIncPop(
SizeT,
false, E))
4525 if (!this->jump(StartLabel, E))
4528 this->fallthrough(EndLabel);
4529 this->emitLabel(EndLabel);
4533 if (PlacementDest) {
4534 if (!this->
visit(PlacementDest))
4536 if (!this->emitCheckNewTypeMismatch(E, E))
4541 if (!this->emitAlloc(Desc, E))
4550 if (!this->emitInit(*ElemT, E))
4561 return this->emitPopPtr(E);
4566template <
class Emitter>
4572 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4573 return this->emitInvalidNewDeleteExpr(E, E);
4582template <
class Emitter>
4588 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4593 return this->emitGetFnPtr(
Func, E);
4596template <
class Emitter>
4600 auto canonType = [](
const Type *
T) {
4601 return T->getCanonicalTypeUnqualified().getTypePtr();
4609 return this->emitGetTypeid(
4613 return this->emitGetTypeid(
4622 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4628 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4631 return this->emitPopPtr(E);
4635template <
class Emitter>
4639 return this->emitDummyPtr(E, E);
4640 return this->emitError(E);
4643template <
class Emitter>
4646 return this->emitDummyPtr(E, E);
4647 return this->emitError(E);
4650template <
class Emitter>
4657 assert(
false &&
"null reflection can't be constructed from parsing a "
4658 "reflection operand");
4666 assert(
false &&
"unknown or unimplemented reflection entities");
4670template <
class Emitter>
4672 assert(
Ctx.getLangOpts().CPlusPlus);
4673 return this->emitConstBool(E->
getValue(), E);
4676template <
class Emitter>
4688 return this->emitDummyPtr(GuidDecl, E);
4693 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4702 assert(
V.isStruct());
4703 assert(
V.getStructNumBases() == 0);
4707 return this->emitFinishInit(E);
4710template <
class Emitter>
4720template <
class Emitter>
4729template <
class Emitter>
4735template <
class Emitter>
4739 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4743 if (OVE->isUnique())
4759template <
class Emitter>
4764template <
class Emitter>
4766 return this->emitError(E);
4769template <
class Emitter>
4775 return this->emitDummyPtr(E, E);
4778template <
class Emitter>
4779bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4784 QualType ElemType = VT->getElementType();
4785 PrimType ElemT = classifyPrim(ElemType);
4787 PrimType SrcElemT = classifyVectorElementType(SrcType);
4793 if (!this->emitGetPtrLocal(*LocalIndex, E))
4797 unsigned SrcOffset =
4798 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4799 if (!this->visit(Src))
4801 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4804 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4805 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4807 if (!this->emitArrayElemPop(SrcElemT, I, E))
4811 if (SrcElemT != ElemT) {
4812 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4814 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4815 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4819 if (!this->emitInitElem(ElemT, I, E))
4825template <
class Emitter>
4827 return emitVectorConversion(E->
getSrcExpr(), E);
4830template <
class Emitter>
4834 return this->emitInvalid(E);
4843 assert(NumOutputElems > 0);
4849 if (!this->emitGetPtrLocal(*LocalIndex, E))
4854 unsigned VectorOffsets[2];
4855 for (
unsigned I = 0; I != 2; ++I) {
4858 if (!this->
visit(Vecs[I]))
4860 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4863 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4865 assert(ShuffleIndex >= -1);
4866 if (ShuffleIndex == -1)
4867 return this->emitInvalidShuffleVectorIndex(I, E);
4869 assert(ShuffleIndex < (NumInputElems * 2));
4870 if (!this->emitGetLocal(
PT_Ptr,
4871 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4873 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4874 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4877 if (!this->emitInitElem(ElemT, I, E))
4882 return this->emitPopPtr(E);
4887template <
class Emitter>
4892 Base->getType()->isVectorType() ||
4898 if (Indices.size() == 1) {
4903 if (!this->emitConstUint32(Indices[0], E))
4905 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4915 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4923 if (!this->emitGetPtrLocal(*ResultIndex, E))
4931 uint32_t DstIndex = 0;
4932 for (uint32_t I : Indices) {
4933 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4935 if (!this->emitArrayElemPop(ElemT, I, E))
4937 if (!this->emitInitElem(ElemT, DstIndex, E))
4947template <
class Emitter>
4951 return this->
discard(SubExpr) && this->emitInvalid(E);
4957 return this->emitDummyPtr(E, E);
4960template <
class Emitter>
4965 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4974 if (!this->emitGetPtrLocal(*LocalIndex, E))
4978 if (!this->
visit(SubExpr))
4980 if (!this->emitConstUint8(0, E))
4982 if (!this->emitArrayElemPtrPopUint8(E))
4984 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4987 PrimType SecondFieldT = *R->getField(1u)->T;
4989 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4991 if (!this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E))
4994 return this->emitPopPtr(E);
4997 assert(SecondFieldT ==
PT_Ptr);
4999 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
5001 if (!this->emitExpandPtr(E))
5005 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
5008 if (!this->emitInitFieldPtr(R->getField(1u)->Offset, E))
5011 return this->emitPopPtr(E);
5015template <
class Emitter>
5030 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
5034 return this->emitUnsupported(E);
5043 return this->
Visit(E);
5050 return this->
Visit(E);
5054 if (
const auto *PE = dyn_cast<ParenExpr>(E))
5057 if (
const auto *CE = dyn_cast<CastExpr>(E);
5059 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
5066 if (
const auto *PE = dyn_cast<ParenExpr>(E))
5069 if (
const auto *CE = dyn_cast<CastExpr>(E);
5070 CE && (CE->getCastKind() == CK_DerivedToBase ||
5071 CE->getCastKind() == CK_UncheckedDerivedToBase ||
5072 CE->getCastKind() == CK_NoOp))
5092 if (!this->emitGetPtrLocal(*LocalIndex, E))
5102 return this->
Visit(E);
5105template <
class Emitter>
5111 return this->
Visit(E) && this->emitFinishInit(E);
5114template <
class Emitter>
5120 return this->
Visit(E) && this->emitFinishInitPop(E);
5126 return this->
Visit(E);
5137 if (!this->
visit(E))
5139 return this->emitComplexBoolCast(E);
5144 if (!this->
visit(E))
5152 return this->emitIsNonNullPtr(E);
5156 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5159 return this->emitCast(*
T,
PT_Bool, E);
5162template <
class Emitter>
5166 QT = AT->getValueType();
5170 return this->emitZeroBool(E);
5172 return this->emitZeroSint8(E);
5174 return this->emitZeroUint8(E);
5176 return this->emitZeroSint16(E);
5178 return this->emitZeroUint16(E);
5180 return this->emitZeroSint32(E);
5182 return this->emitZeroUint32(E);
5184 return this->emitZeroSint64(E);
5186 return this->emitZeroUint64(E);
5188 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5190 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5192 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5195 return this->emitNullMemberPtr(0,
nullptr, E);
5197 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5198 return this->emitFloat(F, E);
5201 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5207 llvm_unreachable(
"unknown primitive type");
5210template <
class Emitter>
5211bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5213 bool IsCompleteClass) {
5217 for (
const Record::Field &Field :
R->fields()) {
5218 if (Field.isUnnamedBitField())
5225 if (!this->visitZeroInitializer(
T, QT, E))
5228 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5232 if (!this->emitInitField(
T, Field.Offset, E))
5237 if (!this->emitGetPtrField(Field.Offset, E))
5244 if (!this->visitZeroInitializer(
T, ET, E))
5246 if (!this->emitInitElem(
T, I, E))
5251 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5254 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5262 if (!this->emitFinishInitActivatePop(E))
5266 if (!this->emitFinishInitPop(E))
5270 for (
const Record::Base &B :
R->bases()) {
5271 if (!this->emitGetPtrBase(B.Offset, E))
5273 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5275 if (!this->emitFinishInitPop(E))
5279 if (IsCompleteClass) {
5280 for (
const Record::Base &B :
R->virtual_bases()) {
5283 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5285 if (!this->emitFinishInitPop(E))
5293template <
class Emitter>
5294bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5295 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5296 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5301 for (
size_t I = 0; I != NumElems; ++I) {
5302 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5304 if (!this->emitInitElem(*ElemT, I, E))
5310 const Record *
R = getRecord(ElemType);
5314 for (
size_t I = 0; I != NumElems; ++I) {
5315 if (!this->emitConstUint32(I, E))
5317 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5319 if (!this->visitZeroRecordInitializer(R, E))
5321 if (!this->emitPopPtr(E))
5327 for (
size_t I = 0; I != NumElems; ++I) {
5328 if (!this->emitConstUint32(I, E))
5330 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5332 if (!this->visitZeroArrayInitializer(ElemType, E))
5334 if (!this->emitPopPtr(E))
5343template <
class Emitter>
5344bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5346 if (!canClassify(E->
getType()))
5351 if (!this->visit(LHS))
5353 if (!this->visit(RHS))
5356 if (!this->visit(RHS))
5358 if (!this->visit(LHS))
5366 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5370 bool Activates = refersToUnion(LHS);
5373 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5376 if (DiscardResult) {
5377 if (BitField && Activates)
5378 return this->emitStoreBitFieldActivatePop(RHT, E);
5380 return this->emitStoreBitFieldPop(RHT, E);
5382 return this->emitStoreActivatePop(RHT, E);
5384 return this->emitStorePop(RHT, E);
5387 auto maybeLoad = [&](
bool Result) ->
bool {
5393 return this->emitLoadPop(RHT, E);
5397 if (BitField && Activates)
5398 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5400 return maybeLoad(this->emitStoreBitField(RHT, E));
5402 return maybeLoad(this->emitStoreActivate(RHT, E));
5404 return maybeLoad(this->emitStore(RHT, E));
5407template <
class Emitter>
5408template <
typename T>
5412 return this->emitConstSint8(
Value, Info);
5414 return this->emitConstUint8(
Value, Info);
5416 return this->emitConstSint16(
Value, Info);
5418 return this->emitConstUint16(
Value, Info);
5420 return this->emitConstSint32(
Value, Info);
5422 return this->emitConstUint32(
Value, Info);
5424 return this->emitConstSint64(
Value, Info);
5426 return this->emitConstUint64(
Value, Info);
5428 return this->emitConstBool(
Value, Info);
5436 llvm_unreachable(
"Invalid integral type");
5439 llvm_unreachable(
"unknown primitive type");
5442template <
class Emitter>
5443template <
typename T>
5444bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5445 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5448template <
class Emitter>
5452 return this->emitConstIntAPS(
Value, Info);
5454 return this->emitConstIntAP(
Value, Info);
5456 if (
Value.isSigned())
5457 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5458 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5461template <
class Emitter>
5465 return this->emitConstIntAPS(
Value, Info);
5467 return this->emitConstIntAP(
Value, Info);
5470 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5471 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5474template <
class Emitter>
5475bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5476 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5479template <
class Emitter>
5494 return Local.Offset;
5497template <
class Emitter>
5502 bool IsTemporary =
false;
5506 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5507 Init = VarD->getInit();
5509 if (
const auto *E = Src.
asExpr()) {
5519 return std::nullopt;
5526 return Local.Offset;
5529template <
class Emitter>
5538 return std::nullopt;
5548 return Local.Offset;
5551template <
class Emitter>
5553 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5554 return PT->getPointeeType()->getAsCanonical<RecordType>();
5560 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5564template <
class Emitter>
5566 return P.getOrCreateRecord(RD);
5569template <
class Emitter>
5571 return Ctx.getOrCreateFunction(FD);
5574template <
class Emitter>
5580 auto maybeDestroyLocals = [&]() ->
bool {
5581 if (DestroyToplevelScope)
5582 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5583 return this->emitCheckAllocations(E);
5590 return this->emitRetVoid(E) && maybeDestroyLocals();
5598 return this->emitRet(*
T, E) && maybeDestroyLocals();
5606 if (!this->emitGetPtrLocal(*LocalOffset, E))
5614 return this->emitRetValue(E) && maybeDestroyLocals();
5617 return maybeDestroyLocals() &&
false;
5620template <
class Emitter>
5622 bool DestroyToplevelScope) {
5626 return this->
visitExpr(E, DestroyToplevelScope);
5629template <
class Emitter>
5641 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5642 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5656template <
class Emitter>
5658 bool ConstantContext) {
5661 if (!ConstantContext) {
5676 auto GlobalIndex =
P.getGlobal(VD);
5677 assert(GlobalIndex);
5679 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5682 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5690 if (!this->emitGetRefLocal(
Local->second.Offset, VD))
5692 }
else if (!this->emitGetLocal(*VarT,
Local->second.Offset, VD))
5695 if (!this->emitGetPtrLocal(
Local->second.Offset, VD))
5705 auto GlobalIndex =
P.getGlobal(VD);
5706 assert(GlobalIndex);
5707 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5716 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5719template <
class Emitter>
5730 if (!this->isActive())
5735 if (
Init &&
Init->isValueDependent())
5739 auto checkDecl = [&]() ->
bool {
5741 return !NeedsOp || this->emitCheckDecl(VD, VD);
5748 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5751 if (
P.isGlobalInitialized(*GlobalIndex))
5755 }
else if ((GlobalIndex =
5770 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5773 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5776 if (!this->emitStartInit(
Init))
5782 if (!this->emitEndInit(
Init))
5785 return this->emitFinishInitGlobal(
Init);
5795 if (!
Init ||
Init->getType()->isVoidType())
5804 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5816 if (!this->emitCheckRefInit(
Init))
5820 return this->emitSetLocal(*VarT, Offset, VD);
5828 if (!this->emitGetPtrLocal(*Offset,
Init))
5836template <
class Emitter>
5859 if (!this->emitGetPtrLocal(
Local.Offset, VD))
5865 return this->emitDestructionPop(D, VD);
5874 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5898template <
class Emitter>
5913 unsigned ParamIndex = 0;
5920 const Expr *Arg = Args[ParamIndex];
5921 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5923 unsigned ArgOffset =
5925 if (!this->
visit(Arg))
5927 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5933 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5945 if (
This->getType()->isPointerType()) {
5948 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5955 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5977template <
class Emitter>
5983 return this->emitConst(Val.
getInt(), ValType, Info);
5985 return this->emitFloat(Val.
getFloat(), Info);
5989 if (!this->emitGetMemberPtr(MemberDecl, Info))
5995 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
6001 return this->emitNullMemberPtr(0,
nullptr, Info);
6006 return this->emitNull(ValType, 0,
nullptr, Info);
6010 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>()) {
6011 if (!this->
visit(BaseExpr))
6013 EntryType = BaseExpr->getType();
6014 }
else if (
const auto *VD =
Base.dyn_cast<
const ValueDecl *>()) {
6017 EntryType = VD->getType();
6022 ->getCanonicalTypeUnqualified()
6024 EntryType =
Base.getTypeInfoType();
6025 if (!this->emitGetTypeid(OperandType, EntryType.
getTypePtr(), Info))
6033 ?
Ctx.getASTContext().getPointerType(E->
getType())
6036 if (!this->emitConstUint64(Offset, Info))
6038 if (!this->emitGetIntPtrUint64(PtrType.
getTypePtr(), Info))
6048 uint64_t Index = Entry.getAsArrayIndex();
6051 if (!this->emitConst(Index,
PT_Uint64, Info))
6053 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
6055 EntryType = ElemType;
6062 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
6063 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
6065 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
6067 EntryType = FD->getType();
6071 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
6076 if (!this->emitGetPtrVirtBasePop(
Base, Info))
6079 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
6094 uint32_t BitWidth =
Ctx.getBitWidth(E->
getType());
6096 ? this->emitCastPointerIntegralAP(BitWidth, Info)
6097 : this->emitCastPointerIntegralAPS(BitWidth, Info);
6099 return this->emitCastPointerIntegral(ValType, Info);
6105template <
class Emitter>
6108 bool IsCompleteClass) {
6114 if (IsCompleteClass)
6121 const Record::Base *RB = R->getBase(I);
6122 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6124 if (!this->emitGetPtrBase(RB->Offset, Info))
6129 if (!this->emitFinishInitPop(Info))
6137 const Record::Field *RF = R->getField(I);
6138 QualType FieldType = RF->Decl->getType();
6143 if (!this->emitInitField(*PT, RF->Offset, Info))
6146 if (!this->emitGetPtrField(RF->Offset, Info))
6150 if (!this->emitFinishInitPop(Info))
6156 if (IsCompleteClass) {
6161 const Record::Base *RB = R->getVirtualBase(I);
6162 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6170 if (!this->emitFinishInitPop(Info))
6186 const Record::Field *RF = R->getField(UnionField);
6187 QualType FieldType = RF->Decl->getType();
6192 if (RF->isBitField())
6193 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6195 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6198 if (!this->emitGetPtrField(RF->Offset, Info))
6200 if (!this->emitActivate(Info))
6204 return this->emitPopPtr(Info);
6208 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6209 QualType ElemType = ArrType->getElementType();
6212 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6213 const APValue &Elem = A >= InitializedElems
6222 if (!this->emitInitElem(*ElemT, A, Info))
6225 if (!this->emitConstUint32(A, Info))
6227 if (!this->emitArrayElemPtrUint32(Info))
6231 if (!this->emitPopPtr(Info))
6242template <
class Emitter>
6244 if (
P.getGlobal(VD))
6249 llvm_unreachable(
"Why didn't that work?");
6253 "registerRedecl should only be called with primitive values");
6258 return this->emitInitGlobal(
T, *GlobalIndex, {});
6261template <
class Emitter>
6263 unsigned BuiltinID) {
6269 if (!
Ctx.getASTContext().BuiltinInfo.isConstantEvaluated(BuiltinID))
6270 return this->emitInvalid(E);
6279 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6284 return this->emitConst(0, E);
6287 if (!this->emitStartSpeculation(E))
6289 LabelTy EndLabel = this->getLabel();
6290 if (!this->speculate(E, EndLabel))
6292 if (!this->emitEndSpeculation(E))
6294 this->fallthrough(EndLabel);
6302 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6303 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6304 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6305 BuiltinID == Builtin::BI__builtin_function_start) {
6308 return this->emitDummyPtr(E, E);
6319 if (!this->emitGetPtrLocal(*LocalIndex, E))
6324 switch (BuiltinID) {
6325 case Builtin::BI__builtin_object_size:
6326 case Builtin::BI__builtin_dynamic_object_size: {
6330 if (!this->
visit(Arg0))
6341 case Builtin::BI__assume:
6342 case Builtin::BI__builtin_assume:
6345 case Builtin::BI__atomic_is_lock_free:
6346 case Builtin::BI__atomic_always_lock_free: {
6357 for (
const auto *Arg : E->
arguments()) {
6358 if (!this->
visit(Arg))
6364 if (!this->emitCallBI(E, BuiltinID, E))
6382template <
class Emitter>
6403 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6404 DD && DD->isTrivial()) {
6406 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6408 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6409 this->emitPopPtr(E);
6415 bool ActivateLHS =
false;
6423 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6424 OCE && OCE->isAssignmentOp()) {
6425 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6428 if (
const auto *MCE = dyn_cast<CXXMemberCallExpr>(E))
6429 if (!this->
visit(MCE->getImplicitObjectArgument()))
6436 if (!this->emitTrivialCopy(ActivateLHS,
Func, E))
6454 if (!this->emitGetPtrLocal(*LocalIndex, E))
6462 if (!this->emitGetPtrLocal(*LocalIndex, E))
6466 if (!this->emitDupPtr(E))
6471 const Expr *ReversedArgs[2];
6472 bool IsAssignmentOperatorCall =
false;
6473 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6474 OCE && OCE->isAssignmentOp()) {
6478 assert(Args.size() == 2);
6479 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6481 IsAssignmentOperatorCall =
true;
6482 ReversedArgs[0] = Args[1];
6483 ReversedArgs[1] = Args[0];
6484 Args = ReversedArgs;
6491 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6492 MD && MD->isStatic()) {
6496 Args = Args.drop_front();
6500 bool Devirtualized =
false;
6503 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6511 if (!this->
visit(Callee))
6513 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6515 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6517 if (!this->emitGetMemberPtrBase(E))
6520 const auto *InstancePtr = MC->getImplicitObjectArgument();
6527 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6528 Devirtualized =
true;
6529 if (!this->
visit(Stripped))
6532 if (!this->
visit(InstancePtr))
6536 if (!this->
visit(InstancePtr))
6540 }
else if (
const auto *PD =
6541 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6542 if (!this->emitCheckPseudoDtor(E))
6550 return this->emitPseudoDtor(E);
6551 }
else if (!FuncDecl) {
6555 if (!this->
visit(Callee))
6557 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6566 if (IsAssignmentOperatorCall) {
6567 assert(Args.size() == 2);
6570 if (!this->emitFlip(Arg2T, Arg1T, E))
6584 assert(HasRVO ==
Func->hasRVO());
6586 bool HasQualifier =
false;
6587 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6588 HasQualifier = ME->hasQualifier();
6590 bool IsVirtual =
false;
6591 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6592 IsVirtual = !Devirtualized && MD->isVirtual();
6597 if (IsVirtual && !HasQualifier) {
6598 uint32_t VarArgSize = 0;
6599 unsigned NumParams =
6600 Func->getNumWrittenParams() +
6602 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6605 if (!this->emitCallVirt(
Func, VarArgSize, E))
6607 }
else if (
Func->isVariadic()) {
6608 uint32_t VarArgSize = 0;
6609 unsigned NumParams =
6610 Func->getNumWrittenParams() +
6612 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6614 if (!this->emitCallVar(
Func, VarArgSize, E))
6617 if (!this->emitCall(
Func, 0, E))
6626 uint32_t ArgSize = 0;
6627 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6633 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6635 if (!this->emitGetMemberPtrDecl(E))
6638 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6641 if (!this->emitCallPtr(ArgSize, E, E))
6652template <
class Emitter>
6659template <
class Emitter>
6666template <
class Emitter>
6671 return this->emitConstBool(E->
getValue(), E);
6674template <
class Emitter>
6680 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6681 return this->emitNullPtr(Val,
nullptr, E);
6684template <
class Emitter>
6692 return this->emitZero(
T, E);
6695template <
class Emitter>
6700 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6701 if (this->LambdaThisCapture.Offset > 0) {
6702 if (this->LambdaThisCapture.IsPtr)
6703 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6704 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6713 return this->emitThis(E);
6728 unsigned StartIndex = 0;
6729 unsigned EndIndex = 0;
6731 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6733 EndIndex = StartIndex;
6740 for (; StartIndex > 0; --StartIndex) {
6751 if (StartIndex == 0 && EndIndex == 0)
6762 assert(StartIndex <= EndIndex);
6765 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6777 case Stmt::CompoundStmtClass:
6779 case Stmt::DeclStmtClass:
6781 case Stmt::ReturnStmtClass:
6783 case Stmt::IfStmtClass:
6785 case Stmt::WhileStmtClass:
6787 case Stmt::DoStmtClass:
6789 case Stmt::ForStmtClass:
6791 case Stmt::CXXForRangeStmtClass:
6793 case Stmt::BreakStmtClass:
6795 case Stmt::ContinueStmtClass:
6797 case Stmt::SwitchStmtClass:
6799 case Stmt::CaseStmtClass:
6801 case Stmt::DefaultStmtClass:
6803 case Stmt::AttributedStmtClass:
6805 case Stmt::CXXTryStmtClass:
6807 case Stmt::NullStmtClass:
6810 case Stmt::GCCAsmStmtClass:
6811 case Stmt::MSAsmStmtClass:
6812 case Stmt::GotoStmtClass:
6813 return this->emitInvalid(S);
6814 case Stmt::LabelStmtClass:
6816 case Stmt::CXXExpansionStmtInstantiationClass:
6820 if (
const auto *E = dyn_cast<Expr>(S))
6827template <
class Emitter>
6830 for (
const auto *InnerStmt : S->
body())
6833 return Scope.destroyLocals();
6836template <
class Emitter>
6837bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6838 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6839 for (
auto *BD : DD->flat_bindings())
6840 if (
auto *KD = BD->getHoldingVar();
6841 KD && !this->visitVarDecl(KD, KD->getInit()))
6855template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6857 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6858 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6865 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6870 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6871 ICE && (ICE->getCastKind() == CK_NoOp ||
6872 ICE->getCastKind() == CK_DerivedToBase ||
6873 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6874 E = ICE->getSubExpr();
6878 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6879 const auto *ThisRecord =
6880 This->getType()->getPointeeType()->getAsRecordDecl();
6881 if (!ThisRecord->isUnion())
6884 if (
const auto *Ctor =
6885 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6886 return Ctor->getParent() == ThisRecord;
6895template <
class Emitter>
6897 bool EvaluateConditionDecl) {
6898 for (
const auto *D : DS->
decls()) {
6903 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6904 assert(ESD->getInstantiations() &&
"not expanded?");
6905 if (!this->
visitStmt(ESD->getInstantiations()))
6910 const auto *VD = dyn_cast<VarDecl>(D);
6917 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6924template <
class Emitter>
6927 return this->emitUnsupported(RS);
6933 if (!this->
visit(RE))
6939 if (RE->getType()->isVoidType()) {
6940 if (!this->
visit(RE))
6943 if (RE->containsErrors())
6948 if (!this->emitRVOPtr(RE))
6954 return this->emitRetVoid(RS);
6960 return this->emitRetVoid(RS);
6966 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6973 if (
auto *CondInit = IS->
getInit()) {
6989 return visitChildStmt(IS->
getThen());
6991 return visitChildStmt(Else);
6997 if (!this->emitIsConstantContext(IS))
7000 if (!this->emitIsConstantContext(IS))
7002 if (!this->emitInv(IS))
7016 LabelTy LabelElse = this->getLabel();
7017 LabelTy LabelEnd = this->getLabel();
7018 if (!this->jumpFalse(LabelElse, IS))
7020 if (!visitChildStmt(IS->
getThen()))
7022 if (!this->jump(LabelEnd, IS))
7024 this->emitLabel(LabelElse);
7025 if (!visitChildStmt(Else))
7027 this->emitLabel(LabelEnd);
7029 LabelTy LabelEnd = this->getLabel();
7030 if (!this->jumpFalse(LabelEnd, IS))
7032 if (!visitChildStmt(IS->
getThen()))
7034 this->emitLabel(LabelEnd);
7043template <
class Emitter>
7048 LabelTy CondLabel = this->getLabel();
7049 LabelTy EndLabel = this->getLabel();
7053 this->fallthrough(CondLabel);
7054 this->emitLabel(CondLabel);
7070 if (!this->jumpFalse(EndLabel, S))
7080 if (!this->jump(CondLabel, S))
7082 this->fallthrough(EndLabel);
7083 this->emitLabel(EndLabel);
7092 LabelTy StartLabel = this->getLabel();
7093 LabelTy EndLabel = this->getLabel();
7094 LabelTy CondLabel = this->getLabel();
7098 this->fallthrough(StartLabel);
7099 this->emitLabel(StartLabel);
7105 this->fallthrough(CondLabel);
7106 this->emitLabel(CondLabel);
7113 if (!this->jumpTrue(StartLabel, S))
7116 this->fallthrough(EndLabel);
7117 this->emitLabel(EndLabel);
7121template <
class Emitter>
7129 LabelTy EndLabel = this->getLabel();
7130 LabelTy CondLabel = this->getLabel();
7131 LabelTy IncLabel = this->getLabel();
7138 this->fallthrough(CondLabel);
7139 this->emitLabel(CondLabel);
7151 if (!this->jumpFalse(EndLabel, S))
7160 this->fallthrough(IncLabel);
7161 this->emitLabel(IncLabel);
7167 if (!this->jump(CondLabel, S))
7171 this->emitLabel(EndLabel);
7177template <
class Emitter>
7187 LabelTy EndLabel = this->getLabel();
7188 LabelTy CondLabel = this->getLabel();
7189 LabelTy IncLabel = this->getLabel();
7205 this->fallthrough(CondLabel);
7206 this->emitLabel(CondLabel);
7209 if (!this->jumpFalse(EndLabel, S))
7220 this->fallthrough(IncLabel);
7221 this->emitLabel(IncLabel);
7228 if (!this->jump(CondLabel, S))
7231 this->fallthrough(EndLabel);
7232 this->emitLabel(EndLabel);
7236template <
class Emitter>
7247 if (LI.BreakLabel) {
7248 TargetLabel = *LI.BreakLabel;
7249 BreakScope = LI.BreakOrContinueScope;
7255 if (LI.Name == TargetLoop) {
7256 TargetLabel = *LI.BreakLabel;
7257 BreakScope = LI.BreakOrContinueScope;
7268 C =
C->getParent()) {
7269 if (!
C->destroyLocals())
7273 return this->jump(*TargetLabel, S);
7276template <
class Emitter>
7287 if (LI.ContinueLabel) {
7288 TargetLabel = *LI.ContinueLabel;
7289 ContinueScope = LI.BreakOrContinueScope;
7295 if (LI.Name == TargetLoop) {
7296 TargetLabel = *LI.ContinueLabel;
7297 ContinueScope = LI.BreakOrContinueScope;
7307 C =
C->getParent()) {
7308 if (!
C->destroyLocals())
7312 return this->jump(*TargetLabel, S);
7315template <
class Emitter>
7325 LabelTy EndLabel = this->getLabel();
7330 if (
const auto *CondInit = S->
getInit())
7339 if (!this->
visit(Cond))
7341 if (!this->emitSetLocal(CondT, CondVar, S))
7351 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7354 if (CS->caseStmtIsGNURange()) {
7355 LabelTy EndOfRangeCheck = this->getLabel();
7356 const Expr *Low = CS->getLHS();
7357 const Expr *High = CS->getRHS();
7361 if (!this->emitGetLocal(CondT, CondVar, CS))
7363 if (!this->
visit(Low))
7366 if (!this->emitGE(
LT, S))
7368 if (!this->jumpFalse(EndOfRangeCheck, S))
7371 if (!this->emitGetLocal(CondT, CondVar, CS))
7373 if (!this->
visit(High))
7376 if (!this->emitLE(HT, S))
7380 this->emitLabel(EndOfRangeCheck);
7385 if (
Value->isValueDependent())
7390 if (!this->emitGetLocal(CondT, CondVar, CS))
7396 if (!this->emitEQ(ValueT, S))
7401 assert(!DefaultLabel);
7402 DefaultLabel = this->getLabel();
7409 if (!this->jump(*DefaultLabel, S))
7412 if (!this->jump(EndLabel, S))
7420 this->fallthrough(EndLabel);
7421 this->emitLabel(EndLabel);
7426template <
class Emitter>
7434 return this->emitUnsupported(S);
7439template <
class Emitter>
7446 if (LI.DefaultLabel) {
7447 DefaultLabel = *LI.DefaultLabel;
7452 this->emitLabel(DefaultLabel);
7456template <
class Emitter>
7463 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7466 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7467 !this->Ctx.getLangOpts().MSVCCompat) {
7469 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7475 const Expr *Assumption = AA->getAssumption();
7486 if (!this->emitAssume(Assumption))
7495 if (IsMSVCConstexprAttr)
7496 return this->emitPopMSVCCE(S);
7500template <
class Emitter>
7513template <
class Emitter>
7523 LabelTy EndLabel = this->getLabel();
7525 LabelTy ContinueLabel = this->getLabel();
7530 this->emitLabel(ContinueLabel);
7533 this->emitLabel(EndLabel);
7538template <
class Emitter>
7539bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7546 assert(ClosureClass->
captures().empty());
7550 "A generic lambda's static-invoker function must be a "
7551 "template specialization");
7555 llvm::FoldingSetInsertToken InsertToken;
7556 const FunctionDecl *CorrespondingCallOpSpecialization =
7558 assert(CorrespondingCallOpSpecialization);
7559 LambdaCallOp = CorrespondingCallOpSpecialization;
7563 assert(ClosureClass->
captures().empty());
7564 const Function *
Func = this->getFunction(LambdaCallOp);
7567 assert(
Func->hasThisPointer());
7570 if (
Func->hasRVO()) {
7571 if (!this->emitRVOPtr(MD))
7579 if (!this->emitNullPtr(0,
nullptr, MD))
7584 auto It = this->Params.find(PVD);
7585 assert(It != this->Params.end());
7589 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7590 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7594 if (!this->emitCall(
Func, 0, LambdaCallOp))
7599 return this->emitRet(*ReturnType, MD);
7602 return this->emitRetVoid(MD);
7605template <
class Emitter>
7606bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7607 if (Ctx.getLangOpts().CPlusPlus23)
7617 const Expr *InitExpr =
Init->getInit();
7619 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7623 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7633template <
class Emitter>
7635 assert(!ReturnType);
7638 if (!this->emitStartThisLifetime1(Ctor))
7641 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7642 const Expr *InitExpr,
7645 if (InitExpr->getType().isNull())
7649 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7652 if (!this->visit(InitExpr))
7655 if (F->isBitField())
7656 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7658 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7663 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7666 if (
Activate && !this->emitActivate(InitExpr))
7669 return this->visitInitializerPop(InitExpr);
7673 const Record *
R = this->getRecord(RD);
7676 bool IsUnion =
R->isUnion();
7686 if (!this->emitThis(Ctor))
7689 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7692 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7693 this->emitRetVoid(Ctor);
7696 unsigned FieldInits = 0;
7699 if (
R->getNumVirtualBases() > 0) {
7700 if (!this->emitThis(Ctor))
7702 LabelTy AfterVirtBasesLabel = this->getLabel();
7705 if (!this->emitIsBaseClass({}))
7707 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7710 for (
const auto *
Init : Ctor->
inits()) {
7713 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7715 assert(
R->findVirtualBase(BaseDecl));
7716 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7718 if (!this->visitInitializerPop(
Init->getInit()))
7723 this->fallthrough(AfterVirtBasesLabel);
7724 this->emitLabel(AfterVirtBasesLabel);
7726 if (!this->emitPopPtr(Ctor))
7730 for (
const auto *
Init : Ctor->
inits()) {
7734 const Expr *InitExpr =
Init->getInit();
7736 const Record::Field *F =
R->getField(
Member);
7740 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7744 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7747 if (
Init->isBaseVirtual()) {
7753 const Record::Base *B =
R->getBase(BaseDecl);
7755 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7759 if (!this->visitInitializerPop(InitExpr))
7764 unsigned ChainSize = IFD->getChainingSize();
7765 assert(ChainSize >= 2);
7767 unsigned NestedFieldOffset = 0;
7768 const Record::Field *NestedField =
nullptr;
7769 for (
unsigned I = 0; I != ChainSize; ++I) {
7771 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7772 assert(FieldRecord);
7774 NestedField = FieldRecord->
getField(FD);
7775 assert(NestedField);
7776 IsUnion = IsUnion || FieldRecord->
isUnion();
7778 NestedFieldOffset += NestedField->Offset;
7781 if (I != ChainSize - 1)
7784 assert(NestedField);
7787 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7792 unsigned InitFieldOffset = 0;
7793 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7795 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7796 assert(FieldRecord);
7797 NestedField = FieldRecord->
getField(FD);
7798 InitFieldOffset += NestedField->Offset;
7799 assert(NestedField);
7800 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7802 if (!this->emitFinishInitPop(InitExpr))
7806 InitStack.pop_back_n(ChainSize - 1);
7809 assert(
Init->isDelegatingInitializer());
7810 if (!this->emitThis(InitExpr))
7812 if (!this->visitInitializerPop(
Init->getInit()))
7816 if (!
Scope.destroyLocals())
7820 if (FieldInits !=
R->getNumFields()) {
7821 assert(FieldInits < R->getNumFields());
7823 if (!this->emitStartThisLifetime(Ctor))
7830 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7831 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7838 if (!visitStmt(Body))
7845template <
class Emitter>
7848 const Record *
R = this->getRecord(RD);
7852 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7853 if (!this->visitStmt(
Dtor->getBody()))
7857 if (!this->emitThis(
Dtor))
7860 if (!this->emitCheckDestruction(
Dtor))
7864 if (!
R->isUnion()) {
7868 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7872 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7874 if (!this->emitDestructionPop(D,
SourceInfo{}))
7879 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7880 if (
Base.R->hasTrivialDtor())
7884 if (!this->emitRecordDestructionPop(
Base.R, {}))
7888 if (
R->getNumVirtualBases() > 0) {
7889 LabelTy EndLabel = this->getLabel();
7891 if (!this->emitIsBaseClass({}))
7893 if (!this->jumpTrue(EndLabel, {}))
7896 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7897 if (
Base.R->hasTrivialDtor())
7902 if (!this->emitRecordDestructionPop(
Base.R, {}))
7906 this->fallthrough(EndLabel);
7907 this->emitLabel(EndLabel);
7910 if (!this->emitMarkDestroyed(
Dtor))
7913 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7916template <
class Emitter>
7917bool Compiler<Emitter>::compileUnionAssignmentOperator(
7919 if (!this->emitThis(MD))
7922 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7925 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7928template <
class Emitter>
7938 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7939 return this->compileConstructor(Ctor);
7940 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7941 return this->compileDestructor(
Dtor);
7944 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7949 return this->compileUnionAssignmentOperator(MD);
7952 return this->emitLambdaStaticInvokerBody(MD);
7956 if (
const auto *Body = F->
getBody())
7970 return FD->getBitWidthValue();
7973template <
class Emitter>
7989 if (!
Ctx.getLangOpts().CPlusPlus14)
7990 return this->emitInvalid(E);
7992 return this->emitError(E);
7994 if (!this->
visit(SubExpr))
7998 if (!this->emitIncPtr(E))
8005 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
8006 : this->emitIncf(getFPOptions(E), E);
8018 if (!
Ctx.getLangOpts().CPlusPlus14)
8019 return this->emitInvalid(E);
8021 return this->emitError(E);
8023 if (!this->
visit(SubExpr))
8027 if (!this->emitDecPtr(E))
8034 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
8035 : this->emitDecf(getFPOptions(E), E);
8048 if (!
Ctx.getLangOpts().CPlusPlus14)
8049 return this->emitInvalid(E);
8051 return this->emitError(E);
8053 if (!this->
visit(SubExpr))
8057 if (!this->emitLoadPtr(E))
8059 if (!this->emitConstUint8(1, E))
8061 if (!this->emitAddOffsetUint8(E))
8063 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
8069 return this->emitIncfPop(getFPOptions(E), E);
8079 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8080 if (!this->emitLoadFloat(E))
8082 APFloat F(TargetSemantics, 1);
8083 if (!this->emitFloat(F, E))
8086 if (!this->emitAddf(getFPOptions(E), E))
8088 if (!this->emitStoreFloat(E))
8100 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8103 if (!
Ctx.getLangOpts().CPlusPlus14)
8104 return this->emitInvalid(E);
8106 return this->emitError(E);
8108 if (!this->
visit(SubExpr))
8112 if (!this->emitLoadPtr(E))
8114 if (!this->emitConstUint8(1, E))
8116 if (!this->emitSubOffsetUint8(E))
8118 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
8124 return this->emitDecfPop(getFPOptions(E), E);
8134 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8135 if (!this->emitLoadFloat(E))
8137 APFloat F(TargetSemantics, 1);
8138 if (!this->emitFloat(F, E))
8141 if (!this->emitSubf(getFPOptions(E), E))
8143 if (!this->emitStoreFloat(E))
8155 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8159 return this->emitError(E);
8162 return this->
discard(SubExpr);
8167 if (!this->emitInv(E))
8171 return this->emitCast(
PT_Bool, ET, E);
8175 return this->emitError(E);
8177 if (!this->
visit(SubExpr))
8182 return this->emitError(E);
8184 if (!this->
visit(SubExpr))
8200 if (!
Ctx.getLangOpts().CPlusPlus) {
8203 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
8204 Deref && Deref->getOpcode() == UO_Deref) {
8206 return this->
discard(Deref->getSubExpr());
8207 return this->
visit(Deref->getSubExpr()) && this->emitAddrOf(E);
8212 return this->
discard(SubExpr);
8213 return this->
delegate(SubExpr) && this->emitAddrOf(E);
8216 return this->
discard(SubExpr);
8218 if (!this->
visit(SubExpr))
8225 return this->emitNarrowPtr(E);
8230 return this->emitError(E);
8232 if (!this->
visit(SubExpr))
8246 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
8251 assert(
false &&
"Unhandled opcode");
8257template <
class Emitter>
8263 return this->
discard(SubExpr);
8266 auto prepareResult = [=]() ->
bool {
8271 return this->emitGetPtrLocal(*LocalIndex, E);
8278 unsigned SubExprOffset = ~0u;
8279 auto createTemp = [=, &SubExprOffset]() ->
bool {
8282 if (!this->
visit(SubExpr))
8284 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8288 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8289 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8291 return this->emitArrayElemPop(ElemT, Index, E);
8296 if (!prepareResult())
8300 for (
unsigned I = 0; I != 2; ++I) {
8301 if (!getElem(SubExprOffset, I))
8303 if (!this->emitNeg(ElemT, E))
8305 if (!this->emitInitElem(ElemT, I, E))
8316 if (!this->
visit(SubExpr))
8318 if (!this->emitComplexBoolCast(SubExpr))
8320 if (!this->emitInv(E))
8323 return this->emitCast(
PT_Bool, ET, E);
8327 return this->emitComplexReal(SubExpr);
8330 if (!this->
visit(SubExpr))
8334 if (!this->emitConstUint8(1, E))
8336 return this->emitArrayElemPtrPopUint8(E);
8347 if (!this->emitArrayElem(ElemT, 1, E))
8349 if (!this->emitNeg(ElemT, E))
8351 if (!this->emitInitElem(ElemT, 1, E))
8359 return this->emitInvalid(E);
8365template <
class Emitter>
8371 return this->
discard(SubExpr);
8374 if (UnaryOp == UO_Extension)
8377 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8378 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8379 return this->emitInvalid(E);
8382 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8389 if (!this->emitGetPtrLocal(*LocalIndex, E))
8394 unsigned SubExprOffset =
8396 if (!this->
visit(SubExpr))
8398 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8403 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8404 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8406 return this->emitArrayElemPop(ElemT, Index, E);
8411 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8412 if (!getElem(SubExprOffset, I))
8414 if (!this->emitNeg(ElemT, E))
8416 if (!this->emitInitElem(ElemT, I, E))
8431 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8432 if (!getElem(SubExprOffset, I))
8435 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8437 if (!this->emitInv(E))
8439 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8441 if (!this->emitNeg(ElemT, E))
8443 if (ElemT != ResultVecElemT &&
8444 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8446 if (!this->emitInitElem(ResultVecElemT, I, E))
8452 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8453 if (!getElem(SubExprOffset, I))
8456 if (!this->emitInv(E))
8459 if (!this->emitComp(ElemT, E))
8462 if (!this->emitInitElem(ElemT, I, E))
8467 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8472template <
class Emitter>
8474 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8477 return this->emitConst(ECD->getInitVal(), E);
8479 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8483 return F && this->emitGetFnPtr(F, E);
8485 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8486 TPOD = TPOD->getFirstDecl();
8490 return this->emitGetPtrGlobal(*GlobalIndex, E);
8496 return this->emitInitGlobal(*
T, *Index, E);
8499 if (!this->emitGetPtrGlobal(*Index, E))
8503 return this->emitFinishInit(E);
8515 auto maybePopPtr = [&]() ->
bool {
8517 return this->emitPopPtr(E);
8524 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8528 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8533 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8534 if (IsReference || !It->second.IsPtr)
8535 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8537 return this->emitGetPtrParam(It->second.Index, E);
8540 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8547 const unsigned Offset = It->second.Offset;
8550 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8552 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8555 if (
auto GlobalIndex =
P.getGlobal(D)) {
8557 if (!
Ctx.getLangOpts().CPlusPlus11)
8558 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8559 if (!
Ctx.getLangOpts().CPlusPlus23)
8560 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8562 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8565 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8569 auto revisit = [&](
const VarDecl *VD,
8570 bool IsConstexprUnknown =
true) ->
bool {
8572 IsConstexprUnknown);
8573 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8579 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8580 if (!this->emitPopCC(E))
8584 if (VarState.notCreated())
8592 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8594 if (
auto It = this->LambdaCaptures.find(D);
8595 It != this->LambdaCaptures.end()) {
8596 auto [Offset, IsPtr] = It->second;
8599 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8600 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8604 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8605 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8606 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8610 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8611 return this->
delegate(BD->getBinding());
8617 return this->emitDummyPtr(D, E);
8622 const auto *VD = dyn_cast<VarDecl>(D);
8624 return this->emitError(E);
8627 if (!
Ctx.getLangOpts().CPlusPlus) {
8631 return revisit(VD,
false);
8635 return this->emitDummyPtr(D, E);
8639 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8640 if (
T.isConstant(
Ctx.getASTContext()))
8642 return T->isReferenceType();
8646 typeShouldBeVisited(DeclType)) {
8648 Init && !
Init->isValueDependent()) {
8653 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8666 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8671 return revisit(VD, IsConstexprUnknown);
8672 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8673 return revisit(VD,
true);
8682 return this->emitDummyPtr(
8686template <
class Emitter>
8692template <
class Emitter>
8702 if (!
C->destroyLocals())
8708template <
class Emitter>
8709unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8712 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8714 return Ty->getAsCXXRecordDecl();
8716 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8717 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8719 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8723template <
class Emitter>
8730 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8735 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8736 getFPOptions(E), E);
8738 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8739 getFPOptions(E), E);
8743 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8748 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8750 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8754 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8758 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8759 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8766template <
class Emitter>
8769 assert(FromT != ToT);
8772 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8774 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8776 return this->emitCast(FromT, ToT, E);
8780template <
class Emitter>
8781bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8785 return this->
discard(SubExpr);
8787 if (!this->visit(SubExpr))
8790 if (!this->emitConstUint8(0, SubExpr))
8792 return this->emitArrayElemPtrPopUint8(SubExpr);
8796 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8800template <
class Emitter>
8801bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8802 assert(!DiscardResult);
8806 if (!this->emitArrayElem(ElemT, 0, E))
8809 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8812 if (!this->emitCast(ElemT,
PT_Bool, E))
8817 LabelTy LabelTrue = this->getLabel();
8818 if (!this->jumpTrue(LabelTrue, E))
8821 if (!this->emitArrayElemPop(ElemT, 1, E))
8824 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8827 if (!this->emitCast(ElemT,
PT_Bool, E))
8831 LabelTy EndLabel = this->getLabel();
8832 this->jump(EndLabel, E);
8834 this->emitLabel(LabelTrue);
8835 if (!this->emitPopPtr(E))
8837 if (!this->emitConstBool(
true, E))
8840 this->fallthrough(EndLabel);
8841 this->emitLabel(EndLabel);
8846template <
class Emitter>
8847bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8858 LHSIsComplex =
true;
8859 ElemT = classifyComplexElementType(LHS->
getType());
8860 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8861 if (!this->visit(LHS))
8863 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8866 LHSIsComplex =
false;
8868 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8869 if (!this->visit(LHS))
8871 if (!this->emitSetLocal(LHST, LHSOffset, E))
8878 RHSIsComplex =
true;
8879 ElemT = classifyComplexElementType(RHS->
getType());
8880 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8881 if (!this->visit(RHS))
8883 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8886 RHSIsComplex =
false;
8888 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8889 if (!this->visit(RHS))
8891 if (!this->emitSetLocal(RHST, RHSOffset, E))
8895 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8896 bool IsComplex) ->
bool {
8898 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8900 return this->emitArrayElemPop(ElemT, Index, E);
8902 return this->emitGetLocal(ElemT, LocalOffset, E);
8905 for (
unsigned I = 0; I != 2; ++I) {
8907 if (!getElem(LHSOffset, I, LHSIsComplex))
8909 if (!getElem(RHSOffset, I, RHSIsComplex))
8912 if (!this->emitEQ(ElemT, E))
8915 if (!this->emitCastBoolUint8(E))
8920 if (!this->emitAddUint8(E))
8922 if (!this->emitConstUint8(2, E))
8926 if (!this->emitEQUint8(E))
8929 if (!this->emitNEUint8(E))
8936 return this->emitCast(
PT_Bool, ResT, E);
8943template <
class Emitter>
8944bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8947 assert(!
R->hasTrivialDtor());
8950 const Function *DtorFunc = getFunction(
Dtor);
8953 assert(DtorFunc->hasThisPointer());
8954 assert(DtorFunc->getNumParams() == 1);
8955 return this->emitCall(DtorFunc, 0, Loc);
8960template <
class Emitter>
8961bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8973 return this->emitPopPtr(Loc);
8975 for (ssize_t I = N - 1; I >= 1; --I) {
8976 if (!this->emitConstUint64(I, Loc))
8978 if (!this->emitArrayElemPtrUint64(Loc))
8980 if (!this->emitDestructionPop(ElemDesc, Loc))
8984 if (!this->emitConstUint64(0, Loc))
8986 if (!this->emitArrayElemPtrPopUint64(Loc))
8988 return this->emitDestructionPop(ElemDesc, Loc);
8993 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8998template <
class Emitter>
8999bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
9000 assert(!DiscardResult &&
"Should've been checked before");
9001 return this->emitGetOpaquePtr(D, CU, E);
9004template <
class Emitter>
9007 return this->emitConstFloat(
Floating(F), Info);
9009 APInt I = F.bitcastToAPInt();
9010 return this->emitConstFloat(
9011 Floating(
const_cast<uint64_t *
>(I.getRawData()),
9012 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
9023template <
class Emitter>
9024bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
9037 if (!this->emitGetPtrLocal(*LocalIndex, E))
9047 if (!this->visit(SubExpr))
9049 }
else if (
OptPrimType FromT = classify(SubExpr)) {
9050 unsigned TempOffset =
9051 allocateLocalPrimitive(SubExpr, *FromT,
true);
9052 if (!this->visit(SubExpr))
9054 if (!this->emitSetLocal(*FromT, TempOffset, E))
9056 if (!this->emitGetPtrLocal(TempOffset, E))
9063 if (!this->emitBitCast(E))
9065 return DiscardResult ? this->emitPopPtr(E) :
true;
9069 const llvm::fltSemantics *TargetSemantics =
nullptr;
9071 TargetSemantics = &Ctx.getFloatSemantics(ToType);
9077 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
9079 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
9080 ResultBitWidth, TargetSemantics,
9085 return this->emitPop(*ToT, E);
9094template <
class Emitter>
9095bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
9100 unsigned NumElems = 0;
9103 NumElems = VT->getNumElements();
9104 ElemType = VT->getElementType();
9106 NumElems = MT->getNumElementsFlattened();
9107 ElemType = MT->getElementType();
9110 PrimType ElemT = classifyPrim(ElemType);
9111 for (
unsigned I = 0; I != NumElems; ++I) {
9112 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9114 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
9116 if (!this->emitInitElem(ElemT, I, E))
9126 QualType ArrElemType = CAT->getElementType();
9127 unsigned ArrSize = CAT->getZExtSize();
9130 for (
unsigned I = 0; I != ArrSize; ++I) {
9131 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9133 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
9135 if (!this->emitInitElem(*ElemT, I, E))
9139 for (
unsigned I = 0; I != ArrSize; ++I) {
9140 if (!this->emitConstUint32(I, E))
9142 if (!this->emitArrayElemPtrUint32(E))
9144 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
9146 if (!this->emitFinishInitPop(E))
9156 const Record *
R = getRecord(DestType);
9160 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9162 const Record::Base *B =
R->getBase(BS.getType());
9164 if (!this->emitGetPtrBase(B->Offset, E))
9166 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
9168 if (!this->emitFinishInitPop(E))
9173 for (
const Record::Field &F :
R->fields()) {
9174 if (F.isUnnamedBitField())
9177 QualType FieldType = F.Decl->getType();
9179 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9181 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
9183 if (F.isBitField()) {
9184 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9187 if (!this->emitInitField(*FieldT, F.Offset, E))
9191 if (!this->emitGetPtrField(F.Offset, E))
9193 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
9195 if (!this->emitPopPtr(E))
9208template <
class Emitter>
9209unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
9212 return VT->getNumElements();
9214 return MT->getNumElementsFlattened();
9218 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
9222 const Record *
R = getRecord(Ty);
9226 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9228 Count += countHLSLFlatElements(BS.getType());
9230 for (
const Record::Field &F :
R->fields()) {
9231 if (F.isUnnamedBitField())
9233 Count += countHLSLFlatElements(F.Decl->getType());
9238 if (canClassify(Ty))
9247template <
class Emitter>
9248bool Compiler<Emitter>::emitHLSLFlattenAggregate(
9249 QualType SrcType,
unsigned SrcOffset,
9254 auto saveToLocal = [&](
PrimType T) ->
bool {
9255 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
9256 if (!this->emitSetLocal(
T, Offset, E))
9258 Elements.push_back({Offset,
T});
9264 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9265 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9266 return std::nullopt;
9271 unsigned NumElems = 0;
9274 NumElems = VT->getNumElements();
9275 ElemType = VT->getElementType();
9277 NumElems = MT->getNumElementsFlattened();
9278 ElemType = MT->getElementType();
9281 PrimType ElemT = classifyPrim(ElemType);
9282 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9283 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9285 if (!this->emitArrayElemPop(ElemT, I, E))
9287 if (!saveToLocal(ElemT))
9297 QualType ArrElemType = CAT->getElementType();
9298 unsigned ArrSize = CAT->getZExtSize();
9301 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9302 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9304 if (!this->emitArrayElemPop(*ElemT, I, E))
9306 if (!saveToLocal(*ElemT))
9310 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9311 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9313 if (!this->emitConstUint32(I, E))
9315 if (!this->emitArrayElemPtrPopUint32(E))
9320 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9331 const Record *
R = getRecord(SrcType);
9335 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9337 if (Elements.size() >= MaxElements)
9339 const Record::Base *B =
R->getBase(BS.getType());
9341 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9343 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9348 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9354 for (
const Record::Field &F :
R->fields()) {
9355 if (Elements.size() >= MaxElements)
9357 if (F.isUnnamedBitField())
9360 QualType FieldType = F.Decl->getType();
9361 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9363 if (!this->emitGetPtrFieldPop(F.Offset, E))
9367 if (!this->emitLoadPop(*FieldT, E))
9369 if (!saveToLocal(*FieldT))
9373 if (!FieldPtrOffset)
9375 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9391template <
class Emitter>
9392bool Compiler<Emitter>::emitHLSLConstructAggregate(
9398 const auto &Src = Elements[ElemIdx++];
9399 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9401 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9405 unsigned NumElems = 0;
9408 NumElems = VT->getNumElements();
9409 ElemType = VT->getElementType();
9411 NumElems = MT->getNumElementsFlattened();
9412 ElemType = MT->getElementType();
9415 PrimType DestElemT = classifyPrim(ElemType);
9416 for (
unsigned I = 0; I != NumElems; ++I) {
9417 if (!loadAndCast(DestElemT, ElemType))
9419 if (!this->emitInitElem(DestElemT, I, E))
9429 QualType ArrElemType = CAT->getElementType();
9430 unsigned ArrSize = CAT->getZExtSize();
9433 for (
unsigned I = 0; I != ArrSize; ++I) {
9434 if (!loadAndCast(*ElemT, ArrElemType))
9436 if (!this->emitInitElem(*ElemT, I, E))
9440 for (
unsigned I = 0; I != ArrSize; ++I) {
9441 if (!this->emitConstUint32(I, E))
9443 if (!this->emitArrayElemPtrUint32(E))
9445 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9447 if (!this->emitFinishInitPop(E))
9457 const Record *
R = getRecord(DestType);
9461 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9463 const Record::Base *B =
R->getBase(BS.getType());
9465 if (!this->emitGetPtrBase(B->Offset, E))
9467 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9469 if (!this->emitFinishInitPop(E))
9474 for (
const Record::Field &F :
R->fields()) {
9475 if (F.isUnnamedBitField())
9478 QualType FieldType = F.Decl->getType();
9480 if (!loadAndCast(*FieldT, FieldType))
9482 if (F.isBitField()) {
9483 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9486 if (!this->emitInitField(*FieldT, F.Offset, E))
9490 if (!this->emitGetPtrField(F.Offset, E))
9492 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9494 if (!this->emitPopPtr(E))
static bool visitAPValue(const APValue &Value, llvm::function_ref< bool(const APValue &)> Visitor)
static void emit(Program &P, llvm::SmallVectorImpl< std::byte > &Code, const T &Val, bool &Success)
Helper to write bytecode and bail out if 32-bit offsets become invalid.
static void emitCleanup(CIRGenFunction &cgf, cir::CleanupScopeOp cleanupScope, EHScopeStack::Cleanup *cleanup, EHScopeStack::Cleanup::Flags flags, Address activeFlag)
static uint32_t getBitWidth(const Expr *E)
#define EMIT_ARITH_OP(OP)
static CharUnits AlignOfType(QualType T, const ASTContext &ASTCtx, UnaryExprOrTypeTrait Kind)
static const Expr * stripDerivedToBaseCasts(const Expr *E)
static bool isTrivialMemoryOperation(const CXXMethodDecl *MD)
static const Expr * stripCheckedDerivedToBaseCasts(const Expr *E)
static bool hasTrivialDefaultCtorParent(const FieldDecl *FD)
static bool initNeedsOverridenLoc(const CXXCtorInitializer *Init)
const Expr * ignorePointerCastsAndParens(const Expr *E)
A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize. This ignores some c...
bool isReadByLvalueToRvalueConversion(const CXXRecordDecl *RD)
Determine whether a type would actually be read by an lvalue-to-rvalue conversion.
unsigned ConvertBuiltinIDToX86BuiltinID(const ASTContext &Ctx, unsigned BuiltinOp)
Convert a builtin ID to the canonical x86 builtin ID the constant evaluators dispatch on in their x86...
Result
Implement __builtin_bit_cast and related operations.
llvm::SmallPtrSet< const ParmVarDecl *, 1 > FoundParams
bool VisitDeclRefExpr(const DeclRefExpr *E) override
a trap message and trap category.
llvm::APInt getValue() const
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const LValueBase getLValueBase() const
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
APValue & getStructField(unsigned i)
const FieldDecl * getUnionField() const
unsigned getStructNumFields() const
APValue & getStructVirtualBase(unsigned i)
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() const
unsigned getStructNumVirtualBases() const
bool hasLValuePath() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
CharUnits & getLValueOffset()
APValue & getArrayFiller()
bool isIndeterminate() const
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
unsigned getArraySize() const
@ None
There is no such object (it's outside its lifetime).
bool isNullPointer() const
APValue & getStructBase(unsigned i)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
unsigned getPreferredTypeAlign(QualType T) const
Return the "preferred" alignment of the specified type T for the current target, in bits.
const LangOptions & getLangOpts() const
unsigned getOpenMPDefaultSimdAlign(QualType T) const
Get default simd alignment of the specified complete type in bits.
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
llvm::FixedPointSemantics getFixedPointSemantics(QualType Ty) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Expr * getCond() const
getCond - Return the expression representing the condition for the ?
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
llvm::APInt getArraySize() const
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
uint64_t getValue() const
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
Attr - This represents one attribute.
Represents an attribute applied to a statement.
ArrayRef< const Attr * > getAttrs() const
Represents a C++ declaration that introduces decls from somewhere else.
A builtin binary operation expression such as "x + y" or "x <= y".
static bool isLogicalOp(Opcode Opc)
static bool isComparisonOp(Opcode Opc)
static bool isShiftOp(Opcode Opc)
static bool isCommaOp(Opcode Opc)
static Opcode getOpForCompoundAssignment(Opcode Opc)
static bool isPtrMemOp(Opcode Opc)
predicates to categorize the respective opcodes.
static bool isAssignmentOp(Opcode Opc)
static bool isCompoundAssignmentOp(Opcode Opc)
static bool isBitwiseOp(Opcode Opc)
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
Represents a base class of a C++ class.
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
A boolean literal, per ([C++ lex.bool] Boolean literals).
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
bool isDefaultConstructor() const
Whether this constructor is a default constructor (C++ [class.ctor]p5), which can be used to default-...
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
Represents a C++ base or member initializer.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents the code generated for an expanded expansion statement.
ArrayRef< Stmt * > getInstantiations() const
ArrayRef< Stmt * > getPreambleStmts() const
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
DeclStmt * getBeginStmt()
DeclStmt * getLoopVarStmt()
DeclStmt * getRangeStmt()
Represents a call to an inherited base class constructor from an inheriting constructor.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will call.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
bool isLambdaStaticInvoker() const
Determine whether this is a lambda closure type's static member function that is used for the result ...
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
Expr * getPlacementArg(unsigned I)
unsigned getNumPlacementArgs() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ struct/union/class.
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
capture_const_range captures() const
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
Represents a C++26 reflect expression [expr.reflect].
ReflectionKind getKind() const
const void * getOpaqueValue() const
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
A rewritten comparison expression that was originally written using operator syntax.
Expr * getSemanticForm()
Get an equivalent semantic form for this expression.
An expression "T()" which creates an rvalue of a non-class type T.
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
const Expr * getSubExpr() const
CXXTryStmt - A C++ try block, including all handlers.
CompoundStmt * getTryBlock()
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
QualType getTypeOperand(const ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Expr * getExprOperand() const
bool isPotentiallyEvaluated() const
Determine whether this typeid has a type operand which is potentially evaluated, per C++11 [expr....
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
MSGuidDecl * getGuidDecl() const
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
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.
Expr ** getArgs()
Retrieve the call arguments.
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
CaseStmt - Represent a case statement.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
path_iterator path_begin()
CastKind getCastKind() const
llvm::iterator_range< path_iterator > path()
Path through the class hierarchy taken by casts between base and derived classes (see implementation ...
const FieldDecl * getTargetUnionField() const
This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
Get the raw integer representation of this quantity.
static CharUnits One()
Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
const ValueInfo * getValueInfo(ComparisonCategoryResult ValueKind) const
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
Expr * getResultExpr()
Return the result expression of this controlling expression.
IfStmt - This represents an if/then/else.
bool isNonNegatedConsteval() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
const Expr * getSubExpr() const
Represents an implicitly-generated value initialization of an object of a given type.
Represents a field injected from an anonymous union/struct into the parent scope.
Describes an C or C++ initializer list.
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument for this lambda expression (which initializes the first ca...
CXXRecordDecl * getLambdaClass() const
Retrieve the class that corresponds to the lambda.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
bool isCompatibleWith(ClangABI Version) const
Implicit declaration of a temporary that was materialized by a MaterializeTemporaryExpr and lifetime-...
const Stmt * getNamedLoopOrSwitch() const
If this is a named break/continue, get the loop or switch statement that this targets.
APValue & getAsAPValue() const
Get the value of this MSGuidDecl as an APValue.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
StorageDuration getStorageDuration() const
Retrieve the storage duration for the materialized temporary.
Expr * getSubExpr() const
Retrieve the temporary-generating subexpression whose value will be materialized into a glvalue.
ValueDecl * getExtendingDecl()
Get the declaration which triggered the lifetime-extension of this temporary, if any.
LifetimeExtendedTemporaryDecl * getLifetimeExtendedTemporaryDecl()
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
A pointer to member type per C++ 8.3.3 - Pointers to members.
This represents a decl that may have a name.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Represents a C++ namespace alias.
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
ObjCBoxedExpr - used for generalized expression boxing.
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
ObjCEncodeExpr, used for @encode in Objective-C.
QualType getEncodedType() const
SourceLocation getAtLoc() const
bool isExpressibleAsConstantInitializer() const
ObjCStringLiteral, used for Objective-C string literals i.e.
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Expr * getIndexExpr(unsigned Idx)
const OffsetOfNode & getComponent(unsigned Idx) const
unsigned getNumComponents() const
Helper class for OffsetOfExpr.
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
@ Array
An index into an array.
Kind getKind() const
Determine what kind of offsetof node this is.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Expr * getSourceExpr() const
The source expression of an opaque value expression is the expression which originally generated the ...
Expr * getSelectedExpr() const
ParenExpr - This represents a parenthesized expression, e.g.
const Expr * getSubExpr() const
Represents a parameter to a function.
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
[C99 6.4.2.2] - A predefined identifier such as func.
StringLiteral * getFunctionName()
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Expr * getResultExpr()
Return the result-bearing expression, or null if there is none.
ArrayRef< Expr * > semantics()
A (possibly-)qualified type.
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
QualType withConst() const
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
bool isConstant(const ASTContext &Ctx) const
bool isConstQualified() const
Determine whether this type is const-qualified.
Represents a struct/union/class.
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
Base for LValueReferenceType and RValueReferenceType.
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
bool isSatisfied() const
Whether or not the requires clause is satisfied.
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
SourceLocation getLocation() const
std::string ComputeName(ASTContext &Context) const
Scope - A scope is a transient data structure that is used while parsing the program.
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
llvm::APSInt getShuffleMaskIdx(unsigned N) const
unsigned getNumSubExprs() const
getNumSubExprs - Return the size of the SubExprs array.
Expr * getExpr(unsigned Index)
getExpr - Return the Expr at the specified index.
Represents an expression that computes the length of a parameter pack.
unsigned getPackLength() const
Retrieve the length of the parameter pack.
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
APValue EvaluateInContext(const ASTContext &Ctx, const Expr *DefaultExpr) const
Return the result of evaluating this SourceLocExpr in the specified (and possibly null) default argum...
Represents a C++11 static_assert declaration.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
CompoundStmt * getSubStmt()
bool Visit(PTR(Stmt) S, ParamTys... P)
Stmt - This represents one statement.
StmtClass getStmtClass() const
StringLiteral - This represents a string literal expression, e.g.
unsigned getLength() const
uint32_t getCodeUnit(size_t I) const
Return the code unit at the given position.
static StringLiteral * Create(const ASTContext &Ctx, StringRef Str, StringLiteralKind Kind, bool Pascal, QualType Ty, ArrayRef< SourceLocation > Locs)
This is the "fully general" constructor that allows representation of strings formed from one or more...
unsigned getCharByteWidth() const
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Expr * getReplacement() const
const SwitchCase * getNextSwitchCase() const
SwitchStmt - This represents a 'switch' stmt.
VarDecl * getConditionVariable()
Retrieve the variable declared in this "switch" statement, if any.
SwitchCase * getSwitchCaseList()
DeclStmt * getConditionVariableDeclStmt()
If this SwitchStmt has a condition variable, return the faux DeclStmt associated with the creation of...
Represents the declaration of a struct/union/class/enum.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
A template argument list.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
Symbolic representation of typeid(T) for some type T.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
bool getBoolValue() const
bool isStoredAsComparisonResult() const
const APValue & getAPValue() const
bool isStoredAsBoolean() const
The base class of the type hierarchy.
bool isBooleanType() const
bool isLiteralType(const ASTContext &Ctx) const
Return true if this is a literal type (C++11 [basic.types]p10)
bool isIncompleteArrayType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isVoidPointerType() const
bool isConstantSizeType() const
Return true if this is not a variable sized type, according to the rules of C99 6....
bool isFunctionPointerType() const
bool isConstantMatrixType() const
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isEnumeralType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isAnyComplexType() const
bool isFixedPointType() const
Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isMemberPointerType() const
bool isAtomicType() const
EnumDecl * castAsEnumDecl() const
bool isStdByteType() const
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isPointerOrReferenceType() const
bool isFunctionType() const
bool isVectorType() const
bool isRealFloatingType() const
Floating point categories.
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
bool isFloatingType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
bool isSizelessVectorType() const
Returns true for all scalable vector types.
bool hasBooleanRepresentation() const
Determine whether this type has a boolean representation – i.e., it is a boolean type,...
Base class for declarations which introduce a typedef-name.
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
QualType getArgumentType() const
QualType getTypeOfArgument() const
Gets the argument type, or the type of the argument expression, whichever is appropriate.
bool isArgumentType() const
UnaryExprOrTypeTrait getKind() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Expr * getSubExpr() const
bool canOverflow() const
Returns true if the unary operator can cause an overflow.
Represents C++ using-directive.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
bool isWeak() const
Determine whether this symbol is weakly-imported, or declared with the weak or weak-ref attr.
Represents a variable declaration or definition.
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
bool isStaticDataMember() const
Determines whether this is a static data member.
bool hasGlobalStorage() const
Returns true for all variables that do not have local storage.
bool hasConstantInitialization() const
Determine whether this variable has constant initialization.
bool isStaticLocal() const
Returns true if a variable with function scope is a static local variable.
const Expr * getInit() const
const APValue * evaluateValue() const
Attempt to evaluate the value of the initializer attached to this declaration, and produce notes expl...
bool isLocalVarDecl() const
Returns true for local variable declarations other than parameters.
const Expr * getAnyInitializer() const
Get the initializer for this variable, no matter which declaration it is attached to.
Represents a GCC generic vector type.
unsigned getNumElements() const
QualType getElementType() const
WhileStmt - This represents a 'while' stmt.
DeclStmt * getConditionVariableDeclStmt()
If this WhileStmt has a condition variable, return the faux DeclStmt associated with the creation of ...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "while" statement, if any.
ArrayIndexScope(Compiler< Emitter > *Ctx, uint64_t Index)
A memory block, either on the stack or in the heap.
void invokeDtor()
Invokes the Destructor.
Compilation context for expressions.
llvm::SmallVector< InitLink > InitStack
bool VisitArrayInitIndexExpr(const ArrayInitIndexExpr *E)
bool VisitCXXDeleteExpr(const CXXDeleteExpr *E)
bool VisitOffsetOfExpr(const OffsetOfExpr *E)
bool visitContinueStmt(const ContinueStmt *S)
bool VisitCharacterLiteral(const CharacterLiteral *E)
bool visitArrayElemInit(unsigned ElemIndex, const Expr *Init, OptPrimType InitT)
Pointer to the array(not the element!) must be on the stack when calling this.
bool VisitCXXParenListInitExpr(const CXXParenListInitExpr *E)
bool VisitConceptSpecializationExpr(const ConceptSpecializationExpr *E)
bool visitInitializerPop(const Expr *E)
Similar, but will also pop the pointer.
bool VisitCompoundLiteralExpr(const CompoundLiteralExpr *E)
bool visitBool(const Expr *E)
Visits an expression and converts it to a boolean.
bool VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *E)
PrimType classifyPrim(QualType Ty) const
Classifies a known primitive type.
bool VisitTypeTraitExpr(const TypeTraitExpr *E)
bool VisitLambdaExpr(const LambdaExpr *E)
bool VisitMemberExpr(const MemberExpr *E)
llvm::DenseMap< const OpaqueValueExpr *, unsigned > OpaqueExprs
OpaqueValueExpr to location mapping.
bool VisitBinaryOperator(const BinaryOperator *E)
bool visitCXXExpansionStmtInstantiation(const CXXExpansionStmtInstantiation *S)
template for (auto x : {1, 2}) {}
bool visitAttributedStmt(const AttributedStmt *S)
bool VisitPackIndexingExpr(const PackIndexingExpr *E)
bool VisitArraySubscriptExpr(const ArraySubscriptExpr *E)
bool VisitCallExpr(const CallExpr *E)
std::optional< uint64_t > ArrayIndex
Current argument index. Needed to emit ArrayInitIndexExpr.
bool VisitPseudoObjectExpr(const PseudoObjectExpr *E)
bool VisitCXXReinterpretCastExpr(const CXXReinterpretCastExpr *E)
bool visitAPValueInitializer(const APValue &Val, SourceInfo Info, QualType T, bool IsCompleteClass=true)
const Function * getFunction(const FunctionDecl *FD)
Returns a function for the given FunctionDecl.
bool VisitFixedPointBinOp(const BinaryOperator *E)
bool VisitCastExpr(const CastExpr *E)
bool VisitObjCEncodeExpr(const ObjCEncodeExpr *E)
bool VisitFixedPointUnaryOperator(const UnaryOperator *E)
bool VisitComplexUnaryOperator(const UnaryOperator *E)
llvm::DenseMap< const SwitchCase *, LabelTy > CaseMap
bool VisitBlockExpr(const BlockExpr *E)
bool VisitCXXScalarValueInitExpr(const CXXScalarValueInitExpr *E)
bool VisitLogicalBinOp(const BinaryOperator *E)
bool visitCompoundStmt(const CompoundStmt *S)
Context & Ctx
Current compilation context.
const VarDecl * InitializingDecl
bool visitDeclRef(const ValueDecl *D, const Expr *E)
Visit the given decl as if we have a reference to it.
bool visitBreakStmt(const BreakStmt *S)
bool visitExpr(const Expr *E, bool DestroyToplevelScope) override
bool visitForStmt(const ForStmt *S)
bool VisitDeclRefExpr(const DeclRefExpr *E)
bool VisitOpaqueValueExpr(const OpaqueValueExpr *E)
bool VisitArrayInitLoopExpr(const ArrayInitLoopExpr *E)
bool visitAPValue(const APValue &Val, PrimType ValType, SourceInfo Info)
Visit an APValue.
bool VisitStmtExpr(const StmtExpr *E)
bool VisitBuiltinBitCastExpr(const BuiltinBitCastExpr *E)
bool VisitFixedPointLiteral(const FixedPointLiteral *E)
const FunctionDecl * CompilingFunction
bool VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E)
VarCreationState visitVarDecl(const VarDecl *VD, const Expr *Init, bool Toplevel=false)
Creates and initializes a variable from the given decl.
VariableScope< Emitter > * VarScope
Current scope.
bool visitDeclAndReturn(const VarDecl *VD, const Expr *Init, bool ConstantContext) override
Toplevel visitDeclAndReturn().
bool VisitCXXNewExpr(const CXXNewExpr *E)
bool VisitCompoundAssignOperator(const CompoundAssignOperator *E)
bool visit(const Expr *E) override
Evaluates an expression and places the result on the stack.
bool delegate(const Expr *E)
Just pass evaluation on to E.
bool visitLValueExpr(const Expr *E, bool DestroyToplevelScope) override
bool discard(const Expr *E)
Evaluates an expression for side effects and discards the result.
bool VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *E)
CaseMap CaseLabels
Switch case mapping.
Record * getRecord(QualType Ty)
Returns a record from a record or pointer type.
bool VisitCXXReflectExpr(const CXXReflectExpr *E)
const RecordType * getRecordTy(QualType Ty)
Returns a record type from a record or pointer type.
bool VisitCXXStdInitializerListExpr(const CXXStdInitializerListExpr *E)
bool visitInitList(ArrayRef< const Expr * > Inits, const Expr *ArrayFiller, const Expr *E)
bool VisitSizeOfPackExpr(const SizeOfPackExpr *E)
bool VisitPredefinedExpr(const PredefinedExpr *E)
bool VisitSourceLocExpr(const SourceLocExpr *E)
bool visitDeclStmt(const DeclStmt *DS, bool EvaluateConditionDecl=false)
bool registerRedecl(const VarDecl *VD, const APValue &V)
bool emitCleanup()
Emits scope cleanup instructions.
bool VisitExtVectorElementExpr(const ExtVectorElementExpr *E)
bool VisitObjCStringLiteral(const ObjCStringLiteral *E)
bool VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *E)
bool visitInitializer(const Expr *E)
Compiles an initializer.
bool visitDtorCall(const VarDecl *VD, const APValue &Value) override
const Expr * SourceLocDefaultExpr
DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.
bool VisitObjCArrayLiteral(const ObjCArrayLiteral *E)
UnsignedOrNone OptLabelTy
bool VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *E)
bool VisitPointerArithBinOp(const BinaryOperator *E)
Perform addition/subtraction of a pointer and an integer or subtraction of two pointers.
bool visitCallArgs(ArrayRef< const Expr * > Args, const FunctionDecl *FuncDecl, bool Activate, bool IsOperatorCall)
bool VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *E)
bool visitDefaultStmt(const DefaultStmt *S)
bool VisitObjCDictionaryLiteral(const ObjCDictionaryLiteral *E)
bool visitWithSubstitutions(const FunctionDecl *Callee, ArrayRef< const Expr * > Args, const Expr *This, const Expr *Condition) override
Evaluate the Condition as if it was in the body of Callee.
typename Emitter::LabelTy LabelTy
VarCreationState visitDecl(const VarDecl *VD)
bool VisitCXXDynamicCastExpr(const CXXDynamicCastExpr *E)
bool visitStmt(const Stmt *S)
bool VisitExpressionTraitExpr(const ExpressionTraitExpr *E)
bool VisitVectorUnaryOperator(const UnaryOperator *E)
bool VisitCXXConstructExpr(const CXXConstructExpr *E)
bool VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *E)
bool VisitObjCBoxedExpr(const ObjCBoxedExpr *E)
bool VisitDesignatedInitUpdateExpr(const DesignatedInitUpdateExpr *E)
bool VisitCXXInheritedCtorInitExpr(const CXXInheritedCtorInitExpr *E)
bool VisitRecoveryExpr(const RecoveryExpr *E)
bool VisitRequiresExpr(const RequiresExpr *E)
bool Initializing
Flag inidicating if we're initializing an already created variable.
bool visitReturnStmt(const ReturnStmt *RS)
bool VisitCXXThrowExpr(const CXXThrowExpr *E)
bool VisitSubstNonTypeTemplateParmExpr(const SubstNonTypeTemplateParmExpr *E)
bool VisitChooseExpr(const ChooseExpr *E)
bool visitFunc(const FunctionDecl *F) override
bool visitCXXForRangeStmt(const CXXForRangeStmt *S)
bool visitCaseStmt(const CaseStmt *S)
bool VisitComplexBinOp(const BinaryOperator *E)
llvm::DenseMap< const ValueDecl *, Scope::Local > Locals
Variable to storage mapping.
bool VisitAbstractConditionalOperator(const AbstractConditionalOperator *E)
bool VisitCXXTypeidExpr(const CXXTypeidExpr *E)
UnsignedOrNone allocateTemporary(const Expr *E)
bool VisitBuiltinCallExpr(const CallExpr *E, unsigned BuiltinID)
bool VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E)
bool VisitCXXRewrittenBinaryOperator(const CXXRewrittenBinaryOperator *E)
OptPrimType ReturnType
Type of the expression returned by the function.
bool VisitUnaryOperator(const UnaryOperator *E)
bool VisitFloatCompoundAssignOperator(const CompoundAssignOperator *E)
OptPrimType classify(const Expr *E) const
llvm::SmallVector< LabelInfo > LabelInfoStack
Stack of label information for loops and switch statements.
bool VisitGenericSelectionExpr(const GenericSelectionExpr *E)
bool visitDoStmt(const DoStmt *S)
bool VisitIntegerLiteral(const IntegerLiteral *E)
bool VisitInitListExpr(const InitListExpr *E)
bool VisitVectorBinOp(const BinaryOperator *E)
bool VisitStringLiteral(const StringLiteral *E)
bool VisitParenExpr(const ParenExpr *E)
bool VisitCXXNoexceptExpr(const CXXNoexceptExpr *E)
bool VisitShuffleVectorExpr(const ShuffleVectorExpr *E)
bool VisitPointerCompoundAssignOperator(const CompoundAssignOperator *E)
bool DiscardResult
Flag indicating if return value is to be discarded.
bool VisitEmbedExpr(const EmbedExpr *E)
UnsignedOrNone allocateLocal(DeclOrExpr Decl, QualType Ty=QualType(), ScopeKind=ScopeKind::Block)
Allocates a space storing a local given its type.
bool VisitConvertVectorExpr(const ConvertVectorExpr *E)
bool VisitCXXThisExpr(const CXXThisExpr *E)
bool VisitConstantExpr(const ConstantExpr *E)
bool VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *E)
bool visitSwitchStmt(const SwitchStmt *S)
bool VisitCXXUuidofExpr(const CXXUuidofExpr *E)
bool VisitExprWithCleanups(const ExprWithCleanups *E)
bool visitAsLValue(const Expr *E)
unsigned allocateLocalPrimitive(DeclOrExpr Decl, PrimType Ty, bool IsConst, bool IsVolatile=false, ScopeKind SC=ScopeKind::Block)
Creates a local primitive value.
bool visitWhileStmt(const WhileStmt *S)
bool visitIfStmt(const IfStmt *IS)
bool VisitAddrLabelExpr(const AddrLabelExpr *E)
bool canClassify(const Expr *E) const
bool VisitFloatingLiteral(const FloatingLiteral *E)
Program & P
Program to link to.
bool VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *E)
bool VariablesAreConstexprUnknown
bool VisitGNUNullExpr(const GNUNullExpr *E)
bool VisitImaginaryLiteral(const ImaginaryLiteral *E)
bool VisitSYCLUniqueStableNameExpr(const SYCLUniqueStableNameExpr *E)
bool visitCXXTryStmt(const CXXTryStmt *S)
static bool isUnevaluatedBuiltin(unsigned ID)
Unevaluated builtins don't get their arguments put on the stack automatically.
static bool shouldBeGloballyIndexed(const ValueDecl *VD)
Returns whether we should create a global variable for the given ValueDecl.
Scope used to handle temporaries in toplevel variable declarations.
DeclScope(Compiler< Emitter > *Ctx, const VarDecl *VD)
Wrapper around fixed point types.
static FixedPoint zero(llvm::FixedPointSemantics Sem)
If a Floating is constructed from Memory, it DOES NOT OWN THAT MEMORY.
bool hasThisPointer() const
bool hasRVO() const
Checks if the first argument is a RVO pointer.
InitLinkScope(Compiler< Emitter > *Ctx, InitLink &&Link)
Compiler< Emitter > * Ctx
InitStackScope(Compiler< Emitter > *Ctx, bool Active)
When generating code for e.g.
LocOverrideScope(Compiler< Emitter > *Ctx, SourceInfo NewValue, bool Enabled=true)
Generic scope for local variables.
UnsignedOrNone Idx
Index of the scope in the chain.
~LocalScope() override
Emit a Destroy op for this scope.
bool destroyLocals(const Expr *E=nullptr) override
Explicit destruction of local variables.
bool emitDestructors(const Expr *E=nullptr) override
void removeIfStoredOpaqueValue(const Scope::Local &Local)
void addLocal(Scope::Local Local) override
void removeStoredOpaqueValues()
void forceInit() override
Force-initialize this scope.
LocalScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
Sets the context for break/continue statements.
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
LoopScope(Compiler< Emitter > *Ctx, const Stmt *Name, LabelTy BreakLabel, LabelTy ContinueLabel)
PrimType value_or(PrimType PT) const
Scope used to handle initialization methods.
OptionScope(Compiler< Emitter > *Ctx, bool NewDiscardResult, bool NewInitializing, bool NewToLValue)
Root constructor, compiling or discarding primitives.
Context to manage declaration lifetimes.
Structure/Class descriptor.
bool isUnion() const
Checks if the record is a union.
const Field * getField(unsigned I) const
const Base * getBaseOrNull(const RecordDecl *RD) const
bool hasTrivialDtor() const
Returns true for anonymous unions and records with no destructor or for those with a trivial destruct...
const Base * findVirtualBase(const RecordDecl *RD) const
Returns a virtual base descriptor.
Describes the statement/declaration an opcode was generated from.
const Expr * asExpr() const
SourceLocScope(Compiler< Emitter > *Ctx, const Expr *DefaultExpr)
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
typename Compiler< Emitter >::CaseMap CaseMap
SwitchScope(Compiler< Emitter > *Ctx, const Stmt *Name, CaseMap &&CaseLabels, LabelTy BreakLabel, OptLabelTy DefaultLabel)
Scope chain managing the variable lifetimes.
void addForScopeKind(const Scope::Local &Local, ScopeKind Kind)
Like addExtended, but adds to the nearest scope of the given kind.
bool LocalsAlwaysEnabled
Whether locals added to this scope are enabled by default.
Compiler< Emitter > * Ctx
Compiler instance.
virtual bool emitDestructors(const Expr *E=nullptr)
VariableScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
virtual bool destroyLocals(const Expr *E=nullptr)
virtual void addLocal(Scope::Local Local)
VariableScope * Parent
Link to the parent scope.
ScopeKind getKind() const
VariableScope * getParent() const
uint16_t getPointerAuthTypeDiscriminator(CodeGenModule &CGM, QualType FunctionType)
Return a type discriminator for the given function type.
bool Sub(InterpState &S, CodePtr OpPC)
bool LT(InterpState &S, CodePtr OpPC)
static llvm::RoundingMode getRoundingMode(FPOptions FPO)
constexpr bool isSignedType(PrimType T)
bool Div(InterpState &S, CodePtr OpPC)
1) Pops the RHS from the stack.
constexpr bool isPtrType(PrimType T)
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
bool This(InterpState &S, CodePtr OpPC)
constexpr bool isIntegerOrBoolType(PrimType T)
bool InitScope(InterpState &S, uint32_t I)
static void discard(InterpStack &Stk, PrimType T)
static bool isSideEffectFree(const Expr *E)
Check if E has side-effects.
bool LE(InterpState &S, CodePtr OpPC)
PrimType
Enumeration of the primitive types of the VM.
static std::optional< bool > getBoolValue(const Expr *E)
static bool Activate(InterpState &S)
static bool exceedsArraySizeLimit(const LangOptions &LangOpts, uint64_t NumElems)
Whether the CheckArraySize op rejects an array with NumElems elements.
bool Init(InterpState &S, CodePtr OpPC)
bool DefaultInit(InterpState &S, CodePtr OpPC, const CXXConstructorDecl *Ctor)
bool Mul(InterpState &S, CodePtr OpPC)
size_t primSize(PrimType Type)
Returns the size of a primitive type in bytes.
bool Inc(InterpState &S, CodePtr OpPC, bool CanOverflow)
1) Pops a pointer from the stack 2) Load the value from the pointer 3) Writes the value increased by ...
bool Add(InterpState &S, CodePtr OpPC)
llvm::BitVector collectNonNullArgs(const FunctionDecl *F, ArrayRef< const Expr * > Args)
constexpr bool isIntegerType(PrimType T)
Top level wrappers for InstallAPI frontend operations.
bool isa(CodeGen::Address addr)
bool hasSpecificAttr(const Container &container)
@ Success
Annotation was successful.
@ Link
'link' clause, allowed on 'declare' construct.
DynamicRecursiveASTVisitorBase< true > ConstDynamicRecursiveASTVisitor
ComparisonCategoryResult
An enumeration representing the possible results of a three-way comparison.
@ SD_Static
Static storage duration.
@ SD_FullExpression
Full-expression storage duration (for temporaries).
@ Result
The result type of a method or function.
OptionalUnsigned< unsigned > UnsignedOrNone
const FunctionProtoType * T
U cast(CodeGen::Address addr)
int const char * function
llvm::APSInt getIntValue() const
Get the constant integer value used by this variable to represent the comparison category result type...
EvalResult is a struct with detailed info about an evaluated expression.
const ValueDecl * asValueDecl() const
const Expr * asExpr() const
Describes a memory block created by an allocation site.
unsigned getNumElems() const
Returns the number of elements stored in the block.
bool isPrimitive() const
Checks if the descriptor is of a primitive.
QualType getElemQualType() const
bool hasTrivialDtor() const
Whether variables of this descriptor need their destructor called or not.
bool isCompositeArray() const
Checks if the descriptor is of an array of composites.
const Descriptor *const ElemDesc
Descriptor of the array element.
bool isPrimitiveArray() const
Checks if the descriptor is of an array of primitives.
PrimType getPrimType() const
bool isRecord() const
Checks if the descriptor is of a record.
const Record *const ElemRecord
Pointer to the record, if block contains records.
bool isArray() const
Checks if the descriptor is of an array.
Descriptor used for global variables.
GlobalInitState InitState
static InitLink InitList()
static InitLink Elem(unsigned Index)
bool emit(Compiler< Emitter > *Ctx, const Expr *E) const
static InitLink Field(unsigned Offset)
static InitLink Base(unsigned Offset)
static InitLink Decl(const ValueDecl *D)
static InitLink Temp(unsigned Offset)
Information about a local's storage.
State encapsulating if a the variable creation has been successful, unsuccessful, or no variable has ...
static VarCreationState NotCreated()