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);
138 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
139 this->
Ctx->Descriptors.emplace_back();
140 this->
Ctx->emitInitScope(*
Idx, {});
144 this->
Ctx->Descriptors[*
Idx].emplace_back(Local);
154 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
155 this->
Ctx->Descriptors.emplace_back();
156 this->
Ctx->emitInitScope(*
Idx, {});
167 if (Local.Desc->hasTrivialDtor())
170 if (!Local.EnabledByDefault) {
171 typename Emitter::LabelTy EndLabel = this->
Ctx->getLabel();
172 if (!this->
Ctx->emitGetLocalEnabled(Local.Offset, E))
174 if (!this->
Ctx->jumpFalse(EndLabel, E))
177 if (!this->
Ctx->emitGetPtrLocal(Local.Offset, E))
180 if (!this->
Ctx->emitDestructionPop(Local.Desc, Local.Desc->getLoc()))
183 this->
Ctx->fallthrough(EndLabel);
184 this->
Ctx->emitLabel(EndLabel);
186 if (!this->
Ctx->emitGetPtrLocal(Local.Offset, E))
188 if (!this->
Ctx->emitDestructionPop(Local.Desc, Local.Desc->getLoc()))
207 if (
const auto *OVE =
208 llvm::dyn_cast_if_present<OpaqueValueExpr>(Local.Desc->asExpr())) {
209 if (
auto It = this->
Ctx->OpaqueExprs.find(OVE);
210 It != this->Ctx->OpaqueExprs.end())
211 this->
Ctx->OpaqueExprs.erase(It);
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();
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->emitGetPtrLocal(
Offset, E);
348 if (!Ctx->emitConstUint32(
Offset, E))
350 return Ctx->emitArrayElemPtrPopUint32(E);
352 return Ctx->emitRVOPtr(E);
356 llvm_unreachable(
"Unhandled InitLink kind");
372 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
373 assert(LI.Name != Name);
376 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
397 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
399 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
400 assert(LI.Name != Name);
403 this->Ctx->CaseLabels = std::move(CaseLabels);
404 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
406 DefaultLabel, Ctx->VarScope);
410 this->Ctx->CaseLabels = std::move(OldCaseLabels);
411 this->Ctx->LabelInfoStack.pop_back();
416 CaseMap OldCaseLabels;
427 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
430 Ctx->LocOverride = NewValue;
435 Ctx->LocOverride = OldFlag;
440 std::optional<SourceInfo> OldFlag;
447template <
class Emitter>
455 case CK_LValueToRValue: {
466 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
472 if (
auto GlobalIndex =
P.getGlobal(D))
473 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
474 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
475 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
476 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
477 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
478 return this->emitGetParam(*SubExprT, It->second.Index, E);
490 if (!this->emitGetPtrLocal(*LocalIndex, E))
494 if (!this->
visit(SubExpr))
498 return this->emitLoadPop(*SubExprT, E);
503 return this->emitMemcpy(E);
506 case CK_DerivedToBaseMemberPointer: {
517 ->getMostRecentCXXRecordDecl();
519 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
520 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
522 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
530 case CK_BaseToDerivedMemberPointer: {
541 ->getMostRecentCXXRecordDecl();
545 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
547 PathI != PathE; ++PathI) {
548 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
549 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
551 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
558 assert(ToDecl != CurDecl);
559 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
561 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
567 case CK_UncheckedDerivedToBase:
568 case CK_DerivedToBase: {
573 if (
const auto *PT = dyn_cast<PointerType>(Ty))
574 return PT->getPointeeType()->getAsCXXRecordDecl();
575 return Ty->getAsCXXRecordDecl();
582 if (B->isVirtual()) {
583 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
585 CurType = B->getType();
587 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
588 if (!this->emitGetPtrBasePop(
591 CurType = B->getType();
598 case CK_BaseToDerived: {
601 unsigned DerivedOffset =
607 return this->emitGetPtrDerivedPop(DerivedOffset,
612 case CK_FloatingCast: {
615 return this->emitVectorConversion(E->
getSubExpr(), E);
619 if (!this->
visit(SubExpr))
621 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
625 case CK_IntegralToFloating: {
627 return this->emitVectorConversion(E->
getSubExpr(), E);
630 if (!this->
visit(SubExpr))
632 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
633 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
634 TargetSemantics, getFPOptions(E), E);
637 case CK_FloatingToBoolean: {
639 return this->emitVectorConversion(E->
getSubExpr(), E);
643 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
644 return this->emitConstBool(FL->getValue().isNonZero(), E);
645 if (!this->
visit(SubExpr))
647 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
650 case CK_FloatingToIntegral: {
652 return this->emitVectorConversion(E->
getSubExpr(), E);
655 if (!this->
visit(SubExpr))
659 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
662 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
665 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
668 case CK_NullToPointer:
669 case CK_NullToMemberPointer: {
672 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
677 case CK_PointerToIntegral: {
678 if (!this->
visit(SubExpr))
684 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
690 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
692 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
693 return this->emitCastPointerIntegral(T, E);
696 case CK_ArrayToPointerDecay: {
697 if (!this->
visit(SubExpr))
699 return this->emitArrayDecay(E);
702 case CK_IntegralToPointer: {
704 assert(IntType->isIntegralOrEnumerationType());
705 if (!this->
visit(SubExpr))
719 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
722 case CK_AtomicToNonAtomic:
723 case CK_ConstructorConversion:
724 case CK_FunctionToPointerDecay:
725 case CK_NonAtomicToAtomic:
727 case CK_UserDefinedConversion:
728 case CK_AddressSpaceConversion:
729 case CK_CPointerToObjCPointerCast:
746 return this->emitBuiltinBitCast(E);
761 if (!this->
visit(SubExpr))
769 return this->emitFnPtrCast(E);
776 if (!this->
visit(SubExpr))
778 return this->emitDecayPtr(*FromT, *ToT, E);
780 case CK_IntegralToBoolean:
781 case CK_FixedPointToBoolean: {
783 return this->emitVectorConversion(E->
getSubExpr(), E);
789 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
790 return this->emitConst(IL->getValue(), E);
791 if (!this->
visit(SubExpr))
796 case CK_IntegralCast:
798 return this->emitVectorConversion(E->
getSubExpr(), E);
800 case CK_BooleanToSignedIntegral: {
807 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
812 if (!this->emitConst(IL->getValue(), SubExpr))
815 if (!this->
visit(SubExpr))
823 if (!ED->isFixed()) {
824 if (!this->emitCheckEnumValue(*FromT, ED, E))
830 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
833 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
838 if (!this->emitCast(*FromT, *ToT, E))
841 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
842 return this->emitNeg(*ToT, E);
846 case CK_PointerToBoolean:
847 case CK_MemberPointerToBoolean: {
850 if (!this->
visit(SubExpr))
852 return this->emitIsNonNull(PtrT, E);
855 case CK_IntegralComplexToBoolean:
856 case CK_FloatingComplexToBoolean: {
857 if (!this->
visit(SubExpr))
859 return this->emitComplexBoolCast(SubExpr);
862 case CK_IntegralComplexToReal:
863 case CK_FloatingComplexToReal:
864 return this->emitComplexReal(SubExpr);
866 case CK_IntegralRealToComplex:
867 case CK_FloatingRealToComplex: {
874 if (!this->emitGetPtrLocal(*LocalIndex, E))
883 if (!this->visitZeroInitializer(T, SubExpr->
getType(), SubExpr))
885 return this->emitInitElem(T, 1, SubExpr);
888 case CK_IntegralComplexCast:
889 case CK_FloatingComplexCast:
890 case CK_IntegralComplexToFloatingComplex:
891 case CK_FloatingComplexToIntegralComplex: {
898 if (!this->emitGetPtrLocal(*LocalIndex, E))
905 unsigned SubExprOffset =
907 if (!this->
visit(SubExpr))
909 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
917 for (
unsigned I = 0; I != 2; ++I) {
918 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
920 if (!this->emitArrayElemPop(SourceElemT, I, E))
924 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
928 if (!this->emitInitElem(DestElemT, I, E))
934 case CK_VectorSplat: {
945 if (!this->emitGetPtrLocal(*LocalIndex, E))
951 unsigned ElemOffset =
955 if (!this->
visit(SubExpr))
960 if (!this->emitSetLocal(ElemT, ElemOffset, E))
963 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
964 if (!this->emitGetLocal(ElemT, ElemOffset, E))
966 if (!this->emitInitElem(ElemT, I, E))
973 case CK_HLSLVectorTruncation: {
978 if (!this->
visit(SubExpr))
980 return this->emitArrayElemPop(*ResultT, 0, E);
989 if (!this->emitGetPtrLocal(*LocalIndex, E))
994 if (!this->
visit(SubExpr))
996 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1000 case CK_IntegralToFixedPoint: {
1001 if (!this->
visit(SubExpr))
1005 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1010 return this->emitPopFixedPoint(E);
1013 case CK_FloatingToFixedPoint: {
1014 if (!this->
visit(SubExpr))
1018 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1019 if (!this->emitCastFloatingFixedPoint(Sem, E))
1022 return this->emitPopFixedPoint(E);
1025 case CK_FixedPointToFloating: {
1026 if (!this->
visit(SubExpr))
1028 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1029 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1032 return this->emitPopFloat(E);
1035 case CK_FixedPointToIntegral: {
1036 if (!this->
visit(SubExpr))
1039 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1042 return this->emitPop(IntegralT, E);
1045 case CK_FixedPointCast: {
1046 if (!this->
visit(SubExpr))
1049 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1050 if (!this->emitCastFixedPoint(Sem, E))
1053 return this->emitPopFixedPoint(E);
1061 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1063 case CK_LValueBitCast:
1068 case CK_HLSLArrayRValue: {
1075 if (!this->emitGetPtrLocal(*LocalIndex, E))
1078 if (!this->
visit(SubExpr))
1080 return this->emitMemcpy(E);
1083 case CK_HLSLMatrixTruncation: {
1088 if (!this->
visit(SubExpr))
1090 return this->emitArrayElemPop(*ResultT, 0, E);
1099 if (!this->emitGetPtrLocal(*LocalIndex, E))
1104 if (!this->
visit(SubExpr))
1106 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1110 case CK_HLSLAggregateSplatCast: {
1120 if (!this->emitGetPtrLocal(*LocalIndex, E))
1127 unsigned SrcOffset =
1130 if (!this->
visit(SubExpr))
1132 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1136 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1139 case CK_HLSLElementwiseCast: {
1150 unsigned SrcPtrOffset =
1152 if (!this->
visit(SubExpr))
1154 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1158 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1160 if (Elements.empty())
1163 const HLSLFlatElement &Src = Elements[0];
1164 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1166 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1173 if (!this->emitGetPtrLocal(*LocalIndex, E))
1177 unsigned SrcOffset =
1179 if (!this->
visit(SubExpr))
1181 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1185 unsigned ElemCount = countHLSLFlatElements(DestType);
1188 Elements.reserve(ElemCount);
1189 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1194 assert(Elements.size() == ElemCount &&
1195 "Source type has fewer scalar elements than the destination type");
1197 return emitHLSLConstructAggregate(DestType, Elements, E);
1204 const Record::Field *RF = R->getField(UnionField);
1205 QualType FieldType = RF->Decl->getType();
1208 if (!this->
visit(SubExpr))
1210 if (RF->isBitField())
1211 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1213 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1216 if (!this->emitGetPtrField(RF->Offset, E))
1218 if (!this->emitActivate(E))
1224 return this->emitInvalid(E);
1226 llvm_unreachable(
"Unhandled clang::CastKind enum");
1229template <
class Emitter>
1231 return this->emitBuiltinBitCast(E);
1234template <
class Emitter>
1239 return this->emitConst(
LE->getValue(),
LE);
1242template <
class Emitter>
1248 return this->emitFloat(F, E);
1251template <
class Emitter>
1261 if (!this->emitGetPtrLocal(*LocalIndex, E))
1268 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1270 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1275template <
class Emitter>
1283 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1288template <
class Emitter>
1293template <
class Emitter>
1320 return this->emitComplexComparison(LHS, RHS, E);
1328 if (!this->
visit(LHS))
1331 if (!this->
visit(RHS))
1334 if (!this->emitToMemberPtr(E))
1340 if (!this->emitCastMemberPtrPtr(E))
1357 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1363 if (!this->emitGetPtrLocal(*ResultIndex, E))
1370 return this->emitCMP3(*
LT, CmpInfo, E);
1373 if (!
LT || !RT || !T)
1383 return this->visitAssignment(LHS, RHS, E);
1390 auto MaybeCastToBool = [
this, T, E](
bool Result) {
1394 return this->emitPopBool(E);
1396 return this->emitCast(
PT_Bool, *T, E);
1400 auto Discard = [
this, T, E](
bool Result) {
1408 return MaybeCastToBool(this->emitEQ(*
LT, E));
1410 return MaybeCastToBool(this->emitNE(*
LT, E));
1412 return MaybeCastToBool(this->emitLT(*
LT, E));
1414 return MaybeCastToBool(this->emitLE(*
LT, E));
1416 return MaybeCastToBool(this->emitGT(*
LT, E));
1418 return MaybeCastToBool(this->emitGE(*
LT, E));
1421 return Discard(this->emitSubf(getFPOptions(E), E));
1422 return Discard(this->emitSub(*T, E));
1425 return Discard(this->emitAddf(getFPOptions(E), E));
1426 return Discard(this->emitAdd(*T, E));
1429 return Discard(this->emitMulf(getFPOptions(E), E));
1430 return Discard(this->emitMul(*T, E));
1432 return Discard(this->emitRem(*T, E));
1435 return Discard(this->emitDivf(getFPOptions(E), E));
1436 return Discard(this->emitDiv(*T, E));
1438 return Discard(this->emitBitAnd(*T, E));
1440 return Discard(this->emitBitOr(*T, E));
1442 return Discard(this->emitShl(*
LT, *RT, E));
1444 return Discard(this->emitShr(*
LT, *RT, E));
1446 return Discard(this->emitBitXor(*T, E));
1449 llvm_unreachable(
"Already handled earlier");
1454 llvm_unreachable(
"Unhandled binary op");
1459template <
class Emitter>
1465 if ((Op != BO_Add && Op != BO_Sub) ||
1476 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1477 if (!this->
visit(E))
1480 return this->emitDecayPtr(T,
PT_Ptr, E);
1489 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1497 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1500 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1507 if (!visitAsPointer(RHS, *RT))
1509 if (!this->
visit(LHS))
1513 if (!visitAsPointer(LHS, *
LT))
1515 if (!this->
visit(RHS))
1526 if (!this->emitAddOffset(OffsetType, E))
1530 if (!this->emitSubOffset(OffsetType, E))
1547template <
class Emitter>
1557 LabelTy LabelTrue = this->getLabel();
1558 LabelTy LabelEnd = this->getLabel();
1562 if (!this->jumpTrue(LabelTrue, E))
1567 if (!this->jump(LabelEnd, E))
1570 this->emitLabel(LabelTrue);
1571 this->emitConstBool(
true, E);
1572 this->fallthrough(LabelEnd);
1573 this->emitLabel(LabelEnd);
1576 assert(Op == BO_LAnd);
1579 LabelTy LabelFalse = this->getLabel();
1580 LabelTy LabelEnd = this->getLabel();
1584 if (!this->jumpFalse(LabelFalse, E))
1589 if (!this->jump(LabelEnd, E))
1592 this->emitLabel(LabelFalse);
1593 this->emitConstBool(
false, E);
1594 this->fallthrough(LabelEnd);
1595 this->emitLabel(LabelEnd);
1599 return this->emitPopBool(E);
1604 return this->emitCast(
PT_Bool, *T, E);
1608template <
class Emitter>
1615 if (!this->emitGetPtrLocal(*LocalIndex, E))
1624 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1625 unsigned ResultOffset = ~0u;
1631 if (!this->emitDupPtr(E))
1633 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1638 LHSType = AT->getValueType();
1641 RHSType = AT->getValueType();
1650 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1655 if (!this->
visit(LHS))
1657 if (!this->
visit(RHS))
1659 if (!this->emitMulc(ElemT, E))
1662 return this->emitPopPtr(E);
1666 if (Op == BO_Div && RHSIsComplex) {
1673 if (!LHSIsComplex) {
1678 LHSOffset = *LocalIndex;
1680 if (!this->emitGetPtrLocal(LHSOffset, E))
1683 if (!this->
visit(LHS))
1686 if (!this->emitInitElem(ElemT, 0, E))
1689 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1691 if (!this->emitInitElem(ElemT, 1, E))
1694 if (!this->
visit(LHS))
1698 if (!this->
visit(RHS))
1700 if (!this->emitDivc(ElemT, E))
1703 return this->emitPopPtr(E);
1710 if (!this->
visit(LHS))
1712 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1717 if (!this->
visit(LHS))
1719 if (!this->emitSetLocal(LHST, LHSOffset, E))
1727 if (!this->
visit(RHS))
1729 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1734 if (!this->
visit(RHS))
1736 if (!this->emitSetLocal(RHST, RHSOffset, E))
1743 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1744 unsigned ElemIndex,
unsigned Offset,
1745 const Expr *E) ->
bool {
1747 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1749 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1752 if (ElemIndex == 0 || !LoadZero)
1759 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1762 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1769 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1772 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1775 if (!this->emitAddf(getFPOptions(E), E))
1778 if (!this->emitAdd(ResultElemT, E))
1783 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1786 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1789 if (!this->emitSubf(getFPOptions(E), E))
1792 if (!this->emitSub(ResultElemT, E))
1797 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1800 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1804 if (!this->emitMulf(getFPOptions(E), E))
1807 if (!this->emitMul(ResultElemT, E))
1812 assert(!RHSIsComplex);
1813 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1816 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1820 if (!this->emitDivf(getFPOptions(E), E))
1823 if (!this->emitDiv(ResultElemT, E))
1834 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1837 if (!this->emitPop(ResultElemT, E))
1842 return this->emitPopPtr(E);
1848template <
class Emitter>
1853 "Comma op should be handled in VisitBinaryOperator");
1867 if (!this->emitGetPtrLocal(*LocalIndex, E))
1881 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1884 if (!this->
visit(LHS))
1886 if (!this->
visit(RHS))
1888 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1891 return this->emitPopPtr(E);
1896 unsigned LHSOffset =
1898 if (!this->
visit(LHS))
1900 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1904 unsigned RHSOffset =
1906 if (!this->
visit(RHS))
1908 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1920 if (NeedIntPromot) {
1922 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1927 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1928 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1930 if (!this->emitArrayElemPop(ElemT, Index, E))
1933 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1935 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1937 }
else if (NeedIntPromot) {
1938 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1944#define EMIT_ARITH_OP(OP) \
1946 if (ElemT == PT_Float) { \
1947 if (!this->emit##OP##f(getFPOptions(E), E)) \
1950 if (!this->emit##OP(ElemT, E)) \
1956 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1957 if (!getElem(LHSOffset, ElemT, I))
1959 if (!getElem(RHSOffset, RHSElemT, I))
1971 if (!this->emitRem(ElemT, E))
1975 if (!this->emitBitAnd(OpT, E))
1979 if (!this->emitBitOr(OpT, E))
1983 if (!this->emitBitXor(OpT, E))
1987 if (!this->emitShl(OpT, RHSElemT, E))
1991 if (!this->emitShr(OpT, RHSElemT, E))
1995 if (!this->emitEQ(ElemT, E))
1999 if (!this->emitNE(ElemT, E))
2003 if (!this->emitLE(ElemT, E))
2007 if (!this->emitLT(ElemT, E))
2011 if (!this->emitGE(ElemT, E))
2015 if (!this->emitGT(ElemT, E))
2020 if (!this->emitBitAnd(ResultElemT, E))
2025 if (!this->emitBitOr(ResultElemT, E))
2029 return this->emitInvalid(E);
2038 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2040 if (!this->emitNeg(ResultElemT, E))
2046 if (NeedIntPromot &&
2047 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2051 if (!this->emitInitElem(ResultElemT, I, E))
2060template <
class Emitter>
2070 auto LHSSemaInt = LHSSema.toOpaqueInt();
2072 auto RHSSemaInt = RHSSema.toOpaqueInt();
2074 if (!this->
visit(LHS))
2082 if (!this->
visit(RHS))
2091 auto ConvertResult = [&](
bool R) ->
bool {
2095 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2096 if (ResultSema != CommonSema)
2097 return this->emitCastFixedPoint(ResultSema, E);
2101 auto MaybeCastToBool = [&](
bool Result) {
2106 return this->emitPop(T, E);
2108 return this->emitCast(
PT_Bool, T, E);
2114 return MaybeCastToBool(this->emitEQFixedPoint(E));
2116 return MaybeCastToBool(this->emitNEFixedPoint(E));
2118 return MaybeCastToBool(this->emitLTFixedPoint(E));
2120 return MaybeCastToBool(this->emitLEFixedPoint(E));
2122 return MaybeCastToBool(this->emitGTFixedPoint(E));
2124 return MaybeCastToBool(this->emitGEFixedPoint(E));
2126 return ConvertResult(this->emitAddFixedPoint(E));
2128 return ConvertResult(this->emitSubFixedPoint(E));
2130 return ConvertResult(this->emitMulFixedPoint(E));
2132 return ConvertResult(this->emitDivFixedPoint(E));
2134 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2136 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2139 return this->emitInvalid(E);
2142 llvm_unreachable(
"unhandled binop opcode");
2145template <
class Emitter>
2154 if (!this->
visit(SubExpr))
2156 if (!this->emitNegFixedPoint(E))
2159 return this->emitPopFixedPoint(E);
2165 llvm_unreachable(
"Unhandled unary opcode");
2168template <
class Emitter>
2177 return this->visitZeroInitializer(*T, QT, E);
2190 return this->visitZeroRecordInitializer(R, E);
2197 return this->visitZeroArrayInitializer(QT, E);
2201 QualType ElemQT = ComplexTy->getElementType();
2203 for (
unsigned I = 0; I < 2; ++I) {
2204 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2206 if (!this->emitInitElem(ElemT, I, E))
2213 unsigned NumVecElements = VecT->getNumElements();
2214 QualType ElemQT = VecT->getElementType();
2217 for (
unsigned I = 0; I < NumVecElements; ++I) {
2218 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2220 if (!this->emitInitElem(ElemT, I, E))
2227 unsigned NumElems = MT->getNumElementsFlattened();
2228 QualType ElemQT = MT->getElementType();
2231 for (
unsigned I = 0; I != NumElems; ++I) {
2232 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2234 if (!this->emitInitElem(ElemT, I, E))
2243template <
class Emitter>
2256 for (
const Expr *SubExpr : {LHS, RHS}) {
2257 if (!this->
visit(SubExpr)) {
2264 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2265 if (!this->emitExpandPtr(E))
2276 return this->emitError(E);
2279 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2283 if (!this->emitArrayElemPtrPop(*IndexT, E))
2286 return this->emitPopPtr(E);
2292 return this->emitLoadPop(*T, E);
2295template <
class Emitter>
2297 const Expr *ArrayFiller,
const Expr *E) {
2302 QT = AT->getValueType();
2305 if (
Inits.size() == 0)
2307 return this->emitInvalid(E);
2322 if (
Inits.size() == 0)
2323 return this->visitZeroInitializer(*T, QT, E);
2324 assert(
Inits.size() == 1);
2337 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2344 bool BitField = FieldToInit->isBitField();
2346 return this->emitInitBitFieldActivate(T, FieldToInit->Offset,
2347 FieldToInit->bitWidth(), E);
2349 return this->emitInitBitField(T, FieldToInit->Offset,
2350 FieldToInit->bitWidth(), E);
2352 return this->emitInitFieldActivate(T, FieldToInit->Offset, E);
2353 return this->emitInitField(T, FieldToInit->Offset, E);
2356 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2364 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2367 if (
Activate && !this->emitActivate(E))
2374 if (
Inits.size() == 0) {
2375 if (!this->visitZeroRecordInitializer(R, E))
2380 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2381 FToInit = ILE->getInitializedFieldInUnion();
2385 const Record::Field *FieldToInit = R->getField(FToInit);
2387 if (!initPrimitiveField(FieldToInit,
Init, *T,
true))
2390 if (!initCompositeField(FieldToInit,
Init,
true))
2394 return this->emitFinishInit(E);
2397 assert(!R->isUnion());
2398 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2400 const Record::Base *B = R->getBase(BI);
2401 if (!this->emitGetPtrBase(B->Offset,
Init))
2407 unsigned FieldIndex = 0;
2408 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2409 const Record::Field *FieldToInit = R->getField(FieldIndex);
2410 if (FieldToInit->isUnnamedBitField()) {
2425 if (!initPrimitiveField(FieldToInit,
Init, *T))
2427 }
else if (!initCompositeField(FieldToInit,
Init)) {
2435 assert(R->getNumVirtualBases() == 0);
2437 return this->emitFinishInit(E);
2442 Ctx.getASTContext().getAsConstantArrayType(QT);
2445 if (
Initializing && !this->emitCheckArrayDestSize(NumElems, E))
2448 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2452 unsigned ElementIndex = 0;
2454 if (
const auto *EmbedS =
2455 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2463 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2464 getFPOptions(E), E))
2470 return this->emitInitElem(TargetT, ElemIndex, IL);
2472 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2488 for (; ElementIndex != NumElems; ++ElementIndex) {
2494 return this->emitFinishInit(E);
2498 unsigned NumInits =
Inits.size();
2503 QualType ElemQT = ComplexTy->getElementType();
2505 if (NumInits == 0) {
2507 for (
unsigned I = 0; I < 2; ++I) {
2508 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2510 if (!this->emitInitElem(ElemT, I, E))
2513 }
else if (NumInits == 2) {
2514 unsigned InitIndex = 0;
2519 if (!this->emitInitElem(ElemT, InitIndex, E))
2528 unsigned NumVecElements = VecT->getNumElements();
2529 assert(NumVecElements >=
Inits.size());
2531 QualType ElemQT = VecT->getElementType();
2535 unsigned InitIndex = 0;
2542 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2543 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2544 InitVecT->getNumElements(), E))
2546 InitIndex += InitVecT->getNumElements();
2548 if (!this->emitInitElem(ElemT, InitIndex, E))
2554 assert(InitIndex <= NumVecElements);
2557 for (; InitIndex != NumVecElements; ++InitIndex) {
2558 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2560 if (!this->emitInitElem(ElemT, InitIndex, E))
2567 unsigned NumElems = MT->getNumElementsFlattened();
2568 assert(
Inits.size() == NumElems);
2570 QualType ElemQT = MT->getElementType();
2576 for (
unsigned I = 0; I != NumElems; ++I) {
2579 if (!this->emitInitElem(ElemT, I, E))
2590template <
class Emitter>
2597 return this->emitInitElem(*InitT, ElemIndex,
Init);
2603 if (!this->emitConstUint32(ElemIndex,
Init))
2605 if (!this->emitArrayElemPtrUint32(
Init))
2610template <
class Emitter>
2613 bool Activate,
bool IsOperatorCall) {
2615 llvm::BitVector NonNullArgs;
2616 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2619 bool ExplicitMemberFn =
false;
2620 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2621 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2623 unsigned ArgIndex = 0;
2624 for (
const Expr *Arg : Args) {
2626 if (!this->
visit(Arg))
2634 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2635 if (DeclIndex < FuncDecl->getNumParams())
2636 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2645 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2653 if (!this->emitActivate(Arg))
2657 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2660 if (!this->emitCheckNonNullArg(ArgT, Arg))
2671template <
class Emitter>
2676template <
class Emitter>
2682template <
class Emitter>
2688template <
class Emitter>
2706template <
class Emitter>
2708 auto It = E->
begin();
2709 return this->
visit(*It);
2714 bool AlignOfReturnsPreferred =
2721 T = Ref->getPointeeType();
2723 if (T.getQualifiers().hasUnaligned())
2729 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2735template <
class Emitter>
2742 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2748 ArgType = Ref->getPointeeType();
2754 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2755 return this->emitInvalid(E);
2757 if (Kind == UETT_SizeOf)
2766 return this->emitConst(Size.getQuantity(), E);
2769 if (Kind == UETT_CountOf) {
2775 if (
const auto *CAT =
2779 return this->emitConst(CAT->getSize(), E);
2789 if (VAT->getElementType()->isArrayType()) {
2790 std::optional<APSInt> Res =
2792 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2797 return this->emitConst(*Res, E);
2802 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2822 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2825 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2835 return this->emitConst(Size.getQuantity(), E);
2838 if (Kind == UETT_VectorElements) {
2843 return this->emitConst(VT->getNumElements(), E);
2845 return this->emitSizelessVectorElementSize(E);
2848 if (Kind == UETT_VecStep) {
2850 unsigned N = VT->getNumElements();
2857 return this->emitConst(N, E);
2859 return this->emitConst(1, E);
2862 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2871 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2873 return this->emitInvalid(E);
2875 return this->emitConst(
2876 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2884template <
class Emitter>
2893 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2896 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2897 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2899 if (
Member->getType()->isReferenceType())
2900 return this->emitLoadPopPtr(E);
2909 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2910 MD && !MD->isStatic()) {
2914 if (!this->
discard(Base) && !this->emitSideEffect(E))
2929 const Record::Field *F = R->getField(FD);
2933 const auto maybeLoadValue = [&]() ->
bool {
2937 return this->emitLoadPop(*T, E);
2942 if (F->Decl->getType()->isReferenceType())
2943 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2944 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2947template <
class Emitter>
2957template <
class Emitter>
2971 if (!this->
visit(Common))
2973 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
2987 for (
size_t I = 0; I != Size; ++I) {
2999template <
class Emitter>
3014 return this->emitGetLocal(SubExprT, It->second, E);
3017 if (!this->
visit(SourceExpr))
3024 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3033 return this->emitGetLocal(SubExprT, LocalIndex, E);
3037template <
class Emitter>
3050 bool IsBcpCall =
false;
3051 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3052 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3056 LabelTy LabelEnd = this->getLabel();
3057 LabelTy LabelFalse = this->getLabel();
3060 if (!this->emitPushIgnoreDiags(E))
3068 if (this->checkingForUndefinedBehavior()) {
3071 if (!this->
discard(FalseExpr))
3088 if (!this->jumpFalse(LabelFalse, E))
3093 if (!this->jump(LabelEnd, E))
3095 this->emitLabel(LabelFalse);
3099 this->fallthrough(LabelEnd);
3100 this->emitLabel(LabelEnd);
3103 return this->emitPopIgnoreDiags(E);
3107template <
class Emitter>
3113 unsigned StringIndex =
P.createGlobalString(E);
3114 return this->emitGetPtrGlobal(StringIndex, E);
3119 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3120 assert(CAT &&
"a string literal that's not a constant array?");
3125 unsigned N = std::min(ArraySize, E->
getLength());
3128 for (
unsigned I = 0; I != N; ++I) {
3131 if (CharWidth == 1) {
3132 this->emitConstSint8(CodeUnit, E);
3133 this->emitInitElemSint8(I, E);
3134 }
else if (CharWidth == 2) {
3135 this->emitConstUint16(CodeUnit, E);
3136 this->emitInitElemUint16(I, E);
3137 }
else if (CharWidth == 4) {
3138 this->emitConstUint32(CodeUnit, E);
3139 this->emitInitElemUint32(I, E);
3141 llvm_unreachable(
"unsupported character width");
3146 for (
unsigned I = N; I != ArraySize; ++I) {
3147 if (CharWidth == 1) {
3148 this->emitConstSint8(0, E);
3149 this->emitInitElemSint8(I, E);
3150 }
else if (CharWidth == 2) {
3151 this->emitConstUint16(0, E);
3152 this->emitInitElemUint16(I, E);
3153 }
else if (CharWidth == 4) {
3154 this->emitConstUint32(0, E);
3155 this->emitInitElemUint32(I, E);
3157 llvm_unreachable(
"unsupported character width");
3164template <
class Emitter>
3168 return this->emitDummyPtr(E, E);
3171template <
class Emitter>
3173 auto &A =
Ctx.getASTContext();
3182template <
class Emitter>
3190 auto &A =
Ctx.getASTContext();
3194 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3195 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3202 unsigned StringIndex =
P.createGlobalString(SL);
3203 return this->emitGetPtrGlobal(StringIndex, E);
3206template <
class Emitter>
3210 return this->emitConst(E->
getValue(), E);
3213template <
class Emitter>
3235 if (!this->emitLoad(LHST, E))
3238 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3239 LHSComputationType, E))
3251 unsigned TempOffset =
3253 if (!this->emitSetLocal(*RT, TempOffset, E))
3259 if (!this->emitLoad(LHST, E))
3263 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3264 LHSComputationType, E))
3268 if (!this->emitGetLocal(*RT, TempOffset, E))
3274 if (!this->emitAddf(getFPOptions(E), E))
3278 if (!this->emitSubf(getFPOptions(E), E))
3282 if (!this->emitMulf(getFPOptions(E), E))
3286 if (!this->emitDivf(getFPOptions(E), E))
3297 return this->emitStorePop(LHST, E);
3298 return this->emitStore(LHST, E);
3301template <
class Emitter>
3310 if (Op != BO_AddAssign && Op != BO_SubAssign)
3319 if (!this->emitLoad(*
LT, LHS))
3325 if (Op == BO_AddAssign) {
3326 if (!this->emitAddOffset(*RT, E))
3329 if (!this->emitSubOffset(*RT, E))
3334 return this->emitStorePopPtr(E);
3335 return this->emitStorePtr(E);
3338template <
class Emitter>
3351 if (!
Ctx.getLangOpts().CPlusPlus14)
3352 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3354 if (!
LT || !RT || !ResultT || !LHSComputationT)
3371 if (!this->emitLoad(*
LT, E))
3373 if (
LT != LHSComputationT &&
3374 !this->emitIntegralCast(*
LT, *LHSComputationT,
3388 unsigned TempOffset =
3391 if (!this->emitSetLocal(*RT, TempOffset, E))
3398 if (!this->emitLoad(*
LT, E))
3400 if (
LT != LHSComputationT &&
3401 !this->emitIntegralCast(*
LT, *LHSComputationT,
3406 if (!this->emitGetLocal(*RT, TempOffset, E))
3413 if (!this->emitAdd(*LHSComputationT, E))
3417 if (!this->emitSub(*LHSComputationT, E))
3421 if (!this->emitMul(*LHSComputationT, E))
3425 if (!this->emitDiv(*LHSComputationT, E))
3429 if (!this->emitRem(*LHSComputationT, E))
3433 if (!this->emitShl(*LHSComputationT, *RT, E))
3437 if (!this->emitShr(*LHSComputationT, *RT, E))
3441 if (!this->emitBitAnd(*LHSComputationT, E))
3445 if (!this->emitBitXor(*LHSComputationT, E))
3449 if (!this->emitBitOr(*LHSComputationT, E))
3453 llvm_unreachable(
"Unimplemented compound assign operator");
3457 if (ResultT != LHSComputationT &&
3458 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3464 return this->emitStoreBitFieldPop(*ResultT, E);
3465 return this->emitStorePop(*ResultT, E);
3468 return this->emitStoreBitField(*ResultT, E);
3469 return this->emitStore(*ResultT, E);
3472template <
class Emitter>
3480template <
class Emitter>
3495 if (!
Ctx.getLangOpts().CPlusPlus11)
3502 for (
const Expr *LHS : CommaLHSs) {
3524 if (!this->
visit(Inner))
3529 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3532 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3535 return this->emitGetPtrGlobal(*GlobalIndex, E);
3538 if (!this->checkLiteralType(Inner))
3541 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3547 return this->emitInitGlobalTempComp(TempDecl, E);
3560 unsigned LocalIndex =
3562 if (!this->VarScope->LocalsAlwaysEnabled &&
3563 !this->emitEnableLocal(LocalIndex, E))
3566 if (!this->
visit(Inner))
3568 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3571 return this->emitGetPtrLocal(LocalIndex, E);
3574 if (!this->checkLiteralType(Inner))
3581 if (!this->VarScope->LocalsAlwaysEnabled &&
3582 !this->emitEnableLocal(*LocalIndex, E))
3585 if (!this->emitGetPtrLocal(*LocalIndex, E))
3592template <
class Emitter>
3603 if (!this->
visit(SubExpr))
3607 return this->emitPopPtr(E);
3611template <
class Emitter>
3632 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3637 if (
P.isGlobalInitialized(*GlobalIndex))
3643 return this->emitInitGlobal(*T, *GlobalIndex, E);
3655 unsigned LocalIndex;
3659 LocalIndex = *MaybeIndex;
3663 if (!this->emitGetPtrLocal(LocalIndex, E))
3667 return this->
visit(
Init) && this->emitInit(*T, E);
3671template <
class Emitter>
3684template <
class Emitter>
3688 return this->emitConst(E->
getValue(), E);
3691template <
class Emitter>
3704 for (
const Record::Field &F : R->fields()) {
3706 if (!
Init ||
Init->containsErrors())
3714 if (!this->emitInitField(*T, F.Offset, E))
3717 if (!this->emitGetPtrField(F.Offset, E))
3728template <
class Emitter>
3735 return this->emitGetPtrGlobal(StringIndex, E);
3741template <
class Emitter>
3746 return this->emitInvalid(E);
3749template <
class Emitter>
3769 bool Fatal = (ToT != FromT);
3776template <
class Emitter>
3778 if (!
Ctx.getLangOpts().CPlusPlus20) {
3799 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3804 return this->emitPopPtr(E);
3808template <
class Emitter>
3814 return this->emitConstBool(E->
getValue(), E);
3817template <
class Emitter>
3822 if (T->isRecordType()) {
3836 if (!this->emitGetPtrLocal(*LocalIndex, E))
3844 T->getAsCXXRecordDecl()))
3854 if (!this->visitZeroRecordInitializer(R, E))
3866 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3868 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3869 if (!this->emitCheckFunctionDecl(Ctor, E))
3880 assert(
Func->hasThisPointer());
3881 assert(!
Func->hasRVO());
3885 if (!this->emitDupPtr(E))
3889 for (
const auto *Arg : E->
arguments()) {
3890 if (!this->
visit(Arg))
3894 if (
Func->isVariadic()) {
3895 uint32_t VarArgSize = 0;
3896 unsigned NumParams =
Func->getNumWrittenParams();
3897 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3901 if (!this->emitCallVar(
Func, VarArgSize, E))
3904 if (!this->emitCall(
Func, 0, E)) {
3909 (void)this->emitPopPtr(E);
3915 return this->emitPopPtr(E);
3919 if (T->isArrayType()) {
3924 if (!this->emitDupPtr(E))
3928 initArrayDimension = [&](
QualType T) ->
bool {
3929 if (!T->isArrayType()) {
3931 for (
const auto *Arg : E->
arguments()) {
3932 if (!this->
visit(Arg))
3936 return this->emitCall(
Func, 0, E);
3940 Ctx.getASTContext().getAsConstantArrayType(T);
3945 for (
size_t I = 0; I != NumElems; ++I) {
3946 if (!this->emitConstUint64(I, E))
3948 if (!this->emitArrayElemPtrUint64(E))
3950 if (!initArrayDimension(ElemTy))
3953 return this->emitPopPtr(E);
3956 return initArrayDimension(E->
getType());
3962template <
class Emitter>
3972 assert(Val.
isInt());
3974 return this->emitConst(I, E);
3981 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
3982 return this->
visit(LValueExpr);
3997 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4001 const APValue &
V = UGCD->getValue();
4002 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4003 const Record::Field *F = R->getField(I);
4004 const APValue &FieldValue =
V.getStructField(I);
4010 if (!this->emitInitField(FieldT, F->Offset, E))
4018template <
class Emitter>
4024 for (
unsigned I = 0; I != N; ++I) {
4031 if (!this->
discard(ArrayIndexExpr))
4037 if (!this->
visit(ArrayIndexExpr))
4039 if (!this->emitCastNoOverflow(IndexT, E))
4043 if (!this->
visit(ArrayIndexExpr))
4047 if (!this->emitCast(IndexT,
PT_Sint64, E))
4057 return this->emitOffsetOf(T, E, E);
4060template <
class Emitter>
4069 return this->visitZeroInitializer(*T, Ty, E);
4076 if (!this->emitGetPtrLocal(*LocalIndex, E))
4084 ElemQT = CT->getElementType();
4087 NumElems = VT->getNumElements();
4088 ElemQT = VT->getElementType();
4094 for (
unsigned I = 0; I != NumElems; ++I) {
4095 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4097 if (!this->emitInitElem(ElemT, I, E))
4106template <
class Emitter>
4111template <
class Emitter>
4117template <
class Emitter>
4122template <
class Emitter>
4127 return this->emitConst(E->
getValue(), E);
4130template <
class Emitter>
4135 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4150 unsigned ParamIndex = 0;
4154 if (!this->emitGetParam(PT, ParamIndex, E))
4159 return this->emitCall(F, 0, E);
4164template <
class Emitter>
4172 const Expr *PlacementDest =
nullptr;
4173 bool IsNoThrow =
false;
4178 if (PlacementArgs != 0) {
4187 if (PlacementArgs == 1) {
4195 if (!this->emitInvalidNewDeleteExpr(E, E))
4200 if (OperatorNew->isReservedGlobalPlacementOperator())
4201 PlacementDest = Arg1;
4205 return this->emitInvalid(E);
4207 }
else if (!OperatorNew
4208 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4209 return this->emitInvalidNewDeleteExpr(E, E);
4212 if (!PlacementDest) {
4217 Desc =
P.createDescriptor(E, *ElemT,
nullptr,
4220 Desc =
P.createDescriptor(
4223 false,
false,
false,
4229 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4233 const Expr *Stripped = *ArraySizeExpr;
4234 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4235 Stripped = ICE->getSubExpr())
4236 if (ICE->getCastKind() != CK_NoOp &&
4237 ICE->getCastKind() != CK_IntegralCast)
4245 if (!this->
visit(Stripped))
4247 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4250 if (PlacementDest) {
4251 if (!this->
visit(PlacementDest))
4253 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4255 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4258 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4263 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4267 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4274 size_t StaticInitElems = 0;
4275 const Expr *DynamicInit =
nullptr;
4279 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4280 StaticInitElems = CAT->getZExtSize();
4285 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4286 if (ILE->hasArrayFiller())
4287 DynamicInit = ILE->getArrayFiller();
4306 const Function *CtorFunc =
nullptr;
4307 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4311 }
else if (!DynamicInit && !ElemT)
4314 LabelTy EndLabel = this->getLabel();
4315 LabelTy StartLabel = this->getLabel();
4320 if (!this->emitDupPtr(E))
4322 if (!this->emitNullPtr(0,
nullptr, E))
4324 if (!this->emitEQPtr(E))
4326 if (!this->jumpTrue(EndLabel, E))
4333 if (!this->emitConst(StaticInitElems,
SizeT, E))
4335 if (!this->emitSetLocal(
SizeT, Iter, E))
4338 this->fallthrough(StartLabel);
4339 this->emitLabel(StartLabel);
4341 if (!this->emitGetLocal(
SizeT, Iter, E))
4343 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4345 if (!this->emitLT(
SizeT, E))
4347 if (!this->jumpFalse(EndLabel, E))
4351 if (!this->emitGetLocal(
SizeT, Iter, E))
4353 if (!this->emitArrayElemPtr(
SizeT, E))
4356 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4361 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4363 if (!this->emitStorePop(*InitT, E))
4367 if (!this->visitZeroArrayInitializer(ElemType, E))
4370 }
else if (DynamicInit) {
4372 if (!this->
visit(DynamicInit))
4374 if (!this->emitStorePop(*InitT, E))
4381 if (!this->visitZeroInitializer(
4385 if (!this->emitStorePop(*ElemT, E))
4389 if (!this->emitCall(CtorFunc, 0, E))
4394 if (!this->emitGetPtrLocal(Iter, E))
4396 if (!this->emitIncPop(
SizeT,
false, E))
4399 if (!this->jump(StartLabel, E))
4402 this->fallthrough(EndLabel);
4403 this->emitLabel(EndLabel);
4407 if (PlacementDest) {
4408 if (!this->
visit(PlacementDest))
4410 if (!this->emitCheckNewTypeMismatch(E, E))
4415 if (!this->emitAlloc(Desc, E))
4424 if (!this->emitInit(*ElemT, E))
4435 return this->emitPopPtr(E);
4440template <
class Emitter>
4446 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4447 return this->emitInvalidNewDeleteExpr(E, E);
4456template <
class Emitter>
4462 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4467 return this->emitGetFnPtr(
Func, E);
4470template <
class Emitter>
4474 auto canonType = [](
const Type *T) {
4475 return T->getCanonicalTypeUnqualified().getTypePtr();
4483 return this->emitGetTypeid(
4487 return this->emitGetTypeid(
4496 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4502 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4505 return this->emitPopPtr(E);
4509template <
class Emitter>
4513 return this->emitDummyPtr(E, E);
4514 return this->emitError(E);
4517template <
class Emitter>
4520 return this->emitDummyPtr(E, E);
4521 return this->emitError(E);
4524template <
class Emitter>
4526 assert(
Ctx.getLangOpts().CPlusPlus);
4527 return this->emitConstBool(E->
getValue(), E);
4530template <
class Emitter>
4542 return this->emitDummyPtr(GuidDecl, E);
4547 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4556 assert(
V.isStruct());
4557 assert(
V.getStructNumBases() == 0);
4561 return this->emitFinishInit(E);
4564template <
class Emitter>
4574template <
class Emitter>
4583template <
class Emitter>
4589template <
class Emitter>
4593 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4597 if (OVE->isUnique())
4613template <
class Emitter>
4618template <
class Emitter>
4620 return this->emitError(E);
4623template <
class Emitter>
4629 return this->emitDummyPtr(E, E);
4632template <
class Emitter>
4633bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4638 QualType ElemType = VT->getElementType();
4639 PrimType ElemT = classifyPrim(ElemType);
4641 PrimType SrcElemT = classifyVectorElementType(SrcType);
4647 if (!this->emitGetPtrLocal(*LocalIndex, E))
4651 unsigned SrcOffset =
4652 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4653 if (!this->visit(Src))
4655 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4658 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4659 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4661 if (!this->emitArrayElemPop(SrcElemT, I, E))
4665 if (SrcElemT != ElemT) {
4666 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4668 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4669 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4673 if (!this->emitInitElem(ElemT, I, E))
4679template <
class Emitter>
4681 return emitVectorConversion(E->
getSrcExpr(), E);
4684template <
class Emitter>
4688 return this->emitInvalid(E);
4697 assert(NumOutputElems > 0);
4703 if (!this->emitGetPtrLocal(*LocalIndex, E))
4708 unsigned VectorOffsets[2];
4709 for (
unsigned I = 0; I != 2; ++I) {
4712 if (!this->
visit(Vecs[I]))
4714 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4717 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4719 assert(ShuffleIndex >= -1);
4720 if (ShuffleIndex == -1)
4721 return this->emitInvalidShuffleVectorIndex(I, E);
4723 assert(ShuffleIndex < (NumInputElems * 2));
4724 if (!this->emitGetLocal(
PT_Ptr,
4725 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4727 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4728 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4731 if (!this->emitInitElem(ElemT, I, E))
4736 return this->emitPopPtr(E);
4741template <
class Emitter>
4746 Base->getType()->isVectorType() ||
4752 if (Indices.size() == 1) {
4757 if (!this->emitConstUint32(Indices[0], E))
4759 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4769 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4777 if (!this->emitGetPtrLocal(*ResultIndex, E))
4785 uint32_t DstIndex = 0;
4786 for (uint32_t I : Indices) {
4787 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4789 if (!this->emitArrayElemPop(ElemT, I, E))
4791 if (!this->emitInitElem(ElemT, DstIndex, E))
4801template <
class Emitter>
4805 return this->
discard(SubExpr) && this->emitInvalid(E);
4811 return this->emitDummyPtr(E, E);
4814template <
class Emitter>
4819 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4824 if (!this->
visit(SubExpr))
4826 if (!this->emitConstUint8(0, E))
4828 if (!this->emitArrayElemPtrPopUint8(E))
4830 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4835 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4837 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4839 assert(SecondFieldT ==
PT_Ptr);
4841 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4843 if (!this->emitExpandPtr(E))
4847 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4849 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4852template <
class Emitter>
4867 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4871 return this->emitUnsupported(E);
4880 return this->
Visit(E);
4887 return this->
Visit(E);
4891 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4894 if (
const auto *CE = dyn_cast<CastExpr>(E);
4896 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4903 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4906 if (
const auto *CE = dyn_cast<CastExpr>(E);
4907 CE && (CE->getCastKind() == CK_DerivedToBase ||
4908 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4909 CE->getCastKind() == CK_NoOp))
4929 if (!this->emitGetPtrLocal(*LocalIndex, E))
4939 return this->
Visit(E);
4942template <
class Emitter>
4948 return this->
Visit(E) && this->emitFinishInit(E);
4951template <
class Emitter>
4957 return this->
Visit(E) && this->emitFinishInitPop(E);
4963 return this->
Visit(E);
4974 if (!this->
visit(E))
4976 return this->emitComplexBoolCast(E);
4981 if (!this->
visit(E))
4989 return this->emitIsNonNullPtr(E);
4993 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
4996 return this->emitCast(*T,
PT_Bool, E);
4999template <
class Emitter>
5003 QT = AT->getValueType();
5007 return this->emitZeroBool(E);
5009 return this->emitZeroSint8(E);
5011 return this->emitZeroUint8(E);
5013 return this->emitZeroSint16(E);
5015 return this->emitZeroUint16(E);
5017 return this->emitZeroSint32(E);
5019 return this->emitZeroUint32(E);
5021 return this->emitZeroSint64(E);
5023 return this->emitZeroUint64(E);
5025 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5027 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5029 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5032 return this->emitNullMemberPtr(0,
nullptr, E);
5034 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5035 return this->emitFloat(F, E);
5038 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5042 llvm_unreachable(
"unknown primitive type");
5045template <
class Emitter>
5046bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5048 bool IsCompleteClass) {
5052 for (
const Record::Field &Field :
R->fields()) {
5053 if (Field.isUnnamedBitField())
5060 if (!this->visitZeroInitializer(T, QT, E))
5063 if (!this->emitInitFieldActivate(T, Field.Offset, E))
5067 if (!this->emitInitField(T, Field.Offset, E))
5072 if (!this->emitGetPtrField(Field.Offset, E))
5079 if (!this->visitZeroInitializer(T, ET, E))
5081 if (!this->emitInitElem(T, I, E))
5086 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5089 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5097 if (!this->emitFinishInitActivatePop(E))
5101 if (!this->emitFinishInitPop(E))
5105 for (
const Record::Base &B :
R->bases()) {
5106 if (!this->emitGetPtrBase(B.Offset, E))
5108 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5110 if (!this->emitFinishInitPop(E))
5114 if (IsCompleteClass) {
5115 for (
const Record::Base &B :
R->virtual_bases()) {
5118 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5120 if (!this->emitFinishInitPop(E))
5128template <
class Emitter>
5129bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5130 assert(T->isArrayType() || T->isAnyComplexType() || T->isVectorType());
5136 for (
size_t I = 0; I != NumElems; ++I) {
5137 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5139 if (!this->emitInitElem(*ElemT, I, E))
5145 const Record *
R = getRecord(ElemType);
5149 for (
size_t I = 0; I != NumElems; ++I) {
5150 if (!this->emitConstUint32(I, E))
5152 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5154 if (!this->visitZeroRecordInitializer(R, E))
5156 if (!this->emitPopPtr(E))
5162 for (
size_t I = 0; I != NumElems; ++I) {
5163 if (!this->emitConstUint32(I, E))
5165 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5167 if (!this->visitZeroArrayInitializer(ElemType, E))
5169 if (!this->emitPopPtr(E))
5178template <
class Emitter>
5179bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5181 if (!canClassify(E->
getType()))
5186 if (!this->visit(LHS))
5188 if (!this->visit(RHS))
5191 if (!this->visit(RHS))
5193 if (!this->visit(LHS))
5201 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5205 bool Activates = refersToUnion(LHS);
5208 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5211 if (DiscardResult) {
5212 if (BitField && Activates)
5213 return this->emitStoreBitFieldActivatePop(RHT, E);
5215 return this->emitStoreBitFieldPop(RHT, E);
5217 return this->emitStoreActivatePop(RHT, E);
5219 return this->emitStorePop(RHT, E);
5222 auto maybeLoad = [&](
bool Result) ->
bool {
5228 return this->emitLoadPop(RHT, E);
5232 if (BitField && Activates)
5233 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5235 return maybeLoad(this->emitStoreBitField(RHT, E));
5237 return maybeLoad(this->emitStoreActivate(RHT, E));
5239 return maybeLoad(this->emitStore(RHT, E));
5242template <
class Emitter>
5243template <
typename T>
5247 return this->emitConstSint8(
Value, Info);
5249 return this->emitConstUint8(
Value, Info);
5251 return this->emitConstSint16(
Value, Info);
5253 return this->emitConstUint16(
Value, Info);
5255 return this->emitConstSint32(
Value, Info);
5257 return this->emitConstUint32(
Value, Info);
5259 return this->emitConstSint64(
Value, Info);
5261 return this->emitConstUint64(
Value, Info);
5263 return this->emitConstBool(
Value, Info);
5270 llvm_unreachable(
"Invalid integral type");
5273 llvm_unreachable(
"unknown primitive type");
5276template <
class Emitter>
5277template <
typename T>
5278bool Compiler<Emitter>::emitConst(T
Value,
const Expr *E) {
5279 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5282template <
class Emitter>
5286 return this->emitConstIntAPS(
Value, Info);
5288 return this->emitConstIntAP(
Value, Info);
5290 if (
Value.isSigned())
5291 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5292 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5295template <
class Emitter>
5299 return this->emitConstIntAPS(
Value, Info);
5301 return this->emitConstIntAP(
Value, Info);
5304 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5305 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5308template <
class Emitter>
5309bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5310 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5313template <
class Emitter>
5326 if (
auto *VD = dyn_cast_if_present<ValueDecl>(Src.dyn_cast<
const Decl *>()))
5327 Locals.insert({VD, Local});
5328 VarScope->addForScopeKind(Local, SC);
5329 return Local.Offset;
5332template <
class Emitter>
5337 bool IsTemporary =
false;
5338 if (
auto *VD = dyn_cast_if_present<ValueDecl>(Src.dyn_cast<
const Decl *>())) {
5341 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5342 Init = VarD->getInit();
5344 if (
auto *E = Src.dyn_cast<
const Expr *>()) {
5355 return std::nullopt;
5360 Locals.insert({Key, Local});
5361 VarScope->addForScopeKind(Local, SC);
5362 return Local.Offset;
5365template <
class Emitter>
5375 return std::nullopt;
5385 return Local.Offset;
5388template <
class Emitter>
5390 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5391 return PT->getPointeeType()->getAsCanonical<RecordType>();
5397 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5401template <
class Emitter>
5403 return P.getOrCreateRecord(RD);
5406template <
class Emitter>
5408 return Ctx.getOrCreateFunction(FD);
5411template <
class Emitter>
5415 auto maybeDestroyLocals = [&]() ->
bool {
5416 if (DestroyToplevelScope)
5417 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5418 return this->emitCheckAllocations(E);
5425 return this->emitRetVoid(E) && maybeDestroyLocals();
5433 return this->emitRet(*T, E) && maybeDestroyLocals();
5441 if (!this->emitGetPtrLocal(*LocalOffset, E))
5449 return this->emitRetValue(E) && maybeDestroyLocals();
5452 return maybeDestroyLocals() &&
false;
5455template <
class Emitter>
5457 bool DestroyToplevelScope) {
5461 return this->
visitExpr(E, DestroyToplevelScope);
5464template <
class Emitter>
5476 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5477 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5491template <
class Emitter>
5493 bool ConstantContext) {
5496 if (!ConstantContext) {
5511 auto GlobalIndex =
P.getGlobal(VD);
5512 assert(GlobalIndex);
5514 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5517 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5521 auto Local =
Locals.find(VD);
5522 assert(Local !=
Locals.end());
5525 if (!this->emitGetRefLocal(Local->second.Offset, VD))
5527 }
else if (!this->emitGetLocal(*VarT, Local->second.Offset, VD))
5530 if (!this->emitGetPtrLocal(Local->second.Offset, VD))
5540 auto GlobalIndex =
P.getGlobal(VD);
5541 assert(GlobalIndex);
5542 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5551 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5554template <
class Emitter>
5565 if (!this->isActive())
5570 if (
Init &&
Init->isValueDependent())
5574 auto checkDecl = [&]() ->
bool {
5576 return !NeedsOp || this->emitCheckDecl(VD, VD);
5583 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5586 if (
P.isGlobalInitialized(*GlobalIndex))
5590 }
else if ((GlobalIndex =
5605 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5608 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5611 if (!this->emitStartInit(
Init))
5617 if (!this->emitEndInit(
Init))
5620 return this->emitFinishInitGlobal(
Init);
5630 if (!
Init ||
Init->getType()->isVoidType())
5639 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5651 if (!this->emitCheckRefInit(
Init))
5655 return this->emitSetLocal(*VarT, Offset, VD);
5663 if (!this->emitGetPtrLocal(*Offset,
Init))
5671template <
class Emitter>
5692 Locals.insert({VD, Local});
5695 if (!this->emitGetPtrLocal(Local.Offset, VD))
5701 return this->emitDestructionPop(D, VD);
5710 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5734template <
class Emitter>
5749 unsigned ParamIndex = 0;
5756 const Expr *Arg = Args[ParamIndex];
5757 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5759 unsigned ArgOffset =
5761 if (!this->
visit(Arg))
5763 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5769 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5781 if (
This->getType()->isPointerType()) {
5784 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5791 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5813template <
class Emitter>
5819 return this->emitConst(Val.
getInt(), ValType, Info);
5822 return this->emitFloat(F, Info);
5827 if (!this->emitGetMemberPtr(MemberDecl, Info))
5833 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5839 return this->emitNullMemberPtr(0,
nullptr, Info);
5844 return this->emitNull(ValType, 0,
nullptr, Info);
5849 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5850 return this->
visit(BaseExpr);
5855 QualType EntryType = VD->getType();
5856 for (
auto &Entry : Path) {
5858 uint64_t Index = Entry.getAsArrayIndex();
5861 if (!this->emitConst(Index,
PT_Uint64, Info))
5863 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5865 EntryType = ElemType;
5872 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5873 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5875 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5877 EntryType = FD->getType();
5881 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5886 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5889 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5901template <
class Emitter>
5904 bool IsCompleteClass) {
5910 if (IsCompleteClass)
5917 const Record::Base *RB = R->getBase(I);
5918 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5920 if (!this->emitGetPtrBase(RB->Offset, Info))
5925 if (!this->emitFinishInitPop(Info))
5933 const Record::Field *RF = R->getField(I);
5934 QualType FieldType = RF->Decl->getType();
5939 if (!this->emitInitField(*PT, RF->Offset, Info))
5942 if (!this->emitGetPtrField(RF->Offset, Info))
5946 if (!this->emitFinishInitPop(Info))
5952 if (IsCompleteClass) {
5957 const Record::Base *RB = R->getVirtualBase(I);
5958 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5966 if (!this->emitFinishInitPop(Info))
5982 const Record::Field *RF = R->getField(UnionField);
5983 QualType FieldType = RF->Decl->getType();
5988 if (RF->isBitField())
5989 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
5991 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
5994 if (!this->emitGetPtrField(RF->Offset, Info))
5996 if (!this->emitActivate(Info))
6000 return this->emitPopPtr(Info);
6004 const auto *ArrType = T->getAsArrayTypeUnsafe();
6005 QualType ElemType = ArrType->getElementType();
6008 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6009 const APValue &Elem = A >= InitializedElems
6018 if (!this->emitInitElem(*ElemT, A, Info))
6021 if (!this->emitConstUint32(A, Info))
6023 if (!this->emitArrayElemPtrUint32(Info))
6027 if (!this->emitPopPtr(Info))
6038template <
class Emitter>
6040 unsigned BuiltinID) {
6041 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6046 return this->emitConst(0, E);
6049 if (!this->emitStartSpeculation(E))
6051 LabelTy EndLabel = this->getLabel();
6052 if (!this->speculate(E, EndLabel))
6054 if (!this->emitEndSpeculation(E))
6056 this->fallthrough(EndLabel);
6064 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6065 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6066 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6067 BuiltinID == Builtin::BI__builtin_function_start) {
6070 return this->emitDummyPtr(E, E);
6081 if (!this->emitGetPtrLocal(*LocalIndex, E))
6086 switch (BuiltinID) {
6087 case Builtin::BI__builtin_object_size:
6088 case Builtin::BI__builtin_dynamic_object_size: {
6092 if (!this->
visit(Arg0))
6103 case Builtin::BI__assume:
6104 case Builtin::BI__builtin_assume:
6107 case Builtin::BI__atomic_is_lock_free:
6108 case Builtin::BI__atomic_always_lock_free: {
6119 for (
const auto *Arg : E->
arguments()) {
6120 if (!this->
visit(Arg))
6126 if (!this->emitCallBI(E, BuiltinID, E))
6135template <
class Emitter>
6156 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6157 DD && DD->isTrivial()) {
6159 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6161 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6162 this->emitPopPtr(E);
6170 bool HasRVO = !
ReturnType->isVoidType() && !T;
6178 if (!this->emitGetPtrLocal(*LocalIndex, E))
6186 if (!this->emitGetPtrLocal(*LocalIndex, E))
6190 if (!this->emitDupPtr(E))
6197 bool IsAssignmentOperatorCall =
false;
6198 bool ActivateLHS =
false;
6199 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6200 OCE && OCE->isAssignmentOp()) {
6204 assert(Args.size() == 2);
6205 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6207 IsAssignmentOperatorCall =
true;
6208 std::reverse(Args.begin(), Args.end());
6214 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6215 MD && MD->isStatic()) {
6219 Args.erase(Args.begin());
6223 bool Devirtualized =
false;
6226 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6234 if (!this->
visit(Callee))
6236 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6238 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6240 if (!this->emitGetMemberPtrBase(E))
6243 const auto *InstancePtr = MC->getImplicitObjectArgument();
6250 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6251 Devirtualized =
true;
6252 if (!this->
visit(Stripped))
6255 if (!this->
visit(InstancePtr))
6259 if (!this->
visit(InstancePtr))
6263 }
else if (
const auto *PD =
6264 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6265 if (!this->emitCheckPseudoDtor(E))
6273 return this->emitPseudoDtor(E);
6274 }
else if (!FuncDecl) {
6278 if (!this->
visit(Callee))
6280 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6289 if (IsAssignmentOperatorCall) {
6290 assert(Args.size() == 2);
6293 if (!this->emitFlip(Arg2T, Arg1T, E))
6307 assert(HasRVO ==
Func->hasRVO());
6309 bool HasQualifier =
false;
6310 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6311 HasQualifier = ME->hasQualifier();
6313 bool IsVirtual =
false;
6314 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6315 IsVirtual = !Devirtualized && MD->isVirtual();
6320 if (IsVirtual && !HasQualifier) {
6321 uint32_t VarArgSize = 0;
6322 unsigned NumParams =
6323 Func->getNumWrittenParams() +
6325 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6328 if (!this->emitCallVirt(
Func, VarArgSize, E))
6330 }
else if (
Func->isVariadic()) {
6331 uint32_t VarArgSize = 0;
6332 unsigned NumParams =
6333 Func->getNumWrittenParams() +
6335 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6337 if (!this->emitCallVar(
Func, VarArgSize, E))
6340 if (!this->emitCall(
Func, 0, E))
6349 uint32_t ArgSize = 0;
6350 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6356 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6358 if (!this->emitGetMemberPtrDecl(E))
6361 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6364 if (!this->emitCallPtr(ArgSize, E, E))
6375template <
class Emitter>
6382template <
class Emitter>
6389template <
class Emitter>
6394 return this->emitConstBool(E->
getValue(), E);
6397template <
class Emitter>
6403 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6404 return this->emitNullPtr(Val,
nullptr, E);
6407template <
class Emitter>
6415 return this->emitZero(T, E);
6418template <
class Emitter>
6423 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6424 if (this->LambdaThisCapture.Offset > 0) {
6425 if (this->LambdaThisCapture.IsPtr)
6426 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6427 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6436 return this->emitThis(E);
6451 unsigned StartIndex = 0;
6452 unsigned EndIndex = 0;
6454 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6456 EndIndex = StartIndex;
6463 for (; StartIndex > 0; --StartIndex) {
6473 if (StartIndex == 0 && EndIndex == 0)
6479 assert(StartIndex <= EndIndex);
6482 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6494 case Stmt::CompoundStmtClass:
6496 case Stmt::DeclStmtClass:
6498 case Stmt::ReturnStmtClass:
6500 case Stmt::IfStmtClass:
6502 case Stmt::WhileStmtClass:
6504 case Stmt::DoStmtClass:
6506 case Stmt::ForStmtClass:
6508 case Stmt::CXXForRangeStmtClass:
6510 case Stmt::BreakStmtClass:
6512 case Stmt::ContinueStmtClass:
6514 case Stmt::SwitchStmtClass:
6516 case Stmt::CaseStmtClass:
6518 case Stmt::DefaultStmtClass:
6520 case Stmt::AttributedStmtClass:
6522 case Stmt::CXXTryStmtClass:
6524 case Stmt::NullStmtClass:
6527 case Stmt::GCCAsmStmtClass:
6528 case Stmt::MSAsmStmtClass:
6529 case Stmt::GotoStmtClass:
6530 return this->emitInvalid(S);
6531 case Stmt::LabelStmtClass:
6533 case Stmt::CXXExpansionStmtInstantiationClass:
6537 if (
const auto *E = dyn_cast<Expr>(S))
6544template <
class Emitter>
6547 for (
const auto *InnerStmt : S->
body())
6550 return Scope.destroyLocals();
6553template <
class Emitter>
6554bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6555 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6556 for (
auto *BD : DD->flat_bindings())
6557 if (
auto *KD = BD->getHoldingVar();
6558 KD && !this->visitVarDecl(KD, KD->getInit()))
6572template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6574 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6575 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6582 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6587 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6588 ICE && (ICE->getCastKind() == CK_NoOp ||
6589 ICE->getCastKind() == CK_DerivedToBase ||
6590 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6591 E = ICE->getSubExpr();
6595 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6596 const auto *ThisRecord =
6597 This->getType()->getPointeeType()->getAsRecordDecl();
6598 if (!ThisRecord->isUnion())
6601 if (
const auto *Ctor =
6602 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6603 return Ctor->getParent() == ThisRecord;
6612template <
class Emitter>
6614 bool EvaluateConditionDecl) {
6615 for (
const auto *D : DS->
decls()) {
6620 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6621 assert(ESD->getInstantiations() &&
"not expanded?");
6622 if (!this->
visitStmt(ESD->getInstantiations()))
6627 const auto *VD = dyn_cast<VarDecl>(D);
6634 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6641template <
class Emitter>
6644 return this->emitUnsupported(RS);
6650 if (!this->
visit(RE))
6656 if (RE->getType()->isVoidType()) {
6657 if (!this->
visit(RE))
6660 if (RE->containsErrors())
6665 if (!this->emitRVOPtr(RE))
6671 return this->emitRetVoid(RS);
6677 return this->emitRetVoid(RS);
6683 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6690 if (
auto *CondInit = IS->
getInit()) {
6706 return visitChildStmt(IS->
getThen());
6708 return visitChildStmt(Else);
6714 if (!this->emitIsConstantContext(IS))
6717 if (!this->emitIsConstantContext(IS))
6719 if (!this->emitInv(IS))
6733 LabelTy LabelElse = this->getLabel();
6734 LabelTy LabelEnd = this->getLabel();
6735 if (!this->jumpFalse(LabelElse, IS))
6737 if (!visitChildStmt(IS->
getThen()))
6739 if (!this->jump(LabelEnd, IS))
6741 this->emitLabel(LabelElse);
6742 if (!visitChildStmt(Else))
6744 this->emitLabel(LabelEnd);
6746 LabelTy LabelEnd = this->getLabel();
6747 if (!this->jumpFalse(LabelEnd, IS))
6749 if (!visitChildStmt(IS->
getThen()))
6751 this->emitLabel(LabelEnd);
6760template <
class Emitter>
6765 LabelTy CondLabel = this->getLabel();
6766 LabelTy EndLabel = this->getLabel();
6770 this->fallthrough(CondLabel);
6771 this->emitLabel(CondLabel);
6787 if (!this->jumpFalse(EndLabel, S))
6797 if (!this->jump(CondLabel, S))
6799 this->fallthrough(EndLabel);
6800 this->emitLabel(EndLabel);
6809 LabelTy StartLabel = this->getLabel();
6810 LabelTy EndLabel = this->getLabel();
6811 LabelTy CondLabel = this->getLabel();
6815 this->fallthrough(StartLabel);
6816 this->emitLabel(StartLabel);
6822 this->fallthrough(CondLabel);
6823 this->emitLabel(CondLabel);
6830 if (!this->jumpTrue(StartLabel, S))
6833 this->fallthrough(EndLabel);
6834 this->emitLabel(EndLabel);
6838template <
class Emitter>
6846 LabelTy EndLabel = this->getLabel();
6847 LabelTy CondLabel = this->getLabel();
6848 LabelTy IncLabel = this->getLabel();
6855 this->fallthrough(CondLabel);
6856 this->emitLabel(CondLabel);
6868 if (!this->jumpFalse(EndLabel, S))
6877 this->fallthrough(IncLabel);
6878 this->emitLabel(IncLabel);
6884 if (!this->jump(CondLabel, S))
6888 this->emitLabel(EndLabel);
6894template <
class Emitter>
6904 LabelTy EndLabel = this->getLabel();
6905 LabelTy CondLabel = this->getLabel();
6906 LabelTy IncLabel = this->getLabel();
6921 this->fallthrough(CondLabel);
6922 this->emitLabel(CondLabel);
6925 if (!this->jumpFalse(EndLabel, S))
6936 this->fallthrough(IncLabel);
6937 this->emitLabel(IncLabel);
6942 if (!this->jump(CondLabel, S))
6945 this->fallthrough(EndLabel);
6946 this->emitLabel(EndLabel);
6950template <
class Emitter>
6961 if (LI.BreakLabel) {
6962 TargetLabel = *LI.BreakLabel;
6963 BreakScope = LI.BreakOrContinueScope;
6969 if (LI.Name == TargetLoop) {
6970 TargetLabel = *LI.BreakLabel;
6971 BreakScope = LI.BreakOrContinueScope;
6982 C =
C->getParent()) {
6983 if (!
C->destroyLocals())
6987 return this->jump(*TargetLabel, S);
6990template <
class Emitter>
7001 if (LI.ContinueLabel) {
7002 TargetLabel = *LI.ContinueLabel;
7003 ContinueScope = LI.BreakOrContinueScope;
7009 if (LI.Name == TargetLoop) {
7010 TargetLabel = *LI.ContinueLabel;
7011 ContinueScope = LI.BreakOrContinueScope;
7016 assert(TargetLabel);
7019 C =
C->getParent()) {
7020 if (!
C->destroyLocals())
7024 return this->jump(*TargetLabel, S);
7027template <
class Emitter>
7030 if (
Cond->containsErrors())
7037 LabelTy EndLabel = this->getLabel();
7042 if (
const auto *CondInit = S->
getInit())
7053 if (!this->emitSetLocal(CondT, CondVar, S))
7063 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7066 if (CS->caseStmtIsGNURange()) {
7067 LabelTy EndOfRangeCheck = this->getLabel();
7068 const Expr *Low = CS->getLHS();
7069 const Expr *High = CS->getRHS();
7073 if (!this->emitGetLocal(CondT, CondVar, CS))
7075 if (!this->
visit(Low))
7078 if (!this->emitGE(
LT, S))
7080 if (!this->jumpFalse(EndOfRangeCheck, S))
7083 if (!this->emitGetLocal(CondT, CondVar, CS))
7085 if (!this->
visit(High))
7088 if (!this->emitLE(HT, S))
7092 this->emitLabel(EndOfRangeCheck);
7097 if (
Value->isValueDependent())
7102 if (!this->emitGetLocal(CondT, CondVar, CS))
7108 if (!this->emitEQ(ValueT, S))
7113 assert(!DefaultLabel);
7114 DefaultLabel = this->getLabel();
7121 if (!this->jump(*DefaultLabel, S))
7124 if (!this->jump(EndLabel, S))
7132 this->fallthrough(EndLabel);
7133 this->emitLabel(EndLabel);
7138template <
class Emitter>
7146 return this->emitUnsupported(S);
7151template <
class Emitter>
7158 if (LI.DefaultLabel) {
7159 DefaultLabel = *LI.DefaultLabel;
7164 this->emitLabel(DefaultLabel);
7168template <
class Emitter>
7175 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7178 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7179 !this->Ctx.getLangOpts().MSVCCompat) {
7181 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7187 const Expr *Assumption = AA->getAssumption();
7198 if (!this->emitAssume(Assumption))
7207 if (IsMSVCConstexprAttr)
7208 return this->emitPopMSVCCE(S);
7212template <
class Emitter>
7225template <
class Emitter>
7235 LabelTy EndLabel = this->getLabel();
7237 LabelTy ContinueLabel = this->getLabel();
7242 this->emitLabel(ContinueLabel);
7245 this->emitLabel(EndLabel);
7250template <
class Emitter>
7251bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7258 assert(ClosureClass->
captures().empty());
7262 "A generic lambda's static-invoker function must be a "
7263 "template specialization");
7267 void *InsertPos =
nullptr;
7268 const FunctionDecl *CorrespondingCallOpSpecialization =
7270 assert(CorrespondingCallOpSpecialization);
7271 LambdaCallOp = CorrespondingCallOpSpecialization;
7275 assert(ClosureClass->
captures().empty());
7276 const Function *
Func = this->getFunction(LambdaCallOp);
7279 assert(
Func->hasThisPointer());
7282 if (
Func->hasRVO()) {
7283 if (!this->emitRVOPtr(MD))
7291 if (!this->emitNullPtr(0,
nullptr, MD))
7296 auto It = this->Params.find(PVD);
7297 assert(It != this->Params.end());
7301 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7302 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7306 if (!this->emitCall(
Func, 0, LambdaCallOp))
7311 return this->emitRet(*ReturnType, MD);
7314 return this->emitRetVoid(MD);
7317template <
class Emitter>
7318bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7319 if (Ctx.getLangOpts().CPlusPlus23)
7329 const Expr *InitExpr =
Init->getInit();
7331 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7335 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7345template <
class Emitter>
7347 assert(!ReturnType);
7350 if (!this->emitStartThisLifetime1(Ctor))
7353 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7354 const Expr *InitExpr,
7357 if (InitExpr->getType().isNull())
7361 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7364 if (!this->visit(InitExpr))
7367 if (F->isBitField())
7368 return this->emitInitThisBitField(*T, FieldOffset, F->bitWidth(),
7370 return this->emitInitThisField(*T, FieldOffset, InitExpr);
7375 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7378 if (
Activate && !this->emitActivate(InitExpr))
7381 return this->visitInitializerPop(InitExpr);
7385 const Record *
R = this->getRecord(RD);
7388 bool IsUnion =
R->isUnion();
7398 if (!this->emitThis(Ctor))
7401 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7404 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7405 this->emitRetVoid(Ctor);
7408 unsigned FieldInits = 0;
7411 if (
R->getNumVirtualBases() > 0) {
7412 if (!this->emitThis(Ctor))
7414 LabelTy AfterVirtBasesLabel = this->getLabel();
7417 if (!this->emitIsBaseClass({}))
7419 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7422 for (
const auto *
Init : Ctor->
inits()) {
7425 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7427 assert(
R->getVirtualBase(BaseDecl));
7428 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7430 if (!this->visitInitializerPop(
Init->getInit()))
7435 this->fallthrough(AfterVirtBasesLabel);
7436 this->emitLabel(AfterVirtBasesLabel);
7438 if (!this->emitPopPtr(Ctor))
7442 for (
const auto *
Init : Ctor->
inits()) {
7446 const Expr *InitExpr =
Init->getInit();
7448 const Record::Field *F =
R->getField(
Member);
7452 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7456 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7459 if (
Init->isBaseVirtual()) {
7465 const Record::Base *B =
R->getBase(BaseDecl);
7467 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7471 if (!this->visitInitializerPop(InitExpr))
7476 unsigned ChainSize = IFD->getChainingSize();
7477 assert(ChainSize >= 2);
7479 unsigned NestedFieldOffset = 0;
7480 const Record::Field *NestedField =
nullptr;
7481 for (
unsigned I = 0; I != ChainSize; ++I) {
7483 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7484 assert(FieldRecord);
7486 NestedField = FieldRecord->
getField(FD);
7487 assert(NestedField);
7488 IsUnion = IsUnion || FieldRecord->
isUnion();
7490 NestedFieldOffset += NestedField->Offset;
7493 if (I != ChainSize - 1)
7496 assert(NestedField);
7499 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7504 unsigned InitFieldOffset = 0;
7505 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7507 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7508 assert(FieldRecord);
7509 NestedField = FieldRecord->
getField(FD);
7510 InitFieldOffset += NestedField->Offset;
7511 assert(NestedField);
7512 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7514 if (!this->emitFinishInitPop(InitExpr))
7518 InitStack.pop_back_n(ChainSize - 1);
7521 assert(
Init->isDelegatingInitializer());
7522 if (!this->emitThis(InitExpr))
7524 if (!this->visitInitializerPop(
Init->getInit()))
7528 if (!
Scope.destroyLocals())
7532 if (FieldInits !=
R->getNumFields()) {
7533 assert(FieldInits < R->getNumFields());
7535 if (!this->emitStartThisLifetime(Ctor))
7542 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7543 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7550 if (!visitStmt(Body))
7557template <
class Emitter>
7560 const Record *
R = this->getRecord(RD);
7564 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7565 if (!this->visitStmt(
Dtor->getBody()))
7569 if (!this->emitThis(
Dtor))
7572 if (!this->emitCheckDestruction(
Dtor))
7576 if (!
R->isUnion()) {
7580 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7584 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7586 if (!this->emitDestructionPop(D,
SourceInfo{}))
7591 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7592 if (
Base.R->hasTrivialDtor())
7596 if (!this->emitRecordDestructionPop(
Base.R, {}))
7600 if (
R->getNumVirtualBases() > 0) {
7601 LabelTy EndLabel = this->getLabel();
7603 if (!this->emitIsBaseClass({}))
7605 if (!this->jumpTrue(EndLabel, {}))
7608 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7609 if (
Base.R->hasTrivialDtor())
7614 if (!this->emitRecordDestructionPop(
Base.R, {}))
7618 this->fallthrough(EndLabel);
7619 this->emitLabel(EndLabel);
7622 if (!this->emitMarkDestroyed(
Dtor))
7625 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7628template <
class Emitter>
7629bool Compiler<Emitter>::compileUnionAssignmentOperator(
7631 if (!this->emitThis(MD))
7634 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7637 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7640template <
class Emitter>
7650 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7651 return this->compileConstructor(Ctor);
7652 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7653 return this->compileDestructor(
Dtor);
7656 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7661 return this->compileUnionAssignmentOperator(MD);
7664 return this->emitLambdaStaticInvokerBody(MD);
7668 if (
const auto *Body = F->
getBody())
7682 return FD->getBitWidthValue();
7685template <
class Emitter>
7701 if (!
Ctx.getLangOpts().CPlusPlus14)
7702 return this->emitInvalid(E);
7704 return this->emitError(E);
7706 if (!this->
visit(SubExpr))
7710 if (!this->emitIncPtr(E))
7717 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7718 : this->emitIncf(getFPOptions(E), E);
7730 if (!
Ctx.getLangOpts().CPlusPlus14)
7731 return this->emitInvalid(E);
7733 return this->emitError(E);
7735 if (!this->
visit(SubExpr))
7739 if (!this->emitDecPtr(E))
7746 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7747 : this->emitDecf(getFPOptions(E), E);
7760 if (!
Ctx.getLangOpts().CPlusPlus14)
7761 return this->emitInvalid(E);
7763 return this->emitError(E);
7765 if (!this->
visit(SubExpr))
7769 if (!this->emitLoadPtr(E))
7771 if (!this->emitConstUint8(1, E))
7773 if (!this->emitAddOffsetUint8(E))
7775 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7781 return this->emitIncfPop(getFPOptions(E), E);
7791 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7792 if (!this->emitLoadFloat(E))
7794 APFloat F(TargetSemantics, 1);
7795 if (!this->emitFloat(F, E))
7798 if (!this->emitAddf(getFPOptions(E), E))
7800 if (!this->emitStoreFloat(E))
7812 return E->
isGLValue() || this->emitLoadPop(*T, E);
7815 if (!
Ctx.getLangOpts().CPlusPlus14)
7816 return this->emitInvalid(E);
7818 return this->emitError(E);
7820 if (!this->
visit(SubExpr))
7824 if (!this->emitLoadPtr(E))
7826 if (!this->emitConstUint8(1, E))
7828 if (!this->emitSubOffsetUint8(E))
7830 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7836 return this->emitDecfPop(getFPOptions(E), E);
7846 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7847 if (!this->emitLoadFloat(E))
7849 APFloat F(TargetSemantics, 1);
7850 if (!this->emitFloat(F, E))
7853 if (!this->emitSubf(getFPOptions(E), E))
7855 if (!this->emitStoreFloat(E))
7867 return E->
isGLValue() || this->emitLoadPop(*T, E);
7871 return this->emitError(E);
7874 return this->
discard(SubExpr);
7879 if (!this->emitInv(E))
7883 return this->emitCast(
PT_Bool, ET, E);
7887 return this->emitError(E);
7889 if (!this->
visit(SubExpr))
7891 return DiscardResult ? this->emitPop(*T, E) : this->emitNeg(*T, E);
7894 return this->emitError(E);
7896 if (!this->
visit(SubExpr))
7912 if (!
Ctx.getLangOpts().CPlusPlus) {
7914 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
7915 Deref && Deref->getOpcode() == UO_Deref)
7916 return this->
delegate(Deref->getSubExpr());
7922 return this->
discard(SubExpr);
7924 if (!this->
visit(SubExpr))
7931 return this->emitNarrowPtr(E);
7936 return this->emitError(E);
7938 if (!this->
visit(SubExpr))
7940 return DiscardResult ? this->emitPop(*T, E) : this->emitComp(*T, E);
7952 : this->visitZeroInitializer(*T, SubExpr->
getType(), SubExpr);
7957 assert(
false &&
"Unhandled opcode");
7963template <
class Emitter>
7969 return this->
discard(SubExpr);
7972 auto prepareResult = [=]() ->
bool {
7977 return this->emitGetPtrLocal(*LocalIndex, E);
7984 unsigned SubExprOffset = ~0u;
7985 auto createTemp = [=, &SubExprOffset]() ->
bool {
7988 if (!this->
visit(SubExpr))
7990 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
7994 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
7995 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
7997 return this->emitArrayElemPop(ElemT, Index, E);
8002 if (!prepareResult())
8006 for (
unsigned I = 0; I != 2; ++I) {
8007 if (!getElem(SubExprOffset, I))
8009 if (!this->emitNeg(ElemT, E))
8011 if (!this->emitInitElem(ElemT, I, E))
8022 if (!this->
visit(SubExpr))
8024 if (!this->emitComplexBoolCast(SubExpr))
8026 if (!this->emitInv(E))
8029 return this->emitCast(
PT_Bool, ET, E);
8033 return this->emitComplexReal(SubExpr);
8036 if (!this->
visit(SubExpr))
8040 if (!this->emitConstUint8(1, E))
8042 return this->emitArrayElemPtrPopUint8(E);
8053 if (!this->emitArrayElem(ElemT, 1, E))
8055 if (!this->emitNeg(ElemT, E))
8057 if (!this->emitInitElem(ElemT, 1, E))
8065 return this->emitInvalid(E);
8071template <
class Emitter>
8077 return this->
discard(SubExpr);
8080 if (UnaryOp == UO_Extension)
8083 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8084 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8085 return this->emitInvalid(E);
8088 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8095 if (!this->emitGetPtrLocal(*LocalIndex, E))
8100 unsigned SubExprOffset =
8102 if (!this->
visit(SubExpr))
8104 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8109 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8110 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8112 return this->emitArrayElemPop(ElemT, Index, E);
8117 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8118 if (!getElem(SubExprOffset, I))
8120 if (!this->emitNeg(ElemT, E))
8122 if (!this->emitInitElem(ElemT, I, E))
8137 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8138 if (!getElem(SubExprOffset, I))
8141 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8143 if (!this->emitInv(E))
8145 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8147 if (!this->emitNeg(ElemT, E))
8149 if (ElemT != ResultVecElemT &&
8150 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8152 if (!this->emitInitElem(ResultVecElemT, I, E))
8158 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8159 if (!getElem(SubExprOffset, I))
8162 if (!this->emitInv(E))
8165 if (!this->emitComp(ElemT, E))
8168 if (!this->emitInitElem(ElemT, I, E))
8173 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8178template <
class Emitter>
8180 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8183 return this->emitConst(ECD->getInitVal(), E);
8185 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8189 return F && this->emitGetFnPtr(F, E);
8191 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8192 TPOD = TPOD->getFirstDecl();
8196 return this->emitGetPtrGlobal(*GlobalIndex, E);
8202 return this->emitInitGlobal(*T, *Index, E);
8205 if (!this->emitGetPtrGlobal(*Index, E))
8209 return this->emitFinishInit(E);
8221 auto maybePopPtr = [&]() ->
bool {
8223 return this->emitPopPtr(E);
8230 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8234 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8239 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8240 if (IsReference || !It->second.IsPtr)
8241 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8243 return this->emitGetPtrParam(It->second.Index, E);
8246 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8253 const unsigned Offset = It->second.Offset;
8256 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8258 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8261 if (
auto GlobalIndex =
P.getGlobal(D)) {
8263 if (!
Ctx.getLangOpts().CPlusPlus11)
8264 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8265 if (!
Ctx.getLangOpts().CPlusPlus23)
8266 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8268 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8271 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8275 auto revisit = [&](
const VarDecl *VD,
8276 bool IsConstexprUnknown =
true) ->
bool {
8278 IsConstexprUnknown);
8283 if (!this->emitPopCC(E))
8286 if (VarState.notCreated())
8294 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8296 if (
auto It = this->LambdaCaptures.find(D);
8297 It != this->LambdaCaptures.end()) {
8298 auto [Offset, IsPtr] = It->second;
8301 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8302 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8306 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8307 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8308 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8312 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8313 return this->
delegate(BD->getBinding());
8319 return this->emitDummyPtr(D, E);
8324 const auto *VD = dyn_cast<VarDecl>(D);
8326 return this->emitError(E);
8329 if (!
Ctx.getLangOpts().CPlusPlus) {
8333 return revisit(VD,
false);
8337 return this->emitDummyPtr(D, E);
8341 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8342 if (T.isConstant(
Ctx.getASTContext()))
8344 return T->isReferenceType();
8348 typeShouldBeVisited(DeclType)) {
8350 Init && !
Init->isValueDependent()) {
8355 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8368 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8373 return revisit(VD, IsConstexprUnknown);
8374 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8375 return revisit(VD,
true);
8384 return this->emitDummyPtr(
8388template <
class Emitter>
8394template <
class Emitter>
8404 if (!
C->destroyLocals())
8410template <
class Emitter>
8411unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8414 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8416 return Ty->getAsCXXRecordDecl();
8418 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8419 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8421 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8425template <
class Emitter>
8432 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8437 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8438 getFPOptions(E), E);
8440 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8441 getFPOptions(E), E);
8445 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8450 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8452 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8456 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8460 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8461 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8468template <
class Emitter>
8471 assert(FromT != ToT);
8474 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8476 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8478 return this->emitCast(FromT, ToT, E);
8482template <
class Emitter>
8483bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8487 return this->
discard(SubExpr);
8489 if (!this->visit(SubExpr))
8492 if (!this->emitConstUint8(0, SubExpr))
8494 return this->emitArrayElemPtrPopUint8(SubExpr);
8498 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8502template <
class Emitter>
8503bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8504 assert(!DiscardResult);
8508 if (!this->emitArrayElem(ElemT, 0, E))
8511 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8514 if (!this->emitCast(ElemT,
PT_Bool, E))
8519 LabelTy LabelTrue = this->getLabel();
8520 if (!this->jumpTrue(LabelTrue, E))
8523 if (!this->emitArrayElemPop(ElemT, 1, E))
8526 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8529 if (!this->emitCast(ElemT,
PT_Bool, E))
8533 LabelTy EndLabel = this->getLabel();
8534 this->jump(EndLabel, E);
8536 this->emitLabel(LabelTrue);
8537 if (!this->emitPopPtr(E))
8539 if (!this->emitConstBool(
true, E))
8542 this->fallthrough(EndLabel);
8543 this->emitLabel(EndLabel);
8548template <
class Emitter>
8549bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8560 LHSIsComplex =
true;
8561 ElemT = classifyComplexElementType(LHS->
getType());
8562 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8563 if (!this->visit(LHS))
8565 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8568 LHSIsComplex =
false;
8570 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8571 if (!this->visit(LHS))
8573 if (!this->emitSetLocal(LHST, LHSOffset, E))
8580 RHSIsComplex =
true;
8581 ElemT = classifyComplexElementType(RHS->
getType());
8582 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8583 if (!this->visit(RHS))
8585 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8588 RHSIsComplex =
false;
8590 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8591 if (!this->visit(RHS))
8593 if (!this->emitSetLocal(RHST, RHSOffset, E))
8597 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8598 bool IsComplex) ->
bool {
8600 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8602 return this->emitArrayElemPop(ElemT, Index, E);
8604 return this->emitGetLocal(ElemT, LocalOffset, E);
8607 for (
unsigned I = 0; I != 2; ++I) {
8609 if (!getElem(LHSOffset, I, LHSIsComplex))
8611 if (!getElem(RHSOffset, I, RHSIsComplex))
8614 if (!this->emitEQ(ElemT, E))
8617 if (!this->emitCastBoolUint8(E))
8622 if (!this->emitAddUint8(E))
8624 if (!this->emitConstUint8(2, E))
8628 if (!this->emitEQUint8(E))
8631 if (!this->emitNEUint8(E))
8638 return this->emitCast(
PT_Bool, ResT, E);
8645template <
class Emitter>
8646bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8649 assert(!
R->hasTrivialDtor());
8652 const Function *DtorFunc = getFunction(
Dtor);
8655 assert(DtorFunc->hasThisPointer());
8656 assert(DtorFunc->getNumParams() == 1);
8657 return this->emitCall(DtorFunc, 0, Loc);
8662template <
class Emitter>
8663bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8675 return this->emitPopPtr(Loc);
8677 for (ssize_t I = N - 1; I >= 1; --I) {
8678 if (!this->emitConstUint64(I, Loc))
8680 if (!this->emitArrayElemPtrUint64(Loc))
8682 if (!this->emitDestructionPop(ElemDesc, Loc))
8686 if (!this->emitConstUint64(0, Loc))
8688 if (!this->emitArrayElemPtrPopUint64(Loc))
8690 return this->emitDestructionPop(ElemDesc, Loc);
8695 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8700template <
class Emitter>
8701bool Compiler<Emitter>::emitDummyPtr(
const DeclTy &D,
const Expr *E,
bool CU) {
8702 assert(!DiscardResult &&
"Should've been checked before");
8703 unsigned DummyID = P.getOrCreateDummy(D, CU);
8705 if (!this->emitGetPtrGlobal(DummyID, E))
8713 return this->emitDecayPtr(
PT_Ptr, PT, E);
8719template <
class Emitter>
8722 return this->emitConstFloat(
Floating(F), Info);
8724 APInt I = F.bitcastToAPInt();
8725 return this->emitConstFloat(
8726 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8727 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8738template <
class Emitter>
8739bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8752 if (!this->emitGetPtrLocal(*LocalIndex, E))
8762 if (!this->visit(SubExpr))
8764 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8765 unsigned TempOffset =
8766 allocateLocalPrimitive(SubExpr, *FromT,
true);
8767 if (!this->visit(SubExpr))
8769 if (!this->emitSetLocal(*FromT, TempOffset, E))
8771 if (!this->emitGetPtrLocal(TempOffset, E))
8778 if (!this->emitBitCast(E))
8780 return DiscardResult ? this->emitPopPtr(E) :
true;
8784 const llvm::fltSemantics *TargetSemantics =
nullptr;
8786 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8792 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8794 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8795 ResultBitWidth, TargetSemantics,
8800 return this->emitPop(*ToT, E);
8809template <
class Emitter>
8810bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8815 unsigned NumElems = 0;
8818 NumElems = VT->getNumElements();
8819 ElemType = VT->getElementType();
8821 NumElems = MT->getNumElementsFlattened();
8822 ElemType = MT->getElementType();
8825 PrimType ElemT = classifyPrim(ElemType);
8826 for (
unsigned I = 0; I != NumElems; ++I) {
8827 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8829 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8831 if (!this->emitInitElem(ElemT, I, E))
8841 QualType ArrElemType = CAT->getElementType();
8842 unsigned ArrSize = CAT->getZExtSize();
8845 for (
unsigned I = 0; I != ArrSize; ++I) {
8846 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8848 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8850 if (!this->emitInitElem(*ElemT, I, E))
8854 for (
unsigned I = 0; I != ArrSize; ++I) {
8855 if (!this->emitConstUint32(I, E))
8857 if (!this->emitArrayElemPtrUint32(E))
8859 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8861 if (!this->emitFinishInitPop(E))
8871 const Record *
R = getRecord(DestType);
8875 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8877 const Record::Base *B =
R->getBase(BS.getType());
8879 if (!this->emitGetPtrBase(B->Offset, E))
8881 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
8883 if (!this->emitFinishInitPop(E))
8888 for (
const Record::Field &F :
R->fields()) {
8889 if (F.isUnnamedBitField())
8892 QualType FieldType = F.Decl->getType();
8894 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8896 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
8898 if (F.isBitField()) {
8899 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
8902 if (!this->emitInitField(*FieldT, F.Offset, E))
8906 if (!this->emitGetPtrField(F.Offset, E))
8908 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
8910 if (!this->emitPopPtr(E))
8923template <
class Emitter>
8924unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
8927 return VT->getNumElements();
8929 return MT->getNumElementsFlattened();
8933 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
8937 const Record *
R = getRecord(Ty);
8941 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8943 Count += countHLSLFlatElements(BS.getType());
8945 for (
const Record::Field &F :
R->fields()) {
8946 if (F.isUnnamedBitField())
8948 Count += countHLSLFlatElements(F.Decl->getType());
8953 if (canClassify(Ty))
8962template <
class Emitter>
8963bool Compiler<Emitter>::emitHLSLFlattenAggregate(
8964 QualType SrcType,
unsigned SrcOffset,
8969 auto saveToLocal = [&](
PrimType T) ->
bool {
8970 unsigned Offset = allocateLocalPrimitive(E, T,
true);
8971 if (!this->emitSetLocal(T, Offset, E))
8973 Elements.push_back({Offset, T});
8979 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
8980 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
8981 return std::nullopt;
8986 unsigned NumElems = 0;
8989 NumElems = VT->getNumElements();
8990 ElemType = VT->getElementType();
8992 NumElems = MT->getNumElementsFlattened();
8993 ElemType = MT->getElementType();
8996 PrimType ElemT = classifyPrim(ElemType);
8997 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
8998 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9000 if (!this->emitArrayElemPop(ElemT, I, E))
9002 if (!saveToLocal(ElemT))
9012 QualType ArrElemType = CAT->getElementType();
9013 unsigned ArrSize = CAT->getZExtSize();
9016 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9017 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9019 if (!this->emitArrayElemPop(*ElemT, I, E))
9021 if (!saveToLocal(*ElemT))
9025 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9026 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9028 if (!this->emitConstUint32(I, E))
9030 if (!this->emitArrayElemPtrPopUint32(E))
9035 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9046 const Record *
R = getRecord(SrcType);
9050 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9052 if (Elements.size() >= MaxElements)
9054 const Record::Base *B =
R->getBase(BS.getType());
9056 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9058 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9063 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9069 for (
const Record::Field &F :
R->fields()) {
9070 if (Elements.size() >= MaxElements)
9072 if (F.isUnnamedBitField())
9075 QualType FieldType = F.Decl->getType();
9076 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9078 if (!this->emitGetPtrFieldPop(F.Offset, E))
9082 if (!this->emitLoadPop(*FieldT, E))
9084 if (!saveToLocal(*FieldT))
9088 if (!FieldPtrOffset)
9090 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9106template <
class Emitter>
9107bool Compiler<Emitter>::emitHLSLConstructAggregate(
9113 const auto &Src = Elements[ElemIdx++];
9114 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9116 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9120 unsigned NumElems = 0;
9123 NumElems = VT->getNumElements();
9124 ElemType = VT->getElementType();
9126 NumElems = MT->getNumElementsFlattened();
9127 ElemType = MT->getElementType();
9130 PrimType DestElemT = classifyPrim(ElemType);
9131 for (
unsigned I = 0; I != NumElems; ++I) {
9132 if (!loadAndCast(DestElemT, ElemType))
9134 if (!this->emitInitElem(DestElemT, I, E))
9144 QualType ArrElemType = CAT->getElementType();
9145 unsigned ArrSize = CAT->getZExtSize();
9148 for (
unsigned I = 0; I != ArrSize; ++I) {
9149 if (!loadAndCast(*ElemT, ArrElemType))
9151 if (!this->emitInitElem(*ElemT, I, E))
9155 for (
unsigned I = 0; I != ArrSize; ++I) {
9156 if (!this->emitConstUint32(I, E))
9158 if (!this->emitArrayElemPtrUint32(E))
9160 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9162 if (!this->emitFinishInitPop(E))
9172 const Record *
R = getRecord(DestType);
9176 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9178 const Record::Base *B =
R->getBase(BS.getType());
9180 if (!this->emitGetPtrBase(B->Offset, E))
9182 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9184 if (!this->emitFinishInitPop(E))
9189 for (
const Record::Field &F :
R->fields()) {
9190 if (F.isUnnamedBitField())
9193 QualType FieldType = F.Decl->getType();
9195 if (!loadAndCast(*FieldT, FieldType))
9197 if (F.isBitField()) {
9198 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9201 if (!this->emitInitField(*FieldT, F.Offset, E))
9205 if (!this->emitGetPtrField(F.Offset, E))
9207 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9209 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.
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, void *&InsertPos)
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
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...
uint32_t getCodeUnit(size_t i) const
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
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.
UnsignedOrNone allocateLocal(DeclTy &&Decl, QualType Ty=QualType(), ScopeKind=ScopeKind::Block)
Allocates a space storing a local given its type.
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)
unsigned allocateLocalPrimitive(DeclTy &&Decl, PrimType Ty, bool IsConst, bool IsVolatile=false, ScopeKind SC=ScopeKind::Block)
Creates a local primitive value.
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.
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)
const ValueDecl * InitializingDecl
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)
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)
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 ValueDecl *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)
llvm::PointerUnion< const Decl *, const Expr * > DeclTy
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)
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
bool hasSpecificAttr(const Container &container)
@ Success
Annotation was successful.
@ Link
'link' clause, allowed on 'declare' construct.
DynamicRecursiveASTVisitorBase< true > ConstDynamicRecursiveASTVisitor
UnaryExprOrTypeTrait
Names for the "expression or type" traits.
@ 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
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
EvalResult is a struct with detailed info about an evaluated expression.
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.
static constexpr MetadataSize InlineDescMD
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 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()