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_CPointerToObjCPointerCast:
740 case CK_AddressSpaceConversion: {
744 if (!this->
visit(SubExpr))
749 Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
756 return this->emitPopPtr(E);
774 return this->emitBuiltinBitCast(E);
789 if (!this->
visit(SubExpr))
797 return this->emitFnPtrCast(E);
805 if (!this->
visit(SubExpr))
807 return this->emitDecayPtr(*FromT, *ToT, E);
809 case CK_IntegralToBoolean:
810 case CK_FixedPointToBoolean: {
812 return this->emitVectorConversion(E->
getSubExpr(), E);
818 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
819 return this->emitConst(IL->getValue(), E);
820 if (!this->
visit(SubExpr))
825 case CK_IntegralCast:
827 return this->emitVectorConversion(E->
getSubExpr(), E);
829 case CK_BooleanToSignedIntegral: {
836 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
841 if (!this->emitConst(IL->getValue(), SubExpr))
844 if (!this->
visit(SubExpr))
852 if (!ED->isFixed()) {
853 if (!this->emitCheckEnumValue(*FromT, ED, E))
859 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
862 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
867 if (!this->emitCast(*FromT, *ToT, E))
870 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
871 return this->emitNeg(*ToT, E);
875 case CK_PointerToBoolean:
876 if (!this->
visit(SubExpr))
878 return this->emitIsNonNullPtr(E);
880 case CK_MemberPointerToBoolean:
881 if (!this->
visit(SubExpr))
883 return this->emitIsNonNullMemberPtr(E);
885 case CK_IntegralComplexToBoolean:
886 case CK_FloatingComplexToBoolean: {
887 if (!this->
visit(SubExpr))
889 return this->emitComplexBoolCast(SubExpr);
892 case CK_IntegralComplexToReal:
893 case CK_FloatingComplexToReal:
894 return this->emitComplexReal(SubExpr);
896 case CK_IntegralRealToComplex:
897 case CK_FloatingRealToComplex: {
904 if (!this->emitGetPtrLocal(*LocalIndex, E))
913 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
915 return this->emitInitElem(
T, 1, SubExpr);
918 case CK_IntegralComplexCast:
919 case CK_FloatingComplexCast:
920 case CK_IntegralComplexToFloatingComplex:
921 case CK_FloatingComplexToIntegralComplex: {
928 if (!this->emitGetPtrLocal(*LocalIndex, E))
935 unsigned SubExprOffset =
937 if (!this->
visit(SubExpr))
939 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
947 for (
unsigned I = 0; I != 2; ++I) {
948 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
950 if (!this->emitArrayElemPop(SourceElemT, I, E))
954 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
958 if (!this->emitInitElem(DestElemT, I, E))
964 case CK_VectorSplat: {
975 if (!this->emitGetPtrLocal(*LocalIndex, E))
981 unsigned ElemOffset =
985 if (!this->
visit(SubExpr))
990 if (!this->emitSetLocal(ElemT, ElemOffset, E))
993 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
994 if (!this->emitGetLocal(ElemT, ElemOffset, E))
996 if (!this->emitInitElem(ElemT, I, E))
1003 case CK_HLSLVectorTruncation: {
1008 if (!this->
visit(SubExpr))
1010 return this->emitArrayElemPop(*ResultT, 0, E);
1019 if (!this->emitGetPtrLocal(*LocalIndex, E))
1024 if (!this->
visit(SubExpr))
1026 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1030 case CK_IntegralToFixedPoint: {
1031 if (!this->
visit(SubExpr))
1035 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1040 return this->emitPopFixedPoint(E);
1043 case CK_FloatingToFixedPoint: {
1044 if (!this->
visit(SubExpr))
1048 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1049 if (!this->emitCastFloatingFixedPoint(Sem, E))
1052 return this->emitPopFixedPoint(E);
1055 case CK_FixedPointToFloating: {
1056 if (!this->
visit(SubExpr))
1058 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1059 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1062 return this->emitPopFloat(E);
1065 case CK_FixedPointToIntegral: {
1066 if (!this->
visit(SubExpr))
1069 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1072 return this->emitPop(IntegralT, E);
1075 case CK_FixedPointCast: {
1076 if (!this->
visit(SubExpr))
1079 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1080 if (!this->emitCastFixedPoint(Sem, E))
1083 return this->emitPopFixedPoint(E);
1091 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1093 case CK_LValueBitCast:
1098 case CK_HLSLArrayRValue: {
1105 if (!this->emitGetPtrLocal(*LocalIndex, E))
1108 if (!this->
visit(SubExpr))
1110 return this->emitMemcpy(E);
1113 case CK_HLSLMatrixTruncation: {
1118 if (!this->
visit(SubExpr))
1120 return this->emitArrayElemPop(*ResultT, 0, E);
1129 if (!this->emitGetPtrLocal(*LocalIndex, E))
1134 if (!this->
visit(SubExpr))
1136 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1140 case CK_HLSLAggregateSplatCast: {
1150 if (!this->emitGetPtrLocal(*LocalIndex, E))
1157 unsigned SrcOffset =
1160 if (!this->
visit(SubExpr))
1162 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1166 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1169 case CK_HLSLElementwiseCast: {
1180 unsigned SrcPtrOffset =
1182 if (!this->
visit(SubExpr))
1184 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1188 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1190 if (Elements.empty())
1193 const HLSLFlatElement &Src = Elements[0];
1194 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1196 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1203 if (!this->emitGetPtrLocal(*LocalIndex, E))
1207 unsigned SrcOffset =
1209 if (!this->
visit(SubExpr))
1211 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1215 unsigned ElemCount = countHLSLFlatElements(DestType);
1218 Elements.reserve(ElemCount);
1219 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1224 assert(Elements.size() == ElemCount &&
1225 "Source type has fewer scalar elements than the destination type");
1227 return emitHLSLConstructAggregate(DestType, Elements, E);
1234 const Record::Field *RF = R->getField(UnionField);
1237 if (!this->
visit(SubExpr))
1239 if (RF->isBitField())
1240 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1242 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1245 if (!this->emitGetPtrField(RF->Offset, E))
1247 if (!this->emitActivate(E))
1253 return this->emitInvalid(E);
1255 llvm_unreachable(
"Unhandled clang::CastKind enum");
1258template <
class Emitter>
1260 return this->emitBuiltinBitCast(E);
1263template <
class Emitter>
1268 return this->emitConst(
LE->getValue(),
LE);
1271template <
class Emitter>
1277 return this->emitFloat(F, E);
1280template <
class Emitter>
1290 if (!this->emitGetPtrLocal(*LocalIndex, E))
1297 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1299 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1304template <
class Emitter>
1312 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1317template <
class Emitter>
1322template <
class Emitter>
1349 return this->emitComplexComparison(LHS, RHS, E);
1357 if (!this->
visit(LHS))
1360 if (!this->
visit(RHS))
1363 if (!this->emitToMemberPtr(E))
1369 if (!this->emitCastMemberPtrPtr(E))
1386 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1392 if (!this->emitGetPtrLocal(*ResultIndex, E))
1399 return this->emitCMP3(*
LT, CmpInfo, E);
1402 if (!
LT || !RT || !
T)
1412 return this->visitAssignment(LHS, RHS, E);
1419 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1423 return this->emitPopBool(E);
1425 return this->emitCast(
PT_Bool, *
T, E);
1429 auto Discard = [
this,
T, E](
bool Result) {
1437 return MaybeCastToBool(this->emitEQ(*
LT, E));
1439 return MaybeCastToBool(this->emitNE(*
LT, E));
1441 return MaybeCastToBool(this->emitLT(*
LT, E));
1443 return MaybeCastToBool(this->emitLE(*
LT, E));
1445 return MaybeCastToBool(this->emitGT(*
LT, E));
1447 return MaybeCastToBool(this->emitGE(*
LT, E));
1450 return Discard(this->emitSubf(getFPOptions(E), E));
1451 return Discard(this->emitSub(*
T, E));
1454 return Discard(this->emitAddf(getFPOptions(E), E));
1455 return Discard(this->emitAdd(*
T, E));
1458 return Discard(this->emitMulf(getFPOptions(E), E));
1459 return Discard(this->emitMul(*
T, E));
1461 return Discard(this->emitRem(*
T, E));
1464 return Discard(this->emitDivf(getFPOptions(E), E));
1465 return Discard(this->emitDiv(*
T, E));
1467 return Discard(this->emitBitAnd(*
T, E));
1469 return Discard(this->emitBitOr(*
T, E));
1471 return Discard(this->emitShl(*
LT, *RT, E));
1473 return Discard(this->emitShr(*
LT, *RT, E));
1475 return Discard(this->emitBitXor(*
T, E));
1478 llvm_unreachable(
"Already handled earlier");
1483 llvm_unreachable(
"Unhandled binary op");
1488template <
class Emitter>
1494 if ((Op != BO_Add && Op != BO_Sub) ||
1505 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1506 if (!this->
visit(E))
1509 return this->emitDecayPtr(
T,
PT_Ptr, E);
1518 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1526 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1529 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1536 if (!visitAsPointer(RHS, *RT))
1538 if (!this->
visit(LHS))
1542 if (!visitAsPointer(LHS, *
LT))
1544 if (!this->
visit(RHS))
1555 if (!this->emitAddOffset(OffsetType, E))
1559 if (!this->emitSubOffset(OffsetType, E))
1568 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1573 return this->emitPop(ExprT, E);
1577template <
class Emitter>
1586 LabelTy LabelTrue = this->getLabel();
1587 LabelTy LabelEnd = this->getLabel();
1591 if (!this->jumpTrue(LabelTrue, E))
1596 if (!this->jump(LabelEnd, E))
1599 this->emitLabel(LabelTrue);
1600 this->emitConstBool(
true, E);
1601 this->fallthrough(LabelEnd);
1602 this->emitLabel(LabelEnd);
1605 assert(Op == BO_LAnd);
1608 LabelTy LabelFalse = this->getLabel();
1609 LabelTy LabelEnd = this->getLabel();
1613 if (!this->jumpFalse(LabelFalse, E))
1618 if (!this->jump(LabelEnd, E))
1621 this->emitLabel(LabelFalse);
1622 this->emitConstBool(
false, E);
1623 this->fallthrough(LabelEnd);
1624 this->emitLabel(LabelEnd);
1628 return this->emitPopBool(E);
1633 return this->emitCast(
PT_Bool,
T, E);
1638template <
class Emitter>
1645 if (!this->emitGetPtrLocal(*LocalIndex, E))
1654 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1655 unsigned ResultOffset = ~0u;
1661 if (!this->emitDupPtr(E))
1663 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1668 LHSType = AT->getValueType();
1671 RHSType = AT->getValueType();
1680 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1685 if (!this->
visit(LHS))
1687 if (!this->
visit(RHS))
1689 if (!this->emitMulc(ElemT, E))
1692 return this->emitPopPtr(E);
1696 if (Op == BO_Div && RHSIsComplex) {
1703 if (!LHSIsComplex) {
1708 LHSOffset = *LocalIndex;
1710 if (!this->emitGetPtrLocal(LHSOffset, E))
1713 if (!this->
visit(LHS))
1716 if (!this->emitInitElem(ElemT, 0, E))
1719 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1721 if (!this->emitInitElem(ElemT, 1, E))
1724 if (!this->
visit(LHS))
1728 if (!this->
visit(RHS))
1730 if (!this->emitDivc(ElemT, E))
1733 return this->emitPopPtr(E);
1740 if (!this->
visit(LHS))
1742 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1747 if (!this->
visit(LHS))
1749 if (!this->emitSetLocal(LHST, LHSOffset, E))
1757 if (!this->
visit(RHS))
1759 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1764 if (!this->
visit(RHS))
1766 if (!this->emitSetLocal(RHST, RHSOffset, E))
1773 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1774 unsigned ElemIndex,
unsigned Offset,
1775 const Expr *E) ->
bool {
1777 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1779 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1782 if (ElemIndex == 0 || !LoadZero)
1789 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1792 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1799 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1802 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1805 if (!this->emitAddf(getFPOptions(E), E))
1808 if (!this->emitAdd(ResultElemT, E))
1813 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1816 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1819 if (!this->emitSubf(getFPOptions(E), E))
1822 if (!this->emitSub(ResultElemT, E))
1827 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1830 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1834 if (!this->emitMulf(getFPOptions(E), E))
1837 if (!this->emitMul(ResultElemT, E))
1842 assert(!RHSIsComplex);
1843 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1846 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1850 if (!this->emitDivf(getFPOptions(E), E))
1853 if (!this->emitDiv(ResultElemT, E))
1864 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1867 if (!this->emitPop(ResultElemT, E))
1872 return this->emitPopPtr(E);
1878template <
class Emitter>
1883 "Comma op should be handled in VisitBinaryOperator");
1887 LHSType = AT->getValueType();
1890 RHSType = AT->getValueType();
1904 if (!this->emitGetPtrLocal(*LocalIndex, E))
1913 PrimType ElemT = this->classifyVectorElementType(LHSType);
1914 PrimType RHSElemT = this->classifyVectorElementType(RHSType);
1918 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1921 if (!this->
visit(LHS))
1923 if (!this->
visit(RHS))
1925 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1928 return this->emitPopPtr(E);
1933 unsigned LHSOffset =
1935 if (!this->
visit(LHS))
1937 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1941 unsigned RHSOffset =
1943 if (!this->
visit(RHS))
1945 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1957 if (NeedIntPromot) {
1959 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1964 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1965 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1967 if (!this->emitArrayElemPop(ElemT, Index, E))
1970 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1972 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1974 }
else if (NeedIntPromot) {
1975 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1981#define EMIT_ARITH_OP(OP) \
1983 if (ElemT == PT_Float) { \
1984 if (!this->emit##OP##f(getFPOptions(E), E)) \
1987 if (!this->emit##OP(ElemT, E)) \
1993 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1994 if (!getElem(LHSOffset, ElemT, I))
1996 if (!getElem(RHSOffset, RHSElemT, I))
2008 if (!this->emitRem(ElemT, E))
2012 if (!this->emitBitAnd(OpT, E))
2016 if (!this->emitBitOr(OpT, E))
2020 if (!this->emitBitXor(OpT, E))
2024 if (!this->emitShl(OpT, RHSElemT, E))
2028 if (!this->emitShr(OpT, RHSElemT, E))
2032 if (!this->emitEQ(ElemT, E))
2036 if (!this->emitNE(ElemT, E))
2040 if (!this->emitLE(ElemT, E))
2044 if (!this->emitLT(ElemT, E))
2048 if (!this->emitGE(ElemT, E))
2052 if (!this->emitGT(ElemT, E))
2057 if (!this->emitBitAnd(ResultElemT, E))
2062 if (!this->emitBitOr(ResultElemT, E))
2066 return this->emitInvalid(E);
2075 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2077 if (!this->emitNeg(ResultElemT, E))
2083 if (NeedIntPromot &&
2084 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2088 if (!this->emitInitElem(ResultElemT, I, E))
2097template <
class Emitter>
2107 auto LHSSemaInt = LHSSema.toOpaqueInt();
2109 auto RHSSemaInt = RHSSema.toOpaqueInt();
2111 if (!this->
visit(LHS))
2119 if (!this->
visit(RHS))
2128 auto ConvertResult = [&](
bool R) ->
bool {
2132 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2133 if (ResultSema != CommonSema)
2134 return this->emitCastFixedPoint(ResultSema, E);
2138 auto MaybeCastToBool = [&](
bool Result) {
2143 return this->emitPop(
T, E);
2145 return this->emitCast(
PT_Bool,
T, E);
2151 return MaybeCastToBool(this->emitEQFixedPoint(E));
2153 return MaybeCastToBool(this->emitNEFixedPoint(E));
2155 return MaybeCastToBool(this->emitLTFixedPoint(E));
2157 return MaybeCastToBool(this->emitLEFixedPoint(E));
2159 return MaybeCastToBool(this->emitGTFixedPoint(E));
2161 return MaybeCastToBool(this->emitGEFixedPoint(E));
2163 return ConvertResult(this->emitAddFixedPoint(E));
2165 return ConvertResult(this->emitSubFixedPoint(E));
2167 return ConvertResult(this->emitMulFixedPoint(E));
2169 return ConvertResult(this->emitDivFixedPoint(E));
2171 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2173 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2176 return this->emitInvalid(E);
2179 llvm_unreachable(
"unhandled binop opcode");
2182template <
class Emitter>
2191 if (!this->
visit(SubExpr))
2193 if (!this->emitNegFixedPoint(E))
2196 return this->emitPopFixedPoint(E);
2202 llvm_unreachable(
"Unhandled unary opcode");
2205template <
class Emitter>
2214 return this->visitZeroInitializer(*
T, QT, E);
2227 return this->visitZeroRecordInitializer(R, E);
2234 return this->visitZeroArrayInitializer(QT, E);
2238 QualType ElemQT = ComplexTy->getElementType();
2240 for (
unsigned I = 0; I < 2; ++I) {
2241 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2243 if (!this->emitInitElem(ElemT, I, E))
2250 unsigned NumVecElements = VecT->getNumElements();
2251 QualType ElemQT = VecT->getElementType();
2254 for (
unsigned I = 0; I < NumVecElements; ++I) {
2255 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2257 if (!this->emitInitElem(ElemT, I, E))
2264 unsigned NumElems = MT->getNumElementsFlattened();
2265 QualType ElemQT = MT->getElementType();
2268 for (
unsigned I = 0; I != NumElems; ++I) {
2269 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2271 if (!this->emitInitElem(ElemT, I, E))
2280template <
class Emitter>
2293 for (
const Expr *SubExpr : {LHS, RHS}) {
2294 if (!this->
visit(SubExpr)) {
2301 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2302 if (!this->emitExpandPtr(E))
2313 return this->emitError(E);
2316 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2320 if (!this->emitArrayElemPtrPop(*IndexT, E))
2323 return this->emitPopPtr(E);
2329 return this->emitLoadPop(*
T, E);
2332template <
class Emitter>
2334 const Expr *ArrayFiller,
const Expr *E) {
2339 QT = AT->getValueType();
2342 if (
Inits.size() == 0)
2344 return this->emitInvalid(E);
2357 if (
Inits.size() == 0)
2358 return this->visitZeroInitializer(*
T, QT, E);
2359 assert(
Inits.size() == 1);
2373 if (!this->emitGetPtrLocal(*LocalIndex, E))
2388 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2394 if (
DefaultInit && !this->emitStartFieldInit(FieldToInit->Offset,
Init))
2403 bool BitField = FieldToInit->isBitField();
2405 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2406 FieldToInit->bitWidth(), E);
2408 return this->emitInitBitField(
T, FieldToInit->Offset,
2409 FieldToInit->bitWidth(), E);
2411 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2412 return this->emitInitField(
T, FieldToInit->Offset, E);
2415 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2423 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2426 if (
Activate && !this->emitActivate(E))
2429 if (!this->emitStartInit(
Init))
2436 if (
Inits.size() == 0) {
2437 if (!this->visitZeroRecordInitializer(R, E))
2442 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2443 FToInit = ILE->getInitializedFieldInUnion();
2447 const Record::Field *FieldToInit = R->getField(FToInit);
2449 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2452 if (!initCompositeField(FieldToInit,
Init,
true))
2456 return this->emitFinishInit(E);
2459 assert(!R->isUnion());
2460 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2462 const Record::Base *B = R->getBase(BI);
2465 if (!this->emitGetPtrBase(B->Offset,
Init))
2471 unsigned FieldIndex = 0;
2472 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2473 const Record::Field *FieldToInit = R->getField(FieldIndex);
2474 if (FieldToInit->isUnnamedBitField()) {
2489 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2491 }
else if (!initCompositeField(FieldToInit,
Init)) {
2499 assert(R->getNumVirtualBases() == 0);
2501 return this->emitFinishInit(E);
2506 Ctx.getASTContext().getAsConstantArrayType(QT);
2511 !this->emitCheckArrayDestSize(NumElems, E))
2514 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2518 unsigned ElementIndex = 0;
2520 if (
const auto *EmbedS =
2521 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2529 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2530 getFPOptions(E), E))
2536 return this->emitInitElem(TargetT, ElemIndex, IL);
2538 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2554 for (; ElementIndex != NumElems; ++ElementIndex) {
2560 return this->emitFinishInit(E);
2564 unsigned NumInits =
Inits.size();
2569 QualType ElemQT = ComplexTy->getElementType();
2571 if (NumInits == 0) {
2573 for (
unsigned I = 0; I < 2; ++I) {
2574 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2576 if (!this->emitInitElem(ElemT, I, E))
2579 }
else if (NumInits == 2) {
2580 unsigned InitIndex = 0;
2585 if (!this->emitInitElem(ElemT, InitIndex, E))
2594 unsigned NumVecElements = VecT->getNumElements();
2595 assert(NumVecElements >=
Inits.size());
2597 QualType ElemQT = VecT->getElementType();
2601 unsigned InitIndex = 0;
2608 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2609 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2610 InitVecT->getNumElements(), E))
2612 InitIndex += InitVecT->getNumElements();
2614 if (!this->emitInitElem(ElemT, InitIndex, E))
2620 assert(InitIndex <= NumVecElements);
2623 for (; InitIndex != NumVecElements; ++InitIndex) {
2624 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2626 if (!this->emitInitElem(ElemT, InitIndex, E))
2633 unsigned NumElems = MT->getNumElementsFlattened();
2634 assert(
Inits.size() == NumElems);
2636 QualType ElemQT = MT->getElementType();
2642 for (
unsigned I = 0; I != NumElems; ++I) {
2645 if (!this->emitInitElem(ElemT, I, E))
2656template <
class Emitter>
2663 return this->emitInitElem(*InitT, ElemIndex,
Init);
2669 if (!this->emitConstUint32(ElemIndex,
Init))
2671 if (!this->emitArrayElemPtrUint32(
Init))
2676template <
class Emitter>
2679 bool Activate,
bool IsOperatorCall) {
2681 llvm::BitVector NonNullArgs;
2682 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2685 bool ExplicitMemberFn =
false;
2686 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2687 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2689 unsigned ArgIndex = 0;
2690 for (
const Expr *Arg : Args) {
2692 if (!this->
visit(Arg))
2700 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2701 if (DeclIndex < FuncDecl->getNumParams())
2702 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2711 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2719 if (!this->emitActivate(Arg))
2723 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2726 if (!this->emitCheckNonNullArg(ArgT, Arg))
2737template <
class Emitter>
2742template <
class Emitter>
2748template <
class Emitter>
2754template <
class Emitter>
2772template <
class Emitter>
2774 auto It = E->
begin();
2775 return this->
visit(*It);
2779 UnaryExprOrTypeTrait Kind) {
2780 bool AlignOfReturnsPreferred =
2787 T = Ref->getPointeeType();
2789 if (
T.getQualifiers().hasUnaligned())
2795 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2801template <
class Emitter>
2805 UnaryExprOrTypeTrait Kind = E->
getKind();
2808 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2814 ArgType = Ref->getPointeeType();
2820 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2821 return this->emitInvalid(E);
2823 if (Kind == UETT_SizeOf)
2832 return this->emitConst(Size.getQuantity(), E);
2835 if (Kind == UETT_CountOf) {
2841 if (
const auto *CAT =
2845 return this->emitConst(CAT->getSize(), E);
2855 if (VAT->getElementType()->isArrayType()) {
2856 std::optional<APSInt> Res =
2858 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2863 return this->emitConst(*Res, E);
2868 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2888 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2891 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2901 return this->emitConst(Size.getQuantity(), E);
2904 if (Kind == UETT_VectorElements) {
2909 return this->emitConst(VT->getNumElements(), E);
2911 return this->emitSizelessVectorElementSize(E);
2914 if (Kind == UETT_VecStep) {
2916 unsigned N = VT->getNumElements();
2923 return this->emitConst(N, E);
2925 return this->emitConst(1, E);
2928 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2937 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2939 return this->emitInvalid(E);
2941 return this->emitConst(
2942 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2950template <
class Emitter>
2959 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2964 if (VD->getInit() && !VD->getInit()->isValueDependent())
2965 VD->evaluateValue();
2966 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2967 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2969 if (
Member->getType()->isReferenceType())
2970 return this->emitLoadPopPtr(E);
2979 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2980 MD && !MD->isStatic()) {
2984 if (!this->
discard(Base) && !this->emitSideEffect(E))
2999 const Record::Field *F = R->getField(FD);
3003 const auto maybeLoadValue = [&]() ->
bool {
3007 return this->emitLoadPop(*
T, E);
3012 if (F->Decl->getType()->isReferenceType())
3013 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
3014 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
3017template <
class Emitter>
3027template <
class Emitter>
3041 if (!this->
visit(Common))
3043 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
3057 for (
size_t I = 0; I != Size; ++I) {
3069template <
class Emitter>
3084 return this->emitGetLocal(SubExprT, It->second, E);
3087 if (!this->
visit(SourceExpr))
3094 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3103 return this->emitGetLocal(SubExprT, LocalIndex, E);
3107template <
class Emitter>
3120 bool IsBcpCall =
false;
3121 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3122 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3126 LabelTy LabelEnd = this->getLabel();
3127 LabelTy LabelFalse = this->getLabel();
3130 if (!this->emitPushIgnoreDiags(E))
3138 if (this->checkingForUndefinedBehavior()) {
3141 if (!this->
discard(FalseExpr))
3158 if (!this->jumpFalse(LabelFalse, E))
3163 if (!this->jump(LabelEnd, E))
3165 this->emitLabel(LabelFalse);
3169 this->fallthrough(LabelEnd);
3170 this->emitLabel(LabelEnd);
3173 return this->emitPopIgnoreDiags(E);
3177template <
class Emitter>
3183 return this->emitGetStringPtr(E, E);
3187 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3188 assert(CAT &&
"a string literal that's not a constant array?");
3193 unsigned N = std::min(ArraySize, E->
getLength());
3196 for (
unsigned I = 0; I != N; ++I) {
3199 if (CharWidth == 1) {
3200 this->emitConstSint8(CodeUnit, E);
3201 this->emitInitElemSint8(I, E);
3202 }
else if (CharWidth == 2) {
3203 this->emitConstUint16(CodeUnit, E);
3204 this->emitInitElemUint16(I, E);
3205 }
else if (CharWidth == 4) {
3206 this->emitConstUint32(CodeUnit, E);
3207 this->emitInitElemUint32(I, E);
3209 llvm_unreachable(
"unsupported character width");
3214 for (
unsigned I = N; I != ArraySize; ++I) {
3215 if (CharWidth == 1) {
3216 this->emitConstSint8(0, E);
3217 this->emitInitElemSint8(I, E);
3218 }
else if (CharWidth == 2) {
3219 this->emitConstUint16(0, E);
3220 this->emitInitElemUint16(I, E);
3221 }
else if (CharWidth == 4) {
3222 this->emitConstUint32(0, E);
3223 this->emitInitElemUint32(I, E);
3225 llvm_unreachable(
"unsupported character width");
3232template <
class Emitter>
3236 return this->emitDummyPtr(E, E);
3239template <
class Emitter>
3241 auto &A =
Ctx.getASTContext();
3250template <
class Emitter>
3258 auto &A =
Ctx.getASTContext();
3262 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3263 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3269 return this->emitGetStringPtr(SL, E);
3272template <
class Emitter>
3276 return this->emitConst(E->
getValue(), E);
3279template <
class Emitter>
3301 if (!this->emitLoad(LHST, E))
3304 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3305 LHSComputationType, E))
3317 unsigned TempOffset =
3319 if (!this->emitSetLocal(*RT, TempOffset, E))
3325 if (!this->emitLoad(LHST, E))
3329 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3330 LHSComputationType, E))
3334 if (!this->emitGetLocal(*RT, TempOffset, E))
3340 if (!this->emitAddf(getFPOptions(E), E))
3344 if (!this->emitSubf(getFPOptions(E), E))
3348 if (!this->emitMulf(getFPOptions(E), E))
3352 if (!this->emitDivf(getFPOptions(E), E))
3363 return this->emitStorePop(LHST, E);
3364 return this->emitStore(LHST, E);
3367template <
class Emitter>
3376 if (Op != BO_AddAssign && Op != BO_SubAssign)
3385 if (!this->emitLoad(*
LT, LHS))
3391 if (Op == BO_AddAssign) {
3392 if (!this->emitAddOffset(*RT, E))
3395 if (!this->emitSubOffset(*RT, E))
3400 return this->emitStorePopPtr(E);
3401 return this->emitStorePtr(E);
3404template <
class Emitter>
3417 if (!
Ctx.getLangOpts().CPlusPlus14)
3418 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3420 if (!
LT || !RT || !ResultT || !LHSComputationT)
3437 if (!this->emitLoad(*
LT, E))
3439 if (
LT != LHSComputationT &&
3440 !this->emitIntegralCast(*
LT, *LHSComputationT,
3454 unsigned TempOffset =
3457 if (!this->emitSetLocal(*RT, TempOffset, E))
3464 if (!this->emitLoad(*
LT, E))
3466 if (
LT != LHSComputationT &&
3467 !this->emitIntegralCast(*
LT, *LHSComputationT,
3472 if (!this->emitGetLocal(*RT, TempOffset, E))
3479 if (!this->emitAdd(*LHSComputationT, E))
3483 if (!this->emitSub(*LHSComputationT, E))
3487 if (!this->emitMul(*LHSComputationT, E))
3491 if (!this->emitDiv(*LHSComputationT, E))
3495 if (!this->emitRem(*LHSComputationT, E))
3499 if (!this->emitShl(*LHSComputationT, *RT, E))
3503 if (!this->emitShr(*LHSComputationT, *RT, E))
3507 if (!this->emitBitAnd(*LHSComputationT, E))
3511 if (!this->emitBitXor(*LHSComputationT, E))
3515 if (!this->emitBitOr(*LHSComputationT, E))
3519 llvm_unreachable(
"Unimplemented compound assign operator");
3523 if (ResultT != LHSComputationT &&
3524 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3530 return this->emitStoreBitFieldPop(*ResultT, E);
3531 return this->emitStorePop(*ResultT, E);
3534 return this->emitStoreBitField(*ResultT, E);
3535 return this->emitStore(*ResultT, E);
3538template <
class Emitter>
3546template <
class Emitter>
3561 if (!
Ctx.getLangOpts().CPlusPlus11)
3568 for (
const Expr *LHS : CommaLHSs) {
3583 if (this->constantFolding())
3594 if (!this->
visit(Inner))
3599 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3602 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3605 return this->emitGetPtrGlobal(*GlobalIndex, E);
3608 if (!this->checkLiteralType(Inner))
3611 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3617 return this->emitInitGlobalTempComp(TempDecl, E);
3630 unsigned LocalIndex =
3632 if (!this->VarScope->LocalsAlwaysEnabled &&
3633 !this->emitEnableLocal(LocalIndex, E))
3636 if (!this->
visit(Inner))
3638 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3641 return this->emitGetPtrLocal(LocalIndex, E);
3644 if (!this->checkLiteralType(Inner))
3651 if (!this->VarScope->LocalsAlwaysEnabled &&
3652 !this->emitEnableLocal(*LocalIndex, E))
3655 if (!this->emitGetPtrLocal(*LocalIndex, E))
3662template <
class Emitter>
3673 if (!this->
visit(SubExpr))
3677 return this->emitPopPtr(E);
3681template <
class Emitter>
3702 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3707 if (
P.isGlobalInitialized(*GlobalIndex))
3713 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3725 unsigned LocalIndex;
3729 LocalIndex = *MaybeIndex;
3733 if (!this->emitGetPtrLocal(LocalIndex, E))
3737 return this->
visit(
Init) && this->emitInit(*
T, E);
3741template <
class Emitter>
3752 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3756 if (!R || R->getNumFields() == 0)
3758 const Record::Field *Field = R->getField(0
U);
3763 return this->emitInitField(*Field->T, Field->Offset, E);
3770template <
class Emitter>
3774 return this->emitConst(E->
getValue(), E);
3777template <
class Emitter>
3790 for (
const Record::Field &F : R->fields()) {
3792 if (!
Init ||
Init->containsErrors())
3800 if (!this->emitInitField(*
T, F.Offset, E))
3803 if (!this->emitGetPtrField(F.Offset, E))
3814template <
class Emitter>
3820 return this->emitGetStringPtr(E, E);
3824template <
class Emitter>
3829 return this->emitInvalid(E);
3832template <
class Emitter>
3846 if (!this->emitInvalidCast(
CastKind,
false, E))
3854 bool Fatal = (ToT != FromT);
3861template <
class Emitter>
3863 if (!
Ctx.getLangOpts().CPlusPlus20) {
3884 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3889 return this->emitPopPtr(E);
3893template <
class Emitter>
3899 return this->emitConstBool(E->
getValue(), E);
3902template <
class Emitter>
3907 if (
T->isRecordType()) {
3921 if (!this->emitGetPtrLocal(*LocalIndex, E))
3929 T->getAsCXXRecordDecl()))
3939 if (!this->visitZeroRecordInitializer(R, E))
3950 if (!this->emitDefaultInit(Ctor, E))
3953 return this->emitPopPtr(E);
3961 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3963 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3964 if (!this->emitCheckFunctionDecl(Ctor, E))
3975 assert(
Func->hasThisPointer());
3976 assert(!
Func->hasRVO());
3980 if (!this->emitDupPtr(E))
3984 for (
const auto *Arg : E->
arguments()) {
3985 if (!this->
visit(Arg))
3989 if (
Func->isVariadic()) {
3990 uint32_t VarArgSize = 0;
3991 unsigned NumParams =
Func->getNumWrittenParams();
3992 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3996 if (!this->emitCallVar(
Func, VarArgSize, E))
3999 if (!this->emitCall(
Func, 0, E)) {
4004 (void)this->emitPopPtr(E);
4010 return this->emitPopPtr(E);
4014 if (
T->isArrayType()) {
4019 if (!this->emitDupPtr(E))
4023 initArrayDimension = [&](
QualType T) ->
bool {
4024 if (!
T->isArrayType()) {
4026 for (
const auto *Arg : E->
arguments()) {
4027 if (!this->
visit(Arg))
4031 return this->emitCall(
Func, 0, E);
4035 Ctx.getASTContext().getAsConstantArrayType(
T);
4040 for (
size_t I = 0; I != NumElems; ++I) {
4041 if (!this->emitConstUint64(I, E))
4043 if (!this->emitArrayElemPtrUint64(E))
4045 if (!initArrayDimension(ElemTy))
4048 return this->emitPopPtr(E);
4051 return initArrayDimension(E->
getType());
4057template <
class Emitter>
4067 assert(Val.
isInt());
4069 return this->emitConst(I, E);
4076 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4077 return this->
visit(LValueExpr);
4092 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4096 const APValue &
V = UGCD->getValue();
4097 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4098 const Record::Field *F = R->getField(I);
4099 const APValue &FieldValue =
V.getStructField(I);
4103 if (!this->emitInitField(*F->T, F->Offset, E))
4111template <
class Emitter>
4117 for (
unsigned I = 0; I != N; ++I) {
4124 if (!this->
discard(ArrayIndexExpr))
4130 if (!this->
visit(ArrayIndexExpr))
4132 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4136 if (!this->
visit(ArrayIndexExpr))
4140 if (!this->emitCast(IndexT,
PT_Sint64, E))
4150 return this->emitOffsetOf(
T, E, E);
4153template <
class Emitter>
4162 return this->visitZeroInitializer(*
T, Ty, E);
4169 if (!this->emitGetPtrLocal(*LocalIndex, E))
4177 ElemQT = CT->getElementType();
4180 NumElems = VT->getNumElements();
4181 ElemQT = VT->getElementType();
4187 for (
unsigned I = 0; I != NumElems; ++I) {
4188 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4190 if (!this->emitInitElem(ElemT, I, E))
4199template <
class Emitter>
4204template <
class Emitter>
4210template <
class Emitter>
4215template <
class Emitter>
4220 return this->emitConst(E->
getValue(), E);
4223template <
class Emitter>
4228 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4243 unsigned ParamIndex = 0;
4247 if (!this->emitGetParam(PT, ParamIndex, E))
4252 return this->emitCall(F, 0, E);
4257template <
class Emitter>
4265 const Expr *PlacementDest =
nullptr;
4266 bool IsNoThrow =
false;
4271 if (PlacementArgs != 0) {
4280 if (PlacementArgs == 1) {
4282 if (OperatorNew->isReservedGlobalPlacementOperator()) {
4283 if (!this->emitCheckPlacementNew(E, E))
4285 PlacementDest = Arg1;
4289 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation()) {
4296 return this->emitInvalidNewDeleteExpr(E, E);
4300 return this->emitInvalid(E);
4302 }
else if (!OperatorNew
4303 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4304 return this->emitInvalidNewDeleteExpr(E, E);
4307 if (!PlacementDest) {
4312 Desc =
P.createDescriptor(E, *ElemT);
4314 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4321 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4325 const Expr *Stripped = *ArraySizeExpr;
4326 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4327 Stripped = ICE->getSubExpr())
4328 if (ICE->getCastKind() != CK_NoOp &&
4329 ICE->getCastKind() != CK_IntegralCast)
4337 if (!this->
visit(Stripped))
4339 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4342 if (PlacementDest) {
4343 if (!this->
visit(PlacementDest))
4345 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4347 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4350 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4355 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4359 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4366 size_t StaticInitElems = 0;
4367 const Expr *DynamicInit =
nullptr;
4371 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4372 StaticInitElems = CAT->getZExtSize();
4377 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4378 if (ILE->hasArrayFiller())
4379 DynamicInit = ILE->getArrayFiller();
4398 const Function *CtorFunc =
nullptr;
4399 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4403 }
else if (!DynamicInit && !ElemT)
4406 LabelTy EndLabel = this->getLabel();
4407 LabelTy StartLabel = this->getLabel();
4412 if (!this->emitDupPtr(E))
4414 if (!this->emitIsNonNullPtr(E))
4416 if (!this->jumpFalse(EndLabel, E))
4423 if (!this->emitConst(StaticInitElems,
SizeT, E))
4425 if (!this->emitSetLocal(
SizeT, Iter, E))
4428 this->fallthrough(StartLabel);
4429 this->emitLabel(StartLabel);
4431 if (!this->emitGetLocal(
SizeT, Iter, E))
4433 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4435 if (!this->emitLT(
SizeT, E))
4437 if (!this->jumpFalse(EndLabel, E))
4441 if (!this->emitGetLocal(
SizeT, Iter, E))
4443 if (!this->emitArrayElemPtr(
SizeT, E))
4446 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4451 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4453 if (!this->emitStorePop(*InitT, E))
4457 if (!this->visitZeroArrayInitializer(ElemType, E))
4460 }
else if (DynamicInit) {
4462 if (!this->
visit(DynamicInit))
4464 if (!this->emitStorePop(*InitT, E))
4471 if (!this->visitZeroInitializer(
4475 if (!this->emitStorePop(*ElemT, E))
4479 if (!this->emitCall(CtorFunc, 0, E))
4484 if (!this->emitGetPtrLocal(Iter, E))
4486 if (!this->emitIncPop(
SizeT,
false, E))
4489 if (!this->jump(StartLabel, E))
4492 this->fallthrough(EndLabel);
4493 this->emitLabel(EndLabel);
4497 if (PlacementDest) {
4498 if (!this->
visit(PlacementDest))
4500 if (!this->emitCheckNewTypeMismatch(E, E))
4505 if (!this->emitAlloc(Desc, E))
4514 if (!this->emitInit(*ElemT, E))
4525 return this->emitPopPtr(E);
4530template <
class Emitter>
4536 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4537 return this->emitInvalidNewDeleteExpr(E, E);
4546template <
class Emitter>
4552 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4557 return this->emitGetFnPtr(
Func, E);
4560template <
class Emitter>
4564 auto canonType = [](
const Type *
T) {
4565 return T->getCanonicalTypeUnqualified().getTypePtr();
4573 return this->emitGetTypeid(
4577 return this->emitGetTypeid(
4586 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4592 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4595 return this->emitPopPtr(E);
4599template <
class Emitter>
4603 return this->emitDummyPtr(E, E);
4604 return this->emitError(E);
4607template <
class Emitter>
4610 return this->emitDummyPtr(E, E);
4611 return this->emitError(E);
4614template <
class Emitter>
4616 assert(
Ctx.getLangOpts().CPlusPlus);
4617 return this->emitConstBool(E->
getValue(), E);
4620template <
class Emitter>
4632 return this->emitDummyPtr(GuidDecl, E);
4637 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4646 assert(
V.isStruct());
4647 assert(
V.getStructNumBases() == 0);
4651 return this->emitFinishInit(E);
4654template <
class Emitter>
4664template <
class Emitter>
4673template <
class Emitter>
4679template <
class Emitter>
4683 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4687 if (OVE->isUnique())
4703template <
class Emitter>
4708template <
class Emitter>
4710 return this->emitError(E);
4713template <
class Emitter>
4719 return this->emitDummyPtr(E, E);
4722template <
class Emitter>
4723bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4728 QualType ElemType = VT->getElementType();
4729 PrimType ElemT = classifyPrim(ElemType);
4731 PrimType SrcElemT = classifyVectorElementType(SrcType);
4737 if (!this->emitGetPtrLocal(*LocalIndex, E))
4741 unsigned SrcOffset =
4742 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4743 if (!this->visit(Src))
4745 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4748 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4749 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4751 if (!this->emitArrayElemPop(SrcElemT, I, E))
4755 if (SrcElemT != ElemT) {
4756 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4758 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4759 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4763 if (!this->emitInitElem(ElemT, I, E))
4769template <
class Emitter>
4771 return emitVectorConversion(E->
getSrcExpr(), E);
4774template <
class Emitter>
4778 return this->emitInvalid(E);
4787 assert(NumOutputElems > 0);
4793 if (!this->emitGetPtrLocal(*LocalIndex, E))
4798 unsigned VectorOffsets[2];
4799 for (
unsigned I = 0; I != 2; ++I) {
4802 if (!this->
visit(Vecs[I]))
4804 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4807 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4809 assert(ShuffleIndex >= -1);
4810 if (ShuffleIndex == -1)
4811 return this->emitInvalidShuffleVectorIndex(I, E);
4813 assert(ShuffleIndex < (NumInputElems * 2));
4814 if (!this->emitGetLocal(
PT_Ptr,
4815 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4817 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4818 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4821 if (!this->emitInitElem(ElemT, I, E))
4826 return this->emitPopPtr(E);
4831template <
class Emitter>
4836 Base->getType()->isVectorType() ||
4842 if (Indices.size() == 1) {
4847 if (!this->emitConstUint32(Indices[0], E))
4849 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4859 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4867 if (!this->emitGetPtrLocal(*ResultIndex, E))
4875 uint32_t DstIndex = 0;
4876 for (uint32_t I : Indices) {
4877 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4879 if (!this->emitArrayElemPop(ElemT, I, E))
4881 if (!this->emitInitElem(ElemT, DstIndex, E))
4891template <
class Emitter>
4895 return this->
discard(SubExpr) && this->emitInvalid(E);
4901 return this->emitDummyPtr(E, E);
4904template <
class Emitter>
4909 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4914 if (!this->
visit(SubExpr))
4916 if (!this->emitConstUint8(0, E))
4918 if (!this->emitArrayElemPtrPopUint8(E))
4920 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4923 PrimType SecondFieldT = *R->getField(1u)->T;
4925 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4927 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4929 assert(SecondFieldT ==
PT_Ptr);
4931 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4933 if (!this->emitExpandPtr(E))
4937 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4939 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4942template <
class Emitter>
4957 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4961 return this->emitUnsupported(E);
4970 return this->
Visit(E);
4977 return this->
Visit(E);
4981 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4984 if (
const auto *CE = dyn_cast<CastExpr>(E);
4986 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4993 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4996 if (
const auto *CE = dyn_cast<CastExpr>(E);
4997 CE && (CE->getCastKind() == CK_DerivedToBase ||
4998 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4999 CE->getCastKind() == CK_NoOp))
5019 if (!this->emitGetPtrLocal(*LocalIndex, E))
5029 return this->
Visit(E);
5032template <
class Emitter>
5038 return this->
Visit(E) && this->emitFinishInit(E);
5041template <
class Emitter>
5047 return this->
Visit(E) && this->emitFinishInitPop(E);
5053 return this->
Visit(E);
5064 if (!this->
visit(E))
5066 return this->emitComplexBoolCast(E);
5071 if (!this->
visit(E))
5079 return this->emitIsNonNullPtr(E);
5083 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5086 return this->emitCast(*
T,
PT_Bool, E);
5089template <
class Emitter>
5093 QT = AT->getValueType();
5097 return this->emitZeroBool(E);
5099 return this->emitZeroSint8(E);
5101 return this->emitZeroUint8(E);
5103 return this->emitZeroSint16(E);
5105 return this->emitZeroUint16(E);
5107 return this->emitZeroSint32(E);
5109 return this->emitZeroUint32(E);
5111 return this->emitZeroSint64(E);
5113 return this->emitZeroUint64(E);
5115 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5117 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5119 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5122 return this->emitNullMemberPtr(0,
nullptr, E);
5124 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5125 return this->emitFloat(F, E);
5128 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5132 llvm_unreachable(
"unknown primitive type");
5135template <
class Emitter>
5136bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5138 bool IsCompleteClass) {
5142 for (
const Record::Field &Field :
R->fields()) {
5143 if (Field.isUnnamedBitField())
5150 if (!this->visitZeroInitializer(
T, QT, E))
5153 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5157 if (!this->emitInitField(
T, Field.Offset, E))
5162 if (!this->emitGetPtrField(Field.Offset, E))
5169 if (!this->visitZeroInitializer(
T, ET, E))
5171 if (!this->emitInitElem(
T, I, E))
5176 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5179 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5187 if (!this->emitFinishInitActivatePop(E))
5191 if (!this->emitFinishInitPop(E))
5195 for (
const Record::Base &B :
R->bases()) {
5196 if (!this->emitGetPtrBase(B.Offset, E))
5198 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5200 if (!this->emitFinishInitPop(E))
5204 if (IsCompleteClass) {
5205 for (
const Record::Base &B :
R->virtual_bases()) {
5208 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5210 if (!this->emitFinishInitPop(E))
5218template <
class Emitter>
5219bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5220 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5221 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5226 for (
size_t I = 0; I != NumElems; ++I) {
5227 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5229 if (!this->emitInitElem(*ElemT, I, E))
5235 const Record *
R = getRecord(ElemType);
5239 for (
size_t I = 0; I != NumElems; ++I) {
5240 if (!this->emitConstUint32(I, E))
5242 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5244 if (!this->visitZeroRecordInitializer(R, E))
5246 if (!this->emitPopPtr(E))
5252 for (
size_t I = 0; I != NumElems; ++I) {
5253 if (!this->emitConstUint32(I, E))
5255 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5257 if (!this->visitZeroArrayInitializer(ElemType, E))
5259 if (!this->emitPopPtr(E))
5268template <
class Emitter>
5269bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5271 if (!canClassify(E->
getType()))
5276 if (!this->visit(LHS))
5278 if (!this->visit(RHS))
5281 if (!this->visit(RHS))
5283 if (!this->visit(LHS))
5291 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5295 bool Activates = refersToUnion(LHS);
5298 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5301 if (DiscardResult) {
5302 if (BitField && Activates)
5303 return this->emitStoreBitFieldActivatePop(RHT, E);
5305 return this->emitStoreBitFieldPop(RHT, E);
5307 return this->emitStoreActivatePop(RHT, E);
5309 return this->emitStorePop(RHT, E);
5312 auto maybeLoad = [&](
bool Result) ->
bool {
5318 return this->emitLoadPop(RHT, E);
5322 if (BitField && Activates)
5323 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5325 return maybeLoad(this->emitStoreBitField(RHT, E));
5327 return maybeLoad(this->emitStoreActivate(RHT, E));
5329 return maybeLoad(this->emitStore(RHT, E));
5332template <
class Emitter>
5333template <
typename T>
5337 return this->emitConstSint8(
Value, Info);
5339 return this->emitConstUint8(
Value, Info);
5341 return this->emitConstSint16(
Value, Info);
5343 return this->emitConstUint16(
Value, Info);
5345 return this->emitConstSint32(
Value, Info);
5347 return this->emitConstUint32(
Value, Info);
5349 return this->emitConstSint64(
Value, Info);
5351 return this->emitConstUint64(
Value, Info);
5353 return this->emitConstBool(
Value, Info);
5360 llvm_unreachable(
"Invalid integral type");
5363 llvm_unreachable(
"unknown primitive type");
5366template <
class Emitter>
5367template <
typename T>
5368bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5369 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5372template <
class Emitter>
5376 return this->emitConstIntAPS(
Value, Info);
5378 return this->emitConstIntAP(
Value, Info);
5380 if (
Value.isSigned())
5381 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5382 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5385template <
class Emitter>
5389 return this->emitConstIntAPS(
Value, Info);
5391 return this->emitConstIntAP(
Value, Info);
5394 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5395 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5398template <
class Emitter>
5399bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5400 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5403template <
class Emitter>
5418 return Local.Offset;
5421template <
class Emitter>
5426 bool IsTemporary =
false;
5430 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5431 Init = VarD->getInit();
5433 if (
const auto *E = Src.
asExpr()) {
5443 return std::nullopt;
5450 return Local.Offset;
5453template <
class Emitter>
5462 return std::nullopt;
5472 return Local.Offset;
5475template <
class Emitter>
5477 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5478 return PT->getPointeeType()->getAsCanonical<RecordType>();
5484 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5488template <
class Emitter>
5490 return P.getOrCreateRecord(RD);
5493template <
class Emitter>
5495 return Ctx.getOrCreateFunction(FD);
5498template <
class Emitter>
5504 auto maybeDestroyLocals = [&]() ->
bool {
5505 if (DestroyToplevelScope)
5506 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5507 return this->emitCheckAllocations(E);
5514 return this->emitRetVoid(E) && maybeDestroyLocals();
5522 return this->emitRet(*
T, E) && maybeDestroyLocals();
5530 if (!this->emitGetPtrLocal(*LocalOffset, E))
5538 return this->emitRetValue(E) && maybeDestroyLocals();
5541 return maybeDestroyLocals() &&
false;
5544template <
class Emitter>
5546 bool DestroyToplevelScope) {
5550 return this->
visitExpr(E, DestroyToplevelScope);
5553template <
class Emitter>
5565 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5566 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5580template <
class Emitter>
5582 bool ConstantContext) {
5585 if (!ConstantContext) {
5600 auto GlobalIndex =
P.getGlobal(VD);
5601 assert(GlobalIndex);
5603 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5606 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5614 if (!this->emitGetRefLocal(
Local->second.Offset, VD))
5616 }
else if (!this->emitGetLocal(*VarT,
Local->second.Offset, VD))
5619 if (!this->emitGetPtrLocal(
Local->second.Offset, VD))
5629 auto GlobalIndex =
P.getGlobal(VD);
5630 assert(GlobalIndex);
5631 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5640 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5643template <
class Emitter>
5654 if (!this->isActive())
5659 if (
Init &&
Init->isValueDependent())
5663 auto checkDecl = [&]() ->
bool {
5665 return !NeedsOp || this->emitCheckDecl(VD, VD);
5672 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5675 if (
P.isGlobalInitialized(*GlobalIndex))
5679 }
else if ((GlobalIndex =
5694 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5697 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5700 if (!this->emitStartInit(
Init))
5706 if (!this->emitEndInit(
Init))
5709 return this->emitFinishInitGlobal(
Init);
5719 if (!
Init ||
Init->getType()->isVoidType())
5728 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5740 if (!this->emitCheckRefInit(
Init))
5744 return this->emitSetLocal(*VarT, Offset, VD);
5752 if (!this->emitGetPtrLocal(*Offset,
Init))
5760template <
class Emitter>
5783 if (!this->emitGetPtrLocal(
Local.Offset, VD))
5789 return this->emitDestructionPop(D, VD);
5798 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5822template <
class Emitter>
5837 unsigned ParamIndex = 0;
5844 const Expr *Arg = Args[ParamIndex];
5845 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5847 unsigned ArgOffset =
5849 if (!this->
visit(Arg))
5851 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5857 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5869 if (
This->getType()->isPointerType()) {
5872 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5879 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5901template <
class Emitter>
5907 return this->emitConst(Val.
getInt(), ValType, Info);
5909 return this->emitFloat(Val.
getFloat(), Info);
5913 if (!this->emitGetMemberPtr(MemberDecl, Info))
5919 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5925 return this->emitNullMemberPtr(0,
nullptr, Info);
5930 return this->emitNull(ValType, 0,
nullptr, Info);
5934 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5935 return this->
visit(BaseExpr);
5940 QualType EntryType = VD->getType();
5943 for (
auto &Entry : Path) {
5945 uint64_t Index = Entry.getAsArrayIndex();
5948 if (!this->emitConst(Index,
PT_Uint64, Info))
5950 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5952 EntryType = ElemType;
5959 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5960 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5962 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5964 EntryType = FD->getType();
5968 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5973 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5976 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5989template <
class Emitter>
5992 bool IsCompleteClass) {
5998 if (IsCompleteClass)
6005 const Record::Base *RB = R->getBase(I);
6006 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6008 if (!this->emitGetPtrBase(RB->Offset, Info))
6013 if (!this->emitFinishInitPop(Info))
6021 const Record::Field *RF = R->getField(I);
6022 QualType FieldType = RF->Decl->getType();
6027 if (!this->emitInitField(*PT, RF->Offset, Info))
6030 if (!this->emitGetPtrField(RF->Offset, Info))
6034 if (!this->emitFinishInitPop(Info))
6040 if (IsCompleteClass) {
6045 const Record::Base *RB = R->getVirtualBase(I);
6046 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
6054 if (!this->emitFinishInitPop(Info))
6070 const Record::Field *RF = R->getField(UnionField);
6071 QualType FieldType = RF->Decl->getType();
6076 if (RF->isBitField())
6077 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6079 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6082 if (!this->emitGetPtrField(RF->Offset, Info))
6084 if (!this->emitActivate(Info))
6088 return this->emitPopPtr(Info);
6092 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6093 QualType ElemType = ArrType->getElementType();
6096 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6097 const APValue &Elem = A >= InitializedElems
6106 if (!this->emitInitElem(*ElemT, A, Info))
6109 if (!this->emitConstUint32(A, Info))
6111 if (!this->emitArrayElemPtrUint32(Info))
6115 if (!this->emitPopPtr(Info))
6126template <
class Emitter>
6128 if (
P.getGlobal(VD))
6133 llvm_unreachable(
"Why didn't that work?");
6137 "registerRedecl should only be called with primitive values");
6142 return this->emitInitGlobal(
T, *GlobalIndex, {});
6145template <
class Emitter>
6147 unsigned BuiltinID) {
6148 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6153 return this->emitConst(0, E);
6156 if (!this->emitStartSpeculation(E))
6158 LabelTy EndLabel = this->getLabel();
6159 if (!this->speculate(E, EndLabel))
6161 if (!this->emitEndSpeculation(E))
6163 this->fallthrough(EndLabel);
6171 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6172 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6173 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6174 BuiltinID == Builtin::BI__builtin_function_start) {
6177 return this->emitDummyPtr(E, E);
6188 if (!this->emitGetPtrLocal(*LocalIndex, E))
6193 switch (BuiltinID) {
6194 case Builtin::BI__builtin_object_size:
6195 case Builtin::BI__builtin_dynamic_object_size: {
6199 if (!this->
visit(Arg0))
6210 case Builtin::BI__assume:
6211 case Builtin::BI__builtin_assume:
6214 case Builtin::BI__atomic_is_lock_free:
6215 case Builtin::BI__atomic_always_lock_free: {
6226 for (
const auto *Arg : E->
arguments()) {
6227 if (!this->
visit(Arg))
6233 if (!this->emitCallBI(E, BuiltinID, E))
6251template <
class Emitter>
6272 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6273 DD && DD->isTrivial()) {
6275 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6277 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6278 this->emitPopPtr(E);
6284 bool ActivateLHS =
false;
6292 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6293 OCE && OCE->isAssignmentOp()) {
6294 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6297 if (
const auto *MCE = dyn_cast<CXXMemberCallExpr>(E))
6298 if (!this->
visit(MCE->getImplicitObjectArgument()))
6305 if (!this->emitTrivialCopy(ActivateLHS,
Func, E))
6323 if (!this->emitGetPtrLocal(*LocalIndex, E))
6331 if (!this->emitGetPtrLocal(*LocalIndex, E))
6335 if (!this->emitDupPtr(E))
6340 const Expr *ReversedArgs[2];
6341 bool IsAssignmentOperatorCall =
false;
6342 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6343 OCE && OCE->isAssignmentOp()) {
6347 assert(Args.size() == 2);
6348 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6350 IsAssignmentOperatorCall =
true;
6351 ReversedArgs[0] = Args[1];
6352 ReversedArgs[1] = Args[0];
6353 Args = ReversedArgs;
6360 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6361 MD && MD->isStatic()) {
6365 Args = Args.drop_front();
6369 bool Devirtualized =
false;
6372 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6380 if (!this->
visit(Callee))
6382 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6384 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6386 if (!this->emitGetMemberPtrBase(E))
6389 const auto *InstancePtr = MC->getImplicitObjectArgument();
6396 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6397 Devirtualized =
true;
6398 if (!this->
visit(Stripped))
6401 if (!this->
visit(InstancePtr))
6405 if (!this->
visit(InstancePtr))
6409 }
else if (
const auto *PD =
6410 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6411 if (!this->emitCheckPseudoDtor(E))
6419 return this->emitPseudoDtor(E);
6420 }
else if (!FuncDecl) {
6424 if (!this->
visit(Callee))
6426 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6435 if (IsAssignmentOperatorCall) {
6436 assert(Args.size() == 2);
6439 if (!this->emitFlip(Arg2T, Arg1T, E))
6453 assert(HasRVO ==
Func->hasRVO());
6455 bool HasQualifier =
false;
6456 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6457 HasQualifier = ME->hasQualifier();
6459 bool IsVirtual =
false;
6460 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6461 IsVirtual = !Devirtualized && MD->isVirtual();
6466 if (IsVirtual && !HasQualifier) {
6467 uint32_t VarArgSize = 0;
6468 unsigned NumParams =
6469 Func->getNumWrittenParams() +
6471 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6474 if (!this->emitCallVirt(
Func, VarArgSize, E))
6476 }
else if (
Func->isVariadic()) {
6477 uint32_t VarArgSize = 0;
6478 unsigned NumParams =
6479 Func->getNumWrittenParams() +
6481 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6483 if (!this->emitCallVar(
Func, VarArgSize, E))
6486 if (!this->emitCall(
Func, 0, E))
6495 uint32_t ArgSize = 0;
6496 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6502 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6504 if (!this->emitGetMemberPtrDecl(E))
6507 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6510 if (!this->emitCallPtr(ArgSize, E, E))
6521template <
class Emitter>
6528template <
class Emitter>
6535template <
class Emitter>
6540 return this->emitConstBool(E->
getValue(), E);
6543template <
class Emitter>
6549 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6550 return this->emitNullPtr(Val,
nullptr, E);
6553template <
class Emitter>
6561 return this->emitZero(
T, E);
6564template <
class Emitter>
6569 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6570 if (this->LambdaThisCapture.Offset > 0) {
6571 if (this->LambdaThisCapture.IsPtr)
6572 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6573 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6582 return this->emitThis(E);
6597 unsigned StartIndex = 0;
6598 unsigned EndIndex = 0;
6600 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6602 EndIndex = StartIndex;
6609 for (; StartIndex > 0; --StartIndex) {
6620 if (StartIndex == 0 && EndIndex == 0)
6631 assert(StartIndex <= EndIndex);
6634 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6646 case Stmt::CompoundStmtClass:
6648 case Stmt::DeclStmtClass:
6650 case Stmt::ReturnStmtClass:
6652 case Stmt::IfStmtClass:
6654 case Stmt::WhileStmtClass:
6656 case Stmt::DoStmtClass:
6658 case Stmt::ForStmtClass:
6660 case Stmt::CXXForRangeStmtClass:
6662 case Stmt::BreakStmtClass:
6664 case Stmt::ContinueStmtClass:
6666 case Stmt::SwitchStmtClass:
6668 case Stmt::CaseStmtClass:
6670 case Stmt::DefaultStmtClass:
6672 case Stmt::AttributedStmtClass:
6674 case Stmt::CXXTryStmtClass:
6676 case Stmt::NullStmtClass:
6679 case Stmt::GCCAsmStmtClass:
6680 case Stmt::MSAsmStmtClass:
6681 case Stmt::GotoStmtClass:
6682 return this->emitInvalid(S);
6683 case Stmt::LabelStmtClass:
6685 case Stmt::CXXExpansionStmtInstantiationClass:
6689 if (
const auto *E = dyn_cast<Expr>(S))
6696template <
class Emitter>
6699 for (
const auto *InnerStmt : S->
body())
6702 return Scope.destroyLocals();
6705template <
class Emitter>
6706bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6707 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6708 for (
auto *BD : DD->flat_bindings())
6709 if (
auto *KD = BD->getHoldingVar();
6710 KD && !this->visitVarDecl(KD, KD->getInit()))
6724template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6726 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6727 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6734 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6739 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6740 ICE && (ICE->getCastKind() == CK_NoOp ||
6741 ICE->getCastKind() == CK_DerivedToBase ||
6742 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6743 E = ICE->getSubExpr();
6747 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6748 const auto *ThisRecord =
6749 This->getType()->getPointeeType()->getAsRecordDecl();
6750 if (!ThisRecord->isUnion())
6753 if (
const auto *Ctor =
6754 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6755 return Ctor->getParent() == ThisRecord;
6764template <
class Emitter>
6766 bool EvaluateConditionDecl) {
6767 for (
const auto *D : DS->
decls()) {
6772 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6773 assert(ESD->getInstantiations() &&
"not expanded?");
6774 if (!this->
visitStmt(ESD->getInstantiations()))
6779 const auto *VD = dyn_cast<VarDecl>(D);
6786 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6793template <
class Emitter>
6796 return this->emitUnsupported(RS);
6802 if (!this->
visit(RE))
6808 if (RE->getType()->isVoidType()) {
6809 if (!this->
visit(RE))
6812 if (RE->containsErrors())
6817 if (!this->emitRVOPtr(RE))
6823 return this->emitRetVoid(RS);
6829 return this->emitRetVoid(RS);
6835 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6842 if (
auto *CondInit = IS->
getInit()) {
6858 return visitChildStmt(IS->
getThen());
6860 return visitChildStmt(Else);
6866 if (!this->emitIsConstantContext(IS))
6869 if (!this->emitIsConstantContext(IS))
6871 if (!this->emitInv(IS))
6885 LabelTy LabelElse = this->getLabel();
6886 LabelTy LabelEnd = this->getLabel();
6887 if (!this->jumpFalse(LabelElse, IS))
6889 if (!visitChildStmt(IS->
getThen()))
6891 if (!this->jump(LabelEnd, IS))
6893 this->emitLabel(LabelElse);
6894 if (!visitChildStmt(Else))
6896 this->emitLabel(LabelEnd);
6898 LabelTy LabelEnd = this->getLabel();
6899 if (!this->jumpFalse(LabelEnd, IS))
6901 if (!visitChildStmt(IS->
getThen()))
6903 this->emitLabel(LabelEnd);
6912template <
class Emitter>
6917 LabelTy CondLabel = this->getLabel();
6918 LabelTy EndLabel = this->getLabel();
6922 this->fallthrough(CondLabel);
6923 this->emitLabel(CondLabel);
6939 if (!this->jumpFalse(EndLabel, S))
6949 if (!this->jump(CondLabel, S))
6951 this->fallthrough(EndLabel);
6952 this->emitLabel(EndLabel);
6961 LabelTy StartLabel = this->getLabel();
6962 LabelTy EndLabel = this->getLabel();
6963 LabelTy CondLabel = this->getLabel();
6967 this->fallthrough(StartLabel);
6968 this->emitLabel(StartLabel);
6974 this->fallthrough(CondLabel);
6975 this->emitLabel(CondLabel);
6982 if (!this->jumpTrue(StartLabel, S))
6985 this->fallthrough(EndLabel);
6986 this->emitLabel(EndLabel);
6990template <
class Emitter>
6998 LabelTy EndLabel = this->getLabel();
6999 LabelTy CondLabel = this->getLabel();
7000 LabelTy IncLabel = this->getLabel();
7007 this->fallthrough(CondLabel);
7008 this->emitLabel(CondLabel);
7020 if (!this->jumpFalse(EndLabel, S))
7029 this->fallthrough(IncLabel);
7030 this->emitLabel(IncLabel);
7036 if (!this->jump(CondLabel, S))
7040 this->emitLabel(EndLabel);
7046template <
class Emitter>
7056 LabelTy EndLabel = this->getLabel();
7057 LabelTy CondLabel = this->getLabel();
7058 LabelTy IncLabel = this->getLabel();
7074 this->fallthrough(CondLabel);
7075 this->emitLabel(CondLabel);
7078 if (!this->jumpFalse(EndLabel, S))
7089 this->fallthrough(IncLabel);
7090 this->emitLabel(IncLabel);
7097 if (!this->jump(CondLabel, S))
7100 this->fallthrough(EndLabel);
7101 this->emitLabel(EndLabel);
7105template <
class Emitter>
7116 if (LI.BreakLabel) {
7117 TargetLabel = *LI.BreakLabel;
7118 BreakScope = LI.BreakOrContinueScope;
7124 if (LI.Name == TargetLoop) {
7125 TargetLabel = *LI.BreakLabel;
7126 BreakScope = LI.BreakOrContinueScope;
7137 C =
C->getParent()) {
7138 if (!
C->destroyLocals())
7142 return this->jump(*TargetLabel, S);
7145template <
class Emitter>
7156 if (LI.ContinueLabel) {
7157 TargetLabel = *LI.ContinueLabel;
7158 ContinueScope = LI.BreakOrContinueScope;
7164 if (LI.Name == TargetLoop) {
7165 TargetLabel = *LI.ContinueLabel;
7166 ContinueScope = LI.BreakOrContinueScope;
7176 C =
C->getParent()) {
7177 if (!
C->destroyLocals())
7181 return this->jump(*TargetLabel, S);
7184template <
class Emitter>
7194 LabelTy EndLabel = this->getLabel();
7199 if (
const auto *CondInit = S->
getInit())
7208 if (!this->
visit(Cond))
7210 if (!this->emitSetLocal(CondT, CondVar, S))
7220 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7223 if (CS->caseStmtIsGNURange()) {
7224 LabelTy EndOfRangeCheck = this->getLabel();
7225 const Expr *Low = CS->getLHS();
7226 const Expr *High = CS->getRHS();
7230 if (!this->emitGetLocal(CondT, CondVar, CS))
7232 if (!this->
visit(Low))
7235 if (!this->emitGE(
LT, S))
7237 if (!this->jumpFalse(EndOfRangeCheck, S))
7240 if (!this->emitGetLocal(CondT, CondVar, CS))
7242 if (!this->
visit(High))
7245 if (!this->emitLE(HT, S))
7249 this->emitLabel(EndOfRangeCheck);
7254 if (
Value->isValueDependent())
7259 if (!this->emitGetLocal(CondT, CondVar, CS))
7265 if (!this->emitEQ(ValueT, S))
7270 assert(!DefaultLabel);
7271 DefaultLabel = this->getLabel();
7278 if (!this->jump(*DefaultLabel, S))
7281 if (!this->jump(EndLabel, S))
7289 this->fallthrough(EndLabel);
7290 this->emitLabel(EndLabel);
7295template <
class Emitter>
7303 return this->emitUnsupported(S);
7308template <
class Emitter>
7315 if (LI.DefaultLabel) {
7316 DefaultLabel = *LI.DefaultLabel;
7321 this->emitLabel(DefaultLabel);
7325template <
class Emitter>
7332 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7335 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7336 !this->Ctx.getLangOpts().MSVCCompat) {
7338 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7344 const Expr *Assumption = AA->getAssumption();
7355 if (!this->emitAssume(Assumption))
7364 if (IsMSVCConstexprAttr)
7365 return this->emitPopMSVCCE(S);
7369template <
class Emitter>
7382template <
class Emitter>
7392 LabelTy EndLabel = this->getLabel();
7394 LabelTy ContinueLabel = this->getLabel();
7399 this->emitLabel(ContinueLabel);
7402 this->emitLabel(EndLabel);
7407template <
class Emitter>
7408bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7415 assert(ClosureClass->
captures().empty());
7419 "A generic lambda's static-invoker function must be a "
7420 "template specialization");
7424 llvm::FoldingSetInsertToken InsertToken;
7425 const FunctionDecl *CorrespondingCallOpSpecialization =
7427 assert(CorrespondingCallOpSpecialization);
7428 LambdaCallOp = CorrespondingCallOpSpecialization;
7432 assert(ClosureClass->
captures().empty());
7433 const Function *
Func = this->getFunction(LambdaCallOp);
7436 assert(
Func->hasThisPointer());
7439 if (
Func->hasRVO()) {
7440 if (!this->emitRVOPtr(MD))
7448 if (!this->emitNullPtr(0,
nullptr, MD))
7453 auto It = this->Params.find(PVD);
7454 assert(It != this->Params.end());
7458 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7459 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7463 if (!this->emitCall(
Func, 0, LambdaCallOp))
7468 return this->emitRet(*ReturnType, MD);
7471 return this->emitRetVoid(MD);
7474template <
class Emitter>
7475bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7476 if (Ctx.getLangOpts().CPlusPlus23)
7486 const Expr *InitExpr =
Init->getInit();
7488 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7492 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7502template <
class Emitter>
7504 assert(!ReturnType);
7507 if (!this->emitStartThisLifetime1(Ctor))
7510 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7511 const Expr *InitExpr,
7514 if (InitExpr->getType().isNull())
7518 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7521 if (!this->visit(InitExpr))
7524 if (F->isBitField())
7525 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7527 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7532 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7535 if (
Activate && !this->emitActivate(InitExpr))
7538 return this->visitInitializerPop(InitExpr);
7542 const Record *
R = this->getRecord(RD);
7545 bool IsUnion =
R->isUnion();
7555 if (!this->emitThis(Ctor))
7558 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7561 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7562 this->emitRetVoid(Ctor);
7565 unsigned FieldInits = 0;
7568 if (
R->getNumVirtualBases() > 0) {
7569 if (!this->emitThis(Ctor))
7571 LabelTy AfterVirtBasesLabel = this->getLabel();
7574 if (!this->emitIsBaseClass({}))
7576 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7579 for (
const auto *
Init : Ctor->
inits()) {
7582 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7584 assert(
R->findVirtualBase(BaseDecl));
7585 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7587 if (!this->visitInitializerPop(
Init->getInit()))
7592 this->fallthrough(AfterVirtBasesLabel);
7593 this->emitLabel(AfterVirtBasesLabel);
7595 if (!this->emitPopPtr(Ctor))
7599 for (
const auto *
Init : Ctor->
inits()) {
7603 const Expr *InitExpr =
Init->getInit();
7605 const Record::Field *F =
R->getField(
Member);
7609 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7613 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7616 if (
Init->isBaseVirtual()) {
7622 const Record::Base *B =
R->getBase(BaseDecl);
7624 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7628 if (!this->visitInitializerPop(InitExpr))
7633 unsigned ChainSize = IFD->getChainingSize();
7634 assert(ChainSize >= 2);
7636 unsigned NestedFieldOffset = 0;
7637 const Record::Field *NestedField =
nullptr;
7638 for (
unsigned I = 0; I != ChainSize; ++I) {
7640 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7641 assert(FieldRecord);
7643 NestedField = FieldRecord->
getField(FD);
7644 assert(NestedField);
7645 IsUnion = IsUnion || FieldRecord->
isUnion();
7647 NestedFieldOffset += NestedField->Offset;
7650 if (I != ChainSize - 1)
7653 assert(NestedField);
7656 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7661 unsigned InitFieldOffset = 0;
7662 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7664 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7665 assert(FieldRecord);
7666 NestedField = FieldRecord->
getField(FD);
7667 InitFieldOffset += NestedField->Offset;
7668 assert(NestedField);
7669 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7671 if (!this->emitFinishInitPop(InitExpr))
7675 InitStack.pop_back_n(ChainSize - 1);
7678 assert(
Init->isDelegatingInitializer());
7679 if (!this->emitThis(InitExpr))
7681 if (!this->visitInitializerPop(
Init->getInit()))
7685 if (!
Scope.destroyLocals())
7689 if (FieldInits !=
R->getNumFields()) {
7690 assert(FieldInits < R->getNumFields());
7692 if (!this->emitStartThisLifetime(Ctor))
7699 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7700 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7707 if (!visitStmt(Body))
7714template <
class Emitter>
7717 const Record *
R = this->getRecord(RD);
7721 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7722 if (!this->visitStmt(
Dtor->getBody()))
7726 if (!this->emitThis(
Dtor))
7729 if (!this->emitCheckDestruction(
Dtor))
7733 if (!
R->isUnion()) {
7737 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7741 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7743 if (!this->emitDestructionPop(D,
SourceInfo{}))
7748 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7749 if (
Base.R->hasTrivialDtor())
7753 if (!this->emitRecordDestructionPop(
Base.R, {}))
7757 if (
R->getNumVirtualBases() > 0) {
7758 LabelTy EndLabel = this->getLabel();
7760 if (!this->emitIsBaseClass({}))
7762 if (!this->jumpTrue(EndLabel, {}))
7765 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7766 if (
Base.R->hasTrivialDtor())
7771 if (!this->emitRecordDestructionPop(
Base.R, {}))
7775 this->fallthrough(EndLabel);
7776 this->emitLabel(EndLabel);
7779 if (!this->emitMarkDestroyed(
Dtor))
7782 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7785template <
class Emitter>
7786bool Compiler<Emitter>::compileUnionAssignmentOperator(
7788 if (!this->emitThis(MD))
7791 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7794 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7797template <
class Emitter>
7807 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7808 return this->compileConstructor(Ctor);
7809 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7810 return this->compileDestructor(
Dtor);
7813 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7818 return this->compileUnionAssignmentOperator(MD);
7821 return this->emitLambdaStaticInvokerBody(MD);
7825 if (
const auto *Body = F->
getBody())
7839 return FD->getBitWidthValue();
7842template <
class Emitter>
7858 if (!
Ctx.getLangOpts().CPlusPlus14)
7859 return this->emitInvalid(E);
7861 return this->emitError(E);
7863 if (!this->
visit(SubExpr))
7867 if (!this->emitIncPtr(E))
7874 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7875 : this->emitIncf(getFPOptions(E), E);
7887 if (!
Ctx.getLangOpts().CPlusPlus14)
7888 return this->emitInvalid(E);
7890 return this->emitError(E);
7892 if (!this->
visit(SubExpr))
7896 if (!this->emitDecPtr(E))
7903 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7904 : this->emitDecf(getFPOptions(E), E);
7917 if (!
Ctx.getLangOpts().CPlusPlus14)
7918 return this->emitInvalid(E);
7920 return this->emitError(E);
7922 if (!this->
visit(SubExpr))
7926 if (!this->emitLoadPtr(E))
7928 if (!this->emitConstUint8(1, E))
7930 if (!this->emitAddOffsetUint8(E))
7932 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7938 return this->emitIncfPop(getFPOptions(E), E);
7948 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7949 if (!this->emitLoadFloat(E))
7951 APFloat F(TargetSemantics, 1);
7952 if (!this->emitFloat(F, E))
7955 if (!this->emitAddf(getFPOptions(E), E))
7957 if (!this->emitStoreFloat(E))
7969 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7972 if (!
Ctx.getLangOpts().CPlusPlus14)
7973 return this->emitInvalid(E);
7975 return this->emitError(E);
7977 if (!this->
visit(SubExpr))
7981 if (!this->emitLoadPtr(E))
7983 if (!this->emitConstUint8(1, E))
7985 if (!this->emitSubOffsetUint8(E))
7987 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7993 return this->emitDecfPop(getFPOptions(E), E);
8003 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
8004 if (!this->emitLoadFloat(E))
8006 APFloat F(TargetSemantics, 1);
8007 if (!this->emitFloat(F, E))
8010 if (!this->emitSubf(getFPOptions(E), E))
8012 if (!this->emitStoreFloat(E))
8024 return E->
isGLValue() || this->emitLoadPop(*
T, E);
8028 return this->emitError(E);
8031 return this->
discard(SubExpr);
8036 if (!this->emitInv(E))
8040 return this->emitCast(
PT_Bool, ET, E);
8044 return this->emitError(E);
8046 if (!this->
visit(SubExpr))
8051 return this->emitError(E);
8053 if (!this->
visit(SubExpr))
8069 if (!
Ctx.getLangOpts().CPlusPlus) {
8072 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
8073 Deref && Deref->getOpcode() == UO_Deref) {
8075 return this->
discard(Deref->getSubExpr());
8076 return this->
visit(Deref->getSubExpr()) && this->emitAddrOf(E);
8081 return this->
discard(SubExpr);
8082 return this->
delegate(SubExpr) && this->emitAddrOf(E);
8085 return this->
discard(SubExpr);
8087 if (!this->
visit(SubExpr))
8094 return this->emitNarrowPtr(E);
8099 return this->emitError(E);
8101 if (!this->
visit(SubExpr))
8115 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
8120 assert(
false &&
"Unhandled opcode");
8126template <
class Emitter>
8132 return this->
discard(SubExpr);
8135 auto prepareResult = [=]() ->
bool {
8140 return this->emitGetPtrLocal(*LocalIndex, E);
8147 unsigned SubExprOffset = ~0u;
8148 auto createTemp = [=, &SubExprOffset]() ->
bool {
8151 if (!this->
visit(SubExpr))
8153 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8157 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8158 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8160 return this->emitArrayElemPop(ElemT, Index, E);
8165 if (!prepareResult())
8169 for (
unsigned I = 0; I != 2; ++I) {
8170 if (!getElem(SubExprOffset, I))
8172 if (!this->emitNeg(ElemT, E))
8174 if (!this->emitInitElem(ElemT, I, E))
8185 if (!this->
visit(SubExpr))
8187 if (!this->emitComplexBoolCast(SubExpr))
8189 if (!this->emitInv(E))
8192 return this->emitCast(
PT_Bool, ET, E);
8196 return this->emitComplexReal(SubExpr);
8199 if (!this->
visit(SubExpr))
8203 if (!this->emitConstUint8(1, E))
8205 return this->emitArrayElemPtrPopUint8(E);
8216 if (!this->emitArrayElem(ElemT, 1, E))
8218 if (!this->emitNeg(ElemT, E))
8220 if (!this->emitInitElem(ElemT, 1, E))
8228 return this->emitInvalid(E);
8234template <
class Emitter>
8240 return this->
discard(SubExpr);
8243 if (UnaryOp == UO_Extension)
8246 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8247 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8248 return this->emitInvalid(E);
8251 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8258 if (!this->emitGetPtrLocal(*LocalIndex, E))
8263 unsigned SubExprOffset =
8265 if (!this->
visit(SubExpr))
8267 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8272 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8273 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8275 return this->emitArrayElemPop(ElemT, Index, E);
8280 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8281 if (!getElem(SubExprOffset, I))
8283 if (!this->emitNeg(ElemT, E))
8285 if (!this->emitInitElem(ElemT, I, E))
8300 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8301 if (!getElem(SubExprOffset, I))
8304 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8306 if (!this->emitInv(E))
8308 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8310 if (!this->emitNeg(ElemT, E))
8312 if (ElemT != ResultVecElemT &&
8313 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8315 if (!this->emitInitElem(ResultVecElemT, I, E))
8321 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8322 if (!getElem(SubExprOffset, I))
8325 if (!this->emitInv(E))
8328 if (!this->emitComp(ElemT, E))
8331 if (!this->emitInitElem(ElemT, I, E))
8336 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8341template <
class Emitter>
8343 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8346 return this->emitConst(ECD->getInitVal(), E);
8348 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8352 return F && this->emitGetFnPtr(F, E);
8354 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8355 TPOD = TPOD->getFirstDecl();
8359 return this->emitGetPtrGlobal(*GlobalIndex, E);
8365 return this->emitInitGlobal(*
T, *Index, E);
8368 if (!this->emitGetPtrGlobal(*Index, E))
8372 return this->emitFinishInit(E);
8384 auto maybePopPtr = [&]() ->
bool {
8386 return this->emitPopPtr(E);
8393 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8397 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8402 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8403 if (IsReference || !It->second.IsPtr)
8404 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8406 return this->emitGetPtrParam(It->second.Index, E);
8409 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8416 const unsigned Offset = It->second.Offset;
8419 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8421 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8424 if (
auto GlobalIndex =
P.getGlobal(D)) {
8426 if (!
Ctx.getLangOpts().CPlusPlus11)
8427 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8428 if (!
Ctx.getLangOpts().CPlusPlus23)
8429 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8431 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8434 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8438 auto revisit = [&](
const VarDecl *VD,
8439 bool IsConstexprUnknown =
true) ->
bool {
8441 IsConstexprUnknown);
8442 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8448 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8449 if (!this->emitPopCC(E))
8453 if (VarState.notCreated())
8461 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8463 if (
auto It = this->LambdaCaptures.find(D);
8464 It != this->LambdaCaptures.end()) {
8465 auto [Offset, IsPtr] = It->second;
8468 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8469 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8473 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8474 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8475 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8479 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8480 return this->
delegate(BD->getBinding());
8486 return this->emitDummyPtr(D, E);
8491 const auto *VD = dyn_cast<VarDecl>(D);
8493 return this->emitError(E);
8496 if (!
Ctx.getLangOpts().CPlusPlus) {
8500 return revisit(VD,
false);
8504 return this->emitDummyPtr(D, E);
8508 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8509 if (
T.isConstant(
Ctx.getASTContext()))
8511 return T->isReferenceType();
8515 typeShouldBeVisited(DeclType)) {
8517 Init && !
Init->isValueDependent()) {
8522 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8535 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8540 return revisit(VD, IsConstexprUnknown);
8541 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8542 return revisit(VD,
true);
8551 return this->emitDummyPtr(
8555template <
class Emitter>
8561template <
class Emitter>
8571 if (!
C->destroyLocals())
8577template <
class Emitter>
8578unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8581 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8583 return Ty->getAsCXXRecordDecl();
8585 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8586 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8588 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8592template <
class Emitter>
8599 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8604 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8605 getFPOptions(E), E);
8607 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8608 getFPOptions(E), E);
8612 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8617 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8619 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8623 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8627 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8628 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8635template <
class Emitter>
8638 assert(FromT != ToT);
8641 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8643 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8645 return this->emitCast(FromT, ToT, E);
8649template <
class Emitter>
8650bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8654 return this->
discard(SubExpr);
8656 if (!this->visit(SubExpr))
8659 if (!this->emitConstUint8(0, SubExpr))
8661 return this->emitArrayElemPtrPopUint8(SubExpr);
8665 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8669template <
class Emitter>
8670bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8671 assert(!DiscardResult);
8675 if (!this->emitArrayElem(ElemT, 0, E))
8678 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8681 if (!this->emitCast(ElemT,
PT_Bool, E))
8686 LabelTy LabelTrue = this->getLabel();
8687 if (!this->jumpTrue(LabelTrue, E))
8690 if (!this->emitArrayElemPop(ElemT, 1, E))
8693 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8696 if (!this->emitCast(ElemT,
PT_Bool, E))
8700 LabelTy EndLabel = this->getLabel();
8701 this->jump(EndLabel, E);
8703 this->emitLabel(LabelTrue);
8704 if (!this->emitPopPtr(E))
8706 if (!this->emitConstBool(
true, E))
8709 this->fallthrough(EndLabel);
8710 this->emitLabel(EndLabel);
8715template <
class Emitter>
8716bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8727 LHSIsComplex =
true;
8728 ElemT = classifyComplexElementType(LHS->
getType());
8729 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8730 if (!this->visit(LHS))
8732 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8735 LHSIsComplex =
false;
8737 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8738 if (!this->visit(LHS))
8740 if (!this->emitSetLocal(LHST, LHSOffset, E))
8747 RHSIsComplex =
true;
8748 ElemT = classifyComplexElementType(RHS->
getType());
8749 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8750 if (!this->visit(RHS))
8752 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8755 RHSIsComplex =
false;
8757 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8758 if (!this->visit(RHS))
8760 if (!this->emitSetLocal(RHST, RHSOffset, E))
8764 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8765 bool IsComplex) ->
bool {
8767 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8769 return this->emitArrayElemPop(ElemT, Index, E);
8771 return this->emitGetLocal(ElemT, LocalOffset, E);
8774 for (
unsigned I = 0; I != 2; ++I) {
8776 if (!getElem(LHSOffset, I, LHSIsComplex))
8778 if (!getElem(RHSOffset, I, RHSIsComplex))
8781 if (!this->emitEQ(ElemT, E))
8784 if (!this->emitCastBoolUint8(E))
8789 if (!this->emitAddUint8(E))
8791 if (!this->emitConstUint8(2, E))
8795 if (!this->emitEQUint8(E))
8798 if (!this->emitNEUint8(E))
8805 return this->emitCast(
PT_Bool, ResT, E);
8812template <
class Emitter>
8813bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8816 assert(!
R->hasTrivialDtor());
8819 const Function *DtorFunc = getFunction(
Dtor);
8822 assert(DtorFunc->hasThisPointer());
8823 assert(DtorFunc->getNumParams() == 1);
8824 return this->emitCall(DtorFunc, 0, Loc);
8829template <
class Emitter>
8830bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8842 return this->emitPopPtr(Loc);
8844 for (ssize_t I = N - 1; I >= 1; --I) {
8845 if (!this->emitConstUint64(I, Loc))
8847 if (!this->emitArrayElemPtrUint64(Loc))
8849 if (!this->emitDestructionPop(ElemDesc, Loc))
8853 if (!this->emitConstUint64(0, Loc))
8855 if (!this->emitArrayElemPtrPopUint64(Loc))
8857 return this->emitDestructionPop(ElemDesc, Loc);
8862 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8867template <
class Emitter>
8868bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
8869 assert(!DiscardResult &&
"Should've been checked before");
8870 return this->emitGetOpaquePtr(D, CU, E);
8873template <
class Emitter>
8876 return this->emitConstFloat(
Floating(F), Info);
8878 APInt I = F.bitcastToAPInt();
8879 return this->emitConstFloat(
8880 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8881 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8892template <
class Emitter>
8893bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8906 if (!this->emitGetPtrLocal(*LocalIndex, E))
8916 if (!this->visit(SubExpr))
8918 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8919 unsigned TempOffset =
8920 allocateLocalPrimitive(SubExpr, *FromT,
true);
8921 if (!this->visit(SubExpr))
8923 if (!this->emitSetLocal(*FromT, TempOffset, E))
8925 if (!this->emitGetPtrLocal(TempOffset, E))
8932 if (!this->emitBitCast(E))
8934 return DiscardResult ? this->emitPopPtr(E) :
true;
8938 const llvm::fltSemantics *TargetSemantics =
nullptr;
8940 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8946 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8948 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8949 ResultBitWidth, TargetSemantics,
8954 return this->emitPop(*ToT, E);
8963template <
class Emitter>
8964bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8969 unsigned NumElems = 0;
8972 NumElems = VT->getNumElements();
8973 ElemType = VT->getElementType();
8975 NumElems = MT->getNumElementsFlattened();
8976 ElemType = MT->getElementType();
8979 PrimType ElemT = classifyPrim(ElemType);
8980 for (
unsigned I = 0; I != NumElems; ++I) {
8981 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8983 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8985 if (!this->emitInitElem(ElemT, I, E))
8995 QualType ArrElemType = CAT->getElementType();
8996 unsigned ArrSize = CAT->getZExtSize();
8999 for (
unsigned I = 0; I != ArrSize; ++I) {
9000 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9002 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
9004 if (!this->emitInitElem(*ElemT, I, E))
9008 for (
unsigned I = 0; I != ArrSize; ++I) {
9009 if (!this->emitConstUint32(I, E))
9011 if (!this->emitArrayElemPtrUint32(E))
9013 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
9015 if (!this->emitFinishInitPop(E))
9025 const Record *
R = getRecord(DestType);
9029 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9031 const Record::Base *B =
R->getBase(BS.getType());
9033 if (!this->emitGetPtrBase(B->Offset, E))
9035 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
9037 if (!this->emitFinishInitPop(E))
9042 for (
const Record::Field &F :
R->fields()) {
9043 if (F.isUnnamedBitField())
9046 QualType FieldType = F.Decl->getType();
9048 if (!this->emitGetLocal(SrcT, SrcOffset, E))
9050 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
9052 if (F.isBitField()) {
9053 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9056 if (!this->emitInitField(*FieldT, F.Offset, E))
9060 if (!this->emitGetPtrField(F.Offset, E))
9062 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
9064 if (!this->emitPopPtr(E))
9077template <
class Emitter>
9078unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
9081 return VT->getNumElements();
9083 return MT->getNumElementsFlattened();
9087 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
9091 const Record *
R = getRecord(Ty);
9095 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9097 Count += countHLSLFlatElements(BS.getType());
9099 for (
const Record::Field &F :
R->fields()) {
9100 if (F.isUnnamedBitField())
9102 Count += countHLSLFlatElements(F.Decl->getType());
9107 if (canClassify(Ty))
9116template <
class Emitter>
9117bool Compiler<Emitter>::emitHLSLFlattenAggregate(
9118 QualType SrcType,
unsigned SrcOffset,
9123 auto saveToLocal = [&](
PrimType T) ->
bool {
9124 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
9125 if (!this->emitSetLocal(
T, Offset, E))
9127 Elements.push_back({Offset,
T});
9133 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9134 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9135 return std::nullopt;
9140 unsigned NumElems = 0;
9143 NumElems = VT->getNumElements();
9144 ElemType = VT->getElementType();
9146 NumElems = MT->getNumElementsFlattened();
9147 ElemType = MT->getElementType();
9150 PrimType ElemT = classifyPrim(ElemType);
9151 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9152 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9154 if (!this->emitArrayElemPop(ElemT, I, E))
9156 if (!saveToLocal(ElemT))
9166 QualType ArrElemType = CAT->getElementType();
9167 unsigned ArrSize = CAT->getZExtSize();
9170 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9171 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9173 if (!this->emitArrayElemPop(*ElemT, I, E))
9175 if (!saveToLocal(*ElemT))
9179 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9180 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9182 if (!this->emitConstUint32(I, E))
9184 if (!this->emitArrayElemPtrPopUint32(E))
9189 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9200 const Record *
R = getRecord(SrcType);
9204 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9206 if (Elements.size() >= MaxElements)
9208 const Record::Base *B =
R->getBase(BS.getType());
9210 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9212 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9217 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9223 for (
const Record::Field &F :
R->fields()) {
9224 if (Elements.size() >= MaxElements)
9226 if (F.isUnnamedBitField())
9229 QualType FieldType = F.Decl->getType();
9230 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9232 if (!this->emitGetPtrFieldPop(F.Offset, E))
9236 if (!this->emitLoadPop(*FieldT, E))
9238 if (!saveToLocal(*FieldT))
9242 if (!FieldPtrOffset)
9244 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9260template <
class Emitter>
9261bool Compiler<Emitter>::emitHLSLConstructAggregate(
9267 const auto &Src = Elements[ElemIdx++];
9268 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9270 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9274 unsigned NumElems = 0;
9277 NumElems = VT->getNumElements();
9278 ElemType = VT->getElementType();
9280 NumElems = MT->getNumElementsFlattened();
9281 ElemType = MT->getElementType();
9284 PrimType DestElemT = classifyPrim(ElemType);
9285 for (
unsigned I = 0; I != NumElems; ++I) {
9286 if (!loadAndCast(DestElemT, ElemType))
9288 if (!this->emitInitElem(DestElemT, I, E))
9298 QualType ArrElemType = CAT->getElementType();
9299 unsigned ArrSize = CAT->getZExtSize();
9302 for (
unsigned I = 0; I != ArrSize; ++I) {
9303 if (!loadAndCast(*ElemT, ArrElemType))
9305 if (!this->emitInitElem(*ElemT, I, E))
9309 for (
unsigned I = 0; I != ArrSize; ++I) {
9310 if (!this->emitConstUint32(I, E))
9312 if (!this->emitArrayElemPtrUint32(E))
9314 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9316 if (!this->emitFinishInitPop(E))
9326 const Record *
R = getRecord(DestType);
9330 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9332 const Record::Base *B =
R->getBase(BS.getType());
9334 if (!this->emitGetPtrBase(B->Offset, E))
9336 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9338 if (!this->emitFinishInitPop(E))
9343 for (
const Record::Field &F :
R->fields()) {
9344 if (F.isUnnamedBitField())
9347 QualType FieldType = F.Decl->getType();
9349 if (!loadAndCast(*FieldT, FieldType))
9351 if (F.isBitField()) {
9352 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9355 if (!this->emitInitField(*FieldT, F.Offset, E))
9359 if (!this->emitGetPtrField(F.Offset, E))
9361 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9363 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
bool hasLValuePath() 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
This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
Get the raw integer representation of this quantity.
static CharUnits One()
Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
const ValueInfo * getValueInfo(ComparisonCategoryResult ValueKind) const
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
Expr * getResultExpr()
Return the result expression of this controlling expression.
IfStmt - This represents an if/then/else.
bool isNonNegatedConsteval() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
const Expr * getSubExpr() const
Represents an implicitly-generated value initialization of an object of a given type.
Represents a field injected from an anonymous union/struct into the parent scope.
Describes an C or C++ initializer list.
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument for this lambda expression (which initializes the first ca...
CXXRecordDecl * getLambdaClass() const
Retrieve the class that corresponds to the lambda.
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()