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();
67 llvm_unreachable(
"Shouldn't be called");
133 this->
Ctx->emitDestroy(*
Idx, E);
140 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
141 this->
Ctx->Descriptors.emplace_back();
142 this->
Ctx->emitInitScope(*
Idx, {});
156 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
157 this->
Ctx->Descriptors.emplace_back();
158 this->
Ctx->emitInitScope(*
Idx, {});
169 if (
Local.Desc->hasTrivialDtor())
172 if (!
Local.EnabledByDefault) {
173 typename Emitter::LabelTy EndLabel = this->
Ctx->getLabel();
174 if (!this->
Ctx->emitGetLocalEnabled(
Local.Offset, E))
176 if (!this->
Ctx->jumpFalse(EndLabel, E))
179 if (!this->
Ctx->emitGetPtrLocal(
Local.Offset, E))
182 if (!this->
Ctx->emitDestructionPop(
Local.Desc,
Local.Desc->getLoc()))
185 this->
Ctx->fallthrough(EndLabel);
186 this->
Ctx->emitLabel(EndLabel);
188 if (!this->
Ctx->emitGetPtrLocal(
Local.Offset, E))
190 if (!this->
Ctx->emitDestructionPop(
Local.Desc,
Local.Desc->getLoc()))
209 if (
const auto *OVE =
210 llvm::dyn_cast_if_present<OpaqueValueExpr>(
Local.Desc->asExpr())) {
211 this->
Ctx->OpaqueExprs.erase(OVE);
223 OldArrayIndex = Ctx->ArrayIndex;
224 Ctx->ArrayIndex = Index;
231 std::optional<uint64_t> OldArrayIndex;
239 if (!Ctx->SourceLocDefaultExpr) {
241 Ctx->SourceLocDefaultExpr = DefaultExpr;
247 Ctx->SourceLocDefaultExpr =
nullptr;
252 bool Enabled =
false;
258 Ctx->InitStack.push_back(std::move(
Link));
270 : Ctx(Ctx), OldValue(Ctx->InitStackActive), Active(Active) {
273 Ctx->InitStackActive = OldValue || Active;
279 this->Ctx->InitStackActive = OldValue;
281 Ctx->InitStack.pop_back();
295 OldInitializingDecl(
Ctx->InitializingDecl) {
296 Ctx->InitializingDecl = VD;
301 this->
Ctx->InitializingDecl = OldInitializingDecl;
302 this->
Ctx->InitStack.pop_back();
307 const VarDecl *OldInitializingDecl;
315 bool NewInitializing,
bool NewToLValue)
316 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
317 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
318 Ctx->DiscardResult = NewDiscardResult;
319 Ctx->Initializing = NewInitializing;
320 Ctx->ToLValue = NewToLValue;
324 Ctx->DiscardResult = OldDiscardResult;
325 Ctx->Initializing = OldInitializing;
326 Ctx->ToLValue = OldToLValue;
333 bool OldDiscardResult;
334 bool OldInitializing;
338template <
class Emitter>
342 return Ctx->emitThis(E);
345 return Ctx->emitGetPtrFieldPop(
Offset, E);
347 return Ctx->emitGetPtrBasePop(
Offset,
false, E);
349 return Ctx->emitGetPtrLocal(
Offset, E);
353 if (!Ctx->emitConstUint32(
Offset, E))
355 return Ctx->emitArrayElemPtrPopUint32(E);
357 return Ctx->emitRVOPtr(E);
361 llvm_unreachable(
"Unhandled InitLink kind");
377 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
378 assert(LI.Name != Name);
381 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
402 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
404 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
405 assert(LI.Name != Name);
408 this->Ctx->CaseLabels = std::move(CaseLabels);
409 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
411 DefaultLabel, Ctx->VarScope);
415 this->Ctx->CaseLabels = std::move(OldCaseLabels);
416 this->Ctx->LabelInfoStack.pop_back();
421 CaseMap OldCaseLabels;
432 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
435 Ctx->LocOverride = NewValue;
440 Ctx->LocOverride = OldFlag;
445 std::optional<SourceInfo> OldFlag;
452template <
class Emitter>
460 case CK_LValueToRValue: {
463 if (!this->
visit(SubExpr))
465 return this->emitLoadPopL(E);
475 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
481 if (
auto GlobalIndex =
P.getGlobal(D))
482 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
483 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
484 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
485 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
486 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
487 return this->emitGetParam(*SubExprT, It->second.Index, E);
499 if (!this->emitGetPtrLocal(*LocalIndex, E))
503 if (!this->
visit(SubExpr))
507 return this->emitLoadPop(*SubExprT, E);
512 return this->emitMemcpy(E);
515 case CK_DerivedToBaseMemberPointer: {
526 ->getMostRecentCXXRecordDecl();
528 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
529 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
531 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
539 case CK_BaseToDerivedMemberPointer: {
550 ->getMostRecentCXXRecordDecl();
554 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
556 PathI != PathE; ++PathI) {
557 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
558 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
560 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
567 assert(ToDecl != CurDecl);
568 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
570 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
576 case CK_UncheckedDerivedToBase:
577 case CK_DerivedToBase: {
582 if (
const auto *PT = dyn_cast<PointerType>(Ty))
583 return PT->getPointeeType()->getAsCXXRecordDecl();
584 return Ty->getAsCXXRecordDecl();
591 if (B->isVirtual()) {
592 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
594 CurType = B->getType();
596 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
597 if (!this->emitGetPtrBasePop(
600 CurType = B->getType();
607 case CK_BaseToDerived: {
610 unsigned DerivedOffset =
616 return this->emitGetPtrDerivedPop(DerivedOffset,
621 case CK_FloatingCast: {
624 return this->emitVectorConversion(E->
getSubExpr(), E);
628 if (!this->
visit(SubExpr))
630 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
634 case CK_IntegralToFloating: {
636 return this->emitVectorConversion(E->
getSubExpr(), E);
639 if (!this->
visit(SubExpr))
641 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
642 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
643 TargetSemantics, getFPOptions(E), E);
646 case CK_FloatingToBoolean: {
648 return this->emitVectorConversion(E->
getSubExpr(), E);
652 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
653 return this->emitConstBool(FL->getValue().isNonZero(), E);
654 if (!this->
visit(SubExpr))
656 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
659 case CK_FloatingToIntegral: {
661 return this->emitVectorConversion(E->
getSubExpr(), E);
664 if (!this->
visit(SubExpr))
668 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
671 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
674 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
677 case CK_NullToPointer:
678 case CK_NullToMemberPointer: {
681 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
686 case CK_PointerToIntegral: {
687 if (!this->
visit(SubExpr))
693 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
699 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
701 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
702 return this->emitCastPointerIntegral(
T, E);
705 case CK_ArrayToPointerDecay: {
706 if (!this->
visit(SubExpr))
708 return this->emitArrayDecay(E);
711 case CK_IntegralToPointer: {
713 assert(IntType->isIntegralOrEnumerationType());
714 if (!this->
visit(SubExpr))
728 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
731 case CK_AtomicToNonAtomic:
732 case CK_ConstructorConversion:
733 case CK_FunctionToPointerDecay:
734 case CK_NonAtomicToAtomic:
736 case CK_UserDefinedConversion:
737 case CK_AddressSpaceConversion:
738 case CK_CPointerToObjCPointerCast:
755 return this->emitBuiltinBitCast(E);
770 if (!this->
visit(SubExpr))
778 return this->emitFnPtrCast(E);
786 if (!this->
visit(SubExpr))
788 return this->emitDecayPtr(*FromT, *ToT, E);
790 case CK_IntegralToBoolean:
791 case CK_FixedPointToBoolean: {
793 return this->emitVectorConversion(E->
getSubExpr(), E);
799 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
800 return this->emitConst(IL->getValue(), E);
801 if (!this->
visit(SubExpr))
806 case CK_IntegralCast:
808 return this->emitVectorConversion(E->
getSubExpr(), E);
810 case CK_BooleanToSignedIntegral: {
817 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
822 if (!this->emitConst(IL->getValue(), SubExpr))
825 if (!this->
visit(SubExpr))
833 if (!ED->isFixed()) {
834 if (!this->emitCheckEnumValue(*FromT, ED, E))
840 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
843 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
848 if (!this->emitCast(*FromT, *ToT, E))
851 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
852 return this->emitNeg(*ToT, E);
856 case CK_PointerToBoolean:
857 if (!this->
visit(SubExpr))
859 return this->emitIsNonNullPtr(E);
861 case CK_MemberPointerToBoolean:
862 if (!this->
visit(SubExpr))
864 return this->emitIsNonNullMemberPtr(E);
866 case CK_IntegralComplexToBoolean:
867 case CK_FloatingComplexToBoolean: {
868 if (!this->
visit(SubExpr))
870 return this->emitComplexBoolCast(SubExpr);
873 case CK_IntegralComplexToReal:
874 case CK_FloatingComplexToReal:
875 return this->emitComplexReal(SubExpr);
877 case CK_IntegralRealToComplex:
878 case CK_FloatingRealToComplex: {
885 if (!this->emitGetPtrLocal(*LocalIndex, E))
894 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
896 return this->emitInitElem(
T, 1, SubExpr);
899 case CK_IntegralComplexCast:
900 case CK_FloatingComplexCast:
901 case CK_IntegralComplexToFloatingComplex:
902 case CK_FloatingComplexToIntegralComplex: {
909 if (!this->emitGetPtrLocal(*LocalIndex, E))
916 unsigned SubExprOffset =
918 if (!this->
visit(SubExpr))
920 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
928 for (
unsigned I = 0; I != 2; ++I) {
929 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
931 if (!this->emitArrayElemPop(SourceElemT, I, E))
935 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
939 if (!this->emitInitElem(DestElemT, I, E))
945 case CK_VectorSplat: {
956 if (!this->emitGetPtrLocal(*LocalIndex, E))
962 unsigned ElemOffset =
966 if (!this->
visit(SubExpr))
971 if (!this->emitSetLocal(ElemT, ElemOffset, E))
974 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
975 if (!this->emitGetLocal(ElemT, ElemOffset, E))
977 if (!this->emitInitElem(ElemT, I, E))
984 case CK_HLSLVectorTruncation: {
989 if (!this->
visit(SubExpr))
991 return this->emitArrayElemPop(*ResultT, 0, E);
1000 if (!this->emitGetPtrLocal(*LocalIndex, E))
1005 if (!this->
visit(SubExpr))
1007 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1011 case CK_IntegralToFixedPoint: {
1012 if (!this->
visit(SubExpr))
1016 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1021 return this->emitPopFixedPoint(E);
1024 case CK_FloatingToFixedPoint: {
1025 if (!this->
visit(SubExpr))
1029 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1030 if (!this->emitCastFloatingFixedPoint(Sem, E))
1033 return this->emitPopFixedPoint(E);
1036 case CK_FixedPointToFloating: {
1037 if (!this->
visit(SubExpr))
1039 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1040 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1043 return this->emitPopFloat(E);
1046 case CK_FixedPointToIntegral: {
1047 if (!this->
visit(SubExpr))
1050 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1053 return this->emitPop(IntegralT, E);
1056 case CK_FixedPointCast: {
1057 if (!this->
visit(SubExpr))
1060 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1061 if (!this->emitCastFixedPoint(Sem, E))
1064 return this->emitPopFixedPoint(E);
1072 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1074 case CK_LValueBitCast:
1079 case CK_HLSLArrayRValue: {
1086 if (!this->emitGetPtrLocal(*LocalIndex, E))
1089 if (!this->
visit(SubExpr))
1091 return this->emitMemcpy(E);
1094 case CK_HLSLMatrixTruncation: {
1099 if (!this->
visit(SubExpr))
1101 return this->emitArrayElemPop(*ResultT, 0, E);
1110 if (!this->emitGetPtrLocal(*LocalIndex, E))
1115 if (!this->
visit(SubExpr))
1117 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1121 case CK_HLSLAggregateSplatCast: {
1131 if (!this->emitGetPtrLocal(*LocalIndex, E))
1138 unsigned SrcOffset =
1141 if (!this->
visit(SubExpr))
1143 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1147 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1150 case CK_HLSLElementwiseCast: {
1161 unsigned SrcPtrOffset =
1163 if (!this->
visit(SubExpr))
1165 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1169 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1171 if (Elements.empty())
1174 const HLSLFlatElement &Src = Elements[0];
1175 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1177 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1184 if (!this->emitGetPtrLocal(*LocalIndex, E))
1188 unsigned SrcOffset =
1190 if (!this->
visit(SubExpr))
1192 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1196 unsigned ElemCount = countHLSLFlatElements(DestType);
1199 Elements.reserve(ElemCount);
1200 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1205 assert(Elements.size() == ElemCount &&
1206 "Source type has fewer scalar elements than the destination type");
1208 return emitHLSLConstructAggregate(DestType, Elements, E);
1215 const Record::Field *RF = R->getField(UnionField);
1218 if (!this->
visit(SubExpr))
1220 if (RF->isBitField())
1221 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1223 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1226 if (!this->emitGetPtrField(RF->Offset, E))
1228 if (!this->emitActivate(E))
1234 return this->emitInvalid(E);
1236 llvm_unreachable(
"Unhandled clang::CastKind enum");
1239template <
class Emitter>
1241 return this->emitBuiltinBitCast(E);
1244template <
class Emitter>
1249 return this->emitConst(
LE->getValue(),
LE);
1252template <
class Emitter>
1258 return this->emitFloat(F, E);
1261template <
class Emitter>
1271 if (!this->emitGetPtrLocal(*LocalIndex, E))
1278 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1280 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1285template <
class Emitter>
1293 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1298template <
class Emitter>
1303template <
class Emitter>
1330 return this->emitComplexComparison(LHS, RHS, E);
1338 if (!this->
visit(LHS))
1341 if (!this->
visit(RHS))
1344 if (!this->emitToMemberPtr(E))
1350 if (!this->emitCastMemberPtrPtr(E))
1367 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1373 if (!this->emitGetPtrLocal(*ResultIndex, E))
1380 return this->emitCMP3(*
LT, CmpInfo, E);
1383 if (!
LT || !RT || !
T)
1393 return this->visitAssignment(LHS, RHS, E);
1400 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1404 return this->emitPopBool(E);
1406 return this->emitCast(
PT_Bool, *
T, E);
1410 auto Discard = [
this,
T, E](
bool Result) {
1418 return MaybeCastToBool(this->emitEQ(*
LT, E));
1420 return MaybeCastToBool(this->emitNE(*
LT, E));
1422 return MaybeCastToBool(this->emitLT(*
LT, E));
1424 return MaybeCastToBool(this->emitLE(*
LT, E));
1426 return MaybeCastToBool(this->emitGT(*
LT, E));
1428 return MaybeCastToBool(this->emitGE(*
LT, E));
1431 return Discard(this->emitSubf(getFPOptions(E), E));
1432 return Discard(this->emitSub(*
T, E));
1435 return Discard(this->emitAddf(getFPOptions(E), E));
1436 return Discard(this->emitAdd(*
T, E));
1439 return Discard(this->emitMulf(getFPOptions(E), E));
1440 return Discard(this->emitMul(*
T, E));
1442 return Discard(this->emitRem(*
T, E));
1445 return Discard(this->emitDivf(getFPOptions(E), E));
1446 return Discard(this->emitDiv(*
T, E));
1448 return Discard(this->emitBitAnd(*
T, E));
1450 return Discard(this->emitBitOr(*
T, E));
1452 return Discard(this->emitShl(*
LT, *RT, E));
1454 return Discard(this->emitShr(*
LT, *RT, E));
1456 return Discard(this->emitBitXor(*
T, E));
1459 llvm_unreachable(
"Already handled earlier");
1464 llvm_unreachable(
"Unhandled binary op");
1469template <
class Emitter>
1475 if ((Op != BO_Add && Op != BO_Sub) ||
1486 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1487 if (!this->
visit(E))
1490 return this->emitDecayPtr(
T,
PT_Ptr, E);
1499 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1507 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1510 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1517 if (!visitAsPointer(RHS, *RT))
1519 if (!this->
visit(LHS))
1523 if (!visitAsPointer(LHS, *
LT))
1525 if (!this->
visit(RHS))
1536 if (!this->emitAddOffset(OffsetType, E))
1540 if (!this->emitSubOffset(OffsetType, E))
1549 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1554 return this->emitPop(ExprT, E);
1558template <
class Emitter>
1567 LabelTy LabelTrue = this->getLabel();
1568 LabelTy LabelEnd = this->getLabel();
1572 if (!this->jumpTrue(LabelTrue, E))
1577 if (!this->jump(LabelEnd, E))
1580 this->emitLabel(LabelTrue);
1581 this->emitConstBool(
true, E);
1582 this->fallthrough(LabelEnd);
1583 this->emitLabel(LabelEnd);
1586 assert(Op == BO_LAnd);
1589 LabelTy LabelFalse = this->getLabel();
1590 LabelTy LabelEnd = this->getLabel();
1594 if (!this->jumpFalse(LabelFalse, E))
1599 if (!this->jump(LabelEnd, E))
1602 this->emitLabel(LabelFalse);
1603 this->emitConstBool(
false, E);
1604 this->fallthrough(LabelEnd);
1605 this->emitLabel(LabelEnd);
1609 return this->emitPopBool(E);
1614 return this->emitCast(
PT_Bool,
T, E);
1619template <
class Emitter>
1626 if (!this->emitGetPtrLocal(*LocalIndex, E))
1635 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1636 unsigned ResultOffset = ~0u;
1642 if (!this->emitDupPtr(E))
1644 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1649 LHSType = AT->getValueType();
1652 RHSType = AT->getValueType();
1661 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1666 if (!this->
visit(LHS))
1668 if (!this->
visit(RHS))
1670 if (!this->emitMulc(ElemT, E))
1673 return this->emitPopPtr(E);
1677 if (Op == BO_Div && RHSIsComplex) {
1684 if (!LHSIsComplex) {
1689 LHSOffset = *LocalIndex;
1691 if (!this->emitGetPtrLocal(LHSOffset, E))
1694 if (!this->
visit(LHS))
1697 if (!this->emitInitElem(ElemT, 0, E))
1700 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1702 if (!this->emitInitElem(ElemT, 1, E))
1705 if (!this->
visit(LHS))
1709 if (!this->
visit(RHS))
1711 if (!this->emitDivc(ElemT, E))
1714 return this->emitPopPtr(E);
1721 if (!this->
visit(LHS))
1723 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1728 if (!this->
visit(LHS))
1730 if (!this->emitSetLocal(LHST, LHSOffset, E))
1738 if (!this->
visit(RHS))
1740 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1745 if (!this->
visit(RHS))
1747 if (!this->emitSetLocal(RHST, RHSOffset, E))
1754 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1755 unsigned ElemIndex,
unsigned Offset,
1756 const Expr *E) ->
bool {
1758 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1760 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1763 if (ElemIndex == 0 || !LoadZero)
1770 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1773 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1780 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1783 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1786 if (!this->emitAddf(getFPOptions(E), E))
1789 if (!this->emitAdd(ResultElemT, E))
1794 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1797 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1800 if (!this->emitSubf(getFPOptions(E), E))
1803 if (!this->emitSub(ResultElemT, E))
1808 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1811 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1815 if (!this->emitMulf(getFPOptions(E), E))
1818 if (!this->emitMul(ResultElemT, E))
1823 assert(!RHSIsComplex);
1824 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1827 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1831 if (!this->emitDivf(getFPOptions(E), E))
1834 if (!this->emitDiv(ResultElemT, E))
1845 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1848 if (!this->emitPop(ResultElemT, E))
1853 return this->emitPopPtr(E);
1859template <
class Emitter>
1864 "Comma op should be handled in VisitBinaryOperator");
1878 if (!this->emitGetPtrLocal(*LocalIndex, E))
1892 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1895 if (!this->
visit(LHS))
1897 if (!this->
visit(RHS))
1899 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1902 return this->emitPopPtr(E);
1907 unsigned LHSOffset =
1909 if (!this->
visit(LHS))
1911 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1915 unsigned RHSOffset =
1917 if (!this->
visit(RHS))
1919 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1931 if (NeedIntPromot) {
1933 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1938 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1939 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1941 if (!this->emitArrayElemPop(ElemT, Index, E))
1944 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1946 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1948 }
else if (NeedIntPromot) {
1949 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1955#define EMIT_ARITH_OP(OP) \
1957 if (ElemT == PT_Float) { \
1958 if (!this->emit##OP##f(getFPOptions(E), E)) \
1961 if (!this->emit##OP(ElemT, E)) \
1967 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1968 if (!getElem(LHSOffset, ElemT, I))
1970 if (!getElem(RHSOffset, RHSElemT, I))
1982 if (!this->emitRem(ElemT, E))
1986 if (!this->emitBitAnd(OpT, E))
1990 if (!this->emitBitOr(OpT, E))
1994 if (!this->emitBitXor(OpT, E))
1998 if (!this->emitShl(OpT, RHSElemT, E))
2002 if (!this->emitShr(OpT, RHSElemT, E))
2006 if (!this->emitEQ(ElemT, E))
2010 if (!this->emitNE(ElemT, E))
2014 if (!this->emitLE(ElemT, E))
2018 if (!this->emitLT(ElemT, E))
2022 if (!this->emitGE(ElemT, E))
2026 if (!this->emitGT(ElemT, E))
2031 if (!this->emitBitAnd(ResultElemT, E))
2036 if (!this->emitBitOr(ResultElemT, E))
2040 return this->emitInvalid(E);
2049 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2051 if (!this->emitNeg(ResultElemT, E))
2057 if (NeedIntPromot &&
2058 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2062 if (!this->emitInitElem(ResultElemT, I, E))
2071template <
class Emitter>
2081 auto LHSSemaInt = LHSSema.toOpaqueInt();
2083 auto RHSSemaInt = RHSSema.toOpaqueInt();
2085 if (!this->
visit(LHS))
2093 if (!this->
visit(RHS))
2102 auto ConvertResult = [&](
bool R) ->
bool {
2106 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2107 if (ResultSema != CommonSema)
2108 return this->emitCastFixedPoint(ResultSema, E);
2112 auto MaybeCastToBool = [&](
bool Result) {
2117 return this->emitPop(
T, E);
2119 return this->emitCast(
PT_Bool,
T, E);
2125 return MaybeCastToBool(this->emitEQFixedPoint(E));
2127 return MaybeCastToBool(this->emitNEFixedPoint(E));
2129 return MaybeCastToBool(this->emitLTFixedPoint(E));
2131 return MaybeCastToBool(this->emitLEFixedPoint(E));
2133 return MaybeCastToBool(this->emitGTFixedPoint(E));
2135 return MaybeCastToBool(this->emitGEFixedPoint(E));
2137 return ConvertResult(this->emitAddFixedPoint(E));
2139 return ConvertResult(this->emitSubFixedPoint(E));
2141 return ConvertResult(this->emitMulFixedPoint(E));
2143 return ConvertResult(this->emitDivFixedPoint(E));
2145 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2147 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2150 return this->emitInvalid(E);
2153 llvm_unreachable(
"unhandled binop opcode");
2156template <
class Emitter>
2165 if (!this->
visit(SubExpr))
2167 if (!this->emitNegFixedPoint(E))
2170 return this->emitPopFixedPoint(E);
2176 llvm_unreachable(
"Unhandled unary opcode");
2179template <
class Emitter>
2188 return this->visitZeroInitializer(*
T, QT, E);
2201 return this->visitZeroRecordInitializer(R, E);
2208 return this->visitZeroArrayInitializer(QT, E);
2212 QualType ElemQT = ComplexTy->getElementType();
2214 for (
unsigned I = 0; I < 2; ++I) {
2215 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2217 if (!this->emitInitElem(ElemT, I, E))
2224 unsigned NumVecElements = VecT->getNumElements();
2225 QualType ElemQT = VecT->getElementType();
2228 for (
unsigned I = 0; I < NumVecElements; ++I) {
2229 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2231 if (!this->emitInitElem(ElemT, I, E))
2238 unsigned NumElems = MT->getNumElementsFlattened();
2239 QualType ElemQT = MT->getElementType();
2242 for (
unsigned I = 0; I != NumElems; ++I) {
2243 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2245 if (!this->emitInitElem(ElemT, I, E))
2254template <
class Emitter>
2267 for (
const Expr *SubExpr : {LHS, RHS}) {
2268 if (!this->
visit(SubExpr)) {
2275 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2276 if (!this->emitExpandPtr(E))
2287 return this->emitError(E);
2290 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2294 if (!this->emitArrayElemPtrPop(*IndexT, E))
2297 return this->emitPopPtr(E);
2303 return this->emitLoadPop(*
T, E);
2306template <
class Emitter>
2308 const Expr *ArrayFiller,
const Expr *E) {
2313 QT = AT->getValueType();
2316 if (
Inits.size() == 0)
2318 return this->emitInvalid(E);
2331 if (
Inits.size() == 0)
2332 return this->visitZeroInitializer(*
T, QT, E);
2333 assert(
Inits.size() == 1);
2347 if (!this->emitGetPtrLocal(*LocalIndex, E))
2362 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2368 if (
DefaultInit && !this->emitStartFieldInit(FieldToInit->Offset,
Init))
2377 bool BitField = FieldToInit->isBitField();
2379 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2380 FieldToInit->bitWidth(), E);
2382 return this->emitInitBitField(
T, FieldToInit->Offset,
2383 FieldToInit->bitWidth(), E);
2385 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2386 return this->emitInitField(
T, FieldToInit->Offset, E);
2389 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2397 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2400 if (
Activate && !this->emitActivate(E))
2403 if (!this->emitStartInit(
Init))
2410 if (
Inits.size() == 0) {
2411 if (!this->visitZeroRecordInitializer(R, E))
2416 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2417 FToInit = ILE->getInitializedFieldInUnion();
2421 const Record::Field *FieldToInit = R->getField(FToInit);
2423 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2426 if (!initCompositeField(FieldToInit,
Init,
true))
2430 return this->emitFinishInit(E);
2433 assert(!R->isUnion());
2434 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2436 const Record::Base *B = R->getBase(BI);
2439 if (!this->emitGetPtrBase(B->Offset,
Init))
2445 unsigned FieldIndex = 0;
2446 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2447 const Record::Field *FieldToInit = R->getField(FieldIndex);
2448 if (FieldToInit->isUnnamedBitField()) {
2463 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2465 }
else if (!initCompositeField(FieldToInit,
Init)) {
2473 assert(R->getNumVirtualBases() == 0);
2475 return this->emitFinishInit(E);
2480 Ctx.getASTContext().getAsConstantArrayType(QT);
2485 !this->emitCheckArrayDestSize(NumElems, E))
2488 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2492 unsigned ElementIndex = 0;
2494 if (
const auto *EmbedS =
2495 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2503 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2504 getFPOptions(E), E))
2510 return this->emitInitElem(TargetT, ElemIndex, IL);
2512 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2528 for (; ElementIndex != NumElems; ++ElementIndex) {
2534 return this->emitFinishInit(E);
2538 unsigned NumInits =
Inits.size();
2543 QualType ElemQT = ComplexTy->getElementType();
2545 if (NumInits == 0) {
2547 for (
unsigned I = 0; I < 2; ++I) {
2548 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2550 if (!this->emitInitElem(ElemT, I, E))
2553 }
else if (NumInits == 2) {
2554 unsigned InitIndex = 0;
2559 if (!this->emitInitElem(ElemT, InitIndex, E))
2568 unsigned NumVecElements = VecT->getNumElements();
2569 assert(NumVecElements >=
Inits.size());
2571 QualType ElemQT = VecT->getElementType();
2575 unsigned InitIndex = 0;
2582 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2583 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2584 InitVecT->getNumElements(), E))
2586 InitIndex += InitVecT->getNumElements();
2588 if (!this->emitInitElem(ElemT, InitIndex, E))
2594 assert(InitIndex <= NumVecElements);
2597 for (; InitIndex != NumVecElements; ++InitIndex) {
2598 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2600 if (!this->emitInitElem(ElemT, InitIndex, E))
2607 unsigned NumElems = MT->getNumElementsFlattened();
2608 assert(
Inits.size() == NumElems);
2610 QualType ElemQT = MT->getElementType();
2616 for (
unsigned I = 0; I != NumElems; ++I) {
2619 if (!this->emitInitElem(ElemT, I, E))
2630template <
class Emitter>
2637 return this->emitInitElem(*InitT, ElemIndex,
Init);
2643 if (!this->emitConstUint32(ElemIndex,
Init))
2645 if (!this->emitArrayElemPtrUint32(
Init))
2650template <
class Emitter>
2653 bool Activate,
bool IsOperatorCall) {
2655 llvm::BitVector NonNullArgs;
2656 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2659 bool ExplicitMemberFn =
false;
2660 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2661 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2663 unsigned ArgIndex = 0;
2664 for (
const Expr *Arg : Args) {
2666 if (!this->
visit(Arg))
2674 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2675 if (DeclIndex < FuncDecl->getNumParams())
2676 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2685 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2693 if (!this->emitActivate(Arg))
2697 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2700 if (!this->emitCheckNonNullArg(ArgT, Arg))
2711template <
class Emitter>
2716template <
class Emitter>
2722template <
class Emitter>
2728template <
class Emitter>
2746template <
class Emitter>
2748 auto It = E->
begin();
2749 return this->
visit(*It);
2753 UnaryExprOrTypeTrait Kind) {
2754 bool AlignOfReturnsPreferred =
2761 T = Ref->getPointeeType();
2763 if (
T.getQualifiers().hasUnaligned())
2769 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2775template <
class Emitter>
2779 UnaryExprOrTypeTrait Kind = E->
getKind();
2782 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2788 ArgType = Ref->getPointeeType();
2794 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2795 return this->emitInvalid(E);
2797 if (Kind == UETT_SizeOf)
2806 return this->emitConst(Size.getQuantity(), E);
2809 if (Kind == UETT_CountOf) {
2815 if (
const auto *CAT =
2819 return this->emitConst(CAT->getSize(), E);
2829 if (VAT->getElementType()->isArrayType()) {
2830 std::optional<APSInt> Res =
2832 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2837 return this->emitConst(*Res, E);
2842 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2862 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2865 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2875 return this->emitConst(Size.getQuantity(), E);
2878 if (Kind == UETT_VectorElements) {
2883 return this->emitConst(VT->getNumElements(), E);
2885 return this->emitSizelessVectorElementSize(E);
2888 if (Kind == UETT_VecStep) {
2890 unsigned N = VT->getNumElements();
2897 return this->emitConst(N, E);
2899 return this->emitConst(1, E);
2902 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2911 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2913 return this->emitInvalid(E);
2915 return this->emitConst(
2916 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2924template <
class Emitter>
2933 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2938 if (VD->getInit() && !VD->getInit()->isValueDependent())
2939 VD->evaluateValue();
2940 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2941 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2943 if (
Member->getType()->isReferenceType())
2944 return this->emitLoadPopPtr(E);
2953 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2954 MD && !MD->isStatic()) {
2958 if (!this->
discard(Base) && !this->emitSideEffect(E))
2973 const Record::Field *F = R->getField(FD);
2977 const auto maybeLoadValue = [&]() ->
bool {
2981 return this->emitLoadPop(*
T, E);
2986 if (F->Decl->getType()->isReferenceType())
2987 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2988 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2991template <
class Emitter>
3001template <
class Emitter>
3015 if (!this->
visit(Common))
3017 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
3031 for (
size_t I = 0; I != Size; ++I) {
3043template <
class Emitter>
3058 return this->emitGetLocal(SubExprT, It->second, E);
3061 if (!this->
visit(SourceExpr))
3068 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3077 return this->emitGetLocal(SubExprT, LocalIndex, E);
3081template <
class Emitter>
3094 bool IsBcpCall =
false;
3095 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3096 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3100 LabelTy LabelEnd = this->getLabel();
3101 LabelTy LabelFalse = this->getLabel();
3104 if (!this->emitPushIgnoreDiags(E))
3112 if (this->checkingForUndefinedBehavior()) {
3115 if (!this->
discard(FalseExpr))
3132 if (!this->jumpFalse(LabelFalse, E))
3137 if (!this->jump(LabelEnd, E))
3139 this->emitLabel(LabelFalse);
3143 this->fallthrough(LabelEnd);
3144 this->emitLabel(LabelEnd);
3147 return this->emitPopIgnoreDiags(E);
3151template <
class Emitter>
3157 return this->emitGetStringPtr(E, E);
3161 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3162 assert(CAT &&
"a string literal that's not a constant array?");
3167 unsigned N = std::min(ArraySize, E->
getLength());
3170 for (
unsigned I = 0; I != N; ++I) {
3173 if (CharWidth == 1) {
3174 this->emitConstSint8(CodeUnit, E);
3175 this->emitInitElemSint8(I, E);
3176 }
else if (CharWidth == 2) {
3177 this->emitConstUint16(CodeUnit, E);
3178 this->emitInitElemUint16(I, E);
3179 }
else if (CharWidth == 4) {
3180 this->emitConstUint32(CodeUnit, E);
3181 this->emitInitElemUint32(I, E);
3183 llvm_unreachable(
"unsupported character width");
3188 for (
unsigned I = N; I != ArraySize; ++I) {
3189 if (CharWidth == 1) {
3190 this->emitConstSint8(0, E);
3191 this->emitInitElemSint8(I, E);
3192 }
else if (CharWidth == 2) {
3193 this->emitConstUint16(0, E);
3194 this->emitInitElemUint16(I, E);
3195 }
else if (CharWidth == 4) {
3196 this->emitConstUint32(0, E);
3197 this->emitInitElemUint32(I, E);
3199 llvm_unreachable(
"unsupported character width");
3206template <
class Emitter>
3210 return this->emitDummyPtr(E, E);
3213template <
class Emitter>
3215 auto &A =
Ctx.getASTContext();
3224template <
class Emitter>
3232 auto &A =
Ctx.getASTContext();
3236 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3237 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3243 return this->emitGetStringPtr(SL, E);
3246template <
class Emitter>
3250 return this->emitConst(E->
getValue(), E);
3253template <
class Emitter>
3275 if (!this->emitLoad(LHST, E))
3278 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3279 LHSComputationType, E))
3291 unsigned TempOffset =
3293 if (!this->emitSetLocal(*RT, TempOffset, E))
3299 if (!this->emitLoad(LHST, E))
3303 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3304 LHSComputationType, E))
3308 if (!this->emitGetLocal(*RT, TempOffset, E))
3314 if (!this->emitAddf(getFPOptions(E), E))
3318 if (!this->emitSubf(getFPOptions(E), E))
3322 if (!this->emitMulf(getFPOptions(E), E))
3326 if (!this->emitDivf(getFPOptions(E), E))
3337 return this->emitStorePop(LHST, E);
3338 return this->emitStore(LHST, E);
3341template <
class Emitter>
3350 if (Op != BO_AddAssign && Op != BO_SubAssign)
3359 if (!this->emitLoad(*
LT, LHS))
3365 if (Op == BO_AddAssign) {
3366 if (!this->emitAddOffset(*RT, E))
3369 if (!this->emitSubOffset(*RT, E))
3374 return this->emitStorePopPtr(E);
3375 return this->emitStorePtr(E);
3378template <
class Emitter>
3391 if (!
Ctx.getLangOpts().CPlusPlus14)
3392 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3394 if (!
LT || !RT || !ResultT || !LHSComputationT)
3411 if (!this->emitLoad(*
LT, E))
3413 if (
LT != LHSComputationT &&
3414 !this->emitIntegralCast(*
LT, *LHSComputationT,
3428 unsigned TempOffset =
3431 if (!this->emitSetLocal(*RT, TempOffset, E))
3438 if (!this->emitLoad(*
LT, E))
3440 if (
LT != LHSComputationT &&
3441 !this->emitIntegralCast(*
LT, *LHSComputationT,
3446 if (!this->emitGetLocal(*RT, TempOffset, E))
3453 if (!this->emitAdd(*LHSComputationT, E))
3457 if (!this->emitSub(*LHSComputationT, E))
3461 if (!this->emitMul(*LHSComputationT, E))
3465 if (!this->emitDiv(*LHSComputationT, E))
3469 if (!this->emitRem(*LHSComputationT, E))
3473 if (!this->emitShl(*LHSComputationT, *RT, E))
3477 if (!this->emitShr(*LHSComputationT, *RT, E))
3481 if (!this->emitBitAnd(*LHSComputationT, E))
3485 if (!this->emitBitXor(*LHSComputationT, E))
3489 if (!this->emitBitOr(*LHSComputationT, E))
3493 llvm_unreachable(
"Unimplemented compound assign operator");
3497 if (ResultT != LHSComputationT &&
3498 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3504 return this->emitStoreBitFieldPop(*ResultT, E);
3505 return this->emitStorePop(*ResultT, E);
3508 return this->emitStoreBitField(*ResultT, E);
3509 return this->emitStore(*ResultT, E);
3512template <
class Emitter>
3520template <
class Emitter>
3535 if (!
Ctx.getLangOpts().CPlusPlus11)
3542 for (
const Expr *LHS : CommaLHSs) {
3564 if (!this->
visit(Inner))
3569 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3572 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3575 return this->emitGetPtrGlobal(*GlobalIndex, E);
3578 if (!this->checkLiteralType(Inner))
3581 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3587 return this->emitInitGlobalTempComp(TempDecl, E);
3600 unsigned LocalIndex =
3602 if (!this->VarScope->LocalsAlwaysEnabled &&
3603 !this->emitEnableLocal(LocalIndex, E))
3606 if (!this->
visit(Inner))
3608 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3611 return this->emitGetPtrLocal(LocalIndex, E);
3614 if (!this->checkLiteralType(Inner))
3621 if (!this->VarScope->LocalsAlwaysEnabled &&
3622 !this->emitEnableLocal(*LocalIndex, E))
3625 if (!this->emitGetPtrLocal(*LocalIndex, E))
3632template <
class Emitter>
3643 if (!this->
visit(SubExpr))
3647 return this->emitPopPtr(E);
3651template <
class Emitter>
3672 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3677 if (
P.isGlobalInitialized(*GlobalIndex))
3683 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3695 unsigned LocalIndex;
3699 LocalIndex = *MaybeIndex;
3703 if (!this->emitGetPtrLocal(LocalIndex, E))
3707 return this->
visit(
Init) && this->emitInit(*
T, E);
3711template <
class Emitter>
3722 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3726 if (!R || R->getNumFields() == 0)
3728 const Record::Field *Field = R->getField(0
U);
3733 return this->emitInitField(*Field->T, Field->Offset, E);
3740template <
class Emitter>
3744 return this->emitConst(E->
getValue(), E);
3747template <
class Emitter>
3760 for (
const Record::Field &F : R->fields()) {
3762 if (!
Init ||
Init->containsErrors())
3770 if (!this->emitInitField(*
T, F.Offset, E))
3773 if (!this->emitGetPtrField(F.Offset, E))
3784template <
class Emitter>
3790 return this->emitGetStringPtr(E, E);
3794template <
class Emitter>
3799 return this->emitInvalid(E);
3802template <
class Emitter>
3816 if (!this->emitInvalidCast(
CastKind,
false, E))
3824 bool Fatal = (ToT != FromT);
3831template <
class Emitter>
3833 if (!
Ctx.getLangOpts().CPlusPlus20) {
3854 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3859 return this->emitPopPtr(E);
3863template <
class Emitter>
3869 return this->emitConstBool(E->
getValue(), E);
3872template <
class Emitter>
3877 if (
T->isRecordType()) {
3891 if (!this->emitGetPtrLocal(*LocalIndex, E))
3899 T->getAsCXXRecordDecl()))
3909 if (!this->visitZeroRecordInitializer(R, E))
3920 if (!this->emitDefaultInit(Ctor, E))
3923 return this->emitPopPtr(E);
3931 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3933 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3934 if (!this->emitCheckFunctionDecl(Ctor, E))
3945 assert(
Func->hasThisPointer());
3946 assert(!
Func->hasRVO());
3950 if (!this->emitDupPtr(E))
3954 for (
const auto *Arg : E->
arguments()) {
3955 if (!this->
visit(Arg))
3959 if (
Func->isVariadic()) {
3960 uint32_t VarArgSize = 0;
3961 unsigned NumParams =
Func->getNumWrittenParams();
3962 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3966 if (!this->emitCallVar(
Func, VarArgSize, E))
3969 if (!this->emitCall(
Func, 0, E)) {
3974 (void)this->emitPopPtr(E);
3980 return this->emitPopPtr(E);
3984 if (
T->isArrayType()) {
3989 if (!this->emitDupPtr(E))
3993 initArrayDimension = [&](
QualType T) ->
bool {
3994 if (!
T->isArrayType()) {
3996 for (
const auto *Arg : E->
arguments()) {
3997 if (!this->
visit(Arg))
4001 return this->emitCall(
Func, 0, E);
4005 Ctx.getASTContext().getAsConstantArrayType(
T);
4010 for (
size_t I = 0; I != NumElems; ++I) {
4011 if (!this->emitConstUint64(I, E))
4013 if (!this->emitArrayElemPtrUint64(E))
4015 if (!initArrayDimension(ElemTy))
4018 return this->emitPopPtr(E);
4021 return initArrayDimension(E->
getType());
4027template <
class Emitter>
4037 assert(Val.
isInt());
4039 return this->emitConst(I, E);
4046 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4047 return this->
visit(LValueExpr);
4062 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4066 const APValue &
V = UGCD->getValue();
4067 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4068 const Record::Field *F = R->getField(I);
4069 const APValue &FieldValue =
V.getStructField(I);
4073 if (!this->emitInitField(*F->T, F->Offset, E))
4081template <
class Emitter>
4087 for (
unsigned I = 0; I != N; ++I) {
4094 if (!this->
discard(ArrayIndexExpr))
4100 if (!this->
visit(ArrayIndexExpr))
4102 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4106 if (!this->
visit(ArrayIndexExpr))
4110 if (!this->emitCast(IndexT,
PT_Sint64, E))
4120 return this->emitOffsetOf(
T, E, E);
4123template <
class Emitter>
4132 return this->visitZeroInitializer(*
T, Ty, E);
4139 if (!this->emitGetPtrLocal(*LocalIndex, E))
4147 ElemQT = CT->getElementType();
4150 NumElems = VT->getNumElements();
4151 ElemQT = VT->getElementType();
4157 for (
unsigned I = 0; I != NumElems; ++I) {
4158 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4160 if (!this->emitInitElem(ElemT, I, E))
4169template <
class Emitter>
4174template <
class Emitter>
4180template <
class Emitter>
4185template <
class Emitter>
4190 return this->emitConst(E->
getValue(), E);
4193template <
class Emitter>
4198 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4213 unsigned ParamIndex = 0;
4217 if (!this->emitGetParam(PT, ParamIndex, E))
4222 return this->emitCall(F, 0, E);
4227template <
class Emitter>
4235 const Expr *PlacementDest =
nullptr;
4236 bool IsNoThrow =
false;
4241 if (PlacementArgs != 0) {
4250 if (PlacementArgs == 1) {
4258 if (!this->emitInvalidNewDeleteExpr(E, E))
4263 if (OperatorNew->isReservedGlobalPlacementOperator())
4264 PlacementDest = Arg1;
4268 return this->emitInvalid(E);
4270 }
else if (!OperatorNew
4271 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4272 return this->emitInvalidNewDeleteExpr(E, E);
4275 if (!PlacementDest) {
4280 Desc =
P.createDescriptor(E, *ElemT);
4282 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4289 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4293 const Expr *Stripped = *ArraySizeExpr;
4294 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4295 Stripped = ICE->getSubExpr())
4296 if (ICE->getCastKind() != CK_NoOp &&
4297 ICE->getCastKind() != CK_IntegralCast)
4305 if (!this->
visit(Stripped))
4307 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4310 if (PlacementDest) {
4311 if (!this->
visit(PlacementDest))
4313 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4315 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4318 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4323 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4327 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4334 size_t StaticInitElems = 0;
4335 const Expr *DynamicInit =
nullptr;
4339 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4340 StaticInitElems = CAT->getZExtSize();
4345 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4346 if (ILE->hasArrayFiller())
4347 DynamicInit = ILE->getArrayFiller();
4366 const Function *CtorFunc =
nullptr;
4367 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4371 }
else if (!DynamicInit && !ElemT)
4374 LabelTy EndLabel = this->getLabel();
4375 LabelTy StartLabel = this->getLabel();
4380 if (!this->emitDupPtr(E))
4382 if (!this->emitIsNonNullPtr(E))
4384 if (!this->jumpFalse(EndLabel, E))
4391 if (!this->emitConst(StaticInitElems,
SizeT, E))
4393 if (!this->emitSetLocal(
SizeT, Iter, E))
4396 this->fallthrough(StartLabel);
4397 this->emitLabel(StartLabel);
4399 if (!this->emitGetLocal(
SizeT, Iter, E))
4401 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4403 if (!this->emitLT(
SizeT, E))
4405 if (!this->jumpFalse(EndLabel, E))
4409 if (!this->emitGetLocal(
SizeT, Iter, E))
4411 if (!this->emitArrayElemPtr(
SizeT, E))
4414 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4419 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4421 if (!this->emitStorePop(*InitT, E))
4425 if (!this->visitZeroArrayInitializer(ElemType, E))
4428 }
else if (DynamicInit) {
4430 if (!this->
visit(DynamicInit))
4432 if (!this->emitStorePop(*InitT, E))
4439 if (!this->visitZeroInitializer(
4443 if (!this->emitStorePop(*ElemT, E))
4447 if (!this->emitCall(CtorFunc, 0, E))
4452 if (!this->emitGetPtrLocal(Iter, E))
4454 if (!this->emitIncPop(
SizeT,
false, E))
4457 if (!this->jump(StartLabel, E))
4460 this->fallthrough(EndLabel);
4461 this->emitLabel(EndLabel);
4465 if (PlacementDest) {
4466 if (!this->
visit(PlacementDest))
4468 if (!this->emitCheckNewTypeMismatch(E, E))
4473 if (!this->emitAlloc(Desc, E))
4482 if (!this->emitInit(*ElemT, E))
4493 return this->emitPopPtr(E);
4498template <
class Emitter>
4504 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4505 return this->emitInvalidNewDeleteExpr(E, E);
4514template <
class Emitter>
4520 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4525 return this->emitGetFnPtr(
Func, E);
4528template <
class Emitter>
4532 auto canonType = [](
const Type *
T) {
4533 return T->getCanonicalTypeUnqualified().getTypePtr();
4541 return this->emitGetTypeid(
4545 return this->emitGetTypeid(
4554 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4560 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4563 return this->emitPopPtr(E);
4567template <
class Emitter>
4571 return this->emitDummyPtr(E, E);
4572 return this->emitError(E);
4575template <
class Emitter>
4578 return this->emitDummyPtr(E, E);
4579 return this->emitError(E);
4582template <
class Emitter>
4584 assert(
Ctx.getLangOpts().CPlusPlus);
4585 return this->emitConstBool(E->
getValue(), E);
4588template <
class Emitter>
4600 return this->emitDummyPtr(GuidDecl, E);
4605 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4614 assert(
V.isStruct());
4615 assert(
V.getStructNumBases() == 0);
4619 return this->emitFinishInit(E);
4622template <
class Emitter>
4632template <
class Emitter>
4641template <
class Emitter>
4647template <
class Emitter>
4651 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4655 if (OVE->isUnique())
4671template <
class Emitter>
4676template <
class Emitter>
4678 return this->emitError(E);
4681template <
class Emitter>
4687 return this->emitDummyPtr(E, E);
4690template <
class Emitter>
4691bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4696 QualType ElemType = VT->getElementType();
4697 PrimType ElemT = classifyPrim(ElemType);
4699 PrimType SrcElemT = classifyVectorElementType(SrcType);
4705 if (!this->emitGetPtrLocal(*LocalIndex, E))
4709 unsigned SrcOffset =
4710 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4711 if (!this->visit(Src))
4713 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4716 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4717 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4719 if (!this->emitArrayElemPop(SrcElemT, I, E))
4723 if (SrcElemT != ElemT) {
4724 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4726 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4727 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4731 if (!this->emitInitElem(ElemT, I, E))
4737template <
class Emitter>
4739 return emitVectorConversion(E->
getSrcExpr(), E);
4742template <
class Emitter>
4746 return this->emitInvalid(E);
4755 assert(NumOutputElems > 0);
4761 if (!this->emitGetPtrLocal(*LocalIndex, E))
4766 unsigned VectorOffsets[2];
4767 for (
unsigned I = 0; I != 2; ++I) {
4770 if (!this->
visit(Vecs[I]))
4772 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4775 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4777 assert(ShuffleIndex >= -1);
4778 if (ShuffleIndex == -1)
4779 return this->emitInvalidShuffleVectorIndex(I, E);
4781 assert(ShuffleIndex < (NumInputElems * 2));
4782 if (!this->emitGetLocal(
PT_Ptr,
4783 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4785 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4786 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4789 if (!this->emitInitElem(ElemT, I, E))
4794 return this->emitPopPtr(E);
4799template <
class Emitter>
4804 Base->getType()->isVectorType() ||
4810 if (Indices.size() == 1) {
4815 if (!this->emitConstUint32(Indices[0], E))
4817 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4827 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4835 if (!this->emitGetPtrLocal(*ResultIndex, E))
4843 uint32_t DstIndex = 0;
4844 for (uint32_t I : Indices) {
4845 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4847 if (!this->emitArrayElemPop(ElemT, I, E))
4849 if (!this->emitInitElem(ElemT, DstIndex, E))
4859template <
class Emitter>
4863 return this->
discard(SubExpr) && this->emitInvalid(E);
4869 return this->emitDummyPtr(E, E);
4872template <
class Emitter>
4877 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4882 if (!this->
visit(SubExpr))
4884 if (!this->emitConstUint8(0, E))
4886 if (!this->emitArrayElemPtrPopUint8(E))
4888 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4891 PrimType SecondFieldT = *R->getField(1u)->T;
4893 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4895 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4897 assert(SecondFieldT ==
PT_Ptr);
4899 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4901 if (!this->emitExpandPtr(E))
4905 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4907 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4910template <
class Emitter>
4925 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4929 return this->emitUnsupported(E);
4938 return this->
Visit(E);
4945 return this->
Visit(E);
4949 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4952 if (
const auto *CE = dyn_cast<CastExpr>(E);
4954 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4961 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4964 if (
const auto *CE = dyn_cast<CastExpr>(E);
4965 CE && (CE->getCastKind() == CK_DerivedToBase ||
4966 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4967 CE->getCastKind() == CK_NoOp))
4987 if (!this->emitGetPtrLocal(*LocalIndex, E))
4997 return this->
Visit(E);
5000template <
class Emitter>
5006 return this->
Visit(E) && this->emitFinishInit(E);
5009template <
class Emitter>
5015 return this->
Visit(E) && this->emitFinishInitPop(E);
5021 return this->
Visit(E);
5032 if (!this->
visit(E))
5034 return this->emitComplexBoolCast(E);
5039 if (!this->
visit(E))
5047 return this->emitIsNonNullPtr(E);
5051 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5054 return this->emitCast(*
T,
PT_Bool, E);
5057template <
class Emitter>
5061 QT = AT->getValueType();
5065 return this->emitZeroBool(E);
5067 return this->emitZeroSint8(E);
5069 return this->emitZeroUint8(E);
5071 return this->emitZeroSint16(E);
5073 return this->emitZeroUint16(E);
5075 return this->emitZeroSint32(E);
5077 return this->emitZeroUint32(E);
5079 return this->emitZeroSint64(E);
5081 return this->emitZeroUint64(E);
5083 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5085 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5087 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5090 return this->emitNullMemberPtr(0,
nullptr, E);
5092 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5093 return this->emitFloat(F, E);
5096 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5100 llvm_unreachable(
"unknown primitive type");
5103template <
class Emitter>
5104bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5106 bool IsCompleteClass) {
5110 for (
const Record::Field &Field :
R->fields()) {
5111 if (Field.isUnnamedBitField())
5118 if (!this->visitZeroInitializer(
T, QT, E))
5121 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5125 if (!this->emitInitField(
T, Field.Offset, E))
5130 if (!this->emitGetPtrField(Field.Offset, E))
5137 if (!this->visitZeroInitializer(
T, ET, E))
5139 if (!this->emitInitElem(
T, I, E))
5144 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5147 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5155 if (!this->emitFinishInitActivatePop(E))
5159 if (!this->emitFinishInitPop(E))
5163 for (
const Record::Base &B :
R->bases()) {
5164 if (!this->emitGetPtrBase(B.Offset, E))
5166 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5168 if (!this->emitFinishInitPop(E))
5172 if (IsCompleteClass) {
5173 for (
const Record::Base &B :
R->virtual_bases()) {
5176 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5178 if (!this->emitFinishInitPop(E))
5186template <
class Emitter>
5187bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5188 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5189 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5194 for (
size_t I = 0; I != NumElems; ++I) {
5195 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5197 if (!this->emitInitElem(*ElemT, I, E))
5203 const Record *
R = getRecord(ElemType);
5207 for (
size_t I = 0; I != NumElems; ++I) {
5208 if (!this->emitConstUint32(I, E))
5210 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5212 if (!this->visitZeroRecordInitializer(R, E))
5214 if (!this->emitPopPtr(E))
5220 for (
size_t I = 0; I != NumElems; ++I) {
5221 if (!this->emitConstUint32(I, E))
5223 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5225 if (!this->visitZeroArrayInitializer(ElemType, E))
5227 if (!this->emitPopPtr(E))
5236template <
class Emitter>
5237bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5239 if (!canClassify(E->
getType()))
5244 if (!this->visit(LHS))
5246 if (!this->visit(RHS))
5249 if (!this->visit(RHS))
5251 if (!this->visit(LHS))
5259 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5263 bool Activates = refersToUnion(LHS);
5266 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5269 if (DiscardResult) {
5270 if (BitField && Activates)
5271 return this->emitStoreBitFieldActivatePop(RHT, E);
5273 return this->emitStoreBitFieldPop(RHT, E);
5275 return this->emitStoreActivatePop(RHT, E);
5277 return this->emitStorePop(RHT, E);
5280 auto maybeLoad = [&](
bool Result) ->
bool {
5286 return this->emitLoadPop(RHT, E);
5290 if (BitField && Activates)
5291 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5293 return maybeLoad(this->emitStoreBitField(RHT, E));
5295 return maybeLoad(this->emitStoreActivate(RHT, E));
5297 return maybeLoad(this->emitStore(RHT, E));
5300template <
class Emitter>
5301template <
typename T>
5305 return this->emitConstSint8(
Value, Info);
5307 return this->emitConstUint8(
Value, Info);
5309 return this->emitConstSint16(
Value, Info);
5311 return this->emitConstUint16(
Value, Info);
5313 return this->emitConstSint32(
Value, Info);
5315 return this->emitConstUint32(
Value, Info);
5317 return this->emitConstSint64(
Value, Info);
5319 return this->emitConstUint64(
Value, Info);
5321 return this->emitConstBool(
Value, Info);
5328 llvm_unreachable(
"Invalid integral type");
5331 llvm_unreachable(
"unknown primitive type");
5334template <
class Emitter>
5335template <
typename T>
5336bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5337 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5340template <
class Emitter>
5344 return this->emitConstIntAPS(
Value, Info);
5346 return this->emitConstIntAP(
Value, Info);
5348 if (
Value.isSigned())
5349 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5350 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5353template <
class Emitter>
5357 return this->emitConstIntAPS(
Value, Info);
5359 return this->emitConstIntAP(
Value, Info);
5362 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5363 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5366template <
class Emitter>
5367bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5368 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5371template <
class Emitter>
5386 return Local.Offset;
5389template <
class Emitter>
5394 bool IsTemporary =
false;
5398 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5399 Init = VarD->getInit();
5401 if (
const auto *E = Src.
asExpr()) {
5411 return std::nullopt;
5418 return Local.Offset;
5421template <
class Emitter>
5430 return std::nullopt;
5440 return Local.Offset;
5443template <
class Emitter>
5445 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5446 return PT->getPointeeType()->getAsCanonical<RecordType>();
5452 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5456template <
class Emitter>
5458 return P.getOrCreateRecord(RD);
5461template <
class Emitter>
5463 return Ctx.getOrCreateFunction(FD);
5466template <
class Emitter>
5470 auto maybeDestroyLocals = [&]() ->
bool {
5471 if (DestroyToplevelScope)
5472 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5473 return this->emitCheckAllocations(E);
5480 return this->emitRetVoid(E) && maybeDestroyLocals();
5488 return this->emitRet(*
T, E) && maybeDestroyLocals();
5496 if (!this->emitGetPtrLocal(*LocalOffset, E))
5504 return this->emitRetValue(E) && maybeDestroyLocals();
5507 return maybeDestroyLocals() &&
false;
5510template <
class Emitter>
5512 bool DestroyToplevelScope) {
5516 return this->
visitExpr(E, DestroyToplevelScope);
5519template <
class Emitter>
5531 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5532 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5546template <
class Emitter>
5548 bool ConstantContext) {
5551 if (!ConstantContext) {
5566 auto GlobalIndex =
P.getGlobal(VD);
5567 assert(GlobalIndex);
5569 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5572 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5580 if (!this->emitGetRefLocal(
Local->second.Offset, VD))
5582 }
else if (!this->emitGetLocal(*VarT,
Local->second.Offset, VD))
5585 if (!this->emitGetPtrLocal(
Local->second.Offset, VD))
5595 auto GlobalIndex =
P.getGlobal(VD);
5596 assert(GlobalIndex);
5597 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5606 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5609template <
class Emitter>
5620 if (!this->isActive())
5625 if (
Init &&
Init->isValueDependent())
5629 auto checkDecl = [&]() ->
bool {
5631 return !NeedsOp || this->emitCheckDecl(VD, VD);
5638 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5641 if (
P.isGlobalInitialized(*GlobalIndex))
5645 }
else if ((GlobalIndex =
5660 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5663 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5666 if (!this->emitStartInit(
Init))
5672 if (!this->emitEndInit(
Init))
5675 return this->emitFinishInitGlobal(
Init);
5685 if (!
Init ||
Init->getType()->isVoidType())
5694 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5706 if (!this->emitCheckRefInit(
Init))
5710 return this->emitSetLocal(*VarT, Offset, VD);
5718 if (!this->emitGetPtrLocal(*Offset,
Init))
5726template <
class Emitter>
5749 if (!this->emitGetPtrLocal(
Local.Offset, VD))
5755 return this->emitDestructionPop(D, VD);
5764 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5788template <
class Emitter>
5803 unsigned ParamIndex = 0;
5810 const Expr *Arg = Args[ParamIndex];
5811 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5813 unsigned ArgOffset =
5815 if (!this->
visit(Arg))
5817 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5823 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5835 if (
This->getType()->isPointerType()) {
5838 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5845 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5867template <
class Emitter>
5873 return this->emitConst(Val.
getInt(), ValType, Info);
5875 return this->emitFloat(Val.
getFloat(), Info);
5879 if (!this->emitGetMemberPtr(MemberDecl, Info))
5885 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5891 return this->emitNullMemberPtr(0,
nullptr, Info);
5896 return this->emitNull(ValType, 0,
nullptr, Info);
5901 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5902 return this->
visit(BaseExpr);
5907 QualType EntryType = VD->getType();
5908 for (
auto &Entry : Path) {
5910 uint64_t Index = Entry.getAsArrayIndex();
5913 if (!this->emitConst(Index,
PT_Uint64, Info))
5915 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5917 EntryType = ElemType;
5924 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5925 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5927 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5929 EntryType = FD->getType();
5933 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5938 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5941 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5953template <
class Emitter>
5956 bool IsCompleteClass) {
5962 if (IsCompleteClass)
5969 const Record::Base *RB = R->getBase(I);
5970 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5972 if (!this->emitGetPtrBase(RB->Offset, Info))
5977 if (!this->emitFinishInitPop(Info))
5985 const Record::Field *RF = R->getField(I);
5986 QualType FieldType = RF->Decl->getType();
5991 if (!this->emitInitField(*PT, RF->Offset, Info))
5994 if (!this->emitGetPtrField(RF->Offset, Info))
5998 if (!this->emitFinishInitPop(Info))
6004 if (IsCompleteClass) {
6009 const Record::Base *RB = R->getVirtualBase(I);
6010 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6018 if (!this->emitFinishInitPop(Info))
6034 const Record::Field *RF = R->getField(UnionField);
6035 QualType FieldType = RF->Decl->getType();
6040 if (RF->isBitField())
6041 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6043 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6046 if (!this->emitGetPtrField(RF->Offset, Info))
6048 if (!this->emitActivate(Info))
6052 return this->emitPopPtr(Info);
6056 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6057 QualType ElemType = ArrType->getElementType();
6060 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6061 const APValue &Elem = A >= InitializedElems
6070 if (!this->emitInitElem(*ElemT, A, Info))
6073 if (!this->emitConstUint32(A, Info))
6075 if (!this->emitArrayElemPtrUint32(Info))
6079 if (!this->emitPopPtr(Info))
6090template <
class Emitter>
6092 if (
P.getGlobal(VD))
6097 llvm_unreachable(
"Why didn't that work?");
6101 "registerRedecl should only be called with primitive values");
6106 return this->emitInitGlobal(
T, *GlobalIndex, {});
6109template <
class Emitter>
6111 unsigned BuiltinID) {
6112 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6117 return this->emitConst(0, E);
6120 if (!this->emitStartSpeculation(E))
6122 LabelTy EndLabel = this->getLabel();
6123 if (!this->speculate(E, EndLabel))
6125 if (!this->emitEndSpeculation(E))
6127 this->fallthrough(EndLabel);
6135 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6136 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6137 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6138 BuiltinID == Builtin::BI__builtin_function_start) {
6141 return this->emitDummyPtr(E, E);
6152 if (!this->emitGetPtrLocal(*LocalIndex, E))
6157 switch (BuiltinID) {
6158 case Builtin::BI__builtin_object_size:
6159 case Builtin::BI__builtin_dynamic_object_size: {
6163 if (!this->
visit(Arg0))
6174 case Builtin::BI__assume:
6175 case Builtin::BI__builtin_assume:
6178 case Builtin::BI__atomic_is_lock_free:
6179 case Builtin::BI__atomic_always_lock_free: {
6190 for (
const auto *Arg : E->
arguments()) {
6191 if (!this->
visit(Arg))
6197 if (!this->emitCallBI(E, BuiltinID, E))
6215template <
class Emitter>
6236 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6237 DD && DD->isTrivial()) {
6239 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6241 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6242 this->emitPopPtr(E);
6248 bool ActivateLHS =
false;
6256 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6257 OCE && OCE->isAssignmentOp()) {
6258 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6261 if (
const auto *MCE = dyn_cast<CXXMemberCallExpr>(E))
6262 if (!this->
visit(MCE->getImplicitObjectArgument()))
6269 if (!this->emitTrivialCopy(ActivateLHS,
Func, E))
6287 if (!this->emitGetPtrLocal(*LocalIndex, E))
6295 if (!this->emitGetPtrLocal(*LocalIndex, E))
6299 if (!this->emitDupPtr(E))
6304 const Expr *ReversedArgs[2];
6305 bool IsAssignmentOperatorCall =
false;
6306 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6307 OCE && OCE->isAssignmentOp()) {
6311 assert(Args.size() == 2);
6312 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6314 IsAssignmentOperatorCall =
true;
6315 ReversedArgs[0] = Args[1];
6316 ReversedArgs[1] = Args[0];
6317 Args = ReversedArgs;
6324 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6325 MD && MD->isStatic()) {
6329 Args = Args.drop_front();
6333 bool Devirtualized =
false;
6336 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6344 if (!this->
visit(Callee))
6346 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6348 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6350 if (!this->emitGetMemberPtrBase(E))
6353 const auto *InstancePtr = MC->getImplicitObjectArgument();
6360 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6361 Devirtualized =
true;
6362 if (!this->
visit(Stripped))
6365 if (!this->
visit(InstancePtr))
6369 if (!this->
visit(InstancePtr))
6373 }
else if (
const auto *PD =
6374 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6375 if (!this->emitCheckPseudoDtor(E))
6383 return this->emitPseudoDtor(E);
6384 }
else if (!FuncDecl) {
6388 if (!this->
visit(Callee))
6390 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6399 if (IsAssignmentOperatorCall) {
6400 assert(Args.size() == 2);
6403 if (!this->emitFlip(Arg2T, Arg1T, E))
6417 assert(HasRVO ==
Func->hasRVO());
6419 bool HasQualifier =
false;
6420 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6421 HasQualifier = ME->hasQualifier();
6423 bool IsVirtual =
false;
6424 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6425 IsVirtual = !Devirtualized && MD->isVirtual();
6430 if (IsVirtual && !HasQualifier) {
6431 uint32_t VarArgSize = 0;
6432 unsigned NumParams =
6433 Func->getNumWrittenParams() +
6435 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6438 if (!this->emitCallVirt(
Func, VarArgSize, E))
6440 }
else if (
Func->isVariadic()) {
6441 uint32_t VarArgSize = 0;
6442 unsigned NumParams =
6443 Func->getNumWrittenParams() +
6445 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6447 if (!this->emitCallVar(
Func, VarArgSize, E))
6450 if (!this->emitCall(
Func, 0, E))
6459 uint32_t ArgSize = 0;
6460 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6466 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6468 if (!this->emitGetMemberPtrDecl(E))
6471 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6474 if (!this->emitCallPtr(ArgSize, E, E))
6485template <
class Emitter>
6492template <
class Emitter>
6499template <
class Emitter>
6504 return this->emitConstBool(E->
getValue(), E);
6507template <
class Emitter>
6513 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6514 return this->emitNullPtr(Val,
nullptr, E);
6517template <
class Emitter>
6525 return this->emitZero(
T, E);
6528template <
class Emitter>
6533 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6534 if (this->LambdaThisCapture.Offset > 0) {
6535 if (this->LambdaThisCapture.IsPtr)
6536 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6537 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6546 return this->emitThis(E);
6561 unsigned StartIndex = 0;
6562 unsigned EndIndex = 0;
6564 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6566 EndIndex = StartIndex;
6573 for (; StartIndex > 0; --StartIndex) {
6584 if (StartIndex == 0 && EndIndex == 0)
6595 assert(StartIndex <= EndIndex);
6598 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6610 case Stmt::CompoundStmtClass:
6612 case Stmt::DeclStmtClass:
6614 case Stmt::ReturnStmtClass:
6616 case Stmt::IfStmtClass:
6618 case Stmt::WhileStmtClass:
6620 case Stmt::DoStmtClass:
6622 case Stmt::ForStmtClass:
6624 case Stmt::CXXForRangeStmtClass:
6626 case Stmt::BreakStmtClass:
6628 case Stmt::ContinueStmtClass:
6630 case Stmt::SwitchStmtClass:
6632 case Stmt::CaseStmtClass:
6634 case Stmt::DefaultStmtClass:
6636 case Stmt::AttributedStmtClass:
6638 case Stmt::CXXTryStmtClass:
6640 case Stmt::NullStmtClass:
6643 case Stmt::GCCAsmStmtClass:
6644 case Stmt::MSAsmStmtClass:
6645 case Stmt::GotoStmtClass:
6646 return this->emitInvalid(S);
6647 case Stmt::LabelStmtClass:
6649 case Stmt::CXXExpansionStmtInstantiationClass:
6653 if (
const auto *E = dyn_cast<Expr>(S))
6660template <
class Emitter>
6663 for (
const auto *InnerStmt : S->
body())
6666 return Scope.destroyLocals();
6669template <
class Emitter>
6670bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6671 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6672 for (
auto *BD : DD->flat_bindings())
6673 if (
auto *KD = BD->getHoldingVar();
6674 KD && !this->visitVarDecl(KD, KD->getInit()))
6688template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6690 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6691 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6698 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6703 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6704 ICE && (ICE->getCastKind() == CK_NoOp ||
6705 ICE->getCastKind() == CK_DerivedToBase ||
6706 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6707 E = ICE->getSubExpr();
6711 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6712 const auto *ThisRecord =
6713 This->getType()->getPointeeType()->getAsRecordDecl();
6714 if (!ThisRecord->isUnion())
6717 if (
const auto *Ctor =
6718 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6719 return Ctor->getParent() == ThisRecord;
6728template <
class Emitter>
6730 bool EvaluateConditionDecl) {
6731 for (
const auto *D : DS->
decls()) {
6736 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6737 assert(ESD->getInstantiations() &&
"not expanded?");
6738 if (!this->
visitStmt(ESD->getInstantiations()))
6743 const auto *VD = dyn_cast<VarDecl>(D);
6750 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6757template <
class Emitter>
6760 return this->emitUnsupported(RS);
6766 if (!this->
visit(RE))
6772 if (RE->getType()->isVoidType()) {
6773 if (!this->
visit(RE))
6776 if (RE->containsErrors())
6781 if (!this->emitRVOPtr(RE))
6787 return this->emitRetVoid(RS);
6793 return this->emitRetVoid(RS);
6799 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6806 if (
auto *CondInit = IS->
getInit()) {
6822 return visitChildStmt(IS->
getThen());
6824 return visitChildStmt(Else);
6830 if (!this->emitIsConstantContext(IS))
6833 if (!this->emitIsConstantContext(IS))
6835 if (!this->emitInv(IS))
6849 LabelTy LabelElse = this->getLabel();
6850 LabelTy LabelEnd = this->getLabel();
6851 if (!this->jumpFalse(LabelElse, IS))
6853 if (!visitChildStmt(IS->
getThen()))
6855 if (!this->jump(LabelEnd, IS))
6857 this->emitLabel(LabelElse);
6858 if (!visitChildStmt(Else))
6860 this->emitLabel(LabelEnd);
6862 LabelTy LabelEnd = this->getLabel();
6863 if (!this->jumpFalse(LabelEnd, IS))
6865 if (!visitChildStmt(IS->
getThen()))
6867 this->emitLabel(LabelEnd);
6876template <
class Emitter>
6881 LabelTy CondLabel = this->getLabel();
6882 LabelTy EndLabel = this->getLabel();
6886 this->fallthrough(CondLabel);
6887 this->emitLabel(CondLabel);
6903 if (!this->jumpFalse(EndLabel, S))
6913 if (!this->jump(CondLabel, S))
6915 this->fallthrough(EndLabel);
6916 this->emitLabel(EndLabel);
6925 LabelTy StartLabel = this->getLabel();
6926 LabelTy EndLabel = this->getLabel();
6927 LabelTy CondLabel = this->getLabel();
6931 this->fallthrough(StartLabel);
6932 this->emitLabel(StartLabel);
6938 this->fallthrough(CondLabel);
6939 this->emitLabel(CondLabel);
6946 if (!this->jumpTrue(StartLabel, S))
6949 this->fallthrough(EndLabel);
6950 this->emitLabel(EndLabel);
6954template <
class Emitter>
6962 LabelTy EndLabel = this->getLabel();
6963 LabelTy CondLabel = this->getLabel();
6964 LabelTy IncLabel = this->getLabel();
6971 this->fallthrough(CondLabel);
6972 this->emitLabel(CondLabel);
6984 if (!this->jumpFalse(EndLabel, S))
6993 this->fallthrough(IncLabel);
6994 this->emitLabel(IncLabel);
7000 if (!this->jump(CondLabel, S))
7004 this->emitLabel(EndLabel);
7010template <
class Emitter>
7020 LabelTy EndLabel = this->getLabel();
7021 LabelTy CondLabel = this->getLabel();
7022 LabelTy IncLabel = this->getLabel();
7038 this->fallthrough(CondLabel);
7039 this->emitLabel(CondLabel);
7042 if (!this->jumpFalse(EndLabel, S))
7053 this->fallthrough(IncLabel);
7054 this->emitLabel(IncLabel);
7061 if (!this->jump(CondLabel, S))
7064 this->fallthrough(EndLabel);
7065 this->emitLabel(EndLabel);
7069template <
class Emitter>
7080 if (LI.BreakLabel) {
7081 TargetLabel = *LI.BreakLabel;
7082 BreakScope = LI.BreakOrContinueScope;
7088 if (LI.Name == TargetLoop) {
7089 TargetLabel = *LI.BreakLabel;
7090 BreakScope = LI.BreakOrContinueScope;
7101 C =
C->getParent()) {
7102 if (!
C->destroyLocals())
7106 return this->jump(*TargetLabel, S);
7109template <
class Emitter>
7120 if (LI.ContinueLabel) {
7121 TargetLabel = *LI.ContinueLabel;
7122 ContinueScope = LI.BreakOrContinueScope;
7128 if (LI.Name == TargetLoop) {
7129 TargetLabel = *LI.ContinueLabel;
7130 ContinueScope = LI.BreakOrContinueScope;
7140 C =
C->getParent()) {
7141 if (!
C->destroyLocals())
7145 return this->jump(*TargetLabel, S);
7148template <
class Emitter>
7158 LabelTy EndLabel = this->getLabel();
7163 if (
const auto *CondInit = S->
getInit())
7172 if (!this->
visit(Cond))
7174 if (!this->emitSetLocal(CondT, CondVar, S))
7184 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7187 if (CS->caseStmtIsGNURange()) {
7188 LabelTy EndOfRangeCheck = this->getLabel();
7189 const Expr *Low = CS->getLHS();
7190 const Expr *High = CS->getRHS();
7194 if (!this->emitGetLocal(CondT, CondVar, CS))
7196 if (!this->
visit(Low))
7199 if (!this->emitGE(
LT, S))
7201 if (!this->jumpFalse(EndOfRangeCheck, S))
7204 if (!this->emitGetLocal(CondT, CondVar, CS))
7206 if (!this->
visit(High))
7209 if (!this->emitLE(HT, S))
7213 this->emitLabel(EndOfRangeCheck);
7218 if (
Value->isValueDependent())
7223 if (!this->emitGetLocal(CondT, CondVar, CS))
7229 if (!this->emitEQ(ValueT, S))
7234 assert(!DefaultLabel);
7235 DefaultLabel = this->getLabel();
7242 if (!this->jump(*DefaultLabel, S))
7245 if (!this->jump(EndLabel, S))
7253 this->fallthrough(EndLabel);
7254 this->emitLabel(EndLabel);
7259template <
class Emitter>
7267 return this->emitUnsupported(S);
7272template <
class Emitter>
7279 if (LI.DefaultLabel) {
7280 DefaultLabel = *LI.DefaultLabel;
7285 this->emitLabel(DefaultLabel);
7289template <
class Emitter>
7296 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7299 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7300 !this->Ctx.getLangOpts().MSVCCompat) {
7302 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7308 const Expr *Assumption = AA->getAssumption();
7319 if (!this->emitAssume(Assumption))
7328 if (IsMSVCConstexprAttr)
7329 return this->emitPopMSVCCE(S);
7333template <
class Emitter>
7346template <
class Emitter>
7356 LabelTy EndLabel = this->getLabel();
7358 LabelTy ContinueLabel = this->getLabel();
7363 this->emitLabel(ContinueLabel);
7366 this->emitLabel(EndLabel);
7371template <
class Emitter>
7372bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7379 assert(ClosureClass->
captures().empty());
7383 "A generic lambda's static-invoker function must be a "
7384 "template specialization");
7388 llvm::FoldingSetInsertToken InsertToken;
7389 const FunctionDecl *CorrespondingCallOpSpecialization =
7391 assert(CorrespondingCallOpSpecialization);
7392 LambdaCallOp = CorrespondingCallOpSpecialization;
7396 assert(ClosureClass->
captures().empty());
7397 const Function *
Func = this->getFunction(LambdaCallOp);
7400 assert(
Func->hasThisPointer());
7403 if (
Func->hasRVO()) {
7404 if (!this->emitRVOPtr(MD))
7412 if (!this->emitNullPtr(0,
nullptr, MD))
7417 auto It = this->Params.find(PVD);
7418 assert(It != this->Params.end());
7422 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7423 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7427 if (!this->emitCall(
Func, 0, LambdaCallOp))
7432 return this->emitRet(*ReturnType, MD);
7435 return this->emitRetVoid(MD);
7438template <
class Emitter>
7439bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7440 if (Ctx.getLangOpts().CPlusPlus23)
7450 const Expr *InitExpr =
Init->getInit();
7452 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7456 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7466template <
class Emitter>
7468 assert(!ReturnType);
7471 if (!this->emitStartThisLifetime1(Ctor))
7474 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7475 const Expr *InitExpr,
7478 if (InitExpr->getType().isNull())
7482 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7485 if (!this->visit(InitExpr))
7488 if (F->isBitField())
7489 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7491 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7496 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7499 if (
Activate && !this->emitActivate(InitExpr))
7502 return this->visitInitializerPop(InitExpr);
7506 const Record *
R = this->getRecord(RD);
7509 bool IsUnion =
R->isUnion();
7519 if (!this->emitThis(Ctor))
7522 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7525 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7526 this->emitRetVoid(Ctor);
7529 unsigned FieldInits = 0;
7532 if (
R->getNumVirtualBases() > 0) {
7533 if (!this->emitThis(Ctor))
7535 LabelTy AfterVirtBasesLabel = this->getLabel();
7538 if (!this->emitIsBaseClass({}))
7540 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7543 for (
const auto *
Init : Ctor->
inits()) {
7546 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7548 assert(
R->findVirtualBase(BaseDecl));
7549 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7551 if (!this->visitInitializerPop(
Init->getInit()))
7556 this->fallthrough(AfterVirtBasesLabel);
7557 this->emitLabel(AfterVirtBasesLabel);
7559 if (!this->emitPopPtr(Ctor))
7563 for (
const auto *
Init : Ctor->
inits()) {
7567 const Expr *InitExpr =
Init->getInit();
7569 const Record::Field *F =
R->getField(
Member);
7573 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7577 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7580 if (
Init->isBaseVirtual()) {
7586 const Record::Base *B =
R->getBase(BaseDecl);
7588 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7592 if (!this->visitInitializerPop(InitExpr))
7597 unsigned ChainSize = IFD->getChainingSize();
7598 assert(ChainSize >= 2);
7600 unsigned NestedFieldOffset = 0;
7601 const Record::Field *NestedField =
nullptr;
7602 for (
unsigned I = 0; I != ChainSize; ++I) {
7604 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7605 assert(FieldRecord);
7607 NestedField = FieldRecord->
getField(FD);
7608 assert(NestedField);
7609 IsUnion = IsUnion || FieldRecord->
isUnion();
7611 NestedFieldOffset += NestedField->Offset;
7614 if (I != ChainSize - 1)
7617 assert(NestedField);
7620 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7625 unsigned InitFieldOffset = 0;
7626 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7628 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7629 assert(FieldRecord);
7630 NestedField = FieldRecord->
getField(FD);
7631 InitFieldOffset += NestedField->Offset;
7632 assert(NestedField);
7633 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7635 if (!this->emitFinishInitPop(InitExpr))
7639 InitStack.pop_back_n(ChainSize - 1);
7642 assert(
Init->isDelegatingInitializer());
7643 if (!this->emitThis(InitExpr))
7645 if (!this->visitInitializerPop(
Init->getInit()))
7649 if (!
Scope.destroyLocals())
7653 if (FieldInits !=
R->getNumFields()) {
7654 assert(FieldInits < R->getNumFields());
7656 if (!this->emitStartThisLifetime(Ctor))
7663 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7664 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7671 if (!visitStmt(Body))
7678template <
class Emitter>
7681 const Record *
R = this->getRecord(RD);
7685 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7686 if (!this->visitStmt(
Dtor->getBody()))
7690 if (!this->emitThis(
Dtor))
7693 if (!this->emitCheckDestruction(
Dtor))
7697 if (!
R->isUnion()) {
7701 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7705 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7707 if (!this->emitDestructionPop(D,
SourceInfo{}))
7712 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7713 if (
Base.R->hasTrivialDtor())
7717 if (!this->emitRecordDestructionPop(
Base.R, {}))
7721 if (
R->getNumVirtualBases() > 0) {
7722 LabelTy EndLabel = this->getLabel();
7724 if (!this->emitIsBaseClass({}))
7726 if (!this->jumpTrue(EndLabel, {}))
7729 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7730 if (
Base.R->hasTrivialDtor())
7735 if (!this->emitRecordDestructionPop(
Base.R, {}))
7739 this->fallthrough(EndLabel);
7740 this->emitLabel(EndLabel);
7743 if (!this->emitMarkDestroyed(
Dtor))
7746 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7749template <
class Emitter>
7750bool Compiler<Emitter>::compileUnionAssignmentOperator(
7752 if (!this->emitThis(MD))
7755 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7758 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7761template <
class Emitter>
7771 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7772 return this->compileConstructor(Ctor);
7773 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7774 return this->compileDestructor(
Dtor);
7777 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7782 return this->compileUnionAssignmentOperator(MD);
7785 return this->emitLambdaStaticInvokerBody(MD);
7789 if (
const auto *Body = F->
getBody())
7803 return FD->getBitWidthValue();
7806template <
class Emitter>
7822 if (!
Ctx.getLangOpts().CPlusPlus14)
7823 return this->emitInvalid(E);
7825 return this->emitError(E);
7827 if (!this->
visit(SubExpr))
7831 if (!this->emitIncPtr(E))
7838 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7839 : this->emitIncf(getFPOptions(E), E);
7851 if (!
Ctx.getLangOpts().CPlusPlus14)
7852 return this->emitInvalid(E);
7854 return this->emitError(E);
7856 if (!this->
visit(SubExpr))
7860 if (!this->emitDecPtr(E))
7867 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7868 : this->emitDecf(getFPOptions(E), E);
7881 if (!
Ctx.getLangOpts().CPlusPlus14)
7882 return this->emitInvalid(E);
7884 return this->emitError(E);
7886 if (!this->
visit(SubExpr))
7890 if (!this->emitLoadPtr(E))
7892 if (!this->emitConstUint8(1, E))
7894 if (!this->emitAddOffsetUint8(E))
7896 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7902 return this->emitIncfPop(getFPOptions(E), E);
7912 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7913 if (!this->emitLoadFloat(E))
7915 APFloat F(TargetSemantics, 1);
7916 if (!this->emitFloat(F, E))
7919 if (!this->emitAddf(getFPOptions(E), E))
7921 if (!this->emitStoreFloat(E))
7933 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7936 if (!
Ctx.getLangOpts().CPlusPlus14)
7937 return this->emitInvalid(E);
7939 return this->emitError(E);
7941 if (!this->
visit(SubExpr))
7945 if (!this->emitLoadPtr(E))
7947 if (!this->emitConstUint8(1, E))
7949 if (!this->emitSubOffsetUint8(E))
7951 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7957 return this->emitDecfPop(getFPOptions(E), E);
7967 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7968 if (!this->emitLoadFloat(E))
7970 APFloat F(TargetSemantics, 1);
7971 if (!this->emitFloat(F, E))
7974 if (!this->emitSubf(getFPOptions(E), E))
7976 if (!this->emitStoreFloat(E))
7988 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7992 return this->emitError(E);
7995 return this->
discard(SubExpr);
8000 if (!this->emitInv(E))
8004 return this->emitCast(
PT_Bool, ET, E);
8008 return this->emitError(E);
8010 if (!this->
visit(SubExpr))
8015 return this->emitError(E);
8017 if (!this->
visit(SubExpr))
8033 if (!
Ctx.getLangOpts().CPlusPlus) {
8036 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
8037 Deref && Deref->getOpcode() == UO_Deref) {
8039 return this->
discard(Deref->getSubExpr());
8040 return this->
visit(Deref->getSubExpr()) && this->emitAddrOf(E);
8045 return this->
discard(SubExpr);
8046 return this->
delegate(SubExpr) && this->emitAddrOf(E);
8049 return this->
discard(SubExpr);
8051 if (!this->
visit(SubExpr))
8058 return this->emitNarrowPtr(E);
8063 return this->emitError(E);
8065 if (!this->
visit(SubExpr))
8079 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
8084 assert(
false &&
"Unhandled opcode");
8090template <
class Emitter>
8096 return this->
discard(SubExpr);
8099 auto prepareResult = [=]() ->
bool {
8104 return this->emitGetPtrLocal(*LocalIndex, E);
8111 unsigned SubExprOffset = ~0u;
8112 auto createTemp = [=, &SubExprOffset]() ->
bool {
8115 if (!this->
visit(SubExpr))
8117 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8121 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8122 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8124 return this->emitArrayElemPop(ElemT, Index, E);
8129 if (!prepareResult())
8133 for (
unsigned I = 0; I != 2; ++I) {
8134 if (!getElem(SubExprOffset, I))
8136 if (!this->emitNeg(ElemT, E))
8138 if (!this->emitInitElem(ElemT, I, E))
8149 if (!this->
visit(SubExpr))
8151 if (!this->emitComplexBoolCast(SubExpr))
8153 if (!this->emitInv(E))
8156 return this->emitCast(
PT_Bool, ET, E);
8160 return this->emitComplexReal(SubExpr);
8163 if (!this->
visit(SubExpr))
8167 if (!this->emitConstUint8(1, E))
8169 return this->emitArrayElemPtrPopUint8(E);
8180 if (!this->emitArrayElem(ElemT, 1, E))
8182 if (!this->emitNeg(ElemT, E))
8184 if (!this->emitInitElem(ElemT, 1, E))
8192 return this->emitInvalid(E);
8198template <
class Emitter>
8204 return this->
discard(SubExpr);
8207 if (UnaryOp == UO_Extension)
8210 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8211 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8212 return this->emitInvalid(E);
8215 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8222 if (!this->emitGetPtrLocal(*LocalIndex, E))
8227 unsigned SubExprOffset =
8229 if (!this->
visit(SubExpr))
8231 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8236 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8237 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8239 return this->emitArrayElemPop(ElemT, Index, E);
8244 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8245 if (!getElem(SubExprOffset, I))
8247 if (!this->emitNeg(ElemT, E))
8249 if (!this->emitInitElem(ElemT, I, E))
8264 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8265 if (!getElem(SubExprOffset, I))
8268 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8270 if (!this->emitInv(E))
8272 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8274 if (!this->emitNeg(ElemT, E))
8276 if (ElemT != ResultVecElemT &&
8277 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8279 if (!this->emitInitElem(ResultVecElemT, I, E))
8285 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8286 if (!getElem(SubExprOffset, I))
8289 if (!this->emitInv(E))
8292 if (!this->emitComp(ElemT, E))
8295 if (!this->emitInitElem(ElemT, I, E))
8300 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8305template <
class Emitter>
8307 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8310 return this->emitConst(ECD->getInitVal(), E);
8312 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8316 return F && this->emitGetFnPtr(F, E);
8318 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8319 TPOD = TPOD->getFirstDecl();
8323 return this->emitGetPtrGlobal(*GlobalIndex, E);
8329 return this->emitInitGlobal(*
T, *Index, E);
8332 if (!this->emitGetPtrGlobal(*Index, E))
8336 return this->emitFinishInit(E);
8348 auto maybePopPtr = [&]() ->
bool {
8350 return this->emitPopPtr(E);
8357 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8361 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8366 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8367 if (IsReference || !It->second.IsPtr)
8368 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8370 return this->emitGetPtrParam(It->second.Index, E);
8373 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8380 const unsigned Offset = It->second.Offset;
8383 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8385 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8388 if (
auto GlobalIndex =
P.getGlobal(D)) {
8390 if (!
Ctx.getLangOpts().CPlusPlus11)
8391 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8392 if (!
Ctx.getLangOpts().CPlusPlus23)
8393 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8395 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8398 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8402 auto revisit = [&](
const VarDecl *VD,
8403 bool IsConstexprUnknown =
true) ->
bool {
8405 IsConstexprUnknown);
8406 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8412 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8413 if (!this->emitPopCC(E))
8417 if (VarState.notCreated())
8425 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8427 if (
auto It = this->LambdaCaptures.find(D);
8428 It != this->LambdaCaptures.end()) {
8429 auto [Offset, IsPtr] = It->second;
8432 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8433 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8437 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8438 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8439 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8443 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8444 return this->
delegate(BD->getBinding());
8450 return this->emitDummyPtr(D, E);
8455 const auto *VD = dyn_cast<VarDecl>(D);
8457 return this->emitError(E);
8460 if (!
Ctx.getLangOpts().CPlusPlus) {
8464 return revisit(VD,
false);
8468 return this->emitDummyPtr(D, E);
8472 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8473 if (
T.isConstant(
Ctx.getASTContext()))
8475 return T->isReferenceType();
8479 typeShouldBeVisited(DeclType)) {
8481 Init && !
Init->isValueDependent()) {
8486 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8499 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8504 return revisit(VD, IsConstexprUnknown);
8505 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8506 return revisit(VD,
true);
8515 return this->emitDummyPtr(
8519template <
class Emitter>
8525template <
class Emitter>
8535 if (!
C->destroyLocals())
8541template <
class Emitter>
8542unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8545 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8547 return Ty->getAsCXXRecordDecl();
8549 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8550 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8552 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8556template <
class Emitter>
8563 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8568 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8569 getFPOptions(E), E);
8571 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8572 getFPOptions(E), E);
8576 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8581 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8583 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8587 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8591 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8592 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8599template <
class Emitter>
8602 assert(FromT != ToT);
8605 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8607 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8609 return this->emitCast(FromT, ToT, E);
8613template <
class Emitter>
8614bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8618 return this->
discard(SubExpr);
8620 if (!this->visit(SubExpr))
8623 if (!this->emitConstUint8(0, SubExpr))
8625 return this->emitArrayElemPtrPopUint8(SubExpr);
8629 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8633template <
class Emitter>
8634bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8635 assert(!DiscardResult);
8639 if (!this->emitArrayElem(ElemT, 0, E))
8642 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8645 if (!this->emitCast(ElemT,
PT_Bool, E))
8650 LabelTy LabelTrue = this->getLabel();
8651 if (!this->jumpTrue(LabelTrue, E))
8654 if (!this->emitArrayElemPop(ElemT, 1, E))
8657 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8660 if (!this->emitCast(ElemT,
PT_Bool, E))
8664 LabelTy EndLabel = this->getLabel();
8665 this->jump(EndLabel, E);
8667 this->emitLabel(LabelTrue);
8668 if (!this->emitPopPtr(E))
8670 if (!this->emitConstBool(
true, E))
8673 this->fallthrough(EndLabel);
8674 this->emitLabel(EndLabel);
8679template <
class Emitter>
8680bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8691 LHSIsComplex =
true;
8692 ElemT = classifyComplexElementType(LHS->
getType());
8693 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8694 if (!this->visit(LHS))
8696 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8699 LHSIsComplex =
false;
8701 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8702 if (!this->visit(LHS))
8704 if (!this->emitSetLocal(LHST, LHSOffset, E))
8711 RHSIsComplex =
true;
8712 ElemT = classifyComplexElementType(RHS->
getType());
8713 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8714 if (!this->visit(RHS))
8716 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8719 RHSIsComplex =
false;
8721 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8722 if (!this->visit(RHS))
8724 if (!this->emitSetLocal(RHST, RHSOffset, E))
8728 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8729 bool IsComplex) ->
bool {
8731 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8733 return this->emitArrayElemPop(ElemT, Index, E);
8735 return this->emitGetLocal(ElemT, LocalOffset, E);
8738 for (
unsigned I = 0; I != 2; ++I) {
8740 if (!getElem(LHSOffset, I, LHSIsComplex))
8742 if (!getElem(RHSOffset, I, RHSIsComplex))
8745 if (!this->emitEQ(ElemT, E))
8748 if (!this->emitCastBoolUint8(E))
8753 if (!this->emitAddUint8(E))
8755 if (!this->emitConstUint8(2, E))
8759 if (!this->emitEQUint8(E))
8762 if (!this->emitNEUint8(E))
8769 return this->emitCast(
PT_Bool, ResT, E);
8776template <
class Emitter>
8777bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8780 assert(!
R->hasTrivialDtor());
8783 const Function *DtorFunc = getFunction(
Dtor);
8786 assert(DtorFunc->hasThisPointer());
8787 assert(DtorFunc->getNumParams() == 1);
8788 return this->emitCall(DtorFunc, 0, Loc);
8793template <
class Emitter>
8794bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8806 return this->emitPopPtr(Loc);
8808 for (ssize_t I = N - 1; I >= 1; --I) {
8809 if (!this->emitConstUint64(I, Loc))
8811 if (!this->emitArrayElemPtrUint64(Loc))
8813 if (!this->emitDestructionPop(ElemDesc, Loc))
8817 if (!this->emitConstUint64(0, Loc))
8819 if (!this->emitArrayElemPtrPopUint64(Loc))
8821 return this->emitDestructionPop(ElemDesc, Loc);
8826 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8831template <
class Emitter>
8832bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
8833 assert(!DiscardResult &&
"Should've been checked before");
8834 return this->emitGetOpaquePtr(D, CU, E);
8837template <
class Emitter>
8840 return this->emitConstFloat(
Floating(F), Info);
8842 APInt I = F.bitcastToAPInt();
8843 return this->emitConstFloat(
8844 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8845 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8856template <
class Emitter>
8857bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8870 if (!this->emitGetPtrLocal(*LocalIndex, E))
8880 if (!this->visit(SubExpr))
8882 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8883 unsigned TempOffset =
8884 allocateLocalPrimitive(SubExpr, *FromT,
true);
8885 if (!this->visit(SubExpr))
8887 if (!this->emitSetLocal(*FromT, TempOffset, E))
8889 if (!this->emitGetPtrLocal(TempOffset, E))
8896 if (!this->emitBitCast(E))
8898 return DiscardResult ? this->emitPopPtr(E) :
true;
8902 const llvm::fltSemantics *TargetSemantics =
nullptr;
8904 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8910 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8912 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8913 ResultBitWidth, TargetSemantics,
8918 return this->emitPop(*ToT, E);
8927template <
class Emitter>
8928bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8933 unsigned NumElems = 0;
8936 NumElems = VT->getNumElements();
8937 ElemType = VT->getElementType();
8939 NumElems = MT->getNumElementsFlattened();
8940 ElemType = MT->getElementType();
8943 PrimType ElemT = classifyPrim(ElemType);
8944 for (
unsigned I = 0; I != NumElems; ++I) {
8945 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8947 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8949 if (!this->emitInitElem(ElemT, I, E))
8959 QualType ArrElemType = CAT->getElementType();
8960 unsigned ArrSize = CAT->getZExtSize();
8963 for (
unsigned I = 0; I != ArrSize; ++I) {
8964 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8966 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8968 if (!this->emitInitElem(*ElemT, I, E))
8972 for (
unsigned I = 0; I != ArrSize; ++I) {
8973 if (!this->emitConstUint32(I, E))
8975 if (!this->emitArrayElemPtrUint32(E))
8977 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8979 if (!this->emitFinishInitPop(E))
8989 const Record *
R = getRecord(DestType);
8993 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8995 const Record::Base *B =
R->getBase(BS.getType());
8997 if (!this->emitGetPtrBase(B->Offset, E))
8999 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
9001 if (!this->emitFinishInitPop(E))
9006 for (
const Record::Field &F :
R->fields()) {
9007 if (F.isUnnamedBitField())
9010 QualType FieldType = F.Decl->getType();
9012 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9014 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
9016 if (F.isBitField()) {
9017 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9020 if (!this->emitInitField(*FieldT, F.Offset, E))
9024 if (!this->emitGetPtrField(F.Offset, E))
9026 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
9028 if (!this->emitPopPtr(E))
9041template <
class Emitter>
9042unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
9045 return VT->getNumElements();
9047 return MT->getNumElementsFlattened();
9051 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
9055 const Record *
R = getRecord(Ty);
9059 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9061 Count += countHLSLFlatElements(BS.getType());
9063 for (
const Record::Field &F :
R->fields()) {
9064 if (F.isUnnamedBitField())
9066 Count += countHLSLFlatElements(F.Decl->getType());
9071 if (canClassify(Ty))
9080template <
class Emitter>
9081bool Compiler<Emitter>::emitHLSLFlattenAggregate(
9082 QualType SrcType,
unsigned SrcOffset,
9087 auto saveToLocal = [&](
PrimType T) ->
bool {
9088 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
9089 if (!this->emitSetLocal(
T, Offset, E))
9091 Elements.push_back({Offset,
T});
9097 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9098 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9099 return std::nullopt;
9104 unsigned NumElems = 0;
9107 NumElems = VT->getNumElements();
9108 ElemType = VT->getElementType();
9110 NumElems = MT->getNumElementsFlattened();
9111 ElemType = MT->getElementType();
9114 PrimType ElemT = classifyPrim(ElemType);
9115 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9116 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9118 if (!this->emitArrayElemPop(ElemT, I, E))
9120 if (!saveToLocal(ElemT))
9130 QualType ArrElemType = CAT->getElementType();
9131 unsigned ArrSize = CAT->getZExtSize();
9134 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9135 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9137 if (!this->emitArrayElemPop(*ElemT, I, E))
9139 if (!saveToLocal(*ElemT))
9143 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9144 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9146 if (!this->emitConstUint32(I, E))
9148 if (!this->emitArrayElemPtrPopUint32(E))
9153 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9164 const Record *
R = getRecord(SrcType);
9168 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9170 if (Elements.size() >= MaxElements)
9172 const Record::Base *B =
R->getBase(BS.getType());
9174 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9176 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9181 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9187 for (
const Record::Field &F :
R->fields()) {
9188 if (Elements.size() >= MaxElements)
9190 if (F.isUnnamedBitField())
9193 QualType FieldType = F.Decl->getType();
9194 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9196 if (!this->emitGetPtrFieldPop(F.Offset, E))
9200 if (!this->emitLoadPop(*FieldT, E))
9202 if (!saveToLocal(*FieldT))
9206 if (!FieldPtrOffset)
9208 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9224template <
class Emitter>
9225bool Compiler<Emitter>::emitHLSLConstructAggregate(
9231 const auto &Src = Elements[ElemIdx++];
9232 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9234 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9238 unsigned NumElems = 0;
9241 NumElems = VT->getNumElements();
9242 ElemType = VT->getElementType();
9244 NumElems = MT->getNumElementsFlattened();
9245 ElemType = MT->getElementType();
9248 PrimType DestElemT = classifyPrim(ElemType);
9249 for (
unsigned I = 0; I != NumElems; ++I) {
9250 if (!loadAndCast(DestElemT, ElemType))
9252 if (!this->emitInitElem(DestElemT, I, E))
9262 QualType ArrElemType = CAT->getElementType();
9263 unsigned ArrSize = CAT->getZExtSize();
9266 for (
unsigned I = 0; I != ArrSize; ++I) {
9267 if (!loadAndCast(*ElemT, ArrElemType))
9269 if (!this->emitInitElem(*ElemT, I, E))
9273 for (
unsigned I = 0; I != ArrSize; ++I) {
9274 if (!this->emitConstUint32(I, E))
9276 if (!this->emitArrayElemPtrUint32(E))
9278 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9280 if (!this->emitFinishInitPop(E))
9290 const Record *
R = getRecord(DestType);
9294 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9296 const Record::Base *B =
R->getBase(BS.getType());
9298 if (!this->emitGetPtrBase(B->Offset, E))
9300 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9302 if (!this->emitFinishInitPop(E))
9307 for (
const Record::Field &F :
R->fields()) {
9308 if (F.isUnnamedBitField())
9311 QualType FieldType = F.Decl->getType();
9313 if (!loadAndCast(*FieldT, FieldType))
9315 if (F.isBitField()) {
9316 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9319 if (!this->emitInitField(*FieldT, F.Offset, E))
9323 if (!this->emitGetPtrField(F.Offset, E))
9325 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9327 if (!this->emitPopPtr(E))
static void emit(Program &P, llvm::SmallVectorImpl< std::byte > &Code, const T &Val, bool &Success)
Helper to write bytecode and bail out if 32-bit offsets become invalid.
static void emitCleanup(CIRGenFunction &cgf, cir::CleanupScopeOp cleanupScope, EHScopeStack::Cleanup *cleanup, EHScopeStack::Cleanup::Flags flags, Address activeFlag)
static uint32_t getBitWidth(const Expr *E)
#define EMIT_ARITH_OP(OP)
static CharUnits AlignOfType(QualType T, const ASTContext &ASTCtx, UnaryExprOrTypeTrait Kind)
static const Expr * stripDerivedToBaseCasts(const Expr *E)
static bool isTrivialMemoryOperation(const CXXMethodDecl *MD)
static const Expr * stripCheckedDerivedToBaseCasts(const Expr *E)
static bool hasTrivialDefaultCtorParent(const FieldDecl *FD)
static bool initNeedsOverridenLoc(const CXXCtorInitializer *Init)
const Expr * ignorePointerCastsAndParens(const Expr *E)
A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize. This ignores some c...
bool isReadByLvalueToRvalueConversion(const CXXRecordDecl *RD)
Determine whether a type would actually be read by an lvalue-to-rvalue conversion.
Result
Implement __builtin_bit_cast and related operations.
llvm::SmallPtrSet< const ParmVarDecl *, 1 > FoundParams
bool VisitDeclRefExpr(const DeclRefExpr *E) override
a trap message and trap category.
llvm::APInt getValue() const
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const LValueBase getLValueBase() const
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
APValue & getStructField(unsigned i)
const FieldDecl * getUnionField() const
unsigned getStructNumFields() const
APValue & getStructVirtualBase(unsigned i)
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() const
unsigned getStructNumVirtualBases() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
APValue & getArrayFiller()
bool isIndeterminate() const
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
unsigned getArraySize() const
@ None
There is no such object (it's outside its lifetime).
bool isNullPointer() const
APValue & getStructBase(unsigned i)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
unsigned getPreferredTypeAlign(QualType T) const
Return the "preferred" alignment of the specified type T for the current target, in bits.
const LangOptions & getLangOpts() const
unsigned getOpenMPDefaultSimdAlign(QualType T) const
Get default simd alignment of the specified complete type in bits.
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
llvm::FixedPointSemantics getFixedPointSemantics(QualType Ty) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Expr * getCond() const
getCond - Return the expression representing the condition for the ?
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
llvm::APInt getArraySize() const
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
uint64_t getValue() const
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
Attr - This represents one attribute.
Represents an attribute applied to a statement.
ArrayRef< const Attr * > getAttrs() const
Represents a C++ declaration that introduces decls from somewhere else.
A builtin binary operation expression such as "x + y" or "x <= y".
static bool isLogicalOp(Opcode Opc)
static bool isComparisonOp(Opcode Opc)
static bool isShiftOp(Opcode Opc)
static bool isCommaOp(Opcode Opc)
static Opcode getOpForCompoundAssignment(Opcode Opc)
static bool isPtrMemOp(Opcode Opc)
predicates to categorize the respective opcodes.
static bool isAssignmentOp(Opcode Opc)
static bool isCompoundAssignmentOp(Opcode Opc)
static bool isBitwiseOp(Opcode Opc)
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
Represents a base class of a C++ class.
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
A boolean literal, per ([C++ lex.bool] Boolean literals).
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
bool isDefaultConstructor() const
Whether this constructor is a default constructor (C++ [class.ctor]p5), which can be used to default-...
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
Represents a C++ base or member initializer.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents the code generated for an expanded expansion statement.
ArrayRef< Stmt * > getInstantiations() const
ArrayRef< Stmt * > getPreambleStmts() const
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
DeclStmt * getBeginStmt()
DeclStmt * getLoopVarStmt()
DeclStmt * getRangeStmt()
Represents a call to an inherited base class constructor from an inheriting constructor.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will call.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
bool isLambdaStaticInvoker() const
Determine whether this is a lambda closure type's static member function that is used for the result ...
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
Expr * getPlacementArg(unsigned I)
unsigned getNumPlacementArgs() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ struct/union/class.
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
capture_const_range captures() const
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
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
CharUnits - This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
const ValueInfo * getValueInfo(ComparisonCategoryResult ValueKind) const
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
Expr * getResultExpr()
Return the result expression of this controlling expression.
IfStmt - This represents an if/then/else.
bool isNonNegatedConsteval() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
const Expr * getSubExpr() const
Represents an implicitly-generated value initialization of an object of a given type.
Represents a field injected from an anonymous union/struct into the parent scope.
Describes an C or C++ initializer list.
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument for this lambda expression (which initializes the first ca...
CXXRecordDecl * getLambdaClass() const
Retrieve the class that corresponds to the lambda.
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.
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.
const RecordType * getRecordTy(QualType Ty)
Returns a record type from a record or pointer type.
bool VisitCXXStdInitializerListExpr(const CXXStdInitializerListExpr *E)
bool visitInitList(ArrayRef< const Expr * > Inits, const Expr *ArrayFiller, const Expr *E)
bool VisitSizeOfPackExpr(const SizeOfPackExpr *E)
bool VisitPredefinedExpr(const PredefinedExpr *E)
bool VisitSourceLocExpr(const SourceLocExpr *E)
bool visitDeclStmt(const DeclStmt *DS, bool EvaluateConditionDecl=false)
bool registerRedecl(const VarDecl *VD, const APValue &V)
bool emitCleanup()
Emits scope cleanup instructions.
bool VisitExtVectorElementExpr(const ExtVectorElementExpr *E)
bool VisitObjCStringLiteral(const ObjCStringLiteral *E)
bool VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *E)
bool visitInitializer(const Expr *E)
Compiles an initializer.
bool visitDtorCall(const VarDecl *VD, const APValue &Value) override
const Expr * SourceLocDefaultExpr
DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.
bool VisitObjCArrayLiteral(const ObjCArrayLiteral *E)
UnsignedOrNone OptLabelTy
bool VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *E)
bool VisitPointerArithBinOp(const BinaryOperator *E)
Perform addition/subtraction of a pointer and an integer or subtraction of two pointers.
bool visitCallArgs(ArrayRef< const Expr * > Args, const FunctionDecl *FuncDecl, bool Activate, bool IsOperatorCall)
bool VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *E)
bool visitDefaultStmt(const DefaultStmt *S)
bool VisitObjCDictionaryLiteral(const ObjCDictionaryLiteral *E)
bool visitWithSubstitutions(const FunctionDecl *Callee, ArrayRef< const Expr * > Args, const Expr *This, const Expr *Condition) override
Evaluate the Condition as if it was in the body of Callee.
typename Emitter::LabelTy LabelTy
VarCreationState visitDecl(const VarDecl *VD)
bool VisitCXXDynamicCastExpr(const CXXDynamicCastExpr *E)
bool visitStmt(const Stmt *S)
bool VisitExpressionTraitExpr(const ExpressionTraitExpr *E)
bool VisitVectorUnaryOperator(const UnaryOperator *E)
bool VisitCXXConstructExpr(const CXXConstructExpr *E)
bool VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *E)
bool VisitObjCBoxedExpr(const ObjCBoxedExpr *E)
bool VisitDesignatedInitUpdateExpr(const DesignatedInitUpdateExpr *E)
bool VisitCXXInheritedCtorInitExpr(const CXXInheritedCtorInitExpr *E)
bool VisitRecoveryExpr(const RecoveryExpr *E)
bool VisitRequiresExpr(const RequiresExpr *E)
bool Initializing
Flag inidicating if we're initializing an already created variable.
bool visitReturnStmt(const ReturnStmt *RS)
bool VisitCXXThrowExpr(const CXXThrowExpr *E)
bool VisitSubstNonTypeTemplateParmExpr(const SubstNonTypeTemplateParmExpr *E)
bool VisitChooseExpr(const ChooseExpr *E)
bool visitFunc(const FunctionDecl *F) override
bool visitCXXForRangeStmt(const CXXForRangeStmt *S)
bool visitCaseStmt(const CaseStmt *S)
bool VisitComplexBinOp(const BinaryOperator *E)
llvm::DenseMap< const ValueDecl *, Scope::Local > Locals
Variable to storage mapping.
bool VisitAbstractConditionalOperator(const AbstractConditionalOperator *E)
bool VisitCXXTypeidExpr(const CXXTypeidExpr *E)
UnsignedOrNone allocateTemporary(const Expr *E)
bool VisitBuiltinCallExpr(const CallExpr *E, unsigned BuiltinID)
bool VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E)
bool VisitCXXRewrittenBinaryOperator(const CXXRewrittenBinaryOperator *E)
OptPrimType ReturnType
Type of the expression returned by the function.
bool VisitUnaryOperator(const UnaryOperator *E)
bool VisitFloatCompoundAssignOperator(const CompoundAssignOperator *E)
OptPrimType classify(const Expr *E) const
llvm::SmallVector< LabelInfo > LabelInfoStack
Stack of label information for loops and switch statements.
bool VisitGenericSelectionExpr(const GenericSelectionExpr *E)
bool visitDoStmt(const DoStmt *S)
bool VisitIntegerLiteral(const IntegerLiteral *E)
bool VisitInitListExpr(const InitListExpr *E)
bool VisitVectorBinOp(const BinaryOperator *E)
bool VisitStringLiteral(const StringLiteral *E)
bool VisitParenExpr(const ParenExpr *E)
bool VisitCXXNoexceptExpr(const CXXNoexceptExpr *E)
bool VisitShuffleVectorExpr(const ShuffleVectorExpr *E)
bool VisitPointerCompoundAssignOperator(const CompoundAssignOperator *E)
bool DiscardResult
Flag indicating if return value is to be discarded.
bool VisitEmbedExpr(const EmbedExpr *E)
UnsignedOrNone allocateLocal(DeclOrExpr Decl, QualType Ty=QualType(), ScopeKind=ScopeKind::Block)
Allocates a space storing a local given its type.
bool VisitConvertVectorExpr(const ConvertVectorExpr *E)
bool VisitCXXThisExpr(const CXXThisExpr *E)
bool VisitConstantExpr(const ConstantExpr *E)
bool VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *E)
bool visitSwitchStmt(const SwitchStmt *S)
bool VisitCXXUuidofExpr(const CXXUuidofExpr *E)
bool VisitExprWithCleanups(const ExprWithCleanups *E)
bool visitAsLValue(const Expr *E)
unsigned allocateLocalPrimitive(DeclOrExpr Decl, PrimType Ty, bool IsConst, bool IsVolatile=false, ScopeKind SC=ScopeKind::Block)
Creates a local primitive value.
bool visitWhileStmt(const WhileStmt *S)
bool visitIfStmt(const IfStmt *IS)
bool VisitAddrLabelExpr(const AddrLabelExpr *E)
bool canClassify(const Expr *E) const
bool VisitFloatingLiteral(const FloatingLiteral *E)
Program & P
Program to link to.
bool VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *E)
bool VariablesAreConstexprUnknown
bool VisitGNUNullExpr(const GNUNullExpr *E)
bool VisitImaginaryLiteral(const ImaginaryLiteral *E)
bool VisitSYCLUniqueStableNameExpr(const SYCLUniqueStableNameExpr *E)
bool visitCXXTryStmt(const CXXTryStmt *S)
static bool isUnevaluatedBuiltin(unsigned ID)
Unevaluated builtins don't get their arguments put on the stack automatically.
static bool shouldBeGloballyIndexed(const ValueDecl *VD)
Returns whether we should create a global variable for the given ValueDecl.
Scope used to handle temporaries in toplevel variable declarations.
DeclScope(Compiler< Emitter > *Ctx, const VarDecl *VD)
Wrapper around fixed point types.
static FixedPoint zero(llvm::FixedPointSemantics Sem)
If a Floating is constructed from Memory, it DOES NOT OWN THAT MEMORY.
bool hasThisPointer() const
bool hasRVO() const
Checks if the first argument is a RVO pointer.
InitLinkScope(Compiler< Emitter > *Ctx, InitLink &&Link)
Compiler< Emitter > * Ctx
InitStackScope(Compiler< Emitter > *Ctx, bool Active)
When generating code for e.g.
LocOverrideScope(Compiler< Emitter > *Ctx, SourceInfo NewValue, bool Enabled=true)
Generic scope for local variables.
UnsignedOrNone Idx
Index of the scope in the chain.
~LocalScope() override
Emit a Destroy op for this scope.
bool destroyLocals(const Expr *E=nullptr) override
Explicit destruction of local variables.
bool emitDestructors(const Expr *E=nullptr) override
void removeIfStoredOpaqueValue(const Scope::Local &Local)
void addLocal(Scope::Local Local) override
void removeStoredOpaqueValues()
void forceInit() override
Force-initialize this scope.
LocalScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
Sets the context for break/continue statements.
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
LoopScope(Compiler< Emitter > *Ctx, const Stmt *Name, LabelTy BreakLabel, LabelTy ContinueLabel)
PrimType value_or(PrimType PT) const
Scope used to handle initialization methods.
OptionScope(Compiler< Emitter > *Ctx, bool NewDiscardResult, bool NewInitializing, bool NewToLValue)
Root constructor, compiling or discarding primitives.
Context to manage declaration lifetimes.
Structure/Class descriptor.
bool isUnion() const
Checks if the record is a union.
const Field * getField(unsigned I) const
const Base * getBaseOrNull(const RecordDecl *RD) const
bool hasTrivialDtor() const
Returns true for anonymous unions and records with no destructor or for those with a trivial destruct...
const Base * findVirtualBase(const RecordDecl *RD) const
Returns a virtual base descriptor.
Describes the statement/declaration an opcode was generated from.
const Expr * asExpr() const
SourceLocScope(Compiler< Emitter > *Ctx, const Expr *DefaultExpr)
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
typename Compiler< Emitter >::CaseMap CaseMap
SwitchScope(Compiler< Emitter > *Ctx, const Stmt *Name, CaseMap &&CaseLabels, LabelTy BreakLabel, OptLabelTy DefaultLabel)
Scope chain managing the variable lifetimes.
void addForScopeKind(const Scope::Local &Local, ScopeKind Kind)
Like addExtended, but adds to the nearest scope of the given kind.
bool LocalsAlwaysEnabled
Whether locals added to this scope are enabled by default.
Compiler< Emitter > * Ctx
Compiler instance.
virtual bool emitDestructors(const Expr *E=nullptr)
VariableScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
virtual bool destroyLocals(const Expr *E=nullptr)
virtual void addLocal(Scope::Local Local)
VariableScope * Parent
Link to the parent scope.
ScopeKind getKind() const
VariableScope * getParent() const
bool Sub(InterpState &S, CodePtr OpPC)
bool LT(InterpState &S, CodePtr OpPC)
static llvm::RoundingMode getRoundingMode(FPOptions FPO)
constexpr bool isSignedType(PrimType T)
bool Div(InterpState &S, CodePtr OpPC)
1) Pops the RHS from the stack.
constexpr bool isPtrType(PrimType T)
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
bool This(InterpState &S, CodePtr OpPC)
constexpr bool isIntegerOrBoolType(PrimType T)
bool InitScope(InterpState &S, uint32_t I)
static void discard(InterpStack &Stk, PrimType T)
static bool isSideEffectFree(const Expr *E)
Check if E has side-effects.
bool LE(InterpState &S, CodePtr OpPC)
PrimType
Enumeration of the primitive types of the VM.
static std::optional< bool > getBoolValue(const Expr *E)
static bool Activate(InterpState &S)
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
__builtin_elementwise_add_sat __builtin_elementwise_sub_sat uint32_t __packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 __packed_splat2 __packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 uint32_t
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()