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");
141 this->
Ctx->emitDestroy(*
Idx, E);
148 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
149 this->
Ctx->Descriptors.emplace_back();
163 if (
Local.Desc->hasTrivialDtor())
166 if (!
Local.EnabledByDefault) {
167 typename Emitter::LabelTy EndLabel = this->
Ctx->getLabel();
168 if (!this->
Ctx->emitGetLocalEnabled(
Local.Offset, E))
170 if (!this->
Ctx->jumpFalse(EndLabel, E))
173 if (!this->
Ctx->emitGetPtrLocal(
Local.Offset, E))
176 if (!this->
Ctx->emitDestructionPop(
Local.Desc,
Local.Desc->getLoc()))
179 this->
Ctx->fallthrough(EndLabel);
180 this->
Ctx->emitLabel(EndLabel);
182 if (!this->
Ctx->emitGetPtrLocal(
Local.Offset, E))
184 if (!this->
Ctx->emitDestructionPop(
Local.Desc,
Local.Desc->getLoc()))
203 if (
const auto *OVE =
204 llvm::dyn_cast_if_present<OpaqueValueExpr>(
Local.Desc->asExpr())) {
205 this->
Ctx->OpaqueExprs.erase(OVE);
217 OldArrayIndex = Ctx->ArrayIndex;
218 Ctx->ArrayIndex = Index;
225 std::optional<uint64_t> OldArrayIndex;
233 if (!Ctx->SourceLocDefaultExpr) {
235 Ctx->SourceLocDefaultExpr = DefaultExpr;
241 Ctx->SourceLocDefaultExpr =
nullptr;
246 bool Enabled =
false;
252 Ctx->InitStack.push_back(std::move(
Link));
264 : Ctx(Ctx), OldValue(Ctx->InitStackActive), Active(Active) {
267 Ctx->InitStackActive = OldValue || Active;
273 this->Ctx->InitStackActive = OldValue;
275 Ctx->InitStack.pop_back();
289 OldInitializingDecl(
Ctx->InitializingDecl) {
290 Ctx->InitializingDecl = VD;
295 this->
Ctx->InitializingDecl = OldInitializingDecl;
296 this->
Ctx->InitStack.pop_back();
301 const VarDecl *OldInitializingDecl;
309 bool NewInitializing,
bool NewToLValue)
310 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
311 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
312 Ctx->DiscardResult = NewDiscardResult;
313 Ctx->Initializing = NewInitializing;
314 Ctx->ToLValue = NewToLValue;
318 Ctx->DiscardResult = OldDiscardResult;
319 Ctx->Initializing = OldInitializing;
320 Ctx->ToLValue = OldToLValue;
327 bool OldDiscardResult;
328 bool OldInitializing;
332template <
class Emitter>
336 return Ctx->emitThis(E);
339 return Ctx->emitGetPtrFieldPop(
Offset, E);
341 return Ctx->emitGetPtrBasePop(
Offset,
false, E);
343 return Ctx->emitGetPtrLocal(
Offset, E);
347 if (!Ctx->emitConstUint32(
Offset, E))
349 return Ctx->emitArrayElemPtrPopUint32(E);
351 return Ctx->emitRVOPtr(E);
355 llvm_unreachable(
"Unhandled InitLink kind");
371 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
372 assert(LI.Name != Name);
375 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
396 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
398 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
399 assert(LI.Name != Name);
402 this->Ctx->CaseLabels = std::move(CaseLabels);
403 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
405 DefaultLabel, Ctx->VarScope);
409 this->Ctx->CaseLabels = std::move(OldCaseLabels);
410 this->Ctx->LabelInfoStack.pop_back();
415 CaseMap OldCaseLabels;
426 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
429 Ctx->LocOverride = NewValue;
434 Ctx->LocOverride = OldFlag;
439 std::optional<SourceInfo> OldFlag;
446template <
class Emitter>
454 case CK_LValueToRValue: {
462 if (!this->
visit(SubExpr))
464 return this->emitLoadPopL(E);
474 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
480 if (
auto GlobalIndex =
P.getGlobal(D))
481 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
482 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
483 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
484 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
485 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
486 return this->emitGetParam(*SubExprT, It->second.Index, E);
498 if (!this->emitGetPtrLocal(*LocalIndex, E))
502 if (!this->
visit(SubExpr))
506 return this->emitLoadPop(*SubExprT, E);
511 return this->emitMemcpy(E);
514 case CK_DerivedToBaseMemberPointer: {
525 ->getMostRecentCXXRecordDecl();
527 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
528 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
530 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
538 case CK_BaseToDerivedMemberPointer: {
549 ->getMostRecentCXXRecordDecl();
553 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
555 PathI != PathE; ++PathI) {
556 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
557 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
559 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
566 assert(ToDecl != CurDecl);
567 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
569 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
575 case CK_UncheckedDerivedToBase:
576 case CK_DerivedToBase: {
581 if (
const auto *PT = dyn_cast<PointerType>(Ty))
582 return PT->getPointeeType()->getAsCXXRecordDecl();
583 return Ty->getAsCXXRecordDecl();
590 if (B->isVirtual()) {
591 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
593 CurType = B->getType();
595 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
596 if (!this->emitGetPtrBasePop(
599 CurType = B->getType();
606 case CK_BaseToDerived: {
610 auto unwrapPointerType = [](
const Type *
T) ->
const Type * {
611 if (
T->isPointerOrReferenceType())
612 return T->getPointeeType().getTypePtr();
624 llvm::drop_begin(llvm::reverse(E->
path()))) {
625 const Type *TargetType = unwrapPointerType(B->getType().getTypePtr());
626 if (!this->emitGetPtrDerivedPop(NullOK, TargetType, FinalType, E))
630 return this->emitGetPtrDerivedPop(NullOK, FinalType, FinalType, E);
633 case CK_FloatingCast: {
636 return this->emitVectorConversion(E->
getSubExpr(), E);
640 if (!this->
visit(SubExpr))
642 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
646 case CK_IntegralToFloating: {
648 return this->emitVectorConversion(E->
getSubExpr(), E);
651 if (!this->
visit(SubExpr))
653 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
654 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
655 TargetSemantics, getFPOptions(E), E);
658 case CK_FloatingToBoolean: {
660 return this->emitVectorConversion(E->
getSubExpr(), E);
664 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
665 return this->emitConstBool(FL->getValue().isNonZero(), E);
666 if (!this->
visit(SubExpr))
668 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
671 case CK_FloatingToIntegral: {
673 return this->emitVectorConversion(E->
getSubExpr(), E);
676 if (!this->
visit(SubExpr))
680 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
683 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
686 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
689 case CK_NullToPointer:
690 case CK_NullToMemberPointer: {
693 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
698 case CK_PointerToIntegral: {
699 if (!this->
visit(SubExpr))
705 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
711 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
713 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
714 return this->emitCastPointerIntegral(
T, E);
717 case CK_ArrayToPointerDecay: {
718 if (!this->
visit(SubExpr))
720 return this->emitArrayDecay(E);
723 case CK_IntegralToPointer: {
725 assert(IntType->isIntegralOrEnumerationType());
726 if (!this->
visit(SubExpr))
740 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
743 case CK_AtomicToNonAtomic:
744 case CK_ConstructorConversion:
745 case CK_FunctionToPointerDecay:
746 case CK_NonAtomicToAtomic:
748 case CK_UserDefinedConversion:
749 case CK_CPointerToObjCPointerCast:
752 case CK_AddressSpaceConversion: {
756 if (!this->
visit(SubExpr))
761 Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
768 return this->emitPopPtr(E);
786 return this->emitBuiltinBitCast(E);
801 if (!this->
visit(SubExpr))
809 return this->emitFnPtrCast(E);
817 if (!this->
visit(SubExpr))
819 return this->emitDecayPtr(*FromT, *ToT, E);
821 case CK_IntegralToBoolean:
822 case CK_FixedPointToBoolean: {
824 return this->emitVectorConversion(E->
getSubExpr(), E);
830 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
831 return this->emitConst(IL->getValue(), E);
832 if (!this->
visit(SubExpr))
837 case CK_IntegralCast:
839 return this->emitVectorConversion(E->
getSubExpr(), E);
841 case CK_BooleanToSignedIntegral: {
848 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
853 if (!this->emitConst(IL->getValue(), SubExpr))
856 if (!this->
visit(SubExpr))
864 if (!ED->isFixed()) {
865 if (!this->emitCheckEnumValue(*FromT, ED, E))
871 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
874 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
879 if (!this->emitCast(*FromT, *ToT, E))
882 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
883 return this->emitNeg(*ToT, E);
887 case CK_PointerToBoolean:
888 if (!this->
visit(SubExpr))
890 return this->emitIsNonNullPtr(E);
892 case CK_MemberPointerToBoolean:
893 if (!this->
visit(SubExpr))
895 return this->emitIsNonNullMemberPtr(E);
897 case CK_IntegralComplexToBoolean:
898 case CK_FloatingComplexToBoolean: {
899 if (!this->
visit(SubExpr))
901 return this->emitComplexBoolCast(SubExpr);
904 case CK_IntegralComplexToReal:
905 case CK_FloatingComplexToReal:
906 return this->emitComplexReal(SubExpr);
908 case CK_IntegralRealToComplex:
909 case CK_FloatingRealToComplex: {
916 if (!this->emitGetPtrLocal(*LocalIndex, E))
925 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
927 return this->emitInitElem(
T, 1, SubExpr);
930 case CK_IntegralComplexCast:
931 case CK_FloatingComplexCast:
932 case CK_IntegralComplexToFloatingComplex:
933 case CK_FloatingComplexToIntegralComplex: {
940 if (!this->emitGetPtrLocal(*LocalIndex, E))
947 unsigned SubExprOffset =
949 if (!this->
visit(SubExpr))
951 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
959 for (
unsigned I = 0; I != 2; ++I) {
960 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
962 if (!this->emitArrayElemPop(SourceElemT, I, E))
966 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
970 if (!this->emitInitElem(DestElemT, I, E))
976 case CK_VectorSplat: {
987 if (!this->emitGetPtrLocal(*LocalIndex, E))
993 unsigned ElemOffset =
997 if (!this->
visit(SubExpr))
1002 if (!this->emitSetLocal(ElemT, ElemOffset, E))
1005 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
1006 if (!this->emitGetLocal(ElemT, ElemOffset, E))
1008 if (!this->emitInitElem(ElemT, I, E))
1015 case CK_HLSLVectorTruncation: {
1020 if (!this->
visit(SubExpr))
1022 return this->emitArrayElemPop(*ResultT, 0, E);
1031 if (!this->emitGetPtrLocal(*LocalIndex, E))
1036 if (!this->
visit(SubExpr))
1038 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1042 case CK_IntegralToFixedPoint: {
1043 if (!this->
visit(SubExpr))
1047 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1052 return this->emitPopFixedPoint(E);
1055 case CK_FloatingToFixedPoint: {
1056 if (!this->
visit(SubExpr))
1060 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1061 if (!this->emitCastFloatingFixedPoint(Sem, E))
1064 return this->emitPopFixedPoint(E);
1067 case CK_FixedPointToFloating: {
1068 if (!this->
visit(SubExpr))
1070 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1071 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1074 return this->emitPopFloat(E);
1077 case CK_FixedPointToIntegral: {
1078 if (!this->
visit(SubExpr))
1081 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1084 return this->emitPop(IntegralT, E);
1087 case CK_FixedPointCast: {
1088 if (!this->
visit(SubExpr))
1091 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1092 if (!this->emitCastFixedPoint(Sem, E))
1095 return this->emitPopFixedPoint(E);
1103 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1105 case CK_LValueBitCast:
1110 case CK_HLSLArrayRValue: {
1117 if (!this->emitGetPtrLocal(*LocalIndex, E))
1120 if (!this->
visit(SubExpr))
1122 return this->emitMemcpy(E);
1125 case CK_HLSLMatrixTruncation: {
1130 if (!this->
visit(SubExpr))
1132 return this->emitArrayElemPop(*ResultT, 0, E);
1141 if (!this->emitGetPtrLocal(*LocalIndex, E))
1146 if (!this->
visit(SubExpr))
1148 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1152 case CK_HLSLAggregateSplatCast: {
1162 if (!this->emitGetPtrLocal(*LocalIndex, E))
1169 unsigned SrcOffset =
1172 if (!this->
visit(SubExpr))
1174 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1178 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1181 case CK_HLSLElementwiseCast: {
1192 unsigned SrcPtrOffset =
1194 if (!this->
visit(SubExpr))
1196 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1200 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1202 if (Elements.empty())
1205 const HLSLFlatElement &Src = Elements[0];
1206 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1208 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1215 if (!this->emitGetPtrLocal(*LocalIndex, E))
1219 unsigned SrcOffset =
1221 if (!this->
visit(SubExpr))
1223 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1227 unsigned ElemCount = countHLSLFlatElements(DestType);
1230 Elements.reserve(ElemCount);
1231 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1236 assert(Elements.size() == ElemCount &&
1237 "Source type has fewer scalar elements than the destination type");
1239 return emitHLSLConstructAggregate(DestType, Elements, E);
1246 const Record::Field *RF = R->getField(UnionField);
1249 if (!this->
visit(SubExpr))
1251 if (RF->isBitField())
1252 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1254 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1257 if (!this->emitGetPtrField(RF->Offset, E))
1259 if (!this->emitActivate(E))
1265 return this->emitInvalid(E);
1267 llvm_unreachable(
"Unhandled clang::CastKind enum");
1270template <
class Emitter>
1272 return this->emitBuiltinBitCast(E);
1275template <
class Emitter>
1280 return this->emitConst(
LE->getValue(),
LE);
1283template <
class Emitter>
1289 return this->emitFloat(F, E);
1292template <
class Emitter>
1302 if (!this->emitGetPtrLocal(*LocalIndex, E))
1309 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1311 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1315 return this->emitFinishInit(E);
1318template <
class Emitter>
1326 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1331template <
class Emitter>
1336template <
class Emitter>
1363 return this->emitComplexComparison(LHS, RHS, E);
1371 if (!this->
visit(LHS))
1374 if (!this->
visit(RHS))
1377 if (!this->emitToMemberPtr(E))
1383 if (!this->emitCastMemberPtrPtr(E))
1400 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1406 if (!this->emitGetPtrLocal(*ResultIndex, E))
1413 return this->emitCMP3(*
LT, CmpInfo, E);
1416 if (!
LT || !RT || !
T)
1426 return this->visitAssignment(LHS, RHS, E);
1433 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1437 return this->emitPopBool(E);
1439 return this->emitCast(
PT_Bool, *
T, E);
1443 auto Discard = [
this,
T, E](
bool Result) {
1451 return MaybeCastToBool(this->emitEQ(*
LT, E));
1453 return MaybeCastToBool(this->emitNE(*
LT, E));
1455 return MaybeCastToBool(this->emitLT(*
LT, E));
1457 return MaybeCastToBool(this->emitLE(*
LT, E));
1459 return MaybeCastToBool(this->emitGT(*
LT, E));
1461 return MaybeCastToBool(this->emitGE(*
LT, E));
1464 return Discard(this->emitSubf(getFPOptions(E), E));
1465 return Discard(this->emitSub(*
T, E));
1468 return Discard(this->emitAddf(getFPOptions(E), E));
1469 return Discard(this->emitAdd(*
T, E));
1472 return Discard(this->emitMulf(getFPOptions(E), E));
1473 return Discard(this->emitMul(*
T, E));
1475 return Discard(this->emitRem(*
T, E));
1478 return Discard(this->emitDivf(getFPOptions(E), E));
1479 return Discard(this->emitDiv(*
T, E));
1481 return Discard(this->emitBitAnd(*
T, E));
1483 return Discard(this->emitBitOr(*
T, E));
1485 return Discard(this->emitShl(*
LT, *RT, E));
1487 return Discard(this->emitShr(*
LT, *RT, E));
1489 return Discard(this->emitBitXor(*
T, E));
1492 llvm_unreachable(
"Already handled earlier");
1497 llvm_unreachable(
"Unhandled binary op");
1502template <
class Emitter>
1508 if ((Op != BO_Add && Op != BO_Sub) ||
1519 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1520 if (!this->
visit(E))
1523 return this->emitDecayPtr(
T,
PT_Ptr, E);
1532 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1540 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1543 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1550 if (!visitAsPointer(RHS, *RT))
1552 if (!this->
visit(LHS))
1556 if (!visitAsPointer(LHS, *
LT))
1558 if (!this->
visit(RHS))
1569 if (!this->emitAddOffset(OffsetType, E))
1573 if (!this->emitSubOffset(OffsetType, E))
1582 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1587 return this->emitPop(ExprT, E);
1591template <
class Emitter>
1600 LabelTy LabelTrue = this->getLabel();
1601 LabelTy LabelEnd = this->getLabel();
1605 if (!this->jumpTrue(LabelTrue, E))
1610 if (!this->jump(LabelEnd, E))
1613 this->emitLabel(LabelTrue);
1614 this->emitConstBool(
true, E);
1615 this->fallthrough(LabelEnd);
1616 this->emitLabel(LabelEnd);
1619 assert(Op == BO_LAnd);
1622 LabelTy LabelFalse = this->getLabel();
1623 LabelTy LabelEnd = this->getLabel();
1627 if (!this->jumpFalse(LabelFalse, E))
1632 if (!this->jump(LabelEnd, E))
1635 this->emitLabel(LabelFalse);
1636 this->emitConstBool(
false, E);
1637 this->fallthrough(LabelEnd);
1638 this->emitLabel(LabelEnd);
1642 return this->emitPopBool(E);
1647 return this->emitCast(
PT_Bool,
T, E);
1652template <
class Emitter>
1659 if (!this->emitGetPtrLocal(*LocalIndex, E))
1668 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1669 unsigned ResultOffset = ~0u;
1675 if (!this->emitDupPtr(E))
1677 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1682 LHSType = AT->getValueType();
1685 RHSType = AT->getValueType();
1694 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1699 if (!this->
visit(LHS))
1701 if (!this->
visit(RHS))
1703 if (!this->emitMulc(ElemT, E))
1706 return this->emitPopPtr(E);
1710 if (Op == BO_Div && RHSIsComplex) {
1717 if (!LHSIsComplex) {
1722 LHSOffset = *LocalIndex;
1724 if (!this->emitGetPtrLocal(LHSOffset, E))
1727 if (!this->
visit(LHS))
1730 if (!this->emitInitElem(ElemT, 0, E))
1733 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1735 if (!this->emitInitElem(ElemT, 1, E))
1738 if (!this->
visit(LHS))
1742 if (!this->
visit(RHS))
1744 if (!this->emitDivc(ElemT, E))
1747 return this->emitPopPtr(E);
1754 if (!this->
visit(LHS))
1756 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1761 if (!this->
visit(LHS))
1763 if (!this->emitSetLocal(LHST, LHSOffset, E))
1771 if (!this->
visit(RHS))
1773 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1778 if (!this->
visit(RHS))
1780 if (!this->emitSetLocal(RHST, RHSOffset, E))
1787 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1788 unsigned ElemIndex,
unsigned Offset,
1789 const Expr *E) ->
bool {
1791 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1793 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1796 if (ElemIndex == 0 || !LoadZero)
1803 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1806 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1813 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1816 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1819 if (!this->emitAddf(getFPOptions(E), E))
1822 if (!this->emitAdd(ResultElemT, E))
1827 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1830 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1833 if (!this->emitSubf(getFPOptions(E), E))
1836 if (!this->emitSub(ResultElemT, E))
1841 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1844 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1848 if (!this->emitMulf(getFPOptions(E), E))
1851 if (!this->emitMul(ResultElemT, E))
1856 assert(!RHSIsComplex);
1857 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1860 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1864 if (!this->emitDivf(getFPOptions(E), E))
1867 if (!this->emitDiv(ResultElemT, E))
1878 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1881 if (!this->emitPop(ResultElemT, E))
1886 return this->emitPopPtr(E);
1889 return this->emitFinishInit(E);
1892template <
class Emitter>
1897 "Comma op should be handled in VisitBinaryOperator");
1901 LHSType = AT->getValueType();
1904 RHSType = AT->getValueType();
1918 if (!this->emitGetPtrLocal(*LocalIndex, E))
1927 PrimType ElemT = this->classifyVectorElementType(LHSType);
1928 PrimType RHSElemT = this->classifyVectorElementType(RHSType);
1932 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1935 if (!this->
visit(LHS))
1937 if (!this->
visit(RHS))
1939 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1942 return this->emitPopPtr(E);
1947 unsigned LHSOffset =
1949 if (!this->
visit(LHS))
1951 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1955 unsigned RHSOffset =
1957 if (!this->
visit(RHS))
1959 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1971 if (NeedIntPromot) {
1973 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1978 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1979 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1981 if (!this->emitArrayElemPop(ElemT, Index, E))
1984 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1986 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1988 }
else if (NeedIntPromot) {
1989 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1995#define EMIT_ARITH_OP(OP) \
1997 if (ElemT == PT_Float) { \
1998 if (!this->emit##OP##f(getFPOptions(E), E)) \
2001 if (!this->emit##OP(ElemT, E)) \
2007 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
2008 if (!getElem(LHSOffset, ElemT, I))
2010 if (!getElem(RHSOffset, RHSElemT, I))
2022 if (!this->emitRem(ElemT, E))
2026 if (!this->emitBitAnd(OpT, E))
2030 if (!this->emitBitOr(OpT, E))
2034 if (!this->emitBitXor(OpT, E))
2038 if (!this->emitShl(OpT, RHSElemT, E))
2042 if (!this->emitShr(OpT, RHSElemT, E))
2046 if (!this->emitEQ(ElemT, E))
2050 if (!this->emitNE(ElemT, E))
2054 if (!this->emitLE(ElemT, E))
2058 if (!this->emitLT(ElemT, E))
2062 if (!this->emitGE(ElemT, E))
2066 if (!this->emitGT(ElemT, E))
2071 if (!this->emitBitAnd(ResultElemT, E))
2076 if (!this->emitBitOr(ResultElemT, E))
2080 return this->emitInvalid(E);
2089 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2091 if (!this->emitNeg(ResultElemT, E))
2097 if (NeedIntPromot &&
2098 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2102 if (!this->emitInitElem(ResultElemT, I, E))
2111template <
class Emitter>
2121 auto LHSSemaInt = LHSSema.toOpaqueInt();
2123 auto RHSSemaInt = RHSSema.toOpaqueInt();
2125 if (!this->
visit(LHS))
2133 if (!this->
visit(RHS))
2142 auto ConvertResult = [&](
bool R) ->
bool {
2146 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2147 if (ResultSema != CommonSema)
2148 return this->emitCastFixedPoint(ResultSema, E);
2152 auto MaybeCastToBool = [&](
bool Result) {
2157 return this->emitPop(
T, E);
2159 return this->emitCast(
PT_Bool,
T, E);
2165 return MaybeCastToBool(this->emitEQFixedPoint(E));
2167 return MaybeCastToBool(this->emitNEFixedPoint(E));
2169 return MaybeCastToBool(this->emitLTFixedPoint(E));
2171 return MaybeCastToBool(this->emitLEFixedPoint(E));
2173 return MaybeCastToBool(this->emitGTFixedPoint(E));
2175 return MaybeCastToBool(this->emitGEFixedPoint(E));
2177 return ConvertResult(this->emitAddFixedPoint(E));
2179 return ConvertResult(this->emitSubFixedPoint(E));
2181 return ConvertResult(this->emitMulFixedPoint(E));
2183 return ConvertResult(this->emitDivFixedPoint(E));
2185 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2187 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2190 return this->emitInvalid(E);
2193 llvm_unreachable(
"unhandled binop opcode");
2196template <
class Emitter>
2205 if (!this->
visit(SubExpr))
2207 if (!this->emitNegFixedPoint(E))
2210 return this->emitPopFixedPoint(E);
2216 llvm_unreachable(
"Unhandled unary opcode");
2219template <
class Emitter>
2228 return this->visitZeroInitializer(*
T, QT, E);
2241 return this->visitZeroRecordInitializer(R, E);
2248 return this->visitZeroArrayInitializer(QT, E);
2252 QualType ElemQT = ComplexTy->getElementType();
2254 for (
unsigned I = 0; I < 2; ++I) {
2255 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2257 if (!this->emitInitElem(ElemT, I, E))
2264 unsigned NumVecElements = VecT->getNumElements();
2265 QualType ElemQT = VecT->getElementType();
2268 for (
unsigned I = 0; I < NumVecElements; ++I) {
2269 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2271 if (!this->emitInitElem(ElemT, I, E))
2278 unsigned NumElems = MT->getNumElementsFlattened();
2279 QualType ElemQT = MT->getElementType();
2282 for (
unsigned I = 0; I != NumElems; ++I) {
2283 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2285 if (!this->emitInitElem(ElemT, I, E))
2294template <
class Emitter>
2307 for (
const Expr *SubExpr : {LHS, RHS}) {
2308 if (!this->
visit(SubExpr)) {
2315 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2316 if (!this->emitExpandPtr(E))
2327 return this->emitError(E);
2330 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2334 if (!this->emitArrayElemPtrPop(*IndexT, E))
2337 return this->emitPopPtr(E);
2343 return this->emitLoadPop(*
T, E);
2346template <
class Emitter>
2348 const Expr *ArrayFiller,
const Expr *E) {
2353 QT = AT->getValueType();
2356 if (
Inits.size() == 0)
2358 return this->emitInvalid(E);
2371 if (
Inits.size() == 0)
2372 return this->visitZeroInitializer(*
T, QT, E);
2373 assert(
Inits.size() == 1);
2387 if (!this->emitGetPtrLocal(*LocalIndex, E))
2402 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2408 if (
DefaultInit && !this->emitStartFieldInit(FieldToInit->Offset,
Init))
2417 bool BitField = FieldToInit->isBitField();
2419 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2420 FieldToInit->bitWidth(), E);
2422 return this->emitInitBitField(
T, FieldToInit->Offset,
2423 FieldToInit->bitWidth(), E);
2425 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2426 return this->emitInitField(
T, FieldToInit->Offset, E);
2429 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2437 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2440 if (
Activate && !this->emitActivate(E))
2443 if (!this->emitStartInit(
Init))
2450 if (
Inits.size() == 0) {
2451 if (!this->visitZeroRecordInitializer(R, E))
2456 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2457 FToInit = ILE->getInitializedFieldInUnion();
2461 const Record::Field *FieldToInit = R->getField(FToInit);
2463 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2466 if (!initCompositeField(FieldToInit,
Init,
true))
2470 return this->emitFinishInit(E);
2473 assert(!R->isUnion());
2474 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2476 const Record::Base *B = R->getBase(BI);
2479 if (!this->emitGetPtrBase(B->Offset,
Init))
2485 unsigned FieldIndex = 0;
2486 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2487 const Record::Field *FieldToInit = R->getField(FieldIndex);
2488 if (FieldToInit->isUnnamedBitField()) {
2503 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2505 }
else if (!initCompositeField(FieldToInit,
Init)) {
2513 assert(R->getNumVirtualBases() == 0);
2515 return this->emitFinishInit(E);
2520 Ctx.getASTContext().getAsConstantArrayType(QT);
2525 !this->emitCheckArrayDestSize(NumElems, E))
2528 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2532 unsigned ElementIndex = 0;
2534 if (
const auto *EmbedS =
2535 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2543 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2544 getFPOptions(E), E))
2550 return this->emitInitElem(TargetT, ElemIndex, IL);
2552 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2568 for (; ElementIndex != NumElems; ++ElementIndex) {
2574 return this->emitFinishInit(E);
2578 unsigned NumInits =
Inits.size();
2583 QualType ElemQT = ComplexTy->getElementType();
2585 if (NumInits == 0) {
2587 for (
unsigned I = 0; I < 2; ++I) {
2588 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2590 if (!this->emitInitElem(ElemT, I, E))
2593 }
else if (NumInits == 2) {
2594 unsigned InitIndex = 0;
2599 if (!this->emitInitElem(ElemT, InitIndex, E))
2608 unsigned NumVecElements = VecT->getNumElements();
2609 assert(NumVecElements >=
Inits.size());
2611 QualType ElemQT = VecT->getElementType();
2615 unsigned InitIndex = 0;
2622 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2623 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2624 InitVecT->getNumElements(), E))
2626 InitIndex += InitVecT->getNumElements();
2628 if (!this->emitInitElem(ElemT, InitIndex, E))
2634 assert(InitIndex <= NumVecElements);
2637 for (; InitIndex != NumVecElements; ++InitIndex) {
2638 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2640 if (!this->emitInitElem(ElemT, InitIndex, E))
2647 unsigned NumElems = MT->getNumElementsFlattened();
2648 assert(
Inits.size() == NumElems);
2650 QualType ElemQT = MT->getElementType();
2656 for (
unsigned I = 0; I != NumElems; ++I) {
2659 if (!this->emitInitElem(ElemT, I, E))
2670template <
class Emitter>
2677 return this->emitInitElem(*InitT, ElemIndex,
Init);
2683 if (!this->emitConstUint32(ElemIndex,
Init))
2685 if (!this->emitArrayElemPtrUint32(
Init))
2690template <
class Emitter>
2693 bool Activate,
bool IsOperatorCall) {
2695 llvm::BitVector NonNullArgs;
2696 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2699 bool ExplicitMemberFn =
false;
2700 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2701 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2703 unsigned ArgIndex = 0;
2704 for (
const Expr *Arg : Args) {
2706 if (!this->
visit(Arg))
2714 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2715 if (DeclIndex < FuncDecl->getNumParams())
2716 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2725 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2733 if (!this->emitActivate(Arg))
2737 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2740 if (!this->emitCheckNonNullArg(ArgT, Arg))
2751template <
class Emitter>
2756template <
class Emitter>
2762template <
class Emitter>
2768template <
class Emitter>
2788 if (!this->emitGetPtrLocal(*LocalIndex, E))
2794template <
class Emitter>
2796 auto It = E->
begin();
2797 return this->
visit(*It);
2801 UnaryExprOrTypeTrait Kind) {
2806 T = Ref->getPointeeType();
2808 if (
T.getQualifiers().hasUnaligned())
2811 bool AlignOfReturnsPreferred =
2816 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2822template <
class Emitter>
2826 UnaryExprOrTypeTrait Kind = E->
getKind();
2829 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2835 ArgType = Ref->getPointeeType();
2841 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2842 return this->emitInvalid(E);
2844 if (Kind == UETT_SizeOf)
2853 return this->emitConst(Size.getQuantity(), E);
2856 if (Kind == UETT_CountOf) {
2862 if (
const auto *CAT =
2866 return this->emitConst(CAT->getSize(), E);
2876 if (VAT->getElementType()->isArrayType()) {
2877 std::optional<APSInt> Res =
2879 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2884 return this->emitConst(*Res, E);
2889 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2909 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2912 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2922 return this->emitConst(Size.getQuantity(), E);
2925 if (Kind == UETT_VectorElements) {
2930 return this->emitConst(VT->getNumElements(), E);
2932 return this->emitSizelessVectorElementSize(E);
2935 if (Kind == UETT_VecStep) {
2937 unsigned N = VT->getNumElements();
2944 return this->emitConst(N, E);
2946 return this->emitConst(1, E);
2949 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2958 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2960 return this->emitInvalid(E);
2962 return this->emitConst(
2971template <
class Emitter>
2980 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2985 if (VD->getInit() && !VD->getInit()->isValueDependent())
2986 VD->evaluateValue();
2987 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2988 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2990 if (
Member->getType()->isReferenceType())
2991 return this->emitLoadPopPtr(E);
3000 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
3001 MD && !MD->isStatic()) {
3005 if (!this->
discard(Base) && !this->emitSideEffect(E))
3020 const Record::Field *F = R->getField(FD);
3024 const auto maybeLoadValue = [&]() ->
bool {
3028 return this->emitLoadPop(*
T, E);
3033 if (F->Decl->getType()->isReferenceType())
3034 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
3035 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
3038template <
class Emitter>
3048template <
class Emitter>
3058 return this->emitCheckArraySize(Size, E);
3064 if (!this->
visit(Common))
3066 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
3080 for (
size_t I = 0; I != Size; ++I) {
3092template <
class Emitter>
3107 return this->emitGetLocal(SubExprT, It->second, E);
3110 if (!this->
visit(SourceExpr))
3117 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3126 return this->emitGetLocal(SubExprT, LocalIndex, E);
3130template <
class Emitter>
3143 bool IsBcpCall =
false;
3144 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3145 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3149 LabelTy LabelEnd = this->getLabel();
3150 LabelTy LabelFalse = this->getLabel();
3153 if (!this->emitPushIgnoreDiags(E))
3161 if (this->checkingForUndefinedBehavior()) {
3164 if (!this->
discard(FalseExpr))
3178 if (!this->jumpFalse(LabelFalse, E))
3183 if (!this->jump(LabelEnd, E))
3185 this->emitLabel(LabelFalse);
3189 this->fallthrough(LabelEnd);
3190 this->emitLabel(LabelEnd);
3193 return this->emitPopIgnoreDiags(E);
3197template <
class Emitter>
3203 return this->emitGetStringPtr(E, E);
3207 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3208 assert(CAT &&
"a string literal that's not a constant array?");
3213 unsigned N = std::min(ArraySize, E->
getLength());
3216 for (
unsigned I = 0; I != N; ++I) {
3219 if (CharWidth == 1) {
3220 this->emitConstSint8(CodeUnit, E);
3221 this->emitInitElemSint8(I, E);
3222 }
else if (CharWidth == 2) {
3223 this->emitConstUint16(CodeUnit, E);
3224 this->emitInitElemUint16(I, E);
3225 }
else if (CharWidth == 4) {
3226 this->emitConstUint32(CodeUnit, E);
3227 this->emitInitElemUint32(I, E);
3229 llvm_unreachable(
"unsupported character width");
3234 for (
unsigned I = N; I != ArraySize; ++I) {
3235 if (CharWidth == 1) {
3236 this->emitConstSint8(0, E);
3237 this->emitInitElemSint8(I, E);
3238 }
else if (CharWidth == 2) {
3239 this->emitConstUint16(0, E);
3240 this->emitInitElemUint16(I, E);
3241 }
else if (CharWidth == 4) {
3242 this->emitConstUint32(0, E);
3243 this->emitInitElemUint32(I, E);
3245 llvm_unreachable(
"unsupported character width");
3252template <
class Emitter>
3256 return this->emitDummyPtr(E, E);
3259template <
class Emitter>
3261 auto &A =
Ctx.getASTContext();
3270template <
class Emitter>
3278 auto &A =
Ctx.getASTContext();
3282 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3283 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3289 return this->emitGetStringPtr(SL, E);
3292template <
class Emitter>
3296 return this->emitConst(E->
getValue(), E);
3299template <
class Emitter>
3321 if (!this->emitLoad(LHST, E))
3324 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3325 LHSComputationType, E))
3337 unsigned TempOffset =
3339 if (!this->emitSetLocal(*RT, TempOffset, E))
3345 if (!this->emitLoad(LHST, E))
3349 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3350 LHSComputationType, E))
3354 if (!this->emitGetLocal(*RT, TempOffset, E))
3360 if (!this->emitAddf(getFPOptions(E), E))
3364 if (!this->emitSubf(getFPOptions(E), E))
3368 if (!this->emitMulf(getFPOptions(E), E))
3372 if (!this->emitDivf(getFPOptions(E), E))
3383 return this->emitStorePop(LHST, E);
3384 return this->emitStore(LHST, E);
3387template <
class Emitter>
3396 if (Op != BO_AddAssign && Op != BO_SubAssign)
3405 if (!this->emitLoad(*
LT, LHS))
3411 if (Op == BO_AddAssign) {
3412 if (!this->emitAddOffset(*RT, E))
3415 if (!this->emitSubOffset(*RT, E))
3420 return this->emitStorePopPtr(E);
3421 return this->emitStorePtr(E);
3424template <
class Emitter>
3437 if (!
Ctx.getLangOpts().CPlusPlus14)
3438 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3440 if (!
LT || !RT || !ResultT || !LHSComputationT)
3457 if (!this->emitLoad(*
LT, E))
3459 if (
LT != LHSComputationT &&
3460 !this->emitIntegralCast(*
LT, *LHSComputationT,
3474 unsigned TempOffset =
3477 if (!this->emitSetLocal(*RT, TempOffset, E))
3484 if (!this->emitLoad(*
LT, E))
3486 if (
LT != LHSComputationT &&
3487 !this->emitIntegralCast(*
LT, *LHSComputationT,
3492 if (!this->emitGetLocal(*RT, TempOffset, E))
3499 if (!this->emitAdd(*LHSComputationT, E))
3503 if (!this->emitSub(*LHSComputationT, E))
3507 if (!this->emitMul(*LHSComputationT, E))
3511 if (!this->emitDiv(*LHSComputationT, E))
3515 if (!this->emitRem(*LHSComputationT, E))
3519 if (!this->emitShl(*LHSComputationT, *RT, E))
3523 if (!this->emitShr(*LHSComputationT, *RT, E))
3527 if (!this->emitBitAnd(*LHSComputationT, E))
3531 if (!this->emitBitXor(*LHSComputationT, E))
3535 if (!this->emitBitOr(*LHSComputationT, E))
3539 llvm_unreachable(
"Unimplemented compound assign operator");
3543 if (ResultT != LHSComputationT &&
3544 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3550 return this->emitStoreBitFieldPop(*ResultT, E);
3551 return this->emitStorePop(*ResultT, E);
3554 return this->emitStoreBitField(*ResultT, E);
3555 return this->emitStore(*ResultT, E);
3558template <
class Emitter>
3566template <
class Emitter>
3581 if (!
Ctx.getLangOpts().CPlusPlus11)
3588 for (
const Expr *LHS : CommaLHSs) {
3603 if (this->constantFolding())
3614 if (!this->
visit(Inner))
3619 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3622 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3625 return this->emitGetPtrGlobal(*GlobalIndex, E);
3628 if (!this->checkLiteralType(Inner))
3631 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3637 return this->emitInitGlobalTempComp(TempDecl, E);
3650 unsigned LocalIndex =
3652 if (!this->VarScope->LocalsAlwaysEnabled &&
3653 !this->emitEnableLocal(LocalIndex, E))
3656 if (!this->
visit(Inner))
3658 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3661 return this->emitGetPtrLocal(LocalIndex, E);
3664 if (!this->checkLiteralType(Inner))
3671 if (!this->VarScope->LocalsAlwaysEnabled &&
3672 !this->emitEnableLocal(*LocalIndex, E))
3675 if (!this->emitGetPtrLocal(*LocalIndex, E))
3682template <
class Emitter>
3693 if (!this->
visit(SubExpr))
3697 return this->emitPopPtr(E);
3701template <
class Emitter>
3722 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3727 if (
P.isGlobalInitialized(*GlobalIndex))
3733 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3745 unsigned LocalIndex;
3749 LocalIndex = *MaybeIndex;
3753 if (!this->emitGetPtrLocal(LocalIndex, E))
3757 return this->
visit(
Init) && this->emitInit(*
T, E);
3761template <
class Emitter>
3772 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3776 if (!R || R->getNumFields() == 0)
3778 const Record::Field *Field = R->getField(0
U);
3783 return this->emitInitField(*Field->T, Field->Offset, E);
3790template <
class Emitter>
3794 return this->emitConst(E->
getValue(), E);
3797template <
class Emitter>
3810 for (
const Record::Field &F : R->fields()) {
3812 if (!
Init ||
Init->containsErrors())
3820 if (!this->emitInitField(*
T, F.Offset, E))
3823 if (!this->emitGetPtrField(F.Offset, E))
3834template <
class Emitter>
3840 return this->emitGetStringPtr(E, E);
3844template <
class Emitter>
3849 return this->emitInvalid(E);
3852template <
class Emitter>
3866 if (!this->emitInvalidCast(
CastKind,
false, E))
3874 bool Fatal = (ToT != FromT);
3881template <
class Emitter>
3883 if (!
Ctx.getLangOpts().CPlusPlus20) {
3904 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3909 return this->emitPopPtr(E);
3913template <
class Emitter>
3919 return this->emitConstBool(E->
getValue(), E);
3922template <
class Emitter>
3927 if (
T->isRecordType()) {
3941 if (!this->emitGetPtrLocal(*LocalIndex, E))
3949 T->getAsCXXRecordDecl()))
3959 if (!this->visitZeroRecordInitializer(R, E))
3970 if (!this->emitDefaultInit(Ctor, E))
3973 return this->emitPopPtr(E);
3981 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3983 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3984 if (!this->emitCheckFunctionDecl(Ctor, E))
3995 assert(
Func->hasThisPointer());
3996 assert(!
Func->hasRVO());
4000 if (!this->emitDupPtr(E))
4004 for (
const auto *Arg : E->
arguments()) {
4005 if (!this->
visit(Arg))
4009 if (
Func->isVariadic()) {
4010 uint32_t VarArgSize = 0;
4011 unsigned NumParams =
Func->getNumWrittenParams();
4012 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
4016 if (!this->emitCallVar(
Func, VarArgSize, E))
4019 if (!this->emitCall(
Func, 0, E)) {
4024 (void)this->emitPopPtr(E);
4030 return this->emitPopPtr(E);
4034 if (
T->isArrayType()) {
4039 if (!this->emitDupPtr(E))
4043 initArrayDimension = [&](
QualType T) ->
bool {
4044 if (!
T->isArrayType()) {
4046 for (
const auto *Arg : E->
arguments()) {
4047 if (!this->
visit(Arg))
4051 return this->emitCall(
Func, 0, E);
4055 Ctx.getASTContext().getAsConstantArrayType(
T);
4061 return this->emitCheckArraySize(NumElems, E);
4062 for (uint64_t I = 0; I != NumElems; ++I) {
4063 if (!this->emitConstUint64(I, E))
4065 if (!this->emitArrayElemPtrUint64(E))
4067 if (!initArrayDimension(ElemTy))
4070 return this->emitPopPtr(E);
4073 return initArrayDimension(E->
getType());
4079template <
class Emitter>
4089 assert(Val.
isInt());
4091 return this->emitConst(I, E);
4098 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4099 return this->
visit(LValueExpr);
4114 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4118 const APValue &
V = UGCD->getValue();
4119 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4120 const Record::Field *F = R->getField(I);
4121 const APValue &FieldValue =
V.getStructField(I);
4125 if (!this->emitInitField(*F->T, F->Offset, E))
4133template <
class Emitter>
4139 for (
unsigned I = 0; I != N; ++I) {
4146 if (!this->
discard(ArrayIndexExpr))
4152 if (!this->
visit(ArrayIndexExpr))
4154 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4158 if (!this->
visit(ArrayIndexExpr))
4162 if (!this->emitCast(IndexT,
PT_Sint64, E))
4172 return this->emitOffsetOf(
T, E, E);
4175template <
class Emitter>
4184 return this->visitZeroInitializer(*
T, Ty, E);
4191 if (!this->emitGetPtrLocal(*LocalIndex, E))
4199 ElemQT = CT->getElementType();
4202 NumElems = VT->getNumElements();
4203 ElemQT = VT->getElementType();
4209 for (
unsigned I = 0; I != NumElems; ++I) {
4210 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4212 if (!this->emitInitElem(ElemT, I, E))
4221template <
class Emitter>
4226template <
class Emitter>
4232template <
class Emitter>
4237template <
class Emitter>
4242 return this->emitConst(E->
getValue(), E);
4245template <
class Emitter>
4267 unsigned ParamIndex = 0;
4271 if (!this->emitGetParam(PT, ParamIndex, E))
4276 return this->emitCall(F, 0, E);
4281template <
class Emitter>
4289 const Expr *PlacementDest =
nullptr;
4290 bool IsNoThrow =
false;
4295 if (PlacementArgs != 0) {
4304 if (PlacementArgs == 1) {
4306 if (OperatorNew->isReservedGlobalPlacementOperator()) {
4307 if (!this->emitCheckPlacementNew(E, E))
4309 PlacementDest = Arg1;
4313 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation()) {
4320 return this->emitInvalidNewDeleteExpr(E, E);
4324 return this->emitInvalid(E);
4326 }
else if (!OperatorNew
4327 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4328 return this->emitInvalidNewDeleteExpr(E, E);
4331 if (!PlacementDest) {
4336 Desc =
P.createDescriptor(E, *ElemT);
4338 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4345 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4349 const Expr *Stripped = *ArraySizeExpr;
4350 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4351 Stripped = ICE->getSubExpr())
4352 if (ICE->getCastKind() != CK_NoOp &&
4353 ICE->getCastKind() != CK_IntegralCast)
4361 if (!this->
visit(Stripped))
4363 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4366 if (PlacementDest) {
4367 if (!this->
visit(PlacementDest))
4369 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4371 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4374 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4379 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4383 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4390 size_t StaticInitElems = 0;
4391 const Expr *DynamicInit =
nullptr;
4395 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4396 StaticInitElems = CAT->getZExtSize();
4401 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4402 if (ILE->hasArrayFiller())
4403 DynamicInit = ILE->getArrayFiller();
4422 const Function *CtorFunc =
nullptr;
4423 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4427 }
else if (!DynamicInit && !ElemT)
4430 LabelTy EndLabel = this->getLabel();
4431 LabelTy StartLabel = this->getLabel();
4436 if (!this->emitDupPtr(E))
4438 if (!this->emitIsNonNullPtr(E))
4440 if (!this->jumpFalse(EndLabel, E))
4447 if (!this->emitConst(StaticInitElems,
SizeT, E))
4449 if (!this->emitSetLocal(
SizeT, Iter, E))
4452 this->fallthrough(StartLabel);
4453 this->emitLabel(StartLabel);
4455 if (!this->emitGetLocal(
SizeT, Iter, E))
4457 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4459 if (!this->emitLT(
SizeT, E))
4461 if (!this->jumpFalse(EndLabel, E))
4465 if (!this->emitGetLocal(
SizeT, Iter, E))
4467 if (!this->emitArrayElemPtr(
SizeT, E))
4470 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4475 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4477 if (!this->emitStorePop(*InitT, E))
4481 if (!this->visitZeroArrayInitializer(ElemType, E))
4484 }
else if (DynamicInit) {
4486 if (!this->
visit(DynamicInit))
4488 if (!this->emitStorePop(*InitT, E))
4495 if (!this->visitZeroInitializer(
4499 if (!this->emitStorePop(*ElemT, E))
4503 if (!this->emitCall(CtorFunc, 0, E))
4508 if (!this->emitGetPtrLocal(Iter, E))
4510 if (!this->emitIncPop(
SizeT,
false, E))
4513 if (!this->jump(StartLabel, E))
4516 this->fallthrough(EndLabel);
4517 this->emitLabel(EndLabel);
4521 if (PlacementDest) {
4522 if (!this->
visit(PlacementDest))
4524 if (!this->emitCheckNewTypeMismatch(E, E))
4529 if (!this->emitAlloc(Desc, E))
4538 if (!this->emitInit(*ElemT, E))
4549 return this->emitPopPtr(E);
4554template <
class Emitter>
4560 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4561 return this->emitInvalidNewDeleteExpr(E, E);
4570template <
class Emitter>
4576 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4581 return this->emitGetFnPtr(
Func, E);
4584template <
class Emitter>
4588 auto canonType = [](
const Type *
T) {
4589 return T->getCanonicalTypeUnqualified().getTypePtr();
4597 return this->emitGetTypeid(
4601 return this->emitGetTypeid(
4610 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4616 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4619 return this->emitPopPtr(E);
4623template <
class Emitter>
4627 return this->emitDummyPtr(E, E);
4628 return this->emitError(E);
4631template <
class Emitter>
4634 return this->emitDummyPtr(E, E);
4635 return this->emitError(E);
4638template <
class Emitter>
4645 assert(
false &&
"null reflection can't be constructed from parsing a "
4646 "reflection operand");
4654 assert(
false &&
"unknown or unimplemented reflection entities");
4658template <
class Emitter>
4660 assert(
Ctx.getLangOpts().CPlusPlus);
4661 return this->emitConstBool(E->
getValue(), E);
4664template <
class Emitter>
4676 return this->emitDummyPtr(GuidDecl, E);
4681 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4690 assert(
V.isStruct());
4691 assert(
V.getStructNumBases() == 0);
4695 return this->emitFinishInit(E);
4698template <
class Emitter>
4708template <
class Emitter>
4717template <
class Emitter>
4723template <
class Emitter>
4727 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4731 if (OVE->isUnique())
4747template <
class Emitter>
4752template <
class Emitter>
4754 return this->emitError(E);
4757template <
class Emitter>
4763 return this->emitDummyPtr(E, E);
4766template <
class Emitter>
4767bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4772 QualType ElemType = VT->getElementType();
4773 PrimType ElemT = classifyPrim(ElemType);
4775 PrimType SrcElemT = classifyVectorElementType(SrcType);
4781 if (!this->emitGetPtrLocal(*LocalIndex, E))
4785 unsigned SrcOffset =
4786 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4787 if (!this->visit(Src))
4789 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4792 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4793 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4795 if (!this->emitArrayElemPop(SrcElemT, I, E))
4799 if (SrcElemT != ElemT) {
4800 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4802 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4803 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4807 if (!this->emitInitElem(ElemT, I, E))
4813template <
class Emitter>
4815 return emitVectorConversion(E->
getSrcExpr(), E);
4818template <
class Emitter>
4822 return this->emitInvalid(E);
4831 assert(NumOutputElems > 0);
4837 if (!this->emitGetPtrLocal(*LocalIndex, E))
4842 unsigned VectorOffsets[2];
4843 for (
unsigned I = 0; I != 2; ++I) {
4846 if (!this->
visit(Vecs[I]))
4848 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4851 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4853 assert(ShuffleIndex >= -1);
4854 if (ShuffleIndex == -1)
4855 return this->emitInvalidShuffleVectorIndex(I, E);
4857 assert(ShuffleIndex < (NumInputElems * 2));
4858 if (!this->emitGetLocal(
PT_Ptr,
4859 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4861 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4862 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4865 if (!this->emitInitElem(ElemT, I, E))
4870 return this->emitPopPtr(E);
4875template <
class Emitter>
4880 Base->getType()->isVectorType() ||
4886 if (Indices.size() == 1) {
4891 if (!this->emitConstUint32(Indices[0], E))
4893 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4903 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4911 if (!this->emitGetPtrLocal(*ResultIndex, E))
4919 uint32_t DstIndex = 0;
4920 for (uint32_t I : Indices) {
4921 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4923 if (!this->emitArrayElemPop(ElemT, I, E))
4925 if (!this->emitInitElem(ElemT, DstIndex, E))
4935template <
class Emitter>
4939 return this->
discard(SubExpr) && this->emitInvalid(E);
4945 return this->emitDummyPtr(E, E);
4948template <
class Emitter>
4953 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4962 if (!this->emitGetPtrLocal(*LocalIndex, E))
4966 if (!this->
visit(SubExpr))
4968 if (!this->emitConstUint8(0, E))
4970 if (!this->emitArrayElemPtrPopUint8(E))
4972 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4975 PrimType SecondFieldT = *R->getField(1u)->T;
4977 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4979 if (!this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E))
4982 return this->emitPopPtr(E);
4985 assert(SecondFieldT ==
PT_Ptr);
4987 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4989 if (!this->emitExpandPtr(E))
4993 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4996 if (!this->emitInitFieldPtr(R->getField(1u)->Offset, E))
4999 return this->emitPopPtr(E);
5003template <
class Emitter>
5018 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
5022 return this->emitUnsupported(E);
5031 return this->
Visit(E);
5038 return this->
Visit(E);
5042 if (
const auto *PE = dyn_cast<ParenExpr>(E))
5045 if (
const auto *CE = dyn_cast<CastExpr>(E);
5047 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
5054 if (
const auto *PE = dyn_cast<ParenExpr>(E))
5057 if (
const auto *CE = dyn_cast<CastExpr>(E);
5058 CE && (CE->getCastKind() == CK_DerivedToBase ||
5059 CE->getCastKind() == CK_UncheckedDerivedToBase ||
5060 CE->getCastKind() == CK_NoOp))
5080 if (!this->emitGetPtrLocal(*LocalIndex, E))
5090 return this->
Visit(E);
5093template <
class Emitter>
5099 return this->
Visit(E) && this->emitFinishInit(E);
5102template <
class Emitter>
5108 return this->
Visit(E) && this->emitFinishInitPop(E);
5114 return this->
Visit(E);
5125 if (!this->
visit(E))
5127 return this->emitComplexBoolCast(E);
5132 if (!this->
visit(E))
5140 return this->emitIsNonNullPtr(E);
5144 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5147 return this->emitCast(*
T,
PT_Bool, E);
5150template <
class Emitter>
5154 QT = AT->getValueType();
5158 return this->emitZeroBool(E);
5160 return this->emitZeroSint8(E);
5162 return this->emitZeroUint8(E);
5164 return this->emitZeroSint16(E);
5166 return this->emitZeroUint16(E);
5168 return this->emitZeroSint32(E);
5170 return this->emitZeroUint32(E);
5172 return this->emitZeroSint64(E);
5174 return this->emitZeroUint64(E);
5176 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5178 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5180 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5183 return this->emitNullMemberPtr(0,
nullptr, E);
5185 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5186 return this->emitFloat(F, E);
5189 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5195 llvm_unreachable(
"unknown primitive type");
5198template <
class Emitter>
5199bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5201 bool IsCompleteClass) {
5205 for (
const Record::Field &Field :
R->fields()) {
5206 if (Field.isUnnamedBitField())
5213 if (!this->visitZeroInitializer(
T, QT, E))
5216 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5220 if (!this->emitInitField(
T, Field.Offset, E))
5225 if (!this->emitGetPtrField(Field.Offset, E))
5232 if (!this->visitZeroInitializer(
T, ET, E))
5234 if (!this->emitInitElem(
T, I, E))
5239 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5242 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5250 if (!this->emitFinishInitActivatePop(E))
5254 if (!this->emitFinishInitPop(E))
5258 for (
const Record::Base &B :
R->bases()) {
5259 if (!this->emitGetPtrBase(B.Offset, E))
5261 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5263 if (!this->emitFinishInitPop(E))
5267 if (IsCompleteClass) {
5268 for (
const Record::Base &B :
R->virtual_bases()) {
5271 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5273 if (!this->emitFinishInitPop(E))
5281template <
class Emitter>
5282bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5283 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5284 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5289 for (
size_t I = 0; I != NumElems; ++I) {
5290 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5292 if (!this->emitInitElem(*ElemT, I, E))
5298 const Record *
R = getRecord(ElemType);
5302 for (
size_t I = 0; I != NumElems; ++I) {
5303 if (!this->emitConstUint32(I, E))
5305 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5307 if (!this->visitZeroRecordInitializer(R, E))
5309 if (!this->emitPopPtr(E))
5315 for (
size_t I = 0; I != NumElems; ++I) {
5316 if (!this->emitConstUint32(I, E))
5318 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5320 if (!this->visitZeroArrayInitializer(ElemType, E))
5322 if (!this->emitPopPtr(E))
5331template <
class Emitter>
5332bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5334 if (!canClassify(E->
getType()))
5339 if (!this->visit(LHS))
5341 if (!this->visit(RHS))
5344 if (!this->visit(RHS))
5346 if (!this->visit(LHS))
5354 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5358 bool Activates = refersToUnion(LHS);
5361 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5364 if (DiscardResult) {
5365 if (BitField && Activates)
5366 return this->emitStoreBitFieldActivatePop(RHT, E);
5368 return this->emitStoreBitFieldPop(RHT, E);
5370 return this->emitStoreActivatePop(RHT, E);
5372 return this->emitStorePop(RHT, E);
5375 auto maybeLoad = [&](
bool Result) ->
bool {
5381 return this->emitLoadPop(RHT, E);
5385 if (BitField && Activates)
5386 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5388 return maybeLoad(this->emitStoreBitField(RHT, E));
5390 return maybeLoad(this->emitStoreActivate(RHT, E));
5392 return maybeLoad(this->emitStore(RHT, E));
5395template <
class Emitter>
5396template <
typename T>
5400 return this->emitConstSint8(
Value, Info);
5402 return this->emitConstUint8(
Value, Info);
5404 return this->emitConstSint16(
Value, Info);
5406 return this->emitConstUint16(
Value, Info);
5408 return this->emitConstSint32(
Value, Info);
5410 return this->emitConstUint32(
Value, Info);
5412 return this->emitConstSint64(
Value, Info);
5414 return this->emitConstUint64(
Value, Info);
5416 return this->emitConstBool(
Value, Info);
5424 llvm_unreachable(
"Invalid integral type");
5427 llvm_unreachable(
"unknown primitive type");
5430template <
class Emitter>
5431template <
typename T>
5432bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5433 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5436template <
class Emitter>
5440 return this->emitConstIntAPS(
Value, Info);
5442 return this->emitConstIntAP(
Value, Info);
5444 if (
Value.isSigned())
5445 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5446 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5449template <
class Emitter>
5453 return this->emitConstIntAPS(
Value, Info);
5455 return this->emitConstIntAP(
Value, Info);
5458 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5459 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5462template <
class Emitter>
5463bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5464 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5467template <
class Emitter>
5482 return Local.Offset;
5485template <
class Emitter>
5490 bool IsTemporary =
false;
5494 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5495 Init = VarD->getInit();
5497 if (
const auto *E = Src.
asExpr()) {
5507 return std::nullopt;
5514 return Local.Offset;
5517template <
class Emitter>
5526 return std::nullopt;
5536 return Local.Offset;
5539template <
class Emitter>
5541 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5542 return PT->getPointeeType()->getAsCanonical<RecordType>();
5548 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5552template <
class Emitter>
5554 return P.getOrCreateRecord(RD);
5557template <
class Emitter>
5559 return Ctx.getOrCreateFunction(FD);
5562template <
class Emitter>
5568 auto maybeDestroyLocals = [&]() ->
bool {
5569 if (DestroyToplevelScope)
5570 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5571 return this->emitCheckAllocations(E);
5578 return this->emitRetVoid(E) && maybeDestroyLocals();
5586 return this->emitRet(*
T, E) && maybeDestroyLocals();
5594 if (!this->emitGetPtrLocal(*LocalOffset, E))
5602 return this->emitRetValue(E) && maybeDestroyLocals();
5605 return maybeDestroyLocals() &&
false;
5608template <
class Emitter>
5610 bool DestroyToplevelScope) {
5614 return this->
visitExpr(E, DestroyToplevelScope);
5617template <
class Emitter>
5629 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5630 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5644template <
class Emitter>
5646 bool ConstantContext) {
5649 if (!ConstantContext) {
5664 auto GlobalIndex =
P.getGlobal(VD);
5665 assert(GlobalIndex);
5667 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5670 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5678 if (!this->emitGetRefLocal(
Local->second.Offset, VD))
5680 }
else if (!this->emitGetLocal(*VarT,
Local->second.Offset, VD))
5683 if (!this->emitGetPtrLocal(
Local->second.Offset, VD))
5693 auto GlobalIndex =
P.getGlobal(VD);
5694 assert(GlobalIndex);
5695 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5704 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5707template <
class Emitter>
5718 if (!this->isActive())
5723 if (
Init &&
Init->isValueDependent())
5727 auto checkDecl = [&]() ->
bool {
5729 return !NeedsOp || this->emitCheckDecl(VD, VD);
5736 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5739 if (
P.isGlobalInitialized(*GlobalIndex))
5743 }
else if ((GlobalIndex =
5758 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5761 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5764 if (!this->emitStartInit(
Init))
5770 if (!this->emitEndInit(
Init))
5773 return this->emitFinishInitGlobal(
Init);
5783 if (!
Init ||
Init->getType()->isVoidType())
5792 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5804 if (!this->emitCheckRefInit(
Init))
5808 return this->emitSetLocal(*VarT, Offset, VD);
5816 if (!this->emitGetPtrLocal(*Offset,
Init))
5824template <
class Emitter>
5847 if (!this->emitGetPtrLocal(
Local.Offset, VD))
5853 return this->emitDestructionPop(D, VD);
5862 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5886template <
class Emitter>
5901 unsigned ParamIndex = 0;
5908 const Expr *Arg = Args[ParamIndex];
5909 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5911 unsigned ArgOffset =
5913 if (!this->
visit(Arg))
5915 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5921 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5933 if (
This->getType()->isPointerType()) {
5936 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5943 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5965template <
class Emitter>
5971 return this->emitConst(Val.
getInt(), ValType, Info);
5973 return this->emitFloat(Val.
getFloat(), Info);
5977 if (!this->emitGetMemberPtr(MemberDecl, Info))
5983 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5989 return this->emitNullMemberPtr(0,
nullptr, Info);
5994 return this->emitNull(ValType, 0,
nullptr, Info);
5998 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>()) {
6001 GlobalIndex &&
P.isGlobalInitialized(*GlobalIndex)) {
6002 if (!this->emitGetPtrGlobal(*GlobalIndex, Info))
6005 if (!this->
visit(BaseExpr))
6008 EntryType = BaseExpr->getType();
6009 }
else if (
const auto *VD =
Base.dyn_cast<
const ValueDecl *>()) {
6012 EntryType = VD->getType();
6017 ->getCanonicalTypeUnqualified()
6019 EntryType =
Base.getTypeInfoType();
6020 if (!this->emitGetTypeid(OperandType, EntryType.
getTypePtr(), Info))
6028 ?
Ctx.getASTContext().getPointerType(E->
getType())
6031 if (!this->emitConstUint64(Offset, Info))
6033 if (!this->emitGetIntPtrUint64(PtrType.
getTypePtr(), Info))
6043 uint64_t Index = Entry.getAsArrayIndex();
6046 if (!this->emitConst(Index,
PT_Uint64, Info))
6048 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
6050 EntryType = ElemType;
6057 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
6058 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
6060 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
6062 EntryType = FD->getType();
6066 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
6071 if (!this->emitGetPtrVirtBasePop(
Base, Info))
6074 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
6089 uint32_t BitWidth =
Ctx.getBitWidth(E->
getType());
6091 ? this->emitCastPointerIntegralAP(BitWidth, Info)
6092 : this->emitCastPointerIntegralAPS(BitWidth, Info);
6094 return this->emitCastPointerIntegral(ValType, Info);
6100template <
class Emitter>
6103 bool IsCompleteClass) {
6109 if (IsCompleteClass)
6116 const Record::Base *RB = R->getBase(I);
6117 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6119 if (!this->emitGetPtrBase(RB->Offset, Info))
6124 if (!this->emitFinishInitPop(Info))
6132 const Record::Field *RF = R->getField(I);
6133 QualType FieldType = RF->Decl->getType();
6138 if (!this->emitInitField(*PT, RF->Offset, Info))
6141 if (!this->emitGetPtrField(RF->Offset, Info))
6145 if (!this->emitFinishInitPop(Info))
6151 if (IsCompleteClass) {
6156 const Record::Base *RB = R->getVirtualBase(I);
6157 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6165 if (!this->emitFinishInitPop(Info))
6181 const Record::Field *RF = R->getField(UnionField);
6182 QualType FieldType = RF->Decl->getType();
6187 if (RF->isBitField())
6188 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6190 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6193 if (!this->emitGetPtrField(RF->Offset, Info))
6195 if (!this->emitActivate(Info))
6199 return this->emitPopPtr(Info);
6203 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6204 QualType ElemType = ArrType->getElementType();
6207 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6208 const APValue &Elem = A >= InitializedElems
6217 if (!this->emitInitElem(*ElemT, A, Info))
6220 if (!this->emitConstUint32(A, Info))
6222 if (!this->emitArrayElemPtrUint32(Info))
6226 if (!this->emitPopPtr(Info))
6233 assert(
T->isComplexType());
6236 if (!this->emitInitElemFloat(0, Info))
6240 if (!this->emitInitElemFloat(1, Info))
6245 assert(
T->isComplexIntegerType());
6249 if (!this->emitInitElem(IntT, 0, Info))
6253 if (!this->emitInitElem(IntT, 1, Info))
6258 assert(
T->isVectorType());
6266 if (!this->emitInitElem(ElemT, I, Info))
6276template <
class Emitter>
6278 if (
P.getGlobal(VD))
6283 llvm_unreachable(
"Why didn't that work?");
6287 "registerRedecl should only be called with primitive values");
6292 return this->emitInitGlobal(
T, *GlobalIndex, {});
6295template <
class Emitter>
6297 unsigned BuiltinID) {
6303 if (!
Ctx.getASTContext().BuiltinInfo.isConstantEvaluated(BuiltinID))
6304 return this->emitInvalid(E);
6313 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6318 return this->emitConst(0, E);
6321 if (!this->emitStartSpeculation(E))
6323 LabelTy EndLabel = this->getLabel();
6324 if (!this->speculate(E, EndLabel))
6326 if (!this->emitEndSpeculation(E))
6328 this->fallthrough(EndLabel);
6336 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6337 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6338 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6339 BuiltinID == Builtin::BI__builtin_function_start) {
6342 return this->emitDummyPtr(E, E);
6353 if (!this->emitGetPtrLocal(*LocalIndex, E))
6358 switch (BuiltinID) {
6359 case Builtin::BI__builtin_object_size:
6360 case Builtin::BI__builtin_dynamic_object_size: {
6364 if (!this->
visit(Arg0))
6375 case Builtin::BI__assume:
6376 case Builtin::BI__builtin_assume:
6379 case Builtin::BI__atomic_is_lock_free:
6380 case Builtin::BI__atomic_always_lock_free: {
6391 for (
const auto *Arg : E->
arguments()) {
6392 if (!this->
visit(Arg))
6398 if (!this->emitCallBI(E, BuiltinID, E))
6417template <
class Emitter>
6438 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6439 DD && DD->isTrivial()) {
6441 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6443 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6444 this->emitPopPtr(E);
6449 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6450 MD && MD->getParent()->isInvalidDecl())
6455 bool ActivateLHS =
false;
6463 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6464 OCE && OCE->isAssignmentOp()) {
6465 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6468 if (
const auto *MCE = dyn_cast<CXXMemberCallExpr>(E))
6469 if (!this->
visit(MCE->getImplicitObjectArgument()))
6476 if (!this->emitTrivialCopy(ActivateLHS,
Func, E))
6494 if (!this->emitGetPtrLocal(*LocalIndex, E))
6502 if (!this->emitGetPtrLocal(*LocalIndex, E))
6506 if (!this->emitDupPtr(E))
6511 const Expr *ReversedArgs[2];
6512 bool IsAssignmentOperatorCall =
false;
6513 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6514 OCE && OCE->isAssignmentOp()) {
6518 assert(Args.size() == 2);
6519 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6521 IsAssignmentOperatorCall =
true;
6522 ReversedArgs[0] = Args[1];
6523 ReversedArgs[1] = Args[0];
6524 Args = ReversedArgs;
6531 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6532 MD && MD->isStatic()) {
6536 Args = Args.drop_front();
6540 bool Devirtualized =
false;
6543 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6551 if (!this->
visit(Callee))
6553 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6555 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6557 if (!this->emitGetMemberPtrBase(E))
6560 const auto *InstancePtr = MC->getImplicitObjectArgument();
6567 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6568 Devirtualized =
true;
6569 if (!this->
visit(Stripped))
6572 if (!this->
visit(InstancePtr))
6576 if (!this->
visit(InstancePtr))
6580 }
else if (
const auto *PD =
6581 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6582 if (!this->emitCheckPseudoDtor(E))
6590 return this->emitPseudoDtor(E);
6591 }
else if (!FuncDecl) {
6595 if (!this->
visit(Callee))
6597 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6606 if (IsAssignmentOperatorCall) {
6607 assert(Args.size() == 2);
6610 if (!this->emitFlip(Arg2T, Arg1T, E))
6624 assert(HasRVO ==
Func->hasRVO());
6626 bool HasQualifier =
false;
6627 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6628 HasQualifier = ME->hasQualifier();
6630 bool IsVirtual =
false;
6631 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6632 IsVirtual = !Devirtualized && MD->isVirtual();
6637 if (IsVirtual && !HasQualifier) {
6638 uint32_t VarArgSize = 0;
6639 unsigned NumParams =
6640 Func->getNumWrittenParams() +
6642 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6645 if (!this->emitCallVirt(
Func, VarArgSize, E))
6647 }
else if (
Func->isVariadic()) {
6648 uint32_t VarArgSize = 0;
6649 unsigned NumParams =
6650 Func->getNumWrittenParams() +
6652 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6654 if (!this->emitCallVar(
Func, VarArgSize, E))
6657 if (!this->emitCall(
Func, 0, E))
6666 uint32_t ArgSize = 0;
6667 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6673 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6675 if (!this->emitGetMemberPtrDecl(E))
6678 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6681 if (!this->emitCallPtr(ArgSize, E, E))
6692template <
class Emitter>
6699template <
class Emitter>
6706template <
class Emitter>
6711 return this->emitConstBool(E->
getValue(), E);
6714template <
class Emitter>
6720 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6721 return this->emitNullPtr(Val,
nullptr, E);
6724template <
class Emitter>
6732 return this->emitZero(
T, E);
6735template <
class Emitter>
6740 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6741 if (this->LambdaThisCapture.Offset > 0) {
6742 if (this->LambdaThisCapture.IsPtr)
6743 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6744 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6753 return this->emitThis(E);
6768 unsigned StartIndex = 0;
6769 unsigned EndIndex = 0;
6771 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6773 EndIndex = StartIndex;
6780 for (; StartIndex > 0; --StartIndex) {
6791 if (StartIndex == 0 && EndIndex == 0)
6802 assert(StartIndex <= EndIndex);
6805 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6817 case Stmt::CompoundStmtClass:
6819 case Stmt::DeclStmtClass:
6821 case Stmt::ReturnStmtClass:
6823 case Stmt::IfStmtClass:
6825 case Stmt::WhileStmtClass:
6827 case Stmt::DoStmtClass:
6829 case Stmt::ForStmtClass:
6831 case Stmt::CXXForRangeStmtClass:
6833 case Stmt::BreakStmtClass:
6835 case Stmt::ContinueStmtClass:
6837 case Stmt::SwitchStmtClass:
6839 case Stmt::CaseStmtClass:
6841 case Stmt::DefaultStmtClass:
6843 case Stmt::AttributedStmtClass:
6845 case Stmt::CXXTryStmtClass:
6847 case Stmt::NullStmtClass:
6850 case Stmt::GCCAsmStmtClass:
6851 case Stmt::MSAsmStmtClass:
6852 case Stmt::GotoStmtClass:
6853 return this->emitInvalid(S);
6854 case Stmt::LabelStmtClass:
6856 case Stmt::CXXExpansionStmtInstantiationClass:
6860 if (
const auto *E = dyn_cast<Expr>(S))
6867template <
class Emitter>
6870 for (
const auto *InnerStmt : S->
body())
6873 return Scope.destroyLocals();
6876template <
class Emitter>
6877bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6878 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6879 for (
auto *BD : DD->flat_bindings())
6880 if (
auto *KD = BD->getHoldingVar();
6881 KD && !this->visitVarDecl(KD, KD->getInit()))
6895template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6897 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6898 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6905 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6910 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6911 ICE && (ICE->getCastKind() == CK_NoOp ||
6912 ICE->getCastKind() == CK_DerivedToBase ||
6913 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6914 E = ICE->getSubExpr();
6918 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6919 const auto *ThisRecord =
6920 This->getType()->getPointeeType()->getAsRecordDecl();
6921 if (!ThisRecord->isUnion())
6924 if (
const auto *Ctor =
6925 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6926 return Ctor->getParent() == ThisRecord;
6935template <
class Emitter>
6937 bool EvaluateConditionDecl) {
6938 for (
const auto *D : DS->
decls()) {
6943 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6944 assert(ESD->getInstantiations() &&
"not expanded?");
6945 if (!this->
visitStmt(ESD->getInstantiations()))
6950 const auto *VD = dyn_cast<VarDecl>(D);
6957 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6964template <
class Emitter>
6967 return this->emitUnsupported(RS);
6973 if (!this->
visit(RE))
6979 if (RE->getType()->isVoidType()) {
6980 if (!this->
visit(RE))
6983 if (RE->containsErrors())
6988 if (!this->emitRVOPtr(RE))
6994 return this->emitRetVoid(RS);
7000 return this->emitRetVoid(RS);
7006 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
7013 if (
auto *CondInit = IS->
getInit()) {
7029 return visitChildStmt(IS->
getThen());
7031 return visitChildStmt(Else);
7037 if (!this->emitIsConstantContext(IS))
7040 if (!this->emitIsConstantContext(IS))
7042 if (!this->emitInv(IS))
7056 LabelTy LabelElse = this->getLabel();
7057 LabelTy LabelEnd = this->getLabel();
7058 if (!this->jumpFalse(LabelElse, IS))
7060 if (!visitChildStmt(IS->
getThen()))
7062 if (!this->jump(LabelEnd, IS))
7064 this->emitLabel(LabelElse);
7065 if (!visitChildStmt(Else))
7067 this->emitLabel(LabelEnd);
7069 LabelTy LabelEnd = this->getLabel();
7070 if (!this->jumpFalse(LabelEnd, IS))
7072 if (!visitChildStmt(IS->
getThen()))
7074 this->emitLabel(LabelEnd);
7083template <
class Emitter>
7088 LabelTy CondLabel = this->getLabel();
7089 LabelTy EndLabel = this->getLabel();
7093 this->fallthrough(CondLabel);
7094 this->emitLabel(CondLabel);
7110 if (!this->jumpFalse(EndLabel, S))
7120 if (!this->jump(CondLabel, S))
7122 this->fallthrough(EndLabel);
7123 this->emitLabel(EndLabel);
7132 LabelTy StartLabel = this->getLabel();
7133 LabelTy EndLabel = this->getLabel();
7134 LabelTy CondLabel = this->getLabel();
7138 this->fallthrough(StartLabel);
7139 this->emitLabel(StartLabel);
7145 this->fallthrough(CondLabel);
7146 this->emitLabel(CondLabel);
7153 if (!this->jumpTrue(StartLabel, S))
7156 this->fallthrough(EndLabel);
7157 this->emitLabel(EndLabel);
7161template <
class Emitter>
7169 LabelTy EndLabel = this->getLabel();
7170 LabelTy CondLabel = this->getLabel();
7171 LabelTy IncLabel = this->getLabel();
7178 this->fallthrough(CondLabel);
7179 this->emitLabel(CondLabel);
7191 if (!this->jumpFalse(EndLabel, S))
7200 this->fallthrough(IncLabel);
7201 this->emitLabel(IncLabel);
7207 if (!this->jump(CondLabel, S))
7211 this->emitLabel(EndLabel);
7217template <
class Emitter>
7227 LabelTy EndLabel = this->getLabel();
7228 LabelTy CondLabel = this->getLabel();
7229 LabelTy IncLabel = this->getLabel();
7245 this->fallthrough(CondLabel);
7246 this->emitLabel(CondLabel);
7249 if (!this->jumpFalse(EndLabel, S))
7260 this->fallthrough(IncLabel);
7261 this->emitLabel(IncLabel);
7268 if (!this->jump(CondLabel, S))
7271 this->fallthrough(EndLabel);
7272 this->emitLabel(EndLabel);
7276template <
class Emitter>
7279 return this->emitInvalidTargetLabel(
false, S);
7287 if (LI.BreakLabel) {
7288 TargetLabel = *LI.BreakLabel;
7289 BreakScope = LI.BreakOrContinueScope;
7298 return this->emitInvalidTargetLabel(
false, S);
7301 if (LI.Name == TargetLoop) {
7302 TargetLabel = *LI.BreakLabel;
7303 BreakScope = LI.BreakOrContinueScope;
7314 C =
C->getParent()) {
7315 if (!
C->destroyLocals())
7319 return this->jump(*TargetLabel, S);
7322template <
class Emitter>
7325 return this->emitInvalidTargetLabel(
true, S);
7332 if (LI.ContinueLabel) {
7333 TargetLabel = *LI.ContinueLabel;
7334 ContinueScope = LI.BreakOrContinueScope;
7343 return this->emitInvalidTargetLabel(
true, S);
7346 if (LI.Name == TargetLoop) {
7347 TargetLabel = *LI.ContinueLabel;
7348 ContinueScope = LI.BreakOrContinueScope;
7358 C =
C->getParent()) {
7359 if (!
C->destroyLocals())
7363 return this->jump(*TargetLabel, S);
7366template <
class Emitter>
7376 LabelTy EndLabel = this->getLabel();
7381 if (
const auto *CondInit = S->
getInit())
7390 if (!this->
visit(Cond))
7392 if (!this->emitSetLocal(CondT, CondVar, S))
7402 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7405 if (CS->caseStmtIsGNURange()) {
7406 LabelTy EndOfRangeCheck = this->getLabel();
7407 const Expr *Low = CS->getLHS();
7408 const Expr *High = CS->getRHS();
7412 if (!this->emitGetLocal(CondT, CondVar, CS))
7414 if (!this->
visit(Low))
7417 if (!this->emitGE(
LT, S))
7419 if (!this->jumpFalse(EndOfRangeCheck, S))
7422 if (!this->emitGetLocal(CondT, CondVar, CS))
7424 if (!this->
visit(High))
7427 if (!this->emitLE(HT, S))
7431 this->emitLabel(EndOfRangeCheck);
7436 if (
Value->isValueDependent())
7441 if (!this->emitGetLocal(CondT, CondVar, CS))
7447 if (!this->emitEQ(ValueT, S))
7452 assert(!DefaultLabel);
7453 DefaultLabel = this->getLabel();
7460 if (!this->jump(*DefaultLabel, S))
7463 if (!this->jump(EndLabel, S))
7471 this->fallthrough(EndLabel);
7472 this->emitLabel(EndLabel);
7477template <
class Emitter>
7485 return this->emitUnsupported(S);
7490template <
class Emitter>
7497 if (LI.DefaultLabel) {
7498 DefaultLabel = *LI.DefaultLabel;
7503 this->emitLabel(DefaultLabel);
7507template <
class Emitter>
7514 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7517 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7518 !this->Ctx.getLangOpts().MSVCCompat) {
7520 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7526 const Expr *Assumption = AA->getAssumption();
7537 if (!this->emitAssume(Assumption))
7546 if (IsMSVCConstexprAttr)
7547 return this->emitPopMSVCCE(S);
7551template <
class Emitter>
7564template <
class Emitter>
7574 LabelTy EndLabel = this->getLabel();
7576 LabelTy ContinueLabel = this->getLabel();
7581 this->emitLabel(ContinueLabel);
7584 this->emitLabel(EndLabel);
7589template <
class Emitter>
7590bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7597 assert(ClosureClass->
captures().empty());
7601 "A generic lambda's static-invoker function must be a "
7602 "template specialization");
7606 llvm::FoldingSetInsertToken InsertToken;
7607 const FunctionDecl *CorrespondingCallOpSpecialization =
7609 assert(CorrespondingCallOpSpecialization);
7610 LambdaCallOp = CorrespondingCallOpSpecialization;
7614 assert(ClosureClass->
captures().empty());
7615 const Function *
Func = this->getFunction(LambdaCallOp);
7618 assert(
Func->hasThisPointer());
7621 if (
Func->hasRVO()) {
7622 if (!this->emitRVOPtr(MD))
7630 if (!this->emitNullPtr(0,
nullptr, MD))
7635 auto It = this->Params.find(PVD);
7636 assert(It != this->Params.end());
7640 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7641 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7645 if (!this->emitCall(
Func, 0, LambdaCallOp))
7650 return this->emitRet(*ReturnType, MD);
7653 return this->emitRetVoid(MD);
7656template <
class Emitter>
7657bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7658 if (Ctx.getLangOpts().CPlusPlus23)
7668 const Expr *InitExpr =
Init->getInit();
7670 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7674 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7684template <
class Emitter>
7686 assert(!ReturnType);
7689 if (!this->emitStartThisLifetime1(Ctor))
7692 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7693 const Expr *InitExpr,
7696 if (InitExpr->getType().isNull())
7700 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7703 if (!this->visit(InitExpr))
7706 if (F->isBitField())
7707 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7709 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7714 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7717 if (
Activate && !this->emitActivate(InitExpr))
7720 return this->visitInitializerPop(InitExpr);
7724 const Record *
R = this->getRecord(RD);
7727 bool IsUnion =
R->isUnion();
7737 if (!this->emitThis(Ctor))
7740 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7743 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7744 this->emitRetVoid(Ctor);
7747 unsigned FieldInits = 0;
7750 if (
R->getNumVirtualBases() > 0) {
7751 if (!this->emitThis(Ctor))
7753 LabelTy AfterVirtBasesLabel = this->getLabel();
7756 if (!this->emitIsBaseClass({}))
7758 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7761 for (
const auto *
Init : Ctor->
inits()) {
7764 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7766 assert(
R->findVirtualBase(BaseDecl));
7767 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7769 if (!this->visitInitializerPop(
Init->getInit()))
7774 this->fallthrough(AfterVirtBasesLabel);
7775 this->emitLabel(AfterVirtBasesLabel);
7777 if (!this->emitPopPtr(Ctor))
7781 for (
const auto *
Init : Ctor->
inits()) {
7785 const Expr *InitExpr =
Init->getInit();
7787 const Record::Field *F =
R->getField(
Member);
7791 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7795 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7798 if (
Init->isBaseVirtual()) {
7804 const Record::Base *B =
R->getBase(BaseDecl);
7806 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7810 if (!this->visitInitializerPop(InitExpr))
7815 unsigned ChainSize = IFD->getChainingSize();
7816 assert(ChainSize >= 2);
7818 unsigned NestedFieldOffset = 0;
7819 const Record::Field *NestedField =
nullptr;
7820 for (
unsigned I = 0; I != ChainSize; ++I) {
7822 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7823 assert(FieldRecord);
7825 NestedField = FieldRecord->
getField(FD);
7826 assert(NestedField);
7827 IsUnion = IsUnion || FieldRecord->
isUnion();
7829 NestedFieldOffset += NestedField->Offset;
7832 if (I != ChainSize - 1)
7835 assert(NestedField);
7838 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7843 unsigned InitFieldOffset = 0;
7844 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7846 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7847 assert(FieldRecord);
7848 NestedField = FieldRecord->
getField(FD);
7849 InitFieldOffset += NestedField->Offset;
7850 assert(NestedField);
7851 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7853 if (!this->emitFinishInitPop(InitExpr))
7857 InitStack.pop_back_n(ChainSize - 1);
7860 assert(
Init->isDelegatingInitializer());
7861 if (!this->emitThis(InitExpr))
7863 if (!this->visitInitializerPop(
Init->getInit()))
7867 if (!
Scope.destroyLocals())
7871 if (FieldInits !=
R->getNumFields()) {
7872 assert(FieldInits < R->getNumFields());
7874 if (!this->emitStartThisLifetime(Ctor))
7881 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7882 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7889 if (!visitStmt(Body))
7896template <
class Emitter>
7899 const Record *
R = this->getRecord(RD);
7903 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7904 if (!this->visitStmt(
Dtor->getBody()))
7908 if (!this->emitThis(
Dtor))
7911 if (!this->emitCheckDestruction(
Dtor))
7915 if (!
R->isUnion()) {
7919 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7923 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7925 if (!this->emitDestructionPop(D,
SourceInfo{}))
7930 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7931 if (
Base.R->hasTrivialDtor())
7935 if (!this->emitRecordDestructionPop(
Base.R, {}))
7939 if (
R->getNumVirtualBases() > 0) {
7940 LabelTy EndLabel = this->getLabel();
7942 if (!this->emitIsBaseClass({}))
7944 if (!this->jumpTrue(EndLabel, {}))
7947 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7948 if (
Base.R->hasTrivialDtor())
7953 if (!this->emitRecordDestructionPop(
Base.R, {}))
7957 this->fallthrough(EndLabel);
7958 this->emitLabel(EndLabel);
7961 if (!this->emitMarkDestroyed(
Dtor))
7964 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7967template <
class Emitter>
7968bool Compiler<Emitter>::compileUnionAssignmentOperator(
7970 if (!this->emitThis(MD))
7973 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7976 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7979template <
class Emitter>
7989 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7990 return this->compileConstructor(Ctor);
7991 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7992 return this->compileDestructor(
Dtor);
7995 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
8000 return this->compileUnionAssignmentOperator(MD);
8003 return this->emitLambdaStaticInvokerBody(MD);
8007 if (
const auto *Body = F->
getBody())
8021 return FD->getBitWidthValue();
8024template <
class Emitter>
8040 if (!
Ctx.getLangOpts().CPlusPlus14)
8041 return this->emitInvalid(E);
8043 return this->emitError(E);
8045 if (!this->
visit(SubExpr))
8049 if (!this->emitIncPtr(E))
8056 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
8057 : this->emitIncf(getFPOptions(E), E);
8069 if (!
Ctx.getLangOpts().CPlusPlus14)
8070 return this->emitInvalid(E);
8072 return this->emitError(E);
8074 if (!this->
visit(SubExpr))
8078 if (!this->emitDecPtr(E))
8085 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
8086 : this->emitDecf(getFPOptions(E), E);
8099 if (!
Ctx.getLangOpts().CPlusPlus14)
8100 return this->emitInvalid(E);
8102 return this->emitError(E);
8104 if (!this->
visit(SubExpr))
8108 if (!this->emitLoadPtr(E))
8110 if (!this->emitConstUint8(1, E))
8112 if (!this->emitAddOffsetUint8(E))
8114 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
8120 return this->emitIncfPop(getFPOptions(E), E);
8130 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8131 if (!this->emitLoadFloat(E))
8133 APFloat F(TargetSemantics, 1);
8134 if (!this->emitFloat(F, E))
8137 if (!this->emitAddf(getFPOptions(E), E))
8139 if (!this->emitStoreFloat(E))
8151 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8154 if (!
Ctx.getLangOpts().CPlusPlus14)
8155 return this->emitInvalid(E);
8157 return this->emitError(E);
8159 if (!this->
visit(SubExpr))
8163 if (!this->emitLoadPtr(E))
8165 if (!this->emitConstUint8(1, E))
8167 if (!this->emitSubOffsetUint8(E))
8169 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
8175 return this->emitDecfPop(getFPOptions(E), E);
8185 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8186 if (!this->emitLoadFloat(E))
8188 APFloat F(TargetSemantics, 1);
8189 if (!this->emitFloat(F, E))
8192 if (!this->emitSubf(getFPOptions(E), E))
8194 if (!this->emitStoreFloat(E))
8206 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8210 return this->emitError(E);
8213 return this->
discard(SubExpr);
8218 if (!this->emitInv(E))
8222 return this->emitCast(
PT_Bool, ET, E);
8226 return this->emitError(E);
8228 if (!this->
visit(SubExpr))
8233 return this->emitError(E);
8235 if (!this->
visit(SubExpr))
8251 if (!
Ctx.getLangOpts().CPlusPlus) {
8254 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
8255 Deref && Deref->getOpcode() == UO_Deref) {
8257 return this->
discard(Deref->getSubExpr());
8258 return this->
visit(Deref->getSubExpr()) && this->emitAddrOf(E);
8263 return this->
discard(SubExpr);
8264 return this->
delegate(SubExpr) && this->emitAddrOf(E);
8267 return this->
discard(SubExpr);
8269 if (!this->
visit(SubExpr))
8276 return this->emitNarrowPtr(E);
8281 return this->emitError(E);
8283 if (!this->
visit(SubExpr))
8297 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
8302 assert(
false &&
"Unhandled opcode");
8308template <
class Emitter>
8314 return this->
discard(SubExpr);
8317 auto prepareResult = [=]() ->
bool {
8322 return this->emitGetPtrLocal(*LocalIndex, E);
8329 unsigned SubExprOffset = ~0u;
8330 auto createTemp = [=, &SubExprOffset]() ->
bool {
8333 if (!this->
visit(SubExpr))
8335 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8339 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8340 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8342 return this->emitArrayElemPop(ElemT, Index, E);
8347 if (!prepareResult())
8351 for (
unsigned I = 0; I != 2; ++I) {
8352 if (!getElem(SubExprOffset, I))
8354 if (!this->emitNeg(ElemT, E))
8356 if (!this->emitInitElem(ElemT, I, E))
8367 if (!this->
visit(SubExpr))
8369 if (!this->emitComplexBoolCast(SubExpr))
8371 if (!this->emitInv(E))
8374 return this->emitCast(
PT_Bool, ET, E);
8378 return this->emitComplexReal(SubExpr);
8381 if (!this->
visit(SubExpr))
8385 if (!this->emitConstUint8(1, E))
8387 return this->emitArrayElemPtrPopUint8(E);
8398 if (!this->emitArrayElem(ElemT, 1, E))
8400 if (!this->emitNeg(ElemT, E))
8402 if (!this->emitInitElem(ElemT, 1, E))
8410 return this->emitInvalid(E);
8416template <
class Emitter>
8422 return this->
discard(SubExpr);
8425 if (UnaryOp == UO_Extension)
8428 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8429 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8430 return this->emitInvalid(E);
8433 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8440 if (!this->emitGetPtrLocal(*LocalIndex, E))
8445 unsigned SubExprOffset =
8447 if (!this->
visit(SubExpr))
8449 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8454 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8455 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8457 return this->emitArrayElemPop(ElemT, Index, E);
8462 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8463 if (!getElem(SubExprOffset, I))
8465 if (!this->emitNeg(ElemT, E))
8467 if (!this->emitInitElem(ElemT, I, E))
8482 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8483 if (!getElem(SubExprOffset, I))
8486 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8488 if (!this->emitInv(E))
8490 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8492 if (!this->emitNeg(ElemT, E))
8494 if (ElemT != ResultVecElemT &&
8495 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8497 if (!this->emitInitElem(ResultVecElemT, I, E))
8503 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8504 if (!getElem(SubExprOffset, I))
8507 if (!this->emitInv(E))
8510 if (!this->emitComp(ElemT, E))
8513 if (!this->emitInitElem(ElemT, I, E))
8518 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8523template <
class Emitter>
8525 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8528 return this->emitConst(ECD->getInitVal(), E);
8530 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8534 return F && this->emitGetFnPtr(F, E);
8536 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8537 TPOD = TPOD->getFirstDecl();
8541 return this->emitGetPtrGlobal(*GlobalIndex, E);
8547 return this->emitInitGlobal(*
T, *Index, E);
8550 if (!this->emitGetPtrGlobal(*Index, E))
8554 return this->emitFinishInit(E);
8566 auto maybePopPtr = [&]() ->
bool {
8568 return this->emitPopPtr(E);
8575 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8579 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8584 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8585 if (IsReference || !It->second.IsPtr)
8586 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8588 return this->emitGetPtrParam(It->second.Index, E);
8591 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8598 const unsigned Offset = It->second.Offset;
8601 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8603 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8606 if (
auto GlobalIndex =
P.getGlobal(D)) {
8608 if (!
Ctx.getLangOpts().CPlusPlus11)
8609 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8610 if (!
Ctx.getLangOpts().CPlusPlus23)
8611 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8613 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8616 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8620 auto revisit = [&](
const VarDecl *VD,
8621 bool IsConstexprUnknown =
true) ->
bool {
8623 IsConstexprUnknown);
8624 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8630 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8631 if (!this->emitPopCC(E))
8635 if (VarState.notCreated())
8643 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8645 if (
auto It = this->LambdaCaptures.find(D);
8646 It != this->LambdaCaptures.end()) {
8647 auto [Offset, IsPtr] = It->second;
8650 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8651 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8655 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8656 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8657 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8661 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8662 return this->
delegate(BD->getBinding());
8668 return this->emitDummyPtr(D, E);
8673 const auto *VD = dyn_cast<VarDecl>(D);
8675 return this->emitError(E);
8678 if (!
Ctx.getLangOpts().CPlusPlus) {
8682 return revisit(VD,
false);
8686 return this->emitDummyPtr(D, E);
8690 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8691 if (
T.isConstant(
Ctx.getASTContext()))
8693 return T->isReferenceType();
8697 typeShouldBeVisited(DeclType)) {
8699 Init && !
Init->isValueDependent()) {
8704 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8717 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8722 return revisit(VD, IsConstexprUnknown);
8723 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8724 return revisit(VD,
true);
8733 return this->emitDummyPtr(
8737template <
class Emitter>
8743template <
class Emitter>
8753 if (!
C->destroyLocals())
8759template <
class Emitter>
8760unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8763 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8765 return Ty->getAsCXXRecordDecl();
8767 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8768 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8770 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8774template <
class Emitter>
8781 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8786 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8787 getFPOptions(E), E);
8789 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8790 getFPOptions(E), E);
8794 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8799 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8801 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8805 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8809 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8810 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8817template <
class Emitter>
8820 assert(FromT != ToT);
8823 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8825 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8827 return this->emitCast(FromT, ToT, E);
8831template <
class Emitter>
8832bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8836 return this->
discard(SubExpr);
8838 if (!this->visit(SubExpr))
8841 if (!this->emitConstUint8(0, SubExpr))
8843 return this->emitArrayElemPtrPopUint8(SubExpr);
8847 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8851template <
class Emitter>
8852bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8853 assert(!DiscardResult);
8857 if (!this->emitArrayElem(ElemT, 0, E))
8860 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8863 if (!this->emitCast(ElemT,
PT_Bool, E))
8868 LabelTy LabelTrue = this->getLabel();
8869 if (!this->jumpTrue(LabelTrue, E))
8872 if (!this->emitArrayElemPop(ElemT, 1, E))
8875 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8878 if (!this->emitCast(ElemT,
PT_Bool, E))
8882 LabelTy EndLabel = this->getLabel();
8883 this->jump(EndLabel, E);
8885 this->emitLabel(LabelTrue);
8886 if (!this->emitPopPtr(E))
8888 if (!this->emitConstBool(
true, E))
8891 this->fallthrough(EndLabel);
8892 this->emitLabel(EndLabel);
8897template <
class Emitter>
8898bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8909 LHSIsComplex =
true;
8910 ElemT = classifyComplexElementType(LHS->
getType());
8911 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8912 if (!this->visit(LHS))
8914 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8917 LHSIsComplex =
false;
8919 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8920 if (!this->visit(LHS))
8922 if (!this->emitSetLocal(LHST, LHSOffset, E))
8929 RHSIsComplex =
true;
8930 ElemT = classifyComplexElementType(RHS->
getType());
8931 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8932 if (!this->visit(RHS))
8934 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8937 RHSIsComplex =
false;
8939 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8940 if (!this->visit(RHS))
8942 if (!this->emitSetLocal(RHST, RHSOffset, E))
8946 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8947 bool IsComplex) ->
bool {
8949 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8951 return this->emitArrayElemPop(ElemT, Index, E);
8953 return this->emitGetLocal(ElemT, LocalOffset, E);
8956 for (
unsigned I = 0; I != 2; ++I) {
8958 if (!getElem(LHSOffset, I, LHSIsComplex))
8960 if (!getElem(RHSOffset, I, RHSIsComplex))
8963 if (!this->emitEQ(ElemT, E))
8966 if (!this->emitCastBoolUint8(E))
8971 if (!this->emitAddUint8(E))
8973 if (!this->emitConstUint8(2, E))
8977 if (!this->emitEQUint8(E))
8980 if (!this->emitNEUint8(E))
8987 return this->emitCast(
PT_Bool, ResT, E);
8994template <
class Emitter>
8995bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8998 assert(!
R->hasTrivialDtor());
9001 const Function *DtorFunc = getFunction(
Dtor);
9004 assert(DtorFunc->hasThisPointer());
9005 assert(DtorFunc->getNumParams() == 1);
9006 return this->emitCall(DtorFunc, 0, Loc);
9011template <
class Emitter>
9012bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
9024 return this->emitPopPtr(Loc);
9026 for (ssize_t I = N - 1; I >= 1; --I) {
9027 if (!this->emitConstUint64(I, Loc))
9029 if (!this->emitArrayElemPtrUint64(Loc))
9031 if (!this->emitDestructionPop(ElemDesc, Loc))
9035 if (!this->emitConstUint64(0, Loc))
9037 if (!this->emitArrayElemPtrPopUint64(Loc))
9039 return this->emitDestructionPop(ElemDesc, Loc);
9044 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
9049template <
class Emitter>
9050bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
9051 assert(!DiscardResult &&
"Should've been checked before");
9052 return this->emitGetOpaquePtr(D, CU, E);
9055template <
class Emitter>
9058 return this->emitConstFloat(
Floating(F), Info);
9060 APInt I = F.bitcastToAPInt();
9061 return this->emitConstFloat(
9062 Floating(
const_cast<uint64_t *
>(I.getRawData()),
9063 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
9074template <
class Emitter>
9075bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
9088 if (!this->emitGetPtrLocal(*LocalIndex, E))
9098 if (!this->visit(SubExpr))
9100 }
else if (
OptPrimType FromT = classify(SubExpr)) {
9101 unsigned TempOffset =
9102 allocateLocalPrimitive(SubExpr, *FromT,
true);
9103 if (!this->visit(SubExpr))
9105 if (!this->emitSetLocal(*FromT, TempOffset, E))
9107 if (!this->emitGetPtrLocal(TempOffset, E))
9114 if (!this->emitBitCast(E))
9116 return DiscardResult ? this->emitPopPtr(E) :
true;
9120 const llvm::fltSemantics *TargetSemantics =
nullptr;
9122 TargetSemantics = &Ctx.getFloatSemantics(ToType);
9128 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
9130 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
9131 ResultBitWidth, TargetSemantics,
9136 return this->emitPop(*ToT, E);
9145template <
class Emitter>
9146bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
9151 unsigned NumElems = 0;
9154 NumElems = VT->getNumElements();
9155 ElemType = VT->getElementType();
9157 NumElems = MT->getNumElementsFlattened();
9158 ElemType = MT->getElementType();
9161 PrimType ElemT = classifyPrim(ElemType);
9162 for (
unsigned I = 0; I != NumElems; ++I) {
9163 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9165 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
9167 if (!this->emitInitElem(ElemT, I, E))
9177 QualType ArrElemType = CAT->getElementType();
9178 unsigned ArrSize = CAT->getZExtSize();
9181 for (
unsigned I = 0; I != ArrSize; ++I) {
9182 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9184 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
9186 if (!this->emitInitElem(*ElemT, I, E))
9190 for (
unsigned I = 0; I != ArrSize; ++I) {
9191 if (!this->emitConstUint32(I, E))
9193 if (!this->emitArrayElemPtrUint32(E))
9195 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
9197 if (!this->emitFinishInitPop(E))
9207 const Record *
R = getRecord(DestType);
9211 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9213 const Record::Base *B =
R->getBase(BS.getType());
9215 if (!this->emitGetPtrBase(B->Offset, E))
9217 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
9219 if (!this->emitFinishInitPop(E))
9224 for (
const Record::Field &F :
R->fields()) {
9225 if (F.isUnnamedBitField())
9228 QualType FieldType = F.Decl->getType();
9230 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9232 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
9234 if (F.isBitField()) {
9235 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9238 if (!this->emitInitField(*FieldT, F.Offset, E))
9242 if (!this->emitGetPtrField(F.Offset, E))
9244 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
9246 if (!this->emitPopPtr(E))
9259template <
class Emitter>
9260unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
9263 return VT->getNumElements();
9265 return MT->getNumElementsFlattened();
9269 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
9273 const Record *
R = getRecord(Ty);
9277 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9279 Count += countHLSLFlatElements(BS.getType());
9281 for (
const Record::Field &F :
R->fields()) {
9282 if (F.isUnnamedBitField())
9284 Count += countHLSLFlatElements(F.Decl->getType());
9289 if (canClassify(Ty))
9298template <
class Emitter>
9299bool Compiler<Emitter>::emitHLSLFlattenAggregate(
9300 QualType SrcType,
unsigned SrcOffset,
9305 auto saveToLocal = [&](
PrimType T) ->
bool {
9306 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
9307 if (!this->emitSetLocal(
T, Offset, E))
9309 Elements.push_back({Offset,
T});
9315 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9316 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9317 return std::nullopt;
9322 unsigned NumElems = 0;
9325 NumElems = VT->getNumElements();
9326 ElemType = VT->getElementType();
9328 NumElems = MT->getNumElementsFlattened();
9329 ElemType = MT->getElementType();
9332 PrimType ElemT = classifyPrim(ElemType);
9333 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9334 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9336 if (!this->emitArrayElemPop(ElemT, I, E))
9338 if (!saveToLocal(ElemT))
9348 QualType ArrElemType = CAT->getElementType();
9349 unsigned ArrSize = CAT->getZExtSize();
9352 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9353 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9355 if (!this->emitArrayElemPop(*ElemT, I, E))
9357 if (!saveToLocal(*ElemT))
9361 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9362 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9364 if (!this->emitConstUint32(I, E))
9366 if (!this->emitArrayElemPtrPopUint32(E))
9371 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9382 const Record *
R = getRecord(SrcType);
9386 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9388 if (Elements.size() >= MaxElements)
9390 const Record::Base *B =
R->getBase(BS.getType());
9392 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9394 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9399 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9405 for (
const Record::Field &F :
R->fields()) {
9406 if (Elements.size() >= MaxElements)
9408 if (F.isUnnamedBitField())
9411 QualType FieldType = F.Decl->getType();
9412 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9414 if (!this->emitGetPtrFieldPop(F.Offset, E))
9418 if (!this->emitLoadPop(*FieldT, E))
9420 if (!saveToLocal(*FieldT))
9424 if (!FieldPtrOffset)
9426 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9442template <
class Emitter>
9443bool Compiler<Emitter>::emitHLSLConstructAggregate(
9449 const auto &Src = Elements[ElemIdx++];
9450 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9452 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9456 unsigned NumElems = 0;
9459 NumElems = VT->getNumElements();
9460 ElemType = VT->getElementType();
9462 NumElems = MT->getNumElementsFlattened();
9463 ElemType = MT->getElementType();
9466 PrimType DestElemT = classifyPrim(ElemType);
9467 for (
unsigned I = 0; I != NumElems; ++I) {
9468 if (!loadAndCast(DestElemT, ElemType))
9470 if (!this->emitInitElem(DestElemT, I, E))
9480 QualType ArrElemType = CAT->getElementType();
9481 unsigned ArrSize = CAT->getZExtSize();
9484 for (
unsigned I = 0; I != ArrSize; ++I) {
9485 if (!loadAndCast(*ElemT, ArrElemType))
9487 if (!this->emitInitElem(*ElemT, I, E))
9491 for (
unsigned I = 0; I != ArrSize; ++I) {
9492 if (!this->emitConstUint32(I, E))
9494 if (!this->emitArrayElemPtrUint32(E))
9496 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9498 if (!this->emitFinishInitPop(E))
9508 const Record *
R = getRecord(DestType);
9512 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9514 const Record::Base *B =
R->getBase(BS.getType());
9516 if (!this->emitGetPtrBase(B->Offset, E))
9518 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9520 if (!this->emitFinishInitPop(E))
9525 for (
const Record::Field &F :
R->fields()) {
9526 if (F.isUnnamedBitField())
9529 QualType FieldType = F.Decl->getType();
9531 if (!loadAndCast(*FieldT, FieldType))
9533 if (F.isBitField()) {
9534 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9537 if (!this->emitInitField(*FieldT, F.Offset, E))
9541 if (!this->emitGetPtrField(F.Offset, E))
9543 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9545 if (!this->emitPopPtr(E))
static bool visitAPValue(const APValue &Value, llvm::function_ref< bool(const APValue &)> Visitor)
static bool emit(llvm::SmallVectorImpl< std::byte > &Code, const T &Val)
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)
static CharUnits alignOfType(QualType T, const ASTContext &ASTCtx, UnaryExprOrTypeTrait Kind)
#define EMIT_ARITH_OP(OP)
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
APSInt & getComplexIntImag()
unsigned getStructNumFields() const
bool isComplexInt() 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()
bool isComplexFloat() const
APValue & getVectorElt(unsigned I)
APValue & getArrayFiller()
unsigned getVectorLength() const
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
APSInt & getComplexIntReal()
APFloat & getComplexFloatImag()
APFloat & getComplexFloatReal()
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.
An expression that occurs in a constant context and the result of evaluating the expression.
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()
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)
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()