20#include "llvm/Support/SaveAndRestore.h"
31 if (
const auto *CE = dyn_cast_if_present<ConstantExpr>(E);
32 CE && CE->hasAPValueResult() &&
34 return CE->getResultAsAPSInt().getBoolValue();
66 llvm_unreachable(
"Shouldn't be called");
132 this->
Ctx->emitDestroy(*
Idx, E);
139 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
140 this->
Ctx->Descriptors.emplace_back();
141 this->
Ctx->emitInitScope(*
Idx, {});
145 this->
Ctx->Descriptors[*
Idx].emplace_back(Local);
155 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
156 this->
Ctx->Descriptors.emplace_back();
157 this->
Ctx->emitInitScope(*
Idx, {});
168 if (Local.Desc->hasTrivialDtor())
171 if (!Local.EnabledByDefault) {
172 typename Emitter::LabelTy EndLabel = this->
Ctx->getLabel();
173 if (!this->
Ctx->emitGetLocalEnabled(Local.Offset, E))
175 if (!this->
Ctx->jumpFalse(EndLabel, E))
178 if (!this->
Ctx->emitGetPtrLocal(Local.Offset, E))
181 if (!this->
Ctx->emitDestructionPop(Local.Desc, Local.Desc->getLoc()))
184 this->
Ctx->fallthrough(EndLabel);
185 this->
Ctx->emitLabel(EndLabel);
187 if (!this->
Ctx->emitGetPtrLocal(Local.Offset, E))
189 if (!this->
Ctx->emitDestructionPop(Local.Desc, Local.Desc->getLoc()))
208 if (
const auto *OVE =
209 llvm::dyn_cast_if_present<OpaqueValueExpr>(Local.Desc->asExpr())) {
210 this->
Ctx->OpaqueExprs.erase(OVE);
222 OldArrayIndex = Ctx->ArrayIndex;
223 Ctx->ArrayIndex = Index;
230 std::optional<uint64_t> OldArrayIndex;
238 if (!Ctx->SourceLocDefaultExpr) {
240 Ctx->SourceLocDefaultExpr = DefaultExpr;
246 Ctx->SourceLocDefaultExpr =
nullptr;
251 bool Enabled =
false;
257 Ctx->InitStack.push_back(std::move(
Link));
269 : Ctx(Ctx), OldValue(Ctx->InitStackActive), Active(Active) {
270 Ctx->InitStackActive = Active;
276 this->Ctx->InitStackActive = OldValue;
278 Ctx->InitStack.pop_back();
292 OldInitializingDecl(
Ctx->InitializingDecl) {
293 Ctx->InitializingDecl = VD;
298 this->
Ctx->InitializingDecl = OldInitializingDecl;
299 this->
Ctx->InitStack.pop_back();
304 const VarDecl *OldInitializingDecl;
312 bool NewInitializing,
bool NewToLValue)
313 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
314 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
315 Ctx->DiscardResult = NewDiscardResult;
316 Ctx->Initializing = NewInitializing;
317 Ctx->ToLValue = NewToLValue;
321 Ctx->DiscardResult = OldDiscardResult;
322 Ctx->Initializing = OldInitializing;
323 Ctx->ToLValue = OldToLValue;
330 bool OldDiscardResult;
331 bool OldInitializing;
335template <
class Emitter>
339 return Ctx->emitThis(E);
342 return Ctx->emitGetPtrFieldPop(
Offset, E);
344 return Ctx->emitGetPtrBasePop(
Offset,
false, E);
346 return Ctx->emitGetPtrLocal(
Offset, E);
350 if (!Ctx->emitConstUint32(
Offset, E))
352 return Ctx->emitArrayElemPtrPopUint32(E);
354 return Ctx->emitRVOPtr(E);
358 llvm_unreachable(
"Unhandled InitLink kind");
374 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
375 assert(LI.Name != Name);
378 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
399 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
401 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
402 assert(LI.Name != Name);
405 this->Ctx->CaseLabels = std::move(CaseLabels);
406 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
408 DefaultLabel, Ctx->VarScope);
412 this->Ctx->CaseLabels = std::move(OldCaseLabels);
413 this->Ctx->LabelInfoStack.pop_back();
418 CaseMap OldCaseLabels;
429 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
432 Ctx->LocOverride = NewValue;
437 Ctx->LocOverride = OldFlag;
442 std::optional<SourceInfo> OldFlag;
449template <
class Emitter>
457 case CK_LValueToRValue: {
468 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
474 if (
auto GlobalIndex =
P.getGlobal(D))
475 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
476 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
477 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
478 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
479 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
480 return this->emitGetParam(*SubExprT, It->second.Index, E);
492 if (!this->emitGetPtrLocal(*LocalIndex, E))
496 if (!this->
visit(SubExpr))
500 return this->emitLoadPop(*SubExprT, E);
505 return this->emitMemcpy(E);
508 case CK_DerivedToBaseMemberPointer: {
519 ->getMostRecentCXXRecordDecl();
521 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
522 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
524 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
532 case CK_BaseToDerivedMemberPointer: {
543 ->getMostRecentCXXRecordDecl();
547 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
549 PathI != PathE; ++PathI) {
550 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
551 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
553 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
560 assert(ToDecl != CurDecl);
561 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
563 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
569 case CK_UncheckedDerivedToBase:
570 case CK_DerivedToBase: {
575 if (
const auto *PT = dyn_cast<PointerType>(Ty))
576 return PT->getPointeeType()->getAsCXXRecordDecl();
577 return Ty->getAsCXXRecordDecl();
584 if (B->isVirtual()) {
585 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
587 CurType = B->getType();
589 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
590 if (!this->emitGetPtrBasePop(
593 CurType = B->getType();
600 case CK_BaseToDerived: {
603 unsigned DerivedOffset =
609 return this->emitGetPtrDerivedPop(DerivedOffset,
614 case CK_FloatingCast: {
617 return this->emitVectorConversion(E->
getSubExpr(), E);
621 if (!this->
visit(SubExpr))
623 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
627 case CK_IntegralToFloating: {
629 return this->emitVectorConversion(E->
getSubExpr(), E);
632 if (!this->
visit(SubExpr))
634 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
635 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
636 TargetSemantics, getFPOptions(E), E);
639 case CK_FloatingToBoolean: {
641 return this->emitVectorConversion(E->
getSubExpr(), E);
645 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
646 return this->emitConstBool(FL->getValue().isNonZero(), E);
647 if (!this->
visit(SubExpr))
649 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
652 case CK_FloatingToIntegral: {
654 return this->emitVectorConversion(E->
getSubExpr(), E);
657 if (!this->
visit(SubExpr))
661 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
664 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
667 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
670 case CK_NullToPointer:
671 case CK_NullToMemberPointer: {
674 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
679 case CK_PointerToIntegral: {
680 if (!this->
visit(SubExpr))
686 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
692 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
694 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
695 return this->emitCastPointerIntegral(
T, E);
698 case CK_ArrayToPointerDecay: {
699 if (!this->
visit(SubExpr))
701 return this->emitArrayDecay(E);
704 case CK_IntegralToPointer: {
706 assert(IntType->isIntegralOrEnumerationType());
707 if (!this->
visit(SubExpr))
721 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
724 case CK_AtomicToNonAtomic:
725 case CK_ConstructorConversion:
726 case CK_FunctionToPointerDecay:
727 case CK_NonAtomicToAtomic:
729 case CK_UserDefinedConversion:
730 case CK_AddressSpaceConversion:
731 case CK_CPointerToObjCPointerCast:
748 return this->emitBuiltinBitCast(E);
763 if (!this->
visit(SubExpr))
771 return this->emitFnPtrCast(E);
778 if (!this->
visit(SubExpr))
780 return this->emitDecayPtr(*FromT, *ToT, E);
782 case CK_IntegralToBoolean:
783 case CK_FixedPointToBoolean: {
785 return this->emitVectorConversion(E->
getSubExpr(), E);
791 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
792 return this->emitConst(IL->getValue(), E);
793 if (!this->
visit(SubExpr))
798 case CK_IntegralCast:
800 return this->emitVectorConversion(E->
getSubExpr(), E);
802 case CK_BooleanToSignedIntegral: {
809 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
814 if (!this->emitConst(IL->getValue(), SubExpr))
817 if (!this->
visit(SubExpr))
825 if (!ED->isFixed()) {
826 if (!this->emitCheckEnumValue(*FromT, ED, E))
832 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
835 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
840 if (!this->emitCast(*FromT, *ToT, E))
843 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
844 return this->emitNeg(*ToT, E);
848 case CK_PointerToBoolean:
849 case CK_MemberPointerToBoolean: {
852 if (!this->
visit(SubExpr))
854 return this->emitIsNonNull(PtrT, E);
857 case CK_IntegralComplexToBoolean:
858 case CK_FloatingComplexToBoolean: {
859 if (!this->
visit(SubExpr))
861 return this->emitComplexBoolCast(SubExpr);
864 case CK_IntegralComplexToReal:
865 case CK_FloatingComplexToReal:
866 return this->emitComplexReal(SubExpr);
868 case CK_IntegralRealToComplex:
869 case CK_FloatingRealToComplex: {
876 if (!this->emitGetPtrLocal(*LocalIndex, E))
885 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
887 return this->emitInitElem(
T, 1, SubExpr);
890 case CK_IntegralComplexCast:
891 case CK_FloatingComplexCast:
892 case CK_IntegralComplexToFloatingComplex:
893 case CK_FloatingComplexToIntegralComplex: {
900 if (!this->emitGetPtrLocal(*LocalIndex, E))
907 unsigned SubExprOffset =
909 if (!this->
visit(SubExpr))
911 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
919 for (
unsigned I = 0; I != 2; ++I) {
920 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
922 if (!this->emitArrayElemPop(SourceElemT, I, E))
926 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
930 if (!this->emitInitElem(DestElemT, I, E))
936 case CK_VectorSplat: {
947 if (!this->emitGetPtrLocal(*LocalIndex, E))
953 unsigned ElemOffset =
957 if (!this->
visit(SubExpr))
962 if (!this->emitSetLocal(ElemT, ElemOffset, E))
965 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
966 if (!this->emitGetLocal(ElemT, ElemOffset, E))
968 if (!this->emitInitElem(ElemT, I, E))
975 case CK_HLSLVectorTruncation: {
980 if (!this->
visit(SubExpr))
982 return this->emitArrayElemPop(*ResultT, 0, E);
991 if (!this->emitGetPtrLocal(*LocalIndex, E))
996 if (!this->
visit(SubExpr))
998 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1002 case CK_IntegralToFixedPoint: {
1003 if (!this->
visit(SubExpr))
1007 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1012 return this->emitPopFixedPoint(E);
1015 case CK_FloatingToFixedPoint: {
1016 if (!this->
visit(SubExpr))
1020 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1021 if (!this->emitCastFloatingFixedPoint(Sem, E))
1024 return this->emitPopFixedPoint(E);
1027 case CK_FixedPointToFloating: {
1028 if (!this->
visit(SubExpr))
1030 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1031 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1034 return this->emitPopFloat(E);
1037 case CK_FixedPointToIntegral: {
1038 if (!this->
visit(SubExpr))
1041 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1044 return this->emitPop(IntegralT, E);
1047 case CK_FixedPointCast: {
1048 if (!this->
visit(SubExpr))
1051 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1052 if (!this->emitCastFixedPoint(Sem, E))
1055 return this->emitPopFixedPoint(E);
1063 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1065 case CK_LValueBitCast:
1070 case CK_HLSLArrayRValue: {
1077 if (!this->emitGetPtrLocal(*LocalIndex, E))
1080 if (!this->
visit(SubExpr))
1082 return this->emitMemcpy(E);
1085 case CK_HLSLMatrixTruncation: {
1090 if (!this->
visit(SubExpr))
1092 return this->emitArrayElemPop(*ResultT, 0, E);
1101 if (!this->emitGetPtrLocal(*LocalIndex, E))
1106 if (!this->
visit(SubExpr))
1108 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1112 case CK_HLSLAggregateSplatCast: {
1122 if (!this->emitGetPtrLocal(*LocalIndex, E))
1129 unsigned SrcOffset =
1132 if (!this->
visit(SubExpr))
1134 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1138 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1141 case CK_HLSLElementwiseCast: {
1152 unsigned SrcPtrOffset =
1154 if (!this->
visit(SubExpr))
1156 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1160 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1162 if (Elements.empty())
1165 const HLSLFlatElement &Src = Elements[0];
1166 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1168 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1175 if (!this->emitGetPtrLocal(*LocalIndex, E))
1179 unsigned SrcOffset =
1181 if (!this->
visit(SubExpr))
1183 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1187 unsigned ElemCount = countHLSLFlatElements(DestType);
1190 Elements.reserve(ElemCount);
1191 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1196 assert(Elements.size() == ElemCount &&
1197 "Source type has fewer scalar elements than the destination type");
1199 return emitHLSLConstructAggregate(DestType, Elements, E);
1206 const Record::Field *RF = R->getField(UnionField);
1207 QualType FieldType = RF->Decl->getType();
1210 if (!this->
visit(SubExpr))
1212 if (RF->isBitField())
1213 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1215 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1218 if (!this->emitGetPtrField(RF->Offset, E))
1220 if (!this->emitActivate(E))
1226 return this->emitInvalid(E);
1228 llvm_unreachable(
"Unhandled clang::CastKind enum");
1231template <
class Emitter>
1233 return this->emitBuiltinBitCast(E);
1236template <
class Emitter>
1241 return this->emitConst(
LE->getValue(),
LE);
1244template <
class Emitter>
1250 return this->emitFloat(F, E);
1253template <
class Emitter>
1263 if (!this->emitGetPtrLocal(*LocalIndex, E))
1270 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1272 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1277template <
class Emitter>
1285 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1290template <
class Emitter>
1295template <
class Emitter>
1322 return this->emitComplexComparison(LHS, RHS, E);
1330 if (!this->
visit(LHS))
1333 if (!this->
visit(RHS))
1336 if (!this->emitToMemberPtr(E))
1342 if (!this->emitCastMemberPtrPtr(E))
1359 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1365 if (!this->emitGetPtrLocal(*ResultIndex, E))
1372 return this->emitCMP3(*
LT, CmpInfo, E);
1375 if (!
LT || !RT || !
T)
1385 return this->visitAssignment(LHS, RHS, E);
1392 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1396 return this->emitPopBool(E);
1398 return this->emitCast(
PT_Bool, *
T, E);
1402 auto Discard = [
this,
T, E](
bool Result) {
1410 return MaybeCastToBool(this->emitEQ(*
LT, E));
1412 return MaybeCastToBool(this->emitNE(*
LT, E));
1414 return MaybeCastToBool(this->emitLT(*
LT, E));
1416 return MaybeCastToBool(this->emitLE(*
LT, E));
1418 return MaybeCastToBool(this->emitGT(*
LT, E));
1420 return MaybeCastToBool(this->emitGE(*
LT, E));
1423 return Discard(this->emitSubf(getFPOptions(E), E));
1424 return Discard(this->emitSub(*
T, E));
1427 return Discard(this->emitAddf(getFPOptions(E), E));
1428 return Discard(this->emitAdd(*
T, E));
1431 return Discard(this->emitMulf(getFPOptions(E), E));
1432 return Discard(this->emitMul(*
T, E));
1434 return Discard(this->emitRem(*
T, E));
1437 return Discard(this->emitDivf(getFPOptions(E), E));
1438 return Discard(this->emitDiv(*
T, E));
1440 return Discard(this->emitBitAnd(*
T, E));
1442 return Discard(this->emitBitOr(*
T, E));
1444 return Discard(this->emitShl(*
LT, *RT, E));
1446 return Discard(this->emitShr(*
LT, *RT, E));
1448 return Discard(this->emitBitXor(*
T, E));
1451 llvm_unreachable(
"Already handled earlier");
1456 llvm_unreachable(
"Unhandled binary op");
1461template <
class Emitter>
1467 if ((Op != BO_Add && Op != BO_Sub) ||
1478 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1479 if (!this->
visit(E))
1482 return this->emitDecayPtr(
T,
PT_Ptr, E);
1491 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1499 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1502 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1509 if (!visitAsPointer(RHS, *RT))
1511 if (!this->
visit(LHS))
1515 if (!visitAsPointer(LHS, *
LT))
1517 if (!this->
visit(RHS))
1528 if (!this->emitAddOffset(OffsetType, E))
1532 if (!this->emitSubOffset(OffsetType, E))
1541 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1546 return this->emitPop(ExprT, E);
1550template <
class Emitter>
1559 LabelTy LabelTrue = this->getLabel();
1560 LabelTy LabelEnd = this->getLabel();
1564 if (!this->jumpTrue(LabelTrue, E))
1569 if (!this->jump(LabelEnd, E))
1572 this->emitLabel(LabelTrue);
1573 this->emitConstBool(
true, E);
1574 this->fallthrough(LabelEnd);
1575 this->emitLabel(LabelEnd);
1578 assert(Op == BO_LAnd);
1581 LabelTy LabelFalse = this->getLabel();
1582 LabelTy LabelEnd = this->getLabel();
1586 if (!this->jumpFalse(LabelFalse, E))
1591 if (!this->jump(LabelEnd, E))
1594 this->emitLabel(LabelFalse);
1595 this->emitConstBool(
false, E);
1596 this->fallthrough(LabelEnd);
1597 this->emitLabel(LabelEnd);
1601 return this->emitPopBool(E);
1606 return this->emitCast(
PT_Bool,
T, E);
1611template <
class Emitter>
1618 if (!this->emitGetPtrLocal(*LocalIndex, E))
1627 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1628 unsigned ResultOffset = ~0u;
1634 if (!this->emitDupPtr(E))
1636 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1641 LHSType = AT->getValueType();
1644 RHSType = AT->getValueType();
1653 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1658 if (!this->
visit(LHS))
1660 if (!this->
visit(RHS))
1662 if (!this->emitMulc(ElemT, E))
1665 return this->emitPopPtr(E);
1669 if (Op == BO_Div && RHSIsComplex) {
1676 if (!LHSIsComplex) {
1681 LHSOffset = *LocalIndex;
1683 if (!this->emitGetPtrLocal(LHSOffset, E))
1686 if (!this->
visit(LHS))
1689 if (!this->emitInitElem(ElemT, 0, E))
1692 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1694 if (!this->emitInitElem(ElemT, 1, E))
1697 if (!this->
visit(LHS))
1701 if (!this->
visit(RHS))
1703 if (!this->emitDivc(ElemT, E))
1706 return this->emitPopPtr(E);
1713 if (!this->
visit(LHS))
1715 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1720 if (!this->
visit(LHS))
1722 if (!this->emitSetLocal(LHST, LHSOffset, E))
1730 if (!this->
visit(RHS))
1732 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1737 if (!this->
visit(RHS))
1739 if (!this->emitSetLocal(RHST, RHSOffset, E))
1746 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1747 unsigned ElemIndex,
unsigned Offset,
1748 const Expr *E) ->
bool {
1750 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1752 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1755 if (ElemIndex == 0 || !LoadZero)
1762 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1765 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1772 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1775 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1778 if (!this->emitAddf(getFPOptions(E), E))
1781 if (!this->emitAdd(ResultElemT, E))
1786 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1789 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1792 if (!this->emitSubf(getFPOptions(E), E))
1795 if (!this->emitSub(ResultElemT, E))
1800 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1803 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1807 if (!this->emitMulf(getFPOptions(E), E))
1810 if (!this->emitMul(ResultElemT, E))
1815 assert(!RHSIsComplex);
1816 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1819 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1823 if (!this->emitDivf(getFPOptions(E), E))
1826 if (!this->emitDiv(ResultElemT, E))
1837 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1840 if (!this->emitPop(ResultElemT, E))
1845 return this->emitPopPtr(E);
1851template <
class Emitter>
1856 "Comma op should be handled in VisitBinaryOperator");
1870 if (!this->emitGetPtrLocal(*LocalIndex, E))
1884 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1887 if (!this->
visit(LHS))
1889 if (!this->
visit(RHS))
1891 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1894 return this->emitPopPtr(E);
1899 unsigned LHSOffset =
1901 if (!this->
visit(LHS))
1903 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1907 unsigned RHSOffset =
1909 if (!this->
visit(RHS))
1911 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1923 if (NeedIntPromot) {
1925 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1930 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1931 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1933 if (!this->emitArrayElemPop(ElemT, Index, E))
1936 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1938 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1940 }
else if (NeedIntPromot) {
1941 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1947#define EMIT_ARITH_OP(OP) \
1949 if (ElemT == PT_Float) { \
1950 if (!this->emit##OP##f(getFPOptions(E), E)) \
1953 if (!this->emit##OP(ElemT, E)) \
1959 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1960 if (!getElem(LHSOffset, ElemT, I))
1962 if (!getElem(RHSOffset, RHSElemT, I))
1974 if (!this->emitRem(ElemT, E))
1978 if (!this->emitBitAnd(OpT, E))
1982 if (!this->emitBitOr(OpT, E))
1986 if (!this->emitBitXor(OpT, E))
1990 if (!this->emitShl(OpT, RHSElemT, E))
1994 if (!this->emitShr(OpT, RHSElemT, E))
1998 if (!this->emitEQ(ElemT, E))
2002 if (!this->emitNE(ElemT, E))
2006 if (!this->emitLE(ElemT, E))
2010 if (!this->emitLT(ElemT, E))
2014 if (!this->emitGE(ElemT, E))
2018 if (!this->emitGT(ElemT, E))
2023 if (!this->emitBitAnd(ResultElemT, E))
2028 if (!this->emitBitOr(ResultElemT, E))
2032 return this->emitInvalid(E);
2041 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2043 if (!this->emitNeg(ResultElemT, E))
2049 if (NeedIntPromot &&
2050 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2054 if (!this->emitInitElem(ResultElemT, I, E))
2063template <
class Emitter>
2073 auto LHSSemaInt = LHSSema.toOpaqueInt();
2075 auto RHSSemaInt = RHSSema.toOpaqueInt();
2077 if (!this->
visit(LHS))
2085 if (!this->
visit(RHS))
2094 auto ConvertResult = [&](
bool R) ->
bool {
2098 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2099 if (ResultSema != CommonSema)
2100 return this->emitCastFixedPoint(ResultSema, E);
2104 auto MaybeCastToBool = [&](
bool Result) {
2109 return this->emitPop(
T, E);
2111 return this->emitCast(
PT_Bool,
T, E);
2117 return MaybeCastToBool(this->emitEQFixedPoint(E));
2119 return MaybeCastToBool(this->emitNEFixedPoint(E));
2121 return MaybeCastToBool(this->emitLTFixedPoint(E));
2123 return MaybeCastToBool(this->emitLEFixedPoint(E));
2125 return MaybeCastToBool(this->emitGTFixedPoint(E));
2127 return MaybeCastToBool(this->emitGEFixedPoint(E));
2129 return ConvertResult(this->emitAddFixedPoint(E));
2131 return ConvertResult(this->emitSubFixedPoint(E));
2133 return ConvertResult(this->emitMulFixedPoint(E));
2135 return ConvertResult(this->emitDivFixedPoint(E));
2137 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2139 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2142 return this->emitInvalid(E);
2145 llvm_unreachable(
"unhandled binop opcode");
2148template <
class Emitter>
2157 if (!this->
visit(SubExpr))
2159 if (!this->emitNegFixedPoint(E))
2162 return this->emitPopFixedPoint(E);
2168 llvm_unreachable(
"Unhandled unary opcode");
2171template <
class Emitter>
2180 return this->visitZeroInitializer(*
T, QT, E);
2193 return this->visitZeroRecordInitializer(R, E);
2200 return this->visitZeroArrayInitializer(QT, E);
2204 QualType ElemQT = ComplexTy->getElementType();
2206 for (
unsigned I = 0; I < 2; ++I) {
2207 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2209 if (!this->emitInitElem(ElemT, I, E))
2216 unsigned NumVecElements = VecT->getNumElements();
2217 QualType ElemQT = VecT->getElementType();
2220 for (
unsigned I = 0; I < NumVecElements; ++I) {
2221 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2223 if (!this->emitInitElem(ElemT, I, E))
2230 unsigned NumElems = MT->getNumElementsFlattened();
2231 QualType ElemQT = MT->getElementType();
2234 for (
unsigned I = 0; I != NumElems; ++I) {
2235 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2237 if (!this->emitInitElem(ElemT, I, E))
2246template <
class Emitter>
2259 for (
const Expr *SubExpr : {LHS, RHS}) {
2260 if (!this->
visit(SubExpr)) {
2267 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2268 if (!this->emitExpandPtr(E))
2279 return this->emitError(E);
2282 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2286 if (!this->emitArrayElemPtrPop(*IndexT, E))
2289 return this->emitPopPtr(E);
2295 return this->emitLoadPop(*
T, E);
2298template <
class Emitter>
2300 const Expr *ArrayFiller,
const Expr *E) {
2305 QT = AT->getValueType();
2308 if (
Inits.size() == 0)
2310 return this->emitInvalid(E);
2325 if (
Inits.size() == 0)
2326 return this->visitZeroInitializer(*
T, QT, E);
2327 assert(
Inits.size() == 1);
2340 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2347 bool BitField = FieldToInit->isBitField();
2349 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2350 FieldToInit->bitWidth(), E);
2352 return this->emitInitBitField(
T, FieldToInit->Offset,
2353 FieldToInit->bitWidth(), E);
2355 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2356 return this->emitInitField(
T, FieldToInit->Offset, E);
2359 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2367 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2370 if (
Activate && !this->emitActivate(E))
2377 if (
Inits.size() == 0) {
2378 if (!this->visitZeroRecordInitializer(R, E))
2383 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2384 FToInit = ILE->getInitializedFieldInUnion();
2388 const Record::Field *FieldToInit = R->getField(FToInit);
2390 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2393 if (!initCompositeField(FieldToInit,
Init,
true))
2397 return this->emitFinishInit(E);
2400 assert(!R->isUnion());
2401 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2403 const Record::Base *B = R->getBase(BI);
2406 if (!this->emitGetPtrBase(B->Offset,
Init))
2412 unsigned FieldIndex = 0;
2413 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2414 const Record::Field *FieldToInit = R->getField(FieldIndex);
2415 if (FieldToInit->isUnnamedBitField()) {
2430 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2432 }
else if (!initCompositeField(FieldToInit,
Init)) {
2440 assert(R->getNumVirtualBases() == 0);
2442 return this->emitFinishInit(E);
2447 Ctx.getASTContext().getAsConstantArrayType(QT);
2452 !this->emitCheckArrayDestSize(NumElems, E))
2455 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2459 unsigned ElementIndex = 0;
2461 if (
const auto *EmbedS =
2462 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2470 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2471 getFPOptions(E), E))
2477 return this->emitInitElem(TargetT, ElemIndex, IL);
2479 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2495 for (; ElementIndex != NumElems; ++ElementIndex) {
2501 return this->emitFinishInit(E);
2505 unsigned NumInits =
Inits.size();
2510 QualType ElemQT = ComplexTy->getElementType();
2512 if (NumInits == 0) {
2514 for (
unsigned I = 0; I < 2; ++I) {
2515 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2517 if (!this->emitInitElem(ElemT, I, E))
2520 }
else if (NumInits == 2) {
2521 unsigned InitIndex = 0;
2526 if (!this->emitInitElem(ElemT, InitIndex, E))
2535 unsigned NumVecElements = VecT->getNumElements();
2536 assert(NumVecElements >=
Inits.size());
2538 QualType ElemQT = VecT->getElementType();
2542 unsigned InitIndex = 0;
2549 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2550 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2551 InitVecT->getNumElements(), E))
2553 InitIndex += InitVecT->getNumElements();
2555 if (!this->emitInitElem(ElemT, InitIndex, E))
2561 assert(InitIndex <= NumVecElements);
2564 for (; InitIndex != NumVecElements; ++InitIndex) {
2565 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2567 if (!this->emitInitElem(ElemT, InitIndex, E))
2574 unsigned NumElems = MT->getNumElementsFlattened();
2575 assert(
Inits.size() == NumElems);
2577 QualType ElemQT = MT->getElementType();
2583 for (
unsigned I = 0; I != NumElems; ++I) {
2586 if (!this->emitInitElem(ElemT, I, E))
2597template <
class Emitter>
2604 return this->emitInitElem(*InitT, ElemIndex,
Init);
2610 if (!this->emitConstUint32(ElemIndex,
Init))
2612 if (!this->emitArrayElemPtrUint32(
Init))
2617template <
class Emitter>
2620 bool Activate,
bool IsOperatorCall) {
2622 llvm::BitVector NonNullArgs;
2623 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2626 bool ExplicitMemberFn =
false;
2627 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2628 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2630 unsigned ArgIndex = 0;
2631 for (
const Expr *Arg : Args) {
2633 if (!this->
visit(Arg))
2641 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2642 if (DeclIndex < FuncDecl->getNumParams())
2643 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2652 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2660 if (!this->emitActivate(Arg))
2664 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2667 if (!this->emitCheckNonNullArg(ArgT, Arg))
2678template <
class Emitter>
2683template <
class Emitter>
2689template <
class Emitter>
2695template <
class Emitter>
2713template <
class Emitter>
2715 auto It = E->
begin();
2716 return this->
visit(*It);
2720 UnaryExprOrTypeTrait Kind) {
2721 bool AlignOfReturnsPreferred =
2728 T = Ref->getPointeeType();
2730 if (
T.getQualifiers().hasUnaligned())
2736 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2742template <
class Emitter>
2746 UnaryExprOrTypeTrait Kind = E->
getKind();
2749 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2755 ArgType = Ref->getPointeeType();
2761 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2762 return this->emitInvalid(E);
2764 if (Kind == UETT_SizeOf)
2773 return this->emitConst(Size.getQuantity(), E);
2776 if (Kind == UETT_CountOf) {
2782 if (
const auto *CAT =
2786 return this->emitConst(CAT->getSize(), E);
2796 if (VAT->getElementType()->isArrayType()) {
2797 std::optional<APSInt> Res =
2799 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2804 return this->emitConst(*Res, E);
2809 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2829 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2832 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2842 return this->emitConst(Size.getQuantity(), E);
2845 if (Kind == UETT_VectorElements) {
2850 return this->emitConst(VT->getNumElements(), E);
2852 return this->emitSizelessVectorElementSize(E);
2855 if (Kind == UETT_VecStep) {
2857 unsigned N = VT->getNumElements();
2864 return this->emitConst(N, E);
2866 return this->emitConst(1, E);
2869 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2878 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2880 return this->emitInvalid(E);
2882 return this->emitConst(
2883 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2891template <
class Emitter>
2900 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2903 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2904 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2906 if (
Member->getType()->isReferenceType())
2907 return this->emitLoadPopPtr(E);
2916 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2917 MD && !MD->isStatic()) {
2921 if (!this->
discard(Base) && !this->emitSideEffect(E))
2936 const Record::Field *F = R->getField(FD);
2940 const auto maybeLoadValue = [&]() ->
bool {
2944 return this->emitLoadPop(*
T, E);
2949 if (F->Decl->getType()->isReferenceType())
2950 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2951 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2954template <
class Emitter>
2964template <
class Emitter>
2978 if (!this->
visit(Common))
2980 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
2994 for (
size_t I = 0; I != Size; ++I) {
3006template <
class Emitter>
3021 return this->emitGetLocal(SubExprT, It->second, E);
3024 if (!this->
visit(SourceExpr))
3031 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3040 return this->emitGetLocal(SubExprT, LocalIndex, E);
3044template <
class Emitter>
3057 bool IsBcpCall =
false;
3058 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3059 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3063 LabelTy LabelEnd = this->getLabel();
3064 LabelTy LabelFalse = this->getLabel();
3067 if (!this->emitPushIgnoreDiags(E))
3075 if (this->checkingForUndefinedBehavior()) {
3078 if (!this->
discard(FalseExpr))
3095 if (!this->jumpFalse(LabelFalse, E))
3100 if (!this->jump(LabelEnd, E))
3102 this->emitLabel(LabelFalse);
3106 this->fallthrough(LabelEnd);
3107 this->emitLabel(LabelEnd);
3110 return this->emitPopIgnoreDiags(E);
3114template <
class Emitter>
3120 return this->emitGetStringPtr(E, E);
3124 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3125 assert(CAT &&
"a string literal that's not a constant array?");
3130 unsigned N = std::min(ArraySize, E->
getLength());
3133 for (
unsigned I = 0; I != N; ++I) {
3136 if (CharWidth == 1) {
3137 this->emitConstSint8(CodeUnit, E);
3138 this->emitInitElemSint8(I, E);
3139 }
else if (CharWidth == 2) {
3140 this->emitConstUint16(CodeUnit, E);
3141 this->emitInitElemUint16(I, E);
3142 }
else if (CharWidth == 4) {
3143 this->emitConstUint32(CodeUnit, E);
3144 this->emitInitElemUint32(I, E);
3146 llvm_unreachable(
"unsupported character width");
3151 for (
unsigned I = N; I != ArraySize; ++I) {
3152 if (CharWidth == 1) {
3153 this->emitConstSint8(0, E);
3154 this->emitInitElemSint8(I, E);
3155 }
else if (CharWidth == 2) {
3156 this->emitConstUint16(0, E);
3157 this->emitInitElemUint16(I, E);
3158 }
else if (CharWidth == 4) {
3159 this->emitConstUint32(0, E);
3160 this->emitInitElemUint32(I, E);
3162 llvm_unreachable(
"unsupported character width");
3169template <
class Emitter>
3173 return this->emitDummyPtr(E, E);
3176template <
class Emitter>
3178 auto &A =
Ctx.getASTContext();
3187template <
class Emitter>
3195 auto &A =
Ctx.getASTContext();
3199 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3200 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3206 return this->emitGetStringPtr(SL, E);
3209template <
class Emitter>
3213 return this->emitConst(E->
getValue(), E);
3216template <
class Emitter>
3238 if (!this->emitLoad(LHST, E))
3241 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3242 LHSComputationType, E))
3254 unsigned TempOffset =
3256 if (!this->emitSetLocal(*RT, TempOffset, E))
3262 if (!this->emitLoad(LHST, E))
3266 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3267 LHSComputationType, E))
3271 if (!this->emitGetLocal(*RT, TempOffset, E))
3277 if (!this->emitAddf(getFPOptions(E), E))
3281 if (!this->emitSubf(getFPOptions(E), E))
3285 if (!this->emitMulf(getFPOptions(E), E))
3289 if (!this->emitDivf(getFPOptions(E), E))
3300 return this->emitStorePop(LHST, E);
3301 return this->emitStore(LHST, E);
3304template <
class Emitter>
3313 if (Op != BO_AddAssign && Op != BO_SubAssign)
3322 if (!this->emitLoad(*
LT, LHS))
3328 if (Op == BO_AddAssign) {
3329 if (!this->emitAddOffset(*RT, E))
3332 if (!this->emitSubOffset(*RT, E))
3337 return this->emitStorePopPtr(E);
3338 return this->emitStorePtr(E);
3341template <
class Emitter>
3354 if (!
Ctx.getLangOpts().CPlusPlus14)
3355 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3357 if (!
LT || !RT || !ResultT || !LHSComputationT)
3374 if (!this->emitLoad(*
LT, E))
3376 if (
LT != LHSComputationT &&
3377 !this->emitIntegralCast(*
LT, *LHSComputationT,
3391 unsigned TempOffset =
3394 if (!this->emitSetLocal(*RT, TempOffset, E))
3401 if (!this->emitLoad(*
LT, E))
3403 if (
LT != LHSComputationT &&
3404 !this->emitIntegralCast(*
LT, *LHSComputationT,
3409 if (!this->emitGetLocal(*RT, TempOffset, E))
3416 if (!this->emitAdd(*LHSComputationT, E))
3420 if (!this->emitSub(*LHSComputationT, E))
3424 if (!this->emitMul(*LHSComputationT, E))
3428 if (!this->emitDiv(*LHSComputationT, E))
3432 if (!this->emitRem(*LHSComputationT, E))
3436 if (!this->emitShl(*LHSComputationT, *RT, E))
3440 if (!this->emitShr(*LHSComputationT, *RT, E))
3444 if (!this->emitBitAnd(*LHSComputationT, E))
3448 if (!this->emitBitXor(*LHSComputationT, E))
3452 if (!this->emitBitOr(*LHSComputationT, E))
3456 llvm_unreachable(
"Unimplemented compound assign operator");
3460 if (ResultT != LHSComputationT &&
3461 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3467 return this->emitStoreBitFieldPop(*ResultT, E);
3468 return this->emitStorePop(*ResultT, E);
3471 return this->emitStoreBitField(*ResultT, E);
3472 return this->emitStore(*ResultT, E);
3475template <
class Emitter>
3483template <
class Emitter>
3498 if (!
Ctx.getLangOpts().CPlusPlus11)
3505 for (
const Expr *LHS : CommaLHSs) {
3527 if (!this->
visit(Inner))
3532 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3535 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3538 return this->emitGetPtrGlobal(*GlobalIndex, E);
3541 if (!this->checkLiteralType(Inner))
3544 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3550 return this->emitInitGlobalTempComp(TempDecl, E);
3563 unsigned LocalIndex =
3565 if (!this->VarScope->LocalsAlwaysEnabled &&
3566 !this->emitEnableLocal(LocalIndex, E))
3569 if (!this->
visit(Inner))
3571 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3574 return this->emitGetPtrLocal(LocalIndex, E);
3577 if (!this->checkLiteralType(Inner))
3584 if (!this->VarScope->LocalsAlwaysEnabled &&
3585 !this->emitEnableLocal(*LocalIndex, E))
3588 if (!this->emitGetPtrLocal(*LocalIndex, E))
3595template <
class Emitter>
3606 if (!this->
visit(SubExpr))
3610 return this->emitPopPtr(E);
3614template <
class Emitter>
3635 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3640 if (
P.isGlobalInitialized(*GlobalIndex))
3646 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3658 unsigned LocalIndex;
3662 LocalIndex = *MaybeIndex;
3666 if (!this->emitGetPtrLocal(LocalIndex, E))
3670 return this->
visit(
Init) && this->emitInit(*
T, E);
3674template <
class Emitter>
3685 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3689 if (!R || R->getNumFields() == 0)
3691 const Record::Field *Field = R->getField(0
U);
3696 return this->emitInitField(FieldT, Field->Offset, E);
3703template <
class Emitter>
3707 return this->emitConst(E->
getValue(), E);
3710template <
class Emitter>
3723 for (
const Record::Field &F : R->fields()) {
3725 if (!
Init ||
Init->containsErrors())
3733 if (!this->emitInitField(*
T, F.Offset, E))
3736 if (!this->emitGetPtrField(F.Offset, E))
3747template <
class Emitter>
3753 return this->emitGetStringPtr(E, E);
3757template <
class Emitter>
3762 return this->emitInvalid(E);
3765template <
class Emitter>
3779 if (!this->emitInvalidCast(
CastKind,
false, E))
3787 bool Fatal = (ToT != FromT);
3794template <
class Emitter>
3796 if (!
Ctx.getLangOpts().CPlusPlus20) {
3817 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3822 return this->emitPopPtr(E);
3826template <
class Emitter>
3832 return this->emitConstBool(E->
getValue(), E);
3835template <
class Emitter>
3840 if (
T->isRecordType()) {
3854 if (!this->emitGetPtrLocal(*LocalIndex, E))
3862 T->getAsCXXRecordDecl()))
3872 if (!this->visitZeroRecordInitializer(R, E))
3884 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3886 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3887 if (!this->emitCheckFunctionDecl(Ctor, E))
3898 assert(
Func->hasThisPointer());
3899 assert(!
Func->hasRVO());
3903 if (!this->emitDupPtr(E))
3907 for (
const auto *Arg : E->
arguments()) {
3908 if (!this->
visit(Arg))
3912 if (
Func->isVariadic()) {
3913 uint32_t VarArgSize = 0;
3914 unsigned NumParams =
Func->getNumWrittenParams();
3915 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3919 if (!this->emitCallVar(
Func, VarArgSize, E))
3922 if (!this->emitCall(
Func, 0, E)) {
3927 (void)this->emitPopPtr(E);
3933 return this->emitPopPtr(E);
3937 if (
T->isArrayType()) {
3942 if (!this->emitDupPtr(E))
3946 initArrayDimension = [&](
QualType T) ->
bool {
3947 if (!
T->isArrayType()) {
3949 for (
const auto *Arg : E->
arguments()) {
3950 if (!this->
visit(Arg))
3954 return this->emitCall(
Func, 0, E);
3958 Ctx.getASTContext().getAsConstantArrayType(
T);
3963 for (
size_t I = 0; I != NumElems; ++I) {
3964 if (!this->emitConstUint64(I, E))
3966 if (!this->emitArrayElemPtrUint64(E))
3968 if (!initArrayDimension(ElemTy))
3971 return this->emitPopPtr(E);
3974 return initArrayDimension(E->
getType());
3980template <
class Emitter>
3990 assert(Val.
isInt());
3992 return this->emitConst(I, E);
3999 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4000 return this->
visit(LValueExpr);
4015 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4019 const APValue &
V = UGCD->getValue();
4020 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4021 const Record::Field *F = R->getField(I);
4022 const APValue &FieldValue =
V.getStructField(I);
4028 if (!this->emitInitField(FieldT, F->Offset, E))
4036template <
class Emitter>
4042 for (
unsigned I = 0; I != N; ++I) {
4049 if (!this->
discard(ArrayIndexExpr))
4055 if (!this->
visit(ArrayIndexExpr))
4057 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4061 if (!this->
visit(ArrayIndexExpr))
4065 if (!this->emitCast(IndexT,
PT_Sint64, E))
4075 return this->emitOffsetOf(
T, E, E);
4078template <
class Emitter>
4087 return this->visitZeroInitializer(*
T, Ty, E);
4094 if (!this->emitGetPtrLocal(*LocalIndex, E))
4102 ElemQT = CT->getElementType();
4105 NumElems = VT->getNumElements();
4106 ElemQT = VT->getElementType();
4112 for (
unsigned I = 0; I != NumElems; ++I) {
4113 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4115 if (!this->emitInitElem(ElemT, I, E))
4124template <
class Emitter>
4129template <
class Emitter>
4135template <
class Emitter>
4140template <
class Emitter>
4145 return this->emitConst(E->
getValue(), E);
4148template <
class Emitter>
4153 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4168 unsigned ParamIndex = 0;
4172 if (!this->emitGetParam(PT, ParamIndex, E))
4177 return this->emitCall(F, 0, E);
4182template <
class Emitter>
4190 const Expr *PlacementDest =
nullptr;
4191 bool IsNoThrow =
false;
4196 if (PlacementArgs != 0) {
4205 if (PlacementArgs == 1) {
4213 if (!this->emitInvalidNewDeleteExpr(E, E))
4218 if (OperatorNew->isReservedGlobalPlacementOperator())
4219 PlacementDest = Arg1;
4223 return this->emitInvalid(E);
4225 }
else if (!OperatorNew
4226 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4227 return this->emitInvalidNewDeleteExpr(E, E);
4230 if (!PlacementDest) {
4235 Desc =
P.createDescriptor(E, *ElemT);
4237 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4244 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4248 const Expr *Stripped = *ArraySizeExpr;
4249 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4250 Stripped = ICE->getSubExpr())
4251 if (ICE->getCastKind() != CK_NoOp &&
4252 ICE->getCastKind() != CK_IntegralCast)
4260 if (!this->
visit(Stripped))
4262 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4265 if (PlacementDest) {
4266 if (!this->
visit(PlacementDest))
4268 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4270 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4273 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4278 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4282 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4289 size_t StaticInitElems = 0;
4290 const Expr *DynamicInit =
nullptr;
4294 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4295 StaticInitElems = CAT->getZExtSize();
4300 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4301 if (ILE->hasArrayFiller())
4302 DynamicInit = ILE->getArrayFiller();
4321 const Function *CtorFunc =
nullptr;
4322 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4326 }
else if (!DynamicInit && !ElemT)
4329 LabelTy EndLabel = this->getLabel();
4330 LabelTy StartLabel = this->getLabel();
4335 if (!this->emitDupPtr(E))
4337 if (!this->emitNullPtr(0,
nullptr, E))
4339 if (!this->emitEQPtr(E))
4341 if (!this->jumpTrue(EndLabel, E))
4348 if (!this->emitConst(StaticInitElems,
SizeT, E))
4350 if (!this->emitSetLocal(
SizeT, Iter, E))
4353 this->fallthrough(StartLabel);
4354 this->emitLabel(StartLabel);
4356 if (!this->emitGetLocal(
SizeT, Iter, E))
4358 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4360 if (!this->emitLT(
SizeT, E))
4362 if (!this->jumpFalse(EndLabel, E))
4366 if (!this->emitGetLocal(
SizeT, Iter, E))
4368 if (!this->emitArrayElemPtr(
SizeT, E))
4371 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4376 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4378 if (!this->emitStorePop(*InitT, E))
4382 if (!this->visitZeroArrayInitializer(ElemType, E))
4385 }
else if (DynamicInit) {
4387 if (!this->
visit(DynamicInit))
4389 if (!this->emitStorePop(*InitT, E))
4396 if (!this->visitZeroInitializer(
4400 if (!this->emitStorePop(*ElemT, E))
4404 if (!this->emitCall(CtorFunc, 0, E))
4409 if (!this->emitGetPtrLocal(Iter, E))
4411 if (!this->emitIncPop(
SizeT,
false, E))
4414 if (!this->jump(StartLabel, E))
4417 this->fallthrough(EndLabel);
4418 this->emitLabel(EndLabel);
4422 if (PlacementDest) {
4423 if (!this->
visit(PlacementDest))
4425 if (!this->emitCheckNewTypeMismatch(E, E))
4430 if (!this->emitAlloc(Desc, E))
4439 if (!this->emitInit(*ElemT, E))
4450 return this->emitPopPtr(E);
4455template <
class Emitter>
4461 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4462 return this->emitInvalidNewDeleteExpr(E, E);
4471template <
class Emitter>
4477 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4482 return this->emitGetFnPtr(
Func, E);
4485template <
class Emitter>
4489 auto canonType = [](
const Type *
T) {
4490 return T->getCanonicalTypeUnqualified().getTypePtr();
4498 return this->emitGetTypeid(
4502 return this->emitGetTypeid(
4511 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4517 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4520 return this->emitPopPtr(E);
4524template <
class Emitter>
4528 return this->emitDummyPtr(E, E);
4529 return this->emitError(E);
4532template <
class Emitter>
4535 return this->emitDummyPtr(E, E);
4536 return this->emitError(E);
4539template <
class Emitter>
4541 assert(
Ctx.getLangOpts().CPlusPlus);
4542 return this->emitConstBool(E->
getValue(), E);
4545template <
class Emitter>
4557 return this->emitDummyPtr(GuidDecl, E);
4562 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4571 assert(
V.isStruct());
4572 assert(
V.getStructNumBases() == 0);
4576 return this->emitFinishInit(E);
4579template <
class Emitter>
4589template <
class Emitter>
4598template <
class Emitter>
4604template <
class Emitter>
4608 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4612 if (OVE->isUnique())
4628template <
class Emitter>
4633template <
class Emitter>
4635 return this->emitError(E);
4638template <
class Emitter>
4644 return this->emitDummyPtr(E, E);
4647template <
class Emitter>
4648bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4653 QualType ElemType = VT->getElementType();
4654 PrimType ElemT = classifyPrim(ElemType);
4656 PrimType SrcElemT = classifyVectorElementType(SrcType);
4662 if (!this->emitGetPtrLocal(*LocalIndex, E))
4666 unsigned SrcOffset =
4667 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4668 if (!this->visit(Src))
4670 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4673 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4674 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4676 if (!this->emitArrayElemPop(SrcElemT, I, E))
4680 if (SrcElemT != ElemT) {
4681 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4683 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4684 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4688 if (!this->emitInitElem(ElemT, I, E))
4694template <
class Emitter>
4696 return emitVectorConversion(E->
getSrcExpr(), E);
4699template <
class Emitter>
4703 return this->emitInvalid(E);
4712 assert(NumOutputElems > 0);
4718 if (!this->emitGetPtrLocal(*LocalIndex, E))
4723 unsigned VectorOffsets[2];
4724 for (
unsigned I = 0; I != 2; ++I) {
4727 if (!this->
visit(Vecs[I]))
4729 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4732 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4734 assert(ShuffleIndex >= -1);
4735 if (ShuffleIndex == -1)
4736 return this->emitInvalidShuffleVectorIndex(I, E);
4738 assert(ShuffleIndex < (NumInputElems * 2));
4739 if (!this->emitGetLocal(
PT_Ptr,
4740 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4742 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4743 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4746 if (!this->emitInitElem(ElemT, I, E))
4751 return this->emitPopPtr(E);
4756template <
class Emitter>
4761 Base->getType()->isVectorType() ||
4767 if (Indices.size() == 1) {
4772 if (!this->emitConstUint32(Indices[0], E))
4774 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4784 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4792 if (!this->emitGetPtrLocal(*ResultIndex, E))
4800 uint32_t DstIndex = 0;
4801 for (uint32_t I : Indices) {
4802 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4804 if (!this->emitArrayElemPop(ElemT, I, E))
4806 if (!this->emitInitElem(ElemT, DstIndex, E))
4816template <
class Emitter>
4820 return this->
discard(SubExpr) && this->emitInvalid(E);
4826 return this->emitDummyPtr(E, E);
4829template <
class Emitter>
4834 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4839 if (!this->
visit(SubExpr))
4841 if (!this->emitConstUint8(0, E))
4843 if (!this->emitArrayElemPtrPopUint8(E))
4845 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4850 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4852 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4854 assert(SecondFieldT ==
PT_Ptr);
4856 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4858 if (!this->emitExpandPtr(E))
4862 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4864 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4867template <
class Emitter>
4882 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4886 return this->emitUnsupported(E);
4895 return this->
Visit(E);
4902 return this->
Visit(E);
4906 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4909 if (
const auto *CE = dyn_cast<CastExpr>(E);
4911 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4918 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4921 if (
const auto *CE = dyn_cast<CastExpr>(E);
4922 CE && (CE->getCastKind() == CK_DerivedToBase ||
4923 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4924 CE->getCastKind() == CK_NoOp))
4944 if (!this->emitGetPtrLocal(*LocalIndex, E))
4954 return this->
Visit(E);
4957template <
class Emitter>
4963 return this->
Visit(E) && this->emitFinishInit(E);
4966template <
class Emitter>
4972 return this->
Visit(E) && this->emitFinishInitPop(E);
4978 return this->
Visit(E);
4989 if (!this->
visit(E))
4991 return this->emitComplexBoolCast(E);
4996 if (!this->
visit(E))
5004 return this->emitIsNonNullPtr(E);
5008 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5011 return this->emitCast(*
T,
PT_Bool, E);
5014template <
class Emitter>
5018 QT = AT->getValueType();
5022 return this->emitZeroBool(E);
5024 return this->emitZeroSint8(E);
5026 return this->emitZeroUint8(E);
5028 return this->emitZeroSint16(E);
5030 return this->emitZeroUint16(E);
5032 return this->emitZeroSint32(E);
5034 return this->emitZeroUint32(E);
5036 return this->emitZeroSint64(E);
5038 return this->emitZeroUint64(E);
5040 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5042 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5044 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5047 return this->emitNullMemberPtr(0,
nullptr, E);
5049 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5050 return this->emitFloat(F, E);
5053 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5057 llvm_unreachable(
"unknown primitive type");
5060template <
class Emitter>
5061bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5063 bool IsCompleteClass) {
5067 for (
const Record::Field &Field :
R->fields()) {
5068 if (Field.isUnnamedBitField())
5075 if (!this->visitZeroInitializer(
T, QT, E))
5078 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5082 if (!this->emitInitField(
T, Field.Offset, E))
5087 if (!this->emitGetPtrField(Field.Offset, E))
5094 if (!this->visitZeroInitializer(
T, ET, E))
5096 if (!this->emitInitElem(
T, I, E))
5101 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5104 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5112 if (!this->emitFinishInitActivatePop(E))
5116 if (!this->emitFinishInitPop(E))
5120 for (
const Record::Base &B :
R->bases()) {
5121 if (!this->emitGetPtrBase(B.Offset, E))
5123 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5125 if (!this->emitFinishInitPop(E))
5129 if (IsCompleteClass) {
5130 for (
const Record::Base &B :
R->virtual_bases()) {
5133 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5135 if (!this->emitFinishInitPop(E))
5143template <
class Emitter>
5144bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5145 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5146 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5151 for (
size_t I = 0; I != NumElems; ++I) {
5152 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5154 if (!this->emitInitElem(*ElemT, I, E))
5160 const Record *
R = getRecord(ElemType);
5164 for (
size_t I = 0; I != NumElems; ++I) {
5165 if (!this->emitConstUint32(I, E))
5167 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5169 if (!this->visitZeroRecordInitializer(R, E))
5171 if (!this->emitPopPtr(E))
5177 for (
size_t I = 0; I != NumElems; ++I) {
5178 if (!this->emitConstUint32(I, E))
5180 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5182 if (!this->visitZeroArrayInitializer(ElemType, E))
5184 if (!this->emitPopPtr(E))
5193template <
class Emitter>
5194bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5196 if (!canClassify(E->
getType()))
5201 if (!this->visit(LHS))
5203 if (!this->visit(RHS))
5206 if (!this->visit(RHS))
5208 if (!this->visit(LHS))
5216 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5220 bool Activates = refersToUnion(LHS);
5223 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5226 if (DiscardResult) {
5227 if (BitField && Activates)
5228 return this->emitStoreBitFieldActivatePop(RHT, E);
5230 return this->emitStoreBitFieldPop(RHT, E);
5232 return this->emitStoreActivatePop(RHT, E);
5234 return this->emitStorePop(RHT, E);
5237 auto maybeLoad = [&](
bool Result) ->
bool {
5243 return this->emitLoadPop(RHT, E);
5247 if (BitField && Activates)
5248 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5250 return maybeLoad(this->emitStoreBitField(RHT, E));
5252 return maybeLoad(this->emitStoreActivate(RHT, E));
5254 return maybeLoad(this->emitStore(RHT, E));
5257template <
class Emitter>
5258template <
typename T>
5262 return this->emitConstSint8(
Value, Info);
5264 return this->emitConstUint8(
Value, Info);
5266 return this->emitConstSint16(
Value, Info);
5268 return this->emitConstUint16(
Value, Info);
5270 return this->emitConstSint32(
Value, Info);
5272 return this->emitConstUint32(
Value, Info);
5274 return this->emitConstSint64(
Value, Info);
5276 return this->emitConstUint64(
Value, Info);
5278 return this->emitConstBool(
Value, Info);
5285 llvm_unreachable(
"Invalid integral type");
5288 llvm_unreachable(
"unknown primitive type");
5291template <
class Emitter>
5292template <
typename T>
5293bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5294 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5297template <
class Emitter>
5301 return this->emitConstIntAPS(
Value, Info);
5303 return this->emitConstIntAP(
Value, Info);
5305 if (
Value.isSigned())
5306 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5307 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5310template <
class Emitter>
5314 return this->emitConstIntAPS(
Value, Info);
5316 return this->emitConstIntAP(
Value, Info);
5319 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5320 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5323template <
class Emitter>
5324bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5325 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5328template <
class Emitter>
5341 Locals.insert({VD, Local});
5342 VarScope->addForScopeKind(Local, SC);
5343 return Local.Offset;
5346template <
class Emitter>
5351 bool IsTemporary =
false;
5355 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5356 Init = VarD->getInit();
5358 if (
const auto *E = Src.
asExpr()) {
5368 return std::nullopt;
5373 Locals.insert({Key, Local});
5374 VarScope->addForScopeKind(Local, SC);
5375 return Local.Offset;
5378template <
class Emitter>
5387 return std::nullopt;
5397 return Local.Offset;
5400template <
class Emitter>
5402 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5403 return PT->getPointeeType()->getAsCanonical<RecordType>();
5409 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5413template <
class Emitter>
5415 return P.getOrCreateRecord(RD);
5418template <
class Emitter>
5420 return Ctx.getOrCreateFunction(FD);
5423template <
class Emitter>
5427 auto maybeDestroyLocals = [&]() ->
bool {
5428 if (DestroyToplevelScope)
5429 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5430 return this->emitCheckAllocations(E);
5437 return this->emitRetVoid(E) && maybeDestroyLocals();
5445 return this->emitRet(*
T, E) && maybeDestroyLocals();
5453 if (!this->emitGetPtrLocal(*LocalOffset, E))
5461 return this->emitRetValue(E) && maybeDestroyLocals();
5464 return maybeDestroyLocals() &&
false;
5467template <
class Emitter>
5469 bool DestroyToplevelScope) {
5473 return this->
visitExpr(E, DestroyToplevelScope);
5476template <
class Emitter>
5488 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5489 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5503template <
class Emitter>
5505 bool ConstantContext) {
5508 if (!ConstantContext) {
5523 auto GlobalIndex =
P.getGlobal(VD);
5524 assert(GlobalIndex);
5526 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5529 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5533 auto Local =
Locals.find(VD);
5534 assert(Local !=
Locals.end());
5537 if (!this->emitGetRefLocal(Local->second.Offset, VD))
5539 }
else if (!this->emitGetLocal(*VarT, Local->second.Offset, VD))
5542 if (!this->emitGetPtrLocal(Local->second.Offset, VD))
5552 auto GlobalIndex =
P.getGlobal(VD);
5553 assert(GlobalIndex);
5554 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5563 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5566template <
class Emitter>
5577 if (!this->isActive())
5582 if (
Init &&
Init->isValueDependent())
5586 auto checkDecl = [&]() ->
bool {
5588 return !NeedsOp || this->emitCheckDecl(VD, VD);
5595 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5598 if (
P.isGlobalInitialized(*GlobalIndex))
5602 }
else if ((GlobalIndex =
5617 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5620 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5623 if (!this->emitStartInit(
Init))
5629 if (!this->emitEndInit(
Init))
5632 return this->emitFinishInitGlobal(
Init);
5642 if (!
Init ||
Init->getType()->isVoidType())
5651 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5663 if (!this->emitCheckRefInit(
Init))
5667 return this->emitSetLocal(*VarT, Offset, VD);
5675 if (!this->emitGetPtrLocal(*Offset,
Init))
5683template <
class Emitter>
5703 Locals.insert({VD, Local});
5706 if (!this->emitGetPtrLocal(Local.Offset, VD))
5712 return this->emitDestructionPop(D, VD);
5721 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5745template <
class Emitter>
5760 unsigned ParamIndex = 0;
5767 const Expr *Arg = Args[ParamIndex];
5768 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5770 unsigned ArgOffset =
5772 if (!this->
visit(Arg))
5774 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5780 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5792 if (
This->getType()->isPointerType()) {
5795 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5802 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5824template <
class Emitter>
5830 return this->emitConst(Val.
getInt(), ValType, Info);
5832 return this->emitFloat(Val.
getFloat(), Info);
5836 if (!this->emitGetMemberPtr(MemberDecl, Info))
5842 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5848 return this->emitNullMemberPtr(0,
nullptr, Info);
5853 return this->emitNull(ValType, 0,
nullptr, Info);
5858 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5859 return this->
visit(BaseExpr);
5864 QualType EntryType = VD->getType();
5865 for (
auto &Entry : Path) {
5867 uint64_t Index = Entry.getAsArrayIndex();
5870 if (!this->emitConst(Index,
PT_Uint64, Info))
5872 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5874 EntryType = ElemType;
5881 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5882 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5884 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5886 EntryType = FD->getType();
5890 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5895 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5898 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5910template <
class Emitter>
5913 bool IsCompleteClass) {
5919 if (IsCompleteClass)
5926 const Record::Base *RB = R->getBase(I);
5927 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5929 if (!this->emitGetPtrBase(RB->Offset, Info))
5934 if (!this->emitFinishInitPop(Info))
5942 const Record::Field *RF = R->getField(I);
5943 QualType FieldType = RF->Decl->getType();
5948 if (!this->emitInitField(*PT, RF->Offset, Info))
5951 if (!this->emitGetPtrField(RF->Offset, Info))
5955 if (!this->emitFinishInitPop(Info))
5961 if (IsCompleteClass) {
5966 const Record::Base *RB = R->getVirtualBase(I);
5967 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5975 if (!this->emitFinishInitPop(Info))
5991 const Record::Field *RF = R->getField(UnionField);
5992 QualType FieldType = RF->Decl->getType();
5997 if (RF->isBitField())
5998 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6000 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6003 if (!this->emitGetPtrField(RF->Offset, Info))
6005 if (!this->emitActivate(Info))
6009 return this->emitPopPtr(Info);
6013 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6014 QualType ElemType = ArrType->getElementType();
6017 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6018 const APValue &Elem = A >= InitializedElems
6027 if (!this->emitInitElem(*ElemT, A, Info))
6030 if (!this->emitConstUint32(A, Info))
6032 if (!this->emitArrayElemPtrUint32(Info))
6036 if (!this->emitPopPtr(Info))
6047template <
class Emitter>
6049 unsigned BuiltinID) {
6050 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6055 return this->emitConst(0, E);
6058 if (!this->emitStartSpeculation(E))
6060 LabelTy EndLabel = this->getLabel();
6061 if (!this->speculate(E, EndLabel))
6063 if (!this->emitEndSpeculation(E))
6065 this->fallthrough(EndLabel);
6073 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6074 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6075 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6076 BuiltinID == Builtin::BI__builtin_function_start) {
6079 return this->emitDummyPtr(E, E);
6090 if (!this->emitGetPtrLocal(*LocalIndex, E))
6095 switch (BuiltinID) {
6096 case Builtin::BI__builtin_object_size:
6097 case Builtin::BI__builtin_dynamic_object_size: {
6101 if (!this->
visit(Arg0))
6112 case Builtin::BI__assume:
6113 case Builtin::BI__builtin_assume:
6116 case Builtin::BI__atomic_is_lock_free:
6117 case Builtin::BI__atomic_always_lock_free: {
6128 for (
const auto *Arg : E->
arguments()) {
6129 if (!this->
visit(Arg))
6135 if (!this->emitCallBI(E, BuiltinID, E))
6144template <
class Emitter>
6165 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6166 DD && DD->isTrivial()) {
6168 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6170 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6171 this->emitPopPtr(E);
6187 if (!this->emitGetPtrLocal(*LocalIndex, E))
6195 if (!this->emitGetPtrLocal(*LocalIndex, E))
6199 if (!this->emitDupPtr(E))
6205 const Expr *ReversedArgs[2];
6207 bool IsAssignmentOperatorCall =
false;
6208 bool ActivateLHS =
false;
6209 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6210 OCE && OCE->isAssignmentOp()) {
6214 assert(Args.size() == 2);
6215 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6217 IsAssignmentOperatorCall =
true;
6218 ReversedArgs[0] = Args[1];
6219 ReversedArgs[1] = Args[0];
6220 Args = ReversedArgs;
6226 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6227 MD && MD->isStatic()) {
6231 Args = Args.drop_front();
6235 bool Devirtualized =
false;
6238 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6246 if (!this->
visit(Callee))
6248 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6250 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6252 if (!this->emitGetMemberPtrBase(E))
6255 const auto *InstancePtr = MC->getImplicitObjectArgument();
6262 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6263 Devirtualized =
true;
6264 if (!this->
visit(Stripped))
6267 if (!this->
visit(InstancePtr))
6271 if (!this->
visit(InstancePtr))
6275 }
else if (
const auto *PD =
6276 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6277 if (!this->emitCheckPseudoDtor(E))
6285 return this->emitPseudoDtor(E);
6286 }
else if (!FuncDecl) {
6290 if (!this->
visit(Callee))
6292 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6301 if (IsAssignmentOperatorCall) {
6302 assert(Args.size() == 2);
6305 if (!this->emitFlip(Arg2T, Arg1T, E))
6319 assert(HasRVO ==
Func->hasRVO());
6321 bool HasQualifier =
false;
6322 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6323 HasQualifier = ME->hasQualifier();
6325 bool IsVirtual =
false;
6326 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6327 IsVirtual = !Devirtualized && MD->isVirtual();
6332 if (IsVirtual && !HasQualifier) {
6333 uint32_t VarArgSize = 0;
6334 unsigned NumParams =
6335 Func->getNumWrittenParams() +
6337 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6340 if (!this->emitCallVirt(
Func, VarArgSize, E))
6342 }
else if (
Func->isVariadic()) {
6343 uint32_t VarArgSize = 0;
6344 unsigned NumParams =
6345 Func->getNumWrittenParams() +
6347 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6349 if (!this->emitCallVar(
Func, VarArgSize, E))
6352 if (!this->emitCall(
Func, 0, E))
6361 uint32_t ArgSize = 0;
6362 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6368 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6370 if (!this->emitGetMemberPtrDecl(E))
6373 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6376 if (!this->emitCallPtr(ArgSize, E, E))
6387template <
class Emitter>
6394template <
class Emitter>
6401template <
class Emitter>
6406 return this->emitConstBool(E->
getValue(), E);
6409template <
class Emitter>
6415 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6416 return this->emitNullPtr(Val,
nullptr, E);
6419template <
class Emitter>
6427 return this->emitZero(
T, E);
6430template <
class Emitter>
6435 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6436 if (this->LambdaThisCapture.Offset > 0) {
6437 if (this->LambdaThisCapture.IsPtr)
6438 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6439 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6448 return this->emitThis(E);
6463 unsigned StartIndex = 0;
6464 unsigned EndIndex = 0;
6466 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6468 EndIndex = StartIndex;
6475 for (; StartIndex > 0; --StartIndex) {
6486 if (StartIndex == 0 && EndIndex == 0)
6497 assert(StartIndex <= EndIndex);
6500 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6512 case Stmt::CompoundStmtClass:
6514 case Stmt::DeclStmtClass:
6516 case Stmt::ReturnStmtClass:
6518 case Stmt::IfStmtClass:
6520 case Stmt::WhileStmtClass:
6522 case Stmt::DoStmtClass:
6524 case Stmt::ForStmtClass:
6526 case Stmt::CXXForRangeStmtClass:
6528 case Stmt::BreakStmtClass:
6530 case Stmt::ContinueStmtClass:
6532 case Stmt::SwitchStmtClass:
6534 case Stmt::CaseStmtClass:
6536 case Stmt::DefaultStmtClass:
6538 case Stmt::AttributedStmtClass:
6540 case Stmt::CXXTryStmtClass:
6542 case Stmt::NullStmtClass:
6545 case Stmt::GCCAsmStmtClass:
6546 case Stmt::MSAsmStmtClass:
6547 case Stmt::GotoStmtClass:
6548 return this->emitInvalid(S);
6549 case Stmt::LabelStmtClass:
6551 case Stmt::CXXExpansionStmtInstantiationClass:
6555 if (
const auto *E = dyn_cast<Expr>(S))
6562template <
class Emitter>
6565 for (
const auto *InnerStmt : S->
body())
6568 return Scope.destroyLocals();
6571template <
class Emitter>
6572bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6573 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6574 for (
auto *BD : DD->flat_bindings())
6575 if (
auto *KD = BD->getHoldingVar();
6576 KD && !this->visitVarDecl(KD, KD->getInit()))
6590template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6592 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6593 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6600 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6605 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6606 ICE && (ICE->getCastKind() == CK_NoOp ||
6607 ICE->getCastKind() == CK_DerivedToBase ||
6608 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6609 E = ICE->getSubExpr();
6613 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6614 const auto *ThisRecord =
6615 This->getType()->getPointeeType()->getAsRecordDecl();
6616 if (!ThisRecord->isUnion())
6619 if (
const auto *Ctor =
6620 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6621 return Ctor->getParent() == ThisRecord;
6630template <
class Emitter>
6632 bool EvaluateConditionDecl) {
6633 for (
const auto *D : DS->
decls()) {
6638 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6639 assert(ESD->getInstantiations() &&
"not expanded?");
6640 if (!this->
visitStmt(ESD->getInstantiations()))
6645 const auto *VD = dyn_cast<VarDecl>(D);
6652 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6659template <
class Emitter>
6662 return this->emitUnsupported(RS);
6668 if (!this->
visit(RE))
6674 if (RE->getType()->isVoidType()) {
6675 if (!this->
visit(RE))
6678 if (RE->containsErrors())
6683 if (!this->emitRVOPtr(RE))
6689 return this->emitRetVoid(RS);
6695 return this->emitRetVoid(RS);
6701 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6708 if (
auto *CondInit = IS->
getInit()) {
6724 return visitChildStmt(IS->
getThen());
6726 return visitChildStmt(Else);
6732 if (!this->emitIsConstantContext(IS))
6735 if (!this->emitIsConstantContext(IS))
6737 if (!this->emitInv(IS))
6751 LabelTy LabelElse = this->getLabel();
6752 LabelTy LabelEnd = this->getLabel();
6753 if (!this->jumpFalse(LabelElse, IS))
6755 if (!visitChildStmt(IS->
getThen()))
6757 if (!this->jump(LabelEnd, IS))
6759 this->emitLabel(LabelElse);
6760 if (!visitChildStmt(Else))
6762 this->emitLabel(LabelEnd);
6764 LabelTy LabelEnd = this->getLabel();
6765 if (!this->jumpFalse(LabelEnd, IS))
6767 if (!visitChildStmt(IS->
getThen()))
6769 this->emitLabel(LabelEnd);
6778template <
class Emitter>
6783 LabelTy CondLabel = this->getLabel();
6784 LabelTy EndLabel = this->getLabel();
6788 this->fallthrough(CondLabel);
6789 this->emitLabel(CondLabel);
6805 if (!this->jumpFalse(EndLabel, S))
6815 if (!this->jump(CondLabel, S))
6817 this->fallthrough(EndLabel);
6818 this->emitLabel(EndLabel);
6827 LabelTy StartLabel = this->getLabel();
6828 LabelTy EndLabel = this->getLabel();
6829 LabelTy CondLabel = this->getLabel();
6833 this->fallthrough(StartLabel);
6834 this->emitLabel(StartLabel);
6840 this->fallthrough(CondLabel);
6841 this->emitLabel(CondLabel);
6848 if (!this->jumpTrue(StartLabel, S))
6851 this->fallthrough(EndLabel);
6852 this->emitLabel(EndLabel);
6856template <
class Emitter>
6864 LabelTy EndLabel = this->getLabel();
6865 LabelTy CondLabel = this->getLabel();
6866 LabelTy IncLabel = this->getLabel();
6873 this->fallthrough(CondLabel);
6874 this->emitLabel(CondLabel);
6886 if (!this->jumpFalse(EndLabel, S))
6895 this->fallthrough(IncLabel);
6896 this->emitLabel(IncLabel);
6902 if (!this->jump(CondLabel, S))
6906 this->emitLabel(EndLabel);
6912template <
class Emitter>
6922 LabelTy EndLabel = this->getLabel();
6923 LabelTy CondLabel = this->getLabel();
6924 LabelTy IncLabel = this->getLabel();
6939 this->fallthrough(CondLabel);
6940 this->emitLabel(CondLabel);
6943 if (!this->jumpFalse(EndLabel, S))
6954 this->fallthrough(IncLabel);
6955 this->emitLabel(IncLabel);
6960 if (!this->jump(CondLabel, S))
6963 this->fallthrough(EndLabel);
6964 this->emitLabel(EndLabel);
6968template <
class Emitter>
6979 if (LI.BreakLabel) {
6980 TargetLabel = *LI.BreakLabel;
6981 BreakScope = LI.BreakOrContinueScope;
6987 if (LI.Name == TargetLoop) {
6988 TargetLabel = *LI.BreakLabel;
6989 BreakScope = LI.BreakOrContinueScope;
7000 C =
C->getParent()) {
7001 if (!
C->destroyLocals())
7005 return this->jump(*TargetLabel, S);
7008template <
class Emitter>
7019 if (LI.ContinueLabel) {
7020 TargetLabel = *LI.ContinueLabel;
7021 ContinueScope = LI.BreakOrContinueScope;
7027 if (LI.Name == TargetLoop) {
7028 TargetLabel = *LI.ContinueLabel;
7029 ContinueScope = LI.BreakOrContinueScope;
7039 C =
C->getParent()) {
7040 if (!
C->destroyLocals())
7044 return this->jump(*TargetLabel, S);
7047template <
class Emitter>
7050 if (
Cond->containsErrors())
7057 LabelTy EndLabel = this->getLabel();
7062 if (
const auto *CondInit = S->
getInit())
7073 if (!this->emitSetLocal(CondT, CondVar, S))
7083 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7086 if (CS->caseStmtIsGNURange()) {
7087 LabelTy EndOfRangeCheck = this->getLabel();
7088 const Expr *Low = CS->getLHS();
7089 const Expr *High = CS->getRHS();
7093 if (!this->emitGetLocal(CondT, CondVar, CS))
7095 if (!this->
visit(Low))
7098 if (!this->emitGE(
LT, S))
7100 if (!this->jumpFalse(EndOfRangeCheck, S))
7103 if (!this->emitGetLocal(CondT, CondVar, CS))
7105 if (!this->
visit(High))
7108 if (!this->emitLE(HT, S))
7112 this->emitLabel(EndOfRangeCheck);
7117 if (
Value->isValueDependent())
7122 if (!this->emitGetLocal(CondT, CondVar, CS))
7128 if (!this->emitEQ(ValueT, S))
7133 assert(!DefaultLabel);
7134 DefaultLabel = this->getLabel();
7141 if (!this->jump(*DefaultLabel, S))
7144 if (!this->jump(EndLabel, S))
7152 this->fallthrough(EndLabel);
7153 this->emitLabel(EndLabel);
7158template <
class Emitter>
7166 return this->emitUnsupported(S);
7171template <
class Emitter>
7178 if (LI.DefaultLabel) {
7179 DefaultLabel = *LI.DefaultLabel;
7184 this->emitLabel(DefaultLabel);
7188template <
class Emitter>
7195 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7198 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7199 !this->Ctx.getLangOpts().MSVCCompat) {
7201 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7207 const Expr *Assumption = AA->getAssumption();
7218 if (!this->emitAssume(Assumption))
7227 if (IsMSVCConstexprAttr)
7228 return this->emitPopMSVCCE(S);
7232template <
class Emitter>
7245template <
class Emitter>
7255 LabelTy EndLabel = this->getLabel();
7257 LabelTy ContinueLabel = this->getLabel();
7262 this->emitLabel(ContinueLabel);
7265 this->emitLabel(EndLabel);
7270template <
class Emitter>
7271bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7278 assert(ClosureClass->
captures().empty());
7282 "A generic lambda's static-invoker function must be a "
7283 "template specialization");
7287 llvm::FoldingSetInsertToken InsertToken;
7288 const FunctionDecl *CorrespondingCallOpSpecialization =
7290 assert(CorrespondingCallOpSpecialization);
7291 LambdaCallOp = CorrespondingCallOpSpecialization;
7295 assert(ClosureClass->
captures().empty());
7296 const Function *
Func = this->getFunction(LambdaCallOp);
7299 assert(
Func->hasThisPointer());
7302 if (
Func->hasRVO()) {
7303 if (!this->emitRVOPtr(MD))
7311 if (!this->emitNullPtr(0,
nullptr, MD))
7316 auto It = this->Params.find(PVD);
7317 assert(It != this->Params.end());
7321 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7322 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7326 if (!this->emitCall(
Func, 0, LambdaCallOp))
7331 return this->emitRet(*ReturnType, MD);
7334 return this->emitRetVoid(MD);
7337template <
class Emitter>
7338bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7339 if (Ctx.getLangOpts().CPlusPlus23)
7349 const Expr *InitExpr =
Init->getInit();
7351 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7355 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7365template <
class Emitter>
7367 assert(!ReturnType);
7370 if (!this->emitStartThisLifetime1(Ctor))
7373 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7374 const Expr *InitExpr,
7377 if (InitExpr->getType().isNull())
7381 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7384 if (!this->visit(InitExpr))
7387 if (F->isBitField())
7388 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7390 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7395 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7398 if (
Activate && !this->emitActivate(InitExpr))
7401 return this->visitInitializerPop(InitExpr);
7405 const Record *
R = this->getRecord(RD);
7408 bool IsUnion =
R->isUnion();
7418 if (!this->emitThis(Ctor))
7421 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7424 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7425 this->emitRetVoid(Ctor);
7428 unsigned FieldInits = 0;
7431 if (
R->getNumVirtualBases() > 0) {
7432 if (!this->emitThis(Ctor))
7434 LabelTy AfterVirtBasesLabel = this->getLabel();
7437 if (!this->emitIsBaseClass({}))
7439 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7442 for (
const auto *
Init : Ctor->
inits()) {
7445 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7447 assert(
R->getVirtualBase(BaseDecl));
7448 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7450 if (!this->visitInitializerPop(
Init->getInit()))
7455 this->fallthrough(AfterVirtBasesLabel);
7456 this->emitLabel(AfterVirtBasesLabel);
7458 if (!this->emitPopPtr(Ctor))
7462 for (
const auto *
Init : Ctor->
inits()) {
7466 const Expr *InitExpr =
Init->getInit();
7468 const Record::Field *F =
R->getField(
Member);
7472 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7476 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7479 if (
Init->isBaseVirtual()) {
7485 const Record::Base *B =
R->getBase(BaseDecl);
7487 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7491 if (!this->visitInitializerPop(InitExpr))
7496 unsigned ChainSize = IFD->getChainingSize();
7497 assert(ChainSize >= 2);
7499 unsigned NestedFieldOffset = 0;
7500 const Record::Field *NestedField =
nullptr;
7501 for (
unsigned I = 0; I != ChainSize; ++I) {
7503 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7504 assert(FieldRecord);
7506 NestedField = FieldRecord->
getField(FD);
7507 assert(NestedField);
7508 IsUnion = IsUnion || FieldRecord->
isUnion();
7510 NestedFieldOffset += NestedField->Offset;
7513 if (I != ChainSize - 1)
7516 assert(NestedField);
7519 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7524 unsigned InitFieldOffset = 0;
7525 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7527 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7528 assert(FieldRecord);
7529 NestedField = FieldRecord->
getField(FD);
7530 InitFieldOffset += NestedField->Offset;
7531 assert(NestedField);
7532 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7534 if (!this->emitFinishInitPop(InitExpr))
7538 InitStack.pop_back_n(ChainSize - 1);
7541 assert(
Init->isDelegatingInitializer());
7542 if (!this->emitThis(InitExpr))
7544 if (!this->visitInitializerPop(
Init->getInit()))
7548 if (!
Scope.destroyLocals())
7552 if (FieldInits !=
R->getNumFields()) {
7553 assert(FieldInits < R->getNumFields());
7555 if (!this->emitStartThisLifetime(Ctor))
7562 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7563 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7570 if (!visitStmt(Body))
7577template <
class Emitter>
7580 const Record *
R = this->getRecord(RD);
7584 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7585 if (!this->visitStmt(
Dtor->getBody()))
7589 if (!this->emitThis(
Dtor))
7592 if (!this->emitCheckDestruction(
Dtor))
7596 if (!
R->isUnion()) {
7600 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7604 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7606 if (!this->emitDestructionPop(D,
SourceInfo{}))
7611 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7612 if (
Base.R->hasTrivialDtor())
7616 if (!this->emitRecordDestructionPop(
Base.R, {}))
7620 if (
R->getNumVirtualBases() > 0) {
7621 LabelTy EndLabel = this->getLabel();
7623 if (!this->emitIsBaseClass({}))
7625 if (!this->jumpTrue(EndLabel, {}))
7628 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7629 if (
Base.R->hasTrivialDtor())
7634 if (!this->emitRecordDestructionPop(
Base.R, {}))
7638 this->fallthrough(EndLabel);
7639 this->emitLabel(EndLabel);
7642 if (!this->emitMarkDestroyed(
Dtor))
7645 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7648template <
class Emitter>
7649bool Compiler<Emitter>::compileUnionAssignmentOperator(
7651 if (!this->emitThis(MD))
7654 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7657 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7660template <
class Emitter>
7670 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7671 return this->compileConstructor(Ctor);
7672 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7673 return this->compileDestructor(
Dtor);
7676 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7681 return this->compileUnionAssignmentOperator(MD);
7684 return this->emitLambdaStaticInvokerBody(MD);
7688 if (
const auto *Body = F->
getBody())
7702 return FD->getBitWidthValue();
7705template <
class Emitter>
7721 if (!
Ctx.getLangOpts().CPlusPlus14)
7722 return this->emitInvalid(E);
7724 return this->emitError(E);
7726 if (!this->
visit(SubExpr))
7730 if (!this->emitIncPtr(E))
7737 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7738 : this->emitIncf(getFPOptions(E), E);
7750 if (!
Ctx.getLangOpts().CPlusPlus14)
7751 return this->emitInvalid(E);
7753 return this->emitError(E);
7755 if (!this->
visit(SubExpr))
7759 if (!this->emitDecPtr(E))
7766 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7767 : this->emitDecf(getFPOptions(E), E);
7780 if (!
Ctx.getLangOpts().CPlusPlus14)
7781 return this->emitInvalid(E);
7783 return this->emitError(E);
7785 if (!this->
visit(SubExpr))
7789 if (!this->emitLoadPtr(E))
7791 if (!this->emitConstUint8(1, E))
7793 if (!this->emitAddOffsetUint8(E))
7795 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7801 return this->emitIncfPop(getFPOptions(E), E);
7811 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7812 if (!this->emitLoadFloat(E))
7814 APFloat F(TargetSemantics, 1);
7815 if (!this->emitFloat(F, E))
7818 if (!this->emitAddf(getFPOptions(E), E))
7820 if (!this->emitStoreFloat(E))
7832 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7835 if (!
Ctx.getLangOpts().CPlusPlus14)
7836 return this->emitInvalid(E);
7838 return this->emitError(E);
7840 if (!this->
visit(SubExpr))
7844 if (!this->emitLoadPtr(E))
7846 if (!this->emitConstUint8(1, E))
7848 if (!this->emitSubOffsetUint8(E))
7850 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7856 return this->emitDecfPop(getFPOptions(E), E);
7866 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7867 if (!this->emitLoadFloat(E))
7869 APFloat F(TargetSemantics, 1);
7870 if (!this->emitFloat(F, E))
7873 if (!this->emitSubf(getFPOptions(E), E))
7875 if (!this->emitStoreFloat(E))
7887 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7891 return this->emitError(E);
7894 return this->
discard(SubExpr);
7899 if (!this->emitInv(E))
7903 return this->emitCast(
PT_Bool, ET, E);
7907 return this->emitError(E);
7909 if (!this->
visit(SubExpr))
7914 return this->emitError(E);
7916 if (!this->
visit(SubExpr))
7932 if (!
Ctx.getLangOpts().CPlusPlus) {
7934 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
7935 Deref && Deref->getOpcode() == UO_Deref)
7936 return this->
delegate(Deref->getSubExpr());
7942 return this->
discard(SubExpr);
7944 if (!this->
visit(SubExpr))
7951 return this->emitNarrowPtr(E);
7956 return this->emitError(E);
7958 if (!this->
visit(SubExpr))
7972 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
7977 assert(
false &&
"Unhandled opcode");
7983template <
class Emitter>
7989 return this->
discard(SubExpr);
7992 auto prepareResult = [=]() ->
bool {
7997 return this->emitGetPtrLocal(*LocalIndex, E);
8004 unsigned SubExprOffset = ~0u;
8005 auto createTemp = [=, &SubExprOffset]() ->
bool {
8008 if (!this->
visit(SubExpr))
8010 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8014 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8015 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8017 return this->emitArrayElemPop(ElemT, Index, E);
8022 if (!prepareResult())
8026 for (
unsigned I = 0; I != 2; ++I) {
8027 if (!getElem(SubExprOffset, I))
8029 if (!this->emitNeg(ElemT, E))
8031 if (!this->emitInitElem(ElemT, I, E))
8042 if (!this->
visit(SubExpr))
8044 if (!this->emitComplexBoolCast(SubExpr))
8046 if (!this->emitInv(E))
8049 return this->emitCast(
PT_Bool, ET, E);
8053 return this->emitComplexReal(SubExpr);
8056 if (!this->
visit(SubExpr))
8060 if (!this->emitConstUint8(1, E))
8062 return this->emitArrayElemPtrPopUint8(E);
8073 if (!this->emitArrayElem(ElemT, 1, E))
8075 if (!this->emitNeg(ElemT, E))
8077 if (!this->emitInitElem(ElemT, 1, E))
8085 return this->emitInvalid(E);
8091template <
class Emitter>
8097 return this->
discard(SubExpr);
8100 if (UnaryOp == UO_Extension)
8103 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8104 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8105 return this->emitInvalid(E);
8108 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8115 if (!this->emitGetPtrLocal(*LocalIndex, E))
8120 unsigned SubExprOffset =
8122 if (!this->
visit(SubExpr))
8124 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8129 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8130 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8132 return this->emitArrayElemPop(ElemT, Index, E);
8137 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8138 if (!getElem(SubExprOffset, I))
8140 if (!this->emitNeg(ElemT, E))
8142 if (!this->emitInitElem(ElemT, I, E))
8157 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8158 if (!getElem(SubExprOffset, I))
8161 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8163 if (!this->emitInv(E))
8165 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8167 if (!this->emitNeg(ElemT, E))
8169 if (ElemT != ResultVecElemT &&
8170 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8172 if (!this->emitInitElem(ResultVecElemT, I, E))
8178 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8179 if (!getElem(SubExprOffset, I))
8182 if (!this->emitInv(E))
8185 if (!this->emitComp(ElemT, E))
8188 if (!this->emitInitElem(ElemT, I, E))
8193 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8198template <
class Emitter>
8200 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8203 return this->emitConst(ECD->getInitVal(), E);
8205 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8209 return F && this->emitGetFnPtr(F, E);
8211 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8212 TPOD = TPOD->getFirstDecl();
8216 return this->emitGetPtrGlobal(*GlobalIndex, E);
8222 return this->emitInitGlobal(*
T, *Index, E);
8225 if (!this->emitGetPtrGlobal(*Index, E))
8229 return this->emitFinishInit(E);
8241 auto maybePopPtr = [&]() ->
bool {
8243 return this->emitPopPtr(E);
8250 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8254 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8259 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8260 if (IsReference || !It->second.IsPtr)
8261 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8263 return this->emitGetPtrParam(It->second.Index, E);
8266 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8273 const unsigned Offset = It->second.Offset;
8276 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8278 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8281 if (
auto GlobalIndex =
P.getGlobal(D)) {
8283 if (!
Ctx.getLangOpts().CPlusPlus11)
8284 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8285 if (!
Ctx.getLangOpts().CPlusPlus23)
8286 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8288 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8291 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8295 auto revisit = [&](
const VarDecl *VD,
8296 bool IsConstexprUnknown =
true) ->
bool {
8298 IsConstexprUnknown);
8299 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8305 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8306 if (!this->emitPopCC(E))
8310 if (VarState.notCreated())
8318 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8320 if (
auto It = this->LambdaCaptures.find(D);
8321 It != this->LambdaCaptures.end()) {
8322 auto [Offset, IsPtr] = It->second;
8325 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8326 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8330 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8331 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8332 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8336 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8337 return this->
delegate(BD->getBinding());
8343 return this->emitDummyPtr(D, E);
8348 const auto *VD = dyn_cast<VarDecl>(D);
8350 return this->emitError(E);
8353 if (!
Ctx.getLangOpts().CPlusPlus) {
8357 return revisit(VD,
false);
8361 return this->emitDummyPtr(D, E);
8365 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8366 if (
T.isConstant(
Ctx.getASTContext()))
8368 return T->isReferenceType();
8372 typeShouldBeVisited(DeclType)) {
8374 Init && !
Init->isValueDependent()) {
8379 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8392 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8397 return revisit(VD, IsConstexprUnknown);
8398 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8399 return revisit(VD,
true);
8408 return this->emitDummyPtr(
8412template <
class Emitter>
8418template <
class Emitter>
8428 if (!
C->destroyLocals())
8434template <
class Emitter>
8435unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8438 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8440 return Ty->getAsCXXRecordDecl();
8442 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8443 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8445 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8449template <
class Emitter>
8456 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8461 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8462 getFPOptions(E), E);
8464 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8465 getFPOptions(E), E);
8469 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8474 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8476 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8480 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8484 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8485 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8492template <
class Emitter>
8495 assert(FromT != ToT);
8498 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8500 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8502 return this->emitCast(FromT, ToT, E);
8506template <
class Emitter>
8507bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8511 return this->
discard(SubExpr);
8513 if (!this->visit(SubExpr))
8516 if (!this->emitConstUint8(0, SubExpr))
8518 return this->emitArrayElemPtrPopUint8(SubExpr);
8522 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8526template <
class Emitter>
8527bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8528 assert(!DiscardResult);
8532 if (!this->emitArrayElem(ElemT, 0, E))
8535 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8538 if (!this->emitCast(ElemT,
PT_Bool, E))
8543 LabelTy LabelTrue = this->getLabel();
8544 if (!this->jumpTrue(LabelTrue, E))
8547 if (!this->emitArrayElemPop(ElemT, 1, E))
8550 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8553 if (!this->emitCast(ElemT,
PT_Bool, E))
8557 LabelTy EndLabel = this->getLabel();
8558 this->jump(EndLabel, E);
8560 this->emitLabel(LabelTrue);
8561 if (!this->emitPopPtr(E))
8563 if (!this->emitConstBool(
true, E))
8566 this->fallthrough(EndLabel);
8567 this->emitLabel(EndLabel);
8572template <
class Emitter>
8573bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8584 LHSIsComplex =
true;
8585 ElemT = classifyComplexElementType(LHS->
getType());
8586 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8587 if (!this->visit(LHS))
8589 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8592 LHSIsComplex =
false;
8594 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8595 if (!this->visit(LHS))
8597 if (!this->emitSetLocal(LHST, LHSOffset, E))
8604 RHSIsComplex =
true;
8605 ElemT = classifyComplexElementType(RHS->
getType());
8606 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8607 if (!this->visit(RHS))
8609 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8612 RHSIsComplex =
false;
8614 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8615 if (!this->visit(RHS))
8617 if (!this->emitSetLocal(RHST, RHSOffset, E))
8621 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8622 bool IsComplex) ->
bool {
8624 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8626 return this->emitArrayElemPop(ElemT, Index, E);
8628 return this->emitGetLocal(ElemT, LocalOffset, E);
8631 for (
unsigned I = 0; I != 2; ++I) {
8633 if (!getElem(LHSOffset, I, LHSIsComplex))
8635 if (!getElem(RHSOffset, I, RHSIsComplex))
8638 if (!this->emitEQ(ElemT, E))
8641 if (!this->emitCastBoolUint8(E))
8646 if (!this->emitAddUint8(E))
8648 if (!this->emitConstUint8(2, E))
8652 if (!this->emitEQUint8(E))
8655 if (!this->emitNEUint8(E))
8662 return this->emitCast(
PT_Bool, ResT, E);
8669template <
class Emitter>
8670bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8673 assert(!
R->hasTrivialDtor());
8676 const Function *DtorFunc = getFunction(
Dtor);
8679 assert(DtorFunc->hasThisPointer());
8680 assert(DtorFunc->getNumParams() == 1);
8681 return this->emitCall(DtorFunc, 0, Loc);
8686template <
class Emitter>
8687bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8699 return this->emitPopPtr(Loc);
8701 for (ssize_t I = N - 1; I >= 1; --I) {
8702 if (!this->emitConstUint64(I, Loc))
8704 if (!this->emitArrayElemPtrUint64(Loc))
8706 if (!this->emitDestructionPop(ElemDesc, Loc))
8710 if (!this->emitConstUint64(0, Loc))
8712 if (!this->emitArrayElemPtrPopUint64(Loc))
8714 return this->emitDestructionPop(ElemDesc, Loc);
8719 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8724template <
class Emitter>
8725bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
8726 assert(!DiscardResult &&
"Should've been checked before");
8727 unsigned DummyID = P.getOrCreateDummy(D, CU);
8729 if (!this->emitGetPtrGlobal(DummyID, E))
8737 return this->emitDecayPtr(
PT_Ptr, PT, E);
8743template <
class Emitter>
8746 return this->emitConstFloat(
Floating(F), Info);
8748 APInt I = F.bitcastToAPInt();
8749 return this->emitConstFloat(
8750 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8751 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8762template <
class Emitter>
8763bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8776 if (!this->emitGetPtrLocal(*LocalIndex, E))
8786 if (!this->visit(SubExpr))
8788 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8789 unsigned TempOffset =
8790 allocateLocalPrimitive(SubExpr, *FromT,
true);
8791 if (!this->visit(SubExpr))
8793 if (!this->emitSetLocal(*FromT, TempOffset, E))
8795 if (!this->emitGetPtrLocal(TempOffset, E))
8802 if (!this->emitBitCast(E))
8804 return DiscardResult ? this->emitPopPtr(E) :
true;
8808 const llvm::fltSemantics *TargetSemantics =
nullptr;
8810 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8816 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8818 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8819 ResultBitWidth, TargetSemantics,
8824 return this->emitPop(*ToT, E);
8833template <
class Emitter>
8834bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8839 unsigned NumElems = 0;
8842 NumElems = VT->getNumElements();
8843 ElemType = VT->getElementType();
8845 NumElems = MT->getNumElementsFlattened();
8846 ElemType = MT->getElementType();
8849 PrimType ElemT = classifyPrim(ElemType);
8850 for (
unsigned I = 0; I != NumElems; ++I) {
8851 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8853 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8855 if (!this->emitInitElem(ElemT, I, E))
8865 QualType ArrElemType = CAT->getElementType();
8866 unsigned ArrSize = CAT->getZExtSize();
8869 for (
unsigned I = 0; I != ArrSize; ++I) {
8870 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8872 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8874 if (!this->emitInitElem(*ElemT, I, E))
8878 for (
unsigned I = 0; I != ArrSize; ++I) {
8879 if (!this->emitConstUint32(I, E))
8881 if (!this->emitArrayElemPtrUint32(E))
8883 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8885 if (!this->emitFinishInitPop(E))
8895 const Record *
R = getRecord(DestType);
8899 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8901 const Record::Base *B =
R->getBase(BS.getType());
8903 if (!this->emitGetPtrBase(B->Offset, E))
8905 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
8907 if (!this->emitFinishInitPop(E))
8912 for (
const Record::Field &F :
R->fields()) {
8913 if (F.isUnnamedBitField())
8916 QualType FieldType = F.Decl->getType();
8918 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8920 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
8922 if (F.isBitField()) {
8923 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
8926 if (!this->emitInitField(*FieldT, F.Offset, E))
8930 if (!this->emitGetPtrField(F.Offset, E))
8932 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
8934 if (!this->emitPopPtr(E))
8947template <
class Emitter>
8948unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
8951 return VT->getNumElements();
8953 return MT->getNumElementsFlattened();
8957 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
8961 const Record *
R = getRecord(Ty);
8965 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8967 Count += countHLSLFlatElements(BS.getType());
8969 for (
const Record::Field &F :
R->fields()) {
8970 if (F.isUnnamedBitField())
8972 Count += countHLSLFlatElements(F.Decl->getType());
8977 if (canClassify(Ty))
8986template <
class Emitter>
8987bool Compiler<Emitter>::emitHLSLFlattenAggregate(
8988 QualType SrcType,
unsigned SrcOffset,
8993 auto saveToLocal = [&](
PrimType T) ->
bool {
8994 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
8995 if (!this->emitSetLocal(
T, Offset, E))
8997 Elements.push_back({Offset,
T});
9003 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9004 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9005 return std::nullopt;
9010 unsigned NumElems = 0;
9013 NumElems = VT->getNumElements();
9014 ElemType = VT->getElementType();
9016 NumElems = MT->getNumElementsFlattened();
9017 ElemType = MT->getElementType();
9020 PrimType ElemT = classifyPrim(ElemType);
9021 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9022 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9024 if (!this->emitArrayElemPop(ElemT, I, E))
9026 if (!saveToLocal(ElemT))
9036 QualType ArrElemType = CAT->getElementType();
9037 unsigned ArrSize = CAT->getZExtSize();
9040 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9041 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9043 if (!this->emitArrayElemPop(*ElemT, I, E))
9045 if (!saveToLocal(*ElemT))
9049 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9050 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9052 if (!this->emitConstUint32(I, E))
9054 if (!this->emitArrayElemPtrPopUint32(E))
9059 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9070 const Record *
R = getRecord(SrcType);
9074 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9076 if (Elements.size() >= MaxElements)
9078 const Record::Base *B =
R->getBase(BS.getType());
9080 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9082 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9087 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9093 for (
const Record::Field &F :
R->fields()) {
9094 if (Elements.size() >= MaxElements)
9096 if (F.isUnnamedBitField())
9099 QualType FieldType = F.Decl->getType();
9100 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9102 if (!this->emitGetPtrFieldPop(F.Offset, E))
9106 if (!this->emitLoadPop(*FieldT, E))
9108 if (!saveToLocal(*FieldT))
9112 if (!FieldPtrOffset)
9114 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9130template <
class Emitter>
9131bool Compiler<Emitter>::emitHLSLConstructAggregate(
9137 const auto &Src = Elements[ElemIdx++];
9138 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9140 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9144 unsigned NumElems = 0;
9147 NumElems = VT->getNumElements();
9148 ElemType = VT->getElementType();
9150 NumElems = MT->getNumElementsFlattened();
9151 ElemType = MT->getElementType();
9154 PrimType DestElemT = classifyPrim(ElemType);
9155 for (
unsigned I = 0; I != NumElems; ++I) {
9156 if (!loadAndCast(DestElemT, ElemType))
9158 if (!this->emitInitElem(DestElemT, I, E))
9168 QualType ArrElemType = CAT->getElementType();
9169 unsigned ArrSize = CAT->getZExtSize();
9172 for (
unsigned I = 0; I != ArrSize; ++I) {
9173 if (!loadAndCast(*ElemT, ArrElemType))
9175 if (!this->emitInitElem(*ElemT, I, E))
9179 for (
unsigned I = 0; I != ArrSize; ++I) {
9180 if (!this->emitConstUint32(I, E))
9182 if (!this->emitArrayElemPtrUint32(E))
9184 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9186 if (!this->emitFinishInitPop(E))
9196 const Record *
R = getRecord(DestType);
9200 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9202 const Record::Base *B =
R->getBase(BS.getType());
9204 if (!this->emitGetPtrBase(B->Offset, E))
9206 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9208 if (!this->emitFinishInitPop(E))
9213 for (
const Record::Field &F :
R->fields()) {
9214 if (F.isUnnamedBitField())
9217 QualType FieldType = F.Decl->getType();
9219 if (!loadAndCast(*FieldT, FieldType))
9221 if (F.isBitField()) {
9222 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9225 if (!this->emitInitField(*FieldT, F.Offset, E))
9229 if (!this->emitGetPtrField(F.Offset, E))
9231 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9233 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 const Expr * stripCheckedDerivedToBaseCasts(const Expr *E)
static bool hasTrivialDefaultCtorParent(const FieldDecl *FD)
static bool initNeedsOverridenLoc(const CXXCtorInitializer *Init)
Result
Implement __builtin_bit_cast and related operations.
llvm::SmallPtrSet< const ParmVarDecl *, 1 > FoundParams
bool VisitDeclRefExpr(const DeclRefExpr *E) override
a trap message and trap category.
llvm::APInt getValue() const
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const LValueBase getLValueBase() const
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
APValue & getStructField(unsigned i)
const FieldDecl * getUnionField() const
unsigned getStructNumFields() const
APValue & getStructVirtualBase(unsigned i)
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() const
unsigned getStructNumVirtualBases() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
APValue & getArrayFiller()
bool isIndeterminate() const
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
unsigned getArraySize() const
@ None
There is no such object (it's outside its lifetime).
bool isNullPointer() const
APValue & getStructBase(unsigned i)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
unsigned getPreferredTypeAlign(QualType T) const
Return the "preferred" alignment of the specified type T for the current target, in bits.
const LangOptions & getLangOpts() const
unsigned getOpenMPDefaultSimdAlign(QualType T) const
Get default simd alignment of the specified complete type in bits.
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
llvm::FixedPointSemantics getFixedPointSemantics(QualType Ty) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Expr * getCond() const
getCond - Return the expression representing the condition for the ?
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
llvm::APInt getArraySize() const
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
uint64_t getValue() const
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
Attr - This represents one attribute.
Represents an attribute applied to a statement.
ArrayRef< const Attr * > getAttrs() const
Represents a C++ declaration that introduces decls from somewhere else.
A builtin binary operation expression such as "x + y" or "x <= y".
static bool isLogicalOp(Opcode Opc)
static bool isComparisonOp(Opcode Opc)
static bool isShiftOp(Opcode Opc)
static bool isCommaOp(Opcode Opc)
static Opcode getOpForCompoundAssignment(Opcode Opc)
static bool isPtrMemOp(Opcode Opc)
predicates to categorize the respective opcodes.
static bool isAssignmentOp(Opcode Opc)
static bool isCompoundAssignmentOp(Opcode Opc)
static bool isBitwiseOp(Opcode Opc)
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
Represents a base class of a C++ class.
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
A boolean literal, per ([C++ lex.bool] Boolean literals).
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
Represents a C++ base or member initializer.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents the code generated for an expanded expansion statement.
ArrayRef< Stmt * > getInstantiations() const
ArrayRef< Stmt * > getPreambleStmts() const
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
DeclStmt * getBeginStmt()
DeclStmt * getLoopVarStmt()
DeclStmt * getRangeStmt()
Represents a call to an inherited base class constructor from an inheriting constructor.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will call.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
bool isLambdaStaticInvoker() const
Determine whether this is a lambda closure type's static member function that is used for the result ...
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
Expr * getPlacementArg(unsigned I)
unsigned getNumPlacementArgs() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ struct/union/class.
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
capture_const_range captures() const
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
A rewritten comparison expression that was originally written using operator syntax.
Expr * getSemanticForm()
Get an equivalent semantic form for this expression.
An expression "T()" which creates an rvalue of a non-class type T.
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
const Expr * getSubExpr() const
CXXTryStmt - A C++ try block, including all handlers.
CompoundStmt * getTryBlock()
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
QualType getTypeOperand(const ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Expr * getExprOperand() const
bool isPotentiallyEvaluated() const
Determine whether this typeid has a type operand which is potentially evaluated, per C++11 [expr....
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
MSGuidDecl * getGuidDecl() const
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this call.
Expr ** getArgs()
Retrieve the call arguments.
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
CaseStmt - Represent a case statement.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
path_iterator path_begin()
CastKind getCastKind() const
llvm::iterator_range< path_iterator > path()
Path through the class hierarchy taken by casts between base and derived classes (see implementation ...
const FieldDecl * getTargetUnionField() const
CharUnits - This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
const ValueInfo * getValueInfo(ComparisonCategoryResult ValueKind) const
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
Expr * getResultExpr()
Return the result expression of this controlling expression.
IfStmt - This represents an if/then/else.
bool isNonNegatedConsteval() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
const Expr * getSubExpr() const
Represents an implicitly-generated value initialization of an object of a given type.
Represents a field injected from an anonymous union/struct into the parent scope.
Describes an C or C++ initializer list.
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument for this lambda expression (which initializes the first ca...
CXXRecordDecl * getLambdaClass() const
Retrieve the class that corresponds to the lambda.
bool isCompatibleWith(ClangABI Version) const
Implicit declaration of a temporary that was materialized by a MaterializeTemporaryExpr and lifetime-...
const Stmt * getNamedLoopOrSwitch() const
If this is a named break/continue, get the loop or switch statement that this targets.
APValue & getAsAPValue() const
Get the value of this MSGuidDecl as an APValue.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
StorageDuration getStorageDuration() const
Retrieve the storage duration for the materialized temporary.
Expr * getSubExpr() const
Retrieve the temporary-generating subexpression whose value will be materialized into a glvalue.
ValueDecl * getExtendingDecl()
Get the declaration which triggered the lifetime-extension of this temporary, if any.
LifetimeExtendedTemporaryDecl * getLifetimeExtendedTemporaryDecl()
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
A pointer to member type per C++ 8.3.3 - Pointers to members.
This represents a decl that may have a name.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Represents a C++ namespace alias.
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
ObjCBoxedExpr - used for generalized expression boxing.
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
ObjCEncodeExpr, used for @encode in Objective-C.
QualType getEncodedType() const
SourceLocation getAtLoc() const
bool isExpressibleAsConstantInitializer() const
ObjCStringLiteral, used for Objective-C string literals i.e.
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Expr * getIndexExpr(unsigned Idx)
const OffsetOfNode & getComponent(unsigned Idx) const
unsigned getNumComponents() const
Helper class for OffsetOfExpr.
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
@ Array
An index into an array.
Kind getKind() const
Determine what kind of offsetof node this is.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Expr * getSourceExpr() const
The source expression of an opaque value expression is the expression which originally generated the ...
Expr * getSelectedExpr() const
ParenExpr - This represents a parenthesized expression, e.g.
const Expr * getSubExpr() const
Represents a parameter to a function.
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
[C99 6.4.2.2] - A predefined identifier such as func.
StringLiteral * getFunctionName()
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Expr * getResultExpr()
Return the result-bearing expression, or null if there is none.
ArrayRef< Expr * > semantics()
A (possibly-)qualified type.
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
QualType withConst() const
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
bool isConstant(const ASTContext &Ctx) const
bool isConstQualified() const
Determine whether this type is const-qualified.
Represents a struct/union/class.
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
Base for LValueReferenceType and RValueReferenceType.
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
bool isSatisfied() const
Whether or not the requires clause is satisfied.
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
SourceLocation getLocation() const
std::string ComputeName(ASTContext &Context) const
Scope - A scope is a transient data structure that is used while parsing the program.
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
llvm::APSInt getShuffleMaskIdx(unsigned N) const
unsigned getNumSubExprs() const
getNumSubExprs - Return the size of the SubExprs array.
Expr * getExpr(unsigned Index)
getExpr - Return the Expr at the specified index.
Represents an expression that computes the length of a parameter pack.
unsigned getPackLength() const
Retrieve the length of the parameter pack.
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
APValue EvaluateInContext(const ASTContext &Ctx, const Expr *DefaultExpr) const
Return the result of evaluating this SourceLocExpr in the specified (and possibly null) default argum...
Represents a C++11 static_assert declaration.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
CompoundStmt * getSubStmt()
bool Visit(PTR(Stmt) S, ParamTys... P)
Stmt - This represents one statement.
StmtClass getStmtClass() const
StringLiteral - This represents a string literal expression, e.g.
unsigned getLength() const
uint32_t getCodeUnit(size_t I) const
Return the code unit at the given position.
static StringLiteral * Create(const ASTContext &Ctx, StringRef Str, StringLiteralKind Kind, bool Pascal, QualType Ty, ArrayRef< SourceLocation > Locs)
This is the "fully general" constructor that allows representation of strings formed from one or more...
unsigned getCharByteWidth() const
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Expr * getReplacement() const
const SwitchCase * getNextSwitchCase() const
SwitchStmt - This represents a 'switch' stmt.
VarDecl * getConditionVariable()
Retrieve the variable declared in this "switch" statement, if any.
SwitchCase * getSwitchCaseList()
DeclStmt * getConditionVariableDeclStmt()
If this SwitchStmt has a condition variable, return the faux DeclStmt associated with the creation of...
Represents the declaration of a struct/union/class/enum.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
A template argument list.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
bool getBoolValue() const
bool isStoredAsComparisonResult() const
const APValue & getAPValue() const
bool isStoredAsBoolean() const
The base class of the type hierarchy.
bool isBooleanType() const
bool isLiteralType(const ASTContext &Ctx) const
Return true if this is a literal type (C++11 [basic.types]p10)
bool isIncompleteArrayType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isVoidPointerType() const
bool isConstantSizeType() const
Return true if this is not a variable sized type, according to the rules of C99 6....
bool isFunctionPointerType() const
bool isConstantMatrixType() const
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isEnumeralType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isAnyComplexType() const
bool isFixedPointType() const
Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isMemberPointerType() const
bool isAtomicType() const
EnumDecl * castAsEnumDecl() const
bool isStdByteType() const
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isPointerOrReferenceType() const
bool isFunctionType() const
bool isVectorType() const
bool isRealFloatingType() const
Floating point categories.
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
bool isFloatingType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
bool isSizelessVectorType() const
Returns true for all scalable vector types.
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 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 * getVirtualBase(unsigned I) const
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 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
__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()