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))
1316template <
class Emitter>
1324 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1329template <
class Emitter>
1334template <
class Emitter>
1361 return this->emitComplexComparison(LHS, RHS, E);
1369 if (!this->
visit(LHS))
1372 if (!this->
visit(RHS))
1375 if (!this->emitToMemberPtr(E))
1381 if (!this->emitCastMemberPtrPtr(E))
1398 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1404 if (!this->emitGetPtrLocal(*ResultIndex, E))
1411 return this->emitCMP3(*
LT, CmpInfo, E);
1414 if (!
LT || !RT || !
T)
1424 return this->visitAssignment(LHS, RHS, E);
1431 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1435 return this->emitPopBool(E);
1437 return this->emitCast(
PT_Bool, *
T, E);
1441 auto Discard = [
this,
T, E](
bool Result) {
1449 return MaybeCastToBool(this->emitEQ(*
LT, E));
1451 return MaybeCastToBool(this->emitNE(*
LT, E));
1453 return MaybeCastToBool(this->emitLT(*
LT, E));
1455 return MaybeCastToBool(this->emitLE(*
LT, E));
1457 return MaybeCastToBool(this->emitGT(*
LT, E));
1459 return MaybeCastToBool(this->emitGE(*
LT, E));
1462 return Discard(this->emitSubf(getFPOptions(E), E));
1463 return Discard(this->emitSub(*
T, E));
1466 return Discard(this->emitAddf(getFPOptions(E), E));
1467 return Discard(this->emitAdd(*
T, E));
1470 return Discard(this->emitMulf(getFPOptions(E), E));
1471 return Discard(this->emitMul(*
T, E));
1473 return Discard(this->emitRem(*
T, E));
1476 return Discard(this->emitDivf(getFPOptions(E), E));
1477 return Discard(this->emitDiv(*
T, E));
1479 return Discard(this->emitBitAnd(*
T, E));
1481 return Discard(this->emitBitOr(*
T, E));
1483 return Discard(this->emitShl(*
LT, *RT, E));
1485 return Discard(this->emitShr(*
LT, *RT, E));
1487 return Discard(this->emitBitXor(*
T, E));
1490 llvm_unreachable(
"Already handled earlier");
1495 llvm_unreachable(
"Unhandled binary op");
1500template <
class Emitter>
1506 if ((Op != BO_Add && Op != BO_Sub) ||
1517 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1518 if (!this->
visit(E))
1521 return this->emitDecayPtr(
T,
PT_Ptr, E);
1530 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1538 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1541 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1548 if (!visitAsPointer(RHS, *RT))
1550 if (!this->
visit(LHS))
1554 if (!visitAsPointer(LHS, *
LT))
1556 if (!this->
visit(RHS))
1567 if (!this->emitAddOffset(OffsetType, E))
1571 if (!this->emitSubOffset(OffsetType, E))
1580 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1585 return this->emitPop(ExprT, E);
1589template <
class Emitter>
1598 LabelTy LabelTrue = this->getLabel();
1599 LabelTy LabelEnd = this->getLabel();
1603 if (!this->jumpTrue(LabelTrue, E))
1608 if (!this->jump(LabelEnd, E))
1611 this->emitLabel(LabelTrue);
1612 this->emitConstBool(
true, E);
1613 this->fallthrough(LabelEnd);
1614 this->emitLabel(LabelEnd);
1617 assert(Op == BO_LAnd);
1620 LabelTy LabelFalse = this->getLabel();
1621 LabelTy LabelEnd = this->getLabel();
1625 if (!this->jumpFalse(LabelFalse, E))
1630 if (!this->jump(LabelEnd, E))
1633 this->emitLabel(LabelFalse);
1634 this->emitConstBool(
false, E);
1635 this->fallthrough(LabelEnd);
1636 this->emitLabel(LabelEnd);
1640 return this->emitPopBool(E);
1645 return this->emitCast(
PT_Bool,
T, E);
1650template <
class Emitter>
1657 if (!this->emitGetPtrLocal(*LocalIndex, E))
1666 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1667 unsigned ResultOffset = ~0u;
1673 if (!this->emitDupPtr(E))
1675 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1680 LHSType = AT->getValueType();
1683 RHSType = AT->getValueType();
1692 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1697 if (!this->
visit(LHS))
1699 if (!this->
visit(RHS))
1701 if (!this->emitMulc(ElemT, E))
1704 return this->emitPopPtr(E);
1708 if (Op == BO_Div && RHSIsComplex) {
1715 if (!LHSIsComplex) {
1720 LHSOffset = *LocalIndex;
1722 if (!this->emitGetPtrLocal(LHSOffset, E))
1725 if (!this->
visit(LHS))
1728 if (!this->emitInitElem(ElemT, 0, E))
1731 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1733 if (!this->emitInitElem(ElemT, 1, E))
1736 if (!this->
visit(LHS))
1740 if (!this->
visit(RHS))
1742 if (!this->emitDivc(ElemT, E))
1745 return this->emitPopPtr(E);
1752 if (!this->
visit(LHS))
1754 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1759 if (!this->
visit(LHS))
1761 if (!this->emitSetLocal(LHST, LHSOffset, E))
1769 if (!this->
visit(RHS))
1771 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1776 if (!this->
visit(RHS))
1778 if (!this->emitSetLocal(RHST, RHSOffset, E))
1785 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1786 unsigned ElemIndex,
unsigned Offset,
1787 const Expr *E) ->
bool {
1789 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1791 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1794 if (ElemIndex == 0 || !LoadZero)
1801 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1804 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1811 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1814 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1817 if (!this->emitAddf(getFPOptions(E), E))
1820 if (!this->emitAdd(ResultElemT, E))
1825 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1828 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1831 if (!this->emitSubf(getFPOptions(E), E))
1834 if (!this->emitSub(ResultElemT, E))
1839 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1842 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1846 if (!this->emitMulf(getFPOptions(E), E))
1849 if (!this->emitMul(ResultElemT, E))
1854 assert(!RHSIsComplex);
1855 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1858 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1862 if (!this->emitDivf(getFPOptions(E), E))
1865 if (!this->emitDiv(ResultElemT, E))
1876 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1879 if (!this->emitPop(ResultElemT, E))
1884 return this->emitPopPtr(E);
1890template <
class Emitter>
1895 "Comma op should be handled in VisitBinaryOperator");
1899 LHSType = AT->getValueType();
1902 RHSType = AT->getValueType();
1916 if (!this->emitGetPtrLocal(*LocalIndex, E))
1925 PrimType ElemT = this->classifyVectorElementType(LHSType);
1926 PrimType RHSElemT = this->classifyVectorElementType(RHSType);
1930 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1933 if (!this->
visit(LHS))
1935 if (!this->
visit(RHS))
1937 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1940 return this->emitPopPtr(E);
1945 unsigned LHSOffset =
1947 if (!this->
visit(LHS))
1949 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1953 unsigned RHSOffset =
1955 if (!this->
visit(RHS))
1957 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1969 if (NeedIntPromot) {
1971 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1976 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1977 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1979 if (!this->emitArrayElemPop(ElemT, Index, E))
1982 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1984 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1986 }
else if (NeedIntPromot) {
1987 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1993#define EMIT_ARITH_OP(OP) \
1995 if (ElemT == PT_Float) { \
1996 if (!this->emit##OP##f(getFPOptions(E), E)) \
1999 if (!this->emit##OP(ElemT, E)) \
2005 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
2006 if (!getElem(LHSOffset, ElemT, I))
2008 if (!getElem(RHSOffset, RHSElemT, I))
2020 if (!this->emitRem(ElemT, E))
2024 if (!this->emitBitAnd(OpT, E))
2028 if (!this->emitBitOr(OpT, E))
2032 if (!this->emitBitXor(OpT, E))
2036 if (!this->emitShl(OpT, RHSElemT, E))
2040 if (!this->emitShr(OpT, RHSElemT, E))
2044 if (!this->emitEQ(ElemT, E))
2048 if (!this->emitNE(ElemT, E))
2052 if (!this->emitLE(ElemT, E))
2056 if (!this->emitLT(ElemT, E))
2060 if (!this->emitGE(ElemT, E))
2064 if (!this->emitGT(ElemT, E))
2069 if (!this->emitBitAnd(ResultElemT, E))
2074 if (!this->emitBitOr(ResultElemT, E))
2078 return this->emitInvalid(E);
2087 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2089 if (!this->emitNeg(ResultElemT, E))
2095 if (NeedIntPromot &&
2096 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2100 if (!this->emitInitElem(ResultElemT, I, E))
2109template <
class Emitter>
2119 auto LHSSemaInt = LHSSema.toOpaqueInt();
2121 auto RHSSemaInt = RHSSema.toOpaqueInt();
2123 if (!this->
visit(LHS))
2131 if (!this->
visit(RHS))
2140 auto ConvertResult = [&](
bool R) ->
bool {
2144 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2145 if (ResultSema != CommonSema)
2146 return this->emitCastFixedPoint(ResultSema, E);
2150 auto MaybeCastToBool = [&](
bool Result) {
2155 return this->emitPop(
T, E);
2157 return this->emitCast(
PT_Bool,
T, E);
2163 return MaybeCastToBool(this->emitEQFixedPoint(E));
2165 return MaybeCastToBool(this->emitNEFixedPoint(E));
2167 return MaybeCastToBool(this->emitLTFixedPoint(E));
2169 return MaybeCastToBool(this->emitLEFixedPoint(E));
2171 return MaybeCastToBool(this->emitGTFixedPoint(E));
2173 return MaybeCastToBool(this->emitGEFixedPoint(E));
2175 return ConvertResult(this->emitAddFixedPoint(E));
2177 return ConvertResult(this->emitSubFixedPoint(E));
2179 return ConvertResult(this->emitMulFixedPoint(E));
2181 return ConvertResult(this->emitDivFixedPoint(E));
2183 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2185 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2188 return this->emitInvalid(E);
2191 llvm_unreachable(
"unhandled binop opcode");
2194template <
class Emitter>
2203 if (!this->
visit(SubExpr))
2205 if (!this->emitNegFixedPoint(E))
2208 return this->emitPopFixedPoint(E);
2214 llvm_unreachable(
"Unhandled unary opcode");
2217template <
class Emitter>
2226 return this->visitZeroInitializer(*
T, QT, E);
2239 return this->visitZeroRecordInitializer(R, E);
2246 return this->visitZeroArrayInitializer(QT, E);
2250 QualType ElemQT = ComplexTy->getElementType();
2252 for (
unsigned I = 0; I < 2; ++I) {
2253 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2255 if (!this->emitInitElem(ElemT, I, E))
2262 unsigned NumVecElements = VecT->getNumElements();
2263 QualType ElemQT = VecT->getElementType();
2266 for (
unsigned I = 0; I < NumVecElements; ++I) {
2267 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2269 if (!this->emitInitElem(ElemT, I, E))
2276 unsigned NumElems = MT->getNumElementsFlattened();
2277 QualType ElemQT = MT->getElementType();
2280 for (
unsigned I = 0; I != NumElems; ++I) {
2281 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2283 if (!this->emitInitElem(ElemT, I, E))
2292template <
class Emitter>
2305 for (
const Expr *SubExpr : {LHS, RHS}) {
2306 if (!this->
visit(SubExpr)) {
2313 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2314 if (!this->emitExpandPtr(E))
2325 return this->emitError(E);
2328 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2332 if (!this->emitArrayElemPtrPop(*IndexT, E))
2335 return this->emitPopPtr(E);
2341 return this->emitLoadPop(*
T, E);
2344template <
class Emitter>
2346 const Expr *ArrayFiller,
const Expr *E) {
2351 QT = AT->getValueType();
2354 if (
Inits.size() == 0)
2356 return this->emitInvalid(E);
2369 if (
Inits.size() == 0)
2370 return this->visitZeroInitializer(*
T, QT, E);
2371 assert(
Inits.size() == 1);
2385 if (!this->emitGetPtrLocal(*LocalIndex, E))
2400 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2406 if (
DefaultInit && !this->emitStartFieldInit(FieldToInit->Offset,
Init))
2415 bool BitField = FieldToInit->isBitField();
2417 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2418 FieldToInit->bitWidth(), E);
2420 return this->emitInitBitField(
T, FieldToInit->Offset,
2421 FieldToInit->bitWidth(), E);
2423 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2424 return this->emitInitField(
T, FieldToInit->Offset, E);
2427 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2435 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2438 if (
Activate && !this->emitActivate(E))
2441 if (!this->emitStartInit(
Init))
2448 if (
Inits.size() == 0) {
2449 if (!this->visitZeroRecordInitializer(R, E))
2454 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2455 FToInit = ILE->getInitializedFieldInUnion();
2459 const Record::Field *FieldToInit = R->getField(FToInit);
2461 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2464 if (!initCompositeField(FieldToInit,
Init,
true))
2468 return this->emitFinishInit(E);
2471 assert(!R->isUnion());
2472 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2474 const Record::Base *B = R->getBase(BI);
2477 if (!this->emitGetPtrBase(B->Offset,
Init))
2483 unsigned FieldIndex = 0;
2484 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2485 const Record::Field *FieldToInit = R->getField(FieldIndex);
2486 if (FieldToInit->isUnnamedBitField()) {
2501 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2503 }
else if (!initCompositeField(FieldToInit,
Init)) {
2511 assert(R->getNumVirtualBases() == 0);
2513 return this->emitFinishInit(E);
2518 Ctx.getASTContext().getAsConstantArrayType(QT);
2523 !this->emitCheckArrayDestSize(NumElems, E))
2526 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2530 unsigned ElementIndex = 0;
2532 if (
const auto *EmbedS =
2533 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2541 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2542 getFPOptions(E), E))
2548 return this->emitInitElem(TargetT, ElemIndex, IL);
2550 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2566 for (; ElementIndex != NumElems; ++ElementIndex) {
2572 return this->emitFinishInit(E);
2576 unsigned NumInits =
Inits.size();
2581 QualType ElemQT = ComplexTy->getElementType();
2583 if (NumInits == 0) {
2585 for (
unsigned I = 0; I < 2; ++I) {
2586 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2588 if (!this->emitInitElem(ElemT, I, E))
2591 }
else if (NumInits == 2) {
2592 unsigned InitIndex = 0;
2597 if (!this->emitInitElem(ElemT, InitIndex, E))
2606 unsigned NumVecElements = VecT->getNumElements();
2607 assert(NumVecElements >=
Inits.size());
2609 QualType ElemQT = VecT->getElementType();
2613 unsigned InitIndex = 0;
2620 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2621 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2622 InitVecT->getNumElements(), E))
2624 InitIndex += InitVecT->getNumElements();
2626 if (!this->emitInitElem(ElemT, InitIndex, E))
2632 assert(InitIndex <= NumVecElements);
2635 for (; InitIndex != NumVecElements; ++InitIndex) {
2636 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2638 if (!this->emitInitElem(ElemT, InitIndex, E))
2645 unsigned NumElems = MT->getNumElementsFlattened();
2646 assert(
Inits.size() == NumElems);
2648 QualType ElemQT = MT->getElementType();
2654 for (
unsigned I = 0; I != NumElems; ++I) {
2657 if (!this->emitInitElem(ElemT, I, E))
2668template <
class Emitter>
2675 return this->emitInitElem(*InitT, ElemIndex,
Init);
2681 if (!this->emitConstUint32(ElemIndex,
Init))
2683 if (!this->emitArrayElemPtrUint32(
Init))
2688template <
class Emitter>
2691 bool Activate,
bool IsOperatorCall) {
2693 llvm::BitVector NonNullArgs;
2694 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2697 bool ExplicitMemberFn =
false;
2698 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2699 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2701 unsigned ArgIndex = 0;
2702 for (
const Expr *Arg : Args) {
2704 if (!this->
visit(Arg))
2712 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2713 if (DeclIndex < FuncDecl->getNumParams())
2714 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2723 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2731 if (!this->emitActivate(Arg))
2735 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2738 if (!this->emitCheckNonNullArg(ArgT, Arg))
2749template <
class Emitter>
2754template <
class Emitter>
2760template <
class Emitter>
2766template <
class Emitter>
2786 if (!this->emitGetPtrLocal(*LocalIndex, E))
2792template <
class Emitter>
2794 auto It = E->
begin();
2795 return this->
visit(*It);
2799 UnaryExprOrTypeTrait Kind) {
2804 T = Ref->getPointeeType();
2806 if (
T.getQualifiers().hasUnaligned())
2809 bool AlignOfReturnsPreferred =
2814 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2820template <
class Emitter>
2824 UnaryExprOrTypeTrait Kind = E->
getKind();
2827 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2833 ArgType = Ref->getPointeeType();
2839 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2840 return this->emitInvalid(E);
2842 if (Kind == UETT_SizeOf)
2851 return this->emitConst(Size.getQuantity(), E);
2854 if (Kind == UETT_CountOf) {
2860 if (
const auto *CAT =
2864 return this->emitConst(CAT->getSize(), E);
2874 if (VAT->getElementType()->isArrayType()) {
2875 std::optional<APSInt> Res =
2877 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2882 return this->emitConst(*Res, E);
2887 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2907 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2910 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2920 return this->emitConst(Size.getQuantity(), E);
2923 if (Kind == UETT_VectorElements) {
2928 return this->emitConst(VT->getNumElements(), E);
2930 return this->emitSizelessVectorElementSize(E);
2933 if (Kind == UETT_VecStep) {
2935 unsigned N = VT->getNumElements();
2942 return this->emitConst(N, E);
2944 return this->emitConst(1, E);
2947 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2956 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2958 return this->emitInvalid(E);
2960 return this->emitConst(
2969template <
class Emitter>
2978 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2983 if (VD->getInit() && !VD->getInit()->isValueDependent())
2984 VD->evaluateValue();
2985 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2986 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2988 if (
Member->getType()->isReferenceType())
2989 return this->emitLoadPopPtr(E);
2998 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2999 MD && !MD->isStatic()) {
3003 if (!this->
discard(Base) && !this->emitSideEffect(E))
3018 const Record::Field *F = R->getField(FD);
3022 const auto maybeLoadValue = [&]() ->
bool {
3026 return this->emitLoadPop(*
T, E);
3031 if (F->Decl->getType()->isReferenceType())
3032 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
3033 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
3036template <
class Emitter>
3046template <
class Emitter>
3056 return this->emitCheckArraySize(Size, E);
3062 if (!this->
visit(Common))
3064 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
3078 for (
size_t I = 0; I != Size; ++I) {
3090template <
class Emitter>
3105 return this->emitGetLocal(SubExprT, It->second, E);
3108 if (!this->
visit(SourceExpr))
3115 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3124 return this->emitGetLocal(SubExprT, LocalIndex, E);
3128template <
class Emitter>
3141 bool IsBcpCall =
false;
3142 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3143 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3147 LabelTy LabelEnd = this->getLabel();
3148 LabelTy LabelFalse = this->getLabel();
3151 if (!this->emitPushIgnoreDiags(E))
3159 if (this->checkingForUndefinedBehavior()) {
3162 if (!this->
discard(FalseExpr))
3176 if (!this->jumpFalse(LabelFalse, E))
3181 if (!this->jump(LabelEnd, E))
3183 this->emitLabel(LabelFalse);
3187 this->fallthrough(LabelEnd);
3188 this->emitLabel(LabelEnd);
3191 return this->emitPopIgnoreDiags(E);
3195template <
class Emitter>
3201 return this->emitGetStringPtr(E, E);
3205 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3206 assert(CAT &&
"a string literal that's not a constant array?");
3211 unsigned N = std::min(ArraySize, E->
getLength());
3214 for (
unsigned I = 0; I != N; ++I) {
3217 if (CharWidth == 1) {
3218 this->emitConstSint8(CodeUnit, E);
3219 this->emitInitElemSint8(I, E);
3220 }
else if (CharWidth == 2) {
3221 this->emitConstUint16(CodeUnit, E);
3222 this->emitInitElemUint16(I, E);
3223 }
else if (CharWidth == 4) {
3224 this->emitConstUint32(CodeUnit, E);
3225 this->emitInitElemUint32(I, E);
3227 llvm_unreachable(
"unsupported character width");
3232 for (
unsigned I = N; I != ArraySize; ++I) {
3233 if (CharWidth == 1) {
3234 this->emitConstSint8(0, E);
3235 this->emitInitElemSint8(I, E);
3236 }
else if (CharWidth == 2) {
3237 this->emitConstUint16(0, E);
3238 this->emitInitElemUint16(I, E);
3239 }
else if (CharWidth == 4) {
3240 this->emitConstUint32(0, E);
3241 this->emitInitElemUint32(I, E);
3243 llvm_unreachable(
"unsupported character width");
3250template <
class Emitter>
3254 return this->emitDummyPtr(E, E);
3257template <
class Emitter>
3259 auto &A =
Ctx.getASTContext();
3268template <
class Emitter>
3276 auto &A =
Ctx.getASTContext();
3280 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3281 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3287 return this->emitGetStringPtr(SL, E);
3290template <
class Emitter>
3294 return this->emitConst(E->
getValue(), E);
3297template <
class Emitter>
3319 if (!this->emitLoad(LHST, E))
3322 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3323 LHSComputationType, E))
3335 unsigned TempOffset =
3337 if (!this->emitSetLocal(*RT, TempOffset, E))
3343 if (!this->emitLoad(LHST, E))
3347 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3348 LHSComputationType, E))
3352 if (!this->emitGetLocal(*RT, TempOffset, E))
3358 if (!this->emitAddf(getFPOptions(E), E))
3362 if (!this->emitSubf(getFPOptions(E), E))
3366 if (!this->emitMulf(getFPOptions(E), E))
3370 if (!this->emitDivf(getFPOptions(E), E))
3381 return this->emitStorePop(LHST, E);
3382 return this->emitStore(LHST, E);
3385template <
class Emitter>
3394 if (Op != BO_AddAssign && Op != BO_SubAssign)
3403 if (!this->emitLoad(*
LT, LHS))
3409 if (Op == BO_AddAssign) {
3410 if (!this->emitAddOffset(*RT, E))
3413 if (!this->emitSubOffset(*RT, E))
3418 return this->emitStorePopPtr(E);
3419 return this->emitStorePtr(E);
3422template <
class Emitter>
3435 if (!
Ctx.getLangOpts().CPlusPlus14)
3436 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3438 if (!
LT || !RT || !ResultT || !LHSComputationT)
3455 if (!this->emitLoad(*
LT, E))
3457 if (
LT != LHSComputationT &&
3458 !this->emitIntegralCast(*
LT, *LHSComputationT,
3472 unsigned TempOffset =
3475 if (!this->emitSetLocal(*RT, TempOffset, E))
3482 if (!this->emitLoad(*
LT, E))
3484 if (
LT != LHSComputationT &&
3485 !this->emitIntegralCast(*
LT, *LHSComputationT,
3490 if (!this->emitGetLocal(*RT, TempOffset, E))
3497 if (!this->emitAdd(*LHSComputationT, E))
3501 if (!this->emitSub(*LHSComputationT, E))
3505 if (!this->emitMul(*LHSComputationT, E))
3509 if (!this->emitDiv(*LHSComputationT, E))
3513 if (!this->emitRem(*LHSComputationT, E))
3517 if (!this->emitShl(*LHSComputationT, *RT, E))
3521 if (!this->emitShr(*LHSComputationT, *RT, E))
3525 if (!this->emitBitAnd(*LHSComputationT, E))
3529 if (!this->emitBitXor(*LHSComputationT, E))
3533 if (!this->emitBitOr(*LHSComputationT, E))
3537 llvm_unreachable(
"Unimplemented compound assign operator");
3541 if (ResultT != LHSComputationT &&
3542 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3548 return this->emitStoreBitFieldPop(*ResultT, E);
3549 return this->emitStorePop(*ResultT, E);
3552 return this->emitStoreBitField(*ResultT, E);
3553 return this->emitStore(*ResultT, E);
3556template <
class Emitter>
3564template <
class Emitter>
3579 if (!
Ctx.getLangOpts().CPlusPlus11)
3586 for (
const Expr *LHS : CommaLHSs) {
3601 if (this->constantFolding())
3612 if (!this->
visit(Inner))
3617 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3620 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3623 return this->emitGetPtrGlobal(*GlobalIndex, E);
3626 if (!this->checkLiteralType(Inner))
3629 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3635 return this->emitInitGlobalTempComp(TempDecl, E);
3648 unsigned LocalIndex =
3650 if (!this->VarScope->LocalsAlwaysEnabled &&
3651 !this->emitEnableLocal(LocalIndex, E))
3654 if (!this->
visit(Inner))
3656 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3659 return this->emitGetPtrLocal(LocalIndex, E);
3662 if (!this->checkLiteralType(Inner))
3669 if (!this->VarScope->LocalsAlwaysEnabled &&
3670 !this->emitEnableLocal(*LocalIndex, E))
3673 if (!this->emitGetPtrLocal(*LocalIndex, E))
3680template <
class Emitter>
3691 if (!this->
visit(SubExpr))
3695 return this->emitPopPtr(E);
3699template <
class Emitter>
3720 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3725 if (
P.isGlobalInitialized(*GlobalIndex))
3731 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3743 unsigned LocalIndex;
3747 LocalIndex = *MaybeIndex;
3751 if (!this->emitGetPtrLocal(LocalIndex, E))
3755 return this->
visit(
Init) && this->emitInit(*
T, E);
3759template <
class Emitter>
3770 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3774 if (!R || R->getNumFields() == 0)
3776 const Record::Field *Field = R->getField(0
U);
3781 return this->emitInitField(*Field->T, Field->Offset, E);
3788template <
class Emitter>
3792 return this->emitConst(E->
getValue(), E);
3795template <
class Emitter>
3808 for (
const Record::Field &F : R->fields()) {
3810 if (!
Init ||
Init->containsErrors())
3818 if (!this->emitInitField(*
T, F.Offset, E))
3821 if (!this->emitGetPtrField(F.Offset, E))
3832template <
class Emitter>
3838 return this->emitGetStringPtr(E, E);
3842template <
class Emitter>
3847 return this->emitInvalid(E);
3850template <
class Emitter>
3864 if (!this->emitInvalidCast(
CastKind,
false, E))
3872 bool Fatal = (ToT != FromT);
3879template <
class Emitter>
3881 if (!
Ctx.getLangOpts().CPlusPlus20) {
3902 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3907 return this->emitPopPtr(E);
3911template <
class Emitter>
3917 return this->emitConstBool(E->
getValue(), E);
3920template <
class Emitter>
3925 if (
T->isRecordType()) {
3939 if (!this->emitGetPtrLocal(*LocalIndex, E))
3947 T->getAsCXXRecordDecl()))
3957 if (!this->visitZeroRecordInitializer(R, E))
3968 if (!this->emitDefaultInit(Ctor, E))
3971 return this->emitPopPtr(E);
3979 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3981 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3982 if (!this->emitCheckFunctionDecl(Ctor, E))
3993 assert(
Func->hasThisPointer());
3994 assert(!
Func->hasRVO());
3998 if (!this->emitDupPtr(E))
4002 for (
const auto *Arg : E->
arguments()) {
4003 if (!this->
visit(Arg))
4007 if (
Func->isVariadic()) {
4008 uint32_t VarArgSize = 0;
4009 unsigned NumParams =
Func->getNumWrittenParams();
4010 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
4014 if (!this->emitCallVar(
Func, VarArgSize, E))
4017 if (!this->emitCall(
Func, 0, E)) {
4022 (void)this->emitPopPtr(E);
4028 return this->emitPopPtr(E);
4032 if (
T->isArrayType()) {
4037 if (!this->emitDupPtr(E))
4041 initArrayDimension = [&](
QualType T) ->
bool {
4042 if (!
T->isArrayType()) {
4044 for (
const auto *Arg : E->
arguments()) {
4045 if (!this->
visit(Arg))
4049 return this->emitCall(
Func, 0, E);
4053 Ctx.getASTContext().getAsConstantArrayType(
T);
4059 return this->emitCheckArraySize(NumElems, E);
4060 for (uint64_t I = 0; I != NumElems; ++I) {
4061 if (!this->emitConstUint64(I, E))
4063 if (!this->emitArrayElemPtrUint64(E))
4065 if (!initArrayDimension(ElemTy))
4068 return this->emitPopPtr(E);
4071 return initArrayDimension(E->
getType());
4077template <
class Emitter>
4087 assert(Val.
isInt());
4089 return this->emitConst(I, E);
4096 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4097 return this->
visit(LValueExpr);
4112 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4116 const APValue &
V = UGCD->getValue();
4117 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4118 const Record::Field *F = R->getField(I);
4119 const APValue &FieldValue =
V.getStructField(I);
4123 if (!this->emitInitField(*F->T, F->Offset, E))
4131template <
class Emitter>
4137 for (
unsigned I = 0; I != N; ++I) {
4144 if (!this->
discard(ArrayIndexExpr))
4150 if (!this->
visit(ArrayIndexExpr))
4152 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4156 if (!this->
visit(ArrayIndexExpr))
4160 if (!this->emitCast(IndexT,
PT_Sint64, E))
4170 return this->emitOffsetOf(
T, E, E);
4173template <
class Emitter>
4182 return this->visitZeroInitializer(*
T, Ty, E);
4189 if (!this->emitGetPtrLocal(*LocalIndex, E))
4197 ElemQT = CT->getElementType();
4200 NumElems = VT->getNumElements();
4201 ElemQT = VT->getElementType();
4207 for (
unsigned I = 0; I != NumElems; ++I) {
4208 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4210 if (!this->emitInitElem(ElemT, I, E))
4219template <
class Emitter>
4224template <
class Emitter>
4230template <
class Emitter>
4235template <
class Emitter>
4240 return this->emitConst(E->
getValue(), E);
4243template <
class Emitter>
4265 unsigned ParamIndex = 0;
4269 if (!this->emitGetParam(PT, ParamIndex, E))
4274 return this->emitCall(F, 0, E);
4279template <
class Emitter>
4287 const Expr *PlacementDest =
nullptr;
4288 bool IsNoThrow =
false;
4293 if (PlacementArgs != 0) {
4302 if (PlacementArgs == 1) {
4304 if (OperatorNew->isReservedGlobalPlacementOperator()) {
4305 if (!this->emitCheckPlacementNew(E, E))
4307 PlacementDest = Arg1;
4311 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation()) {
4318 return this->emitInvalidNewDeleteExpr(E, E);
4322 return this->emitInvalid(E);
4324 }
else if (!OperatorNew
4325 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4326 return this->emitInvalidNewDeleteExpr(E, E);
4329 if (!PlacementDest) {
4334 Desc =
P.createDescriptor(E, *ElemT);
4336 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4343 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4347 const Expr *Stripped = *ArraySizeExpr;
4348 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4349 Stripped = ICE->getSubExpr())
4350 if (ICE->getCastKind() != CK_NoOp &&
4351 ICE->getCastKind() != CK_IntegralCast)
4359 if (!this->
visit(Stripped))
4361 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4364 if (PlacementDest) {
4365 if (!this->
visit(PlacementDest))
4367 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4369 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4372 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4377 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4381 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4388 size_t StaticInitElems = 0;
4389 const Expr *DynamicInit =
nullptr;
4393 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4394 StaticInitElems = CAT->getZExtSize();
4399 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4400 if (ILE->hasArrayFiller())
4401 DynamicInit = ILE->getArrayFiller();
4420 const Function *CtorFunc =
nullptr;
4421 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4425 }
else if (!DynamicInit && !ElemT)
4428 LabelTy EndLabel = this->getLabel();
4429 LabelTy StartLabel = this->getLabel();
4434 if (!this->emitDupPtr(E))
4436 if (!this->emitIsNonNullPtr(E))
4438 if (!this->jumpFalse(EndLabel, E))
4445 if (!this->emitConst(StaticInitElems,
SizeT, E))
4447 if (!this->emitSetLocal(
SizeT, Iter, E))
4450 this->fallthrough(StartLabel);
4451 this->emitLabel(StartLabel);
4453 if (!this->emitGetLocal(
SizeT, Iter, E))
4455 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4457 if (!this->emitLT(
SizeT, E))
4459 if (!this->jumpFalse(EndLabel, E))
4463 if (!this->emitGetLocal(
SizeT, Iter, E))
4465 if (!this->emitArrayElemPtr(
SizeT, E))
4468 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4473 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4475 if (!this->emitStorePop(*InitT, E))
4479 if (!this->visitZeroArrayInitializer(ElemType, E))
4482 }
else if (DynamicInit) {
4484 if (!this->
visit(DynamicInit))
4486 if (!this->emitStorePop(*InitT, E))
4493 if (!this->visitZeroInitializer(
4497 if (!this->emitStorePop(*ElemT, E))
4501 if (!this->emitCall(CtorFunc, 0, E))
4506 if (!this->emitGetPtrLocal(Iter, E))
4508 if (!this->emitIncPop(
SizeT,
false, E))
4511 if (!this->jump(StartLabel, E))
4514 this->fallthrough(EndLabel);
4515 this->emitLabel(EndLabel);
4519 if (PlacementDest) {
4520 if (!this->
visit(PlacementDest))
4522 if (!this->emitCheckNewTypeMismatch(E, E))
4527 if (!this->emitAlloc(Desc, E))
4536 if (!this->emitInit(*ElemT, E))
4547 return this->emitPopPtr(E);
4552template <
class Emitter>
4558 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4559 return this->emitInvalidNewDeleteExpr(E, E);
4568template <
class Emitter>
4574 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4579 return this->emitGetFnPtr(
Func, E);
4582template <
class Emitter>
4586 auto canonType = [](
const Type *
T) {
4587 return T->getCanonicalTypeUnqualified().getTypePtr();
4595 return this->emitGetTypeid(
4599 return this->emitGetTypeid(
4608 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4614 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4617 return this->emitPopPtr(E);
4621template <
class Emitter>
4625 return this->emitDummyPtr(E, E);
4626 return this->emitError(E);
4629template <
class Emitter>
4632 return this->emitDummyPtr(E, E);
4633 return this->emitError(E);
4636template <
class Emitter>
4643 assert(
false &&
"null reflection can't be constructed from parsing a "
4644 "reflection operand");
4652 assert(
false &&
"unknown or unimplemented reflection entities");
4656template <
class Emitter>
4658 assert(
Ctx.getLangOpts().CPlusPlus);
4659 return this->emitConstBool(E->
getValue(), E);
4662template <
class Emitter>
4674 return this->emitDummyPtr(GuidDecl, E);
4679 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4688 assert(
V.isStruct());
4689 assert(
V.getStructNumBases() == 0);
4693 return this->emitFinishInit(E);
4696template <
class Emitter>
4706template <
class Emitter>
4715template <
class Emitter>
4721template <
class Emitter>
4725 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4729 if (OVE->isUnique())
4745template <
class Emitter>
4750template <
class Emitter>
4752 return this->emitError(E);
4755template <
class Emitter>
4761 return this->emitDummyPtr(E, E);
4764template <
class Emitter>
4765bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4770 QualType ElemType = VT->getElementType();
4771 PrimType ElemT = classifyPrim(ElemType);
4773 PrimType SrcElemT = classifyVectorElementType(SrcType);
4779 if (!this->emitGetPtrLocal(*LocalIndex, E))
4783 unsigned SrcOffset =
4784 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4785 if (!this->visit(Src))
4787 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4790 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4791 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4793 if (!this->emitArrayElemPop(SrcElemT, I, E))
4797 if (SrcElemT != ElemT) {
4798 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4800 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4801 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4805 if (!this->emitInitElem(ElemT, I, E))
4811template <
class Emitter>
4813 return emitVectorConversion(E->
getSrcExpr(), E);
4816template <
class Emitter>
4820 return this->emitInvalid(E);
4829 assert(NumOutputElems > 0);
4835 if (!this->emitGetPtrLocal(*LocalIndex, E))
4840 unsigned VectorOffsets[2];
4841 for (
unsigned I = 0; I != 2; ++I) {
4844 if (!this->
visit(Vecs[I]))
4846 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4849 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4851 assert(ShuffleIndex >= -1);
4852 if (ShuffleIndex == -1)
4853 return this->emitInvalidShuffleVectorIndex(I, E);
4855 assert(ShuffleIndex < (NumInputElems * 2));
4856 if (!this->emitGetLocal(
PT_Ptr,
4857 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4859 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4860 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4863 if (!this->emitInitElem(ElemT, I, E))
4868 return this->emitPopPtr(E);
4873template <
class Emitter>
4878 Base->getType()->isVectorType() ||
4884 if (Indices.size() == 1) {
4889 if (!this->emitConstUint32(Indices[0], E))
4891 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4901 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4909 if (!this->emitGetPtrLocal(*ResultIndex, E))
4917 uint32_t DstIndex = 0;
4918 for (uint32_t I : Indices) {
4919 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4921 if (!this->emitArrayElemPop(ElemT, I, E))
4923 if (!this->emitInitElem(ElemT, DstIndex, E))
4933template <
class Emitter>
4937 return this->
discard(SubExpr) && this->emitInvalid(E);
4943 return this->emitDummyPtr(E, E);
4946template <
class Emitter>
4951 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4960 if (!this->emitGetPtrLocal(*LocalIndex, E))
4964 if (!this->
visit(SubExpr))
4966 if (!this->emitConstUint8(0, E))
4968 if (!this->emitArrayElemPtrPopUint8(E))
4970 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4973 PrimType SecondFieldT = *R->getField(1u)->T;
4975 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4977 if (!this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E))
4980 return this->emitPopPtr(E);
4983 assert(SecondFieldT ==
PT_Ptr);
4985 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4987 if (!this->emitExpandPtr(E))
4991 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4994 if (!this->emitInitFieldPtr(R->getField(1u)->Offset, E))
4997 return this->emitPopPtr(E);
5001template <
class Emitter>
5016 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
5020 return this->emitUnsupported(E);
5029 return this->
Visit(E);
5036 return this->
Visit(E);
5040 if (
const auto *PE = dyn_cast<ParenExpr>(E))
5043 if (
const auto *CE = dyn_cast<CastExpr>(E);
5045 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
5052 if (
const auto *PE = dyn_cast<ParenExpr>(E))
5055 if (
const auto *CE = dyn_cast<CastExpr>(E);
5056 CE && (CE->getCastKind() == CK_DerivedToBase ||
5057 CE->getCastKind() == CK_UncheckedDerivedToBase ||
5058 CE->getCastKind() == CK_NoOp))
5078 if (!this->emitGetPtrLocal(*LocalIndex, E))
5088 return this->
Visit(E);
5091template <
class Emitter>
5097 return this->
Visit(E) && this->emitFinishInit(E);
5100template <
class Emitter>
5106 return this->
Visit(E) && this->emitFinishInitPop(E);
5112 return this->
Visit(E);
5123 if (!this->
visit(E))
5125 return this->emitComplexBoolCast(E);
5130 if (!this->
visit(E))
5138 return this->emitIsNonNullPtr(E);
5142 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5145 return this->emitCast(*
T,
PT_Bool, E);
5148template <
class Emitter>
5152 QT = AT->getValueType();
5156 return this->emitZeroBool(E);
5158 return this->emitZeroSint8(E);
5160 return this->emitZeroUint8(E);
5162 return this->emitZeroSint16(E);
5164 return this->emitZeroUint16(E);
5166 return this->emitZeroSint32(E);
5168 return this->emitZeroUint32(E);
5170 return this->emitZeroSint64(E);
5172 return this->emitZeroUint64(E);
5174 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5176 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5178 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5181 return this->emitNullMemberPtr(0,
nullptr, E);
5183 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5184 return this->emitFloat(F, E);
5187 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5193 llvm_unreachable(
"unknown primitive type");
5196template <
class Emitter>
5197bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5199 bool IsCompleteClass) {
5203 for (
const Record::Field &Field :
R->fields()) {
5204 if (Field.isUnnamedBitField())
5211 if (!this->visitZeroInitializer(
T, QT, E))
5214 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5218 if (!this->emitInitField(
T, Field.Offset, E))
5223 if (!this->emitGetPtrField(Field.Offset, E))
5230 if (!this->visitZeroInitializer(
T, ET, E))
5232 if (!this->emitInitElem(
T, I, E))
5237 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5240 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5248 if (!this->emitFinishInitActivatePop(E))
5252 if (!this->emitFinishInitPop(E))
5256 for (
const Record::Base &B :
R->bases()) {
5257 if (!this->emitGetPtrBase(B.Offset, E))
5259 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5261 if (!this->emitFinishInitPop(E))
5265 if (IsCompleteClass) {
5266 for (
const Record::Base &B :
R->virtual_bases()) {
5269 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5271 if (!this->emitFinishInitPop(E))
5279template <
class Emitter>
5280bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5281 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5282 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5287 for (
size_t I = 0; I != NumElems; ++I) {
5288 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5290 if (!this->emitInitElem(*ElemT, I, E))
5296 const Record *
R = getRecord(ElemType);
5300 for (
size_t I = 0; I != NumElems; ++I) {
5301 if (!this->emitConstUint32(I, E))
5303 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5305 if (!this->visitZeroRecordInitializer(R, E))
5307 if (!this->emitPopPtr(E))
5313 for (
size_t I = 0; I != NumElems; ++I) {
5314 if (!this->emitConstUint32(I, E))
5316 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5318 if (!this->visitZeroArrayInitializer(ElemType, E))
5320 if (!this->emitPopPtr(E))
5329template <
class Emitter>
5330bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5332 if (!canClassify(E->
getType()))
5337 if (!this->visit(LHS))
5339 if (!this->visit(RHS))
5342 if (!this->visit(RHS))
5344 if (!this->visit(LHS))
5352 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5356 bool Activates = refersToUnion(LHS);
5359 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5362 if (DiscardResult) {
5363 if (BitField && Activates)
5364 return this->emitStoreBitFieldActivatePop(RHT, E);
5366 return this->emitStoreBitFieldPop(RHT, E);
5368 return this->emitStoreActivatePop(RHT, E);
5370 return this->emitStorePop(RHT, E);
5373 auto maybeLoad = [&](
bool Result) ->
bool {
5379 return this->emitLoadPop(RHT, E);
5383 if (BitField && Activates)
5384 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5386 return maybeLoad(this->emitStoreBitField(RHT, E));
5388 return maybeLoad(this->emitStoreActivate(RHT, E));
5390 return maybeLoad(this->emitStore(RHT, E));
5393template <
class Emitter>
5394template <
typename T>
5398 return this->emitConstSint8(
Value, Info);
5400 return this->emitConstUint8(
Value, Info);
5402 return this->emitConstSint16(
Value, Info);
5404 return this->emitConstUint16(
Value, Info);
5406 return this->emitConstSint32(
Value, Info);
5408 return this->emitConstUint32(
Value, Info);
5410 return this->emitConstSint64(
Value, Info);
5412 return this->emitConstUint64(
Value, Info);
5414 return this->emitConstBool(
Value, Info);
5422 llvm_unreachable(
"Invalid integral type");
5425 llvm_unreachable(
"unknown primitive type");
5428template <
class Emitter>
5429template <
typename T>
5430bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5431 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5434template <
class Emitter>
5438 return this->emitConstIntAPS(
Value, Info);
5440 return this->emitConstIntAP(
Value, Info);
5442 if (
Value.isSigned())
5443 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5444 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5447template <
class Emitter>
5451 return this->emitConstIntAPS(
Value, Info);
5453 return this->emitConstIntAP(
Value, Info);
5456 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5457 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5460template <
class Emitter>
5461bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5462 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5465template <
class Emitter>
5480 return Local.Offset;
5483template <
class Emitter>
5488 bool IsTemporary =
false;
5492 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5493 Init = VarD->getInit();
5495 if (
const auto *E = Src.
asExpr()) {
5505 return std::nullopt;
5512 return Local.Offset;
5515template <
class Emitter>
5524 return std::nullopt;
5534 return Local.Offset;
5537template <
class Emitter>
5539 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5540 return PT->getPointeeType()->getAsCanonical<RecordType>();
5546 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5550template <
class Emitter>
5552 return P.getOrCreateRecord(RD);
5555template <
class Emitter>
5557 return Ctx.getOrCreateFunction(FD);
5560template <
class Emitter>
5566 auto maybeDestroyLocals = [&]() ->
bool {
5567 if (DestroyToplevelScope)
5568 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5569 return this->emitCheckAllocations(E);
5576 return this->emitRetVoid(E) && maybeDestroyLocals();
5584 return this->emitRet(*
T, E) && maybeDestroyLocals();
5592 if (!this->emitGetPtrLocal(*LocalOffset, E))
5600 return this->emitRetValue(E) && maybeDestroyLocals();
5603 return maybeDestroyLocals() &&
false;
5606template <
class Emitter>
5608 bool DestroyToplevelScope) {
5612 return this->
visitExpr(E, DestroyToplevelScope);
5615template <
class Emitter>
5627 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5628 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5642template <
class Emitter>
5644 bool ConstantContext) {
5647 if (!ConstantContext) {
5662 auto GlobalIndex =
P.getGlobal(VD);
5663 assert(GlobalIndex);
5665 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5668 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5676 if (!this->emitGetRefLocal(
Local->second.Offset, VD))
5678 }
else if (!this->emitGetLocal(*VarT,
Local->second.Offset, VD))
5681 if (!this->emitGetPtrLocal(
Local->second.Offset, VD))
5691 auto GlobalIndex =
P.getGlobal(VD);
5692 assert(GlobalIndex);
5693 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5702 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5705template <
class Emitter>
5716 if (!this->isActive())
5721 if (
Init &&
Init->isValueDependent())
5725 auto checkDecl = [&]() ->
bool {
5727 return !NeedsOp || this->emitCheckDecl(VD, VD);
5734 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5737 if (
P.isGlobalInitialized(*GlobalIndex))
5741 }
else if ((GlobalIndex =
5756 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5759 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5762 if (!this->emitStartInit(
Init))
5768 if (!this->emitEndInit(
Init))
5771 return this->emitFinishInitGlobal(
Init);
5781 if (!
Init ||
Init->getType()->isVoidType())
5790 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5802 if (!this->emitCheckRefInit(
Init))
5806 return this->emitSetLocal(*VarT, Offset, VD);
5814 if (!this->emitGetPtrLocal(*Offset,
Init))
5822template <
class Emitter>
5845 if (!this->emitGetPtrLocal(
Local.Offset, VD))
5851 return this->emitDestructionPop(D, VD);
5860 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5884template <
class Emitter>
5899 unsigned ParamIndex = 0;
5906 const Expr *Arg = Args[ParamIndex];
5907 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5909 unsigned ArgOffset =
5911 if (!this->
visit(Arg))
5913 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5919 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5931 if (
This->getType()->isPointerType()) {
5934 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5941 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5963template <
class Emitter>
5969 return this->emitConst(Val.
getInt(), ValType, Info);
5971 return this->emitFloat(Val.
getFloat(), Info);
5975 if (!this->emitGetMemberPtr(MemberDecl, Info))
5981 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5987 return this->emitNullMemberPtr(0,
nullptr, Info);
5992 return this->emitNull(ValType, 0,
nullptr, Info);
5996 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>()) {
5997 if (!this->
visit(BaseExpr))
5999 EntryType = BaseExpr->getType();
6000 }
else if (
const auto *VD =
Base.dyn_cast<
const ValueDecl *>()) {
6003 EntryType = VD->getType();
6008 ->getCanonicalTypeUnqualified()
6010 EntryType =
Base.getTypeInfoType();
6011 if (!this->emitGetTypeid(OperandType, EntryType.
getTypePtr(), Info))
6019 ?
Ctx.getASTContext().getPointerType(E->
getType())
6022 if (!this->emitConstUint64(Offset, Info))
6024 if (!this->emitGetIntPtrUint64(PtrType.
getTypePtr(), Info))
6034 uint64_t Index = Entry.getAsArrayIndex();
6037 if (!this->emitConst(Index,
PT_Uint64, Info))
6039 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
6041 EntryType = ElemType;
6048 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
6049 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
6051 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
6053 EntryType = FD->getType();
6057 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
6062 if (!this->emitGetPtrVirtBasePop(
Base, Info))
6065 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
6080 uint32_t BitWidth =
Ctx.getBitWidth(E->
getType());
6082 ? this->emitCastPointerIntegralAP(BitWidth, Info)
6083 : this->emitCastPointerIntegralAPS(BitWidth, Info);
6085 return this->emitCastPointerIntegral(ValType, Info);
6091template <
class Emitter>
6094 bool IsCompleteClass) {
6100 if (IsCompleteClass)
6107 const Record::Base *RB = R->getBase(I);
6108 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6110 if (!this->emitGetPtrBase(RB->Offset, Info))
6115 if (!this->emitFinishInitPop(Info))
6123 const Record::Field *RF = R->getField(I);
6124 QualType FieldType = RF->Decl->getType();
6129 if (!this->emitInitField(*PT, RF->Offset, Info))
6132 if (!this->emitGetPtrField(RF->Offset, Info))
6136 if (!this->emitFinishInitPop(Info))
6142 if (IsCompleteClass) {
6147 const Record::Base *RB = R->getVirtualBase(I);
6148 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6156 if (!this->emitFinishInitPop(Info))
6172 const Record::Field *RF = R->getField(UnionField);
6173 QualType FieldType = RF->Decl->getType();
6178 if (RF->isBitField())
6179 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6181 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6184 if (!this->emitGetPtrField(RF->Offset, Info))
6186 if (!this->emitActivate(Info))
6190 return this->emitPopPtr(Info);
6194 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6195 QualType ElemType = ArrType->getElementType();
6198 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6199 const APValue &Elem = A >= InitializedElems
6208 if (!this->emitInitElem(*ElemT, A, Info))
6211 if (!this->emitConstUint32(A, Info))
6213 if (!this->emitArrayElemPtrUint32(Info))
6217 if (!this->emitPopPtr(Info))
6224 assert(
T->isComplexType());
6227 if (!this->emitInitElemFloat(0, Info))
6231 if (!this->emitInitElemFloat(1, Info))
6236 assert(
T->isComplexIntegerType());
6240 if (!this->emitInitElem(IntT, 0, Info))
6244 if (!this->emitInitElem(IntT, 1, Info))
6249 assert(
T->isVectorType());
6257 if (!this->emitInitElem(ElemT, I, Info))
6267template <
class Emitter>
6269 if (
P.getGlobal(VD))
6274 llvm_unreachable(
"Why didn't that work?");
6278 "registerRedecl should only be called with primitive values");
6283 return this->emitInitGlobal(
T, *GlobalIndex, {});
6286template <
class Emitter>
6288 unsigned BuiltinID) {
6294 if (!
Ctx.getASTContext().BuiltinInfo.isConstantEvaluated(BuiltinID))
6295 return this->emitInvalid(E);
6304 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6309 return this->emitConst(0, E);
6312 if (!this->emitStartSpeculation(E))
6314 LabelTy EndLabel = this->getLabel();
6315 if (!this->speculate(E, EndLabel))
6317 if (!this->emitEndSpeculation(E))
6319 this->fallthrough(EndLabel);
6327 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6328 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6329 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6330 BuiltinID == Builtin::BI__builtin_function_start) {
6333 return this->emitDummyPtr(E, E);
6344 if (!this->emitGetPtrLocal(*LocalIndex, E))
6349 switch (BuiltinID) {
6350 case Builtin::BI__builtin_object_size:
6351 case Builtin::BI__builtin_dynamic_object_size: {
6355 if (!this->
visit(Arg0))
6366 case Builtin::BI__assume:
6367 case Builtin::BI__builtin_assume:
6370 case Builtin::BI__atomic_is_lock_free:
6371 case Builtin::BI__atomic_always_lock_free: {
6382 for (
const auto *Arg : E->
arguments()) {
6383 if (!this->
visit(Arg))
6389 if (!this->emitCallBI(E, BuiltinID, E))
6407template <
class Emitter>
6428 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6429 DD && DD->isTrivial()) {
6431 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6433 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6434 this->emitPopPtr(E);
6440 bool ActivateLHS =
false;
6448 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6449 OCE && OCE->isAssignmentOp()) {
6450 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6453 if (
const auto *MCE = dyn_cast<CXXMemberCallExpr>(E))
6454 if (!this->
visit(MCE->getImplicitObjectArgument()))
6461 if (!this->emitTrivialCopy(ActivateLHS,
Func, E))
6479 if (!this->emitGetPtrLocal(*LocalIndex, E))
6487 if (!this->emitGetPtrLocal(*LocalIndex, E))
6491 if (!this->emitDupPtr(E))
6496 const Expr *ReversedArgs[2];
6497 bool IsAssignmentOperatorCall =
false;
6498 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6499 OCE && OCE->isAssignmentOp()) {
6503 assert(Args.size() == 2);
6504 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6506 IsAssignmentOperatorCall =
true;
6507 ReversedArgs[0] = Args[1];
6508 ReversedArgs[1] = Args[0];
6509 Args = ReversedArgs;
6516 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6517 MD && MD->isStatic()) {
6521 Args = Args.drop_front();
6525 bool Devirtualized =
false;
6528 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6536 if (!this->
visit(Callee))
6538 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6540 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6542 if (!this->emitGetMemberPtrBase(E))
6545 const auto *InstancePtr = MC->getImplicitObjectArgument();
6552 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6553 Devirtualized =
true;
6554 if (!this->
visit(Stripped))
6557 if (!this->
visit(InstancePtr))
6561 if (!this->
visit(InstancePtr))
6565 }
else if (
const auto *PD =
6566 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6567 if (!this->emitCheckPseudoDtor(E))
6575 return this->emitPseudoDtor(E);
6576 }
else if (!FuncDecl) {
6580 if (!this->
visit(Callee))
6582 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6591 if (IsAssignmentOperatorCall) {
6592 assert(Args.size() == 2);
6595 if (!this->emitFlip(Arg2T, Arg1T, E))
6609 assert(HasRVO ==
Func->hasRVO());
6611 bool HasQualifier =
false;
6612 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6613 HasQualifier = ME->hasQualifier();
6615 bool IsVirtual =
false;
6616 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6617 IsVirtual = !Devirtualized && MD->isVirtual();
6622 if (IsVirtual && !HasQualifier) {
6623 uint32_t VarArgSize = 0;
6624 unsigned NumParams =
6625 Func->getNumWrittenParams() +
6627 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6630 if (!this->emitCallVirt(
Func, VarArgSize, E))
6632 }
else if (
Func->isVariadic()) {
6633 uint32_t VarArgSize = 0;
6634 unsigned NumParams =
6635 Func->getNumWrittenParams() +
6637 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6639 if (!this->emitCallVar(
Func, VarArgSize, E))
6642 if (!this->emitCall(
Func, 0, E))
6651 uint32_t ArgSize = 0;
6652 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6658 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6660 if (!this->emitGetMemberPtrDecl(E))
6663 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6666 if (!this->emitCallPtr(ArgSize, E, E))
6677template <
class Emitter>
6684template <
class Emitter>
6691template <
class Emitter>
6696 return this->emitConstBool(E->
getValue(), E);
6699template <
class Emitter>
6705 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6706 return this->emitNullPtr(Val,
nullptr, E);
6709template <
class Emitter>
6717 return this->emitZero(
T, E);
6720template <
class Emitter>
6725 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6726 if (this->LambdaThisCapture.Offset > 0) {
6727 if (this->LambdaThisCapture.IsPtr)
6728 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6729 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6738 return this->emitThis(E);
6753 unsigned StartIndex = 0;
6754 unsigned EndIndex = 0;
6756 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6758 EndIndex = StartIndex;
6765 for (; StartIndex > 0; --StartIndex) {
6776 if (StartIndex == 0 && EndIndex == 0)
6787 assert(StartIndex <= EndIndex);
6790 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6802 case Stmt::CompoundStmtClass:
6804 case Stmt::DeclStmtClass:
6806 case Stmt::ReturnStmtClass:
6808 case Stmt::IfStmtClass:
6810 case Stmt::WhileStmtClass:
6812 case Stmt::DoStmtClass:
6814 case Stmt::ForStmtClass:
6816 case Stmt::CXXForRangeStmtClass:
6818 case Stmt::BreakStmtClass:
6820 case Stmt::ContinueStmtClass:
6822 case Stmt::SwitchStmtClass:
6824 case Stmt::CaseStmtClass:
6826 case Stmt::DefaultStmtClass:
6828 case Stmt::AttributedStmtClass:
6830 case Stmt::CXXTryStmtClass:
6832 case Stmt::NullStmtClass:
6835 case Stmt::GCCAsmStmtClass:
6836 case Stmt::MSAsmStmtClass:
6837 case Stmt::GotoStmtClass:
6838 return this->emitInvalid(S);
6839 case Stmt::LabelStmtClass:
6841 case Stmt::CXXExpansionStmtInstantiationClass:
6845 if (
const auto *E = dyn_cast<Expr>(S))
6852template <
class Emitter>
6855 for (
const auto *InnerStmt : S->
body())
6858 return Scope.destroyLocals();
6861template <
class Emitter>
6862bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6863 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6864 for (
auto *BD : DD->flat_bindings())
6865 if (
auto *KD = BD->getHoldingVar();
6866 KD && !this->visitVarDecl(KD, KD->getInit()))
6880template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6882 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6883 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6890 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6895 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6896 ICE && (ICE->getCastKind() == CK_NoOp ||
6897 ICE->getCastKind() == CK_DerivedToBase ||
6898 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6899 E = ICE->getSubExpr();
6903 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6904 const auto *ThisRecord =
6905 This->getType()->getPointeeType()->getAsRecordDecl();
6906 if (!ThisRecord->isUnion())
6909 if (
const auto *Ctor =
6910 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6911 return Ctor->getParent() == ThisRecord;
6920template <
class Emitter>
6922 bool EvaluateConditionDecl) {
6923 for (
const auto *D : DS->
decls()) {
6928 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6929 assert(ESD->getInstantiations() &&
"not expanded?");
6930 if (!this->
visitStmt(ESD->getInstantiations()))
6935 const auto *VD = dyn_cast<VarDecl>(D);
6942 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6949template <
class Emitter>
6952 return this->emitUnsupported(RS);
6958 if (!this->
visit(RE))
6964 if (RE->getType()->isVoidType()) {
6965 if (!this->
visit(RE))
6968 if (RE->containsErrors())
6973 if (!this->emitRVOPtr(RE))
6979 return this->emitRetVoid(RS);
6985 return this->emitRetVoid(RS);
6991 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6998 if (
auto *CondInit = IS->
getInit()) {
7014 return visitChildStmt(IS->
getThen());
7016 return visitChildStmt(Else);
7022 if (!this->emitIsConstantContext(IS))
7025 if (!this->emitIsConstantContext(IS))
7027 if (!this->emitInv(IS))
7041 LabelTy LabelElse = this->getLabel();
7042 LabelTy LabelEnd = this->getLabel();
7043 if (!this->jumpFalse(LabelElse, IS))
7045 if (!visitChildStmt(IS->
getThen()))
7047 if (!this->jump(LabelEnd, IS))
7049 this->emitLabel(LabelElse);
7050 if (!visitChildStmt(Else))
7052 this->emitLabel(LabelEnd);
7054 LabelTy LabelEnd = this->getLabel();
7055 if (!this->jumpFalse(LabelEnd, IS))
7057 if (!visitChildStmt(IS->
getThen()))
7059 this->emitLabel(LabelEnd);
7068template <
class Emitter>
7073 LabelTy CondLabel = this->getLabel();
7074 LabelTy EndLabel = this->getLabel();
7078 this->fallthrough(CondLabel);
7079 this->emitLabel(CondLabel);
7095 if (!this->jumpFalse(EndLabel, S))
7105 if (!this->jump(CondLabel, S))
7107 this->fallthrough(EndLabel);
7108 this->emitLabel(EndLabel);
7117 LabelTy StartLabel = this->getLabel();
7118 LabelTy EndLabel = this->getLabel();
7119 LabelTy CondLabel = this->getLabel();
7123 this->fallthrough(StartLabel);
7124 this->emitLabel(StartLabel);
7130 this->fallthrough(CondLabel);
7131 this->emitLabel(CondLabel);
7138 if (!this->jumpTrue(StartLabel, S))
7141 this->fallthrough(EndLabel);
7142 this->emitLabel(EndLabel);
7146template <
class Emitter>
7154 LabelTy EndLabel = this->getLabel();
7155 LabelTy CondLabel = this->getLabel();
7156 LabelTy IncLabel = this->getLabel();
7163 this->fallthrough(CondLabel);
7164 this->emitLabel(CondLabel);
7176 if (!this->jumpFalse(EndLabel, S))
7185 this->fallthrough(IncLabel);
7186 this->emitLabel(IncLabel);
7192 if (!this->jump(CondLabel, S))
7196 this->emitLabel(EndLabel);
7202template <
class Emitter>
7212 LabelTy EndLabel = this->getLabel();
7213 LabelTy CondLabel = this->getLabel();
7214 LabelTy IncLabel = this->getLabel();
7230 this->fallthrough(CondLabel);
7231 this->emitLabel(CondLabel);
7234 if (!this->jumpFalse(EndLabel, S))
7245 this->fallthrough(IncLabel);
7246 this->emitLabel(IncLabel);
7253 if (!this->jump(CondLabel, S))
7256 this->fallthrough(EndLabel);
7257 this->emitLabel(EndLabel);
7261template <
class Emitter>
7264 return this->emitInvalidTargetLabel(
false, S);
7272 if (LI.BreakLabel) {
7273 TargetLabel = *LI.BreakLabel;
7274 BreakScope = LI.BreakOrContinueScope;
7283 return this->emitInvalidTargetLabel(
false, S);
7286 if (LI.Name == TargetLoop) {
7287 TargetLabel = *LI.BreakLabel;
7288 BreakScope = LI.BreakOrContinueScope;
7299 C =
C->getParent()) {
7300 if (!
C->destroyLocals())
7304 return this->jump(*TargetLabel, S);
7307template <
class Emitter>
7310 return this->emitInvalidTargetLabel(
true, S);
7317 if (LI.ContinueLabel) {
7318 TargetLabel = *LI.ContinueLabel;
7319 ContinueScope = LI.BreakOrContinueScope;
7328 return this->emitInvalidTargetLabel(
true, S);
7331 if (LI.Name == TargetLoop) {
7332 TargetLabel = *LI.ContinueLabel;
7333 ContinueScope = LI.BreakOrContinueScope;
7343 C =
C->getParent()) {
7344 if (!
C->destroyLocals())
7348 return this->jump(*TargetLabel, S);
7351template <
class Emitter>
7361 LabelTy EndLabel = this->getLabel();
7366 if (
const auto *CondInit = S->
getInit())
7375 if (!this->
visit(Cond))
7377 if (!this->emitSetLocal(CondT, CondVar, S))
7387 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7390 if (CS->caseStmtIsGNURange()) {
7391 LabelTy EndOfRangeCheck = this->getLabel();
7392 const Expr *Low = CS->getLHS();
7393 const Expr *High = CS->getRHS();
7397 if (!this->emitGetLocal(CondT, CondVar, CS))
7399 if (!this->
visit(Low))
7402 if (!this->emitGE(
LT, S))
7404 if (!this->jumpFalse(EndOfRangeCheck, S))
7407 if (!this->emitGetLocal(CondT, CondVar, CS))
7409 if (!this->
visit(High))
7412 if (!this->emitLE(HT, S))
7416 this->emitLabel(EndOfRangeCheck);
7421 if (
Value->isValueDependent())
7426 if (!this->emitGetLocal(CondT, CondVar, CS))
7432 if (!this->emitEQ(ValueT, S))
7437 assert(!DefaultLabel);
7438 DefaultLabel = this->getLabel();
7445 if (!this->jump(*DefaultLabel, S))
7448 if (!this->jump(EndLabel, S))
7456 this->fallthrough(EndLabel);
7457 this->emitLabel(EndLabel);
7462template <
class Emitter>
7470 return this->emitUnsupported(S);
7475template <
class Emitter>
7482 if (LI.DefaultLabel) {
7483 DefaultLabel = *LI.DefaultLabel;
7488 this->emitLabel(DefaultLabel);
7492template <
class Emitter>
7499 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7502 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7503 !this->Ctx.getLangOpts().MSVCCompat) {
7505 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7511 const Expr *Assumption = AA->getAssumption();
7522 if (!this->emitAssume(Assumption))
7531 if (IsMSVCConstexprAttr)
7532 return this->emitPopMSVCCE(S);
7536template <
class Emitter>
7549template <
class Emitter>
7559 LabelTy EndLabel = this->getLabel();
7561 LabelTy ContinueLabel = this->getLabel();
7566 this->emitLabel(ContinueLabel);
7569 this->emitLabel(EndLabel);
7574template <
class Emitter>
7575bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7582 assert(ClosureClass->
captures().empty());
7586 "A generic lambda's static-invoker function must be a "
7587 "template specialization");
7591 llvm::FoldingSetInsertToken InsertToken;
7592 const FunctionDecl *CorrespondingCallOpSpecialization =
7594 assert(CorrespondingCallOpSpecialization);
7595 LambdaCallOp = CorrespondingCallOpSpecialization;
7599 assert(ClosureClass->
captures().empty());
7600 const Function *
Func = this->getFunction(LambdaCallOp);
7603 assert(
Func->hasThisPointer());
7606 if (
Func->hasRVO()) {
7607 if (!this->emitRVOPtr(MD))
7615 if (!this->emitNullPtr(0,
nullptr, MD))
7620 auto It = this->Params.find(PVD);
7621 assert(It != this->Params.end());
7625 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7626 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7630 if (!this->emitCall(
Func, 0, LambdaCallOp))
7635 return this->emitRet(*ReturnType, MD);
7638 return this->emitRetVoid(MD);
7641template <
class Emitter>
7642bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7643 if (Ctx.getLangOpts().CPlusPlus23)
7653 const Expr *InitExpr =
Init->getInit();
7655 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7659 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7669template <
class Emitter>
7671 assert(!ReturnType);
7674 if (!this->emitStartThisLifetime1(Ctor))
7677 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7678 const Expr *InitExpr,
7681 if (InitExpr->getType().isNull())
7685 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7688 if (!this->visit(InitExpr))
7691 if (F->isBitField())
7692 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7694 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7699 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7702 if (
Activate && !this->emitActivate(InitExpr))
7705 return this->visitInitializerPop(InitExpr);
7709 const Record *
R = this->getRecord(RD);
7712 bool IsUnion =
R->isUnion();
7722 if (!this->emitThis(Ctor))
7725 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7728 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7729 this->emitRetVoid(Ctor);
7732 unsigned FieldInits = 0;
7735 if (
R->getNumVirtualBases() > 0) {
7736 if (!this->emitThis(Ctor))
7738 LabelTy AfterVirtBasesLabel = this->getLabel();
7741 if (!this->emitIsBaseClass({}))
7743 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7746 for (
const auto *
Init : Ctor->
inits()) {
7749 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7751 assert(
R->findVirtualBase(BaseDecl));
7752 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7754 if (!this->visitInitializerPop(
Init->getInit()))
7759 this->fallthrough(AfterVirtBasesLabel);
7760 this->emitLabel(AfterVirtBasesLabel);
7762 if (!this->emitPopPtr(Ctor))
7766 for (
const auto *
Init : Ctor->
inits()) {
7770 const Expr *InitExpr =
Init->getInit();
7772 const Record::Field *F =
R->getField(
Member);
7776 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7780 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7783 if (
Init->isBaseVirtual()) {
7789 const Record::Base *B =
R->getBase(BaseDecl);
7791 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7795 if (!this->visitInitializerPop(InitExpr))
7800 unsigned ChainSize = IFD->getChainingSize();
7801 assert(ChainSize >= 2);
7803 unsigned NestedFieldOffset = 0;
7804 const Record::Field *NestedField =
nullptr;
7805 for (
unsigned I = 0; I != ChainSize; ++I) {
7807 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7808 assert(FieldRecord);
7810 NestedField = FieldRecord->
getField(FD);
7811 assert(NestedField);
7812 IsUnion = IsUnion || FieldRecord->
isUnion();
7814 NestedFieldOffset += NestedField->Offset;
7817 if (I != ChainSize - 1)
7820 assert(NestedField);
7823 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7828 unsigned InitFieldOffset = 0;
7829 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7831 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7832 assert(FieldRecord);
7833 NestedField = FieldRecord->
getField(FD);
7834 InitFieldOffset += NestedField->Offset;
7835 assert(NestedField);
7836 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7838 if (!this->emitFinishInitPop(InitExpr))
7842 InitStack.pop_back_n(ChainSize - 1);
7845 assert(
Init->isDelegatingInitializer());
7846 if (!this->emitThis(InitExpr))
7848 if (!this->visitInitializerPop(
Init->getInit()))
7852 if (!
Scope.destroyLocals())
7856 if (FieldInits !=
R->getNumFields()) {
7857 assert(FieldInits < R->getNumFields());
7859 if (!this->emitStartThisLifetime(Ctor))
7866 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7867 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7874 if (!visitStmt(Body))
7881template <
class Emitter>
7884 const Record *
R = this->getRecord(RD);
7888 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7889 if (!this->visitStmt(
Dtor->getBody()))
7893 if (!this->emitThis(
Dtor))
7896 if (!this->emitCheckDestruction(
Dtor))
7900 if (!
R->isUnion()) {
7904 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7908 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7910 if (!this->emitDestructionPop(D,
SourceInfo{}))
7915 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7916 if (
Base.R->hasTrivialDtor())
7920 if (!this->emitRecordDestructionPop(
Base.R, {}))
7924 if (
R->getNumVirtualBases() > 0) {
7925 LabelTy EndLabel = this->getLabel();
7927 if (!this->emitIsBaseClass({}))
7929 if (!this->jumpTrue(EndLabel, {}))
7932 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7933 if (
Base.R->hasTrivialDtor())
7938 if (!this->emitRecordDestructionPop(
Base.R, {}))
7942 this->fallthrough(EndLabel);
7943 this->emitLabel(EndLabel);
7946 if (!this->emitMarkDestroyed(
Dtor))
7949 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7952template <
class Emitter>
7953bool Compiler<Emitter>::compileUnionAssignmentOperator(
7955 if (!this->emitThis(MD))
7958 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7961 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7964template <
class Emitter>
7974 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7975 return this->compileConstructor(Ctor);
7976 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7977 return this->compileDestructor(
Dtor);
7980 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7985 return this->compileUnionAssignmentOperator(MD);
7988 return this->emitLambdaStaticInvokerBody(MD);
7992 if (
const auto *Body = F->
getBody())
8006 return FD->getBitWidthValue();
8009template <
class Emitter>
8025 if (!
Ctx.getLangOpts().CPlusPlus14)
8026 return this->emitInvalid(E);
8028 return this->emitError(E);
8030 if (!this->
visit(SubExpr))
8034 if (!this->emitIncPtr(E))
8041 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
8042 : this->emitIncf(getFPOptions(E), E);
8054 if (!
Ctx.getLangOpts().CPlusPlus14)
8055 return this->emitInvalid(E);
8057 return this->emitError(E);
8059 if (!this->
visit(SubExpr))
8063 if (!this->emitDecPtr(E))
8070 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
8071 : this->emitDecf(getFPOptions(E), E);
8084 if (!
Ctx.getLangOpts().CPlusPlus14)
8085 return this->emitInvalid(E);
8087 return this->emitError(E);
8089 if (!this->
visit(SubExpr))
8093 if (!this->emitLoadPtr(E))
8095 if (!this->emitConstUint8(1, E))
8097 if (!this->emitAddOffsetUint8(E))
8099 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
8105 return this->emitIncfPop(getFPOptions(E), E);
8115 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8116 if (!this->emitLoadFloat(E))
8118 APFloat F(TargetSemantics, 1);
8119 if (!this->emitFloat(F, E))
8122 if (!this->emitAddf(getFPOptions(E), E))
8124 if (!this->emitStoreFloat(E))
8136 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8139 if (!
Ctx.getLangOpts().CPlusPlus14)
8140 return this->emitInvalid(E);
8142 return this->emitError(E);
8144 if (!this->
visit(SubExpr))
8148 if (!this->emitLoadPtr(E))
8150 if (!this->emitConstUint8(1, E))
8152 if (!this->emitSubOffsetUint8(E))
8154 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
8160 return this->emitDecfPop(getFPOptions(E), E);
8170 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8171 if (!this->emitLoadFloat(E))
8173 APFloat F(TargetSemantics, 1);
8174 if (!this->emitFloat(F, E))
8177 if (!this->emitSubf(getFPOptions(E), E))
8179 if (!this->emitStoreFloat(E))
8191 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8195 return this->emitError(E);
8198 return this->
discard(SubExpr);
8203 if (!this->emitInv(E))
8207 return this->emitCast(
PT_Bool, ET, E);
8211 return this->emitError(E);
8213 if (!this->
visit(SubExpr))
8218 return this->emitError(E);
8220 if (!this->
visit(SubExpr))
8236 if (!
Ctx.getLangOpts().CPlusPlus) {
8239 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
8240 Deref && Deref->getOpcode() == UO_Deref) {
8242 return this->
discard(Deref->getSubExpr());
8243 return this->
visit(Deref->getSubExpr()) && this->emitAddrOf(E);
8248 return this->
discard(SubExpr);
8249 return this->
delegate(SubExpr) && this->emitAddrOf(E);
8252 return this->
discard(SubExpr);
8254 if (!this->
visit(SubExpr))
8261 return this->emitNarrowPtr(E);
8266 return this->emitError(E);
8268 if (!this->
visit(SubExpr))
8282 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
8287 assert(
false &&
"Unhandled opcode");
8293template <
class Emitter>
8299 return this->
discard(SubExpr);
8302 auto prepareResult = [=]() ->
bool {
8307 return this->emitGetPtrLocal(*LocalIndex, E);
8314 unsigned SubExprOffset = ~0u;
8315 auto createTemp = [=, &SubExprOffset]() ->
bool {
8318 if (!this->
visit(SubExpr))
8320 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8324 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8325 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8327 return this->emitArrayElemPop(ElemT, Index, E);
8332 if (!prepareResult())
8336 for (
unsigned I = 0; I != 2; ++I) {
8337 if (!getElem(SubExprOffset, I))
8339 if (!this->emitNeg(ElemT, E))
8341 if (!this->emitInitElem(ElemT, I, E))
8352 if (!this->
visit(SubExpr))
8354 if (!this->emitComplexBoolCast(SubExpr))
8356 if (!this->emitInv(E))
8359 return this->emitCast(
PT_Bool, ET, E);
8363 return this->emitComplexReal(SubExpr);
8366 if (!this->
visit(SubExpr))
8370 if (!this->emitConstUint8(1, E))
8372 return this->emitArrayElemPtrPopUint8(E);
8383 if (!this->emitArrayElem(ElemT, 1, E))
8385 if (!this->emitNeg(ElemT, E))
8387 if (!this->emitInitElem(ElemT, 1, E))
8395 return this->emitInvalid(E);
8401template <
class Emitter>
8407 return this->
discard(SubExpr);
8410 if (UnaryOp == UO_Extension)
8413 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8414 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8415 return this->emitInvalid(E);
8418 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8425 if (!this->emitGetPtrLocal(*LocalIndex, E))
8430 unsigned SubExprOffset =
8432 if (!this->
visit(SubExpr))
8434 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8439 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8440 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8442 return this->emitArrayElemPop(ElemT, Index, E);
8447 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8448 if (!getElem(SubExprOffset, I))
8450 if (!this->emitNeg(ElemT, E))
8452 if (!this->emitInitElem(ElemT, I, E))
8467 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8468 if (!getElem(SubExprOffset, I))
8471 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8473 if (!this->emitInv(E))
8475 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8477 if (!this->emitNeg(ElemT, E))
8479 if (ElemT != ResultVecElemT &&
8480 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8482 if (!this->emitInitElem(ResultVecElemT, I, E))
8488 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8489 if (!getElem(SubExprOffset, I))
8492 if (!this->emitInv(E))
8495 if (!this->emitComp(ElemT, E))
8498 if (!this->emitInitElem(ElemT, I, E))
8503 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8508template <
class Emitter>
8510 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8513 return this->emitConst(ECD->getInitVal(), E);
8515 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8519 return F && this->emitGetFnPtr(F, E);
8521 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8522 TPOD = TPOD->getFirstDecl();
8526 return this->emitGetPtrGlobal(*GlobalIndex, E);
8532 return this->emitInitGlobal(*
T, *Index, E);
8535 if (!this->emitGetPtrGlobal(*Index, E))
8539 return this->emitFinishInit(E);
8551 auto maybePopPtr = [&]() ->
bool {
8553 return this->emitPopPtr(E);
8560 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8564 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8569 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8570 if (IsReference || !It->second.IsPtr)
8571 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8573 return this->emitGetPtrParam(It->second.Index, E);
8576 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8583 const unsigned Offset = It->second.Offset;
8586 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8588 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8591 if (
auto GlobalIndex =
P.getGlobal(D)) {
8593 if (!
Ctx.getLangOpts().CPlusPlus11)
8594 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8595 if (!
Ctx.getLangOpts().CPlusPlus23)
8596 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8598 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8601 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8605 auto revisit = [&](
const VarDecl *VD,
8606 bool IsConstexprUnknown =
true) ->
bool {
8608 IsConstexprUnknown);
8609 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8615 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8616 if (!this->emitPopCC(E))
8620 if (VarState.notCreated())
8628 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8630 if (
auto It = this->LambdaCaptures.find(D);
8631 It != this->LambdaCaptures.end()) {
8632 auto [Offset, IsPtr] = It->second;
8635 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8636 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8640 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8641 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8642 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8646 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8647 return this->
delegate(BD->getBinding());
8653 return this->emitDummyPtr(D, E);
8658 const auto *VD = dyn_cast<VarDecl>(D);
8660 return this->emitError(E);
8663 if (!
Ctx.getLangOpts().CPlusPlus) {
8667 return revisit(VD,
false);
8671 return this->emitDummyPtr(D, E);
8675 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8676 if (
T.isConstant(
Ctx.getASTContext()))
8678 return T->isReferenceType();
8682 typeShouldBeVisited(DeclType)) {
8684 Init && !
Init->isValueDependent()) {
8689 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8702 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8707 return revisit(VD, IsConstexprUnknown);
8708 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8709 return revisit(VD,
true);
8718 return this->emitDummyPtr(
8722template <
class Emitter>
8728template <
class Emitter>
8738 if (!
C->destroyLocals())
8744template <
class Emitter>
8745unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8748 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8750 return Ty->getAsCXXRecordDecl();
8752 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8753 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8755 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8759template <
class Emitter>
8766 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8771 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8772 getFPOptions(E), E);
8774 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8775 getFPOptions(E), E);
8779 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8784 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8786 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8790 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8794 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8795 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8802template <
class Emitter>
8805 assert(FromT != ToT);
8808 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8810 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8812 return this->emitCast(FromT, ToT, E);
8816template <
class Emitter>
8817bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8821 return this->
discard(SubExpr);
8823 if (!this->visit(SubExpr))
8826 if (!this->emitConstUint8(0, SubExpr))
8828 return this->emitArrayElemPtrPopUint8(SubExpr);
8832 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8836template <
class Emitter>
8837bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8838 assert(!DiscardResult);
8842 if (!this->emitArrayElem(ElemT, 0, E))
8845 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8848 if (!this->emitCast(ElemT,
PT_Bool, E))
8853 LabelTy LabelTrue = this->getLabel();
8854 if (!this->jumpTrue(LabelTrue, E))
8857 if (!this->emitArrayElemPop(ElemT, 1, E))
8860 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8863 if (!this->emitCast(ElemT,
PT_Bool, E))
8867 LabelTy EndLabel = this->getLabel();
8868 this->jump(EndLabel, E);
8870 this->emitLabel(LabelTrue);
8871 if (!this->emitPopPtr(E))
8873 if (!this->emitConstBool(
true, E))
8876 this->fallthrough(EndLabel);
8877 this->emitLabel(EndLabel);
8882template <
class Emitter>
8883bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8894 LHSIsComplex =
true;
8895 ElemT = classifyComplexElementType(LHS->
getType());
8896 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8897 if (!this->visit(LHS))
8899 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8902 LHSIsComplex =
false;
8904 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8905 if (!this->visit(LHS))
8907 if (!this->emitSetLocal(LHST, LHSOffset, E))
8914 RHSIsComplex =
true;
8915 ElemT = classifyComplexElementType(RHS->
getType());
8916 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8917 if (!this->visit(RHS))
8919 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8922 RHSIsComplex =
false;
8924 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8925 if (!this->visit(RHS))
8927 if (!this->emitSetLocal(RHST, RHSOffset, E))
8931 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8932 bool IsComplex) ->
bool {
8934 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8936 return this->emitArrayElemPop(ElemT, Index, E);
8938 return this->emitGetLocal(ElemT, LocalOffset, E);
8941 for (
unsigned I = 0; I != 2; ++I) {
8943 if (!getElem(LHSOffset, I, LHSIsComplex))
8945 if (!getElem(RHSOffset, I, RHSIsComplex))
8948 if (!this->emitEQ(ElemT, E))
8951 if (!this->emitCastBoolUint8(E))
8956 if (!this->emitAddUint8(E))
8958 if (!this->emitConstUint8(2, E))
8962 if (!this->emitEQUint8(E))
8965 if (!this->emitNEUint8(E))
8972 return this->emitCast(
PT_Bool, ResT, E);
8979template <
class Emitter>
8980bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8983 assert(!
R->hasTrivialDtor());
8986 const Function *DtorFunc = getFunction(
Dtor);
8989 assert(DtorFunc->hasThisPointer());
8990 assert(DtorFunc->getNumParams() == 1);
8991 return this->emitCall(DtorFunc, 0, Loc);
8996template <
class Emitter>
8997bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
9009 return this->emitPopPtr(Loc);
9011 for (ssize_t I = N - 1; I >= 1; --I) {
9012 if (!this->emitConstUint64(I, Loc))
9014 if (!this->emitArrayElemPtrUint64(Loc))
9016 if (!this->emitDestructionPop(ElemDesc, Loc))
9020 if (!this->emitConstUint64(0, Loc))
9022 if (!this->emitArrayElemPtrPopUint64(Loc))
9024 return this->emitDestructionPop(ElemDesc, Loc);
9029 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
9034template <
class Emitter>
9035bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
9036 assert(!DiscardResult &&
"Should've been checked before");
9037 return this->emitGetOpaquePtr(D, CU, E);
9040template <
class Emitter>
9043 return this->emitConstFloat(
Floating(F), Info);
9045 APInt I = F.bitcastToAPInt();
9046 return this->emitConstFloat(
9047 Floating(
const_cast<uint64_t *
>(I.getRawData()),
9048 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
9059template <
class Emitter>
9060bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
9073 if (!this->emitGetPtrLocal(*LocalIndex, E))
9083 if (!this->visit(SubExpr))
9085 }
else if (
OptPrimType FromT = classify(SubExpr)) {
9086 unsigned TempOffset =
9087 allocateLocalPrimitive(SubExpr, *FromT,
true);
9088 if (!this->visit(SubExpr))
9090 if (!this->emitSetLocal(*FromT, TempOffset, E))
9092 if (!this->emitGetPtrLocal(TempOffset, E))
9099 if (!this->emitBitCast(E))
9101 return DiscardResult ? this->emitPopPtr(E) :
true;
9105 const llvm::fltSemantics *TargetSemantics =
nullptr;
9107 TargetSemantics = &Ctx.getFloatSemantics(ToType);
9113 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
9115 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
9116 ResultBitWidth, TargetSemantics,
9121 return this->emitPop(*ToT, E);
9130template <
class Emitter>
9131bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
9136 unsigned NumElems = 0;
9139 NumElems = VT->getNumElements();
9140 ElemType = VT->getElementType();
9142 NumElems = MT->getNumElementsFlattened();
9143 ElemType = MT->getElementType();
9146 PrimType ElemT = classifyPrim(ElemType);
9147 for (
unsigned I = 0; I != NumElems; ++I) {
9148 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9150 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
9152 if (!this->emitInitElem(ElemT, I, E))
9162 QualType ArrElemType = CAT->getElementType();
9163 unsigned ArrSize = CAT->getZExtSize();
9166 for (
unsigned I = 0; I != ArrSize; ++I) {
9167 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9169 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
9171 if (!this->emitInitElem(*ElemT, I, E))
9175 for (
unsigned I = 0; I != ArrSize; ++I) {
9176 if (!this->emitConstUint32(I, E))
9178 if (!this->emitArrayElemPtrUint32(E))
9180 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
9182 if (!this->emitFinishInitPop(E))
9192 const Record *
R = getRecord(DestType);
9196 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9198 const Record::Base *B =
R->getBase(BS.getType());
9200 if (!this->emitGetPtrBase(B->Offset, E))
9202 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
9204 if (!this->emitFinishInitPop(E))
9209 for (
const Record::Field &F :
R->fields()) {
9210 if (F.isUnnamedBitField())
9213 QualType FieldType = F.Decl->getType();
9215 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9217 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
9219 if (F.isBitField()) {
9220 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9223 if (!this->emitInitField(*FieldT, F.Offset, E))
9227 if (!this->emitGetPtrField(F.Offset, E))
9229 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
9231 if (!this->emitPopPtr(E))
9244template <
class Emitter>
9245unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
9248 return VT->getNumElements();
9250 return MT->getNumElementsFlattened();
9254 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
9258 const Record *
R = getRecord(Ty);
9262 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9264 Count += countHLSLFlatElements(BS.getType());
9266 for (
const Record::Field &F :
R->fields()) {
9267 if (F.isUnnamedBitField())
9269 Count += countHLSLFlatElements(F.Decl->getType());
9274 if (canClassify(Ty))
9283template <
class Emitter>
9284bool Compiler<Emitter>::emitHLSLFlattenAggregate(
9285 QualType SrcType,
unsigned SrcOffset,
9290 auto saveToLocal = [&](
PrimType T) ->
bool {
9291 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
9292 if (!this->emitSetLocal(
T, Offset, E))
9294 Elements.push_back({Offset,
T});
9300 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9301 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9302 return std::nullopt;
9307 unsigned NumElems = 0;
9310 NumElems = VT->getNumElements();
9311 ElemType = VT->getElementType();
9313 NumElems = MT->getNumElementsFlattened();
9314 ElemType = MT->getElementType();
9317 PrimType ElemT = classifyPrim(ElemType);
9318 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9319 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9321 if (!this->emitArrayElemPop(ElemT, I, E))
9323 if (!saveToLocal(ElemT))
9333 QualType ArrElemType = CAT->getElementType();
9334 unsigned ArrSize = CAT->getZExtSize();
9337 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9338 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9340 if (!this->emitArrayElemPop(*ElemT, I, E))
9342 if (!saveToLocal(*ElemT))
9346 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9347 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9349 if (!this->emitConstUint32(I, E))
9351 if (!this->emitArrayElemPtrPopUint32(E))
9356 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9367 const Record *
R = getRecord(SrcType);
9371 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9373 if (Elements.size() >= MaxElements)
9375 const Record::Base *B =
R->getBase(BS.getType());
9377 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9379 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9384 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9390 for (
const Record::Field &F :
R->fields()) {
9391 if (Elements.size() >= MaxElements)
9393 if (F.isUnnamedBitField())
9396 QualType FieldType = F.Decl->getType();
9397 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9399 if (!this->emitGetPtrFieldPop(F.Offset, E))
9403 if (!this->emitLoadPop(*FieldT, E))
9405 if (!saveToLocal(*FieldT))
9409 if (!FieldPtrOffset)
9411 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9427template <
class Emitter>
9428bool Compiler<Emitter>::emitHLSLConstructAggregate(
9434 const auto &Src = Elements[ElemIdx++];
9435 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9437 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9441 unsigned NumElems = 0;
9444 NumElems = VT->getNumElements();
9445 ElemType = VT->getElementType();
9447 NumElems = MT->getNumElementsFlattened();
9448 ElemType = MT->getElementType();
9451 PrimType DestElemT = classifyPrim(ElemType);
9452 for (
unsigned I = 0; I != NumElems; ++I) {
9453 if (!loadAndCast(DestElemT, ElemType))
9455 if (!this->emitInitElem(DestElemT, I, E))
9465 QualType ArrElemType = CAT->getElementType();
9466 unsigned ArrSize = CAT->getZExtSize();
9469 for (
unsigned I = 0; I != ArrSize; ++I) {
9470 if (!loadAndCast(*ElemT, ArrElemType))
9472 if (!this->emitInitElem(*ElemT, I, E))
9476 for (
unsigned I = 0; I != ArrSize; ++I) {
9477 if (!this->emitConstUint32(I, E))
9479 if (!this->emitArrayElemPtrUint32(E))
9481 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9483 if (!this->emitFinishInitPop(E))
9493 const Record *
R = getRecord(DestType);
9497 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9499 const Record::Base *B =
R->getBase(BS.getType());
9501 if (!this->emitGetPtrBase(B->Offset, E))
9503 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9505 if (!this->emitFinishInitPop(E))
9510 for (
const Record::Field &F :
R->fields()) {
9511 if (F.isUnnamedBitField())
9514 QualType FieldType = F.Decl->getType();
9516 if (!loadAndCast(*FieldT, FieldType))
9518 if (F.isBitField()) {
9519 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9522 if (!this->emitInitField(*FieldT, F.Offset, E))
9526 if (!this->emitGetPtrField(F.Offset, E))
9528 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9530 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()