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 this->
Ctx->OpaqueExprs.erase(OVE);
220 OldArrayIndex = Ctx->ArrayIndex;
221 Ctx->ArrayIndex = Index;
228 std::optional<uint64_t> OldArrayIndex;
236 if (!Ctx->SourceLocDefaultExpr) {
238 Ctx->SourceLocDefaultExpr = DefaultExpr;
244 Ctx->SourceLocDefaultExpr =
nullptr;
249 bool Enabled =
false;
255 Ctx->InitStack.push_back(std::move(
Link));
267 : Ctx(Ctx), OldValue(Ctx->InitStackActive), Active(Active) {
268 Ctx->InitStackActive = Active;
274 this->Ctx->InitStackActive = OldValue;
276 Ctx->InitStack.pop_back();
290 OldInitializingDecl(
Ctx->InitializingDecl) {
291 Ctx->InitializingDecl = VD;
296 this->
Ctx->InitializingDecl = OldInitializingDecl;
297 this->
Ctx->InitStack.pop_back();
302 const VarDecl *OldInitializingDecl;
310 bool NewInitializing,
bool NewToLValue)
311 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
312 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
313 Ctx->DiscardResult = NewDiscardResult;
314 Ctx->Initializing = NewInitializing;
315 Ctx->ToLValue = NewToLValue;
319 Ctx->DiscardResult = OldDiscardResult;
320 Ctx->Initializing = OldInitializing;
321 Ctx->ToLValue = OldToLValue;
328 bool OldDiscardResult;
329 bool OldInitializing;
333template <
class Emitter>
337 return Ctx->emitThis(E);
340 return Ctx->emitGetPtrFieldPop(
Offset, E);
342 return Ctx->emitGetPtrBasePop(
Offset,
false, 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))
1539 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1544 return this->emitPop(ExprT, E);
1548template <
class Emitter>
1558 LabelTy LabelTrue = this->getLabel();
1559 LabelTy LabelEnd = this->getLabel();
1563 if (!this->jumpTrue(LabelTrue, E))
1568 if (!this->jump(LabelEnd, E))
1571 this->emitLabel(LabelTrue);
1572 this->emitConstBool(
true, E);
1573 this->fallthrough(LabelEnd);
1574 this->emitLabel(LabelEnd);
1577 assert(Op == BO_LAnd);
1580 LabelTy LabelFalse = this->getLabel();
1581 LabelTy LabelEnd = this->getLabel();
1585 if (!this->jumpFalse(LabelFalse, E))
1590 if (!this->jump(LabelEnd, E))
1593 this->emitLabel(LabelFalse);
1594 this->emitConstBool(
false, E);
1595 this->fallthrough(LabelEnd);
1596 this->emitLabel(LabelEnd);
1600 return this->emitPopBool(E);
1605 return this->emitCast(
PT_Bool, *
T, E);
1609template <
class Emitter>
1616 if (!this->emitGetPtrLocal(*LocalIndex, E))
1625 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1626 unsigned ResultOffset = ~0u;
1632 if (!this->emitDupPtr(E))
1634 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1639 LHSType = AT->getValueType();
1642 RHSType = AT->getValueType();
1651 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1656 if (!this->
visit(LHS))
1658 if (!this->
visit(RHS))
1660 if (!this->emitMulc(ElemT, E))
1663 return this->emitPopPtr(E);
1667 if (Op == BO_Div && RHSIsComplex) {
1674 if (!LHSIsComplex) {
1679 LHSOffset = *LocalIndex;
1681 if (!this->emitGetPtrLocal(LHSOffset, E))
1684 if (!this->
visit(LHS))
1687 if (!this->emitInitElem(ElemT, 0, E))
1690 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1692 if (!this->emitInitElem(ElemT, 1, E))
1695 if (!this->
visit(LHS))
1699 if (!this->
visit(RHS))
1701 if (!this->emitDivc(ElemT, E))
1704 return this->emitPopPtr(E);
1711 if (!this->
visit(LHS))
1713 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1718 if (!this->
visit(LHS))
1720 if (!this->emitSetLocal(LHST, LHSOffset, E))
1728 if (!this->
visit(RHS))
1730 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1735 if (!this->
visit(RHS))
1737 if (!this->emitSetLocal(RHST, RHSOffset, E))
1744 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1745 unsigned ElemIndex,
unsigned Offset,
1746 const Expr *E) ->
bool {
1748 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1750 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1753 if (ElemIndex == 0 || !LoadZero)
1760 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1763 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1770 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1773 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1776 if (!this->emitAddf(getFPOptions(E), E))
1779 if (!this->emitAdd(ResultElemT, E))
1784 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1787 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1790 if (!this->emitSubf(getFPOptions(E), E))
1793 if (!this->emitSub(ResultElemT, E))
1798 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1801 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1805 if (!this->emitMulf(getFPOptions(E), E))
1808 if (!this->emitMul(ResultElemT, E))
1813 assert(!RHSIsComplex);
1814 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1817 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1821 if (!this->emitDivf(getFPOptions(E), E))
1824 if (!this->emitDiv(ResultElemT, E))
1835 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1838 if (!this->emitPop(ResultElemT, E))
1843 return this->emitPopPtr(E);
1849template <
class Emitter>
1854 "Comma op should be handled in VisitBinaryOperator");
1868 if (!this->emitGetPtrLocal(*LocalIndex, E))
1882 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1885 if (!this->
visit(LHS))
1887 if (!this->
visit(RHS))
1889 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1892 return this->emitPopPtr(E);
1897 unsigned LHSOffset =
1899 if (!this->
visit(LHS))
1901 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1905 unsigned RHSOffset =
1907 if (!this->
visit(RHS))
1909 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1921 if (NeedIntPromot) {
1923 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1928 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1929 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1931 if (!this->emitArrayElemPop(ElemT, Index, E))
1934 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1936 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1938 }
else if (NeedIntPromot) {
1939 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1945#define EMIT_ARITH_OP(OP) \
1947 if (ElemT == PT_Float) { \
1948 if (!this->emit##OP##f(getFPOptions(E), E)) \
1951 if (!this->emit##OP(ElemT, E)) \
1957 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1958 if (!getElem(LHSOffset, ElemT, I))
1960 if (!getElem(RHSOffset, RHSElemT, I))
1972 if (!this->emitRem(ElemT, E))
1976 if (!this->emitBitAnd(OpT, E))
1980 if (!this->emitBitOr(OpT, E))
1984 if (!this->emitBitXor(OpT, E))
1988 if (!this->emitShl(OpT, RHSElemT, E))
1992 if (!this->emitShr(OpT, RHSElemT, E))
1996 if (!this->emitEQ(ElemT, E))
2000 if (!this->emitNE(ElemT, E))
2004 if (!this->emitLE(ElemT, E))
2008 if (!this->emitLT(ElemT, E))
2012 if (!this->emitGE(ElemT, E))
2016 if (!this->emitGT(ElemT, E))
2021 if (!this->emitBitAnd(ResultElemT, E))
2026 if (!this->emitBitOr(ResultElemT, E))
2030 return this->emitInvalid(E);
2039 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2041 if (!this->emitNeg(ResultElemT, E))
2047 if (NeedIntPromot &&
2048 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2052 if (!this->emitInitElem(ResultElemT, I, E))
2061template <
class Emitter>
2071 auto LHSSemaInt = LHSSema.toOpaqueInt();
2073 auto RHSSemaInt = RHSSema.toOpaqueInt();
2075 if (!this->
visit(LHS))
2083 if (!this->
visit(RHS))
2092 auto ConvertResult = [&](
bool R) ->
bool {
2096 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2097 if (ResultSema != CommonSema)
2098 return this->emitCastFixedPoint(ResultSema, E);
2102 auto MaybeCastToBool = [&](
bool Result) {
2107 return this->emitPop(
T, E);
2109 return this->emitCast(
PT_Bool,
T, E);
2115 return MaybeCastToBool(this->emitEQFixedPoint(E));
2117 return MaybeCastToBool(this->emitNEFixedPoint(E));
2119 return MaybeCastToBool(this->emitLTFixedPoint(E));
2121 return MaybeCastToBool(this->emitLEFixedPoint(E));
2123 return MaybeCastToBool(this->emitGTFixedPoint(E));
2125 return MaybeCastToBool(this->emitGEFixedPoint(E));
2127 return ConvertResult(this->emitAddFixedPoint(E));
2129 return ConvertResult(this->emitSubFixedPoint(E));
2131 return ConvertResult(this->emitMulFixedPoint(E));
2133 return ConvertResult(this->emitDivFixedPoint(E));
2135 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2137 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2140 return this->emitInvalid(E);
2143 llvm_unreachable(
"unhandled binop opcode");
2146template <
class Emitter>
2155 if (!this->
visit(SubExpr))
2157 if (!this->emitNegFixedPoint(E))
2160 return this->emitPopFixedPoint(E);
2166 llvm_unreachable(
"Unhandled unary opcode");
2169template <
class Emitter>
2178 return this->visitZeroInitializer(*
T, QT, E);
2191 return this->visitZeroRecordInitializer(R, E);
2198 return this->visitZeroArrayInitializer(QT, E);
2202 QualType ElemQT = ComplexTy->getElementType();
2204 for (
unsigned I = 0; I < 2; ++I) {
2205 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2207 if (!this->emitInitElem(ElemT, I, E))
2214 unsigned NumVecElements = VecT->getNumElements();
2215 QualType ElemQT = VecT->getElementType();
2218 for (
unsigned I = 0; I < NumVecElements; ++I) {
2219 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2221 if (!this->emitInitElem(ElemT, I, E))
2228 unsigned NumElems = MT->getNumElementsFlattened();
2229 QualType ElemQT = MT->getElementType();
2232 for (
unsigned I = 0; I != NumElems; ++I) {
2233 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2235 if (!this->emitInitElem(ElemT, I, E))
2244template <
class Emitter>
2257 for (
const Expr *SubExpr : {LHS, RHS}) {
2258 if (!this->
visit(SubExpr)) {
2265 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2266 if (!this->emitExpandPtr(E))
2277 return this->emitError(E);
2280 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2284 if (!this->emitArrayElemPtrPop(*IndexT, E))
2287 return this->emitPopPtr(E);
2293 return this->emitLoadPop(*
T, E);
2296template <
class Emitter>
2298 const Expr *ArrayFiller,
const Expr *E) {
2303 QT = AT->getValueType();
2306 if (
Inits.size() == 0)
2308 return this->emitInvalid(E);
2323 if (
Inits.size() == 0)
2324 return this->visitZeroInitializer(*
T, QT, E);
2325 assert(
Inits.size() == 1);
2338 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2345 bool BitField = FieldToInit->isBitField();
2347 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2348 FieldToInit->bitWidth(), E);
2350 return this->emitInitBitField(
T, FieldToInit->Offset,
2351 FieldToInit->bitWidth(), E);
2353 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2354 return this->emitInitField(
T, FieldToInit->Offset, E);
2357 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2365 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2368 if (
Activate && !this->emitActivate(E))
2375 if (
Inits.size() == 0) {
2376 if (!this->visitZeroRecordInitializer(R, E))
2381 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2382 FToInit = ILE->getInitializedFieldInUnion();
2386 const Record::Field *FieldToInit = R->getField(FToInit);
2388 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2391 if (!initCompositeField(FieldToInit,
Init,
true))
2395 return this->emitFinishInit(E);
2398 assert(!R->isUnion());
2399 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2401 const Record::Base *B = R->getBase(BI);
2404 if (!this->emitGetPtrBase(B->Offset,
Init))
2410 unsigned FieldIndex = 0;
2411 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2412 const Record::Field *FieldToInit = R->getField(FieldIndex);
2413 if (FieldToInit->isUnnamedBitField()) {
2428 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2430 }
else if (!initCompositeField(FieldToInit,
Init)) {
2438 assert(R->getNumVirtualBases() == 0);
2440 return this->emitFinishInit(E);
2445 Ctx.getASTContext().getAsConstantArrayType(QT);
2450 !this->emitCheckArrayDestSize(NumElems, E))
2453 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2457 unsigned ElementIndex = 0;
2459 if (
const auto *EmbedS =
2460 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2468 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2469 getFPOptions(E), E))
2475 return this->emitInitElem(TargetT, ElemIndex, IL);
2477 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2493 for (; ElementIndex != NumElems; ++ElementIndex) {
2499 return this->emitFinishInit(E);
2503 unsigned NumInits =
Inits.size();
2508 QualType ElemQT = ComplexTy->getElementType();
2510 if (NumInits == 0) {
2512 for (
unsigned I = 0; I < 2; ++I) {
2513 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2515 if (!this->emitInitElem(ElemT, I, E))
2518 }
else if (NumInits == 2) {
2519 unsigned InitIndex = 0;
2524 if (!this->emitInitElem(ElemT, InitIndex, E))
2533 unsigned NumVecElements = VecT->getNumElements();
2534 assert(NumVecElements >=
Inits.size());
2536 QualType ElemQT = VecT->getElementType();
2540 unsigned InitIndex = 0;
2547 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2548 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2549 InitVecT->getNumElements(), E))
2551 InitIndex += InitVecT->getNumElements();
2553 if (!this->emitInitElem(ElemT, InitIndex, E))
2559 assert(InitIndex <= NumVecElements);
2562 for (; InitIndex != NumVecElements; ++InitIndex) {
2563 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2565 if (!this->emitInitElem(ElemT, InitIndex, E))
2572 unsigned NumElems = MT->getNumElementsFlattened();
2573 assert(
Inits.size() == NumElems);
2575 QualType ElemQT = MT->getElementType();
2581 for (
unsigned I = 0; I != NumElems; ++I) {
2584 if (!this->emitInitElem(ElemT, I, E))
2595template <
class Emitter>
2602 return this->emitInitElem(*InitT, ElemIndex,
Init);
2608 if (!this->emitConstUint32(ElemIndex,
Init))
2610 if (!this->emitArrayElemPtrUint32(
Init))
2615template <
class Emitter>
2618 bool Activate,
bool IsOperatorCall) {
2620 llvm::BitVector NonNullArgs;
2621 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2624 bool ExplicitMemberFn =
false;
2625 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2626 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2628 unsigned ArgIndex = 0;
2629 for (
const Expr *Arg : Args) {
2631 if (!this->
visit(Arg))
2639 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2640 if (DeclIndex < FuncDecl->getNumParams())
2641 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2650 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2658 if (!this->emitActivate(Arg))
2662 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2665 if (!this->emitCheckNonNullArg(ArgT, Arg))
2676template <
class Emitter>
2681template <
class Emitter>
2687template <
class Emitter>
2693template <
class Emitter>
2711template <
class Emitter>
2713 auto It = E->
begin();
2714 return this->
visit(*It);
2718 UnaryExprOrTypeTrait Kind) {
2719 bool AlignOfReturnsPreferred =
2726 T = Ref->getPointeeType();
2728 if (
T.getQualifiers().hasUnaligned())
2734 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2740template <
class Emitter>
2744 UnaryExprOrTypeTrait Kind = E->
getKind();
2747 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2753 ArgType = Ref->getPointeeType();
2759 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2760 return this->emitInvalid(E);
2762 if (Kind == UETT_SizeOf)
2771 return this->emitConst(Size.getQuantity(), E);
2774 if (Kind == UETT_CountOf) {
2780 if (
const auto *CAT =
2784 return this->emitConst(CAT->getSize(), E);
2794 if (VAT->getElementType()->isArrayType()) {
2795 std::optional<APSInt> Res =
2797 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2802 return this->emitConst(*Res, E);
2807 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2827 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2830 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2840 return this->emitConst(Size.getQuantity(), E);
2843 if (Kind == UETT_VectorElements) {
2848 return this->emitConst(VT->getNumElements(), E);
2850 return this->emitSizelessVectorElementSize(E);
2853 if (Kind == UETT_VecStep) {
2855 unsigned N = VT->getNumElements();
2862 return this->emitConst(N, E);
2864 return this->emitConst(1, E);
2867 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2876 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2878 return this->emitInvalid(E);
2880 return this->emitConst(
2881 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2889template <
class Emitter>
2898 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2901 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2902 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2904 if (
Member->getType()->isReferenceType())
2905 return this->emitLoadPopPtr(E);
2914 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2915 MD && !MD->isStatic()) {
2919 if (!this->
discard(Base) && !this->emitSideEffect(E))
2934 const Record::Field *F = R->getField(FD);
2938 const auto maybeLoadValue = [&]() ->
bool {
2942 return this->emitLoadPop(*
T, E);
2947 if (F->Decl->getType()->isReferenceType())
2948 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2949 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2952template <
class Emitter>
2962template <
class Emitter>
2976 if (!this->
visit(Common))
2978 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
2992 for (
size_t I = 0; I != Size; ++I) {
3004template <
class Emitter>
3019 return this->emitGetLocal(SubExprT, It->second, E);
3022 if (!this->
visit(SourceExpr))
3029 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3038 return this->emitGetLocal(SubExprT, LocalIndex, E);
3042template <
class Emitter>
3055 bool IsBcpCall =
false;
3056 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3057 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3061 LabelTy LabelEnd = this->getLabel();
3062 LabelTy LabelFalse = this->getLabel();
3065 if (!this->emitPushIgnoreDiags(E))
3073 if (this->checkingForUndefinedBehavior()) {
3076 if (!this->
discard(FalseExpr))
3093 if (!this->jumpFalse(LabelFalse, E))
3098 if (!this->jump(LabelEnd, E))
3100 this->emitLabel(LabelFalse);
3104 this->fallthrough(LabelEnd);
3105 this->emitLabel(LabelEnd);
3108 return this->emitPopIgnoreDiags(E);
3112template <
class Emitter>
3118 return this->emitGetStringPtr(E, E);
3122 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3123 assert(CAT &&
"a string literal that's not a constant array?");
3128 unsigned N = std::min(ArraySize, E->
getLength());
3131 for (
unsigned I = 0; I != N; ++I) {
3134 if (CharWidth == 1) {
3135 this->emitConstSint8(CodeUnit, E);
3136 this->emitInitElemSint8(I, E);
3137 }
else if (CharWidth == 2) {
3138 this->emitConstUint16(CodeUnit, E);
3139 this->emitInitElemUint16(I, E);
3140 }
else if (CharWidth == 4) {
3141 this->emitConstUint32(CodeUnit, E);
3142 this->emitInitElemUint32(I, E);
3144 llvm_unreachable(
"unsupported character width");
3149 for (
unsigned I = N; I != ArraySize; ++I) {
3150 if (CharWidth == 1) {
3151 this->emitConstSint8(0, E);
3152 this->emitInitElemSint8(I, E);
3153 }
else if (CharWidth == 2) {
3154 this->emitConstUint16(0, E);
3155 this->emitInitElemUint16(I, E);
3156 }
else if (CharWidth == 4) {
3157 this->emitConstUint32(0, E);
3158 this->emitInitElemUint32(I, E);
3160 llvm_unreachable(
"unsupported character width");
3167template <
class Emitter>
3171 return this->emitDummyPtr(E, E);
3174template <
class Emitter>
3176 auto &A =
Ctx.getASTContext();
3185template <
class Emitter>
3193 auto &A =
Ctx.getASTContext();
3197 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3198 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3204 return this->emitGetStringPtr(SL, E);
3207template <
class Emitter>
3211 return this->emitConst(E->
getValue(), E);
3214template <
class Emitter>
3236 if (!this->emitLoad(LHST, E))
3239 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3240 LHSComputationType, E))
3252 unsigned TempOffset =
3254 if (!this->emitSetLocal(*RT, TempOffset, E))
3260 if (!this->emitLoad(LHST, E))
3264 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3265 LHSComputationType, E))
3269 if (!this->emitGetLocal(*RT, TempOffset, E))
3275 if (!this->emitAddf(getFPOptions(E), E))
3279 if (!this->emitSubf(getFPOptions(E), E))
3283 if (!this->emitMulf(getFPOptions(E), E))
3287 if (!this->emitDivf(getFPOptions(E), E))
3298 return this->emitStorePop(LHST, E);
3299 return this->emitStore(LHST, E);
3302template <
class Emitter>
3311 if (Op != BO_AddAssign && Op != BO_SubAssign)
3320 if (!this->emitLoad(*
LT, LHS))
3326 if (Op == BO_AddAssign) {
3327 if (!this->emitAddOffset(*RT, E))
3330 if (!this->emitSubOffset(*RT, E))
3335 return this->emitStorePopPtr(E);
3336 return this->emitStorePtr(E);
3339template <
class Emitter>
3352 if (!
Ctx.getLangOpts().CPlusPlus14)
3353 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3355 if (!
LT || !RT || !ResultT || !LHSComputationT)
3372 if (!this->emitLoad(*
LT, E))
3374 if (
LT != LHSComputationT &&
3375 !this->emitIntegralCast(*
LT, *LHSComputationT,
3389 unsigned TempOffset =
3392 if (!this->emitSetLocal(*RT, TempOffset, E))
3399 if (!this->emitLoad(*
LT, E))
3401 if (
LT != LHSComputationT &&
3402 !this->emitIntegralCast(*
LT, *LHSComputationT,
3407 if (!this->emitGetLocal(*RT, TempOffset, E))
3414 if (!this->emitAdd(*LHSComputationT, E))
3418 if (!this->emitSub(*LHSComputationT, E))
3422 if (!this->emitMul(*LHSComputationT, E))
3426 if (!this->emitDiv(*LHSComputationT, E))
3430 if (!this->emitRem(*LHSComputationT, E))
3434 if (!this->emitShl(*LHSComputationT, *RT, E))
3438 if (!this->emitShr(*LHSComputationT, *RT, E))
3442 if (!this->emitBitAnd(*LHSComputationT, E))
3446 if (!this->emitBitXor(*LHSComputationT, E))
3450 if (!this->emitBitOr(*LHSComputationT, E))
3454 llvm_unreachable(
"Unimplemented compound assign operator");
3458 if (ResultT != LHSComputationT &&
3459 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3465 return this->emitStoreBitFieldPop(*ResultT, E);
3466 return this->emitStorePop(*ResultT, E);
3469 return this->emitStoreBitField(*ResultT, E);
3470 return this->emitStore(*ResultT, E);
3473template <
class Emitter>
3481template <
class Emitter>
3496 if (!
Ctx.getLangOpts().CPlusPlus11)
3503 for (
const Expr *LHS : CommaLHSs) {
3525 if (!this->
visit(Inner))
3530 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3533 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3536 return this->emitGetPtrGlobal(*GlobalIndex, E);
3539 if (!this->checkLiteralType(Inner))
3542 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3548 return this->emitInitGlobalTempComp(TempDecl, E);
3561 unsigned LocalIndex =
3563 if (!this->VarScope->LocalsAlwaysEnabled &&
3564 !this->emitEnableLocal(LocalIndex, E))
3567 if (!this->
visit(Inner))
3569 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3572 return this->emitGetPtrLocal(LocalIndex, E);
3575 if (!this->checkLiteralType(Inner))
3582 if (!this->VarScope->LocalsAlwaysEnabled &&
3583 !this->emitEnableLocal(*LocalIndex, E))
3586 if (!this->emitGetPtrLocal(*LocalIndex, E))
3593template <
class Emitter>
3604 if (!this->
visit(SubExpr))
3608 return this->emitPopPtr(E);
3612template <
class Emitter>
3633 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3638 if (
P.isGlobalInitialized(*GlobalIndex))
3644 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3656 unsigned LocalIndex;
3660 LocalIndex = *MaybeIndex;
3664 if (!this->emitGetPtrLocal(LocalIndex, E))
3668 return this->
visit(
Init) && this->emitInit(*
T, E);
3672template <
class Emitter>
3683 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3687 if (!R || R->getNumFields() == 0)
3689 const Record::Field *Field = R->getField(0
U);
3694 return this->emitInitField(FieldT, Field->Offset, E);
3701template <
class Emitter>
3705 return this->emitConst(E->
getValue(), E);
3708template <
class Emitter>
3721 for (
const Record::Field &F : R->fields()) {
3723 if (!
Init ||
Init->containsErrors())
3731 if (!this->emitInitField(*
T, F.Offset, E))
3734 if (!this->emitGetPtrField(F.Offset, E))
3745template <
class Emitter>
3751 return this->emitGetStringPtr(E, E);
3755template <
class Emitter>
3760 return this->emitInvalid(E);
3763template <
class Emitter>
3777 if (!this->emitInvalidCast(
CastKind,
false, E))
3785 bool Fatal = (ToT != FromT);
3792template <
class Emitter>
3794 if (!
Ctx.getLangOpts().CPlusPlus20) {
3815 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3820 return this->emitPopPtr(E);
3824template <
class Emitter>
3830 return this->emitConstBool(E->
getValue(), E);
3833template <
class Emitter>
3838 if (
T->isRecordType()) {
3852 if (!this->emitGetPtrLocal(*LocalIndex, E))
3860 T->getAsCXXRecordDecl()))
3870 if (!this->visitZeroRecordInitializer(R, E))
3882 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3884 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3885 if (!this->emitCheckFunctionDecl(Ctor, E))
3896 assert(
Func->hasThisPointer());
3897 assert(!
Func->hasRVO());
3901 if (!this->emitDupPtr(E))
3905 for (
const auto *Arg : E->
arguments()) {
3906 if (!this->
visit(Arg))
3910 if (
Func->isVariadic()) {
3911 uint32_t VarArgSize = 0;
3912 unsigned NumParams =
Func->getNumWrittenParams();
3913 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3917 if (!this->emitCallVar(
Func, VarArgSize, E))
3920 if (!this->emitCall(
Func, 0, E)) {
3925 (void)this->emitPopPtr(E);
3931 return this->emitPopPtr(E);
3935 if (
T->isArrayType()) {
3940 if (!this->emitDupPtr(E))
3944 initArrayDimension = [&](
QualType T) ->
bool {
3945 if (!
T->isArrayType()) {
3947 for (
const auto *Arg : E->
arguments()) {
3948 if (!this->
visit(Arg))
3952 return this->emitCall(
Func, 0, E);
3956 Ctx.getASTContext().getAsConstantArrayType(
T);
3961 for (
size_t I = 0; I != NumElems; ++I) {
3962 if (!this->emitConstUint64(I, E))
3964 if (!this->emitArrayElemPtrUint64(E))
3966 if (!initArrayDimension(ElemTy))
3969 return this->emitPopPtr(E);
3972 return initArrayDimension(E->
getType());
3978template <
class Emitter>
3988 assert(Val.
isInt());
3990 return this->emitConst(I, E);
3997 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
3998 return this->
visit(LValueExpr);
4013 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4017 const APValue &
V = UGCD->getValue();
4018 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4019 const Record::Field *F = R->getField(I);
4020 const APValue &FieldValue =
V.getStructField(I);
4026 if (!this->emitInitField(FieldT, F->Offset, E))
4034template <
class Emitter>
4040 for (
unsigned I = 0; I != N; ++I) {
4047 if (!this->
discard(ArrayIndexExpr))
4053 if (!this->
visit(ArrayIndexExpr))
4055 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4059 if (!this->
visit(ArrayIndexExpr))
4063 if (!this->emitCast(IndexT,
PT_Sint64, E))
4073 return this->emitOffsetOf(
T, E, E);
4076template <
class Emitter>
4085 return this->visitZeroInitializer(*
T, Ty, E);
4092 if (!this->emitGetPtrLocal(*LocalIndex, E))
4100 ElemQT = CT->getElementType();
4103 NumElems = VT->getNumElements();
4104 ElemQT = VT->getElementType();
4110 for (
unsigned I = 0; I != NumElems; ++I) {
4111 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4113 if (!this->emitInitElem(ElemT, I, E))
4122template <
class Emitter>
4127template <
class Emitter>
4133template <
class Emitter>
4138template <
class Emitter>
4143 return this->emitConst(E->
getValue(), E);
4146template <
class Emitter>
4151 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4166 unsigned ParamIndex = 0;
4170 if (!this->emitGetParam(PT, ParamIndex, E))
4175 return this->emitCall(F, 0, E);
4180template <
class Emitter>
4188 const Expr *PlacementDest =
nullptr;
4189 bool IsNoThrow =
false;
4194 if (PlacementArgs != 0) {
4203 if (PlacementArgs == 1) {
4211 if (!this->emitInvalidNewDeleteExpr(E, E))
4216 if (OperatorNew->isReservedGlobalPlacementOperator())
4217 PlacementDest = Arg1;
4221 return this->emitInvalid(E);
4223 }
else if (!OperatorNew
4224 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4225 return this->emitInvalidNewDeleteExpr(E, E);
4228 if (!PlacementDest) {
4233 Desc =
P.createDescriptor(E, *ElemT);
4235 Desc =
P.createDescriptor(E, ElementType.
getTypePtr(),
false,
4242 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4246 const Expr *Stripped = *ArraySizeExpr;
4247 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4248 Stripped = ICE->getSubExpr())
4249 if (ICE->getCastKind() != CK_NoOp &&
4250 ICE->getCastKind() != CK_IntegralCast)
4258 if (!this->
visit(Stripped))
4260 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4263 if (PlacementDest) {
4264 if (!this->
visit(PlacementDest))
4266 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4268 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4271 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4276 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4280 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4287 size_t StaticInitElems = 0;
4288 const Expr *DynamicInit =
nullptr;
4292 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4293 StaticInitElems = CAT->getZExtSize();
4298 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4299 if (ILE->hasArrayFiller())
4300 DynamicInit = ILE->getArrayFiller();
4319 const Function *CtorFunc =
nullptr;
4320 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4324 }
else if (!DynamicInit && !ElemT)
4327 LabelTy EndLabel = this->getLabel();
4328 LabelTy StartLabel = this->getLabel();
4333 if (!this->emitDupPtr(E))
4335 if (!this->emitNullPtr(0,
nullptr, E))
4337 if (!this->emitEQPtr(E))
4339 if (!this->jumpTrue(EndLabel, E))
4346 if (!this->emitConst(StaticInitElems,
SizeT, E))
4348 if (!this->emitSetLocal(
SizeT, Iter, E))
4351 this->fallthrough(StartLabel);
4352 this->emitLabel(StartLabel);
4354 if (!this->emitGetLocal(
SizeT, Iter, E))
4356 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4358 if (!this->emitLT(
SizeT, E))
4360 if (!this->jumpFalse(EndLabel, E))
4364 if (!this->emitGetLocal(
SizeT, Iter, E))
4366 if (!this->emitArrayElemPtr(
SizeT, E))
4369 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4374 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4376 if (!this->emitStorePop(*InitT, E))
4380 if (!this->visitZeroArrayInitializer(ElemType, E))
4383 }
else if (DynamicInit) {
4385 if (!this->
visit(DynamicInit))
4387 if (!this->emitStorePop(*InitT, E))
4394 if (!this->visitZeroInitializer(
4398 if (!this->emitStorePop(*ElemT, E))
4402 if (!this->emitCall(CtorFunc, 0, E))
4407 if (!this->emitGetPtrLocal(Iter, E))
4409 if (!this->emitIncPop(
SizeT,
false, E))
4412 if (!this->jump(StartLabel, E))
4415 this->fallthrough(EndLabel);
4416 this->emitLabel(EndLabel);
4420 if (PlacementDest) {
4421 if (!this->
visit(PlacementDest))
4423 if (!this->emitCheckNewTypeMismatch(E, E))
4428 if (!this->emitAlloc(Desc, E))
4437 if (!this->emitInit(*ElemT, E))
4448 return this->emitPopPtr(E);
4453template <
class Emitter>
4459 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4460 return this->emitInvalidNewDeleteExpr(E, E);
4469template <
class Emitter>
4475 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4480 return this->emitGetFnPtr(
Func, E);
4483template <
class Emitter>
4487 auto canonType = [](
const Type *
T) {
4488 return T->getCanonicalTypeUnqualified().getTypePtr();
4496 return this->emitGetTypeid(
4500 return this->emitGetTypeid(
4509 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4515 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4518 return this->emitPopPtr(E);
4522template <
class Emitter>
4526 return this->emitDummyPtr(E, E);
4527 return this->emitError(E);
4530template <
class Emitter>
4533 return this->emitDummyPtr(E, E);
4534 return this->emitError(E);
4537template <
class Emitter>
4539 assert(
Ctx.getLangOpts().CPlusPlus);
4540 return this->emitConstBool(E->
getValue(), E);
4543template <
class Emitter>
4555 return this->emitDummyPtr(GuidDecl, E);
4560 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4569 assert(
V.isStruct());
4570 assert(
V.getStructNumBases() == 0);
4574 return this->emitFinishInit(E);
4577template <
class Emitter>
4587template <
class Emitter>
4596template <
class Emitter>
4602template <
class Emitter>
4606 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4610 if (OVE->isUnique())
4626template <
class Emitter>
4631template <
class Emitter>
4633 return this->emitError(E);
4636template <
class Emitter>
4642 return this->emitDummyPtr(E, E);
4645template <
class Emitter>
4646bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4651 QualType ElemType = VT->getElementType();
4652 PrimType ElemT = classifyPrim(ElemType);
4654 PrimType SrcElemT = classifyVectorElementType(SrcType);
4660 if (!this->emitGetPtrLocal(*LocalIndex, E))
4664 unsigned SrcOffset =
4665 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4666 if (!this->visit(Src))
4668 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4671 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4672 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4674 if (!this->emitArrayElemPop(SrcElemT, I, E))
4678 if (SrcElemT != ElemT) {
4679 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4681 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4682 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4686 if (!this->emitInitElem(ElemT, I, E))
4692template <
class Emitter>
4694 return emitVectorConversion(E->
getSrcExpr(), E);
4697template <
class Emitter>
4701 return this->emitInvalid(E);
4710 assert(NumOutputElems > 0);
4716 if (!this->emitGetPtrLocal(*LocalIndex, E))
4721 unsigned VectorOffsets[2];
4722 for (
unsigned I = 0; I != 2; ++I) {
4725 if (!this->
visit(Vecs[I]))
4727 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4730 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4732 assert(ShuffleIndex >= -1);
4733 if (ShuffleIndex == -1)
4734 return this->emitInvalidShuffleVectorIndex(I, E);
4736 assert(ShuffleIndex < (NumInputElems * 2));
4737 if (!this->emitGetLocal(
PT_Ptr,
4738 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4740 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4741 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4744 if (!this->emitInitElem(ElemT, I, E))
4749 return this->emitPopPtr(E);
4754template <
class Emitter>
4759 Base->getType()->isVectorType() ||
4765 if (Indices.size() == 1) {
4770 if (!this->emitConstUint32(Indices[0], E))
4772 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4782 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4790 if (!this->emitGetPtrLocal(*ResultIndex, E))
4798 uint32_t DstIndex = 0;
4799 for (uint32_t I : Indices) {
4800 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4802 if (!this->emitArrayElemPop(ElemT, I, E))
4804 if (!this->emitInitElem(ElemT, DstIndex, E))
4814template <
class Emitter>
4818 return this->
discard(SubExpr) && this->emitInvalid(E);
4824 return this->emitDummyPtr(E, E);
4827template <
class Emitter>
4832 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4837 if (!this->
visit(SubExpr))
4839 if (!this->emitConstUint8(0, E))
4841 if (!this->emitArrayElemPtrPopUint8(E))
4843 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4848 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4850 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4852 assert(SecondFieldT ==
PT_Ptr);
4854 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4856 if (!this->emitExpandPtr(E))
4860 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4862 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4865template <
class Emitter>
4880 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4884 return this->emitUnsupported(E);
4893 return this->
Visit(E);
4900 return this->
Visit(E);
4904 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4907 if (
const auto *CE = dyn_cast<CastExpr>(E);
4909 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4916 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4919 if (
const auto *CE = dyn_cast<CastExpr>(E);
4920 CE && (CE->getCastKind() == CK_DerivedToBase ||
4921 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4922 CE->getCastKind() == CK_NoOp))
4942 if (!this->emitGetPtrLocal(*LocalIndex, E))
4952 return this->
Visit(E);
4955template <
class Emitter>
4961 return this->
Visit(E) && this->emitFinishInit(E);
4964template <
class Emitter>
4970 return this->
Visit(E) && this->emitFinishInitPop(E);
4976 return this->
Visit(E);
4987 if (!this->
visit(E))
4989 return this->emitComplexBoolCast(E);
4994 if (!this->
visit(E))
5002 return this->emitIsNonNullPtr(E);
5006 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5009 return this->emitCast(*
T,
PT_Bool, E);
5012template <
class Emitter>
5016 QT = AT->getValueType();
5020 return this->emitZeroBool(E);
5022 return this->emitZeroSint8(E);
5024 return this->emitZeroUint8(E);
5026 return this->emitZeroSint16(E);
5028 return this->emitZeroUint16(E);
5030 return this->emitZeroSint32(E);
5032 return this->emitZeroUint32(E);
5034 return this->emitZeroSint64(E);
5036 return this->emitZeroUint64(E);
5038 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5040 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5042 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5045 return this->emitNullMemberPtr(0,
nullptr, E);
5047 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5048 return this->emitFloat(F, E);
5051 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5055 llvm_unreachable(
"unknown primitive type");
5058template <
class Emitter>
5059bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5061 bool IsCompleteClass) {
5065 for (
const Record::Field &Field :
R->fields()) {
5066 if (Field.isUnnamedBitField())
5073 if (!this->visitZeroInitializer(
T, QT, E))
5076 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5080 if (!this->emitInitField(
T, Field.Offset, E))
5085 if (!this->emitGetPtrField(Field.Offset, E))
5092 if (!this->visitZeroInitializer(
T, ET, E))
5094 if (!this->emitInitElem(
T, I, E))
5099 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5102 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5110 if (!this->emitFinishInitActivatePop(E))
5114 if (!this->emitFinishInitPop(E))
5118 for (
const Record::Base &B :
R->bases()) {
5119 if (!this->emitGetPtrBase(B.Offset, E))
5121 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5123 if (!this->emitFinishInitPop(E))
5127 if (IsCompleteClass) {
5128 for (
const Record::Base &B :
R->virtual_bases()) {
5131 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5133 if (!this->emitFinishInitPop(E))
5141template <
class Emitter>
5142bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5143 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5144 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5149 for (
size_t I = 0; I != NumElems; ++I) {
5150 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5152 if (!this->emitInitElem(*ElemT, I, E))
5158 const Record *
R = getRecord(ElemType);
5162 for (
size_t I = 0; I != NumElems; ++I) {
5163 if (!this->emitConstUint32(I, E))
5165 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5167 if (!this->visitZeroRecordInitializer(R, E))
5169 if (!this->emitPopPtr(E))
5175 for (
size_t I = 0; I != NumElems; ++I) {
5176 if (!this->emitConstUint32(I, E))
5178 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5180 if (!this->visitZeroArrayInitializer(ElemType, E))
5182 if (!this->emitPopPtr(E))
5191template <
class Emitter>
5192bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5194 if (!canClassify(E->
getType()))
5199 if (!this->visit(LHS))
5201 if (!this->visit(RHS))
5204 if (!this->visit(RHS))
5206 if (!this->visit(LHS))
5214 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5218 bool Activates = refersToUnion(LHS);
5221 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5224 if (DiscardResult) {
5225 if (BitField && Activates)
5226 return this->emitStoreBitFieldActivatePop(RHT, E);
5228 return this->emitStoreBitFieldPop(RHT, E);
5230 return this->emitStoreActivatePop(RHT, E);
5232 return this->emitStorePop(RHT, E);
5235 auto maybeLoad = [&](
bool Result) ->
bool {
5241 return this->emitLoadPop(RHT, E);
5245 if (BitField && Activates)
5246 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5248 return maybeLoad(this->emitStoreBitField(RHT, E));
5250 return maybeLoad(this->emitStoreActivate(RHT, E));
5252 return maybeLoad(this->emitStore(RHT, E));
5255template <
class Emitter>
5256template <
typename T>
5260 return this->emitConstSint8(
Value, Info);
5262 return this->emitConstUint8(
Value, Info);
5264 return this->emitConstSint16(
Value, Info);
5266 return this->emitConstUint16(
Value, Info);
5268 return this->emitConstSint32(
Value, Info);
5270 return this->emitConstUint32(
Value, Info);
5272 return this->emitConstSint64(
Value, Info);
5274 return this->emitConstUint64(
Value, Info);
5276 return this->emitConstBool(
Value, Info);
5283 llvm_unreachable(
"Invalid integral type");
5286 llvm_unreachable(
"unknown primitive type");
5289template <
class Emitter>
5290template <
typename T>
5291bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5292 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5295template <
class Emitter>
5299 return this->emitConstIntAPS(
Value, Info);
5301 return this->emitConstIntAP(
Value, Info);
5303 if (
Value.isSigned())
5304 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5305 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5308template <
class Emitter>
5312 return this->emitConstIntAPS(
Value, Info);
5314 return this->emitConstIntAP(
Value, Info);
5317 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5318 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5321template <
class Emitter>
5322bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5323 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5326template <
class Emitter>
5339 Locals.insert({VD, Local});
5340 VarScope->addForScopeKind(Local, SC);
5341 return Local.Offset;
5344template <
class Emitter>
5349 bool IsTemporary =
false;
5353 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5354 Init = VarD->getInit();
5356 if (
const auto *E = Src.
asExpr()) {
5366 return std::nullopt;
5371 Locals.insert({Key, Local});
5372 VarScope->addForScopeKind(Local, SC);
5373 return Local.Offset;
5376template <
class Emitter>
5385 return std::nullopt;
5395 return Local.Offset;
5398template <
class Emitter>
5400 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5401 return PT->getPointeeType()->getAsCanonical<RecordType>();
5407 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5411template <
class Emitter>
5413 return P.getOrCreateRecord(RD);
5416template <
class Emitter>
5418 return Ctx.getOrCreateFunction(FD);
5421template <
class Emitter>
5425 auto maybeDestroyLocals = [&]() ->
bool {
5426 if (DestroyToplevelScope)
5427 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5428 return this->emitCheckAllocations(E);
5435 return this->emitRetVoid(E) && maybeDestroyLocals();
5443 return this->emitRet(*
T, E) && maybeDestroyLocals();
5451 if (!this->emitGetPtrLocal(*LocalOffset, E))
5459 return this->emitRetValue(E) && maybeDestroyLocals();
5462 return maybeDestroyLocals() &&
false;
5465template <
class Emitter>
5467 bool DestroyToplevelScope) {
5471 return this->
visitExpr(E, DestroyToplevelScope);
5474template <
class Emitter>
5486 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5487 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5501template <
class Emitter>
5503 bool ConstantContext) {
5506 if (!ConstantContext) {
5521 auto GlobalIndex =
P.getGlobal(VD);
5522 assert(GlobalIndex);
5524 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5527 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5531 auto Local =
Locals.find(VD);
5532 assert(Local !=
Locals.end());
5535 if (!this->emitGetRefLocal(Local->second.Offset, VD))
5537 }
else if (!this->emitGetLocal(*VarT, Local->second.Offset, VD))
5540 if (!this->emitGetPtrLocal(Local->second.Offset, VD))
5550 auto GlobalIndex =
P.getGlobal(VD);
5551 assert(GlobalIndex);
5552 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5561 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5564template <
class Emitter>
5575 if (!this->isActive())
5580 if (
Init &&
Init->isValueDependent())
5584 auto checkDecl = [&]() ->
bool {
5586 return !NeedsOp || this->emitCheckDecl(VD, VD);
5593 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5596 if (
P.isGlobalInitialized(*GlobalIndex))
5600 }
else if ((GlobalIndex =
5615 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5618 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5621 if (!this->emitStartInit(
Init))
5627 if (!this->emitEndInit(
Init))
5630 return this->emitFinishInitGlobal(
Init);
5640 if (!
Init ||
Init->getType()->isVoidType())
5649 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5661 if (!this->emitCheckRefInit(
Init))
5665 return this->emitSetLocal(*VarT, Offset, VD);
5673 if (!this->emitGetPtrLocal(*Offset,
Init))
5681template <
class Emitter>
5701 Locals.insert({VD, Local});
5704 if (!this->emitGetPtrLocal(Local.Offset, VD))
5710 return this->emitDestructionPop(D, VD);
5719 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5743template <
class Emitter>
5758 unsigned ParamIndex = 0;
5765 const Expr *Arg = Args[ParamIndex];
5766 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5768 unsigned ArgOffset =
5770 if (!this->
visit(Arg))
5772 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5778 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5790 if (
This->getType()->isPointerType()) {
5793 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5800 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5822template <
class Emitter>
5828 return this->emitConst(Val.
getInt(), ValType, Info);
5830 return this->emitFloat(Val.
getFloat(), Info);
5834 if (!this->emitGetMemberPtr(MemberDecl, Info))
5840 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5846 return this->emitNullMemberPtr(0,
nullptr, Info);
5851 return this->emitNull(ValType, 0,
nullptr, Info);
5856 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5857 return this->
visit(BaseExpr);
5862 QualType EntryType = VD->getType();
5863 for (
auto &Entry : Path) {
5865 uint64_t Index = Entry.getAsArrayIndex();
5868 if (!this->emitConst(Index,
PT_Uint64, Info))
5870 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5872 EntryType = ElemType;
5879 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5880 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5882 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5884 EntryType = FD->getType();
5888 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5893 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5896 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5908template <
class Emitter>
5911 bool IsCompleteClass) {
5917 if (IsCompleteClass)
5924 const Record::Base *RB = R->getBase(I);
5925 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5927 if (!this->emitGetPtrBase(RB->Offset, Info))
5932 if (!this->emitFinishInitPop(Info))
5940 const Record::Field *RF = R->getField(I);
5941 QualType FieldType = RF->Decl->getType();
5946 if (!this->emitInitField(*PT, RF->Offset, Info))
5949 if (!this->emitGetPtrField(RF->Offset, Info))
5953 if (!this->emitFinishInitPop(Info))
5959 if (IsCompleteClass) {
5964 const Record::Base *RB = R->getVirtualBase(I);
5965 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5973 if (!this->emitFinishInitPop(Info))
5989 const Record::Field *RF = R->getField(UnionField);
5990 QualType FieldType = RF->Decl->getType();
5995 if (RF->isBitField())
5996 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
5998 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6001 if (!this->emitGetPtrField(RF->Offset, Info))
6003 if (!this->emitActivate(Info))
6007 return this->emitPopPtr(Info);
6011 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6012 QualType ElemType = ArrType->getElementType();
6015 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6016 const APValue &Elem = A >= InitializedElems
6025 if (!this->emitInitElem(*ElemT, A, Info))
6028 if (!this->emitConstUint32(A, Info))
6030 if (!this->emitArrayElemPtrUint32(Info))
6034 if (!this->emitPopPtr(Info))
6045template <
class Emitter>
6047 unsigned BuiltinID) {
6048 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6053 return this->emitConst(0, E);
6056 if (!this->emitStartSpeculation(E))
6058 LabelTy EndLabel = this->getLabel();
6059 if (!this->speculate(E, EndLabel))
6061 if (!this->emitEndSpeculation(E))
6063 this->fallthrough(EndLabel);
6071 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6072 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6073 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6074 BuiltinID == Builtin::BI__builtin_function_start) {
6077 return this->emitDummyPtr(E, E);
6088 if (!this->emitGetPtrLocal(*LocalIndex, E))
6093 switch (BuiltinID) {
6094 case Builtin::BI__builtin_object_size:
6095 case Builtin::BI__builtin_dynamic_object_size: {
6099 if (!this->
visit(Arg0))
6110 case Builtin::BI__assume:
6111 case Builtin::BI__builtin_assume:
6114 case Builtin::BI__atomic_is_lock_free:
6115 case Builtin::BI__atomic_always_lock_free: {
6126 for (
const auto *Arg : E->
arguments()) {
6127 if (!this->
visit(Arg))
6133 if (!this->emitCallBI(E, BuiltinID, E))
6142template <
class Emitter>
6163 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6164 DD && DD->isTrivial()) {
6166 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6168 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6169 this->emitPopPtr(E);
6185 if (!this->emitGetPtrLocal(*LocalIndex, E))
6193 if (!this->emitGetPtrLocal(*LocalIndex, E))
6197 if (!this->emitDupPtr(E))
6203 const Expr *ReversedArgs[2];
6205 bool IsAssignmentOperatorCall =
false;
6206 bool ActivateLHS =
false;
6207 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6208 OCE && OCE->isAssignmentOp()) {
6212 assert(Args.size() == 2);
6213 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6215 IsAssignmentOperatorCall =
true;
6216 ReversedArgs[0] = Args[1];
6217 ReversedArgs[1] = Args[0];
6218 Args = ReversedArgs;
6224 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6225 MD && MD->isStatic()) {
6229 Args = Args.drop_front();
6233 bool Devirtualized =
false;
6236 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6244 if (!this->
visit(Callee))
6246 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6248 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6250 if (!this->emitGetMemberPtrBase(E))
6253 const auto *InstancePtr = MC->getImplicitObjectArgument();
6260 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6261 Devirtualized =
true;
6262 if (!this->
visit(Stripped))
6265 if (!this->
visit(InstancePtr))
6269 if (!this->
visit(InstancePtr))
6273 }
else if (
const auto *PD =
6274 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6275 if (!this->emitCheckPseudoDtor(E))
6283 return this->emitPseudoDtor(E);
6284 }
else if (!FuncDecl) {
6288 if (!this->
visit(Callee))
6290 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6299 if (IsAssignmentOperatorCall) {
6300 assert(Args.size() == 2);
6303 if (!this->emitFlip(Arg2T, Arg1T, E))
6317 assert(HasRVO ==
Func->hasRVO());
6319 bool HasQualifier =
false;
6320 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6321 HasQualifier = ME->hasQualifier();
6323 bool IsVirtual =
false;
6324 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6325 IsVirtual = !Devirtualized && MD->isVirtual();
6330 if (IsVirtual && !HasQualifier) {
6331 uint32_t VarArgSize = 0;
6332 unsigned NumParams =
6333 Func->getNumWrittenParams() +
6335 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6338 if (!this->emitCallVirt(
Func, VarArgSize, E))
6340 }
else if (
Func->isVariadic()) {
6341 uint32_t VarArgSize = 0;
6342 unsigned NumParams =
6343 Func->getNumWrittenParams() +
6345 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6347 if (!this->emitCallVar(
Func, VarArgSize, E))
6350 if (!this->emitCall(
Func, 0, E))
6359 uint32_t ArgSize = 0;
6360 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6366 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6368 if (!this->emitGetMemberPtrDecl(E))
6371 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6374 if (!this->emitCallPtr(ArgSize, E, E))
6385template <
class Emitter>
6392template <
class Emitter>
6399template <
class Emitter>
6404 return this->emitConstBool(E->
getValue(), E);
6407template <
class Emitter>
6413 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6414 return this->emitNullPtr(Val,
nullptr, E);
6417template <
class Emitter>
6425 return this->emitZero(
T, E);
6428template <
class Emitter>
6433 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6434 if (this->LambdaThisCapture.Offset > 0) {
6435 if (this->LambdaThisCapture.IsPtr)
6436 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6437 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6446 return this->emitThis(E);
6461 unsigned StartIndex = 0;
6462 unsigned EndIndex = 0;
6464 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6466 EndIndex = StartIndex;
6473 for (; StartIndex > 0; --StartIndex) {
6484 if (StartIndex == 0 && EndIndex == 0)
6495 assert(StartIndex <= EndIndex);
6498 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6510 case Stmt::CompoundStmtClass:
6512 case Stmt::DeclStmtClass:
6514 case Stmt::ReturnStmtClass:
6516 case Stmt::IfStmtClass:
6518 case Stmt::WhileStmtClass:
6520 case Stmt::DoStmtClass:
6522 case Stmt::ForStmtClass:
6524 case Stmt::CXXForRangeStmtClass:
6526 case Stmt::BreakStmtClass:
6528 case Stmt::ContinueStmtClass:
6530 case Stmt::SwitchStmtClass:
6532 case Stmt::CaseStmtClass:
6534 case Stmt::DefaultStmtClass:
6536 case Stmt::AttributedStmtClass:
6538 case Stmt::CXXTryStmtClass:
6540 case Stmt::NullStmtClass:
6543 case Stmt::GCCAsmStmtClass:
6544 case Stmt::MSAsmStmtClass:
6545 case Stmt::GotoStmtClass:
6546 return this->emitInvalid(S);
6547 case Stmt::LabelStmtClass:
6549 case Stmt::CXXExpansionStmtInstantiationClass:
6553 if (
const auto *E = dyn_cast<Expr>(S))
6560template <
class Emitter>
6563 for (
const auto *InnerStmt : S->
body())
6566 return Scope.destroyLocals();
6569template <
class Emitter>
6570bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6571 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6572 for (
auto *BD : DD->flat_bindings())
6573 if (
auto *KD = BD->getHoldingVar();
6574 KD && !this->visitVarDecl(KD, KD->getInit()))
6588template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6590 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6591 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6598 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6603 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6604 ICE && (ICE->getCastKind() == CK_NoOp ||
6605 ICE->getCastKind() == CK_DerivedToBase ||
6606 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6607 E = ICE->getSubExpr();
6611 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6612 const auto *ThisRecord =
6613 This->getType()->getPointeeType()->getAsRecordDecl();
6614 if (!ThisRecord->isUnion())
6617 if (
const auto *Ctor =
6618 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6619 return Ctor->getParent() == ThisRecord;
6628template <
class Emitter>
6630 bool EvaluateConditionDecl) {
6631 for (
const auto *D : DS->
decls()) {
6636 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6637 assert(ESD->getInstantiations() &&
"not expanded?");
6638 if (!this->
visitStmt(ESD->getInstantiations()))
6643 const auto *VD = dyn_cast<VarDecl>(D);
6650 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6657template <
class Emitter>
6660 return this->emitUnsupported(RS);
6666 if (!this->
visit(RE))
6672 if (RE->getType()->isVoidType()) {
6673 if (!this->
visit(RE))
6676 if (RE->containsErrors())
6681 if (!this->emitRVOPtr(RE))
6687 return this->emitRetVoid(RS);
6693 return this->emitRetVoid(RS);
6699 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6706 if (
auto *CondInit = IS->
getInit()) {
6722 return visitChildStmt(IS->
getThen());
6724 return visitChildStmt(Else);
6730 if (!this->emitIsConstantContext(IS))
6733 if (!this->emitIsConstantContext(IS))
6735 if (!this->emitInv(IS))
6749 LabelTy LabelElse = this->getLabel();
6750 LabelTy LabelEnd = this->getLabel();
6751 if (!this->jumpFalse(LabelElse, IS))
6753 if (!visitChildStmt(IS->
getThen()))
6755 if (!this->jump(LabelEnd, IS))
6757 this->emitLabel(LabelElse);
6758 if (!visitChildStmt(Else))
6760 this->emitLabel(LabelEnd);
6762 LabelTy LabelEnd = this->getLabel();
6763 if (!this->jumpFalse(LabelEnd, IS))
6765 if (!visitChildStmt(IS->
getThen()))
6767 this->emitLabel(LabelEnd);
6776template <
class Emitter>
6781 LabelTy CondLabel = this->getLabel();
6782 LabelTy EndLabel = this->getLabel();
6786 this->fallthrough(CondLabel);
6787 this->emitLabel(CondLabel);
6803 if (!this->jumpFalse(EndLabel, S))
6813 if (!this->jump(CondLabel, S))
6815 this->fallthrough(EndLabel);
6816 this->emitLabel(EndLabel);
6825 LabelTy StartLabel = this->getLabel();
6826 LabelTy EndLabel = this->getLabel();
6827 LabelTy CondLabel = this->getLabel();
6831 this->fallthrough(StartLabel);
6832 this->emitLabel(StartLabel);
6838 this->fallthrough(CondLabel);
6839 this->emitLabel(CondLabel);
6846 if (!this->jumpTrue(StartLabel, S))
6849 this->fallthrough(EndLabel);
6850 this->emitLabel(EndLabel);
6854template <
class Emitter>
6862 LabelTy EndLabel = this->getLabel();
6863 LabelTy CondLabel = this->getLabel();
6864 LabelTy IncLabel = this->getLabel();
6871 this->fallthrough(CondLabel);
6872 this->emitLabel(CondLabel);
6884 if (!this->jumpFalse(EndLabel, S))
6893 this->fallthrough(IncLabel);
6894 this->emitLabel(IncLabel);
6900 if (!this->jump(CondLabel, S))
6904 this->emitLabel(EndLabel);
6910template <
class Emitter>
6920 LabelTy EndLabel = this->getLabel();
6921 LabelTy CondLabel = this->getLabel();
6922 LabelTy IncLabel = this->getLabel();
6937 this->fallthrough(CondLabel);
6938 this->emitLabel(CondLabel);
6941 if (!this->jumpFalse(EndLabel, S))
6952 this->fallthrough(IncLabel);
6953 this->emitLabel(IncLabel);
6958 if (!this->jump(CondLabel, S))
6961 this->fallthrough(EndLabel);
6962 this->emitLabel(EndLabel);
6966template <
class Emitter>
6977 if (LI.BreakLabel) {
6978 TargetLabel = *LI.BreakLabel;
6979 BreakScope = LI.BreakOrContinueScope;
6985 if (LI.Name == TargetLoop) {
6986 TargetLabel = *LI.BreakLabel;
6987 BreakScope = LI.BreakOrContinueScope;
6998 C =
C->getParent()) {
6999 if (!
C->destroyLocals())
7003 return this->jump(*TargetLabel, S);
7006template <
class Emitter>
7017 if (LI.ContinueLabel) {
7018 TargetLabel = *LI.ContinueLabel;
7019 ContinueScope = LI.BreakOrContinueScope;
7025 if (LI.Name == TargetLoop) {
7026 TargetLabel = *LI.ContinueLabel;
7027 ContinueScope = LI.BreakOrContinueScope;
7037 C =
C->getParent()) {
7038 if (!
C->destroyLocals())
7042 return this->jump(*TargetLabel, S);
7045template <
class Emitter>
7048 if (
Cond->containsErrors())
7055 LabelTy EndLabel = this->getLabel();
7060 if (
const auto *CondInit = S->
getInit())
7071 if (!this->emitSetLocal(CondT, CondVar, S))
7081 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7084 if (CS->caseStmtIsGNURange()) {
7085 LabelTy EndOfRangeCheck = this->getLabel();
7086 const Expr *Low = CS->getLHS();
7087 const Expr *High = CS->getRHS();
7091 if (!this->emitGetLocal(CondT, CondVar, CS))
7093 if (!this->
visit(Low))
7096 if (!this->emitGE(
LT, S))
7098 if (!this->jumpFalse(EndOfRangeCheck, S))
7101 if (!this->emitGetLocal(CondT, CondVar, CS))
7103 if (!this->
visit(High))
7106 if (!this->emitLE(HT, S))
7110 this->emitLabel(EndOfRangeCheck);
7115 if (
Value->isValueDependent())
7120 if (!this->emitGetLocal(CondT, CondVar, CS))
7126 if (!this->emitEQ(ValueT, S))
7131 assert(!DefaultLabel);
7132 DefaultLabel = this->getLabel();
7139 if (!this->jump(*DefaultLabel, S))
7142 if (!this->jump(EndLabel, S))
7150 this->fallthrough(EndLabel);
7151 this->emitLabel(EndLabel);
7156template <
class Emitter>
7164 return this->emitUnsupported(S);
7169template <
class Emitter>
7176 if (LI.DefaultLabel) {
7177 DefaultLabel = *LI.DefaultLabel;
7182 this->emitLabel(DefaultLabel);
7186template <
class Emitter>
7193 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7196 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7197 !this->Ctx.getLangOpts().MSVCCompat) {
7199 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7205 const Expr *Assumption = AA->getAssumption();
7216 if (!this->emitAssume(Assumption))
7225 if (IsMSVCConstexprAttr)
7226 return this->emitPopMSVCCE(S);
7230template <
class Emitter>
7243template <
class Emitter>
7253 LabelTy EndLabel = this->getLabel();
7255 LabelTy ContinueLabel = this->getLabel();
7260 this->emitLabel(ContinueLabel);
7263 this->emitLabel(EndLabel);
7268template <
class Emitter>
7269bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7276 assert(ClosureClass->
captures().empty());
7280 "A generic lambda's static-invoker function must be a "
7281 "template specialization");
7285 void *InsertPos =
nullptr;
7286 const FunctionDecl *CorrespondingCallOpSpecialization =
7288 assert(CorrespondingCallOpSpecialization);
7289 LambdaCallOp = CorrespondingCallOpSpecialization;
7293 assert(ClosureClass->
captures().empty());
7294 const Function *
Func = this->getFunction(LambdaCallOp);
7297 assert(
Func->hasThisPointer());
7300 if (
Func->hasRVO()) {
7301 if (!this->emitRVOPtr(MD))
7309 if (!this->emitNullPtr(0,
nullptr, MD))
7314 auto It = this->Params.find(PVD);
7315 assert(It != this->Params.end());
7319 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7320 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7324 if (!this->emitCall(
Func, 0, LambdaCallOp))
7329 return this->emitRet(*ReturnType, MD);
7332 return this->emitRetVoid(MD);
7335template <
class Emitter>
7336bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7337 if (Ctx.getLangOpts().CPlusPlus23)
7347 const Expr *InitExpr =
Init->getInit();
7349 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7353 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7363template <
class Emitter>
7365 assert(!ReturnType);
7368 if (!this->emitStartThisLifetime1(Ctor))
7371 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7372 const Expr *InitExpr,
7375 if (InitExpr->getType().isNull())
7379 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7382 if (!this->visit(InitExpr))
7385 if (F->isBitField())
7386 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7388 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7393 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7396 if (
Activate && !this->emitActivate(InitExpr))
7399 return this->visitInitializerPop(InitExpr);
7403 const Record *
R = this->getRecord(RD);
7406 bool IsUnion =
R->isUnion();
7416 if (!this->emitThis(Ctor))
7419 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7422 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7423 this->emitRetVoid(Ctor);
7426 unsigned FieldInits = 0;
7429 if (
R->getNumVirtualBases() > 0) {
7430 if (!this->emitThis(Ctor))
7432 LabelTy AfterVirtBasesLabel = this->getLabel();
7435 if (!this->emitIsBaseClass({}))
7437 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7440 for (
const auto *
Init : Ctor->
inits()) {
7443 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7445 assert(
R->getVirtualBase(BaseDecl));
7446 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7448 if (!this->visitInitializerPop(
Init->getInit()))
7453 this->fallthrough(AfterVirtBasesLabel);
7454 this->emitLabel(AfterVirtBasesLabel);
7456 if (!this->emitPopPtr(Ctor))
7460 for (
const auto *
Init : Ctor->
inits()) {
7464 const Expr *InitExpr =
Init->getInit();
7466 const Record::Field *F =
R->getField(
Member);
7470 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7474 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7477 if (
Init->isBaseVirtual()) {
7483 const Record::Base *B =
R->getBase(BaseDecl);
7485 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7489 if (!this->visitInitializerPop(InitExpr))
7494 unsigned ChainSize = IFD->getChainingSize();
7495 assert(ChainSize >= 2);
7497 unsigned NestedFieldOffset = 0;
7498 const Record::Field *NestedField =
nullptr;
7499 for (
unsigned I = 0; I != ChainSize; ++I) {
7501 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7502 assert(FieldRecord);
7504 NestedField = FieldRecord->
getField(FD);
7505 assert(NestedField);
7506 IsUnion = IsUnion || FieldRecord->
isUnion();
7508 NestedFieldOffset += NestedField->Offset;
7511 if (I != ChainSize - 1)
7514 assert(NestedField);
7517 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7522 unsigned InitFieldOffset = 0;
7523 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7525 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7526 assert(FieldRecord);
7527 NestedField = FieldRecord->
getField(FD);
7528 InitFieldOffset += NestedField->Offset;
7529 assert(NestedField);
7530 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7532 if (!this->emitFinishInitPop(InitExpr))
7536 InitStack.pop_back_n(ChainSize - 1);
7539 assert(
Init->isDelegatingInitializer());
7540 if (!this->emitThis(InitExpr))
7542 if (!this->visitInitializerPop(
Init->getInit()))
7546 if (!
Scope.destroyLocals())
7550 if (FieldInits !=
R->getNumFields()) {
7551 assert(FieldInits < R->getNumFields());
7553 if (!this->emitStartThisLifetime(Ctor))
7560 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7561 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7568 if (!visitStmt(Body))
7575template <
class Emitter>
7578 const Record *
R = this->getRecord(RD);
7582 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7583 if (!this->visitStmt(
Dtor->getBody()))
7587 if (!this->emitThis(
Dtor))
7590 if (!this->emitCheckDestruction(
Dtor))
7594 if (!
R->isUnion()) {
7598 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7602 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7604 if (!this->emitDestructionPop(D,
SourceInfo{}))
7609 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7610 if (
Base.R->hasTrivialDtor())
7614 if (!this->emitRecordDestructionPop(
Base.R, {}))
7618 if (
R->getNumVirtualBases() > 0) {
7619 LabelTy EndLabel = this->getLabel();
7621 if (!this->emitIsBaseClass({}))
7623 if (!this->jumpTrue(EndLabel, {}))
7626 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7627 if (
Base.R->hasTrivialDtor())
7632 if (!this->emitRecordDestructionPop(
Base.R, {}))
7636 this->fallthrough(EndLabel);
7637 this->emitLabel(EndLabel);
7640 if (!this->emitMarkDestroyed(
Dtor))
7643 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7646template <
class Emitter>
7647bool Compiler<Emitter>::compileUnionAssignmentOperator(
7649 if (!this->emitThis(MD))
7652 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7655 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7658template <
class Emitter>
7668 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7669 return this->compileConstructor(Ctor);
7670 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7671 return this->compileDestructor(
Dtor);
7674 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7679 return this->compileUnionAssignmentOperator(MD);
7682 return this->emitLambdaStaticInvokerBody(MD);
7686 if (
const auto *Body = F->
getBody())
7700 return FD->getBitWidthValue();
7703template <
class Emitter>
7719 if (!
Ctx.getLangOpts().CPlusPlus14)
7720 return this->emitInvalid(E);
7722 return this->emitError(E);
7724 if (!this->
visit(SubExpr))
7728 if (!this->emitIncPtr(E))
7735 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7736 : this->emitIncf(getFPOptions(E), E);
7748 if (!
Ctx.getLangOpts().CPlusPlus14)
7749 return this->emitInvalid(E);
7751 return this->emitError(E);
7753 if (!this->
visit(SubExpr))
7757 if (!this->emitDecPtr(E))
7764 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7765 : this->emitDecf(getFPOptions(E), E);
7778 if (!
Ctx.getLangOpts().CPlusPlus14)
7779 return this->emitInvalid(E);
7781 return this->emitError(E);
7783 if (!this->
visit(SubExpr))
7787 if (!this->emitLoadPtr(E))
7789 if (!this->emitConstUint8(1, E))
7791 if (!this->emitAddOffsetUint8(E))
7793 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7799 return this->emitIncfPop(getFPOptions(E), E);
7809 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7810 if (!this->emitLoadFloat(E))
7812 APFloat F(TargetSemantics, 1);
7813 if (!this->emitFloat(F, E))
7816 if (!this->emitAddf(getFPOptions(E), E))
7818 if (!this->emitStoreFloat(E))
7830 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7833 if (!
Ctx.getLangOpts().CPlusPlus14)
7834 return this->emitInvalid(E);
7836 return this->emitError(E);
7838 if (!this->
visit(SubExpr))
7842 if (!this->emitLoadPtr(E))
7844 if (!this->emitConstUint8(1, E))
7846 if (!this->emitSubOffsetUint8(E))
7848 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7854 return this->emitDecfPop(getFPOptions(E), E);
7864 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7865 if (!this->emitLoadFloat(E))
7867 APFloat F(TargetSemantics, 1);
7868 if (!this->emitFloat(F, E))
7871 if (!this->emitSubf(getFPOptions(E), E))
7873 if (!this->emitStoreFloat(E))
7885 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7889 return this->emitError(E);
7892 return this->
discard(SubExpr);
7897 if (!this->emitInv(E))
7901 return this->emitCast(
PT_Bool, ET, E);
7905 return this->emitError(E);
7907 if (!this->
visit(SubExpr))
7912 return this->emitError(E);
7914 if (!this->
visit(SubExpr))
7930 if (!
Ctx.getLangOpts().CPlusPlus) {
7932 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
7933 Deref && Deref->getOpcode() == UO_Deref)
7934 return this->
delegate(Deref->getSubExpr());
7940 return this->
discard(SubExpr);
7942 if (!this->
visit(SubExpr))
7949 return this->emitNarrowPtr(E);
7954 return this->emitError(E);
7956 if (!this->
visit(SubExpr))
7970 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
7975 assert(
false &&
"Unhandled opcode");
7981template <
class Emitter>
7987 return this->
discard(SubExpr);
7990 auto prepareResult = [=]() ->
bool {
7995 return this->emitGetPtrLocal(*LocalIndex, E);
8002 unsigned SubExprOffset = ~0u;
8003 auto createTemp = [=, &SubExprOffset]() ->
bool {
8006 if (!this->
visit(SubExpr))
8008 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8012 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8013 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8015 return this->emitArrayElemPop(ElemT, Index, E);
8020 if (!prepareResult())
8024 for (
unsigned I = 0; I != 2; ++I) {
8025 if (!getElem(SubExprOffset, I))
8027 if (!this->emitNeg(ElemT, E))
8029 if (!this->emitInitElem(ElemT, I, E))
8040 if (!this->
visit(SubExpr))
8042 if (!this->emitComplexBoolCast(SubExpr))
8044 if (!this->emitInv(E))
8047 return this->emitCast(
PT_Bool, ET, E);
8051 return this->emitComplexReal(SubExpr);
8054 if (!this->
visit(SubExpr))
8058 if (!this->emitConstUint8(1, E))
8060 return this->emitArrayElemPtrPopUint8(E);
8071 if (!this->emitArrayElem(ElemT, 1, E))
8073 if (!this->emitNeg(ElemT, E))
8075 if (!this->emitInitElem(ElemT, 1, E))
8083 return this->emitInvalid(E);
8089template <
class Emitter>
8095 return this->
discard(SubExpr);
8098 if (UnaryOp == UO_Extension)
8101 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8102 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8103 return this->emitInvalid(E);
8106 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8113 if (!this->emitGetPtrLocal(*LocalIndex, E))
8118 unsigned SubExprOffset =
8120 if (!this->
visit(SubExpr))
8122 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8127 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8128 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8130 return this->emitArrayElemPop(ElemT, Index, E);
8135 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8136 if (!getElem(SubExprOffset, I))
8138 if (!this->emitNeg(ElemT, E))
8140 if (!this->emitInitElem(ElemT, I, E))
8155 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8156 if (!getElem(SubExprOffset, I))
8159 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8161 if (!this->emitInv(E))
8163 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8165 if (!this->emitNeg(ElemT, E))
8167 if (ElemT != ResultVecElemT &&
8168 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8170 if (!this->emitInitElem(ResultVecElemT, I, E))
8176 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8177 if (!getElem(SubExprOffset, I))
8180 if (!this->emitInv(E))
8183 if (!this->emitComp(ElemT, E))
8186 if (!this->emitInitElem(ElemT, I, E))
8191 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8196template <
class Emitter>
8198 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8201 return this->emitConst(ECD->getInitVal(), E);
8203 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8207 return F && this->emitGetFnPtr(F, E);
8209 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8210 TPOD = TPOD->getFirstDecl();
8214 return this->emitGetPtrGlobal(*GlobalIndex, E);
8220 return this->emitInitGlobal(*
T, *Index, E);
8223 if (!this->emitGetPtrGlobal(*Index, E))
8227 return this->emitFinishInit(E);
8239 auto maybePopPtr = [&]() ->
bool {
8241 return this->emitPopPtr(E);
8248 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8252 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8257 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8258 if (IsReference || !It->second.IsPtr)
8259 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8261 return this->emitGetPtrParam(It->second.Index, E);
8264 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8271 const unsigned Offset = It->second.Offset;
8274 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8276 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8279 if (
auto GlobalIndex =
P.getGlobal(D)) {
8281 if (!
Ctx.getLangOpts().CPlusPlus11)
8282 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8283 if (!
Ctx.getLangOpts().CPlusPlus23)
8284 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8286 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8289 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8293 auto revisit = [&](
const VarDecl *VD,
8294 bool IsConstexprUnknown =
true) ->
bool {
8296 IsConstexprUnknown);
8297 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8303 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8304 if (!this->emitPopCC(E))
8308 if (VarState.notCreated())
8316 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8318 if (
auto It = this->LambdaCaptures.find(D);
8319 It != this->LambdaCaptures.end()) {
8320 auto [Offset, IsPtr] = It->second;
8323 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8324 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8328 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8329 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8330 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8334 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8335 return this->
delegate(BD->getBinding());
8341 return this->emitDummyPtr(D, E);
8346 const auto *VD = dyn_cast<VarDecl>(D);
8348 return this->emitError(E);
8351 if (!
Ctx.getLangOpts().CPlusPlus) {
8355 return revisit(VD,
false);
8359 return this->emitDummyPtr(D, E);
8363 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8364 if (
T.isConstant(
Ctx.getASTContext()))
8366 return T->isReferenceType();
8370 typeShouldBeVisited(DeclType)) {
8372 Init && !
Init->isValueDependent()) {
8377 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8390 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8395 return revisit(VD, IsConstexprUnknown);
8396 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8397 return revisit(VD,
true);
8406 return this->emitDummyPtr(
8410template <
class Emitter>
8416template <
class Emitter>
8426 if (!
C->destroyLocals())
8432template <
class Emitter>
8433unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8436 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8438 return Ty->getAsCXXRecordDecl();
8440 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8441 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8443 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8447template <
class Emitter>
8454 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8459 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8460 getFPOptions(E), E);
8462 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8463 getFPOptions(E), E);
8467 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8472 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8474 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8478 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8482 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8483 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8490template <
class Emitter>
8493 assert(FromT != ToT);
8496 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8498 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8500 return this->emitCast(FromT, ToT, E);
8504template <
class Emitter>
8505bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8509 return this->
discard(SubExpr);
8511 if (!this->visit(SubExpr))
8514 if (!this->emitConstUint8(0, SubExpr))
8516 return this->emitArrayElemPtrPopUint8(SubExpr);
8520 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8524template <
class Emitter>
8525bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8526 assert(!DiscardResult);
8530 if (!this->emitArrayElem(ElemT, 0, E))
8533 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8536 if (!this->emitCast(ElemT,
PT_Bool, E))
8541 LabelTy LabelTrue = this->getLabel();
8542 if (!this->jumpTrue(LabelTrue, E))
8545 if (!this->emitArrayElemPop(ElemT, 1, E))
8548 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8551 if (!this->emitCast(ElemT,
PT_Bool, E))
8555 LabelTy EndLabel = this->getLabel();
8556 this->jump(EndLabel, E);
8558 this->emitLabel(LabelTrue);
8559 if (!this->emitPopPtr(E))
8561 if (!this->emitConstBool(
true, E))
8564 this->fallthrough(EndLabel);
8565 this->emitLabel(EndLabel);
8570template <
class Emitter>
8571bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8582 LHSIsComplex =
true;
8583 ElemT = classifyComplexElementType(LHS->
getType());
8584 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8585 if (!this->visit(LHS))
8587 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8590 LHSIsComplex =
false;
8592 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8593 if (!this->visit(LHS))
8595 if (!this->emitSetLocal(LHST, LHSOffset, E))
8602 RHSIsComplex =
true;
8603 ElemT = classifyComplexElementType(RHS->
getType());
8604 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8605 if (!this->visit(RHS))
8607 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8610 RHSIsComplex =
false;
8612 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8613 if (!this->visit(RHS))
8615 if (!this->emitSetLocal(RHST, RHSOffset, E))
8619 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8620 bool IsComplex) ->
bool {
8622 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8624 return this->emitArrayElemPop(ElemT, Index, E);
8626 return this->emitGetLocal(ElemT, LocalOffset, E);
8629 for (
unsigned I = 0; I != 2; ++I) {
8631 if (!getElem(LHSOffset, I, LHSIsComplex))
8633 if (!getElem(RHSOffset, I, RHSIsComplex))
8636 if (!this->emitEQ(ElemT, E))
8639 if (!this->emitCastBoolUint8(E))
8644 if (!this->emitAddUint8(E))
8646 if (!this->emitConstUint8(2, E))
8650 if (!this->emitEQUint8(E))
8653 if (!this->emitNEUint8(E))
8660 return this->emitCast(
PT_Bool, ResT, E);
8667template <
class Emitter>
8668bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8671 assert(!
R->hasTrivialDtor());
8674 const Function *DtorFunc = getFunction(
Dtor);
8677 assert(DtorFunc->hasThisPointer());
8678 assert(DtorFunc->getNumParams() == 1);
8679 return this->emitCall(DtorFunc, 0, Loc);
8684template <
class Emitter>
8685bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8697 return this->emitPopPtr(Loc);
8699 for (ssize_t I = N - 1; I >= 1; --I) {
8700 if (!this->emitConstUint64(I, Loc))
8702 if (!this->emitArrayElemPtrUint64(Loc))
8704 if (!this->emitDestructionPop(ElemDesc, Loc))
8708 if (!this->emitConstUint64(0, Loc))
8710 if (!this->emitArrayElemPtrPopUint64(Loc))
8712 return this->emitDestructionPop(ElemDesc, Loc);
8717 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8722template <
class Emitter>
8723bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
8724 assert(!DiscardResult &&
"Should've been checked before");
8725 unsigned DummyID = P.getOrCreateDummy(D, CU);
8727 if (!this->emitGetPtrGlobal(DummyID, E))
8735 return this->emitDecayPtr(
PT_Ptr, PT, E);
8741template <
class Emitter>
8744 return this->emitConstFloat(
Floating(F), Info);
8746 APInt I = F.bitcastToAPInt();
8747 return this->emitConstFloat(
8748 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8749 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8760template <
class Emitter>
8761bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8774 if (!this->emitGetPtrLocal(*LocalIndex, E))
8784 if (!this->visit(SubExpr))
8786 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8787 unsigned TempOffset =
8788 allocateLocalPrimitive(SubExpr, *FromT,
true);
8789 if (!this->visit(SubExpr))
8791 if (!this->emitSetLocal(*FromT, TempOffset, E))
8793 if (!this->emitGetPtrLocal(TempOffset, E))
8800 if (!this->emitBitCast(E))
8802 return DiscardResult ? this->emitPopPtr(E) :
true;
8806 const llvm::fltSemantics *TargetSemantics =
nullptr;
8808 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8814 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8816 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8817 ResultBitWidth, TargetSemantics,
8822 return this->emitPop(*ToT, E);
8831template <
class Emitter>
8832bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8837 unsigned NumElems = 0;
8840 NumElems = VT->getNumElements();
8841 ElemType = VT->getElementType();
8843 NumElems = MT->getNumElementsFlattened();
8844 ElemType = MT->getElementType();
8847 PrimType ElemT = classifyPrim(ElemType);
8848 for (
unsigned I = 0; I != NumElems; ++I) {
8849 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8851 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8853 if (!this->emitInitElem(ElemT, I, E))
8863 QualType ArrElemType = CAT->getElementType();
8864 unsigned ArrSize = CAT->getZExtSize();
8867 for (
unsigned I = 0; I != ArrSize; ++I) {
8868 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8870 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8872 if (!this->emitInitElem(*ElemT, I, E))
8876 for (
unsigned I = 0; I != ArrSize; ++I) {
8877 if (!this->emitConstUint32(I, E))
8879 if (!this->emitArrayElemPtrUint32(E))
8881 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8883 if (!this->emitFinishInitPop(E))
8893 const Record *
R = getRecord(DestType);
8897 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8899 const Record::Base *B =
R->getBase(BS.getType());
8901 if (!this->emitGetPtrBase(B->Offset, E))
8903 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
8905 if (!this->emitFinishInitPop(E))
8910 for (
const Record::Field &F :
R->fields()) {
8911 if (F.isUnnamedBitField())
8914 QualType FieldType = F.Decl->getType();
8916 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8918 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
8920 if (F.isBitField()) {
8921 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
8924 if (!this->emitInitField(*FieldT, F.Offset, E))
8928 if (!this->emitGetPtrField(F.Offset, E))
8930 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
8932 if (!this->emitPopPtr(E))
8945template <
class Emitter>
8946unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
8949 return VT->getNumElements();
8951 return MT->getNumElementsFlattened();
8955 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
8959 const Record *
R = getRecord(Ty);
8963 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8965 Count += countHLSLFlatElements(BS.getType());
8967 for (
const Record::Field &F :
R->fields()) {
8968 if (F.isUnnamedBitField())
8970 Count += countHLSLFlatElements(F.Decl->getType());
8975 if (canClassify(Ty))
8984template <
class Emitter>
8985bool Compiler<Emitter>::emitHLSLFlattenAggregate(
8986 QualType SrcType,
unsigned SrcOffset,
8991 auto saveToLocal = [&](
PrimType T) ->
bool {
8992 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
8993 if (!this->emitSetLocal(
T, Offset, E))
8995 Elements.push_back({Offset,
T});
9001 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9002 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9003 return std::nullopt;
9008 unsigned NumElems = 0;
9011 NumElems = VT->getNumElements();
9012 ElemType = VT->getElementType();
9014 NumElems = MT->getNumElementsFlattened();
9015 ElemType = MT->getElementType();
9018 PrimType ElemT = classifyPrim(ElemType);
9019 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9020 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9022 if (!this->emitArrayElemPop(ElemT, I, E))
9024 if (!saveToLocal(ElemT))
9034 QualType ArrElemType = CAT->getElementType();
9035 unsigned ArrSize = CAT->getZExtSize();
9038 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9039 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9041 if (!this->emitArrayElemPop(*ElemT, I, E))
9043 if (!saveToLocal(*ElemT))
9047 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9048 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9050 if (!this->emitConstUint32(I, E))
9052 if (!this->emitArrayElemPtrPopUint32(E))
9057 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9068 const Record *
R = getRecord(SrcType);
9072 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9074 if (Elements.size() >= MaxElements)
9076 const Record::Base *B =
R->getBase(BS.getType());
9078 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9080 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9085 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9091 for (
const Record::Field &F :
R->fields()) {
9092 if (Elements.size() >= MaxElements)
9094 if (F.isUnnamedBitField())
9097 QualType FieldType = F.Decl->getType();
9098 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9100 if (!this->emitGetPtrFieldPop(F.Offset, E))
9104 if (!this->emitLoadPop(*FieldT, E))
9106 if (!saveToLocal(*FieldT))
9110 if (!FieldPtrOffset)
9112 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9128template <
class Emitter>
9129bool Compiler<Emitter>::emitHLSLConstructAggregate(
9135 const auto &Src = Elements[ElemIdx++];
9136 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9138 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9142 unsigned NumElems = 0;
9145 NumElems = VT->getNumElements();
9146 ElemType = VT->getElementType();
9148 NumElems = MT->getNumElementsFlattened();
9149 ElemType = MT->getElementType();
9152 PrimType DestElemT = classifyPrim(ElemType);
9153 for (
unsigned I = 0; I != NumElems; ++I) {
9154 if (!loadAndCast(DestElemT, ElemType))
9156 if (!this->emitInitElem(DestElemT, I, E))
9166 QualType ArrElemType = CAT->getElementType();
9167 unsigned ArrSize = CAT->getZExtSize();
9170 for (
unsigned I = 0; I != ArrSize; ++I) {
9171 if (!loadAndCast(*ElemT, ArrElemType))
9173 if (!this->emitInitElem(*ElemT, I, E))
9177 for (
unsigned I = 0; I != ArrSize; ++I) {
9178 if (!this->emitConstUint32(I, E))
9180 if (!this->emitArrayElemPtrUint32(E))
9182 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9184 if (!this->emitFinishInitPop(E))
9194 const Record *
R = getRecord(DestType);
9198 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9200 const Record::Base *B =
R->getBase(BS.getType());
9202 if (!this->emitGetPtrBase(B->Offset, E))
9204 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9206 if (!this->emitFinishInitPop(E))
9211 for (
const Record::Field &F :
R->fields()) {
9212 if (F.isUnnamedBitField())
9215 QualType FieldType = F.Decl->getType();
9217 if (!loadAndCast(*FieldT, FieldType))
9219 if (F.isBitField()) {
9220 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9223 if (!this->emitInitField(*FieldT, F.Offset, E))
9227 if (!this->emitGetPtrField(F.Offset, E))
9229 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9231 if (!this->emitPopPtr(E))
static void emit(Program &P, llvm::SmallVectorImpl< std::byte > &Code, const T &Val, bool &Success)
Helper to write bytecode and bail out if 32-bit offsets become invalid.
static void emitCleanup(CIRGenFunction &cgf, cir::CleanupScopeOp cleanupScope, EHScopeStack::Cleanup *cleanup, EHScopeStack::Cleanup::Flags flags, Address activeFlag)
static uint32_t getBitWidth(const Expr *E)
#define EMIT_ARITH_OP(OP)
static CharUnits AlignOfType(QualType T, const ASTContext &ASTCtx, UnaryExprOrTypeTrait Kind)
static const Expr * stripDerivedToBaseCasts(const Expr *E)
static const Expr * stripCheckedDerivedToBaseCasts(const Expr *E)
static bool hasTrivialDefaultCtorParent(const FieldDecl *FD)
static bool initNeedsOverridenLoc(const CXXCtorInitializer *Init)
Result
Implement __builtin_bit_cast and related operations.
llvm::SmallPtrSet< const ParmVarDecl *, 1 > FoundParams
bool VisitDeclRefExpr(const DeclRefExpr *E) override
a trap message and trap category.
llvm::APInt getValue() const
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const LValueBase getLValueBase() const
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
APValue & getStructField(unsigned i)
const FieldDecl * getUnionField() const
unsigned getStructNumFields() const
APValue & getStructVirtualBase(unsigned i)
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() const
unsigned getStructNumVirtualBases() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
APValue & getArrayFiller()
bool isIndeterminate() const
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
unsigned getArraySize() const
@ None
There is no such object (it's outside its lifetime).
bool isNullPointer() const
APValue & getStructBase(unsigned i)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
unsigned getPreferredTypeAlign(QualType T) const
Return the "preferred" alignment of the specified type T for the current target, in bits.
const LangOptions & getLangOpts() const
unsigned getOpenMPDefaultSimdAlign(QualType T) const
Get default simd alignment of the specified complete type in bits.
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
llvm::FixedPointSemantics getFixedPointSemantics(QualType Ty) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Expr * getCond() const
getCond - Return the expression representing the condition for the ?
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
llvm::APInt getArraySize() const
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
uint64_t getValue() const
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
Attr - This represents one attribute.
Represents an attribute applied to a statement.
ArrayRef< const Attr * > getAttrs() const
Represents a C++ declaration that introduces decls from somewhere else.
A builtin binary operation expression such as "x + y" or "x <= y".
static bool isLogicalOp(Opcode Opc)
static bool isComparisonOp(Opcode Opc)
static bool isShiftOp(Opcode Opc)
static bool isCommaOp(Opcode Opc)
static Opcode getOpForCompoundAssignment(Opcode Opc)
static bool isPtrMemOp(Opcode Opc)
predicates to categorize the respective opcodes.
static bool isAssignmentOp(Opcode Opc)
static bool isCompoundAssignmentOp(Opcode Opc)
static bool isBitwiseOp(Opcode Opc)
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
Represents a base class of a C++ class.
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
A boolean literal, per ([C++ lex.bool] Boolean literals).
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
Represents a C++ base or member initializer.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents the code generated for an expanded expansion statement.
ArrayRef< Stmt * > getInstantiations() const
ArrayRef< Stmt * > getPreambleStmts() const
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
DeclStmt * getBeginStmt()
DeclStmt * getLoopVarStmt()
DeclStmt * getRangeStmt()
Represents a call to an inherited base class constructor from an inheriting constructor.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will call.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
bool isLambdaStaticInvoker() const
Determine whether this is a lambda closure type's static member function that is used for the result ...
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
Expr * getPlacementArg(unsigned I)
unsigned getNumPlacementArgs() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ struct/union/class.
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
capture_const_range captures() const
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
A rewritten comparison expression that was originally written using operator syntax.
Expr * getSemanticForm()
Get an equivalent semantic form for this expression.
An expression "T()" which creates an rvalue of a non-class type T.
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
const Expr * getSubExpr() const
CXXTryStmt - A C++ try block, including all handlers.
CompoundStmt * getTryBlock()
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
QualType getTypeOperand(const ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Expr * getExprOperand() const
bool isPotentiallyEvaluated() const
Determine whether this typeid has a type operand which is potentially evaluated, per C++11 [expr....
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
MSGuidDecl * getGuidDecl() const
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this call.
Expr ** getArgs()
Retrieve the call arguments.
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
CaseStmt - Represent a case statement.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
path_iterator path_begin()
CastKind getCastKind() const
llvm::iterator_range< path_iterator > path()
Path through the class hierarchy taken by casts between base and derived classes (see implementation ...
const FieldDecl * getTargetUnionField() const
CharUnits - This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
const ValueInfo * getValueInfo(ComparisonCategoryResult ValueKind) const
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, 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
bool isStoredAsComparisonResult() const
const APValue & getAPValue() const
bool isStoredAsBoolean() const
The base class of the type hierarchy.
bool isBooleanType() const
bool isLiteralType(const ASTContext &Ctx) const
Return true if this is a literal type (C++11 [basic.types]p10)
bool isIncompleteArrayType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isVoidPointerType() const
bool isConstantSizeType() const
Return true if this is not a variable sized type, according to the rules of C99 6....
bool isFunctionPointerType() const
bool isConstantMatrixType() const
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isEnumeralType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isAnyComplexType() const
bool isFixedPointType() const
Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isMemberPointerType() const
bool isAtomicType() const
EnumDecl * castAsEnumDecl() const
bool isStdByteType() const
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isPointerOrReferenceType() const
bool isFunctionType() const
bool isVectorType() const
bool isRealFloatingType() const
Floating point categories.
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
bool isFloatingType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
bool isSizelessVectorType() const
Returns true for all scalable vector types.
Base class for declarations which introduce a typedef-name.
UnaryExprOrTypeTraitExpr - expression with either a type or (unevaluated) expression operand.
QualType getArgumentType() const
QualType getTypeOfArgument() const
Gets the argument type, or the type of the argument expression, whichever is appropriate.
bool isArgumentType() const
UnaryExprOrTypeTrait getKind() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Expr * getSubExpr() const
bool canOverflow() const
Returns true if the unary operator can cause an overflow.
Represents C++ using-directive.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
bool isWeak() const
Determine whether this symbol is weakly-imported, or declared with the weak or weak-ref attr.
Represents a variable declaration or definition.
bool isConstexpr() const
Whether this variable is (C++11) constexpr.
bool isInitCapture() const
Whether this variable is the implicit variable for a lambda init-capture.
bool isStaticDataMember() const
Determines whether this is a static data member.
bool hasGlobalStorage() const
Returns true for all variables that do not have local storage.
bool hasConstantInitialization() const
Determine whether this variable has constant initialization.
bool isStaticLocal() const
Returns true if a variable with function scope is a static local variable.
const Expr * getInit() const
const APValue * evaluateValue() const
Attempt to evaluate the value of the initializer attached to this declaration, and produce notes expl...
bool isLocalVarDecl() const
Returns true for local variable declarations other than parameters.
const Expr * getAnyInitializer() const
Get the initializer for this variable, no matter which declaration it is attached to.
Represents a GCC generic vector type.
unsigned getNumElements() const
QualType getElementType() const
WhileStmt - This represents a 'while' stmt.
DeclStmt * getConditionVariableDeclStmt()
If this WhileStmt has a condition variable, return the faux DeclStmt associated with the creation of ...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "while" statement, if any.
ArrayIndexScope(Compiler< Emitter > *Ctx, uint64_t Index)
A memory block, either on the stack or in the heap.
void invokeDtor()
Invokes the Destructor.
Compilation context for expressions.
llvm::SmallVector< InitLink > InitStack
bool VisitArrayInitIndexExpr(const ArrayInitIndexExpr *E)
bool VisitCXXDeleteExpr(const CXXDeleteExpr *E)
bool VisitOffsetOfExpr(const OffsetOfExpr *E)
bool visitContinueStmt(const ContinueStmt *S)
bool VisitCharacterLiteral(const CharacterLiteral *E)
bool visitArrayElemInit(unsigned ElemIndex, const Expr *Init, OptPrimType InitT)
Pointer to the array(not the element!) must be on the stack when calling this.
bool VisitCXXParenListInitExpr(const CXXParenListInitExpr *E)
bool VisitConceptSpecializationExpr(const ConceptSpecializationExpr *E)
bool visitInitializerPop(const Expr *E)
Similar, but will also pop the pointer.
bool VisitCompoundLiteralExpr(const CompoundLiteralExpr *E)
bool visitBool(const Expr *E)
Visits an expression and converts it to a boolean.
bool VisitCXXDefaultInitExpr(const CXXDefaultInitExpr *E)
PrimType classifyPrim(QualType Ty) const
Classifies a known primitive type.
bool VisitTypeTraitExpr(const TypeTraitExpr *E)
bool VisitLambdaExpr(const LambdaExpr *E)
bool VisitMemberExpr(const MemberExpr *E)
llvm::DenseMap< const OpaqueValueExpr *, unsigned > OpaqueExprs
OpaqueValueExpr to location mapping.
bool VisitBinaryOperator(const BinaryOperator *E)
bool visitCXXExpansionStmtInstantiation(const CXXExpansionStmtInstantiation *S)
template for (auto x : {1, 2}) {}
bool visitAttributedStmt(const AttributedStmt *S)
bool VisitPackIndexingExpr(const PackIndexingExpr *E)
bool VisitArraySubscriptExpr(const ArraySubscriptExpr *E)
bool VisitCallExpr(const CallExpr *E)
std::optional< uint64_t > ArrayIndex
Current argument index. Needed to emit ArrayInitIndexExpr.
bool VisitPseudoObjectExpr(const PseudoObjectExpr *E)
bool VisitCXXReinterpretCastExpr(const CXXReinterpretCastExpr *E)
bool visitAPValueInitializer(const APValue &Val, SourceInfo Info, QualType T, bool IsCompleteClass=true)
const Function * getFunction(const FunctionDecl *FD)
Returns a function for the given FunctionDecl.
bool VisitFixedPointBinOp(const BinaryOperator *E)
bool VisitCastExpr(const CastExpr *E)
bool VisitObjCEncodeExpr(const ObjCEncodeExpr *E)
bool VisitFixedPointUnaryOperator(const UnaryOperator *E)
bool VisitComplexUnaryOperator(const UnaryOperator *E)
llvm::DenseMap< const SwitchCase *, LabelTy > CaseMap
bool VisitBlockExpr(const BlockExpr *E)
bool VisitCXXScalarValueInitExpr(const CXXScalarValueInitExpr *E)
bool VisitLogicalBinOp(const BinaryOperator *E)
bool visitCompoundStmt(const CompoundStmt *S)
Context & Ctx
Current compilation context.
const VarDecl * InitializingDecl
bool visitDeclRef(const ValueDecl *D, const Expr *E)
Visit the given decl as if we have a reference to it.
bool visitBreakStmt(const BreakStmt *S)
bool visitExpr(const Expr *E, bool DestroyToplevelScope) override
bool visitForStmt(const ForStmt *S)
bool VisitDeclRefExpr(const DeclRefExpr *E)
bool VisitOpaqueValueExpr(const OpaqueValueExpr *E)
bool VisitArrayInitLoopExpr(const ArrayInitLoopExpr *E)
bool visitAPValue(const APValue &Val, PrimType ValType, SourceInfo Info)
Visit an APValue.
bool VisitStmtExpr(const StmtExpr *E)
bool VisitBuiltinBitCastExpr(const BuiltinBitCastExpr *E)
bool VisitFixedPointLiteral(const FixedPointLiteral *E)
const FunctionDecl * CompilingFunction
bool VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *E)
VarCreationState visitVarDecl(const VarDecl *VD, const Expr *Init, bool Toplevel=false)
Creates and initializes a variable from the given decl.
VariableScope< Emitter > * VarScope
Current scope.
bool visitDeclAndReturn(const VarDecl *VD, const Expr *Init, bool ConstantContext) override
Toplevel visitDeclAndReturn().
bool VisitCXXNewExpr(const CXXNewExpr *E)
bool VisitCompoundAssignOperator(const CompoundAssignOperator *E)
bool visit(const Expr *E) override
Evaluates an expression and places the result on the stack.
bool delegate(const Expr *E)
Just pass evaluation on to E.
bool visitLValueExpr(const Expr *E, bool DestroyToplevelScope) override
bool discard(const Expr *E)
Evaluates an expression for side effects and discards the result.
bool VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *E)
CaseMap CaseLabels
Switch case mapping.
Record * getRecord(QualType Ty)
Returns a record from a record or pointer type.
const RecordType * getRecordTy(QualType Ty)
Returns a record type from a record or pointer type.
bool VisitCXXStdInitializerListExpr(const CXXStdInitializerListExpr *E)
bool visitInitList(ArrayRef< const Expr * > Inits, const Expr *ArrayFiller, const Expr *E)
bool VisitSizeOfPackExpr(const SizeOfPackExpr *E)
bool VisitPredefinedExpr(const PredefinedExpr *E)
bool VisitSourceLocExpr(const SourceLocExpr *E)
bool visitDeclStmt(const DeclStmt *DS, bool EvaluateConditionDecl=false)
bool emitCleanup()
Emits scope cleanup instructions.
bool VisitExtVectorElementExpr(const ExtVectorElementExpr *E)
bool VisitObjCStringLiteral(const ObjCStringLiteral *E)
bool VisitArrayTypeTraitExpr(const ArrayTypeTraitExpr *E)
bool visitInitializer(const Expr *E)
Compiles an initializer.
bool visitDtorCall(const VarDecl *VD, const APValue &Value) override
const Expr * SourceLocDefaultExpr
DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.
bool VisitObjCArrayLiteral(const ObjCArrayLiteral *E)
UnsignedOrNone OptLabelTy
bool VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *E)
bool VisitPointerArithBinOp(const BinaryOperator *E)
Perform addition/subtraction of a pointer and an integer or subtraction of two pointers.
bool visitCallArgs(ArrayRef< const Expr * > Args, const FunctionDecl *FuncDecl, bool Activate, bool IsOperatorCall)
bool VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *E)
bool visitDefaultStmt(const DefaultStmt *S)
bool VisitObjCDictionaryLiteral(const ObjCDictionaryLiteral *E)
bool visitWithSubstitutions(const FunctionDecl *Callee, ArrayRef< const Expr * > Args, const Expr *This, const Expr *Condition) override
Evaluate the Condition as if it was in the body of Callee.
typename Emitter::LabelTy LabelTy
VarCreationState visitDecl(const VarDecl *VD)
bool VisitCXXDynamicCastExpr(const CXXDynamicCastExpr *E)
bool visitStmt(const Stmt *S)
bool VisitExpressionTraitExpr(const ExpressionTraitExpr *E)
bool VisitVectorUnaryOperator(const UnaryOperator *E)
bool VisitCXXConstructExpr(const CXXConstructExpr *E)
bool VisitCXXNullPtrLiteralExpr(const CXXNullPtrLiteralExpr *E)
bool VisitObjCBoxedExpr(const ObjCBoxedExpr *E)
bool VisitDesignatedInitUpdateExpr(const DesignatedInitUpdateExpr *E)
bool VisitCXXInheritedCtorInitExpr(const CXXInheritedCtorInitExpr *E)
bool VisitRecoveryExpr(const RecoveryExpr *E)
bool VisitRequiresExpr(const RequiresExpr *E)
bool Initializing
Flag inidicating if we're initializing an already created variable.
bool visitReturnStmt(const ReturnStmt *RS)
bool VisitCXXThrowExpr(const CXXThrowExpr *E)
bool VisitSubstNonTypeTemplateParmExpr(const SubstNonTypeTemplateParmExpr *E)
bool VisitChooseExpr(const ChooseExpr *E)
bool visitFunc(const FunctionDecl *F) override
bool visitCXXForRangeStmt(const CXXForRangeStmt *S)
bool visitCaseStmt(const CaseStmt *S)
bool VisitComplexBinOp(const BinaryOperator *E)
llvm::DenseMap< const ValueDecl *, Scope::Local > Locals
Variable to storage mapping.
bool VisitAbstractConditionalOperator(const AbstractConditionalOperator *E)
bool VisitCXXTypeidExpr(const CXXTypeidExpr *E)
UnsignedOrNone allocateTemporary(const Expr *E)
bool VisitBuiltinCallExpr(const CallExpr *E, unsigned BuiltinID)
bool VisitImplicitValueInitExpr(const ImplicitValueInitExpr *E)
bool VisitCXXRewrittenBinaryOperator(const CXXRewrittenBinaryOperator *E)
OptPrimType ReturnType
Type of the expression returned by the function.
bool VisitUnaryOperator(const UnaryOperator *E)
bool VisitFloatCompoundAssignOperator(const CompoundAssignOperator *E)
OptPrimType classify(const Expr *E) const
llvm::SmallVector< LabelInfo > LabelInfoStack
Stack of label information for loops and switch statements.
bool VisitGenericSelectionExpr(const GenericSelectionExpr *E)
bool visitDoStmt(const DoStmt *S)
bool VisitIntegerLiteral(const IntegerLiteral *E)
bool VisitInitListExpr(const InitListExpr *E)
bool VisitVectorBinOp(const BinaryOperator *E)
bool VisitStringLiteral(const StringLiteral *E)
bool VisitParenExpr(const ParenExpr *E)
bool VisitCXXNoexceptExpr(const CXXNoexceptExpr *E)
bool VisitShuffleVectorExpr(const ShuffleVectorExpr *E)
bool VisitPointerCompoundAssignOperator(const CompoundAssignOperator *E)
bool DiscardResult
Flag indicating if return value is to be discarded.
bool VisitEmbedExpr(const EmbedExpr *E)
UnsignedOrNone allocateLocal(DeclOrExpr Decl, QualType Ty=QualType(), ScopeKind=ScopeKind::Block)
Allocates a space storing a local given its type.
bool VisitConvertVectorExpr(const ConvertVectorExpr *E)
bool VisitCXXThisExpr(const CXXThisExpr *E)
bool VisitConstantExpr(const ConstantExpr *E)
bool VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *E)
bool visitSwitchStmt(const SwitchStmt *S)
bool VisitCXXUuidofExpr(const CXXUuidofExpr *E)
bool VisitExprWithCleanups(const ExprWithCleanups *E)
bool visitAsLValue(const Expr *E)
unsigned allocateLocalPrimitive(DeclOrExpr Decl, PrimType Ty, bool IsConst, bool IsVolatile=false, ScopeKind SC=ScopeKind::Block)
Creates a local primitive value.
bool visitWhileStmt(const WhileStmt *S)
bool visitIfStmt(const IfStmt *IS)
bool VisitAddrLabelExpr(const AddrLabelExpr *E)
bool canClassify(const Expr *E) const
bool VisitFloatingLiteral(const FloatingLiteral *E)
Program & P
Program to link to.
bool VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *E)
bool VariablesAreConstexprUnknown
bool VisitGNUNullExpr(const GNUNullExpr *E)
bool VisitImaginaryLiteral(const ImaginaryLiteral *E)
bool VisitSYCLUniqueStableNameExpr(const SYCLUniqueStableNameExpr *E)
bool visitCXXTryStmt(const CXXTryStmt *S)
static bool isUnevaluatedBuiltin(unsigned ID)
Unevaluated builtins don't get their arguments put on the stack automatically.
static bool shouldBeGloballyIndexed(const ValueDecl *VD)
Returns whether we should create a global variable for the given ValueDecl.
Scope used to handle temporaries in toplevel variable declarations.
DeclScope(Compiler< Emitter > *Ctx, const VarDecl *VD)
Wrapper around fixed point types.
static FixedPoint zero(llvm::FixedPointSemantics Sem)
If a Floating is constructed from Memory, it DOES NOT OWN THAT MEMORY.
bool hasThisPointer() const
bool hasRVO() const
Checks if the first argument is a RVO pointer.
InitLinkScope(Compiler< Emitter > *Ctx, InitLink &&Link)
Compiler< Emitter > * Ctx
InitStackScope(Compiler< Emitter > *Ctx, bool Active)
When generating code for e.g.
LocOverrideScope(Compiler< Emitter > *Ctx, SourceInfo NewValue, bool Enabled=true)
Generic scope for local variables.
UnsignedOrNone Idx
Index of the scope in the chain.
~LocalScope() override
Emit a Destroy op for this scope.
bool destroyLocals(const Expr *E=nullptr) override
Explicit destruction of local variables.
bool emitDestructors(const Expr *E=nullptr) override
void removeIfStoredOpaqueValue(const Scope::Local &Local)
void addLocal(Scope::Local Local) override
void removeStoredOpaqueValues()
void forceInit() override
Force-initialize this scope.
LocalScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
Sets the context for break/continue statements.
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
LoopScope(Compiler< Emitter > *Ctx, const Stmt *Name, LabelTy BreakLabel, LabelTy ContinueLabel)
PrimType value_or(PrimType PT) const
Scope used to handle initialization methods.
OptionScope(Compiler< Emitter > *Ctx, bool NewDiscardResult, bool NewInitializing, bool NewToLValue)
Root constructor, compiling or discarding primitives.
Context to manage declaration lifetimes.
Structure/Class descriptor.
bool isUnion() const
Checks if the record is a union.
const Field * getField(unsigned I) const
const Base * getBaseOrNull(const RecordDecl *RD) const
bool hasTrivialDtor() const
Returns true for anonymous unions and records with no destructor or for those with a trivial destruct...
const Base * getVirtualBase(unsigned I) const
Describes the statement/declaration an opcode was generated from.
const Expr * asExpr() const
SourceLocScope(Compiler< Emitter > *Ctx, const Expr *DefaultExpr)
typename Compiler< Emitter >::LabelTy LabelTy
typename Compiler< Emitter >::OptLabelTy OptLabelTy
typename Compiler< Emitter >::LabelInfo LabelInfo
typename Compiler< Emitter >::CaseMap CaseMap
SwitchScope(Compiler< Emitter > *Ctx, const Stmt *Name, CaseMap &&CaseLabels, LabelTy BreakLabel, OptLabelTy DefaultLabel)
Scope chain managing the variable lifetimes.
void addForScopeKind(const Scope::Local &Local, ScopeKind Kind)
Like addExtended, but adds to the nearest scope of the given kind.
bool LocalsAlwaysEnabled
Whether locals added to this scope are enabled by default.
Compiler< Emitter > * Ctx
Compiler instance.
virtual bool emitDestructors(const Expr *E=nullptr)
VariableScope(Compiler< Emitter > *Ctx, ScopeKind Kind=ScopeKind::Block)
virtual bool destroyLocals(const Expr *E=nullptr)
virtual void addLocal(Scope::Local Local)
VariableScope * Parent
Link to the parent scope.
ScopeKind getKind() const
VariableScope * getParent() const
bool Sub(InterpState &S, CodePtr OpPC)
bool LT(InterpState &S, CodePtr OpPC)
static llvm::RoundingMode getRoundingMode(FPOptions FPO)
constexpr bool isSignedType(PrimType T)
bool Div(InterpState &S, CodePtr OpPC)
1) Pops the RHS from the stack.
constexpr bool isPtrType(PrimType T)
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
bool This(InterpState &S, CodePtr OpPC)
constexpr bool isIntegerOrBoolType(PrimType T)
bool InitScope(InterpState &S, uint32_t I)
static void discard(InterpStack &Stk, PrimType T)
static bool isSideEffectFree(const Expr *E)
Check if E has side-effects.
bool LE(InterpState &S, CodePtr OpPC)
PrimType
Enumeration of the primitive types of the VM.
static std::optional< bool > getBoolValue(const Expr *E)
static bool Activate(InterpState &S)
bool Init(InterpState &S, CodePtr OpPC)
bool Mul(InterpState &S, CodePtr OpPC)
size_t primSize(PrimType Type)
Returns the size of a primitive type in bytes.
bool Inc(InterpState &S, CodePtr OpPC, bool CanOverflow)
1) Pops a pointer from the stack 2) Load the value from the pointer 3) Writes the value increased by ...
bool Add(InterpState &S, CodePtr OpPC)
llvm::BitVector collectNonNullArgs(const FunctionDecl *F, ArrayRef< const Expr * > Args)
constexpr bool isIntegerType(PrimType T)
Top level wrappers for InstallAPI frontend operations.
bool isa(CodeGen::Address addr)
bool hasSpecificAttr(const Container &container)
@ Success
Annotation was successful.
@ Link
'link' clause, allowed on 'declare' construct.
DynamicRecursiveASTVisitorBase< true > ConstDynamicRecursiveASTVisitor
ComparisonCategoryResult
An enumeration representing the possible results of a three-way comparison.
@ SD_Static
Static storage duration.
@ SD_FullExpression
Full-expression storage duration (for temporaries).
@ Result
The result type of a method or function.
OptionalUnsigned< unsigned > UnsignedOrNone
const FunctionProtoType * T
U cast(CodeGen::Address addr)
int const char * function
__packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 __packed_splat2 __packed_splat4 __packed_splat2 __packed_splat8 __packed_splat4 uint32_t
llvm::APSInt getIntValue() const
Get the constant integer value used by this variable to represent the comparison category result type...
EvalResult is a struct with detailed info about an evaluated expression.
const ValueDecl * asValueDecl() const
const Expr * asExpr() const
Describes a memory block created by an allocation site.
unsigned getNumElems() const
Returns the number of elements stored in the block.
bool isPrimitive() const
Checks if the descriptor is of a primitive.
QualType getElemQualType() const
bool hasTrivialDtor() const
Whether variables of this descriptor need their destructor called or not.
bool isCompositeArray() const
Checks if the descriptor is of an array of composites.
const Descriptor *const ElemDesc
Descriptor of the array element.
bool isPrimitiveArray() const
Checks if the descriptor is of an array of primitives.
PrimType getPrimType() const
bool isRecord() const
Checks if the descriptor is of a record.
const Record *const ElemRecord
Pointer to the record, if block contains records.
bool isArray() const
Checks if the descriptor is of an array.
Descriptor used for global variables.
GlobalInitState InitState
static InitLink InitList()
static InitLink Elem(unsigned Index)
bool emit(Compiler< Emitter > *Ctx, const Expr *E) const
static InitLink Field(unsigned Offset)
static InitLink Base(unsigned Offset)
static InitLink Decl(const ValueDecl *D)
static InitLink Temp(unsigned Offset)
Information about a local's storage.
State encapsulating if a the variable creation has been successful, unsuccessful, or no variable has ...
static VarCreationState NotCreated()