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();
304 const VarDecl *OldInitializingDecl;
312 bool NewInitializing,
bool NewToLValue)
313 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
314 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
315 Ctx->DiscardResult = NewDiscardResult;
316 Ctx->Initializing = NewInitializing;
317 Ctx->ToLValue = NewToLValue;
321 Ctx->DiscardResult = OldDiscardResult;
322 Ctx->Initializing = OldInitializing;
323 Ctx->ToLValue = OldToLValue;
330 bool OldDiscardResult;
331 bool OldInitializing;
335template <
class Emitter>
339 return Ctx->emitThis(E);
342 return Ctx->emitGetPtrFieldPop(
Offset, E);
344 return Ctx->emitGetPtrLocal(
Offset, E);
348 if (!Ctx->emitConstUint32(
Offset, E))
350 return Ctx->emitArrayElemPtrPopUint32(E);
352 return Ctx->emitRVOPtr(E);
356 llvm_unreachable(
"Unhandled InitLink kind");
372 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
373 assert(LI.Name != Name);
376 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
397 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
399 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
400 assert(LI.Name != Name);
403 this->Ctx->CaseLabels = std::move(CaseLabels);
404 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
406 DefaultLabel, Ctx->VarScope);
410 this->Ctx->CaseLabels = std::move(OldCaseLabels);
411 this->Ctx->LabelInfoStack.pop_back();
416 CaseMap OldCaseLabels;
427 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
430 Ctx->LocOverride = NewValue;
435 Ctx->LocOverride = OldFlag;
440 std::optional<SourceInfo> OldFlag;
447template <
class Emitter>
455 case CK_LValueToRValue: {
466 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
472 if (
auto GlobalIndex =
P.getGlobal(D))
473 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
474 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
475 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
476 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
477 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
478 return this->emitGetParam(*SubExprT, It->second.Index, E);
490 if (!this->emitGetPtrLocal(*LocalIndex, E))
494 if (!this->
visit(SubExpr))
498 return this->emitLoadPop(*SubExprT, E);
503 return this->emitMemcpy(E);
506 case CK_DerivedToBaseMemberPointer: {
517 ->getMostRecentCXXRecordDecl();
519 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
520 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
522 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
530 case CK_BaseToDerivedMemberPointer: {
541 ->getMostRecentCXXRecordDecl();
545 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
547 PathI != PathE; ++PathI) {
548 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
549 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
551 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
558 assert(ToDecl != CurDecl);
559 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
561 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
567 case CK_UncheckedDerivedToBase:
568 case CK_DerivedToBase: {
573 if (
const auto *PT = dyn_cast<PointerType>(Ty))
574 return PT->getPointeeType()->getAsCXXRecordDecl();
575 return Ty->getAsCXXRecordDecl();
582 if (B->isVirtual()) {
583 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
585 CurType = B->getType();
587 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
588 if (!this->emitGetPtrBasePop(
591 CurType = B->getType();
598 case CK_BaseToDerived: {
601 unsigned DerivedOffset =
607 return this->emitGetPtrDerivedPop(DerivedOffset,
612 case CK_FloatingCast: {
615 return this->emitVectorConversion(E->
getSubExpr(), E);
619 if (!this->
visit(SubExpr))
621 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
625 case CK_IntegralToFloating: {
627 return this->emitVectorConversion(E->
getSubExpr(), E);
630 if (!this->
visit(SubExpr))
632 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
633 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
634 TargetSemantics, getFPOptions(E), E);
637 case CK_FloatingToBoolean: {
639 return this->emitVectorConversion(E->
getSubExpr(), E);
643 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
644 return this->emitConstBool(FL->getValue().isNonZero(), E);
645 if (!this->
visit(SubExpr))
647 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
650 case CK_FloatingToIntegral: {
652 return this->emitVectorConversion(E->
getSubExpr(), E);
655 if (!this->
visit(SubExpr))
659 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
662 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
665 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
668 case CK_NullToPointer:
669 case CK_NullToMemberPointer: {
672 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
677 case CK_PointerToIntegral: {
678 if (!this->
visit(SubExpr))
684 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
690 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
692 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
693 return this->emitCastPointerIntegral(
T, E);
696 case CK_ArrayToPointerDecay: {
697 if (!this->
visit(SubExpr))
699 return this->emitArrayDecay(E);
702 case CK_IntegralToPointer: {
704 assert(IntType->isIntegralOrEnumerationType());
705 if (!this->
visit(SubExpr))
719 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
722 case CK_AtomicToNonAtomic:
723 case CK_ConstructorConversion:
724 case CK_FunctionToPointerDecay:
725 case CK_NonAtomicToAtomic:
727 case CK_UserDefinedConversion:
728 case CK_AddressSpaceConversion:
729 case CK_CPointerToObjCPointerCast:
746 return this->emitBuiltinBitCast(E);
761 if (!this->
visit(SubExpr))
769 return this->emitFnPtrCast(E);
776 if (!this->
visit(SubExpr))
778 return this->emitDecayPtr(*FromT, *ToT, E);
780 case CK_IntegralToBoolean:
781 case CK_FixedPointToBoolean: {
783 return this->emitVectorConversion(E->
getSubExpr(), E);
789 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
790 return this->emitConst(IL->getValue(), E);
791 if (!this->
visit(SubExpr))
796 case CK_IntegralCast:
798 return this->emitVectorConversion(E->
getSubExpr(), E);
800 case CK_BooleanToSignedIntegral: {
807 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
812 if (!this->emitConst(IL->getValue(), SubExpr))
815 if (!this->
visit(SubExpr))
823 if (!ED->isFixed()) {
824 if (!this->emitCheckEnumValue(*FromT, ED, E))
830 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
833 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
838 if (!this->emitCast(*FromT, *ToT, E))
841 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
842 return this->emitNeg(*ToT, E);
846 case CK_PointerToBoolean:
847 case CK_MemberPointerToBoolean: {
850 if (!this->
visit(SubExpr))
852 return this->emitIsNonNull(PtrT, E);
855 case CK_IntegralComplexToBoolean:
856 case CK_FloatingComplexToBoolean: {
857 if (!this->
visit(SubExpr))
859 return this->emitComplexBoolCast(SubExpr);
862 case CK_IntegralComplexToReal:
863 case CK_FloatingComplexToReal:
864 return this->emitComplexReal(SubExpr);
866 case CK_IntegralRealToComplex:
867 case CK_FloatingRealToComplex: {
874 if (!this->emitGetPtrLocal(*LocalIndex, E))
883 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
885 return this->emitInitElem(
T, 1, SubExpr);
888 case CK_IntegralComplexCast:
889 case CK_FloatingComplexCast:
890 case CK_IntegralComplexToFloatingComplex:
891 case CK_FloatingComplexToIntegralComplex: {
898 if (!this->emitGetPtrLocal(*LocalIndex, E))
905 unsigned SubExprOffset =
907 if (!this->
visit(SubExpr))
909 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
917 for (
unsigned I = 0; I != 2; ++I) {
918 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
920 if (!this->emitArrayElemPop(SourceElemT, I, E))
924 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
928 if (!this->emitInitElem(DestElemT, I, E))
934 case CK_VectorSplat: {
945 if (!this->emitGetPtrLocal(*LocalIndex, E))
951 unsigned ElemOffset =
955 if (!this->
visit(SubExpr))
960 if (!this->emitSetLocal(ElemT, ElemOffset, E))
963 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
964 if (!this->emitGetLocal(ElemT, ElemOffset, E))
966 if (!this->emitInitElem(ElemT, I, E))
973 case CK_HLSLVectorTruncation: {
978 if (!this->
visit(SubExpr))
980 return this->emitArrayElemPop(*ResultT, 0, E);
989 if (!this->emitGetPtrLocal(*LocalIndex, E))
994 if (!this->
visit(SubExpr))
996 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1000 case CK_IntegralToFixedPoint: {
1001 if (!this->
visit(SubExpr))
1005 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1010 return this->emitPopFixedPoint(E);
1013 case CK_FloatingToFixedPoint: {
1014 if (!this->
visit(SubExpr))
1018 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1019 if (!this->emitCastFloatingFixedPoint(Sem, E))
1022 return this->emitPopFixedPoint(E);
1025 case CK_FixedPointToFloating: {
1026 if (!this->
visit(SubExpr))
1028 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1029 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1032 return this->emitPopFloat(E);
1035 case CK_FixedPointToIntegral: {
1036 if (!this->
visit(SubExpr))
1039 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1042 return this->emitPop(IntegralT, E);
1045 case CK_FixedPointCast: {
1046 if (!this->
visit(SubExpr))
1049 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1050 if (!this->emitCastFixedPoint(Sem, E))
1053 return this->emitPopFixedPoint(E);
1061 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1063 case CK_LValueBitCast:
1068 case CK_HLSLArrayRValue: {
1075 if (!this->emitGetPtrLocal(*LocalIndex, E))
1078 if (!this->
visit(SubExpr))
1080 return this->emitMemcpy(E);
1083 case CK_HLSLMatrixTruncation: {
1088 if (!this->
visit(SubExpr))
1090 return this->emitArrayElemPop(*ResultT, 0, E);
1099 if (!this->emitGetPtrLocal(*LocalIndex, E))
1104 if (!this->
visit(SubExpr))
1106 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1110 case CK_HLSLAggregateSplatCast: {
1120 if (!this->emitGetPtrLocal(*LocalIndex, E))
1127 unsigned SrcOffset =
1130 if (!this->
visit(SubExpr))
1132 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1136 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1139 case CK_HLSLElementwiseCast: {
1150 unsigned SrcPtrOffset =
1152 if (!this->
visit(SubExpr))
1154 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1158 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1160 if (Elements.empty())
1163 const HLSLFlatElement &Src = Elements[0];
1164 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1166 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1173 if (!this->emitGetPtrLocal(*LocalIndex, E))
1177 unsigned SrcOffset =
1179 if (!this->
visit(SubExpr))
1181 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1185 unsigned ElemCount = countHLSLFlatElements(DestType);
1188 Elements.reserve(ElemCount);
1189 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1194 assert(Elements.size() == ElemCount &&
1195 "Source type has fewer scalar elements than the destination type");
1197 return emitHLSLConstructAggregate(DestType, Elements, E);
1204 const Record::Field *RF = R->getField(UnionField);
1205 QualType FieldType = RF->Decl->getType();
1208 if (!this->
visit(SubExpr))
1210 if (RF->isBitField())
1211 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1213 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1216 if (!this->emitGetPtrField(RF->Offset, E))
1218 if (!this->emitActivate(E))
1224 return this->emitInvalid(E);
1226 llvm_unreachable(
"Unhandled clang::CastKind enum");
1229template <
class Emitter>
1231 return this->emitBuiltinBitCast(E);
1234template <
class Emitter>
1239 return this->emitConst(
LE->getValue(),
LE);
1242template <
class Emitter>
1248 return this->emitFloat(F, E);
1251template <
class Emitter>
1261 if (!this->emitGetPtrLocal(*LocalIndex, E))
1268 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1270 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1275template <
class Emitter>
1283 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1288template <
class Emitter>
1293template <
class Emitter>
1320 return this->emitComplexComparison(LHS, RHS, E);
1328 if (!this->
visit(LHS))
1331 if (!this->
visit(RHS))
1334 if (!this->emitToMemberPtr(E))
1340 if (!this->emitCastMemberPtrPtr(E))
1357 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1363 if (!this->emitGetPtrLocal(*ResultIndex, E))
1370 return this->emitCMP3(*
LT, CmpInfo, E);
1373 if (!
LT || !RT || !
T)
1383 return this->visitAssignment(LHS, RHS, E);
1390 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1394 return this->emitPopBool(E);
1396 return this->emitCast(
PT_Bool, *
T, E);
1400 auto Discard = [
this,
T, E](
bool Result) {
1408 return MaybeCastToBool(this->emitEQ(*
LT, E));
1410 return MaybeCastToBool(this->emitNE(*
LT, E));
1412 return MaybeCastToBool(this->emitLT(*
LT, E));
1414 return MaybeCastToBool(this->emitLE(*
LT, E));
1416 return MaybeCastToBool(this->emitGT(*
LT, E));
1418 return MaybeCastToBool(this->emitGE(*
LT, E));
1421 return Discard(this->emitSubf(getFPOptions(E), E));
1422 return Discard(this->emitSub(*
T, E));
1425 return Discard(this->emitAddf(getFPOptions(E), E));
1426 return Discard(this->emitAdd(*
T, E));
1429 return Discard(this->emitMulf(getFPOptions(E), E));
1430 return Discard(this->emitMul(*
T, E));
1432 return Discard(this->emitRem(*
T, E));
1435 return Discard(this->emitDivf(getFPOptions(E), E));
1436 return Discard(this->emitDiv(*
T, E));
1438 return Discard(this->emitBitAnd(*
T, E));
1440 return Discard(this->emitBitOr(*
T, E));
1442 return Discard(this->emitShl(*
LT, *RT, E));
1444 return Discard(this->emitShr(*
LT, *RT, E));
1446 return Discard(this->emitBitXor(*
T, E));
1449 llvm_unreachable(
"Already handled earlier");
1454 llvm_unreachable(
"Unhandled binary op");
1459template <
class Emitter>
1465 if ((Op != BO_Add && Op != BO_Sub) ||
1476 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1477 if (!this->
visit(E))
1480 return this->emitDecayPtr(
T,
PT_Ptr, E);
1489 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1497 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1500 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1507 if (!visitAsPointer(RHS, *RT))
1509 if (!this->
visit(LHS))
1513 if (!visitAsPointer(LHS, *
LT))
1515 if (!this->
visit(RHS))
1526 if (!this->emitAddOffset(OffsetType, E))
1530 if (!this->emitSubOffset(OffsetType, E))
1547template <
class Emitter>
1557 LabelTy LabelTrue = this->getLabel();
1558 LabelTy LabelEnd = this->getLabel();
1562 if (!this->jumpTrue(LabelTrue, E))
1567 if (!this->jump(LabelEnd, E))
1570 this->emitLabel(LabelTrue);
1571 this->emitConstBool(
true, E);
1572 this->fallthrough(LabelEnd);
1573 this->emitLabel(LabelEnd);
1576 assert(Op == BO_LAnd);
1579 LabelTy LabelFalse = this->getLabel();
1580 LabelTy LabelEnd = this->getLabel();
1584 if (!this->jumpFalse(LabelFalse, E))
1589 if (!this->jump(LabelEnd, E))
1592 this->emitLabel(LabelFalse);
1593 this->emitConstBool(
false, E);
1594 this->fallthrough(LabelEnd);
1595 this->emitLabel(LabelEnd);
1599 return this->emitPopBool(E);
1604 return this->emitCast(
PT_Bool, *
T, E);
1608template <
class Emitter>
1615 if (!this->emitGetPtrLocal(*LocalIndex, E))
1624 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1625 unsigned ResultOffset = ~0u;
1631 if (!this->emitDupPtr(E))
1633 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1638 LHSType = AT->getValueType();
1641 RHSType = AT->getValueType();
1650 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1655 if (!this->
visit(LHS))
1657 if (!this->
visit(RHS))
1659 if (!this->emitMulc(ElemT, E))
1662 return this->emitPopPtr(E);
1666 if (Op == BO_Div && RHSIsComplex) {
1673 if (!LHSIsComplex) {
1678 LHSOffset = *LocalIndex;
1680 if (!this->emitGetPtrLocal(LHSOffset, E))
1683 if (!this->
visit(LHS))
1686 if (!this->emitInitElem(ElemT, 0, E))
1689 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1691 if (!this->emitInitElem(ElemT, 1, E))
1694 if (!this->
visit(LHS))
1698 if (!this->
visit(RHS))
1700 if (!this->emitDivc(ElemT, E))
1703 return this->emitPopPtr(E);
1710 if (!this->
visit(LHS))
1712 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1717 if (!this->
visit(LHS))
1719 if (!this->emitSetLocal(LHST, LHSOffset, E))
1727 if (!this->
visit(RHS))
1729 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1734 if (!this->
visit(RHS))
1736 if (!this->emitSetLocal(RHST, RHSOffset, E))
1743 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1744 unsigned ElemIndex,
unsigned Offset,
1745 const Expr *E) ->
bool {
1747 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1749 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1752 if (ElemIndex == 0 || !LoadZero)
1759 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1762 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1769 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1772 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1775 if (!this->emitAddf(getFPOptions(E), E))
1778 if (!this->emitAdd(ResultElemT, E))
1783 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1786 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1789 if (!this->emitSubf(getFPOptions(E), E))
1792 if (!this->emitSub(ResultElemT, E))
1797 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1800 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1804 if (!this->emitMulf(getFPOptions(E), E))
1807 if (!this->emitMul(ResultElemT, E))
1812 assert(!RHSIsComplex);
1813 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1816 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1820 if (!this->emitDivf(getFPOptions(E), E))
1823 if (!this->emitDiv(ResultElemT, E))
1834 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1837 if (!this->emitPop(ResultElemT, E))
1842 return this->emitPopPtr(E);
1848template <
class Emitter>
1853 "Comma op should be handled in VisitBinaryOperator");
1867 if (!this->emitGetPtrLocal(*LocalIndex, E))
1881 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1884 if (!this->
visit(LHS))
1886 if (!this->
visit(RHS))
1888 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1891 return this->emitPopPtr(E);
1896 unsigned LHSOffset =
1898 if (!this->
visit(LHS))
1900 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1904 unsigned RHSOffset =
1906 if (!this->
visit(RHS))
1908 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1920 if (NeedIntPromot) {
1922 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1927 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1928 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1930 if (!this->emitArrayElemPop(ElemT, Index, E))
1933 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1935 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1937 }
else if (NeedIntPromot) {
1938 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1944#define EMIT_ARITH_OP(OP) \
1946 if (ElemT == PT_Float) { \
1947 if (!this->emit##OP##f(getFPOptions(E), E)) \
1950 if (!this->emit##OP(ElemT, E)) \
1956 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1957 if (!getElem(LHSOffset, ElemT, I))
1959 if (!getElem(RHSOffset, RHSElemT, I))
1971 if (!this->emitRem(ElemT, E))
1975 if (!this->emitBitAnd(OpT, E))
1979 if (!this->emitBitOr(OpT, E))
1983 if (!this->emitBitXor(OpT, E))
1987 if (!this->emitShl(OpT, RHSElemT, E))
1991 if (!this->emitShr(OpT, RHSElemT, E))
1995 if (!this->emitEQ(ElemT, E))
1999 if (!this->emitNE(ElemT, E))
2003 if (!this->emitLE(ElemT, E))
2007 if (!this->emitLT(ElemT, E))
2011 if (!this->emitGE(ElemT, E))
2015 if (!this->emitGT(ElemT, E))
2020 if (!this->emitBitAnd(ResultElemT, E))
2025 if (!this->emitBitOr(ResultElemT, E))
2029 return this->emitInvalid(E);
2038 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2040 if (!this->emitNeg(ResultElemT, E))
2046 if (NeedIntPromot &&
2047 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2051 if (!this->emitInitElem(ResultElemT, I, E))
2060template <
class Emitter>
2070 auto LHSSemaInt = LHSSema.toOpaqueInt();
2072 auto RHSSemaInt = RHSSema.toOpaqueInt();
2074 if (!this->
visit(LHS))
2082 if (!this->
visit(RHS))
2091 auto ConvertResult = [&](
bool R) ->
bool {
2095 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2096 if (ResultSema != CommonSema)
2097 return this->emitCastFixedPoint(ResultSema, E);
2101 auto MaybeCastToBool = [&](
bool Result) {
2106 return this->emitPop(
T, E);
2108 return this->emitCast(
PT_Bool,
T, E);
2114 return MaybeCastToBool(this->emitEQFixedPoint(E));
2116 return MaybeCastToBool(this->emitNEFixedPoint(E));
2118 return MaybeCastToBool(this->emitLTFixedPoint(E));
2120 return MaybeCastToBool(this->emitLEFixedPoint(E));
2122 return MaybeCastToBool(this->emitGTFixedPoint(E));
2124 return MaybeCastToBool(this->emitGEFixedPoint(E));
2126 return ConvertResult(this->emitAddFixedPoint(E));
2128 return ConvertResult(this->emitSubFixedPoint(E));
2130 return ConvertResult(this->emitMulFixedPoint(E));
2132 return ConvertResult(this->emitDivFixedPoint(E));
2134 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2136 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2139 return this->emitInvalid(E);
2142 llvm_unreachable(
"unhandled binop opcode");
2145template <
class Emitter>
2154 if (!this->
visit(SubExpr))
2156 if (!this->emitNegFixedPoint(E))
2159 return this->emitPopFixedPoint(E);
2165 llvm_unreachable(
"Unhandled unary opcode");
2168template <
class Emitter>
2177 return this->visitZeroInitializer(*
T, QT, E);
2190 return this->visitZeroRecordInitializer(R, E);
2197 return this->visitZeroArrayInitializer(QT, E);
2201 QualType ElemQT = ComplexTy->getElementType();
2203 for (
unsigned I = 0; I < 2; ++I) {
2204 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2206 if (!this->emitInitElem(ElemT, I, E))
2213 unsigned NumVecElements = VecT->getNumElements();
2214 QualType ElemQT = VecT->getElementType();
2217 for (
unsigned I = 0; I < NumVecElements; ++I) {
2218 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2220 if (!this->emitInitElem(ElemT, I, E))
2227 unsigned NumElems = MT->getNumElementsFlattened();
2228 QualType ElemQT = MT->getElementType();
2231 for (
unsigned I = 0; I != NumElems; ++I) {
2232 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2234 if (!this->emitInitElem(ElemT, I, E))
2243template <
class Emitter>
2256 for (
const Expr *SubExpr : {LHS, RHS}) {
2257 if (!this->
visit(SubExpr)) {
2264 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2265 if (!this->emitExpandPtr(E))
2276 return this->emitError(E);
2279 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2283 if (!this->emitArrayElemPtrPop(*IndexT, E))
2286 return this->emitPopPtr(E);
2292 return this->emitLoadPop(*
T, E);
2295template <
class Emitter>
2297 const Expr *ArrayFiller,
const Expr *E) {
2302 QT = AT->getValueType();
2305 if (
Inits.size() == 0)
2307 return this->emitInvalid(E);
2322 if (
Inits.size() == 0)
2323 return this->visitZeroInitializer(*
T, QT, E);
2324 assert(
Inits.size() == 1);
2337 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2344 bool BitField = FieldToInit->isBitField();
2346 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2347 FieldToInit->bitWidth(), E);
2349 return this->emitInitBitField(
T, FieldToInit->Offset,
2350 FieldToInit->bitWidth(), E);
2352 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2353 return this->emitInitField(
T, FieldToInit->Offset, E);
2356 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2364 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2367 if (
Activate && !this->emitActivate(E))
2374 if (
Inits.size() == 0) {
2375 if (!this->visitZeroRecordInitializer(R, E))
2380 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2381 FToInit = ILE->getInitializedFieldInUnion();
2385 const Record::Field *FieldToInit = R->getField(FToInit);
2387 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2390 if (!initCompositeField(FieldToInit,
Init,
true))
2394 return this->emitFinishInit(E);
2397 assert(!R->isUnion());
2398 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2400 const Record::Base *B = R->getBase(BI);
2401 if (!this->emitGetPtrBase(B->Offset,
Init))
2407 unsigned FieldIndex = 0;
2408 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2409 const Record::Field *FieldToInit = R->getField(FieldIndex);
2410 if (FieldToInit->isUnnamedBitField()) {
2425 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2427 }
else if (!initCompositeField(FieldToInit,
Init)) {
2435 assert(R->getNumVirtualBases() == 0);
2437 return this->emitFinishInit(E);
2442 Ctx.getASTContext().getAsConstantArrayType(QT);
2447 !this->emitCheckArrayDestSize(NumElems, E))
2450 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2454 unsigned ElementIndex = 0;
2456 if (
const auto *EmbedS =
2457 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2465 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2466 getFPOptions(E), E))
2472 return this->emitInitElem(TargetT, ElemIndex, IL);
2474 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2490 for (; ElementIndex != NumElems; ++ElementIndex) {
2496 return this->emitFinishInit(E);
2500 unsigned NumInits =
Inits.size();
2505 QualType ElemQT = ComplexTy->getElementType();
2507 if (NumInits == 0) {
2509 for (
unsigned I = 0; I < 2; ++I) {
2510 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2512 if (!this->emitInitElem(ElemT, I, E))
2515 }
else if (NumInits == 2) {
2516 unsigned InitIndex = 0;
2521 if (!this->emitInitElem(ElemT, InitIndex, E))
2530 unsigned NumVecElements = VecT->getNumElements();
2531 assert(NumVecElements >=
Inits.size());
2533 QualType ElemQT = VecT->getElementType();
2537 unsigned InitIndex = 0;
2544 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2545 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2546 InitVecT->getNumElements(), E))
2548 InitIndex += InitVecT->getNumElements();
2550 if (!this->emitInitElem(ElemT, InitIndex, E))
2556 assert(InitIndex <= NumVecElements);
2559 for (; InitIndex != NumVecElements; ++InitIndex) {
2560 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2562 if (!this->emitInitElem(ElemT, InitIndex, E))
2569 unsigned NumElems = MT->getNumElementsFlattened();
2570 assert(
Inits.size() == NumElems);
2572 QualType ElemQT = MT->getElementType();
2578 for (
unsigned I = 0; I != NumElems; ++I) {
2581 if (!this->emitInitElem(ElemT, I, E))
2592template <
class Emitter>
2599 return this->emitInitElem(*InitT, ElemIndex,
Init);
2605 if (!this->emitConstUint32(ElemIndex,
Init))
2607 if (!this->emitArrayElemPtrUint32(
Init))
2612template <
class Emitter>
2615 bool Activate,
bool IsOperatorCall) {
2617 llvm::BitVector NonNullArgs;
2618 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2621 bool ExplicitMemberFn =
false;
2622 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2623 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2625 unsigned ArgIndex = 0;
2626 for (
const Expr *Arg : Args) {
2628 if (!this->
visit(Arg))
2636 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2637 if (DeclIndex < FuncDecl->getNumParams())
2638 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2647 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2655 if (!this->emitActivate(Arg))
2659 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2662 if (!this->emitCheckNonNullArg(ArgT, Arg))
2673template <
class Emitter>
2678template <
class Emitter>
2684template <
class Emitter>
2690template <
class Emitter>
2708template <
class Emitter>
2710 auto It = E->
begin();
2711 return this->
visit(*It);
2715 UnaryExprOrTypeTrait Kind) {
2716 bool AlignOfReturnsPreferred =
2723 T = Ref->getPointeeType();
2725 if (
T.getQualifiers().hasUnaligned())
2731 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2737template <
class Emitter>
2741 UnaryExprOrTypeTrait Kind = E->
getKind();
2744 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2750 ArgType = Ref->getPointeeType();
2756 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2757 return this->emitInvalid(E);
2759 if (Kind == UETT_SizeOf)
2768 return this->emitConst(Size.getQuantity(), E);
2771 if (Kind == UETT_CountOf) {
2777 if (
const auto *CAT =
2781 return this->emitConst(CAT->getSize(), E);
2791 if (VAT->getElementType()->isArrayType()) {
2792 std::optional<APSInt> Res =
2794 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2799 return this->emitConst(*Res, E);
2804 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2824 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2827 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2837 return this->emitConst(Size.getQuantity(), E);
2840 if (Kind == UETT_VectorElements) {
2845 return this->emitConst(VT->getNumElements(), E);
2847 return this->emitSizelessVectorElementSize(E);
2850 if (Kind == UETT_VecStep) {
2852 unsigned N = VT->getNumElements();
2859 return this->emitConst(N, E);
2861 return this->emitConst(1, E);
2864 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2873 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2875 return this->emitInvalid(E);
2877 return this->emitConst(
2878 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2886template <
class Emitter>
2895 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2898 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2899 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2901 if (
Member->getType()->isReferenceType())
2902 return this->emitLoadPopPtr(E);
2911 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2912 MD && !MD->isStatic()) {
2916 if (!this->
discard(Base) && !this->emitSideEffect(E))
2931 const Record::Field *F = R->getField(FD);
2935 const auto maybeLoadValue = [&]() ->
bool {
2939 return this->emitLoadPop(*
T, E);
2944 if (F->Decl->getType()->isReferenceType())
2945 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2946 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2949template <
class Emitter>
2959template <
class Emitter>
2973 if (!this->
visit(Common))
2975 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
2989 for (
size_t I = 0; I != Size; ++I) {
3001template <
class Emitter>
3016 return this->emitGetLocal(SubExprT, It->second, E);
3019 if (!this->
visit(SourceExpr))
3026 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3035 return this->emitGetLocal(SubExprT, LocalIndex, E);
3039template <
class Emitter>
3052 bool IsBcpCall =
false;
3053 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3054 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3058 LabelTy LabelEnd = this->getLabel();
3059 LabelTy LabelFalse = this->getLabel();
3062 if (!this->emitPushIgnoreDiags(E))
3070 if (this->checkingForUndefinedBehavior()) {
3073 if (!this->
discard(FalseExpr))
3090 if (!this->jumpFalse(LabelFalse, E))
3095 if (!this->jump(LabelEnd, E))
3097 this->emitLabel(LabelFalse);
3101 this->fallthrough(LabelEnd);
3102 this->emitLabel(LabelEnd);
3105 return this->emitPopIgnoreDiags(E);
3109template <
class Emitter>
3115 unsigned StringIndex =
P.createGlobalString(E);
3116 return this->emitGetPtrGlobal(StringIndex, E);
3121 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3122 assert(CAT &&
"a string literal that's not a constant array?");
3127 unsigned N = std::min(ArraySize, E->
getLength());
3130 for (
unsigned I = 0; I != N; ++I) {
3133 if (CharWidth == 1) {
3134 this->emitConstSint8(CodeUnit, E);
3135 this->emitInitElemSint8(I, E);
3136 }
else if (CharWidth == 2) {
3137 this->emitConstUint16(CodeUnit, E);
3138 this->emitInitElemUint16(I, E);
3139 }
else if (CharWidth == 4) {
3140 this->emitConstUint32(CodeUnit, E);
3141 this->emitInitElemUint32(I, E);
3143 llvm_unreachable(
"unsupported character width");
3148 for (
unsigned I = N; I != ArraySize; ++I) {
3149 if (CharWidth == 1) {
3150 this->emitConstSint8(0, E);
3151 this->emitInitElemSint8(I, E);
3152 }
else if (CharWidth == 2) {
3153 this->emitConstUint16(0, E);
3154 this->emitInitElemUint16(I, E);
3155 }
else if (CharWidth == 4) {
3156 this->emitConstUint32(0, E);
3157 this->emitInitElemUint32(I, E);
3159 llvm_unreachable(
"unsupported character width");
3166template <
class Emitter>
3170 return this->emitDummyPtr(E, E);
3173template <
class Emitter>
3175 auto &A =
Ctx.getASTContext();
3184template <
class Emitter>
3192 auto &A =
Ctx.getASTContext();
3196 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3197 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3204 unsigned StringIndex =
P.createGlobalString(SL);
3205 return this->emitGetPtrGlobal(StringIndex, E);
3208template <
class Emitter>
3212 return this->emitConst(E->
getValue(), E);
3215template <
class Emitter>
3237 if (!this->emitLoad(LHST, E))
3240 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3241 LHSComputationType, E))
3253 unsigned TempOffset =
3255 if (!this->emitSetLocal(*RT, TempOffset, E))
3261 if (!this->emitLoad(LHST, E))
3265 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3266 LHSComputationType, E))
3270 if (!this->emitGetLocal(*RT, TempOffset, E))
3276 if (!this->emitAddf(getFPOptions(E), E))
3280 if (!this->emitSubf(getFPOptions(E), E))
3284 if (!this->emitMulf(getFPOptions(E), E))
3288 if (!this->emitDivf(getFPOptions(E), E))
3299 return this->emitStorePop(LHST, E);
3300 return this->emitStore(LHST, E);
3303template <
class Emitter>
3312 if (Op != BO_AddAssign && Op != BO_SubAssign)
3321 if (!this->emitLoad(*
LT, LHS))
3327 if (Op == BO_AddAssign) {
3328 if (!this->emitAddOffset(*RT, E))
3331 if (!this->emitSubOffset(*RT, E))
3336 return this->emitStorePopPtr(E);
3337 return this->emitStorePtr(E);
3340template <
class Emitter>
3353 if (!
Ctx.getLangOpts().CPlusPlus14)
3354 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3356 if (!
LT || !RT || !ResultT || !LHSComputationT)
3373 if (!this->emitLoad(*
LT, E))
3375 if (
LT != LHSComputationT &&
3376 !this->emitIntegralCast(*
LT, *LHSComputationT,
3390 unsigned TempOffset =
3393 if (!this->emitSetLocal(*RT, TempOffset, E))
3400 if (!this->emitLoad(*
LT, E))
3402 if (
LT != LHSComputationT &&
3403 !this->emitIntegralCast(*
LT, *LHSComputationT,
3408 if (!this->emitGetLocal(*RT, TempOffset, E))
3415 if (!this->emitAdd(*LHSComputationT, E))
3419 if (!this->emitSub(*LHSComputationT, E))
3423 if (!this->emitMul(*LHSComputationT, E))
3427 if (!this->emitDiv(*LHSComputationT, E))
3431 if (!this->emitRem(*LHSComputationT, E))
3435 if (!this->emitShl(*LHSComputationT, *RT, E))
3439 if (!this->emitShr(*LHSComputationT, *RT, E))
3443 if (!this->emitBitAnd(*LHSComputationT, E))
3447 if (!this->emitBitXor(*LHSComputationT, E))
3451 if (!this->emitBitOr(*LHSComputationT, E))
3455 llvm_unreachable(
"Unimplemented compound assign operator");
3459 if (ResultT != LHSComputationT &&
3460 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3466 return this->emitStoreBitFieldPop(*ResultT, E);
3467 return this->emitStorePop(*ResultT, E);
3470 return this->emitStoreBitField(*ResultT, E);
3471 return this->emitStore(*ResultT, E);
3474template <
class Emitter>
3482template <
class Emitter>
3497 if (!
Ctx.getLangOpts().CPlusPlus11)
3504 for (
const Expr *LHS : CommaLHSs) {
3526 if (!this->
visit(Inner))
3531 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3534 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3537 return this->emitGetPtrGlobal(*GlobalIndex, E);
3540 if (!this->checkLiteralType(Inner))
3543 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3549 return this->emitInitGlobalTempComp(TempDecl, E);
3562 unsigned LocalIndex =
3564 if (!this->VarScope->LocalsAlwaysEnabled &&
3565 !this->emitEnableLocal(LocalIndex, E))
3568 if (!this->
visit(Inner))
3570 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3573 return this->emitGetPtrLocal(LocalIndex, E);
3576 if (!this->checkLiteralType(Inner))
3583 if (!this->VarScope->LocalsAlwaysEnabled &&
3584 !this->emitEnableLocal(*LocalIndex, E))
3587 if (!this->emitGetPtrLocal(*LocalIndex, E))
3594template <
class Emitter>
3605 if (!this->
visit(SubExpr))
3609 return this->emitPopPtr(E);
3613template <
class Emitter>
3634 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3639 if (
P.isGlobalInitialized(*GlobalIndex))
3645 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3657 unsigned LocalIndex;
3661 LocalIndex = *MaybeIndex;
3665 if (!this->emitGetPtrLocal(LocalIndex, E))
3669 return this->
visit(
Init) && this->emitInit(*
T, E);
3673template <
class Emitter>
3686template <
class Emitter>
3690 return this->emitConst(E->
getValue(), E);
3693template <
class Emitter>
3706 for (
const Record::Field &F : R->fields()) {
3708 if (!
Init ||
Init->containsErrors())
3716 if (!this->emitInitField(*
T, F.Offset, E))
3719 if (!this->emitGetPtrField(F.Offset, E))
3730template <
class Emitter>
3737 return this->emitGetPtrGlobal(StringIndex, E);
3743template <
class Emitter>
3748 return this->emitInvalid(E);
3751template <
class Emitter>
3771 bool Fatal = (ToT != FromT);
3778template <
class Emitter>
3780 if (!
Ctx.getLangOpts().CPlusPlus20) {
3801 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3806 return this->emitPopPtr(E);
3810template <
class Emitter>
3816 return this->emitConstBool(E->
getValue(), E);
3819template <
class Emitter>
3824 if (
T->isRecordType()) {
3838 if (!this->emitGetPtrLocal(*LocalIndex, E))
3846 T->getAsCXXRecordDecl()))
3856 if (!this->visitZeroRecordInitializer(R, E))
3868 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3870 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3871 if (!this->emitCheckFunctionDecl(Ctor, E))
3882 assert(
Func->hasThisPointer());
3883 assert(!
Func->hasRVO());
3887 if (!this->emitDupPtr(E))
3891 for (
const auto *Arg : E->
arguments()) {
3892 if (!this->
visit(Arg))
3896 if (
Func->isVariadic()) {
3897 uint32_t VarArgSize = 0;
3898 unsigned NumParams =
Func->getNumWrittenParams();
3899 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3903 if (!this->emitCallVar(
Func, VarArgSize, E))
3906 if (!this->emitCall(
Func, 0, E)) {
3911 (void)this->emitPopPtr(E);
3917 return this->emitPopPtr(E);
3921 if (
T->isArrayType()) {
3926 if (!this->emitDupPtr(E))
3930 initArrayDimension = [&](
QualType T) ->
bool {
3931 if (!
T->isArrayType()) {
3933 for (
const auto *Arg : E->
arguments()) {
3934 if (!this->
visit(Arg))
3938 return this->emitCall(
Func, 0, E);
3942 Ctx.getASTContext().getAsConstantArrayType(
T);
3947 for (
size_t I = 0; I != NumElems; ++I) {
3948 if (!this->emitConstUint64(I, E))
3950 if (!this->emitArrayElemPtrUint64(E))
3952 if (!initArrayDimension(ElemTy))
3955 return this->emitPopPtr(E);
3958 return initArrayDimension(E->
getType());
3964template <
class Emitter>
3974 assert(Val.
isInt());
3976 return this->emitConst(I, E);
3983 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
3984 return this->
visit(LValueExpr);
3999 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4003 const APValue &
V = UGCD->getValue();
4004 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4005 const Record::Field *F = R->getField(I);
4006 const APValue &FieldValue =
V.getStructField(I);
4012 if (!this->emitInitField(FieldT, F->Offset, E))
4020template <
class Emitter>
4026 for (
unsigned I = 0; I != N; ++I) {
4033 if (!this->
discard(ArrayIndexExpr))
4039 if (!this->
visit(ArrayIndexExpr))
4041 if (!this->emitCastNoOverflow(IndexT, E))
4045 if (!this->
visit(ArrayIndexExpr))
4049 if (!this->emitCast(IndexT,
PT_Sint64, E))
4059 return this->emitOffsetOf(
T, E, E);
4062template <
class Emitter>
4071 return this->visitZeroInitializer(*
T, Ty, E);
4078 if (!this->emitGetPtrLocal(*LocalIndex, E))
4086 ElemQT = CT->getElementType();
4089 NumElems = VT->getNumElements();
4090 ElemQT = VT->getElementType();
4096 for (
unsigned I = 0; I != NumElems; ++I) {
4097 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4099 if (!this->emitInitElem(ElemT, I, E))
4108template <
class Emitter>
4113template <
class Emitter>
4119template <
class Emitter>
4124template <
class Emitter>
4129 return this->emitConst(E->
getValue(), E);
4132template <
class Emitter>
4137 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4152 unsigned ParamIndex = 0;
4156 if (!this->emitGetParam(PT, ParamIndex, E))
4161 return this->emitCall(F, 0, E);
4166template <
class Emitter>
4174 const Expr *PlacementDest =
nullptr;
4175 bool IsNoThrow =
false;
4180 if (PlacementArgs != 0) {
4189 if (PlacementArgs == 1) {
4197 if (!this->emitInvalidNewDeleteExpr(E, E))
4202 if (OperatorNew->isReservedGlobalPlacementOperator())
4203 PlacementDest = Arg1;
4207 return this->emitInvalid(E);
4209 }
else if (!OperatorNew
4210 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4211 return this->emitInvalidNewDeleteExpr(E, E);
4214 if (!PlacementDest) {
4219 Desc =
P.createDescriptor(E, *ElemT,
nullptr,
4222 Desc =
P.createDescriptor(
4225 false,
false,
false,
4231 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4235 const Expr *Stripped = *ArraySizeExpr;
4236 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4237 Stripped = ICE->getSubExpr())
4238 if (ICE->getCastKind() != CK_NoOp &&
4239 ICE->getCastKind() != CK_IntegralCast)
4247 if (!this->
visit(Stripped))
4249 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4252 if (PlacementDest) {
4253 if (!this->
visit(PlacementDest))
4255 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4257 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4260 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4265 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4269 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4276 size_t StaticInitElems = 0;
4277 const Expr *DynamicInit =
nullptr;
4281 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4282 StaticInitElems = CAT->getZExtSize();
4287 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4288 if (ILE->hasArrayFiller())
4289 DynamicInit = ILE->getArrayFiller();
4308 const Function *CtorFunc =
nullptr;
4309 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4313 }
else if (!DynamicInit && !ElemT)
4316 LabelTy EndLabel = this->getLabel();
4317 LabelTy StartLabel = this->getLabel();
4322 if (!this->emitDupPtr(E))
4324 if (!this->emitNullPtr(0,
nullptr, E))
4326 if (!this->emitEQPtr(E))
4328 if (!this->jumpTrue(EndLabel, E))
4335 if (!this->emitConst(StaticInitElems,
SizeT, E))
4337 if (!this->emitSetLocal(
SizeT, Iter, E))
4340 this->fallthrough(StartLabel);
4341 this->emitLabel(StartLabel);
4343 if (!this->emitGetLocal(
SizeT, Iter, E))
4345 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4347 if (!this->emitLT(
SizeT, E))
4349 if (!this->jumpFalse(EndLabel, E))
4353 if (!this->emitGetLocal(
SizeT, Iter, E))
4355 if (!this->emitArrayElemPtr(
SizeT, E))
4358 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4363 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4365 if (!this->emitStorePop(*InitT, E))
4369 if (!this->visitZeroArrayInitializer(ElemType, E))
4372 }
else if (DynamicInit) {
4374 if (!this->
visit(DynamicInit))
4376 if (!this->emitStorePop(*InitT, E))
4383 if (!this->visitZeroInitializer(
4387 if (!this->emitStorePop(*ElemT, E))
4391 if (!this->emitCall(CtorFunc, 0, E))
4396 if (!this->emitGetPtrLocal(Iter, E))
4398 if (!this->emitIncPop(
SizeT,
false, E))
4401 if (!this->jump(StartLabel, E))
4404 this->fallthrough(EndLabel);
4405 this->emitLabel(EndLabel);
4409 if (PlacementDest) {
4410 if (!this->
visit(PlacementDest))
4412 if (!this->emitCheckNewTypeMismatch(E, E))
4417 if (!this->emitAlloc(Desc, E))
4426 if (!this->emitInit(*ElemT, E))
4437 return this->emitPopPtr(E);
4442template <
class Emitter>
4448 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4449 return this->emitInvalidNewDeleteExpr(E, E);
4458template <
class Emitter>
4464 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4469 return this->emitGetFnPtr(
Func, E);
4472template <
class Emitter>
4476 auto canonType = [](
const Type *
T) {
4477 return T->getCanonicalTypeUnqualified().getTypePtr();
4485 return this->emitGetTypeid(
4489 return this->emitGetTypeid(
4498 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4504 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4507 return this->emitPopPtr(E);
4511template <
class Emitter>
4515 return this->emitDummyPtr(E, E);
4516 return this->emitError(E);
4519template <
class Emitter>
4522 return this->emitDummyPtr(E, E);
4523 return this->emitError(E);
4526template <
class Emitter>
4528 assert(
Ctx.getLangOpts().CPlusPlus);
4529 return this->emitConstBool(E->
getValue(), E);
4532template <
class Emitter>
4544 return this->emitDummyPtr(GuidDecl, E);
4549 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4558 assert(
V.isStruct());
4559 assert(
V.getStructNumBases() == 0);
4563 return this->emitFinishInit(E);
4566template <
class Emitter>
4576template <
class Emitter>
4585template <
class Emitter>
4591template <
class Emitter>
4595 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4599 if (OVE->isUnique())
4615template <
class Emitter>
4620template <
class Emitter>
4622 return this->emitError(E);
4625template <
class Emitter>
4631 return this->emitDummyPtr(E, E);
4634template <
class Emitter>
4635bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4640 QualType ElemType = VT->getElementType();
4641 PrimType ElemT = classifyPrim(ElemType);
4643 PrimType SrcElemT = classifyVectorElementType(SrcType);
4649 if (!this->emitGetPtrLocal(*LocalIndex, E))
4653 unsigned SrcOffset =
4654 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4655 if (!this->visit(Src))
4657 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4660 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4661 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4663 if (!this->emitArrayElemPop(SrcElemT, I, E))
4667 if (SrcElemT != ElemT) {
4668 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4670 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4671 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4675 if (!this->emitInitElem(ElemT, I, E))
4681template <
class Emitter>
4683 return emitVectorConversion(E->
getSrcExpr(), E);
4686template <
class Emitter>
4690 return this->emitInvalid(E);
4699 assert(NumOutputElems > 0);
4705 if (!this->emitGetPtrLocal(*LocalIndex, E))
4710 unsigned VectorOffsets[2];
4711 for (
unsigned I = 0; I != 2; ++I) {
4714 if (!this->
visit(Vecs[I]))
4716 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4719 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4721 assert(ShuffleIndex >= -1);
4722 if (ShuffleIndex == -1)
4723 return this->emitInvalidShuffleVectorIndex(I, E);
4725 assert(ShuffleIndex < (NumInputElems * 2));
4726 if (!this->emitGetLocal(
PT_Ptr,
4727 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4729 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4730 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4733 if (!this->emitInitElem(ElemT, I, E))
4738 return this->emitPopPtr(E);
4743template <
class Emitter>
4748 Base->getType()->isVectorType() ||
4754 if (Indices.size() == 1) {
4759 if (!this->emitConstUint32(Indices[0], E))
4761 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4771 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4779 if (!this->emitGetPtrLocal(*ResultIndex, E))
4787 uint32_t DstIndex = 0;
4788 for (uint32_t I : Indices) {
4789 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4791 if (!this->emitArrayElemPop(ElemT, I, E))
4793 if (!this->emitInitElem(ElemT, DstIndex, E))
4803template <
class Emitter>
4807 return this->
discard(SubExpr) && this->emitInvalid(E);
4813 return this->emitDummyPtr(E, E);
4816template <
class Emitter>
4821 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4826 if (!this->
visit(SubExpr))
4828 if (!this->emitConstUint8(0, E))
4830 if (!this->emitArrayElemPtrPopUint8(E))
4832 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4837 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4839 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4841 assert(SecondFieldT ==
PT_Ptr);
4843 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4845 if (!this->emitExpandPtr(E))
4849 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4851 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4854template <
class Emitter>
4869 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4873 return this->emitUnsupported(E);
4882 return this->
Visit(E);
4889 return this->
Visit(E);
4893 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4896 if (
const auto *CE = dyn_cast<CastExpr>(E);
4898 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4905 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4908 if (
const auto *CE = dyn_cast<CastExpr>(E);
4909 CE && (CE->getCastKind() == CK_DerivedToBase ||
4910 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4911 CE->getCastKind() == CK_NoOp))
4931 if (!this->emitGetPtrLocal(*LocalIndex, E))
4941 return this->
Visit(E);
4944template <
class Emitter>
4950 return this->
Visit(E) && this->emitFinishInit(E);
4953template <
class Emitter>
4959 return this->
Visit(E) && this->emitFinishInitPop(E);
4965 return this->
Visit(E);
4976 if (!this->
visit(E))
4978 return this->emitComplexBoolCast(E);
4983 if (!this->
visit(E))
4991 return this->emitIsNonNullPtr(E);
4995 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
4998 return this->emitCast(*
T,
PT_Bool, E);
5001template <
class Emitter>
5005 QT = AT->getValueType();
5009 return this->emitZeroBool(E);
5011 return this->emitZeroSint8(E);
5013 return this->emitZeroUint8(E);
5015 return this->emitZeroSint16(E);
5017 return this->emitZeroUint16(E);
5019 return this->emitZeroSint32(E);
5021 return this->emitZeroUint32(E);
5023 return this->emitZeroSint64(E);
5025 return this->emitZeroUint64(E);
5027 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5029 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5031 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5034 return this->emitNullMemberPtr(0,
nullptr, E);
5036 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5037 return this->emitFloat(F, E);
5040 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5044 llvm_unreachable(
"unknown primitive type");
5047template <
class Emitter>
5048bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5050 bool IsCompleteClass) {
5054 for (
const Record::Field &Field :
R->fields()) {
5055 if (Field.isUnnamedBitField())
5062 if (!this->visitZeroInitializer(
T, QT, E))
5065 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5069 if (!this->emitInitField(
T, Field.Offset, E))
5074 if (!this->emitGetPtrField(Field.Offset, E))
5081 if (!this->visitZeroInitializer(
T, ET, E))
5083 if (!this->emitInitElem(
T, I, E))
5088 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5091 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5099 if (!this->emitFinishInitActivatePop(E))
5103 if (!this->emitFinishInitPop(E))
5107 for (
const Record::Base &B :
R->bases()) {
5108 if (!this->emitGetPtrBase(B.Offset, E))
5110 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5112 if (!this->emitFinishInitPop(E))
5116 if (IsCompleteClass) {
5117 for (
const Record::Base &B :
R->virtual_bases()) {
5120 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5122 if (!this->emitFinishInitPop(E))
5130template <
class Emitter>
5131bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5132 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5133 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5138 for (
size_t I = 0; I != NumElems; ++I) {
5139 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5141 if (!this->emitInitElem(*ElemT, I, E))
5147 const Record *
R = getRecord(ElemType);
5151 for (
size_t I = 0; I != NumElems; ++I) {
5152 if (!this->emitConstUint32(I, E))
5154 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5156 if (!this->visitZeroRecordInitializer(R, E))
5158 if (!this->emitPopPtr(E))
5164 for (
size_t I = 0; I != NumElems; ++I) {
5165 if (!this->emitConstUint32(I, E))
5167 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5169 if (!this->visitZeroArrayInitializer(ElemType, E))
5171 if (!this->emitPopPtr(E))
5180template <
class Emitter>
5181bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5183 if (!canClassify(E->
getType()))
5188 if (!this->visit(LHS))
5190 if (!this->visit(RHS))
5193 if (!this->visit(RHS))
5195 if (!this->visit(LHS))
5203 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5207 bool Activates = refersToUnion(LHS);
5210 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5213 if (DiscardResult) {
5214 if (BitField && Activates)
5215 return this->emitStoreBitFieldActivatePop(RHT, E);
5217 return this->emitStoreBitFieldPop(RHT, E);
5219 return this->emitStoreActivatePop(RHT, E);
5221 return this->emitStorePop(RHT, E);
5224 auto maybeLoad = [&](
bool Result) ->
bool {
5230 return this->emitLoadPop(RHT, E);
5234 if (BitField && Activates)
5235 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5237 return maybeLoad(this->emitStoreBitField(RHT, E));
5239 return maybeLoad(this->emitStoreActivate(RHT, E));
5241 return maybeLoad(this->emitStore(RHT, E));
5244template <
class Emitter>
5245template <
typename T>
5249 return this->emitConstSint8(
Value, Info);
5251 return this->emitConstUint8(
Value, Info);
5253 return this->emitConstSint16(
Value, Info);
5255 return this->emitConstUint16(
Value, Info);
5257 return this->emitConstSint32(
Value, Info);
5259 return this->emitConstUint32(
Value, Info);
5261 return this->emitConstSint64(
Value, Info);
5263 return this->emitConstUint64(
Value, Info);
5265 return this->emitConstBool(
Value, Info);
5272 llvm_unreachable(
"Invalid integral type");
5275 llvm_unreachable(
"unknown primitive type");
5278template <
class Emitter>
5279template <
typename T>
5280bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5281 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5284template <
class Emitter>
5288 return this->emitConstIntAPS(
Value, Info);
5290 return this->emitConstIntAP(
Value, Info);
5292 if (
Value.isSigned())
5293 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5294 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5297template <
class Emitter>
5301 return this->emitConstIntAPS(
Value, Info);
5303 return this->emitConstIntAP(
Value, Info);
5306 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5307 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5310template <
class Emitter>
5311bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5312 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5315template <
class Emitter>
5328 if (
auto *VD = dyn_cast_if_present<ValueDecl>(Src.dyn_cast<
const Decl *>()))
5329 Locals.insert({VD, Local});
5330 VarScope->addForScopeKind(Local, SC);
5331 return Local.Offset;
5334template <
class Emitter>
5339 bool IsTemporary =
false;
5340 if (
auto *VD = dyn_cast_if_present<ValueDecl>(Src.dyn_cast<
const Decl *>())) {
5343 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5344 Init = VarD->getInit();
5346 if (
auto *E = Src.dyn_cast<
const Expr *>()) {
5357 return std::nullopt;
5362 Locals.insert({Key, Local});
5363 VarScope->addForScopeKind(Local, SC);
5364 return Local.Offset;
5367template <
class Emitter>
5377 return std::nullopt;
5387 return Local.Offset;
5390template <
class Emitter>
5392 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5393 return PT->getPointeeType()->getAsCanonical<RecordType>();
5399 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5403template <
class Emitter>
5405 return P.getOrCreateRecord(RD);
5408template <
class Emitter>
5410 return Ctx.getOrCreateFunction(FD);
5413template <
class Emitter>
5417 auto maybeDestroyLocals = [&]() ->
bool {
5418 if (DestroyToplevelScope)
5419 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5420 return this->emitCheckAllocations(E);
5427 return this->emitRetVoid(E) && maybeDestroyLocals();
5435 return this->emitRet(*
T, E) && maybeDestroyLocals();
5443 if (!this->emitGetPtrLocal(*LocalOffset, E))
5451 return this->emitRetValue(E) && maybeDestroyLocals();
5454 return maybeDestroyLocals() &&
false;
5457template <
class Emitter>
5459 bool DestroyToplevelScope) {
5463 return this->
visitExpr(E, DestroyToplevelScope);
5466template <
class Emitter>
5478 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5479 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5493template <
class Emitter>
5495 bool ConstantContext) {
5498 if (!ConstantContext) {
5513 auto GlobalIndex =
P.getGlobal(VD);
5514 assert(GlobalIndex);
5516 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5519 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5523 auto Local =
Locals.find(VD);
5524 assert(Local !=
Locals.end());
5527 if (!this->emitGetRefLocal(Local->second.Offset, VD))
5529 }
else if (!this->emitGetLocal(*VarT, Local->second.Offset, VD))
5532 if (!this->emitGetPtrLocal(Local->second.Offset, VD))
5542 auto GlobalIndex =
P.getGlobal(VD);
5543 assert(GlobalIndex);
5544 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5553 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5556template <
class Emitter>
5567 if (!this->isActive())
5572 if (
Init &&
Init->isValueDependent())
5576 auto checkDecl = [&]() ->
bool {
5578 return !NeedsOp || this->emitCheckDecl(VD, VD);
5585 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5588 if (
P.isGlobalInitialized(*GlobalIndex))
5592 }
else if ((GlobalIndex =
5607 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5610 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5613 if (!this->emitStartInit(
Init))
5619 if (!this->emitEndInit(
Init))
5622 return this->emitFinishInitGlobal(
Init);
5632 if (!
Init ||
Init->getType()->isVoidType())
5641 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5653 if (!this->emitCheckRefInit(
Init))
5657 return this->emitSetLocal(*VarT, Offset, VD);
5665 if (!this->emitGetPtrLocal(*Offset,
Init))
5673template <
class Emitter>
5694 Locals.insert({VD, Local});
5697 if (!this->emitGetPtrLocal(Local.Offset, VD))
5703 return this->emitDestructionPop(D, VD);
5712 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5736template <
class Emitter>
5751 unsigned ParamIndex = 0;
5758 const Expr *Arg = Args[ParamIndex];
5759 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5761 unsigned ArgOffset =
5763 if (!this->
visit(Arg))
5765 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5771 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5783 if (
This->getType()->isPointerType()) {
5786 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5793 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5815template <
class Emitter>
5821 return this->emitConst(Val.
getInt(), ValType, Info);
5824 return this->emitFloat(F, Info);
5829 if (!this->emitGetMemberPtr(MemberDecl, Info))
5835 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5841 return this->emitNullMemberPtr(0,
nullptr, Info);
5846 return this->emitNull(ValType, 0,
nullptr, Info);
5851 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5852 return this->
visit(BaseExpr);
5857 QualType EntryType = VD->getType();
5858 for (
auto &Entry : Path) {
5860 uint64_t Index = Entry.getAsArrayIndex();
5863 if (!this->emitConst(Index,
PT_Uint64, Info))
5865 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5867 EntryType = ElemType;
5874 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5875 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5877 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5879 EntryType = FD->getType();
5883 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5888 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5891 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5903template <
class Emitter>
5906 bool IsCompleteClass) {
5912 if (IsCompleteClass)
5919 const Record::Base *RB = R->getBase(I);
5920 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5922 if (!this->emitGetPtrBase(RB->Offset, Info))
5927 if (!this->emitFinishInitPop(Info))
5935 const Record::Field *RF = R->getField(I);
5936 QualType FieldType = RF->Decl->getType();
5941 if (!this->emitInitField(*PT, RF->Offset, Info))
5944 if (!this->emitGetPtrField(RF->Offset, Info))
5948 if (!this->emitFinishInitPop(Info))
5954 if (IsCompleteClass) {
5959 const Record::Base *RB = R->getVirtualBase(I);
5960 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5968 if (!this->emitFinishInitPop(Info))
5984 const Record::Field *RF = R->getField(UnionField);
5985 QualType FieldType = RF->Decl->getType();
5990 if (RF->isBitField())
5991 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
5993 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
5996 if (!this->emitGetPtrField(RF->Offset, Info))
5998 if (!this->emitActivate(Info))
6002 return this->emitPopPtr(Info);
6006 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6007 QualType ElemType = ArrType->getElementType();
6010 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6011 const APValue &Elem = A >= InitializedElems
6020 if (!this->emitInitElem(*ElemT, A, Info))
6023 if (!this->emitConstUint32(A, Info))
6025 if (!this->emitArrayElemPtrUint32(Info))
6029 if (!this->emitPopPtr(Info))
6040template <
class Emitter>
6042 unsigned BuiltinID) {
6043 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6048 return this->emitConst(0, E);
6051 if (!this->emitStartSpeculation(E))
6053 LabelTy EndLabel = this->getLabel();
6054 if (!this->speculate(E, EndLabel))
6056 if (!this->emitEndSpeculation(E))
6058 this->fallthrough(EndLabel);
6066 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6067 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6068 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6069 BuiltinID == Builtin::BI__builtin_function_start) {
6072 return this->emitDummyPtr(E, E);
6083 if (!this->emitGetPtrLocal(*LocalIndex, E))
6088 switch (BuiltinID) {
6089 case Builtin::BI__builtin_object_size:
6090 case Builtin::BI__builtin_dynamic_object_size: {
6094 if (!this->
visit(Arg0))
6105 case Builtin::BI__assume:
6106 case Builtin::BI__builtin_assume:
6109 case Builtin::BI__atomic_is_lock_free:
6110 case Builtin::BI__atomic_always_lock_free: {
6121 for (
const auto *Arg : E->
arguments()) {
6122 if (!this->
visit(Arg))
6128 if (!this->emitCallBI(E, BuiltinID, E))
6137template <
class Emitter>
6158 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6159 DD && DD->isTrivial()) {
6161 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6163 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6164 this->emitPopPtr(E);
6180 if (!this->emitGetPtrLocal(*LocalIndex, E))
6188 if (!this->emitGetPtrLocal(*LocalIndex, E))
6192 if (!this->emitDupPtr(E))
6199 bool IsAssignmentOperatorCall =
false;
6200 bool ActivateLHS =
false;
6201 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6202 OCE && OCE->isAssignmentOp()) {
6206 assert(Args.size() == 2);
6207 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6209 IsAssignmentOperatorCall =
true;
6210 std::reverse(Args.begin(), Args.end());
6216 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6217 MD && MD->isStatic()) {
6221 Args.erase(Args.begin());
6225 bool Devirtualized =
false;
6228 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6236 if (!this->
visit(Callee))
6238 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6240 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6242 if (!this->emitGetMemberPtrBase(E))
6245 const auto *InstancePtr = MC->getImplicitObjectArgument();
6252 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6253 Devirtualized =
true;
6254 if (!this->
visit(Stripped))
6257 if (!this->
visit(InstancePtr))
6261 if (!this->
visit(InstancePtr))
6265 }
else if (
const auto *PD =
6266 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6267 if (!this->emitCheckPseudoDtor(E))
6275 return this->emitPseudoDtor(E);
6276 }
else if (!FuncDecl) {
6280 if (!this->
visit(Callee))
6282 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6291 if (IsAssignmentOperatorCall) {
6292 assert(Args.size() == 2);
6295 if (!this->emitFlip(Arg2T, Arg1T, E))
6309 assert(HasRVO ==
Func->hasRVO());
6311 bool HasQualifier =
false;
6312 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6313 HasQualifier = ME->hasQualifier();
6315 bool IsVirtual =
false;
6316 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6317 IsVirtual = !Devirtualized && MD->isVirtual();
6322 if (IsVirtual && !HasQualifier) {
6323 uint32_t VarArgSize = 0;
6324 unsigned NumParams =
6325 Func->getNumWrittenParams() +
6327 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6330 if (!this->emitCallVirt(
Func, VarArgSize, E))
6332 }
else if (
Func->isVariadic()) {
6333 uint32_t VarArgSize = 0;
6334 unsigned NumParams =
6335 Func->getNumWrittenParams() +
6337 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6339 if (!this->emitCallVar(
Func, VarArgSize, E))
6342 if (!this->emitCall(
Func, 0, E))
6351 uint32_t ArgSize = 0;
6352 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6358 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6360 if (!this->emitGetMemberPtrDecl(E))
6363 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6366 if (!this->emitCallPtr(ArgSize, E, E))
6377template <
class Emitter>
6384template <
class Emitter>
6391template <
class Emitter>
6396 return this->emitConstBool(E->
getValue(), E);
6399template <
class Emitter>
6405 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6406 return this->emitNullPtr(Val,
nullptr, E);
6409template <
class Emitter>
6417 return this->emitZero(
T, E);
6420template <
class Emitter>
6425 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6426 if (this->LambdaThisCapture.Offset > 0) {
6427 if (this->LambdaThisCapture.IsPtr)
6428 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6429 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6438 return this->emitThis(E);
6453 unsigned StartIndex = 0;
6454 unsigned EndIndex = 0;
6456 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6458 EndIndex = StartIndex;
6465 for (; StartIndex > 0; --StartIndex) {
6475 if (StartIndex == 0 && EndIndex == 0)
6481 assert(StartIndex <= EndIndex);
6484 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6496 case Stmt::CompoundStmtClass:
6498 case Stmt::DeclStmtClass:
6500 case Stmt::ReturnStmtClass:
6502 case Stmt::IfStmtClass:
6504 case Stmt::WhileStmtClass:
6506 case Stmt::DoStmtClass:
6508 case Stmt::ForStmtClass:
6510 case Stmt::CXXForRangeStmtClass:
6512 case Stmt::BreakStmtClass:
6514 case Stmt::ContinueStmtClass:
6516 case Stmt::SwitchStmtClass:
6518 case Stmt::CaseStmtClass:
6520 case Stmt::DefaultStmtClass:
6522 case Stmt::AttributedStmtClass:
6524 case Stmt::CXXTryStmtClass:
6526 case Stmt::NullStmtClass:
6529 case Stmt::GCCAsmStmtClass:
6530 case Stmt::MSAsmStmtClass:
6531 case Stmt::GotoStmtClass:
6532 return this->emitInvalid(S);
6533 case Stmt::LabelStmtClass:
6535 case Stmt::CXXExpansionStmtInstantiationClass:
6539 if (
const auto *E = dyn_cast<Expr>(S))
6546template <
class Emitter>
6549 for (
const auto *InnerStmt : S->
body())
6552 return Scope.destroyLocals();
6555template <
class Emitter>
6556bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6557 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6558 for (
auto *BD : DD->flat_bindings())
6559 if (
auto *KD = BD->getHoldingVar();
6560 KD && !this->visitVarDecl(KD, KD->getInit()))
6574template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6576 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6577 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6584 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6589 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6590 ICE && (ICE->getCastKind() == CK_NoOp ||
6591 ICE->getCastKind() == CK_DerivedToBase ||
6592 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6593 E = ICE->getSubExpr();
6597 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6598 const auto *ThisRecord =
6599 This->getType()->getPointeeType()->getAsRecordDecl();
6600 if (!ThisRecord->isUnion())
6603 if (
const auto *Ctor =
6604 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6605 return Ctor->getParent() == ThisRecord;
6614template <
class Emitter>
6616 bool EvaluateConditionDecl) {
6617 for (
const auto *D : DS->
decls()) {
6622 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6623 assert(ESD->getInstantiations() &&
"not expanded?");
6624 if (!this->
visitStmt(ESD->getInstantiations()))
6629 const auto *VD = dyn_cast<VarDecl>(D);
6636 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6643template <
class Emitter>
6646 return this->emitUnsupported(RS);
6652 if (!this->
visit(RE))
6658 if (RE->getType()->isVoidType()) {
6659 if (!this->
visit(RE))
6662 if (RE->containsErrors())
6667 if (!this->emitRVOPtr(RE))
6673 return this->emitRetVoid(RS);
6679 return this->emitRetVoid(RS);
6685 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6692 if (
auto *CondInit = IS->
getInit()) {
6708 return visitChildStmt(IS->
getThen());
6710 return visitChildStmt(Else);
6716 if (!this->emitIsConstantContext(IS))
6719 if (!this->emitIsConstantContext(IS))
6721 if (!this->emitInv(IS))
6735 LabelTy LabelElse = this->getLabel();
6736 LabelTy LabelEnd = this->getLabel();
6737 if (!this->jumpFalse(LabelElse, IS))
6739 if (!visitChildStmt(IS->
getThen()))
6741 if (!this->jump(LabelEnd, IS))
6743 this->emitLabel(LabelElse);
6744 if (!visitChildStmt(Else))
6746 this->emitLabel(LabelEnd);
6748 LabelTy LabelEnd = this->getLabel();
6749 if (!this->jumpFalse(LabelEnd, IS))
6751 if (!visitChildStmt(IS->
getThen()))
6753 this->emitLabel(LabelEnd);
6762template <
class Emitter>
6767 LabelTy CondLabel = this->getLabel();
6768 LabelTy EndLabel = this->getLabel();
6772 this->fallthrough(CondLabel);
6773 this->emitLabel(CondLabel);
6789 if (!this->jumpFalse(EndLabel, S))
6799 if (!this->jump(CondLabel, S))
6801 this->fallthrough(EndLabel);
6802 this->emitLabel(EndLabel);
6811 LabelTy StartLabel = this->getLabel();
6812 LabelTy EndLabel = this->getLabel();
6813 LabelTy CondLabel = this->getLabel();
6817 this->fallthrough(StartLabel);
6818 this->emitLabel(StartLabel);
6824 this->fallthrough(CondLabel);
6825 this->emitLabel(CondLabel);
6832 if (!this->jumpTrue(StartLabel, S))
6835 this->fallthrough(EndLabel);
6836 this->emitLabel(EndLabel);
6840template <
class Emitter>
6848 LabelTy EndLabel = this->getLabel();
6849 LabelTy CondLabel = this->getLabel();
6850 LabelTy IncLabel = this->getLabel();
6857 this->fallthrough(CondLabel);
6858 this->emitLabel(CondLabel);
6870 if (!this->jumpFalse(EndLabel, S))
6879 this->fallthrough(IncLabel);
6880 this->emitLabel(IncLabel);
6886 if (!this->jump(CondLabel, S))
6890 this->emitLabel(EndLabel);
6896template <
class Emitter>
6906 LabelTy EndLabel = this->getLabel();
6907 LabelTy CondLabel = this->getLabel();
6908 LabelTy IncLabel = this->getLabel();
6923 this->fallthrough(CondLabel);
6924 this->emitLabel(CondLabel);
6927 if (!this->jumpFalse(EndLabel, S))
6938 this->fallthrough(IncLabel);
6939 this->emitLabel(IncLabel);
6944 if (!this->jump(CondLabel, S))
6947 this->fallthrough(EndLabel);
6948 this->emitLabel(EndLabel);
6952template <
class Emitter>
6963 if (LI.BreakLabel) {
6964 TargetLabel = *LI.BreakLabel;
6965 BreakScope = LI.BreakOrContinueScope;
6971 if (LI.Name == TargetLoop) {
6972 TargetLabel = *LI.BreakLabel;
6973 BreakScope = LI.BreakOrContinueScope;
6984 C =
C->getParent()) {
6985 if (!
C->destroyLocals())
6989 return this->jump(*TargetLabel, S);
6992template <
class Emitter>
7003 if (LI.ContinueLabel) {
7004 TargetLabel = *LI.ContinueLabel;
7005 ContinueScope = LI.BreakOrContinueScope;
7011 if (LI.Name == TargetLoop) {
7012 TargetLabel = *LI.ContinueLabel;
7013 ContinueScope = LI.BreakOrContinueScope;
7018 assert(TargetLabel);
7021 C =
C->getParent()) {
7022 if (!
C->destroyLocals())
7026 return this->jump(*TargetLabel, S);
7029template <
class Emitter>
7032 if (
Cond->containsErrors())
7039 LabelTy EndLabel = this->getLabel();
7044 if (
const auto *CondInit = S->
getInit())
7055 if (!this->emitSetLocal(CondT, CondVar, S))
7065 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7068 if (CS->caseStmtIsGNURange()) {
7069 LabelTy EndOfRangeCheck = this->getLabel();
7070 const Expr *Low = CS->getLHS();
7071 const Expr *High = CS->getRHS();
7075 if (!this->emitGetLocal(CondT, CondVar, CS))
7077 if (!this->
visit(Low))
7080 if (!this->emitGE(
LT, S))
7082 if (!this->jumpFalse(EndOfRangeCheck, S))
7085 if (!this->emitGetLocal(CondT, CondVar, CS))
7087 if (!this->
visit(High))
7090 if (!this->emitLE(HT, S))
7094 this->emitLabel(EndOfRangeCheck);
7099 if (
Value->isValueDependent())
7104 if (!this->emitGetLocal(CondT, CondVar, CS))
7110 if (!this->emitEQ(ValueT, S))
7115 assert(!DefaultLabel);
7116 DefaultLabel = this->getLabel();
7123 if (!this->jump(*DefaultLabel, S))
7126 if (!this->jump(EndLabel, S))
7134 this->fallthrough(EndLabel);
7135 this->emitLabel(EndLabel);
7140template <
class Emitter>
7148 return this->emitUnsupported(S);
7153template <
class Emitter>
7160 if (LI.DefaultLabel) {
7161 DefaultLabel = *LI.DefaultLabel;
7166 this->emitLabel(DefaultLabel);
7170template <
class Emitter>
7177 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7180 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7181 !this->Ctx.getLangOpts().MSVCCompat) {
7183 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7189 const Expr *Assumption = AA->getAssumption();
7200 if (!this->emitAssume(Assumption))
7209 if (IsMSVCConstexprAttr)
7210 return this->emitPopMSVCCE(S);
7214template <
class Emitter>
7227template <
class Emitter>
7237 LabelTy EndLabel = this->getLabel();
7239 LabelTy ContinueLabel = this->getLabel();
7244 this->emitLabel(ContinueLabel);
7247 this->emitLabel(EndLabel);
7252template <
class Emitter>
7253bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7260 assert(ClosureClass->
captures().empty());
7264 "A generic lambda's static-invoker function must be a "
7265 "template specialization");
7269 void *InsertPos =
nullptr;
7270 const FunctionDecl *CorrespondingCallOpSpecialization =
7272 assert(CorrespondingCallOpSpecialization);
7273 LambdaCallOp = CorrespondingCallOpSpecialization;
7277 assert(ClosureClass->
captures().empty());
7278 const Function *
Func = this->getFunction(LambdaCallOp);
7281 assert(
Func->hasThisPointer());
7284 if (
Func->hasRVO()) {
7285 if (!this->emitRVOPtr(MD))
7293 if (!this->emitNullPtr(0,
nullptr, MD))
7298 auto It = this->Params.find(PVD);
7299 assert(It != this->Params.end());
7303 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7304 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7308 if (!this->emitCall(
Func, 0, LambdaCallOp))
7313 return this->emitRet(*ReturnType, MD);
7316 return this->emitRetVoid(MD);
7319template <
class Emitter>
7320bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7321 if (Ctx.getLangOpts().CPlusPlus23)
7331 const Expr *InitExpr =
Init->getInit();
7333 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7337 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7347template <
class Emitter>
7349 assert(!ReturnType);
7352 if (!this->emitStartThisLifetime1(Ctor))
7355 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7356 const Expr *InitExpr,
7359 if (InitExpr->getType().isNull())
7363 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7366 if (!this->visit(InitExpr))
7369 if (F->isBitField())
7370 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7372 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7377 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7380 if (
Activate && !this->emitActivate(InitExpr))
7383 return this->visitInitializerPop(InitExpr);
7387 const Record *
R = this->getRecord(RD);
7390 bool IsUnion =
R->isUnion();
7400 if (!this->emitThis(Ctor))
7403 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7406 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7407 this->emitRetVoid(Ctor);
7410 unsigned FieldInits = 0;
7413 if (
R->getNumVirtualBases() > 0) {
7414 if (!this->emitThis(Ctor))
7416 LabelTy AfterVirtBasesLabel = this->getLabel();
7419 if (!this->emitIsBaseClass({}))
7421 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7424 for (
const auto *
Init : Ctor->
inits()) {
7427 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7429 assert(
R->getVirtualBase(BaseDecl));
7430 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7432 if (!this->visitInitializerPop(
Init->getInit()))
7437 this->fallthrough(AfterVirtBasesLabel);
7438 this->emitLabel(AfterVirtBasesLabel);
7440 if (!this->emitPopPtr(Ctor))
7444 for (
const auto *
Init : Ctor->
inits()) {
7448 const Expr *InitExpr =
Init->getInit();
7450 const Record::Field *F =
R->getField(
Member);
7454 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7458 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7461 if (
Init->isBaseVirtual()) {
7467 const Record::Base *B =
R->getBase(BaseDecl);
7469 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7473 if (!this->visitInitializerPop(InitExpr))
7478 unsigned ChainSize = IFD->getChainingSize();
7479 assert(ChainSize >= 2);
7481 unsigned NestedFieldOffset = 0;
7482 const Record::Field *NestedField =
nullptr;
7483 for (
unsigned I = 0; I != ChainSize; ++I) {
7485 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7486 assert(FieldRecord);
7488 NestedField = FieldRecord->
getField(FD);
7489 assert(NestedField);
7490 IsUnion = IsUnion || FieldRecord->
isUnion();
7492 NestedFieldOffset += NestedField->Offset;
7495 if (I != ChainSize - 1)
7498 assert(NestedField);
7501 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7506 unsigned InitFieldOffset = 0;
7507 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7509 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7510 assert(FieldRecord);
7511 NestedField = FieldRecord->
getField(FD);
7512 InitFieldOffset += NestedField->Offset;
7513 assert(NestedField);
7514 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7516 if (!this->emitFinishInitPop(InitExpr))
7520 InitStack.pop_back_n(ChainSize - 1);
7523 assert(
Init->isDelegatingInitializer());
7524 if (!this->emitThis(InitExpr))
7526 if (!this->visitInitializerPop(
Init->getInit()))
7530 if (!
Scope.destroyLocals())
7534 if (FieldInits !=
R->getNumFields()) {
7535 assert(FieldInits < R->getNumFields());
7537 if (!this->emitStartThisLifetime(Ctor))
7544 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7545 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7552 if (!visitStmt(Body))
7559template <
class Emitter>
7562 const Record *
R = this->getRecord(RD);
7566 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7567 if (!this->visitStmt(
Dtor->getBody()))
7571 if (!this->emitThis(
Dtor))
7574 if (!this->emitCheckDestruction(
Dtor))
7578 if (!
R->isUnion()) {
7582 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7586 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7588 if (!this->emitDestructionPop(D,
SourceInfo{}))
7593 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7594 if (
Base.R->hasTrivialDtor())
7598 if (!this->emitRecordDestructionPop(
Base.R, {}))
7602 if (
R->getNumVirtualBases() > 0) {
7603 LabelTy EndLabel = this->getLabel();
7605 if (!this->emitIsBaseClass({}))
7607 if (!this->jumpTrue(EndLabel, {}))
7610 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7611 if (
Base.R->hasTrivialDtor())
7616 if (!this->emitRecordDestructionPop(
Base.R, {}))
7620 this->fallthrough(EndLabel);
7621 this->emitLabel(EndLabel);
7624 if (!this->emitMarkDestroyed(
Dtor))
7627 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7630template <
class Emitter>
7631bool Compiler<Emitter>::compileUnionAssignmentOperator(
7633 if (!this->emitThis(MD))
7636 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7639 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7642template <
class Emitter>
7652 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7653 return this->compileConstructor(Ctor);
7654 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7655 return this->compileDestructor(
Dtor);
7658 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7663 return this->compileUnionAssignmentOperator(MD);
7666 return this->emitLambdaStaticInvokerBody(MD);
7670 if (
const auto *Body = F->
getBody())
7684 return FD->getBitWidthValue();
7687template <
class Emitter>
7703 if (!
Ctx.getLangOpts().CPlusPlus14)
7704 return this->emitInvalid(E);
7706 return this->emitError(E);
7708 if (!this->
visit(SubExpr))
7712 if (!this->emitIncPtr(E))
7719 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7720 : this->emitIncf(getFPOptions(E), E);
7732 if (!
Ctx.getLangOpts().CPlusPlus14)
7733 return this->emitInvalid(E);
7735 return this->emitError(E);
7737 if (!this->
visit(SubExpr))
7741 if (!this->emitDecPtr(E))
7748 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7749 : this->emitDecf(getFPOptions(E), E);
7762 if (!
Ctx.getLangOpts().CPlusPlus14)
7763 return this->emitInvalid(E);
7765 return this->emitError(E);
7767 if (!this->
visit(SubExpr))
7771 if (!this->emitLoadPtr(E))
7773 if (!this->emitConstUint8(1, E))
7775 if (!this->emitAddOffsetUint8(E))
7777 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7783 return this->emitIncfPop(getFPOptions(E), E);
7793 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7794 if (!this->emitLoadFloat(E))
7796 APFloat F(TargetSemantics, 1);
7797 if (!this->emitFloat(F, E))
7800 if (!this->emitAddf(getFPOptions(E), E))
7802 if (!this->emitStoreFloat(E))
7814 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7817 if (!
Ctx.getLangOpts().CPlusPlus14)
7818 return this->emitInvalid(E);
7820 return this->emitError(E);
7822 if (!this->
visit(SubExpr))
7826 if (!this->emitLoadPtr(E))
7828 if (!this->emitConstUint8(1, E))
7830 if (!this->emitSubOffsetUint8(E))
7832 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7838 return this->emitDecfPop(getFPOptions(E), E);
7848 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7849 if (!this->emitLoadFloat(E))
7851 APFloat F(TargetSemantics, 1);
7852 if (!this->emitFloat(F, E))
7855 if (!this->emitSubf(getFPOptions(E), E))
7857 if (!this->emitStoreFloat(E))
7869 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7873 return this->emitError(E);
7876 return this->
discard(SubExpr);
7881 if (!this->emitInv(E))
7885 return this->emitCast(
PT_Bool, ET, E);
7889 return this->emitError(E);
7891 if (!this->
visit(SubExpr))
7896 return this->emitError(E);
7898 if (!this->
visit(SubExpr))
7914 if (!
Ctx.getLangOpts().CPlusPlus) {
7916 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
7917 Deref && Deref->getOpcode() == UO_Deref)
7918 return this->
delegate(Deref->getSubExpr());
7924 return this->
discard(SubExpr);
7926 if (!this->
visit(SubExpr))
7933 return this->emitNarrowPtr(E);
7938 return this->emitError(E);
7940 if (!this->
visit(SubExpr))
7954 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
7959 assert(
false &&
"Unhandled opcode");
7965template <
class Emitter>
7971 return this->
discard(SubExpr);
7974 auto prepareResult = [=]() ->
bool {
7979 return this->emitGetPtrLocal(*LocalIndex, E);
7986 unsigned SubExprOffset = ~0u;
7987 auto createTemp = [=, &SubExprOffset]() ->
bool {
7990 if (!this->
visit(SubExpr))
7992 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
7996 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
7997 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
7999 return this->emitArrayElemPop(ElemT, Index, E);
8004 if (!prepareResult())
8008 for (
unsigned I = 0; I != 2; ++I) {
8009 if (!getElem(SubExprOffset, I))
8011 if (!this->emitNeg(ElemT, E))
8013 if (!this->emitInitElem(ElemT, I, E))
8024 if (!this->
visit(SubExpr))
8026 if (!this->emitComplexBoolCast(SubExpr))
8028 if (!this->emitInv(E))
8031 return this->emitCast(
PT_Bool, ET, E);
8035 return this->emitComplexReal(SubExpr);
8038 if (!this->
visit(SubExpr))
8042 if (!this->emitConstUint8(1, E))
8044 return this->emitArrayElemPtrPopUint8(E);
8055 if (!this->emitArrayElem(ElemT, 1, E))
8057 if (!this->emitNeg(ElemT, E))
8059 if (!this->emitInitElem(ElemT, 1, E))
8067 return this->emitInvalid(E);
8073template <
class Emitter>
8079 return this->
discard(SubExpr);
8082 if (UnaryOp == UO_Extension)
8085 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8086 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8087 return this->emitInvalid(E);
8090 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8097 if (!this->emitGetPtrLocal(*LocalIndex, E))
8102 unsigned SubExprOffset =
8104 if (!this->
visit(SubExpr))
8106 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8111 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8112 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8114 return this->emitArrayElemPop(ElemT, Index, E);
8119 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8120 if (!getElem(SubExprOffset, I))
8122 if (!this->emitNeg(ElemT, E))
8124 if (!this->emitInitElem(ElemT, I, E))
8139 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8140 if (!getElem(SubExprOffset, I))
8143 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8145 if (!this->emitInv(E))
8147 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8149 if (!this->emitNeg(ElemT, E))
8151 if (ElemT != ResultVecElemT &&
8152 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8154 if (!this->emitInitElem(ResultVecElemT, I, E))
8160 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8161 if (!getElem(SubExprOffset, I))
8164 if (!this->emitInv(E))
8167 if (!this->emitComp(ElemT, E))
8170 if (!this->emitInitElem(ElemT, I, E))
8175 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8180template <
class Emitter>
8182 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8185 return this->emitConst(ECD->getInitVal(), E);
8187 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8191 return F && this->emitGetFnPtr(F, E);
8193 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8194 TPOD = TPOD->getFirstDecl();
8198 return this->emitGetPtrGlobal(*GlobalIndex, E);
8204 return this->emitInitGlobal(*
T, *Index, E);
8207 if (!this->emitGetPtrGlobal(*Index, E))
8211 return this->emitFinishInit(E);
8223 auto maybePopPtr = [&]() ->
bool {
8225 return this->emitPopPtr(E);
8232 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8236 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8241 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8242 if (IsReference || !It->second.IsPtr)
8243 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8245 return this->emitGetPtrParam(It->second.Index, E);
8248 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8255 const unsigned Offset = It->second.Offset;
8258 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8260 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8263 if (
auto GlobalIndex =
P.getGlobal(D)) {
8265 if (!
Ctx.getLangOpts().CPlusPlus11)
8266 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8267 if (!
Ctx.getLangOpts().CPlusPlus23)
8268 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8270 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8273 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8277 auto revisit = [&](
const VarDecl *VD,
8278 bool IsConstexprUnknown =
true) ->
bool {
8280 IsConstexprUnknown);
8281 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8287 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8288 if (!this->emitPopCC(E))
8292 if (VarState.notCreated())
8300 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8302 if (
auto It = this->LambdaCaptures.find(D);
8303 It != this->LambdaCaptures.end()) {
8304 auto [Offset, IsPtr] = It->second;
8307 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8308 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8312 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8313 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8314 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8318 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8319 return this->
delegate(BD->getBinding());
8325 return this->emitDummyPtr(D, E);
8330 const auto *VD = dyn_cast<VarDecl>(D);
8332 return this->emitError(E);
8335 if (!
Ctx.getLangOpts().CPlusPlus) {
8339 return revisit(VD,
false);
8343 return this->emitDummyPtr(D, E);
8347 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8348 if (
T.isConstant(
Ctx.getASTContext()))
8350 return T->isReferenceType();
8354 typeShouldBeVisited(DeclType)) {
8356 Init && !
Init->isValueDependent()) {
8361 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8374 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8379 return revisit(VD, IsConstexprUnknown);
8380 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8381 return revisit(VD,
true);
8390 return this->emitDummyPtr(
8394template <
class Emitter>
8400template <
class Emitter>
8410 if (!
C->destroyLocals())
8416template <
class Emitter>
8417unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8420 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8422 return Ty->getAsCXXRecordDecl();
8424 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8425 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8427 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8431template <
class Emitter>
8438 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8443 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8444 getFPOptions(E), E);
8446 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8447 getFPOptions(E), E);
8451 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8456 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8458 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8462 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8466 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8467 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8474template <
class Emitter>
8477 assert(FromT != ToT);
8480 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8482 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8484 return this->emitCast(FromT, ToT, E);
8488template <
class Emitter>
8489bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8493 return this->
discard(SubExpr);
8495 if (!this->visit(SubExpr))
8498 if (!this->emitConstUint8(0, SubExpr))
8500 return this->emitArrayElemPtrPopUint8(SubExpr);
8504 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8508template <
class Emitter>
8509bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8510 assert(!DiscardResult);
8514 if (!this->emitArrayElem(ElemT, 0, E))
8517 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8520 if (!this->emitCast(ElemT,
PT_Bool, E))
8525 LabelTy LabelTrue = this->getLabel();
8526 if (!this->jumpTrue(LabelTrue, E))
8529 if (!this->emitArrayElemPop(ElemT, 1, E))
8532 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8535 if (!this->emitCast(ElemT,
PT_Bool, E))
8539 LabelTy EndLabel = this->getLabel();
8540 this->jump(EndLabel, E);
8542 this->emitLabel(LabelTrue);
8543 if (!this->emitPopPtr(E))
8545 if (!this->emitConstBool(
true, E))
8548 this->fallthrough(EndLabel);
8549 this->emitLabel(EndLabel);
8554template <
class Emitter>
8555bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8566 LHSIsComplex =
true;
8567 ElemT = classifyComplexElementType(LHS->
getType());
8568 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8569 if (!this->visit(LHS))
8571 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8574 LHSIsComplex =
false;
8576 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8577 if (!this->visit(LHS))
8579 if (!this->emitSetLocal(LHST, LHSOffset, E))
8586 RHSIsComplex =
true;
8587 ElemT = classifyComplexElementType(RHS->
getType());
8588 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8589 if (!this->visit(RHS))
8591 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8594 RHSIsComplex =
false;
8596 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8597 if (!this->visit(RHS))
8599 if (!this->emitSetLocal(RHST, RHSOffset, E))
8603 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8604 bool IsComplex) ->
bool {
8606 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8608 return this->emitArrayElemPop(ElemT, Index, E);
8610 return this->emitGetLocal(ElemT, LocalOffset, E);
8613 for (
unsigned I = 0; I != 2; ++I) {
8615 if (!getElem(LHSOffset, I, LHSIsComplex))
8617 if (!getElem(RHSOffset, I, RHSIsComplex))
8620 if (!this->emitEQ(ElemT, E))
8623 if (!this->emitCastBoolUint8(E))
8628 if (!this->emitAddUint8(E))
8630 if (!this->emitConstUint8(2, E))
8634 if (!this->emitEQUint8(E))
8637 if (!this->emitNEUint8(E))
8644 return this->emitCast(
PT_Bool, ResT, E);
8651template <
class Emitter>
8652bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8655 assert(!
R->hasTrivialDtor());
8658 const Function *DtorFunc = getFunction(
Dtor);
8661 assert(DtorFunc->hasThisPointer());
8662 assert(DtorFunc->getNumParams() == 1);
8663 return this->emitCall(DtorFunc, 0, Loc);
8668template <
class Emitter>
8669bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8681 return this->emitPopPtr(Loc);
8683 for (ssize_t I = N - 1; I >= 1; --I) {
8684 if (!this->emitConstUint64(I, Loc))
8686 if (!this->emitArrayElemPtrUint64(Loc))
8688 if (!this->emitDestructionPop(ElemDesc, Loc))
8692 if (!this->emitConstUint64(0, Loc))
8694 if (!this->emitArrayElemPtrPopUint64(Loc))
8696 return this->emitDestructionPop(ElemDesc, Loc);
8701 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8706template <
class Emitter>
8707bool Compiler<Emitter>::emitDummyPtr(
const DeclTy &D,
const Expr *E,
bool CU) {
8708 assert(!DiscardResult &&
"Should've been checked before");
8709 unsigned DummyID = P.getOrCreateDummy(D, CU);
8711 if (!this->emitGetPtrGlobal(DummyID, E))
8719 return this->emitDecayPtr(
PT_Ptr, PT, E);
8725template <
class Emitter>
8728 return this->emitConstFloat(
Floating(F), Info);
8730 APInt I = F.bitcastToAPInt();
8731 return this->emitConstFloat(
8732 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8733 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8744template <
class Emitter>
8745bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8758 if (!this->emitGetPtrLocal(*LocalIndex, E))
8768 if (!this->visit(SubExpr))
8770 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8771 unsigned TempOffset =
8772 allocateLocalPrimitive(SubExpr, *FromT,
true);
8773 if (!this->visit(SubExpr))
8775 if (!this->emitSetLocal(*FromT, TempOffset, E))
8777 if (!this->emitGetPtrLocal(TempOffset, E))
8784 if (!this->emitBitCast(E))
8786 return DiscardResult ? this->emitPopPtr(E) :
true;
8790 const llvm::fltSemantics *TargetSemantics =
nullptr;
8792 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8798 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8800 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8801 ResultBitWidth, TargetSemantics,
8806 return this->emitPop(*ToT, E);
8815template <
class Emitter>
8816bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8821 unsigned NumElems = 0;
8824 NumElems = VT->getNumElements();
8825 ElemType = VT->getElementType();
8827 NumElems = MT->getNumElementsFlattened();
8828 ElemType = MT->getElementType();
8831 PrimType ElemT = classifyPrim(ElemType);
8832 for (
unsigned I = 0; I != NumElems; ++I) {
8833 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8835 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8837 if (!this->emitInitElem(ElemT, I, E))
8847 QualType ArrElemType = CAT->getElementType();
8848 unsigned ArrSize = CAT->getZExtSize();
8851 for (
unsigned I = 0; I != ArrSize; ++I) {
8852 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8854 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8856 if (!this->emitInitElem(*ElemT, I, E))
8860 for (
unsigned I = 0; I != ArrSize; ++I) {
8861 if (!this->emitConstUint32(I, E))
8863 if (!this->emitArrayElemPtrUint32(E))
8865 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8867 if (!this->emitFinishInitPop(E))
8877 const Record *
R = getRecord(DestType);
8881 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8883 const Record::Base *B =
R->getBase(BS.getType());
8885 if (!this->emitGetPtrBase(B->Offset, E))
8887 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
8889 if (!this->emitFinishInitPop(E))
8894 for (
const Record::Field &F :
R->fields()) {
8895 if (F.isUnnamedBitField())
8898 QualType FieldType = F.Decl->getType();
8900 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8902 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
8904 if (F.isBitField()) {
8905 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
8908 if (!this->emitInitField(*FieldT, F.Offset, E))
8912 if (!this->emitGetPtrField(F.Offset, E))
8914 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
8916 if (!this->emitPopPtr(E))
8929template <
class Emitter>
8930unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
8933 return VT->getNumElements();
8935 return MT->getNumElementsFlattened();
8939 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
8943 const Record *
R = getRecord(Ty);
8947 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8949 Count += countHLSLFlatElements(BS.getType());
8951 for (
const Record::Field &F :
R->fields()) {
8952 if (F.isUnnamedBitField())
8954 Count += countHLSLFlatElements(F.Decl->getType());
8959 if (canClassify(Ty))
8968template <
class Emitter>
8969bool Compiler<Emitter>::emitHLSLFlattenAggregate(
8970 QualType SrcType,
unsigned SrcOffset,
8975 auto saveToLocal = [&](
PrimType T) ->
bool {
8976 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
8977 if (!this->emitSetLocal(
T, Offset, E))
8979 Elements.push_back({Offset,
T});
8985 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
8986 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
8987 return std::nullopt;
8992 unsigned NumElems = 0;
8995 NumElems = VT->getNumElements();
8996 ElemType = VT->getElementType();
8998 NumElems = MT->getNumElementsFlattened();
8999 ElemType = MT->getElementType();
9002 PrimType ElemT = classifyPrim(ElemType);
9003 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9004 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9006 if (!this->emitArrayElemPop(ElemT, I, E))
9008 if (!saveToLocal(ElemT))
9018 QualType ArrElemType = CAT->getElementType();
9019 unsigned ArrSize = CAT->getZExtSize();
9022 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9023 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9025 if (!this->emitArrayElemPop(*ElemT, I, E))
9027 if (!saveToLocal(*ElemT))
9031 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9032 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9034 if (!this->emitConstUint32(I, E))
9036 if (!this->emitArrayElemPtrPopUint32(E))
9041 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9052 const Record *
R = getRecord(SrcType);
9056 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9058 if (Elements.size() >= MaxElements)
9060 const Record::Base *B =
R->getBase(BS.getType());
9062 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9064 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9069 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9075 for (
const Record::Field &F :
R->fields()) {
9076 if (Elements.size() >= MaxElements)
9078 if (F.isUnnamedBitField())
9081 QualType FieldType = F.Decl->getType();
9082 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9084 if (!this->emitGetPtrFieldPop(F.Offset, E))
9088 if (!this->emitLoadPop(*FieldT, E))
9090 if (!saveToLocal(*FieldT))
9094 if (!FieldPtrOffset)
9096 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9112template <
class Emitter>
9113bool Compiler<Emitter>::emitHLSLConstructAggregate(
9119 const auto &Src = Elements[ElemIdx++];
9120 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9122 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9126 unsigned NumElems = 0;
9129 NumElems = VT->getNumElements();
9130 ElemType = VT->getElementType();
9132 NumElems = MT->getNumElementsFlattened();
9133 ElemType = MT->getElementType();
9136 PrimType DestElemT = classifyPrim(ElemType);
9137 for (
unsigned I = 0; I != NumElems; ++I) {
9138 if (!loadAndCast(DestElemT, ElemType))
9140 if (!this->emitInitElem(DestElemT, I, E))
9150 QualType ArrElemType = CAT->getElementType();
9151 unsigned ArrSize = CAT->getZExtSize();
9154 for (
unsigned I = 0; I != ArrSize; ++I) {
9155 if (!loadAndCast(*ElemT, ArrElemType))
9157 if (!this->emitInitElem(*ElemT, I, E))
9161 for (
unsigned I = 0; I != ArrSize; ++I) {
9162 if (!this->emitConstUint32(I, E))
9164 if (!this->emitArrayElemPtrUint32(E))
9166 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9168 if (!this->emitFinishInitPop(E))
9178 const Record *
R = getRecord(DestType);
9182 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9184 const Record::Base *B =
R->getBase(BS.getType());
9186 if (!this->emitGetPtrBase(B->Offset, E))
9188 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9190 if (!this->emitFinishInitPop(E))
9195 for (
const Record::Field &F :
R->fields()) {
9196 if (F.isUnnamedBitField())
9199 QualType FieldType = F.Decl->getType();
9201 if (!loadAndCast(*FieldT, FieldType))
9203 if (F.isBitField()) {
9204 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9207 if (!this->emitInitField(*FieldT, F.Offset, E))
9211 if (!this->emitGetPtrField(F.Offset, E))
9213 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9215 if (!this->emitPopPtr(E))
static void emit(Program &P, llvm::SmallVectorImpl< std::byte > &Code, const T &Val, bool &Success)
Helper to write bytecode and bail out if 32-bit offsets become invalid.
static void emitCleanup(CIRGenFunction &cgf, cir::CleanupScopeOp cleanupScope, EHScopeStack::Cleanup *cleanup, EHScopeStack::Cleanup::Flags flags, Address activeFlag)
static uint32_t getBitWidth(const Expr *E)
#define EMIT_ARITH_OP(OP)
static CharUnits AlignOfType(QualType T, const ASTContext &ASTCtx, UnaryExprOrTypeTrait Kind)
static const Expr * stripDerivedToBaseCasts(const Expr *E)
static const Expr * stripCheckedDerivedToBaseCasts(const Expr *E)
static bool hasTrivialDefaultCtorParent(const FieldDecl *FD)
static bool initNeedsOverridenLoc(const CXXCtorInitializer *Init)
Result
Implement __builtin_bit_cast and related operations.
llvm::SmallPtrSet< const ParmVarDecl *, 1 > FoundParams
bool VisitDeclRefExpr(const DeclRefExpr *E) override
a trap message and trap category.
llvm::APInt getValue() const
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const LValueBase getLValueBase() const
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
APValue & getStructField(unsigned i)
const FieldDecl * getUnionField() const
unsigned getStructNumFields() const
APValue & getStructVirtualBase(unsigned i)
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() const
unsigned getStructNumVirtualBases() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
APValue & getArrayFiller()
bool isIndeterminate() const
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
unsigned getArraySize() const
@ None
There is no such object (it's outside its lifetime).
bool isNullPointer() const
APValue & getStructBase(unsigned i)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
unsigned getPreferredTypeAlign(QualType T) const
Return the "preferred" alignment of the specified type T for the current target, in bits.
const LangOptions & getLangOpts() const
unsigned getOpenMPDefaultSimdAlign(QualType T) const
Get default simd alignment of the specified complete type in bits.
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
llvm::FixedPointSemantics getFixedPointSemantics(QualType Ty) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Expr * getCond() const
getCond - Return the expression representing the condition for the ?
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
llvm::APInt getArraySize() const
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
uint64_t getValue() const
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
Attr - This represents one attribute.
Represents an attribute applied to a statement.
ArrayRef< const Attr * > getAttrs() const
Represents a C++ declaration that introduces decls from somewhere else.
A builtin binary operation expression such as "x + y" or "x <= y".
static bool isLogicalOp(Opcode Opc)
static bool isComparisonOp(Opcode Opc)
static bool isShiftOp(Opcode Opc)
static bool isCommaOp(Opcode Opc)
static Opcode getOpForCompoundAssignment(Opcode Opc)
static bool isPtrMemOp(Opcode Opc)
predicates to categorize the respective opcodes.
static bool isAssignmentOp(Opcode Opc)
static bool isCompoundAssignmentOp(Opcode Opc)
static bool isBitwiseOp(Opcode Opc)
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
Represents a base class of a C++ class.
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
A boolean literal, per ([C++ lex.bool] Boolean literals).
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
Represents a C++ base or member initializer.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents the code generated for an expanded expansion statement.
ArrayRef< Stmt * > getInstantiations() const
ArrayRef< Stmt * > getPreambleStmts() const
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
DeclStmt * getBeginStmt()
DeclStmt * getLoopVarStmt()
DeclStmt * getRangeStmt()
Represents a call to an inherited base class constructor from an inheriting constructor.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will call.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
bool isLambdaStaticInvoker() const
Determine whether this is a lambda closure type's static member function that is used for the result ...
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
Expr * getPlacementArg(unsigned I)
unsigned getNumPlacementArgs() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ struct/union/class.
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
capture_const_range captures() const
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
A rewritten comparison expression that was originally written using operator syntax.
Expr * getSemanticForm()
Get an equivalent semantic form for this expression.
An expression "T()" which creates an rvalue of a non-class type T.
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
const Expr * getSubExpr() const
CXXTryStmt - A C++ try block, including all handlers.
CompoundStmt * getTryBlock()
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
QualType getTypeOperand(const ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Expr * getExprOperand() const
bool isPotentiallyEvaluated() const
Determine whether this typeid has a type operand which is potentially evaluated, per C++11 [expr....
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
MSGuidDecl * getGuidDecl() const
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this call.
Expr ** getArgs()
Retrieve the call arguments.
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
CaseStmt - Represent a case statement.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
path_iterator path_begin()
CastKind getCastKind() const
llvm::iterator_range< path_iterator > path()
Path through the class hierarchy taken by casts between base and derived classes (see implementation ...
const FieldDecl * getTargetUnionField() const
CharUnits - This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, void *&InsertPos)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
Expr * getResultExpr()
Return the result expression of this controlling expression.
IfStmt - This represents an if/then/else.
bool isNonNegatedConsteval() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
const Expr * getSubExpr() const
Represents an implicitly-generated value initialization of an object of a given type.
Represents a field injected from an anonymous union/struct into the parent scope.
Describes an C or C++ initializer list.
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument for this lambda expression (which initializes the first ca...
CXXRecordDecl * getLambdaClass() const
Retrieve the class that corresponds to the lambda.
bool isCompatibleWith(ClangABI Version) const
Implicit declaration of a temporary that was materialized by a MaterializeTemporaryExpr and lifetime-...
const Stmt * getNamedLoopOrSwitch() const
If this is a named break/continue, get the loop or switch statement that this targets.
APValue & getAsAPValue() const
Get the value of this MSGuidDecl as an APValue.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
StorageDuration getStorageDuration() const
Retrieve the storage duration for the materialized temporary.
Expr * getSubExpr() const
Retrieve the temporary-generating subexpression whose value will be materialized into a glvalue.
ValueDecl * getExtendingDecl()
Get the declaration which triggered the lifetime-extension of this temporary, if any.
LifetimeExtendedTemporaryDecl * getLifetimeExtendedTemporaryDecl()
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
A pointer to member type per C++ 8.3.3 - Pointers to members.
This represents a decl that may have a name.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Represents a C++ namespace alias.
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
ObjCBoxedExpr - used for generalized expression boxing.
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
ObjCEncodeExpr, used for @encode in Objective-C.
QualType getEncodedType() const
SourceLocation getAtLoc() const
bool isExpressibleAsConstantInitializer() const
ObjCStringLiteral, used for Objective-C string literals i.e.
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Expr * getIndexExpr(unsigned Idx)
const OffsetOfNode & getComponent(unsigned Idx) const
unsigned getNumComponents() const
Helper class for OffsetOfExpr.
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
@ Array
An index into an array.
Kind getKind() const
Determine what kind of offsetof node this is.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Expr * getSourceExpr() const
The source expression of an opaque value expression is the expression which originally generated the ...
Expr * getSelectedExpr() const
ParenExpr - This represents a parenthesized expression, e.g.
const Expr * getSubExpr() const
Represents a parameter to a function.
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
[C99 6.4.2.2] - A predefined identifier such as func.
StringLiteral * getFunctionName()
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Expr * getResultExpr()
Return the result-bearing expression, or null if there is none.
ArrayRef< Expr * > semantics()
A (possibly-)qualified type.
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
QualType withConst() const
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
bool isConstant(const ASTContext &Ctx) const
bool isConstQualified() const
Determine whether this type is const-qualified.
Represents a struct/union/class.
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
Base for LValueReferenceType and RValueReferenceType.
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
bool isSatisfied() const
Whether or not the requires clause is satisfied.
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
SourceLocation getLocation() const
std::string ComputeName(ASTContext &Context) const
Scope - A scope is a transient data structure that is used while parsing the program.
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
llvm::APSInt getShuffleMaskIdx(unsigned N) const
unsigned getNumSubExprs() const
getNumSubExprs - Return the size of the SubExprs array.
Expr * getExpr(unsigned Index)
getExpr - Return the Expr at the specified index.
Represents an expression that computes the length of a parameter pack.
unsigned getPackLength() const
Retrieve the length of the parameter pack.
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
APValue EvaluateInContext(const ASTContext &Ctx, const Expr *DefaultExpr) const
Return the result of evaluating this SourceLocExpr in the specified (and possibly null) default argum...
Represents a C++11 static_assert declaration.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
CompoundStmt * getSubStmt()
bool Visit(PTR(Stmt) S, ParamTys... P)
Stmt - This represents one statement.
StmtClass getStmtClass() const
StringLiteral - This represents a string literal expression, e.g.
unsigned getLength() const
static StringLiteral * Create(const ASTContext &Ctx, StringRef Str, StringLiteralKind Kind, bool Pascal, QualType Ty, ArrayRef< SourceLocation > Locs)
This is the "fully general" constructor that allows representation of strings formed from one or more...
uint32_t getCodeUnit(size_t i) const
unsigned getCharByteWidth() const
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Expr * getReplacement() const
const SwitchCase * getNextSwitchCase() const
SwitchStmt - This represents a 'switch' stmt.
VarDecl * getConditionVariable()
Retrieve the variable declared in this "switch" statement, if any.
SwitchCase * getSwitchCaseList()
DeclStmt * getConditionVariableDeclStmt()
If this SwitchStmt has a condition variable, return the faux DeclStmt associated with the creation of...
Represents the declaration of a struct/union/class/enum.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
A template argument list.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
bool getBoolValue() const
const APValue & getAPValue() const
bool isStoredAsBoolean() const
The base class of the type hierarchy.
bool isBooleanType() const
bool isLiteralType(const ASTContext &Ctx) const
Return true if this is a literal type (C++11 [basic.types]p10)
bool isIncompleteArrayType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isVoidPointerType() const
bool isConstantSizeType() const
Return true if this is not a variable sized type, according to the rules of C99 6....
bool isFunctionPointerType() const
bool isConstantMatrixType() const
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isEnumeralType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isAnyComplexType() const
bool isFixedPointType() const
Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isMemberPointerType() const
bool isAtomicType() const
EnumDecl * castAsEnumDecl() const
bool isStdByteType() const
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isPointerOrReferenceType() const
bool isFunctionType() const
bool isVectorType() const
bool isRealFloatingType() const
Floating point categories.
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
bool isFloatingType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
bool isSizelessVectorType() const
Returns true for all scalable vector types.
Base class for declarations which introduce a typedef-name.
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
QualType getArgumentType() const
QualType getTypeOfArgument() const
Gets the argument type, or the type of the argument expression, whichever is appropriate.
bool isArgumentType() const
UnaryExprOrTypeTrait getKind() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Expr * getSubExpr() const
bool canOverflow() const
Returns true if the unary operator can cause an overflow.
Represents C++ using-directive.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
bool isWeak() const
Determine whether this symbol is weakly-imported, or declared with the weak or weak-ref attr.
Represents a variable declaration or definition.
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
bool isStaticDataMember() const
Determines whether this is a static data member.
bool hasGlobalStorage() const
Returns true for all variables that do not have local storage.
bool hasConstantInitialization() const
Determine whether this variable has constant initialization.
bool isStaticLocal() const
Returns true if a variable with function scope is a static local variable.
const Expr * getInit() const
const APValue * evaluateValue() const
Attempt to evaluate the value of the initializer attached to this declaration, and produce notes expl...
bool isLocalVarDecl() const
Returns true for local variable declarations other than parameters.
const Expr * getAnyInitializer() const
Get the initializer for this variable, no matter which declaration it is attached to.
Represents a GCC generic vector type.
unsigned getNumElements() const
QualType getElementType() const
WhileStmt - This represents a 'while' stmt.
DeclStmt * getConditionVariableDeclStmt()
If this WhileStmt has a condition variable, return the faux DeclStmt associated with the creation of ...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "while" statement, if any.
ArrayIndexScope(Compiler< Emitter > *Ctx, uint64_t Index)
A memory block, either on the stack or in the heap.
void invokeDtor()
Invokes the Destructor.
Compilation context for expressions.
llvm::SmallVector< InitLink > InitStack
bool VisitArrayInitIndexExpr(const ArrayInitIndexExpr *E)
bool VisitCXXDeleteExpr(const CXXDeleteExpr *E)
bool VisitOffsetOfExpr(const OffsetOfExpr *E)
bool visitContinueStmt(const ContinueStmt *S)
bool VisitCharacterLiteral(const CharacterLiteral *E)
bool visitArrayElemInit(unsigned ElemIndex, const Expr *Init, OptPrimType InitT)
Pointer to the array(not the element!) must be on the stack when calling this.
UnsignedOrNone allocateLocal(DeclTy &&Decl, QualType Ty=QualType(), ScopeKind=ScopeKind::Block)
Allocates a space storing a local given its type.
bool VisitCXXParenListInitExpr(const CXXParenListInitExpr *E)
bool VisitConceptSpecializationExpr(const ConceptSpecializationExpr *E)
bool visitInitializerPop(const Expr *E)
Similar, but will also pop the pointer.
bool VisitCompoundLiteralExpr(const CompoundLiteralExpr *E)
bool visitBool(const Expr *E)
Visits an expression and converts it to a boolean.
bool VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *E)
PrimType classifyPrim(QualType Ty) const
Classifies a known primitive type.
bool VisitTypeTraitExpr(const TypeTraitExpr *E)
bool VisitLambdaExpr(const LambdaExpr *E)
bool VisitMemberExpr(const MemberExpr *E)
llvm::DenseMap< const OpaqueValueExpr *, unsigned > OpaqueExprs
OpaqueValueExpr to location mapping.
bool VisitBinaryOperator(const BinaryOperator *E)
bool visitCXXExpansionStmtInstantiation(const CXXExpansionStmtInstantiation *S)
template for (auto x : {1, 2}) {}
bool visitAttributedStmt(const AttributedStmt *S)
bool VisitPackIndexingExpr(const PackIndexingExpr *E)
bool VisitArraySubscriptExpr(const ArraySubscriptExpr *E)
bool VisitCallExpr(const CallExpr *E)
std::optional< uint64_t > ArrayIndex
Current argument index. Needed to emit ArrayInitIndexExpr.
bool VisitPseudoObjectExpr(const PseudoObjectExpr *E)
bool VisitCXXReinterpretCastExpr(const CXXReinterpretCastExpr *E)
bool visitAPValueInitializer(const APValue &Val, SourceInfo Info, QualType T, bool IsCompleteClass=true)
const Function * getFunction(const FunctionDecl *FD)
Returns a function for the given FunctionDecl.
bool VisitFixedPointBinOp(const BinaryOperator *E)
bool VisitCastExpr(const CastExpr *E)
bool VisitObjCEncodeExpr(const ObjCEncodeExpr *E)
bool VisitFixedPointUnaryOperator(const UnaryOperator *E)
unsigned allocateLocalPrimitive(DeclTy &&Decl, PrimType Ty, bool IsConst, bool IsVolatile=false, ScopeKind SC=ScopeKind::Block)
Creates a local primitive value.
bool VisitComplexUnaryOperator(const UnaryOperator *E)
llvm::DenseMap< const SwitchCase *, LabelTy > CaseMap
bool VisitBlockExpr(const BlockExpr *E)
bool VisitCXXScalarValueInitExpr(const CXXScalarValueInitExpr *E)
bool VisitLogicalBinOp(const BinaryOperator *E)
bool visitCompoundStmt(const CompoundStmt *S)
Context & Ctx
Current compilation context.
const VarDecl * InitializingDecl
bool visitDeclRef(const ValueDecl *D, const Expr *E)
Visit the given decl as if we have a reference to it.
bool visitBreakStmt(const BreakStmt *S)
bool visitExpr(const Expr *E, bool DestroyToplevelScope) override
bool visitForStmt(const ForStmt *S)
bool VisitDeclRefExpr(const DeclRefExpr *E)
bool VisitOpaqueValueExpr(const OpaqueValueExpr *E)
bool VisitArrayInitLoopExpr(const ArrayInitLoopExpr *E)
bool visitAPValue(const APValue &Val, PrimType ValType, SourceInfo Info)
Visit an APValue.
bool VisitStmtExpr(const StmtExpr *E)
bool VisitBuiltinBitCastExpr(const BuiltinBitCastExpr *E)
bool VisitFixedPointLiteral(const FixedPointLiteral *E)
const FunctionDecl * CompilingFunction
bool VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E)
VarCreationState visitVarDecl(const VarDecl *VD, const Expr *Init, bool Toplevel=false)
Creates and initializes a variable from the given decl.
VariableScope< Emitter > * VarScope
Current scope.
bool visitDeclAndReturn(const VarDecl *VD, const Expr *Init, bool ConstantContext) override
Toplevel visitDeclAndReturn().
bool VisitCXXNewExpr(const CXXNewExpr *E)
bool VisitCompoundAssignOperator(const CompoundAssignOperator *E)
bool visit(const Expr *E) override
Evaluates an expression and places the result on the stack.
bool delegate(const Expr *E)
Just pass evaluation on to E.
bool visitLValueExpr(const Expr *E, bool DestroyToplevelScope) override
bool discard(const Expr *E)
Evaluates an expression for side effects and discards the result.
bool VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *E)
CaseMap CaseLabels
Switch case mapping.
Record * getRecord(QualType Ty)
Returns a record from a record or pointer type.
const RecordType * getRecordTy(QualType Ty)
Returns a record type from a record or pointer type.
bool VisitCXXStdInitializerListExpr(const CXXStdInitializerListExpr *E)
bool visitInitList(ArrayRef< const Expr * > Inits, const Expr *ArrayFiller, const Expr *E)
bool VisitSizeOfPackExpr(const SizeOfPackExpr *E)
bool VisitPredefinedExpr(const PredefinedExpr *E)
bool VisitSourceLocExpr(const SourceLocExpr *E)
bool visitDeclStmt(const DeclStmt *DS, bool EvaluateConditionDecl=false)
bool emitCleanup()
Emits scope cleanup instructions.
bool VisitExtVectorElementExpr(const ExtVectorElementExpr *E)
bool VisitObjCStringLiteral(const ObjCStringLiteral *E)
bool VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *E)
bool visitInitializer(const Expr *E)
Compiles an initializer.
bool visitDtorCall(const VarDecl *VD, const APValue &Value) override
const Expr * SourceLocDefaultExpr
DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.
bool VisitObjCArrayLiteral(const ObjCArrayLiteral *E)
UnsignedOrNone OptLabelTy
bool VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *E)
bool VisitPointerArithBinOp(const BinaryOperator *E)
Perform addition/subtraction of a pointer and an integer or subtraction of two pointers.
bool visitCallArgs(ArrayRef< const Expr * > Args, const FunctionDecl *FuncDecl, bool Activate, bool IsOperatorCall)
bool VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *E)
bool visitDefaultStmt(const DefaultStmt *S)
bool VisitObjCDictionaryLiteral(const ObjCDictionaryLiteral *E)
bool visitWithSubstitutions(const FunctionDecl *Callee, ArrayRef< const Expr * > Args, const Expr *This, const Expr *Condition) override
Evaluate the Condition as if it was in the body of Callee.
typename Emitter::LabelTy LabelTy
VarCreationState visitDecl(const VarDecl *VD)
bool VisitCXXDynamicCastExpr(const CXXDynamicCastExpr *E)
bool visitStmt(const Stmt *S)
bool VisitExpressionTraitExpr(const ExpressionTraitExpr *E)
bool VisitVectorUnaryOperator(const UnaryOperator *E)
bool VisitCXXConstructExpr(const CXXConstructExpr *E)
bool VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *E)
bool VisitObjCBoxedExpr(const ObjCBoxedExpr *E)
bool VisitDesignatedInitUpdateExpr(const DesignatedInitUpdateExpr *E)
bool VisitCXXInheritedCtorInitExpr(const CXXInheritedCtorInitExpr *E)
bool VisitRecoveryExpr(const RecoveryExpr *E)
bool VisitRequiresExpr(const RequiresExpr *E)
bool Initializing
Flag inidicating if we're initializing an already created variable.
bool visitReturnStmt(const ReturnStmt *RS)
bool VisitCXXThrowExpr(const CXXThrowExpr *E)
bool VisitSubstNonTypeTemplateParmExpr(const SubstNonTypeTemplateParmExpr *E)
bool VisitChooseExpr(const ChooseExpr *E)
bool visitFunc(const FunctionDecl *F) override
bool visitCXXForRangeStmt(const CXXForRangeStmt *S)
bool visitCaseStmt(const CaseStmt *S)
bool VisitComplexBinOp(const BinaryOperator *E)
llvm::DenseMap< const ValueDecl *, Scope::Local > Locals
Variable to storage mapping.
bool VisitAbstractConditionalOperator(const AbstractConditionalOperator *E)
bool VisitCXXTypeidExpr(const CXXTypeidExpr *E)
UnsignedOrNone allocateTemporary(const Expr *E)
bool VisitBuiltinCallExpr(const CallExpr *E, unsigned BuiltinID)
bool VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E)
bool VisitCXXRewrittenBinaryOperator(const CXXRewrittenBinaryOperator *E)
OptPrimType ReturnType
Type of the expression returned by the function.
bool VisitUnaryOperator(const UnaryOperator *E)
bool VisitFloatCompoundAssignOperator(const CompoundAssignOperator *E)
OptPrimType classify(const Expr *E) const
llvm::SmallVector< LabelInfo > LabelInfoStack
Stack of label information for loops and switch statements.
bool VisitGenericSelectionExpr(const GenericSelectionExpr *E)
bool visitDoStmt(const DoStmt *S)
bool VisitIntegerLiteral(const IntegerLiteral *E)
bool VisitInitListExpr(const InitListExpr *E)
bool VisitVectorBinOp(const BinaryOperator *E)
bool VisitStringLiteral(const StringLiteral *E)
bool VisitParenExpr(const ParenExpr *E)
bool VisitCXXNoexceptExpr(const CXXNoexceptExpr *E)
bool VisitShuffleVectorExpr(const ShuffleVectorExpr *E)
bool VisitPointerCompoundAssignOperator(const CompoundAssignOperator *E)
bool DiscardResult
Flag indicating if return value is to be discarded.
bool VisitEmbedExpr(const EmbedExpr *E)
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 VarDecl *VD)
Wrapper around fixed point types.
static FixedPoint zero(llvm::FixedPointSemantics Sem)
If a Floating is constructed from Memory, it DOES NOT OWN THAT MEMORY.
bool hasThisPointer() const
bool hasRVO() const
Checks if the first argument is a RVO pointer.
InitLinkScope(Compiler< Emitter > *Ctx, InitLink &&Link)
Compiler< Emitter > * Ctx
InitStackScope(Compiler< Emitter > *Ctx, bool Active)
When generating code for e.g.
LocOverrideScope(Compiler< Emitter > *Ctx, SourceInfo NewValue, bool Enabled=true)
Generic scope for local variables.
UnsignedOrNone Idx
Index of the scope in the chain.
~LocalScope() override
Emit a Destroy op for this scope.
bool destroyLocals(const Expr *E=nullptr) override
Explicit destruction of local variables.
bool emitDestructors(const Expr *E=nullptr) override
void removeIfStoredOpaqueValue(const Scope::Local &Local)
void addLocal(Scope::Local Local) override
void removeStoredOpaqueValues()
void forceInit() override
Force-initialize this scope.
LocalScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
Sets the context for break/continue statements.
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
LoopScope(Compiler< Emitter > *Ctx, const Stmt *Name, LabelTy BreakLabel, LabelTy ContinueLabel)
PrimType value_or(PrimType PT) const
Scope used to handle initialization methods.
OptionScope(Compiler< Emitter > *Ctx, bool NewDiscardResult, bool NewInitializing, bool NewToLValue)
Root constructor, compiling or discarding primitives.
Context to manage declaration lifetimes.
Structure/Class descriptor.
bool isUnion() const
Checks if the record is a union.
const Field * getField(unsigned I) const
const Base * getBaseOrNull(const RecordDecl *RD) const
bool hasTrivialDtor() const
Returns true for anonymous unions and records with no destructor or for those with a trivial destruct...
const Base * getVirtualBase(unsigned I) const
Describes the statement/declaration an opcode was generated from.
const Expr * asExpr() const
SourceLocScope(Compiler< Emitter > *Ctx, const Expr *DefaultExpr)
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
typename Compiler< Emitter >::CaseMap CaseMap
SwitchScope(Compiler< Emitter > *Ctx, const Stmt *Name, CaseMap &&CaseLabels, LabelTy BreakLabel, OptLabelTy DefaultLabel)
Scope chain managing the variable lifetimes.
void addForScopeKind(const Scope::Local &Local, ScopeKind Kind)
Like addExtended, but adds to the nearest scope of the given kind.
bool LocalsAlwaysEnabled
Whether locals added to this scope are enabled by default.
Compiler< Emitter > * Ctx
Compiler instance.
virtual bool emitDestructors(const Expr *E=nullptr)
VariableScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
virtual bool destroyLocals(const Expr *E=nullptr)
virtual void addLocal(Scope::Local Local)
VariableScope * Parent
Link to the parent scope.
ScopeKind getKind() const
VariableScope * getParent() const
bool Sub(InterpState &S, CodePtr OpPC)
bool LT(InterpState &S, CodePtr OpPC)
static llvm::RoundingMode getRoundingMode(FPOptions FPO)
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
@ SD_Static
Static storage duration.
@ SD_FullExpression
Full-expression storage duration (for temporaries).
@ Result
The result type of a method or function.
OptionalUnsigned< unsigned > UnsignedOrNone
const FunctionProtoType * T
U cast(CodeGen::Address addr)
int const char * function
__packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 __packed_splat2 __packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 uint32_t
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()