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);
2185 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(RD);
2186 CXXRD && CXXRD->getNumVBases() > 0) {
2196 return this->visitZeroRecordInitializer(R, E);
2203 return this->visitZeroArrayInitializer(QT, E);
2207 QualType ElemQT = ComplexTy->getElementType();
2209 for (
unsigned I = 0; I < 2; ++I) {
2210 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2212 if (!this->emitInitElem(ElemT, I, E))
2219 unsigned NumVecElements = VecT->getNumElements();
2220 QualType ElemQT = VecT->getElementType();
2223 for (
unsigned I = 0; I < NumVecElements; ++I) {
2224 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2226 if (!this->emitInitElem(ElemT, I, E))
2233 unsigned NumElems = MT->getNumElementsFlattened();
2234 QualType ElemQT = MT->getElementType();
2237 for (
unsigned I = 0; I != NumElems; ++I) {
2238 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2240 if (!this->emitInitElem(ElemT, I, E))
2249template <
class Emitter>
2262 for (
const Expr *SubExpr : {LHS, RHS}) {
2263 if (!this->
visit(SubExpr)) {
2270 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2271 if (!this->emitExpandPtr(E))
2282 return this->emitError(E);
2285 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2289 if (!this->emitArrayElemPtrPop(*IndexT, E))
2292 return this->emitPopPtr(E);
2298 return this->emitLoadPop(*T, E);
2301template <
class Emitter>
2303 const Expr *ArrayFiller,
const Expr *E) {
2308 QT = AT->getValueType();
2311 if (
Inits.size() == 0)
2313 return this->emitInvalid(E);
2328 if (
Inits.size() == 0)
2329 return this->visitZeroInitializer(*T, QT, E);
2330 assert(
Inits.size() == 1);
2343 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2350 bool BitField = FieldToInit->isBitField();
2352 return this->emitInitBitFieldActivate(T, FieldToInit->Offset,
2353 FieldToInit->bitWidth(), E);
2355 return this->emitInitBitField(T, FieldToInit->Offset,
2356 FieldToInit->bitWidth(), E);
2358 return this->emitInitFieldActivate(T, FieldToInit->Offset, E);
2359 return this->emitInitField(T, FieldToInit->Offset, E);
2362 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2370 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2373 if (
Activate && !this->emitActivate(E))
2380 if (
Inits.size() == 0) {
2381 if (!this->visitZeroRecordInitializer(R, E))
2386 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2387 FToInit = ILE->getInitializedFieldInUnion();
2391 const Record::Field *FieldToInit = R->getField(FToInit);
2393 if (!initPrimitiveField(FieldToInit,
Init, *T,
true))
2396 if (!initCompositeField(FieldToInit,
Init,
true))
2400 return this->emitFinishInit(E);
2403 assert(!R->isUnion());
2404 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2406 const Record::Base *B = R->getBase(BI);
2407 if (!this->emitGetPtrBase(B->Offset,
Init))
2413 unsigned FieldIndex = 0;
2414 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2415 const Record::Field *FieldToInit = R->getField(FieldIndex);
2416 if (FieldToInit->isUnnamedBitField()) {
2431 if (!initPrimitiveField(FieldToInit,
Init, *T))
2433 }
else if (!initCompositeField(FieldToInit,
Init)) {
2441 assert(R->getNumVirtualBases() == 0);
2443 return this->emitFinishInit(E);
2448 Ctx.getASTContext().getAsConstantArrayType(QT);
2451 if (
Initializing && !this->emitCheckArrayDestSize(NumElems, E))
2454 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2458 unsigned ElementIndex = 0;
2460 if (
const auto *EmbedS =
2461 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2469 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2470 getFPOptions(E), E))
2476 return this->emitInitElem(TargetT, ElemIndex, IL);
2478 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2494 for (; ElementIndex != NumElems; ++ElementIndex) {
2500 return this->emitFinishInit(E);
2504 unsigned NumInits =
Inits.size();
2509 QualType ElemQT = ComplexTy->getElementType();
2511 if (NumInits == 0) {
2513 for (
unsigned I = 0; I < 2; ++I) {
2514 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2516 if (!this->emitInitElem(ElemT, I, E))
2519 }
else if (NumInits == 2) {
2520 unsigned InitIndex = 0;
2525 if (!this->emitInitElem(ElemT, InitIndex, E))
2534 unsigned NumVecElements = VecT->getNumElements();
2535 assert(NumVecElements >=
Inits.size());
2537 QualType ElemQT = VecT->getElementType();
2541 unsigned InitIndex = 0;
2548 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2549 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2550 InitVecT->getNumElements(), E))
2552 InitIndex += InitVecT->getNumElements();
2554 if (!this->emitInitElem(ElemT, InitIndex, E))
2560 assert(InitIndex <= NumVecElements);
2563 for (; InitIndex != NumVecElements; ++InitIndex) {
2564 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2566 if (!this->emitInitElem(ElemT, InitIndex, E))
2573 unsigned NumElems = MT->getNumElementsFlattened();
2574 assert(
Inits.size() == NumElems);
2576 QualType ElemQT = MT->getElementType();
2582 for (
unsigned I = 0; I != NumElems; ++I) {
2585 if (!this->emitInitElem(ElemT, I, E))
2596template <
class Emitter>
2603 return this->emitInitElem(*InitT, ElemIndex,
Init);
2609 if (!this->emitConstUint32(ElemIndex,
Init))
2611 if (!this->emitArrayElemPtrUint32(
Init))
2616template <
class Emitter>
2619 bool Activate,
bool IsOperatorCall) {
2621 llvm::BitVector NonNullArgs;
2622 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2625 bool ExplicitMemberFn =
false;
2626 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2627 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2629 unsigned ArgIndex = 0;
2630 for (
const Expr *Arg : Args) {
2632 if (!this->
visit(Arg))
2640 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2641 if (DeclIndex < FuncDecl->getNumParams())
2642 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2651 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2659 if (!this->emitActivate(Arg))
2663 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2666 if (!this->emitCheckNonNullArg(ArgT, Arg))
2677template <
class Emitter>
2682template <
class Emitter>
2688template <
class Emitter>
2694template <
class Emitter>
2712template <
class Emitter>
2714 auto It = E->
begin();
2715 return this->
visit(*It);
2720 bool AlignOfReturnsPreferred =
2727 T = Ref->getPointeeType();
2729 if (T.getQualifiers().hasUnaligned())
2735 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2741template <
class Emitter>
2748 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2754 ArgType = Ref->getPointeeType();
2760 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2761 return this->emitInvalid(E);
2763 if (Kind == UETT_SizeOf)
2772 return this->emitConst(Size.getQuantity(), E);
2775 if (Kind == UETT_CountOf) {
2781 if (
const auto *CAT =
2785 return this->emitConst(CAT->getSize(), E);
2795 if (VAT->getElementType()->isArrayType()) {
2796 std::optional<APSInt> Res =
2798 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2803 return this->emitConst(*Res, E);
2808 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2828 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2831 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2841 return this->emitConst(Size.getQuantity(), E);
2844 if (Kind == UETT_VectorElements) {
2849 return this->emitConst(VT->getNumElements(), E);
2851 return this->emitSizelessVectorElementSize(E);
2854 if (Kind == UETT_VecStep) {
2856 unsigned N = VT->getNumElements();
2863 return this->emitConst(N, E);
2865 return this->emitConst(1, E);
2868 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2877 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2879 return this->emitInvalid(E);
2881 return this->emitConst(
2882 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2890template <
class Emitter>
2899 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2902 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2903 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2905 if (
Member->getType()->isReferenceType())
2906 return this->emitLoadPopPtr(E);
2915 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2916 MD && !MD->isStatic()) {
2920 if (!this->
discard(Base) && !this->emitSideEffect(E))
2935 const Record::Field *F = R->getField(FD);
2939 const auto maybeLoadValue = [&]() ->
bool {
2943 return this->emitLoadPop(*T, E);
2948 if (F->Decl->getType()->isReferenceType())
2949 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2950 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2953template <
class Emitter>
2963template <
class Emitter>
2977 if (!this->
visit(Common))
2979 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
2993 for (
size_t I = 0; I != Size; ++I) {
3005template <
class Emitter>
3020 return this->emitGetLocal(SubExprT, It->second, E);
3023 if (!this->
visit(SourceExpr))
3030 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3039 return this->emitGetLocal(SubExprT, LocalIndex, E);
3043template <
class Emitter>
3056 bool IsBcpCall =
false;
3057 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3058 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3062 LabelTy LabelEnd = this->getLabel();
3063 LabelTy LabelFalse = this->getLabel();
3066 if (!this->emitPushIgnoreDiags(E))
3074 if (this->checkingForUndefinedBehavior()) {
3077 if (!this->
discard(FalseExpr))
3094 if (!this->jumpFalse(LabelFalse, E))
3099 if (!this->jump(LabelEnd, E))
3101 this->emitLabel(LabelFalse);
3105 this->fallthrough(LabelEnd);
3106 this->emitLabel(LabelEnd);
3109 return this->emitPopIgnoreDiags(E);
3113template <
class Emitter>
3119 unsigned StringIndex =
P.createGlobalString(E);
3120 return this->emitGetPtrGlobal(StringIndex, E);
3125 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3126 assert(CAT &&
"a string literal that's not a constant array?");
3131 unsigned N = std::min(ArraySize, E->
getLength());
3134 for (
unsigned I = 0; I != N; ++I) {
3137 if (CharWidth == 1) {
3138 this->emitConstSint8(CodeUnit, E);
3139 this->emitInitElemSint8(I, E);
3140 }
else if (CharWidth == 2) {
3141 this->emitConstUint16(CodeUnit, E);
3142 this->emitInitElemUint16(I, E);
3143 }
else if (CharWidth == 4) {
3144 this->emitConstUint32(CodeUnit, E);
3145 this->emitInitElemUint32(I, E);
3147 llvm_unreachable(
"unsupported character width");
3152 for (
unsigned I = N; I != ArraySize; ++I) {
3153 if (CharWidth == 1) {
3154 this->emitConstSint8(0, E);
3155 this->emitInitElemSint8(I, E);
3156 }
else if (CharWidth == 2) {
3157 this->emitConstUint16(0, E);
3158 this->emitInitElemUint16(I, E);
3159 }
else if (CharWidth == 4) {
3160 this->emitConstUint32(0, E);
3161 this->emitInitElemUint32(I, E);
3163 llvm_unreachable(
"unsupported character width");
3170template <
class Emitter>
3174 return this->emitDummyPtr(E, E);
3177template <
class Emitter>
3179 auto &A =
Ctx.getASTContext();
3188template <
class Emitter>
3196 auto &A =
Ctx.getASTContext();
3200 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3201 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3208 unsigned StringIndex =
P.createGlobalString(SL);
3209 return this->emitGetPtrGlobal(StringIndex, E);
3212template <
class Emitter>
3216 return this->emitConst(E->
getValue(), E);
3219template <
class Emitter>
3241 if (!this->emitLoad(LHST, E))
3244 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3245 LHSComputationType, E))
3257 unsigned TempOffset =
3259 if (!this->emitSetLocal(*RT, TempOffset, E))
3265 if (!this->emitLoad(LHST, E))
3269 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3270 LHSComputationType, E))
3274 if (!this->emitGetLocal(*RT, TempOffset, E))
3280 if (!this->emitAddf(getFPOptions(E), E))
3284 if (!this->emitSubf(getFPOptions(E), E))
3288 if (!this->emitMulf(getFPOptions(E), E))
3292 if (!this->emitDivf(getFPOptions(E), E))
3303 return this->emitStorePop(LHST, E);
3304 return this->emitStore(LHST, E);
3307template <
class Emitter>
3316 if (Op != BO_AddAssign && Op != BO_SubAssign)
3325 if (!this->emitLoad(*
LT, LHS))
3331 if (Op == BO_AddAssign) {
3332 if (!this->emitAddOffset(*RT, E))
3335 if (!this->emitSubOffset(*RT, E))
3340 return this->emitStorePopPtr(E);
3341 return this->emitStorePtr(E);
3344template <
class Emitter>
3357 if (!
Ctx.getLangOpts().CPlusPlus14)
3358 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3360 if (!
LT || !RT || !ResultT || !LHSComputationT)
3377 if (!this->emitLoad(*
LT, E))
3379 if (
LT != LHSComputationT &&
3380 !this->emitIntegralCast(*
LT, *LHSComputationT,
3394 unsigned TempOffset =
3397 if (!this->emitSetLocal(*RT, TempOffset, E))
3404 if (!this->emitLoad(*
LT, E))
3406 if (
LT != LHSComputationT &&
3407 !this->emitIntegralCast(*
LT, *LHSComputationT,
3412 if (!this->emitGetLocal(*RT, TempOffset, E))
3419 if (!this->emitAdd(*LHSComputationT, E))
3423 if (!this->emitSub(*LHSComputationT, E))
3427 if (!this->emitMul(*LHSComputationT, E))
3431 if (!this->emitDiv(*LHSComputationT, E))
3435 if (!this->emitRem(*LHSComputationT, E))
3439 if (!this->emitShl(*LHSComputationT, *RT, E))
3443 if (!this->emitShr(*LHSComputationT, *RT, E))
3447 if (!this->emitBitAnd(*LHSComputationT, E))
3451 if (!this->emitBitXor(*LHSComputationT, E))
3455 if (!this->emitBitOr(*LHSComputationT, E))
3459 llvm_unreachable(
"Unimplemented compound assign operator");
3463 if (ResultT != LHSComputationT &&
3464 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3470 return this->emitStoreBitFieldPop(*ResultT, E);
3471 return this->emitStorePop(*ResultT, E);
3474 return this->emitStoreBitField(*ResultT, E);
3475 return this->emitStore(*ResultT, E);
3478template <
class Emitter>
3486template <
class Emitter>
3501 if (!
Ctx.getLangOpts().CPlusPlus11)
3508 for (
const Expr *LHS : CommaLHSs) {
3530 if (!this->
visit(Inner))
3535 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3538 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3541 return this->emitGetPtrGlobal(*GlobalIndex, E);
3544 if (!this->checkLiteralType(Inner))
3547 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3553 return this->emitInitGlobalTempComp(TempDecl, E);
3566 unsigned LocalIndex =
3568 if (!this->VarScope->LocalsAlwaysEnabled &&
3569 !this->emitEnableLocal(LocalIndex, E))
3572 if (!this->
visit(Inner))
3574 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3577 return this->emitGetPtrLocal(LocalIndex, E);
3580 if (!this->checkLiteralType(Inner))
3587 if (!this->VarScope->LocalsAlwaysEnabled &&
3588 !this->emitEnableLocal(*LocalIndex, E))
3591 if (!this->emitGetPtrLocal(*LocalIndex, E))
3598template <
class Emitter>
3609 if (!this->
visit(SubExpr))
3613 return this->emitPopPtr(E);
3617template <
class Emitter>
3638 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3643 if (
P.isGlobalInitialized(*GlobalIndex))
3649 return this->emitInitGlobal(*T, *GlobalIndex, E);
3661 unsigned LocalIndex;
3665 LocalIndex = *MaybeIndex;
3669 if (!this->emitGetPtrLocal(LocalIndex, E))
3673 return this->
visit(
Init) && this->emitInit(*T, E);
3677template <
class Emitter>
3690template <
class Emitter>
3694 return this->emitConst(E->
getValue(), E);
3697template <
class Emitter>
3710 for (
const Record::Field &F : R->fields()) {
3712 if (!
Init ||
Init->containsErrors())
3720 if (!this->emitInitField(*T, F.Offset, E))
3723 if (!this->emitGetPtrField(F.Offset, E))
3734template <
class Emitter>
3741 return this->emitGetPtrGlobal(StringIndex, E);
3747template <
class Emitter>
3752 return this->emitInvalid(E);
3755template <
class Emitter>
3775 bool Fatal = (ToT != FromT);
3782template <
class Emitter>
3784 if (!
Ctx.getLangOpts().CPlusPlus20) {
3805 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3810 return this->emitPopPtr(E);
3814template <
class Emitter>
3820 return this->emitConstBool(E->
getValue(), E);
3823template <
class Emitter>
3828 if (T->isRecordType()) {
3842 if (!this->emitGetPtrLocal(*LocalIndex, E))
3850 T->getAsCXXRecordDecl()))
3860 if (!this->visitZeroRecordInitializer(R, E))
3872 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3874 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3875 if (!this->emitCheckFunctionDecl(Ctor, E))
3886 assert(
Func->hasThisPointer());
3887 assert(!
Func->hasRVO());
3891 if (!this->emitDupPtr(E))
3895 for (
const auto *Arg : E->
arguments()) {
3896 if (!this->
visit(Arg))
3900 if (
Func->isVariadic()) {
3901 uint32_t VarArgSize = 0;
3902 unsigned NumParams =
Func->getNumWrittenParams();
3903 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3907 if (!this->emitCallVar(
Func, VarArgSize, E))
3910 if (!this->emitCall(
Func, 0, E)) {
3915 (void)this->emitPopPtr(E);
3921 return this->emitPopPtr(E);
3925 if (T->isArrayType()) {
3930 if (!this->emitDupPtr(E))
3934 initArrayDimension = [&](
QualType T) ->
bool {
3935 if (!T->isArrayType()) {
3937 for (
const auto *Arg : E->
arguments()) {
3938 if (!this->
visit(Arg))
3942 return this->emitCall(
Func, 0, E);
3946 Ctx.getASTContext().getAsConstantArrayType(T);
3951 for (
size_t I = 0; I != NumElems; ++I) {
3952 if (!this->emitConstUint64(I, E))
3954 if (!this->emitArrayElemPtrUint64(E))
3956 if (!initArrayDimension(ElemTy))
3959 return this->emitPopPtr(E);
3962 return initArrayDimension(E->
getType());
3968template <
class Emitter>
3978 assert(Val.
isInt());
3980 return this->emitConst(I, E);
3987 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
3988 return this->
visit(LValueExpr);
4003 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4007 const APValue &
V = UGCD->getValue();
4008 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4009 const Record::Field *F = R->getField(I);
4010 const APValue &FieldValue =
V.getStructField(I);
4016 if (!this->emitInitField(FieldT, F->Offset, E))
4024template <
class Emitter>
4030 for (
unsigned I = 0; I != N; ++I) {
4037 if (!this->
discard(ArrayIndexExpr))
4043 if (!this->
visit(ArrayIndexExpr))
4045 if (!this->emitCastNoOverflow(IndexT, E))
4049 if (!this->
visit(ArrayIndexExpr))
4053 if (!this->emitCast(IndexT,
PT_Sint64, E))
4063 return this->emitOffsetOf(T, E, E);
4066template <
class Emitter>
4075 return this->visitZeroInitializer(*T, Ty, E);
4082 if (!this->emitGetPtrLocal(*LocalIndex, E))
4090 ElemQT = CT->getElementType();
4093 NumElems = VT->getNumElements();
4094 ElemQT = VT->getElementType();
4100 for (
unsigned I = 0; I != NumElems; ++I) {
4101 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4103 if (!this->emitInitElem(ElemT, I, E))
4112template <
class Emitter>
4117template <
class Emitter>
4123template <
class Emitter>
4128template <
class Emitter>
4133 return this->emitConst(E->
getValue(), E);
4136template <
class Emitter>
4141 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4156 unsigned ParamIndex = 0;
4160 if (!this->emitGetParam(PT, ParamIndex, E))
4165 return this->emitCall(F, 0, E);
4170template <
class Emitter>
4178 const Expr *PlacementDest =
nullptr;
4179 bool IsNoThrow =
false;
4184 if (PlacementArgs != 0) {
4193 if (PlacementArgs == 1) {
4201 if (!this->emitInvalidNewDeleteExpr(E, E))
4206 if (OperatorNew->isReservedGlobalPlacementOperator())
4207 PlacementDest = Arg1;
4211 return this->emitInvalid(E);
4213 }
else if (!OperatorNew
4214 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4215 return this->emitInvalidNewDeleteExpr(E, E);
4218 if (!PlacementDest) {
4223 Desc =
P.createDescriptor(E, *ElemT,
nullptr,
4226 Desc =
P.createDescriptor(
4229 false,
false,
false,
4235 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4239 const Expr *Stripped = *ArraySizeExpr;
4240 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4241 Stripped = ICE->getSubExpr())
4242 if (ICE->getCastKind() != CK_NoOp &&
4243 ICE->getCastKind() != CK_IntegralCast)
4251 if (!this->
visit(Stripped))
4253 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4256 if (PlacementDest) {
4257 if (!this->
visit(PlacementDest))
4259 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4261 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4264 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4269 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4273 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4280 size_t StaticInitElems = 0;
4281 const Expr *DynamicInit =
nullptr;
4285 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4286 StaticInitElems = CAT->getZExtSize();
4291 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4292 if (ILE->hasArrayFiller())
4293 DynamicInit = ILE->getArrayFiller();
4312 const Function *CtorFunc =
nullptr;
4313 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4317 }
else if (!DynamicInit && !ElemT)
4320 LabelTy EndLabel = this->getLabel();
4321 LabelTy StartLabel = this->getLabel();
4326 if (!this->emitDupPtr(E))
4328 if (!this->emitNullPtr(0,
nullptr, E))
4330 if (!this->emitEQPtr(E))
4332 if (!this->jumpTrue(EndLabel, E))
4339 if (!this->emitConst(StaticInitElems,
SizeT, E))
4341 if (!this->emitSetLocal(
SizeT, Iter, E))
4344 this->fallthrough(StartLabel);
4345 this->emitLabel(StartLabel);
4347 if (!this->emitGetLocal(
SizeT, Iter, E))
4349 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4351 if (!this->emitLT(
SizeT, E))
4353 if (!this->jumpFalse(EndLabel, E))
4357 if (!this->emitGetLocal(
SizeT, Iter, E))
4359 if (!this->emitArrayElemPtr(
SizeT, E))
4362 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4367 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4369 if (!this->emitStorePop(*InitT, E))
4373 if (!this->visitZeroArrayInitializer(ElemType, E))
4376 }
else if (DynamicInit) {
4378 if (!this->
visit(DynamicInit))
4380 if (!this->emitStorePop(*InitT, E))
4387 if (!this->visitZeroInitializer(
4391 if (!this->emitStorePop(*ElemT, E))
4395 if (!this->emitCall(CtorFunc, 0, E))
4400 if (!this->emitGetPtrLocal(Iter, E))
4402 if (!this->emitIncPop(
SizeT,
false, E))
4405 if (!this->jump(StartLabel, E))
4408 this->fallthrough(EndLabel);
4409 this->emitLabel(EndLabel);
4413 if (PlacementDest) {
4414 if (!this->
visit(PlacementDest))
4416 if (!this->emitCheckNewTypeMismatch(E, E))
4421 if (!this->emitAlloc(Desc, E))
4430 if (!this->emitInit(*ElemT, E))
4441 return this->emitPopPtr(E);
4446template <
class Emitter>
4452 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4453 return this->emitInvalidNewDeleteExpr(E, E);
4462template <
class Emitter>
4468 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4473 return this->emitGetFnPtr(
Func, E);
4476template <
class Emitter>
4480 auto canonType = [](
const Type *T) {
4481 return T->getCanonicalTypeUnqualified().getTypePtr();
4489 return this->emitGetTypeid(
4493 return this->emitGetTypeid(
4502 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4508 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4511 return this->emitPopPtr(E);
4515template <
class Emitter>
4519 return this->emitDummyPtr(E, E);
4520 return this->emitError(E);
4523template <
class Emitter>
4526 return this->emitDummyPtr(E, E);
4527 return this->emitError(E);
4530template <
class Emitter>
4532 assert(
Ctx.getLangOpts().CPlusPlus);
4533 return this->emitConstBool(E->
getValue(), E);
4536template <
class Emitter>
4548 return this->emitDummyPtr(GuidDecl, E);
4553 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4562 assert(
V.isStruct());
4563 assert(
V.getStructNumBases() == 0);
4567 return this->emitFinishInit(E);
4570template <
class Emitter>
4580template <
class Emitter>
4589template <
class Emitter>
4595template <
class Emitter>
4599 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4603 if (OVE->isUnique())
4619template <
class Emitter>
4624template <
class Emitter>
4626 return this->emitError(E);
4629template <
class Emitter>
4635 return this->emitDummyPtr(E, E);
4638template <
class Emitter>
4639bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4644 QualType ElemType = VT->getElementType();
4645 PrimType ElemT = classifyPrim(ElemType);
4647 PrimType SrcElemT = classifyVectorElementType(SrcType);
4653 if (!this->emitGetPtrLocal(*LocalIndex, E))
4657 unsigned SrcOffset =
4658 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4659 if (!this->visit(Src))
4661 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4664 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4665 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4667 if (!this->emitArrayElemPop(SrcElemT, I, E))
4671 if (SrcElemT != ElemT) {
4672 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4674 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4675 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4679 if (!this->emitInitElem(ElemT, I, E))
4685template <
class Emitter>
4687 return emitVectorConversion(E->
getSrcExpr(), E);
4690template <
class Emitter>
4694 return this->emitInvalid(E);
4703 assert(NumOutputElems > 0);
4709 if (!this->emitGetPtrLocal(*LocalIndex, E))
4714 unsigned VectorOffsets[2];
4715 for (
unsigned I = 0; I != 2; ++I) {
4718 if (!this->
visit(Vecs[I]))
4720 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4723 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4725 assert(ShuffleIndex >= -1);
4726 if (ShuffleIndex == -1)
4727 return this->emitInvalidShuffleVectorIndex(I, E);
4729 assert(ShuffleIndex < (NumInputElems * 2));
4730 if (!this->emitGetLocal(
PT_Ptr,
4731 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4733 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4734 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4737 if (!this->emitInitElem(ElemT, I, E))
4742 return this->emitPopPtr(E);
4747template <
class Emitter>
4752 Base->getType()->isVectorType() ||
4758 if (Indices.size() == 1) {
4763 if (!this->emitConstUint32(Indices[0], E))
4765 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4775 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4783 if (!this->emitGetPtrLocal(*ResultIndex, E))
4791 uint32_t DstIndex = 0;
4792 for (uint32_t I : Indices) {
4793 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4795 if (!this->emitArrayElemPop(ElemT, I, E))
4797 if (!this->emitInitElem(ElemT, DstIndex, E))
4807template <
class Emitter>
4811 return this->
discard(SubExpr) && this->emitInvalid(E);
4817 return this->emitDummyPtr(E, E);
4820template <
class Emitter>
4825 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4830 if (!this->
visit(SubExpr))
4832 if (!this->emitConstUint8(0, E))
4834 if (!this->emitArrayElemPtrPopUint8(E))
4836 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4841 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4843 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4845 assert(SecondFieldT ==
PT_Ptr);
4847 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4849 if (!this->emitExpandPtr(E))
4853 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4855 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4858template <
class Emitter>
4873 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4877 return this->emitUnsupported(E);
4886 return this->
Visit(E);
4893 return this->
Visit(E);
4897 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4900 if (
const auto *CE = dyn_cast<CastExpr>(E);
4902 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4909 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4912 if (
const auto *CE = dyn_cast<CastExpr>(E);
4913 CE && (CE->getCastKind() == CK_DerivedToBase ||
4914 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4915 CE->getCastKind() == CK_NoOp))
4935 if (!this->emitGetPtrLocal(*LocalIndex, E))
4945 return this->
Visit(E);
4948template <
class Emitter>
4954 return this->
Visit(E) && this->emitFinishInit(E);
4957template <
class Emitter>
4963 return this->
Visit(E) && this->emitFinishInitPop(E);
4969 return this->
Visit(E);
4980 if (!this->
visit(E))
4982 return this->emitComplexBoolCast(E);
4987 if (!this->
visit(E))
4995 return this->emitIsNonNullPtr(E);
4999 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5002 return this->emitCast(*T,
PT_Bool, E);
5005template <
class Emitter>
5009 QT = AT->getValueType();
5013 return this->emitZeroBool(E);
5015 return this->emitZeroSint8(E);
5017 return this->emitZeroUint8(E);
5019 return this->emitZeroSint16(E);
5021 return this->emitZeroUint16(E);
5023 return this->emitZeroSint32(E);
5025 return this->emitZeroUint32(E);
5027 return this->emitZeroSint64(E);
5029 return this->emitZeroUint64(E);
5031 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5033 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5035 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5038 return this->emitNullMemberPtr(0,
nullptr, E);
5040 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5041 return this->emitFloat(F, E);
5044 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5048 llvm_unreachable(
"unknown primitive type");
5051template <
class Emitter>
5052bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5057 for (
const Record::Field &Field :
R->fields()) {
5058 if (Field.isUnnamedBitField())
5065 if (!this->visitZeroInitializer(T, QT, E))
5068 if (!this->emitInitFieldActivate(T, Field.Offset, E))
5072 if (!this->emitInitField(T, Field.Offset, E))
5077 if (!this->emitGetPtrField(Field.Offset, E))
5084 if (!this->visitZeroInitializer(T, ET, E))
5086 if (!this->emitInitElem(T, I, E))
5091 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5094 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5102 if (!this->emitFinishInitActivatePop(E))
5106 if (!this->emitFinishInitPop(E))
5110 for (
const Record::Base &B :
R->bases()) {
5111 if (!this->emitGetPtrBase(B.Offset, E))
5113 if (!this->visitZeroRecordInitializer(B.R, E))
5115 if (!this->emitFinishInitPop(E))
5124template <
class Emitter>
5125bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5126 assert(T->isArrayType() || T->isAnyComplexType() || T->isVectorType());
5132 for (
size_t I = 0; I != NumElems; ++I) {
5133 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5135 if (!this->emitInitElem(*ElemT, I, E))
5141 const Record *
R = getRecord(ElemType);
5145 for (
size_t I = 0; I != NumElems; ++I) {
5146 if (!this->emitConstUint32(I, E))
5148 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5150 if (!this->visitZeroRecordInitializer(R, E))
5152 if (!this->emitPopPtr(E))
5158 for (
size_t I = 0; I != NumElems; ++I) {
5159 if (!this->emitConstUint32(I, E))
5161 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5163 if (!this->visitZeroArrayInitializer(ElemType, E))
5165 if (!this->emitPopPtr(E))
5174template <
class Emitter>
5175bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5177 if (!canClassify(E->
getType()))
5182 if (!this->visit(LHS))
5184 if (!this->visit(RHS))
5187 if (!this->visit(RHS))
5189 if (!this->visit(LHS))
5197 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5201 bool Activates = refersToUnion(LHS);
5204 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5207 if (DiscardResult) {
5208 if (BitField && Activates)
5209 return this->emitStoreBitFieldActivatePop(RHT, E);
5211 return this->emitStoreBitFieldPop(RHT, E);
5213 return this->emitStoreActivatePop(RHT, E);
5215 return this->emitStorePop(RHT, E);
5218 auto maybeLoad = [&](
bool Result) ->
bool {
5224 return this->emitLoadPop(RHT, E);
5228 if (BitField && Activates)
5229 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5231 return maybeLoad(this->emitStoreBitField(RHT, E));
5233 return maybeLoad(this->emitStoreActivate(RHT, E));
5235 return maybeLoad(this->emitStore(RHT, E));
5238template <
class Emitter>
5239template <
typename T>
5243 return this->emitConstSint8(
Value, Info);
5245 return this->emitConstUint8(
Value, Info);
5247 return this->emitConstSint16(
Value, Info);
5249 return this->emitConstUint16(
Value, Info);
5251 return this->emitConstSint32(
Value, Info);
5253 return this->emitConstUint32(
Value, Info);
5255 return this->emitConstSint64(
Value, Info);
5257 return this->emitConstUint64(
Value, Info);
5259 return this->emitConstBool(
Value, Info);
5266 llvm_unreachable(
"Invalid integral type");
5269 llvm_unreachable(
"unknown primitive type");
5272template <
class Emitter>
5273template <
typename T>
5274bool Compiler<Emitter>::emitConst(T
Value,
const Expr *E) {
5275 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5278template <
class Emitter>
5282 return this->emitConstIntAPS(
Value, Info);
5284 return this->emitConstIntAP(
Value, Info);
5286 if (
Value.isSigned())
5287 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5288 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5291template <
class Emitter>
5295 return this->emitConstIntAPS(
Value, Info);
5297 return this->emitConstIntAP(
Value, Info);
5300 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5301 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5304template <
class Emitter>
5305bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5306 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5309template <
class Emitter>
5322 if (
auto *VD = dyn_cast_if_present<ValueDecl>(Src.dyn_cast<
const Decl *>()))
5323 Locals.insert({VD, Local});
5324 VarScope->addForScopeKind(Local, SC);
5325 return Local.Offset;
5328template <
class Emitter>
5333 bool IsTemporary =
false;
5334 if (
auto *VD = dyn_cast_if_present<ValueDecl>(Src.dyn_cast<
const Decl *>())) {
5337 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5338 Init = VarD->getInit();
5340 if (
auto *E = Src.dyn_cast<
const Expr *>()) {
5351 return std::nullopt;
5356 Locals.insert({Key, Local});
5357 VarScope->addForScopeKind(Local, SC);
5358 return Local.Offset;
5361template <
class Emitter>
5371 return std::nullopt;
5381 return Local.Offset;
5384template <
class Emitter>
5386 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5387 return PT->getPointeeType()->getAsCanonical<RecordType>();
5393 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5397template <
class Emitter>
5399 return P.getOrCreateRecord(RD);
5402template <
class Emitter>
5404 return Ctx.getOrCreateFunction(FD);
5407template <
class Emitter>
5411 auto maybeDestroyLocals = [&]() ->
bool {
5412 if (DestroyToplevelScope)
5413 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5414 return this->emitCheckAllocations(E);
5421 return this->emitRetVoid(E) && maybeDestroyLocals();
5429 return this->emitRet(*T, E) && maybeDestroyLocals();
5437 if (!this->emitGetPtrLocal(*LocalOffset, E))
5445 return this->emitRetValue(E) && maybeDestroyLocals();
5448 return maybeDestroyLocals() &&
false;
5451template <
class Emitter>
5453 bool DestroyToplevelScope) {
5457 return this->
visitExpr(E, DestroyToplevelScope);
5460template <
class Emitter>
5472 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5473 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5487template <
class Emitter>
5489 bool ConstantContext) {
5492 if (!ConstantContext) {
5507 auto GlobalIndex =
P.getGlobal(VD);
5508 assert(GlobalIndex);
5510 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5513 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5517 auto Local =
Locals.find(VD);
5518 assert(Local !=
Locals.end());
5521 if (!this->emitGetRefLocal(Local->second.Offset, VD))
5523 }
else if (!this->emitGetLocal(*VarT, Local->second.Offset, VD))
5526 if (!this->emitGetPtrLocal(Local->second.Offset, VD))
5536 auto GlobalIndex =
P.getGlobal(VD);
5537 assert(GlobalIndex);
5538 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5547 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5550template <
class Emitter>
5561 if (!this->isActive())
5566 if (
Init &&
Init->isValueDependent())
5570 auto checkDecl = [&]() ->
bool {
5572 return !NeedsOp || this->emitCheckDecl(VD, VD);
5579 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5582 if (
P.isGlobalInitialized(*GlobalIndex))
5586 }
else if ((GlobalIndex =
5601 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5604 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5607 if (!this->emitStartInit(
Init))
5613 if (!this->emitEndInit(
Init))
5616 return this->emitFinishInitGlobal(
Init);
5626 if (!
Init ||
Init->getType()->isVoidType())
5635 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5647 if (!this->emitCheckRefInit(
Init))
5651 return this->emitSetLocal(*VarT, Offset, VD);
5659 if (!this->emitGetPtrLocal(*Offset,
Init))
5667template <
class Emitter>
5688 Locals.insert({VD, Local});
5691 if (!this->emitGetPtrLocal(Local.Offset, VD))
5697 return this->emitDestructionPop(D, VD);
5706 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5730template <
class Emitter>
5745 unsigned ParamIndex = 0;
5752 const Expr *Arg = Args[ParamIndex];
5753 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5755 unsigned ArgOffset =
5757 if (!this->
visit(Arg))
5759 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5765 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5777 if (
This->getType()->isPointerType()) {
5780 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5787 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5809template <
class Emitter>
5815 return this->emitConst(Val.
getInt(), ValType, Info);
5818 return this->emitFloat(F, Info);
5823 if (!this->emitGetMemberPtr(MemberDecl, Info))
5829 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5835 return this->emitNullMemberPtr(0,
nullptr, Info);
5840 return this->emitNull(ValType, 0,
nullptr, Info);
5845 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5846 return this->
visit(BaseExpr);
5851 QualType EntryType = VD->getType();
5852 for (
auto &Entry : Path) {
5854 uint64_t Index = Entry.getAsArrayIndex();
5857 if (!this->emitConst(Index,
PT_Uint64, Info))
5859 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5861 EntryType = ElemType;
5871 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5872 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5874 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5876 EntryType = FD->getType();
5880 if (!this->emitGetPtrBasePop(BaseOffset,
false, Info))
5882 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5894template <
class Emitter>
5904 const Record::Field *RF = R->getField(I);
5905 QualType FieldType = RF->Decl->getType();
5911 if (!this->emitInitField(*PT, RF->Offset, Info))
5914 if (!this->emitGetPtrField(RF->Offset, Info))
5918 if (!this->emitFinishInitPop(Info))
5928 if (I >= R->getNumBases())
5933 const Record::Base *RB = R->getBase(I);
5934 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5936 if (!this->emitGetPtrBase(RB->Offset, Info))
5940 if (!this->emitFinishInitPop(Info))
5955 const Record::Field *RF = R->getField(UnionField);
5956 QualType FieldType = RF->Decl->getType();
5961 if (RF->isBitField())
5962 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
5964 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
5967 if (!this->emitGetPtrField(RF->Offset, Info))
5969 if (!this->emitActivate(Info))
5973 return this->emitPopPtr(Info);
5977 const auto *ArrType = T->getAsArrayTypeUnsafe();
5978 QualType ElemType = ArrType->getElementType();
5981 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
5982 const APValue &Elem = A >= InitializedElems
5991 if (!this->emitInitElem(*ElemT, A, Info))
5994 if (!this->emitConstUint32(A, Info))
5996 if (!this->emitArrayElemPtrUint32(Info))
6000 if (!this->emitPopPtr(Info))
6011template <
class Emitter>
6013 unsigned BuiltinID) {
6014 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6019 return this->emitConst(0, E);
6022 if (!this->emitStartSpeculation(E))
6024 LabelTy EndLabel = this->getLabel();
6025 if (!this->speculate(E, EndLabel))
6027 if (!this->emitEndSpeculation(E))
6029 this->fallthrough(EndLabel);
6037 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6038 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6039 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6040 BuiltinID == Builtin::BI__builtin_function_start) {
6043 return this->emitDummyPtr(E, E);
6054 if (!this->emitGetPtrLocal(*LocalIndex, E))
6059 switch (BuiltinID) {
6060 case Builtin::BI__builtin_object_size:
6061 case Builtin::BI__builtin_dynamic_object_size: {
6065 if (!this->
visit(Arg0))
6076 case Builtin::BI__assume:
6077 case Builtin::BI__builtin_assume:
6080 case Builtin::BI__atomic_is_lock_free:
6081 case Builtin::BI__atomic_always_lock_free: {
6092 for (
const auto *Arg : E->
arguments()) {
6093 if (!this->
visit(Arg))
6099 if (!this->emitCallBI(E, BuiltinID, E))
6108template <
class Emitter>
6129 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6130 DD && DD->isTrivial()) {
6132 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6134 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6135 this->emitPopPtr(E);
6143 bool HasRVO = !
ReturnType->isVoidType() && !T;
6151 if (!this->emitGetPtrLocal(*LocalIndex, E))
6159 if (!this->emitGetPtrLocal(*LocalIndex, E))
6163 if (!this->emitDupPtr(E))
6170 bool IsAssignmentOperatorCall =
false;
6171 bool ActivateLHS =
false;
6172 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6173 OCE && OCE->isAssignmentOp()) {
6177 assert(Args.size() == 2);
6178 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6180 IsAssignmentOperatorCall =
true;
6181 std::reverse(Args.begin(), Args.end());
6187 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6188 MD && MD->isStatic()) {
6192 Args.erase(Args.begin());
6196 bool Devirtualized =
false;
6199 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6207 if (!this->
visit(Callee))
6209 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6211 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6213 if (!this->emitGetMemberPtrBase(E))
6216 const auto *InstancePtr = MC->getImplicitObjectArgument();
6223 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6224 Devirtualized =
true;
6225 if (!this->
visit(Stripped))
6228 if (!this->
visit(InstancePtr))
6232 if (!this->
visit(InstancePtr))
6236 }
else if (
const auto *PD =
6237 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6238 if (!this->emitCheckPseudoDtor(E))
6246 return this->emitPseudoDtor(E);
6247 }
else if (!FuncDecl) {
6251 if (!this->
visit(Callee))
6253 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6262 if (IsAssignmentOperatorCall) {
6263 assert(Args.size() == 2);
6266 if (!this->emitFlip(Arg2T, Arg1T, E))
6280 assert(HasRVO ==
Func->hasRVO());
6282 bool HasQualifier =
false;
6283 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6284 HasQualifier = ME->hasQualifier();
6286 bool IsVirtual =
false;
6287 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6288 IsVirtual = !Devirtualized && MD->isVirtual();
6293 if (IsVirtual && !HasQualifier) {
6294 uint32_t VarArgSize = 0;
6295 unsigned NumParams =
6296 Func->getNumWrittenParams() +
6298 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6301 if (!this->emitCallVirt(
Func, VarArgSize, E))
6303 }
else if (
Func->isVariadic()) {
6304 uint32_t VarArgSize = 0;
6305 unsigned NumParams =
6306 Func->getNumWrittenParams() +
6308 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6310 if (!this->emitCallVar(
Func, VarArgSize, E))
6313 if (!this->emitCall(
Func, 0, E))
6322 uint32_t ArgSize = 0;
6323 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6329 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6331 if (!this->emitGetMemberPtrDecl(E))
6334 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6337 if (!this->emitCallPtr(ArgSize, E, E))
6348template <
class Emitter>
6355template <
class Emitter>
6362template <
class Emitter>
6367 return this->emitConstBool(E->
getValue(), E);
6370template <
class Emitter>
6376 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6377 return this->emitNullPtr(Val,
nullptr, E);
6380template <
class Emitter>
6388 return this->emitZero(T, E);
6391template <
class Emitter>
6396 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6397 if (this->LambdaThisCapture.Offset > 0) {
6398 if (this->LambdaThisCapture.IsPtr)
6399 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6400 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6409 return this->emitThis(E);
6424 unsigned StartIndex = 0;
6425 unsigned EndIndex = 0;
6427 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6429 EndIndex = StartIndex;
6436 for (; StartIndex > 0; --StartIndex) {
6446 if (StartIndex == 0 && EndIndex == 0)
6452 assert(StartIndex <= EndIndex);
6455 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6467 case Stmt::CompoundStmtClass:
6469 case Stmt::DeclStmtClass:
6471 case Stmt::ReturnStmtClass:
6473 case Stmt::IfStmtClass:
6475 case Stmt::WhileStmtClass:
6477 case Stmt::DoStmtClass:
6479 case Stmt::ForStmtClass:
6481 case Stmt::CXXForRangeStmtClass:
6483 case Stmt::BreakStmtClass:
6485 case Stmt::ContinueStmtClass:
6487 case Stmt::SwitchStmtClass:
6489 case Stmt::CaseStmtClass:
6491 case Stmt::DefaultStmtClass:
6493 case Stmt::AttributedStmtClass:
6495 case Stmt::CXXTryStmtClass:
6497 case Stmt::NullStmtClass:
6500 case Stmt::GCCAsmStmtClass:
6501 case Stmt::MSAsmStmtClass:
6502 case Stmt::GotoStmtClass:
6503 return this->emitInvalid(S);
6504 case Stmt::LabelStmtClass:
6506 case Stmt::CXXExpansionStmtInstantiationClass:
6510 if (
const auto *E = dyn_cast<Expr>(S))
6517template <
class Emitter>
6520 for (
const auto *InnerStmt : S->
body())
6523 return Scope.destroyLocals();
6526template <
class Emitter>
6527bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6528 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6529 for (
auto *BD : DD->flat_bindings())
6530 if (
auto *KD = BD->getHoldingVar();
6531 KD && !this->visitVarDecl(KD, KD->getInit()))
6545template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6547 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6548 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6555 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6560 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6561 ICE && (ICE->getCastKind() == CK_NoOp ||
6562 ICE->getCastKind() == CK_DerivedToBase ||
6563 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6564 E = ICE->getSubExpr();
6568 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6569 const auto *ThisRecord =
6570 This->getType()->getPointeeType()->getAsRecordDecl();
6571 if (!ThisRecord->isUnion())
6574 if (
const auto *Ctor =
6575 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6576 return Ctor->getParent() == ThisRecord;
6585template <
class Emitter>
6587 bool EvaluateConditionDecl) {
6588 for (
const auto *D : DS->
decls()) {
6593 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6594 assert(ESD->getInstantiations() &&
"not expanded?");
6595 if (!this->
visitStmt(ESD->getInstantiations()))
6600 const auto *VD = dyn_cast<VarDecl>(D);
6607 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6614template <
class Emitter>
6617 return this->emitUnsupported(RS);
6623 if (!this->
visit(RE))
6629 if (RE->getType()->isVoidType()) {
6630 if (!this->
visit(RE))
6633 if (RE->containsErrors())
6638 if (!this->emitRVOPtr(RE))
6644 return this->emitRetVoid(RS);
6650 return this->emitRetVoid(RS);
6656 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6663 if (
auto *CondInit = IS->
getInit()) {
6679 return visitChildStmt(IS->
getThen());
6681 return visitChildStmt(Else);
6687 if (!this->emitIsConstantContext(IS))
6690 if (!this->emitIsConstantContext(IS))
6692 if (!this->emitInv(IS))
6706 LabelTy LabelElse = this->getLabel();
6707 LabelTy LabelEnd = this->getLabel();
6708 if (!this->jumpFalse(LabelElse, IS))
6710 if (!visitChildStmt(IS->
getThen()))
6712 if (!this->jump(LabelEnd, IS))
6714 this->emitLabel(LabelElse);
6715 if (!visitChildStmt(Else))
6717 this->emitLabel(LabelEnd);
6719 LabelTy LabelEnd = this->getLabel();
6720 if (!this->jumpFalse(LabelEnd, IS))
6722 if (!visitChildStmt(IS->
getThen()))
6724 this->emitLabel(LabelEnd);
6733template <
class Emitter>
6738 LabelTy CondLabel = this->getLabel();
6739 LabelTy EndLabel = this->getLabel();
6743 this->fallthrough(CondLabel);
6744 this->emitLabel(CondLabel);
6760 if (!this->jumpFalse(EndLabel, S))
6770 if (!this->jump(CondLabel, S))
6772 this->fallthrough(EndLabel);
6773 this->emitLabel(EndLabel);
6782 LabelTy StartLabel = this->getLabel();
6783 LabelTy EndLabel = this->getLabel();
6784 LabelTy CondLabel = this->getLabel();
6788 this->fallthrough(StartLabel);
6789 this->emitLabel(StartLabel);
6795 this->fallthrough(CondLabel);
6796 this->emitLabel(CondLabel);
6803 if (!this->jumpTrue(StartLabel, S))
6806 this->fallthrough(EndLabel);
6807 this->emitLabel(EndLabel);
6811template <
class Emitter>
6819 LabelTy EndLabel = this->getLabel();
6820 LabelTy CondLabel = this->getLabel();
6821 LabelTy IncLabel = this->getLabel();
6828 this->fallthrough(CondLabel);
6829 this->emitLabel(CondLabel);
6841 if (!this->jumpFalse(EndLabel, S))
6850 this->fallthrough(IncLabel);
6851 this->emitLabel(IncLabel);
6857 if (!this->jump(CondLabel, S))
6861 this->emitLabel(EndLabel);
6867template <
class Emitter>
6877 LabelTy EndLabel = this->getLabel();
6878 LabelTy CondLabel = this->getLabel();
6879 LabelTy IncLabel = this->getLabel();
6894 this->fallthrough(CondLabel);
6895 this->emitLabel(CondLabel);
6898 if (!this->jumpFalse(EndLabel, S))
6909 this->fallthrough(IncLabel);
6910 this->emitLabel(IncLabel);
6915 if (!this->jump(CondLabel, S))
6918 this->fallthrough(EndLabel);
6919 this->emitLabel(EndLabel);
6923template <
class Emitter>
6934 if (LI.BreakLabel) {
6935 TargetLabel = *LI.BreakLabel;
6936 BreakScope = LI.BreakOrContinueScope;
6942 if (LI.Name == TargetLoop) {
6943 TargetLabel = *LI.BreakLabel;
6944 BreakScope = LI.BreakOrContinueScope;
6955 C =
C->getParent()) {
6956 if (!
C->destroyLocals())
6960 return this->jump(*TargetLabel, S);
6963template <
class Emitter>
6974 if (LI.ContinueLabel) {
6975 TargetLabel = *LI.ContinueLabel;
6976 ContinueScope = LI.BreakOrContinueScope;
6982 if (LI.Name == TargetLoop) {
6983 TargetLabel = *LI.ContinueLabel;
6984 ContinueScope = LI.BreakOrContinueScope;
6989 assert(TargetLabel);
6992 C =
C->getParent()) {
6993 if (!
C->destroyLocals())
6997 return this->jump(*TargetLabel, S);
7000template <
class Emitter>
7003 if (
Cond->containsErrors())
7010 LabelTy EndLabel = this->getLabel();
7015 if (
const auto *CondInit = S->
getInit())
7026 if (!this->emitSetLocal(CondT, CondVar, S))
7036 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7039 if (CS->caseStmtIsGNURange()) {
7040 LabelTy EndOfRangeCheck = this->getLabel();
7041 const Expr *Low = CS->getLHS();
7042 const Expr *High = CS->getRHS();
7046 if (!this->emitGetLocal(CondT, CondVar, CS))
7048 if (!this->
visit(Low))
7051 if (!this->emitGE(
LT, S))
7053 if (!this->jumpFalse(EndOfRangeCheck, S))
7056 if (!this->emitGetLocal(CondT, CondVar, CS))
7058 if (!this->
visit(High))
7061 if (!this->emitLE(HT, S))
7065 this->emitLabel(EndOfRangeCheck);
7070 if (
Value->isValueDependent())
7075 if (!this->emitGetLocal(CondT, CondVar, CS))
7081 if (!this->emitEQ(ValueT, S))
7086 assert(!DefaultLabel);
7087 DefaultLabel = this->getLabel();
7094 if (!this->jump(*DefaultLabel, S))
7097 if (!this->jump(EndLabel, S))
7105 this->fallthrough(EndLabel);
7106 this->emitLabel(EndLabel);
7111template <
class Emitter>
7119 return this->emitUnsupported(S);
7124template <
class Emitter>
7131 if (LI.DefaultLabel) {
7132 DefaultLabel = *LI.DefaultLabel;
7137 this->emitLabel(DefaultLabel);
7141template <
class Emitter>
7148 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7151 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7152 !this->Ctx.getLangOpts().MSVCCompat) {
7154 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7160 const Expr *Assumption = AA->getAssumption();
7171 if (!this->emitAssume(Assumption))
7180 if (IsMSVCConstexprAttr)
7181 return this->emitPopMSVCCE(S);
7185template <
class Emitter>
7198template <
class Emitter>
7208 LabelTy EndLabel = this->getLabel();
7210 LabelTy ContinueLabel = this->getLabel();
7215 this->emitLabel(ContinueLabel);
7218 this->emitLabel(EndLabel);
7223template <
class Emitter>
7224bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7231 assert(ClosureClass->
captures().empty());
7235 "A generic lambda's static-invoker function must be a "
7236 "template specialization");
7240 void *InsertPos =
nullptr;
7241 const FunctionDecl *CorrespondingCallOpSpecialization =
7243 assert(CorrespondingCallOpSpecialization);
7244 LambdaCallOp = CorrespondingCallOpSpecialization;
7248 assert(ClosureClass->
captures().empty());
7249 const Function *
Func = this->getFunction(LambdaCallOp);
7252 assert(
Func->hasThisPointer());
7255 if (
Func->hasRVO()) {
7256 if (!this->emitRVOPtr(MD))
7264 if (!this->emitNullPtr(0,
nullptr, MD))
7269 auto It = this->Params.find(PVD);
7270 assert(It != this->Params.end());
7274 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7275 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7279 if (!this->emitCall(
Func, 0, LambdaCallOp))
7284 return this->emitRet(*ReturnType, MD);
7287 return this->emitRetVoid(MD);
7290template <
class Emitter>
7291bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7292 if (Ctx.getLangOpts().CPlusPlus23)
7302 const Expr *InitExpr =
Init->getInit();
7304 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7308 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7318template <
class Emitter>
7320 assert(!ReturnType);
7323 if (!this->emitStartThisLifetime1(Ctor))
7326 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7327 const Expr *InitExpr,
7330 if (InitExpr->getType().isNull())
7334 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7337 if (!this->visit(InitExpr))
7340 if (F->isBitField())
7341 return this->emitInitThisBitField(*T, FieldOffset, F->bitWidth(),
7343 return this->emitInitThisField(*T, FieldOffset, InitExpr);
7348 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7351 if (
Activate && !this->emitActivate(InitExpr))
7354 return this->visitInitializerPop(InitExpr);
7358 const Record *
R = this->getRecord(RD);
7361 bool IsUnion =
R->isUnion();
7371 if (!this->emitThis(Ctor))
7374 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7377 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7378 this->emitRetVoid(Ctor);
7381 unsigned FieldInits = 0;
7383 for (
const auto *
Init : Ctor->
inits()) {
7387 const Expr *InitExpr =
Init->getInit();
7389 const Record::Field *F =
R->getField(
Member);
7393 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7397 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7400 if (
Init->isBaseVirtual()) {
7401 assert(
R->getVirtualBase(BaseDecl));
7402 if (!this->emitGetPtrThisVirtBase(BaseDecl, InitExpr))
7408 const Record::Base *B =
R->getBase(BaseDecl);
7410 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7414 if (!this->visitInitializerPop(InitExpr))
7419 unsigned ChainSize = IFD->getChainingSize();
7420 assert(ChainSize >= 2);
7422 unsigned NestedFieldOffset = 0;
7423 const Record::Field *NestedField =
nullptr;
7424 for (
unsigned I = 0; I != ChainSize; ++I) {
7426 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7427 assert(FieldRecord);
7429 NestedField = FieldRecord->
getField(FD);
7430 assert(NestedField);
7431 IsUnion = IsUnion || FieldRecord->
isUnion();
7433 NestedFieldOffset += NestedField->Offset;
7436 if (I != ChainSize - 1)
7439 assert(NestedField);
7442 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7447 unsigned InitFieldOffset = 0;
7448 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7450 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7451 assert(FieldRecord);
7452 NestedField = FieldRecord->
getField(FD);
7453 InitFieldOffset += NestedField->Offset;
7454 assert(NestedField);
7455 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7457 if (!this->emitFinishInitPop(InitExpr))
7461 InitStack.pop_back_n(ChainSize - 1);
7464 assert(
Init->isDelegatingInitializer());
7465 if (!this->emitThis(InitExpr))
7467 if (!this->visitInitializerPop(
Init->getInit()))
7471 if (!
Scope.destroyLocals())
7475 if (FieldInits !=
R->getNumFields()) {
7476 assert(FieldInits < R->getNumFields());
7478 if (!this->emitStartThisLifetime(Ctor))
7485 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7486 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7493 if (!visitStmt(Body))
7500template <
class Emitter>
7503 const Record *
R = this->getRecord(RD);
7507 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7508 if (!this->visitStmt(
Dtor->getBody()))
7512 if (!this->emitThis(
Dtor))
7515 if (!this->emitCheckDestruction(
Dtor))
7519 if (!
R->isUnion()) {
7523 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7527 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7529 if (!this->emitDestructionPop(D,
SourceInfo{}))
7534 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7535 if (
Base.R->hasTrivialDtor())
7539 if (!this->emitRecordDestructionPop(
Base.R, {}))
7543 if (!this->emitMarkDestroyed(
Dtor))
7547 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7550template <
class Emitter>
7551bool Compiler<Emitter>::compileUnionAssignmentOperator(
7553 if (!this->emitThis(MD))
7556 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7559 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7562template <
class Emitter>
7572 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7573 return this->compileConstructor(Ctor);
7574 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7575 return this->compileDestructor(
Dtor);
7578 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7583 return this->compileUnionAssignmentOperator(MD);
7586 return this->emitLambdaStaticInvokerBody(MD);
7590 if (
const auto *Body = F->
getBody())
7604 return FD->getBitWidthValue();
7607template <
class Emitter>
7623 if (!
Ctx.getLangOpts().CPlusPlus14)
7624 return this->emitInvalid(E);
7626 return this->emitError(E);
7628 if (!this->
visit(SubExpr))
7632 if (!this->emitIncPtr(E))
7639 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7640 : this->emitIncf(getFPOptions(E), E);
7652 if (!
Ctx.getLangOpts().CPlusPlus14)
7653 return this->emitInvalid(E);
7655 return this->emitError(E);
7657 if (!this->
visit(SubExpr))
7661 if (!this->emitDecPtr(E))
7668 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7669 : this->emitDecf(getFPOptions(E), E);
7682 if (!
Ctx.getLangOpts().CPlusPlus14)
7683 return this->emitInvalid(E);
7685 return this->emitError(E);
7687 if (!this->
visit(SubExpr))
7691 if (!this->emitLoadPtr(E))
7693 if (!this->emitConstUint8(1, E))
7695 if (!this->emitAddOffsetUint8(E))
7697 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7703 return this->emitIncfPop(getFPOptions(E), E);
7713 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7714 if (!this->emitLoadFloat(E))
7716 APFloat F(TargetSemantics, 1);
7717 if (!this->emitFloat(F, E))
7720 if (!this->emitAddf(getFPOptions(E), E))
7722 if (!this->emitStoreFloat(E))
7734 return E->
isGLValue() || this->emitLoadPop(*T, E);
7737 if (!
Ctx.getLangOpts().CPlusPlus14)
7738 return this->emitInvalid(E);
7740 return this->emitError(E);
7742 if (!this->
visit(SubExpr))
7746 if (!this->emitLoadPtr(E))
7748 if (!this->emitConstUint8(1, E))
7750 if (!this->emitSubOffsetUint8(E))
7752 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7758 return this->emitDecfPop(getFPOptions(E), E);
7768 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7769 if (!this->emitLoadFloat(E))
7771 APFloat F(TargetSemantics, 1);
7772 if (!this->emitFloat(F, E))
7775 if (!this->emitSubf(getFPOptions(E), E))
7777 if (!this->emitStoreFloat(E))
7789 return E->
isGLValue() || this->emitLoadPop(*T, E);
7793 return this->emitError(E);
7796 return this->
discard(SubExpr);
7801 if (!this->emitInv(E))
7805 return this->emitCast(
PT_Bool, ET, E);
7809 return this->emitError(E);
7811 if (!this->
visit(SubExpr))
7813 return DiscardResult ? this->emitPop(*T, E) : this->emitNeg(*T, E);
7816 return this->emitError(E);
7818 if (!this->
visit(SubExpr))
7834 if (!
Ctx.getLangOpts().CPlusPlus) {
7836 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
7837 Deref && Deref->getOpcode() == UO_Deref)
7838 return this->
delegate(Deref->getSubExpr());
7844 return this->
discard(SubExpr);
7846 if (!this->
visit(SubExpr))
7853 return this->emitNarrowPtr(E);
7858 return this->emitError(E);
7860 if (!this->
visit(SubExpr))
7862 return DiscardResult ? this->emitPop(*T, E) : this->emitComp(*T, E);
7874 : this->visitZeroInitializer(*T, SubExpr->
getType(), SubExpr);
7879 assert(
false &&
"Unhandled opcode");
7885template <
class Emitter>
7891 return this->
discard(SubExpr);
7894 auto prepareResult = [=]() ->
bool {
7899 return this->emitGetPtrLocal(*LocalIndex, E);
7906 unsigned SubExprOffset = ~0u;
7907 auto createTemp = [=, &SubExprOffset]() ->
bool {
7910 if (!this->
visit(SubExpr))
7912 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
7916 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
7917 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
7919 return this->emitArrayElemPop(ElemT, Index, E);
7924 if (!prepareResult())
7928 for (
unsigned I = 0; I != 2; ++I) {
7929 if (!getElem(SubExprOffset, I))
7931 if (!this->emitNeg(ElemT, E))
7933 if (!this->emitInitElem(ElemT, I, E))
7944 if (!this->
visit(SubExpr))
7946 if (!this->emitComplexBoolCast(SubExpr))
7948 if (!this->emitInv(E))
7951 return this->emitCast(
PT_Bool, ET, E);
7955 return this->emitComplexReal(SubExpr);
7958 if (!this->
visit(SubExpr))
7962 if (!this->emitConstUint8(1, E))
7964 return this->emitArrayElemPtrPopUint8(E);
7975 if (!this->emitArrayElem(ElemT, 1, E))
7977 if (!this->emitNeg(ElemT, E))
7979 if (!this->emitInitElem(ElemT, 1, E))
7987 return this->emitInvalid(E);
7993template <
class Emitter>
7999 return this->
discard(SubExpr);
8002 if (UnaryOp == UO_Extension)
8005 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8006 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8007 return this->emitInvalid(E);
8010 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8017 if (!this->emitGetPtrLocal(*LocalIndex, E))
8022 unsigned SubExprOffset =
8024 if (!this->
visit(SubExpr))
8026 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8031 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8032 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8034 return this->emitArrayElemPop(ElemT, Index, E);
8039 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8040 if (!getElem(SubExprOffset, I))
8042 if (!this->emitNeg(ElemT, E))
8044 if (!this->emitInitElem(ElemT, I, E))
8059 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8060 if (!getElem(SubExprOffset, I))
8063 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8065 if (!this->emitInv(E))
8067 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8069 if (!this->emitNeg(ElemT, E))
8071 if (ElemT != ResultVecElemT &&
8072 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8074 if (!this->emitInitElem(ResultVecElemT, I, E))
8080 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8081 if (!getElem(SubExprOffset, I))
8084 if (!this->emitInv(E))
8087 if (!this->emitComp(ElemT, E))
8090 if (!this->emitInitElem(ElemT, I, E))
8095 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8100template <
class Emitter>
8102 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8105 return this->emitConst(ECD->getInitVal(), E);
8107 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8111 return F && this->emitGetFnPtr(F, E);
8113 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8114 TPOD = TPOD->getFirstDecl();
8118 return this->emitGetPtrGlobal(*GlobalIndex, E);
8124 return this->emitInitGlobal(*T, *Index, E);
8127 if (!this->emitGetPtrGlobal(*Index, E))
8131 return this->emitFinishInit(E);
8143 auto maybePopPtr = [&]() ->
bool {
8145 return this->emitPopPtr(E);
8152 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8156 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8161 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8162 if (IsReference || !It->second.IsPtr)
8163 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8165 return this->emitGetPtrParam(It->second.Index, E);
8168 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8175 const unsigned Offset = It->second.Offset;
8178 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8180 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8183 if (
auto GlobalIndex =
P.getGlobal(D)) {
8185 if (!
Ctx.getLangOpts().CPlusPlus11)
8186 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8187 if (!
Ctx.getLangOpts().CPlusPlus23)
8188 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8190 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8193 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8197 auto revisit = [&](
const VarDecl *VD,
8198 bool IsConstexprUnknown =
true) ->
bool {
8200 IsConstexprUnknown);
8205 if (!this->emitPopCC(E))
8208 if (VarState.notCreated())
8216 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8218 if (
auto It = this->LambdaCaptures.find(D);
8219 It != this->LambdaCaptures.end()) {
8220 auto [Offset, IsPtr] = It->second;
8223 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8224 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8228 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8229 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8230 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8234 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8235 return this->
delegate(BD->getBinding());
8241 return this->emitDummyPtr(D, E);
8246 const auto *VD = dyn_cast<VarDecl>(D);
8248 return this->emitError(E);
8251 if (!
Ctx.getLangOpts().CPlusPlus) {
8255 return revisit(VD,
false);
8259 return this->emitDummyPtr(D, E);
8263 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8264 if (T.isConstant(
Ctx.getASTContext()))
8266 return T->isReferenceType();
8270 typeShouldBeVisited(DeclType)) {
8272 Init && !
Init->isValueDependent()) {
8277 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8290 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8295 return revisit(VD, IsConstexprUnknown);
8296 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8297 return revisit(VD,
true);
8306 return this->emitDummyPtr(
8310template <
class Emitter>
8316template <
class Emitter>
8326 if (!
C->destroyLocals())
8332template <
class Emitter>
8333unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8336 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8338 return Ty->getAsCXXRecordDecl();
8340 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8341 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8343 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8347template <
class Emitter>
8354 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8359 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8360 getFPOptions(E), E);
8362 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8363 getFPOptions(E), E);
8367 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8372 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8374 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8378 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8382 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8383 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8390template <
class Emitter>
8393 assert(FromT != ToT);
8396 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8398 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8400 return this->emitCast(FromT, ToT, E);
8404template <
class Emitter>
8405bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8409 return this->
discard(SubExpr);
8411 if (!this->visit(SubExpr))
8414 if (!this->emitConstUint8(0, SubExpr))
8416 return this->emitArrayElemPtrPopUint8(SubExpr);
8420 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8424template <
class Emitter>
8425bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8426 assert(!DiscardResult);
8430 if (!this->emitArrayElem(ElemT, 0, E))
8433 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8436 if (!this->emitCast(ElemT,
PT_Bool, E))
8441 LabelTy LabelTrue = this->getLabel();
8442 if (!this->jumpTrue(LabelTrue, E))
8445 if (!this->emitArrayElemPop(ElemT, 1, E))
8448 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8451 if (!this->emitCast(ElemT,
PT_Bool, E))
8455 LabelTy EndLabel = this->getLabel();
8456 this->jump(EndLabel, E);
8458 this->emitLabel(LabelTrue);
8459 if (!this->emitPopPtr(E))
8461 if (!this->emitConstBool(
true, E))
8464 this->fallthrough(EndLabel);
8465 this->emitLabel(EndLabel);
8470template <
class Emitter>
8471bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8482 LHSIsComplex =
true;
8483 ElemT = classifyComplexElementType(LHS->
getType());
8484 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8485 if (!this->visit(LHS))
8487 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8490 LHSIsComplex =
false;
8492 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8493 if (!this->visit(LHS))
8495 if (!this->emitSetLocal(LHST, LHSOffset, E))
8502 RHSIsComplex =
true;
8503 ElemT = classifyComplexElementType(RHS->
getType());
8504 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8505 if (!this->visit(RHS))
8507 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8510 RHSIsComplex =
false;
8512 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8513 if (!this->visit(RHS))
8515 if (!this->emitSetLocal(RHST, RHSOffset, E))
8519 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8520 bool IsComplex) ->
bool {
8522 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8524 return this->emitArrayElemPop(ElemT, Index, E);
8526 return this->emitGetLocal(ElemT, LocalOffset, E);
8529 for (
unsigned I = 0; I != 2; ++I) {
8531 if (!getElem(LHSOffset, I, LHSIsComplex))
8533 if (!getElem(RHSOffset, I, RHSIsComplex))
8536 if (!this->emitEQ(ElemT, E))
8539 if (!this->emitCastBoolUint8(E))
8544 if (!this->emitAddUint8(E))
8546 if (!this->emitConstUint8(2, E))
8550 if (!this->emitEQUint8(E))
8553 if (!this->emitNEUint8(E))
8560 return this->emitCast(
PT_Bool, ResT, E);
8567template <
class Emitter>
8568bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8571 assert(!
R->hasTrivialDtor());
8574 const Function *DtorFunc = getFunction(
Dtor);
8577 assert(DtorFunc->hasThisPointer());
8578 assert(DtorFunc->getNumParams() == 1);
8579 return this->emitCall(DtorFunc, 0, Loc);
8584template <
class Emitter>
8585bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8597 return this->emitPopPtr(Loc);
8599 for (ssize_t I = N - 1; I >= 1; --I) {
8600 if (!this->emitConstUint64(I, Loc))
8602 if (!this->emitArrayElemPtrUint64(Loc))
8604 if (!this->emitDestructionPop(ElemDesc, Loc))
8608 if (!this->emitConstUint64(0, Loc))
8610 if (!this->emitArrayElemPtrPopUint64(Loc))
8612 return this->emitDestructionPop(ElemDesc, Loc);
8617 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8622template <
class Emitter>
8623bool Compiler<Emitter>::emitDummyPtr(
const DeclTy &D,
const Expr *E,
bool CU) {
8624 assert(!DiscardResult &&
"Should've been checked before");
8625 unsigned DummyID = P.getOrCreateDummy(D, CU);
8627 if (!this->emitGetPtrGlobal(DummyID, E))
8635 return this->emitDecayPtr(
PT_Ptr, PT, E);
8641template <
class Emitter>
8644 return this->emitConstFloat(
Floating(F), Info);
8646 APInt I = F.bitcastToAPInt();
8647 return this->emitConstFloat(
8648 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8649 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8660template <
class Emitter>
8661bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8674 if (!this->emitGetPtrLocal(*LocalIndex, E))
8684 if (!this->visit(SubExpr))
8686 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8687 unsigned TempOffset =
8688 allocateLocalPrimitive(SubExpr, *FromT,
true);
8689 if (!this->visit(SubExpr))
8691 if (!this->emitSetLocal(*FromT, TempOffset, E))
8693 if (!this->emitGetPtrLocal(TempOffset, E))
8700 if (!this->emitBitCast(E))
8702 return DiscardResult ? this->emitPopPtr(E) :
true;
8706 const llvm::fltSemantics *TargetSemantics =
nullptr;
8708 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8714 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8716 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8717 ResultBitWidth, TargetSemantics,
8722 return this->emitPop(*ToT, E);
8731template <
class Emitter>
8732bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8737 unsigned NumElems = 0;
8740 NumElems = VT->getNumElements();
8741 ElemType = VT->getElementType();
8743 NumElems = MT->getNumElementsFlattened();
8744 ElemType = MT->getElementType();
8747 PrimType ElemT = classifyPrim(ElemType);
8748 for (
unsigned I = 0; I != NumElems; ++I) {
8749 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8751 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8753 if (!this->emitInitElem(ElemT, I, E))
8763 QualType ArrElemType = CAT->getElementType();
8764 unsigned ArrSize = CAT->getZExtSize();
8767 for (
unsigned I = 0; I != ArrSize; ++I) {
8768 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8770 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8772 if (!this->emitInitElem(*ElemT, I, E))
8776 for (
unsigned I = 0; I != ArrSize; ++I) {
8777 if (!this->emitConstUint32(I, E))
8779 if (!this->emitArrayElemPtrUint32(E))
8781 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8783 if (!this->emitFinishInitPop(E))
8793 const Record *
R = getRecord(DestType);
8797 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8799 const Record::Base *B =
R->getBase(BS.getType());
8801 if (!this->emitGetPtrBase(B->Offset, E))
8803 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
8805 if (!this->emitFinishInitPop(E))
8810 for (
const Record::Field &F :
R->fields()) {
8811 if (F.isUnnamedBitField())
8814 QualType FieldType = F.Decl->getType();
8816 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8818 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
8820 if (F.isBitField()) {
8821 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
8824 if (!this->emitInitField(*FieldT, F.Offset, E))
8828 if (!this->emitGetPtrField(F.Offset, E))
8830 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
8832 if (!this->emitPopPtr(E))
8845template <
class Emitter>
8846unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
8849 return VT->getNumElements();
8851 return MT->getNumElementsFlattened();
8855 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
8859 const Record *
R = getRecord(Ty);
8863 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8865 Count += countHLSLFlatElements(BS.getType());
8867 for (
const Record::Field &F :
R->fields()) {
8868 if (F.isUnnamedBitField())
8870 Count += countHLSLFlatElements(F.Decl->getType());
8875 if (canClassify(Ty))
8884template <
class Emitter>
8885bool Compiler<Emitter>::emitHLSLFlattenAggregate(
8886 QualType SrcType,
unsigned SrcOffset,
8891 auto saveToLocal = [&](
PrimType T) ->
bool {
8892 unsigned Offset = allocateLocalPrimitive(E, T,
true);
8893 if (!this->emitSetLocal(T, Offset, E))
8895 Elements.push_back({Offset, T});
8901 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
8902 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
8903 return std::nullopt;
8908 unsigned NumElems = 0;
8911 NumElems = VT->getNumElements();
8912 ElemType = VT->getElementType();
8914 NumElems = MT->getNumElementsFlattened();
8915 ElemType = MT->getElementType();
8918 PrimType ElemT = classifyPrim(ElemType);
8919 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
8920 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
8922 if (!this->emitArrayElemPop(ElemT, I, E))
8924 if (!saveToLocal(ElemT))
8934 QualType ArrElemType = CAT->getElementType();
8935 unsigned ArrSize = CAT->getZExtSize();
8938 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
8939 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
8941 if (!this->emitArrayElemPop(*ElemT, I, E))
8943 if (!saveToLocal(*ElemT))
8947 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
8948 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
8950 if (!this->emitConstUint32(I, E))
8952 if (!this->emitArrayElemPtrPopUint32(E))
8957 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
8968 const Record *
R = getRecord(SrcType);
8972 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8974 if (Elements.size() >= MaxElements)
8976 const Record::Base *B =
R->getBase(BS.getType());
8978 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
8980 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
8985 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
8991 for (
const Record::Field &F :
R->fields()) {
8992 if (Elements.size() >= MaxElements)
8994 if (F.isUnnamedBitField())
8997 QualType FieldType = F.Decl->getType();
8998 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9000 if (!this->emitGetPtrFieldPop(F.Offset, E))
9004 if (!this->emitLoadPop(*FieldT, E))
9006 if (!saveToLocal(*FieldT))
9010 if (!FieldPtrOffset)
9012 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9028template <
class Emitter>
9029bool Compiler<Emitter>::emitHLSLConstructAggregate(
9035 const auto &Src = Elements[ElemIdx++];
9036 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9038 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9042 unsigned NumElems = 0;
9045 NumElems = VT->getNumElements();
9046 ElemType = VT->getElementType();
9048 NumElems = MT->getNumElementsFlattened();
9049 ElemType = MT->getElementType();
9052 PrimType DestElemT = classifyPrim(ElemType);
9053 for (
unsigned I = 0; I != NumElems; ++I) {
9054 if (!loadAndCast(DestElemT, ElemType))
9056 if (!this->emitInitElem(DestElemT, I, E))
9066 QualType ArrElemType = CAT->getElementType();
9067 unsigned ArrSize = CAT->getZExtSize();
9070 for (
unsigned I = 0; I != ArrSize; ++I) {
9071 if (!loadAndCast(*ElemT, ArrElemType))
9073 if (!this->emitInitElem(*ElemT, I, E))
9077 for (
unsigned I = 0; I != ArrSize; ++I) {
9078 if (!this->emitConstUint32(I, E))
9080 if (!this->emitArrayElemPtrUint32(E))
9082 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9084 if (!this->emitFinishInitPop(E))
9094 const Record *
R = getRecord(DestType);
9098 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9100 const Record::Base *B =
R->getBase(BS.getType());
9102 if (!this->emitGetPtrBase(B->Offset, E))
9104 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9106 if (!this->emitFinishInitPop(E))
9111 for (
const Record::Field &F :
R->fields()) {
9112 if (F.isUnnamedBitField())
9115 QualType FieldType = F.Decl->getType();
9117 if (!loadAndCast(*FieldT, FieldType))
9119 if (F.isBitField()) {
9120 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9123 if (!this->emitInitField(*FieldT, F.Offset, E))
9127 if (!this->emitGetPtrField(F.Offset, E))
9129 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9131 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
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() 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)
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.
bool visitAPValueInitializer(const APValue &Val, SourceInfo Info, QualType T)
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 * getBase(unsigned I) const
bool hasTrivialDtor() const
Returns true for anonymous unions and records with no destructor or for those with a trivial destruct...
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()