21#include "llvm/Support/SaveAndRestore.h"
32 if (
const auto *CE = dyn_cast_if_present<ConstantExpr>(E);
33 CE && CE->hasAPValueResult() &&
35 return CE->getResultAsAPSInt().getBoolValue();
67 llvm_unreachable(
"Shouldn't be called");
133 this->
Ctx->emitDestroy(*
Idx, E);
140 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
141 this->
Ctx->Descriptors.emplace_back();
142 this->
Ctx->emitInitScope(*
Idx, {});
146 this->
Ctx->Descriptors[*
Idx].emplace_back(Local);
156 Idx =
static_cast<unsigned>(this->
Ctx->Descriptors.size());
157 this->
Ctx->Descriptors.emplace_back();
158 this->
Ctx->emitInitScope(*
Idx, {});
169 if (Local.Desc->hasTrivialDtor())
172 if (!Local.EnabledByDefault) {
173 typename Emitter::LabelTy EndLabel = this->
Ctx->getLabel();
174 if (!this->
Ctx->emitGetLocalEnabled(Local.Offset, E))
176 if (!this->
Ctx->jumpFalse(EndLabel, E))
179 if (!this->
Ctx->emitGetPtrLocal(Local.Offset, E))
182 if (!this->
Ctx->emitDestructionPop(Local.Desc, Local.Desc->getLoc()))
185 this->
Ctx->fallthrough(EndLabel);
186 this->
Ctx->emitLabel(EndLabel);
188 if (!this->
Ctx->emitGetPtrLocal(Local.Offset, E))
190 if (!this->
Ctx->emitDestructionPop(Local.Desc, Local.Desc->getLoc()))
209 if (
const auto *OVE =
210 llvm::dyn_cast_if_present<OpaqueValueExpr>(Local.Desc->asExpr())) {
211 this->
Ctx->OpaqueExprs.erase(OVE);
223 OldArrayIndex = Ctx->ArrayIndex;
224 Ctx->ArrayIndex = Index;
231 std::optional<uint64_t> OldArrayIndex;
239 if (!Ctx->SourceLocDefaultExpr) {
241 Ctx->SourceLocDefaultExpr = DefaultExpr;
247 Ctx->SourceLocDefaultExpr =
nullptr;
252 bool Enabled =
false;
258 Ctx->InitStack.push_back(std::move(
Link));
270 : Ctx(Ctx), OldValue(Ctx->InitStackActive), Active(Active) {
271 Ctx->InitStackActive = Active;
277 this->Ctx->InitStackActive = OldValue;
279 Ctx->InitStack.pop_back();
293 OldInitializingDecl(
Ctx->InitializingDecl) {
294 Ctx->InitializingDecl = VD;
299 this->
Ctx->InitializingDecl = OldInitializingDecl;
300 this->
Ctx->InitStack.pop_back();
305 const VarDecl *OldInitializingDecl;
313 bool NewInitializing,
bool NewToLValue)
314 : Ctx(Ctx), OldDiscardResult(Ctx->DiscardResult),
315 OldInitializing(Ctx->
Initializing), OldToLValue(Ctx->ToLValue) {
316 Ctx->DiscardResult = NewDiscardResult;
317 Ctx->Initializing = NewInitializing;
318 Ctx->ToLValue = NewToLValue;
322 Ctx->DiscardResult = OldDiscardResult;
323 Ctx->Initializing = OldInitializing;
324 Ctx->ToLValue = OldToLValue;
331 bool OldDiscardResult;
332 bool OldInitializing;
336template <
class Emitter>
340 return Ctx->emitThis(E);
343 return Ctx->emitGetPtrFieldPop(
Offset, E);
345 return Ctx->emitGetPtrBasePop(
Offset,
false, E);
347 return Ctx->emitGetPtrLocal(
Offset, E);
351 if (!Ctx->emitConstUint32(
Offset, E))
353 return Ctx->emitArrayElemPtrPopUint32(E);
355 return Ctx->emitRVOPtr(E);
359 llvm_unreachable(
"Unhandled InitLink kind");
375 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
376 assert(LI.Name != Name);
379 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel, ContinueLabel,
400 : Ctx(Ctx), OldCaseLabels(
std::move(this->Ctx->CaseLabels)) {
402 for (
const LabelInfo &LI : Ctx->LabelInfoStack)
403 assert(LI.Name != Name);
406 this->Ctx->CaseLabels = std::move(CaseLabels);
407 this->Ctx->LabelInfoStack.emplace_back(Name, BreakLabel,
409 DefaultLabel, Ctx->VarScope);
413 this->Ctx->CaseLabels = std::move(OldCaseLabels);
414 this->Ctx->LabelInfoStack.pop_back();
419 CaseMap OldCaseLabels;
430 : Ctx(Ctx), OldFlag(Ctx->LocOverride), Enabled(Enabled) {
433 Ctx->LocOverride = NewValue;
438 Ctx->LocOverride = OldFlag;
443 std::optional<SourceInfo> OldFlag;
450template <
class Emitter>
458 case CK_LValueToRValue: {
461 if (!this->
visit(SubExpr))
463 return this->emitLoadPopL(E);
473 if (
const auto *DRE = dyn_cast<DeclRefExpr>(SubExpr)) {
479 if (
auto GlobalIndex =
P.getGlobal(D))
480 return this->emitGetGlobal(*SubExprT, *GlobalIndex, E);
481 }
else if (
auto It =
Locals.find(D); It !=
Locals.end()) {
482 return this->emitGetLocal(*SubExprT, It->second.Offset, E);
483 }
else if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
484 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
485 return this->emitGetParam(*SubExprT, It->second.Index, E);
497 if (!this->emitGetPtrLocal(*LocalIndex, E))
501 if (!this->
visit(SubExpr))
505 return this->emitLoadPop(*SubExprT, E);
510 return this->emitMemcpy(E);
513 case CK_DerivedToBaseMemberPointer: {
524 ->getMostRecentCXXRecordDecl();
526 const CXXRecordDecl *ToDecl = B->getType()->getAsCXXRecordDecl();
527 unsigned DerivedOffset =
Ctx.collectBaseOffset(ToDecl, CurDecl);
529 if (!this->emitCastMemberPtrBasePop(DerivedOffset, ToDecl, E))
537 case CK_BaseToDerivedMemberPointer: {
548 ->getMostRecentCXXRecordDecl();
552 typedef std::reverse_iterator<CastExpr::path_const_iterator> ReverseIter;
554 PathI != PathE; ++PathI) {
555 const CXXRecordDecl *ToDecl = (*PathI)->getType()->getAsCXXRecordDecl();
556 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
558 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
565 assert(ToDecl != CurDecl);
566 unsigned DerivedOffset =
Ctx.collectBaseOffset(CurDecl, ToDecl);
568 if (!this->emitCastMemberPtrDerivedPop(-DerivedOffset, ToDecl, E))
574 case CK_UncheckedDerivedToBase:
575 case CK_DerivedToBase: {
580 if (
const auto *PT = dyn_cast<PointerType>(Ty))
581 return PT->getPointeeType()->getAsCXXRecordDecl();
582 return Ty->getAsCXXRecordDecl();
589 if (B->isVirtual()) {
590 if (!this->emitGetPtrVirtBasePop(extractRecordDecl(B->getType()), E))
592 CurType = B->getType();
594 unsigned DerivedOffset = collectBaseOffset(B->getType(), CurType);
595 if (!this->emitGetPtrBasePop(
598 CurType = B->getType();
605 case CK_BaseToDerived: {
608 unsigned DerivedOffset =
614 return this->emitGetPtrDerivedPop(DerivedOffset,
619 case CK_FloatingCast: {
622 return this->emitVectorConversion(E->
getSubExpr(), E);
626 if (!this->
visit(SubExpr))
628 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
632 case CK_IntegralToFloating: {
634 return this->emitVectorConversion(E->
getSubExpr(), E);
637 if (!this->
visit(SubExpr))
639 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
640 return this->emitCastIntegralFloating(
classifyPrim(SubExpr),
641 TargetSemantics, getFPOptions(E), E);
644 case CK_FloatingToBoolean: {
646 return this->emitVectorConversion(E->
getSubExpr(), E);
650 if (
const auto *FL = dyn_cast<FloatingLiteral>(SubExpr))
651 return this->emitConstBool(FL->getValue().isNonZero(), E);
652 if (!this->
visit(SubExpr))
654 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
657 case CK_FloatingToIntegral: {
659 return this->emitVectorConversion(E->
getSubExpr(), E);
662 if (!this->
visit(SubExpr))
666 return this->emitCastFloatingIntegralAP(
Ctx.getBitWidth(E->
getType()),
669 return this->emitCastFloatingIntegralAPS(
Ctx.getBitWidth(E->
getType()),
672 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
675 case CK_NullToPointer:
676 case CK_NullToMemberPointer: {
679 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
684 case CK_PointerToIntegral: {
685 if (!this->
visit(SubExpr))
691 if (!this->emitDecayPtr(FromT,
PT_Ptr, E))
697 return this->emitCastPointerIntegralAP(
Ctx.getBitWidth(E->
getType()), E);
699 return this->emitCastPointerIntegralAPS(
Ctx.getBitWidth(E->
getType()), E);
700 return this->emitCastPointerIntegral(
T, E);
703 case CK_ArrayToPointerDecay: {
704 if (!this->
visit(SubExpr))
706 return this->emitArrayDecay(E);
709 case CK_IntegralToPointer: {
711 assert(IntType->isIntegralOrEnumerationType());
712 if (!this->
visit(SubExpr))
726 return this->emitDecayPtr(
PT_Ptr, DestPtrT, E);
729 case CK_AtomicToNonAtomic:
730 case CK_ConstructorConversion:
731 case CK_FunctionToPointerDecay:
732 case CK_NonAtomicToAtomic:
734 case CK_UserDefinedConversion:
735 case CK_AddressSpaceConversion:
736 case CK_CPointerToObjCPointerCast:
753 return this->emitBuiltinBitCast(E);
768 if (!this->
visit(SubExpr))
776 return this->emitFnPtrCast(E);
783 if (!this->
visit(SubExpr))
785 return this->emitDecayPtr(*FromT, *ToT, E);
787 case CK_IntegralToBoolean:
788 case CK_FixedPointToBoolean: {
790 return this->emitVectorConversion(E->
getSubExpr(), E);
796 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr))
797 return this->emitConst(IL->getValue(), E);
798 if (!this->
visit(SubExpr))
803 case CK_IntegralCast:
805 return this->emitVectorConversion(E->
getSubExpr(), E);
807 case CK_BooleanToSignedIntegral: {
814 if (
const auto *IL = dyn_cast<IntegerLiteral>(SubExpr)) {
819 if (!this->emitConst(IL->getValue(), SubExpr))
822 if (!this->
visit(SubExpr))
830 if (!ED->isFixed()) {
831 if (!this->emitCheckEnumValue(*FromT, ED, E))
837 if (!this->emitCastAP(*FromT,
Ctx.getBitWidth(E->
getType()), E))
840 if (!this->emitCastAPS(*FromT,
Ctx.getBitWidth(E->
getType()), E))
845 if (!this->emitCast(*FromT, *ToT, E))
848 if (E->
getCastKind() == CK_BooleanToSignedIntegral)
849 return this->emitNeg(*ToT, E);
853 case CK_PointerToBoolean:
854 if (!this->
visit(SubExpr))
856 return this->emitIsNonNullPtr(E);
858 case CK_MemberPointerToBoolean:
859 if (!this->
visit(SubExpr))
861 return this->emitIsNonNullMemberPtr(E);
863 case CK_IntegralComplexToBoolean:
864 case CK_FloatingComplexToBoolean: {
865 if (!this->
visit(SubExpr))
867 return this->emitComplexBoolCast(SubExpr);
870 case CK_IntegralComplexToReal:
871 case CK_FloatingComplexToReal:
872 return this->emitComplexReal(SubExpr);
874 case CK_IntegralRealToComplex:
875 case CK_FloatingRealToComplex: {
882 if (!this->emitGetPtrLocal(*LocalIndex, E))
891 if (!this->visitZeroInitializer(
T, SubExpr->
getType(), SubExpr))
893 return this->emitInitElem(
T, 1, SubExpr);
896 case CK_IntegralComplexCast:
897 case CK_FloatingComplexCast:
898 case CK_IntegralComplexToFloatingComplex:
899 case CK_FloatingComplexToIntegralComplex: {
906 if (!this->emitGetPtrLocal(*LocalIndex, E))
913 unsigned SubExprOffset =
915 if (!this->
visit(SubExpr))
917 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
925 for (
unsigned I = 0; I != 2; ++I) {
926 if (!this->emitGetLocal(
PT_Ptr, SubExprOffset, E))
928 if (!this->emitArrayElemPop(SourceElemT, I, E))
932 if (!this->emitPrimCast(SourceElemT, DestElemT, DestElemType, E))
936 if (!this->emitInitElem(DestElemT, I, E))
942 case CK_VectorSplat: {
953 if (!this->emitGetPtrLocal(*LocalIndex, E))
959 unsigned ElemOffset =
963 if (!this->
visit(SubExpr))
968 if (!this->emitSetLocal(ElemT, ElemOffset, E))
971 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
972 if (!this->emitGetLocal(ElemT, ElemOffset, E))
974 if (!this->emitInitElem(ElemT, I, E))
981 case CK_HLSLVectorTruncation: {
986 if (!this->
visit(SubExpr))
988 return this->emitArrayElemPop(*ResultT, 0, E);
997 if (!this->emitGetPtrLocal(*LocalIndex, E))
1002 if (!this->
visit(SubExpr))
1004 return this->emitCopyArray(classifyVectorElementType(E->
getType()), 0, 0,
1008 case CK_IntegralToFixedPoint: {
1009 if (!this->
visit(SubExpr))
1013 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1018 return this->emitPopFixedPoint(E);
1021 case CK_FloatingToFixedPoint: {
1022 if (!this->
visit(SubExpr))
1026 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1027 if (!this->emitCastFloatingFixedPoint(Sem, E))
1030 return this->emitPopFixedPoint(E);
1033 case CK_FixedPointToFloating: {
1034 if (!this->
visit(SubExpr))
1036 const auto *TargetSemantics = &
Ctx.getFloatSemantics(E->
getType());
1037 if (!this->emitCastFixedPointFloating(TargetSemantics, E))
1040 return this->emitPopFloat(E);
1043 case CK_FixedPointToIntegral: {
1044 if (!this->
visit(SubExpr))
1047 if (!this->emitCastFixedPointIntegral(IntegralT, E))
1050 return this->emitPop(IntegralT, E);
1053 case CK_FixedPointCast: {
1054 if (!this->
visit(SubExpr))
1057 Ctx.getASTContext().getFixedPointSemantics(E->
getType()).toOpaqueInt();
1058 if (!this->emitCastFixedPoint(Sem, E))
1061 return this->emitPopFixedPoint(E);
1069 llvm_unreachable(
"CXXDynamicCastExpr has its own function");
1071 case CK_LValueBitCast:
1076 case CK_HLSLArrayRValue: {
1083 if (!this->emitGetPtrLocal(*LocalIndex, E))
1086 if (!this->
visit(SubExpr))
1088 return this->emitMemcpy(E);
1091 case CK_HLSLMatrixTruncation: {
1096 if (!this->
visit(SubExpr))
1098 return this->emitArrayElemPop(*ResultT, 0, E);
1107 if (!this->emitGetPtrLocal(*LocalIndex, E))
1112 if (!this->
visit(SubExpr))
1114 return this->emitCopyArray(classifyMatrixElementType(SubExpr->
getType()), 0,
1118 case CK_HLSLAggregateSplatCast: {
1128 if (!this->emitGetPtrLocal(*LocalIndex, E))
1135 unsigned SrcOffset =
1138 if (!this->
visit(SubExpr))
1140 if (!this->emitSetLocal(SrcElemT, SrcOffset, E))
1144 return emitHLSLAggregateSplat(SrcElemT, SrcOffset, E->
getType(), E);
1147 case CK_HLSLElementwiseCast: {
1158 unsigned SrcPtrOffset =
1160 if (!this->
visit(SubExpr))
1162 if (!this->emitSetLocal(
PT_Ptr, SrcPtrOffset, E))
1166 if (!emitHLSLFlattenAggregate(SrcType, SrcPtrOffset, Elements, 1, E))
1168 if (Elements.empty())
1171 const HLSLFlatElement &Src = Elements[0];
1172 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
1174 return this->emitPrimCast(Src.Type, *DestT, DestType, E);
1181 if (!this->emitGetPtrLocal(*LocalIndex, E))
1185 unsigned SrcOffset =
1187 if (!this->
visit(SubExpr))
1189 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
1193 unsigned ElemCount = countHLSLFlatElements(DestType);
1196 Elements.reserve(ElemCount);
1197 if (!emitHLSLFlattenAggregate(SrcType, SrcOffset, Elements, ElemCount, E))
1202 assert(Elements.size() == ElemCount &&
1203 "Source type has fewer scalar elements than the destination type");
1205 return emitHLSLConstructAggregate(DestType, Elements, E);
1212 const Record::Field *RF = R->getField(UnionField);
1215 if (!this->
visit(SubExpr))
1217 if (RF->isBitField())
1218 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
1220 return this->emitInitFieldActivate(*PT, RF->Offset, E);
1223 if (!this->emitGetPtrField(RF->Offset, E))
1225 if (!this->emitActivate(E))
1231 return this->emitInvalid(E);
1233 llvm_unreachable(
"Unhandled clang::CastKind enum");
1236template <
class Emitter>
1238 return this->emitBuiltinBitCast(E);
1241template <
class Emitter>
1246 return this->emitConst(
LE->getValue(),
LE);
1249template <
class Emitter>
1255 return this->emitFloat(F, E);
1258template <
class Emitter>
1268 if (!this->emitGetPtrLocal(*LocalIndex, E))
1275 if (!this->visitZeroInitializer(SubExprT, SubExpr->
getType(), SubExpr))
1277 if (!this->emitInitElem(SubExprT, 0, SubExpr))
1282template <
class Emitter>
1290 auto Sem =
Ctx.getASTContext().getFixedPointSemantics(E->
getType());
1295template <
class Emitter>
1300template <
class Emitter>
1327 return this->emitComplexComparison(LHS, RHS, E);
1335 if (!this->
visit(LHS))
1338 if (!this->
visit(RHS))
1341 if (!this->emitToMemberPtr(E))
1347 if (!this->emitCastMemberPtrPtr(E))
1364 Ctx.getASTContext().CompCategories.lookupInfoForType(E->
getType());
1370 if (!this->emitGetPtrLocal(*ResultIndex, E))
1377 return this->emitCMP3(*
LT, CmpInfo, E);
1380 if (!
LT || !RT || !
T)
1390 return this->visitAssignment(LHS, RHS, E);
1397 auto MaybeCastToBool = [
this,
T, E](
bool Result) {
1401 return this->emitPopBool(E);
1403 return this->emitCast(
PT_Bool, *
T, E);
1407 auto Discard = [
this,
T, E](
bool Result) {
1415 return MaybeCastToBool(this->emitEQ(*
LT, E));
1417 return MaybeCastToBool(this->emitNE(*
LT, E));
1419 return MaybeCastToBool(this->emitLT(*
LT, E));
1421 return MaybeCastToBool(this->emitLE(*
LT, E));
1423 return MaybeCastToBool(this->emitGT(*
LT, E));
1425 return MaybeCastToBool(this->emitGE(*
LT, E));
1428 return Discard(this->emitSubf(getFPOptions(E), E));
1429 return Discard(this->emitSub(*
T, E));
1432 return Discard(this->emitAddf(getFPOptions(E), E));
1433 return Discard(this->emitAdd(*
T, E));
1436 return Discard(this->emitMulf(getFPOptions(E), E));
1437 return Discard(this->emitMul(*
T, E));
1439 return Discard(this->emitRem(*
T, E));
1442 return Discard(this->emitDivf(getFPOptions(E), E));
1443 return Discard(this->emitDiv(*
T, E));
1445 return Discard(this->emitBitAnd(*
T, E));
1447 return Discard(this->emitBitOr(*
T, E));
1449 return Discard(this->emitShl(*
LT, *RT, E));
1451 return Discard(this->emitShr(*
LT, *RT, E));
1453 return Discard(this->emitBitXor(*
T, E));
1456 llvm_unreachable(
"Already handled earlier");
1461 llvm_unreachable(
"Unhandled binary op");
1466template <
class Emitter>
1472 if ((Op != BO_Add && Op != BO_Sub) ||
1483 auto visitAsPointer = [&](
const Expr *E,
PrimType T) ->
bool {
1484 if (!this->
visit(E))
1487 return this->emitDecayPtr(
T,
PT_Ptr, E);
1496 if (!visitAsPointer(RHS, *RT) || !visitAsPointer(LHS, *
LT))
1504 ElemTypeSize =
Ctx.getASTContext().getTypeSizeInChars(ElemType);
1507 if (!this->emitSubPtr(IntT, ElemTypeSize.
getQuantity(), E))
1514 if (!visitAsPointer(RHS, *RT))
1516 if (!this->
visit(LHS))
1520 if (!visitAsPointer(LHS, *
LT))
1522 if (!this->
visit(RHS))
1533 if (!this->emitAddOffset(OffsetType, E))
1537 if (!this->emitSubOffset(OffsetType, E))
1546 if (!this->emitDecayPtr(
PT_Ptr, ExprT, E))
1551 return this->emitPop(ExprT, E);
1555template <
class Emitter>
1564 LabelTy LabelTrue = this->getLabel();
1565 LabelTy LabelEnd = this->getLabel();
1569 if (!this->jumpTrue(LabelTrue, E))
1574 if (!this->jump(LabelEnd, E))
1577 this->emitLabel(LabelTrue);
1578 this->emitConstBool(
true, E);
1579 this->fallthrough(LabelEnd);
1580 this->emitLabel(LabelEnd);
1583 assert(Op == BO_LAnd);
1586 LabelTy LabelFalse = this->getLabel();
1587 LabelTy LabelEnd = this->getLabel();
1591 if (!this->jumpFalse(LabelFalse, E))
1596 if (!this->jump(LabelEnd, E))
1599 this->emitLabel(LabelFalse);
1600 this->emitConstBool(
false, E);
1601 this->fallthrough(LabelEnd);
1602 this->emitLabel(LabelEnd);
1606 return this->emitPopBool(E);
1611 return this->emitCast(
PT_Bool,
T, E);
1616template <
class Emitter>
1623 if (!this->emitGetPtrLocal(*LocalIndex, E))
1632 PrimType ResultElemT = this->classifyComplexElementType(E->
getType());
1633 unsigned ResultOffset = ~0u;
1639 if (!this->emitDupPtr(E))
1641 if (!this->emitSetLocal(
PT_Ptr, ResultOffset, E))
1646 LHSType = AT->getValueType();
1649 RHSType = AT->getValueType();
1658 if (Op == BO_Mul && LHSIsComplex && RHSIsComplex) {
1663 if (!this->
visit(LHS))
1665 if (!this->
visit(RHS))
1667 if (!this->emitMulc(ElemT, E))
1670 return this->emitPopPtr(E);
1674 if (Op == BO_Div && RHSIsComplex) {
1681 if (!LHSIsComplex) {
1686 LHSOffset = *LocalIndex;
1688 if (!this->emitGetPtrLocal(LHSOffset, E))
1691 if (!this->
visit(LHS))
1694 if (!this->emitInitElem(ElemT, 0, E))
1697 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
1699 if (!this->emitInitElem(ElemT, 1, E))
1702 if (!this->
visit(LHS))
1706 if (!this->
visit(RHS))
1708 if (!this->emitDivc(ElemT, E))
1711 return this->emitPopPtr(E);
1718 if (!this->
visit(LHS))
1720 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1725 if (!this->
visit(LHS))
1727 if (!this->emitSetLocal(LHST, LHSOffset, E))
1735 if (!this->
visit(RHS))
1737 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1742 if (!this->
visit(RHS))
1744 if (!this->emitSetLocal(RHST, RHSOffset, E))
1751 auto loadComplexValue = [
this](
bool IsComplex,
bool LoadZero,
1752 unsigned ElemIndex,
unsigned Offset,
1753 const Expr *E) ->
bool {
1755 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1757 return this->emitArrayElemPop(classifyComplexElementType(E->
getType()),
1760 if (ElemIndex == 0 || !LoadZero)
1767 for (
unsigned ElemIndex = 0; ElemIndex != 2; ++ElemIndex) {
1770 if (!this->emitGetLocal(
PT_Ptr, ResultOffset, E))
1777 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1780 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1783 if (!this->emitAddf(getFPOptions(E), E))
1786 if (!this->emitAdd(ResultElemT, E))
1791 if (!loadComplexValue(LHSIsComplex,
true, ElemIndex, LHSOffset, LHS))
1794 if (!loadComplexValue(RHSIsComplex,
true, ElemIndex, RHSOffset, RHS))
1797 if (!this->emitSubf(getFPOptions(E), E))
1800 if (!this->emitSub(ResultElemT, E))
1805 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1808 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1812 if (!this->emitMulf(getFPOptions(E), E))
1815 if (!this->emitMul(ResultElemT, E))
1820 assert(!RHSIsComplex);
1821 if (!loadComplexValue(LHSIsComplex,
false, ElemIndex, LHSOffset, LHS))
1824 if (!loadComplexValue(RHSIsComplex,
false, ElemIndex, RHSOffset, RHS))
1828 if (!this->emitDivf(getFPOptions(E), E))
1831 if (!this->emitDiv(ResultElemT, E))
1842 if (!this->emitInitElemPop(ResultElemT, ElemIndex, E))
1845 if (!this->emitPop(ResultElemT, E))
1850 return this->emitPopPtr(E);
1856template <
class Emitter>
1861 "Comma op should be handled in VisitBinaryOperator");
1875 if (!this->emitGetPtrLocal(*LocalIndex, E))
1889 assert(
Ctx.getASTContext().hasSameUnqualifiedType(
1892 if (!this->
visit(LHS))
1894 if (!this->
visit(RHS))
1896 if (!this->emitCopyArray(ElemT, 0, 0, VecTy->getNumElements(), E))
1899 return this->emitPopPtr(E);
1904 unsigned LHSOffset =
1906 if (!this->
visit(LHS))
1908 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
1912 unsigned RHSOffset =
1914 if (!this->
visit(RHS))
1916 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
1928 if (NeedIntPromot) {
1930 Ctx.getASTContext().getPromotedIntegerType(
Ctx.getASTContext().BoolTy);
1935 auto getElem = [=](
unsigned Offset,
PrimType ElemT,
unsigned Index) {
1936 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
1938 if (!this->emitArrayElemPop(ElemT, Index, E))
1941 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
1943 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
1945 }
else if (NeedIntPromot) {
1946 if (!this->emitPrimCast(ElemT, PromotT, PromotTy, E))
1952#define EMIT_ARITH_OP(OP) \
1954 if (ElemT == PT_Float) { \
1955 if (!this->emit##OP##f(getFPOptions(E), E)) \
1958 if (!this->emit##OP(ElemT, E)) \
1964 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
1965 if (!getElem(LHSOffset, ElemT, I))
1967 if (!getElem(RHSOffset, RHSElemT, I))
1979 if (!this->emitRem(ElemT, E))
1983 if (!this->emitBitAnd(OpT, E))
1987 if (!this->emitBitOr(OpT, E))
1991 if (!this->emitBitXor(OpT, E))
1995 if (!this->emitShl(OpT, RHSElemT, E))
1999 if (!this->emitShr(OpT, RHSElemT, E))
2003 if (!this->emitEQ(ElemT, E))
2007 if (!this->emitNE(ElemT, E))
2011 if (!this->emitLE(ElemT, E))
2015 if (!this->emitLT(ElemT, E))
2019 if (!this->emitGE(ElemT, E))
2023 if (!this->emitGT(ElemT, E))
2028 if (!this->emitBitAnd(ResultElemT, E))
2033 if (!this->emitBitOr(ResultElemT, E))
2037 return this->emitInvalid(E);
2046 if (!this->emitPrimCast(
PT_Bool, ResultElemT, VecTy->getElementType(), E))
2048 if (!this->emitNeg(ResultElemT, E))
2054 if (NeedIntPromot &&
2055 !this->emitPrimCast(PromotT, ResultElemT, VecTy->getElementType(), E))
2059 if (!this->emitInitElem(ResultElemT, I, E))
2068template <
class Emitter>
2078 auto LHSSemaInt = LHSSema.toOpaqueInt();
2080 auto RHSSemaInt = RHSSema.toOpaqueInt();
2082 if (!this->
visit(LHS))
2090 if (!this->
visit(RHS))
2099 auto ConvertResult = [&](
bool R) ->
bool {
2103 auto CommonSema = LHSSema.getCommonSemantics(RHSSema).toOpaqueInt();
2104 if (ResultSema != CommonSema)
2105 return this->emitCastFixedPoint(ResultSema, E);
2109 auto MaybeCastToBool = [&](
bool Result) {
2114 return this->emitPop(
T, E);
2116 return this->emitCast(
PT_Bool,
T, E);
2122 return MaybeCastToBool(this->emitEQFixedPoint(E));
2124 return MaybeCastToBool(this->emitNEFixedPoint(E));
2126 return MaybeCastToBool(this->emitLTFixedPoint(E));
2128 return MaybeCastToBool(this->emitLEFixedPoint(E));
2130 return MaybeCastToBool(this->emitGTFixedPoint(E));
2132 return MaybeCastToBool(this->emitGEFixedPoint(E));
2134 return ConvertResult(this->emitAddFixedPoint(E));
2136 return ConvertResult(this->emitSubFixedPoint(E));
2138 return ConvertResult(this->emitMulFixedPoint(E));
2140 return ConvertResult(this->emitDivFixedPoint(E));
2142 return ConvertResult(this->emitShiftFixedPoint(
true, E));
2144 return ConvertResult(this->emitShiftFixedPoint(
false, E));
2147 return this->emitInvalid(E);
2150 llvm_unreachable(
"unhandled binop opcode");
2153template <
class Emitter>
2162 if (!this->
visit(SubExpr))
2164 if (!this->emitNegFixedPoint(E))
2167 return this->emitPopFixedPoint(E);
2173 llvm_unreachable(
"Unhandled unary opcode");
2176template <
class Emitter>
2185 return this->visitZeroInitializer(*
T, QT, E);
2198 return this->visitZeroRecordInitializer(R, E);
2205 return this->visitZeroArrayInitializer(QT, E);
2209 QualType ElemQT = ComplexTy->getElementType();
2211 for (
unsigned I = 0; I < 2; ++I) {
2212 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2214 if (!this->emitInitElem(ElemT, I, E))
2221 unsigned NumVecElements = VecT->getNumElements();
2222 QualType ElemQT = VecT->getElementType();
2225 for (
unsigned I = 0; I < NumVecElements; ++I) {
2226 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2228 if (!this->emitInitElem(ElemT, I, E))
2235 unsigned NumElems = MT->getNumElementsFlattened();
2236 QualType ElemQT = MT->getElementType();
2239 for (
unsigned I = 0; I != NumElems; ++I) {
2240 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2242 if (!this->emitInitElem(ElemT, I, E))
2251template <
class Emitter>
2264 for (
const Expr *SubExpr : {LHS, RHS}) {
2265 if (!this->
visit(SubExpr)) {
2272 if (SubExpr ==
Base &&
Base->getType()->isPointerType()) {
2273 if (!this->emitExpandPtr(E))
2284 return this->emitError(E);
2287 if (!this->emitFlip(
PT_Ptr, *IndexT, E))
2291 if (!this->emitArrayElemPtrPop(*IndexT, E))
2294 return this->emitPopPtr(E);
2300 return this->emitLoadPop(*
T, E);
2303template <
class Emitter>
2305 const Expr *ArrayFiller,
const Expr *E) {
2310 QT = AT->getValueType();
2313 if (
Inits.size() == 0)
2315 return this->emitInvalid(E);
2330 if (
Inits.size() == 0)
2331 return this->visitZeroInitializer(*
T, QT, E);
2332 assert(
Inits.size() == 1);
2345 auto initPrimitiveField = [=](
const Record::Field *FieldToInit,
2352 bool BitField = FieldToInit->isBitField();
2354 return this->emitInitBitFieldActivate(
T, FieldToInit->Offset,
2355 FieldToInit->bitWidth(), E);
2357 return this->emitInitBitField(
T, FieldToInit->Offset,
2358 FieldToInit->bitWidth(), E);
2360 return this->emitInitFieldActivate(
T, FieldToInit->Offset, E);
2361 return this->emitInitField(
T, FieldToInit->Offset, E);
2364 auto initCompositeField = [=](
const Record::Field *FieldToInit,
2372 if (!this->emitGetPtrField(FieldToInit->Offset,
Init))
2375 if (
Activate && !this->emitActivate(E))
2382 if (
Inits.size() == 0) {
2383 if (!this->visitZeroRecordInitializer(R, E))
2388 if (
const auto *ILE = dyn_cast<InitListExpr>(E))
2389 FToInit = ILE->getInitializedFieldInUnion();
2393 const Record::Field *FieldToInit = R->getField(FToInit);
2395 if (!initPrimitiveField(FieldToInit,
Init, *
T,
true))
2398 if (!initCompositeField(FieldToInit,
Init,
true))
2402 return this->emitFinishInit(E);
2405 assert(!R->isUnion());
2406 for (
unsigned BI = 0; BI != R->getNumBases(); ++BI) {
2408 const Record::Base *B = R->getBase(BI);
2411 if (!this->emitGetPtrBase(B->Offset,
Init))
2417 unsigned FieldIndex = 0;
2418 for (
unsigned FI = R->getNumBases(); FI !=
Inits.size();) {
2419 const Record::Field *FieldToInit = R->getField(FieldIndex);
2420 if (FieldToInit->isUnnamedBitField()) {
2435 if (!initPrimitiveField(FieldToInit,
Init, *
T))
2437 }
else if (!initCompositeField(FieldToInit,
Init)) {
2445 assert(R->getNumVirtualBases() == 0);
2447 return this->emitFinishInit(E);
2452 Ctx.getASTContext().getAsConstantArrayType(QT);
2457 !this->emitCheckArrayDestSize(NumElems, E))
2460 if (
Inits.size() == 1 && QT ==
Inits[0]->getType())
2464 unsigned ElementIndex = 0;
2466 if (
const auto *EmbedS =
2467 dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
2475 if (!this->emitCastIntegralFloating(
classifyPrim(IL), Sem,
2476 getFPOptions(E), E))
2482 return this->emitInitElem(TargetT, ElemIndex, IL);
2484 if (!EmbedS->doForEachDataElement(Eval, ElementIndex))
2500 for (; ElementIndex != NumElems; ++ElementIndex) {
2506 return this->emitFinishInit(E);
2510 unsigned NumInits =
Inits.size();
2515 QualType ElemQT = ComplexTy->getElementType();
2517 if (NumInits == 0) {
2519 for (
unsigned I = 0; I < 2; ++I) {
2520 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2522 if (!this->emitInitElem(ElemT, I, E))
2525 }
else if (NumInits == 2) {
2526 unsigned InitIndex = 0;
2531 if (!this->emitInitElem(ElemT, InitIndex, E))
2540 unsigned NumVecElements = VecT->getNumElements();
2541 assert(NumVecElements >=
Inits.size());
2543 QualType ElemQT = VecT->getElementType();
2547 unsigned InitIndex = 0;
2554 if (
const auto *InitVecT =
Init->getType()->getAs<
VectorType>()) {
2555 if (!this->emitCopyArray(ElemT, 0, InitIndex,
2556 InitVecT->getNumElements(), E))
2558 InitIndex += InitVecT->getNumElements();
2560 if (!this->emitInitElem(ElemT, InitIndex, E))
2566 assert(InitIndex <= NumVecElements);
2569 for (; InitIndex != NumVecElements; ++InitIndex) {
2570 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
2572 if (!this->emitInitElem(ElemT, InitIndex, E))
2579 unsigned NumElems = MT->getNumElementsFlattened();
2580 assert(
Inits.size() == NumElems);
2582 QualType ElemQT = MT->getElementType();
2588 for (
unsigned I = 0; I != NumElems; ++I) {
2591 if (!this->emitInitElem(ElemT, I, E))
2602template <
class Emitter>
2609 return this->emitInitElem(*InitT, ElemIndex,
Init);
2615 if (!this->emitConstUint32(ElemIndex,
Init))
2617 if (!this->emitArrayElemPtrUint32(
Init))
2622template <
class Emitter>
2625 bool Activate,
bool IsOperatorCall) {
2627 llvm::BitVector NonNullArgs;
2628 if (FuncDecl && FuncDecl->
hasAttr<NonNullAttr>())
2631 bool ExplicitMemberFn =
false;
2632 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl))
2633 ExplicitMemberFn = MD->isExplicitObjectMemberFunction();
2635 unsigned ArgIndex = 0;
2636 for (
const Expr *Arg : Args) {
2638 if (!this->
visit(Arg))
2646 unsigned DeclIndex = ArgIndex - IsOperatorCall + ExplicitMemberFn;
2647 if (DeclIndex < FuncDecl->getNumParams())
2648 Source = FuncDecl->
getParamDecl(ArgIndex - IsOperatorCall +
2657 if (!this->emitGetPtrLocal(*LocalIndex, Arg))
2665 if (!this->emitActivate(Arg))
2669 if (!NonNullArgs.empty() && NonNullArgs[ArgIndex]) {
2672 if (!this->emitCheckNonNullArg(ArgT, Arg))
2683template <
class Emitter>
2688template <
class Emitter>
2694template <
class Emitter>
2700template <
class Emitter>
2718template <
class Emitter>
2720 auto It = E->
begin();
2721 return this->
visit(*It);
2725 UnaryExprOrTypeTrait Kind) {
2726 bool AlignOfReturnsPreferred =
2733 T = Ref->getPointeeType();
2735 if (
T.getQualifiers().hasUnaligned())
2741 if (Kind == UETT_PreferredAlignOf || AlignOfReturnsPreferred)
2747template <
class Emitter>
2751 UnaryExprOrTypeTrait Kind = E->
getKind();
2754 if (Kind == UETT_SizeOf || Kind == UETT_DataSizeOf) {
2760 ArgType = Ref->getPointeeType();
2766 if (
ArgType->isDependentType() || !
ArgType->isConstantSizeType())
2767 return this->emitInvalid(E);
2769 if (Kind == UETT_SizeOf)
2778 return this->emitConst(Size.getQuantity(), E);
2781 if (Kind == UETT_CountOf) {
2787 if (
const auto *CAT =
2791 return this->emitConst(CAT->getSize(), E);
2801 if (VAT->getElementType()->isArrayType()) {
2802 std::optional<APSInt> Res =
2804 ? VAT->getSizeExpr()->getIntegerConstantExpr(ASTCtx)
2809 return this->emitConst(*Res, E);
2814 if (Kind == UETT_AlignOf || Kind == UETT_PreferredAlignOf) {
2834 if (
const auto *DRE = dyn_cast<DeclRefExpr>(Arg))
2837 else if (
const auto *ME = dyn_cast<MemberExpr>(Arg))
2847 return this->emitConst(Size.getQuantity(), E);
2850 if (Kind == UETT_VectorElements) {
2855 return this->emitConst(VT->getNumElements(), E);
2857 return this->emitSizelessVectorElementSize(E);
2860 if (Kind == UETT_VecStep) {
2862 unsigned N = VT->getNumElements();
2869 return this->emitConst(N, E);
2871 return this->emitConst(1, E);
2874 if (Kind == UETT_OpenMPRequiredSimdAlign) {
2883 if (Kind == UETT_PtrAuthTypeDiscriminator) {
2885 return this->emitInvalid(E);
2887 return this->emitConst(
2888 const_cast<ASTContext &
>(ASTCtx).getPointerAuthTypeDiscriminator(
2896template <
class Emitter>
2905 if (
const auto *VD = dyn_cast<VarDecl>(
Member)) {
2908 if (
auto GlobalIndex =
P.getGlobal(VD)) {
2909 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
2911 if (
Member->getType()->isReferenceType())
2912 return this->emitLoadPopPtr(E);
2921 if (
const auto *MD = dyn_cast<CXXMethodDecl>(
Member);
2922 MD && !MD->isStatic()) {
2926 if (!this->
discard(Base) && !this->emitSideEffect(E))
2941 const Record::Field *F = R->getField(FD);
2945 const auto maybeLoadValue = [&]() ->
bool {
2949 return this->emitLoadPop(*
T, E);
2954 if (F->Decl->getType()->isReferenceType())
2955 return this->emitGetFieldPop(
PT_Ptr, F->Offset, E) && maybeLoadValue();
2956 return this->emitGetPtrFieldPop(F->Offset, E) && maybeLoadValue();
2959template <
class Emitter>
2969template <
class Emitter>
2983 if (!this->
visit(Common))
2985 return this->emitCopyArray(*SubExprT, 0, 0, Size, E);
2999 for (
size_t I = 0; I != Size; ++I) {
3011template <
class Emitter>
3026 return this->emitGetLocal(SubExprT, It->second, E);
3029 if (!this->
visit(SourceExpr))
3036 if (!this->emitSetLocal(SubExprT, LocalIndex, E))
3045 return this->emitGetLocal(SubExprT, LocalIndex, E);
3049template <
class Emitter>
3062 bool IsBcpCall =
false;
3063 if (
const auto *CE = dyn_cast<CallExpr>(
Condition->IgnoreParenCasts());
3064 CE && CE->getBuiltinCallee() == Builtin::BI__builtin_constant_p) {
3068 LabelTy LabelEnd = this->getLabel();
3069 LabelTy LabelFalse = this->getLabel();
3072 if (!this->emitPushIgnoreDiags(E))
3080 if (this->checkingForUndefinedBehavior()) {
3083 if (!this->
discard(FalseExpr))
3100 if (!this->jumpFalse(LabelFalse, E))
3105 if (!this->jump(LabelEnd, E))
3107 this->emitLabel(LabelFalse);
3111 this->fallthrough(LabelEnd);
3112 this->emitLabel(LabelEnd);
3115 return this->emitPopIgnoreDiags(E);
3119template <
class Emitter>
3125 return this->emitGetStringPtr(E, E);
3129 Ctx.getASTContext().getAsConstantArrayType(E->
getType());
3130 assert(CAT &&
"a string literal that's not a constant array?");
3135 unsigned N = std::min(ArraySize, E->
getLength());
3138 for (
unsigned I = 0; I != N; ++I) {
3141 if (CharWidth == 1) {
3142 this->emitConstSint8(CodeUnit, E);
3143 this->emitInitElemSint8(I, E);
3144 }
else if (CharWidth == 2) {
3145 this->emitConstUint16(CodeUnit, E);
3146 this->emitInitElemUint16(I, E);
3147 }
else if (CharWidth == 4) {
3148 this->emitConstUint32(CodeUnit, E);
3149 this->emitInitElemUint32(I, E);
3151 llvm_unreachable(
"unsupported character width");
3156 for (
unsigned I = N; I != ArraySize; ++I) {
3157 if (CharWidth == 1) {
3158 this->emitConstSint8(0, E);
3159 this->emitInitElemSint8(I, E);
3160 }
else if (CharWidth == 2) {
3161 this->emitConstUint16(0, E);
3162 this->emitInitElemUint16(I, E);
3163 }
else if (CharWidth == 4) {
3164 this->emitConstUint32(0, E);
3165 this->emitInitElemUint32(I, E);
3167 llvm_unreachable(
"unsupported character width");
3174template <
class Emitter>
3178 return this->emitDummyPtr(E, E);
3181template <
class Emitter>
3183 auto &A =
Ctx.getASTContext();
3192template <
class Emitter>
3200 auto &A =
Ctx.getASTContext();
3204 APInt Size(A.getTypeSize(A.getSizeType()), ResultStr.size() + 1);
3205 QualType ArrayTy = A.getConstantArrayType(CharTy, Size,
nullptr,
3211 return this->emitGetStringPtr(SL, E);
3214template <
class Emitter>
3218 return this->emitConst(E->
getValue(), E);
3221template <
class Emitter>
3243 if (!this->emitLoad(LHST, E))
3246 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3247 LHSComputationType, E))
3259 unsigned TempOffset =
3261 if (!this->emitSetLocal(*RT, TempOffset, E))
3267 if (!this->emitLoad(LHST, E))
3271 if (!this->emitPrimCast(LHST,
classifyPrim(LHSComputationType),
3272 LHSComputationType, E))
3276 if (!this->emitGetLocal(*RT, TempOffset, E))
3282 if (!this->emitAddf(getFPOptions(E), E))
3286 if (!this->emitSubf(getFPOptions(E), E))
3290 if (!this->emitMulf(getFPOptions(E), E))
3294 if (!this->emitDivf(getFPOptions(E), E))
3305 return this->emitStorePop(LHST, E);
3306 return this->emitStore(LHST, E);
3309template <
class Emitter>
3318 if (Op != BO_AddAssign && Op != BO_SubAssign)
3327 if (!this->emitLoad(*
LT, LHS))
3333 if (Op == BO_AddAssign) {
3334 if (!this->emitAddOffset(*RT, E))
3337 if (!this->emitSubOffset(*RT, E))
3342 return this->emitStorePopPtr(E);
3343 return this->emitStorePtr(E);
3346template <
class Emitter>
3359 if (!
Ctx.getLangOpts().CPlusPlus14)
3360 return this->
visit(RHS) && this->
visit(LHS) && this->emitError(E);
3362 if (!
LT || !RT || !ResultT || !LHSComputationT)
3379 if (!this->emitLoad(*
LT, E))
3381 if (
LT != LHSComputationT &&
3382 !this->emitIntegralCast(*
LT, *LHSComputationT,
3396 unsigned TempOffset =
3399 if (!this->emitSetLocal(*RT, TempOffset, E))
3406 if (!this->emitLoad(*
LT, E))
3408 if (
LT != LHSComputationT &&
3409 !this->emitIntegralCast(*
LT, *LHSComputationT,
3414 if (!this->emitGetLocal(*RT, TempOffset, E))
3421 if (!this->emitAdd(*LHSComputationT, E))
3425 if (!this->emitSub(*LHSComputationT, E))
3429 if (!this->emitMul(*LHSComputationT, E))
3433 if (!this->emitDiv(*LHSComputationT, E))
3437 if (!this->emitRem(*LHSComputationT, E))
3441 if (!this->emitShl(*LHSComputationT, *RT, E))
3445 if (!this->emitShr(*LHSComputationT, *RT, E))
3449 if (!this->emitBitAnd(*LHSComputationT, E))
3453 if (!this->emitBitXor(*LHSComputationT, E))
3457 if (!this->emitBitOr(*LHSComputationT, E))
3461 llvm_unreachable(
"Unimplemented compound assign operator");
3465 if (ResultT != LHSComputationT &&
3466 !this->emitIntegralCast(*LHSComputationT, *ResultT, E->
getType(), E))
3472 return this->emitStoreBitFieldPop(*ResultT, E);
3473 return this->emitStorePop(*ResultT, E);
3476 return this->emitStoreBitField(*ResultT, E);
3477 return this->emitStore(*ResultT, E);
3480template <
class Emitter>
3488template <
class Emitter>
3503 if (!
Ctx.getLangOpts().CPlusPlus11)
3510 for (
const Expr *LHS : CommaLHSs) {
3532 if (!this->
visit(Inner))
3537 if (!this->emitInitGlobalTemp(*InnerT, *GlobalIndex, TempDecl, E))
3540 if (!this->emitInitGlobal(*InnerT, *GlobalIndex, E))
3543 return this->emitGetPtrGlobal(*GlobalIndex, E);
3546 if (!this->checkLiteralType(Inner))
3549 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3555 return this->emitInitGlobalTempComp(TempDecl, E);
3568 unsigned LocalIndex =
3570 if (!this->VarScope->LocalsAlwaysEnabled &&
3571 !this->emitEnableLocal(LocalIndex, E))
3574 if (!this->
visit(Inner))
3576 if (!this->emitSetLocal(*InnerT, LocalIndex, E))
3579 return this->emitGetPtrLocal(LocalIndex, E);
3582 if (!this->checkLiteralType(Inner))
3589 if (!this->VarScope->LocalsAlwaysEnabled &&
3590 !this->emitEnableLocal(*LocalIndex, E))
3593 if (!this->emitGetPtrLocal(*LocalIndex, E))
3600template <
class Emitter>
3611 if (!this->
visit(SubExpr))
3615 return this->emitPopPtr(E);
3619template <
class Emitter>
3640 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
3645 if (
P.isGlobalInitialized(*GlobalIndex))
3651 return this->emitInitGlobal(*
T, *GlobalIndex, E);
3663 unsigned LocalIndex;
3667 LocalIndex = *MaybeIndex;
3671 if (!this->emitGetPtrLocal(LocalIndex, E))
3675 return this->
visit(
Init) && this->emitInit(*
T, E);
3679template <
class Emitter>
3690 Ctx.getASTContext().CompCategories.getInfoForType(E->
getType());
3694 if (!R || R->getNumFields() == 0)
3696 const Record::Field *Field = R->getField(0
U);
3701 return this->emitInitField(*Field->T, Field->Offset, E);
3708template <
class Emitter>
3712 return this->emitConst(E->
getValue(), E);
3715template <
class Emitter>
3728 for (
const Record::Field &F : R->fields()) {
3730 if (!
Init ||
Init->containsErrors())
3738 if (!this->emitInitField(*
T, F.Offset, E))
3741 if (!this->emitGetPtrField(F.Offset, E))
3752template <
class Emitter>
3758 return this->emitGetStringPtr(E, E);
3762template <
class Emitter>
3767 return this->emitInvalid(E);
3770template <
class Emitter>
3784 if (!this->emitInvalidCast(
CastKind,
false, E))
3792 bool Fatal = (ToT != FromT);
3799template <
class Emitter>
3801 if (!
Ctx.getLangOpts().CPlusPlus20) {
3822 if (!this->emitDynamicCast(DestType.
getTypePtr(),
3827 return this->emitPopPtr(E);
3831template <
class Emitter>
3837 return this->emitConstBool(E->
getValue(), E);
3840template <
class Emitter>
3845 if (
T->isRecordType()) {
3859 if (!this->emitGetPtrLocal(*LocalIndex, E))
3867 T->getAsCXXRecordDecl()))
3877 if (!this->visitZeroRecordInitializer(R, E))
3889 assert(
Ctx.getASTContext().hasSameUnqualifiedType(E->
getType(),
3891 if (
const auto *ME = dyn_cast<MaterializeTemporaryExpr>(SrcObj)) {
3892 if (!this->emitCheckFunctionDecl(Ctor, E))
3903 assert(
Func->hasThisPointer());
3904 assert(!
Func->hasRVO());
3908 if (!this->emitDupPtr(E))
3912 for (
const auto *Arg : E->
arguments()) {
3913 if (!this->
visit(Arg))
3917 if (
Func->isVariadic()) {
3918 uint32_t VarArgSize = 0;
3919 unsigned NumParams =
Func->getNumWrittenParams();
3920 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I) {
3924 if (!this->emitCallVar(
Func, VarArgSize, E))
3927 if (!this->emitCall(
Func, 0, E)) {
3932 (void)this->emitPopPtr(E);
3938 return this->emitPopPtr(E);
3942 if (
T->isArrayType()) {
3947 if (!this->emitDupPtr(E))
3951 initArrayDimension = [&](
QualType T) ->
bool {
3952 if (!
T->isArrayType()) {
3954 for (
const auto *Arg : E->
arguments()) {
3955 if (!this->
visit(Arg))
3959 return this->emitCall(
Func, 0, E);
3963 Ctx.getASTContext().getAsConstantArrayType(
T);
3968 for (
size_t I = 0; I != NumElems; ++I) {
3969 if (!this->emitConstUint64(I, E))
3971 if (!this->emitArrayElemPtrUint64(E))
3973 if (!initArrayDimension(ElemTy))
3976 return this->emitPopPtr(E);
3979 return initArrayDimension(E->
getType());
3985template <
class Emitter>
3995 assert(Val.
isInt());
3997 return this->emitConst(I, E);
4004 if (
const Expr *LValueExpr =
Base.dyn_cast<
const Expr *>())
4005 return this->
visit(LValueExpr);
4020 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4024 const APValue &
V = UGCD->getValue();
4025 for (
unsigned I = 0, N = R->getNumFields(); I != N; ++I) {
4026 const Record::Field *F = R->getField(I);
4027 const APValue &FieldValue =
V.getStructField(I);
4031 if (!this->emitInitField(*F->T, F->Offset, E))
4039template <
class Emitter>
4045 for (
unsigned I = 0; I != N; ++I) {
4052 if (!this->
discard(ArrayIndexExpr))
4058 if (!this->
visit(ArrayIndexExpr))
4060 if (!this->emitCastAPToOffsetIndex(IndexT, E))
4064 if (!this->
visit(ArrayIndexExpr))
4068 if (!this->emitCast(IndexT,
PT_Sint64, E))
4078 return this->emitOffsetOf(
T, E, E);
4081template <
class Emitter>
4090 return this->visitZeroInitializer(*
T, Ty, E);
4097 if (!this->emitGetPtrLocal(*LocalIndex, E))
4105 ElemQT = CT->getElementType();
4108 NumElems = VT->getNumElements();
4109 ElemQT = VT->getElementType();
4115 for (
unsigned I = 0; I != NumElems; ++I) {
4116 if (!this->visitZeroInitializer(ElemT, ElemQT, E))
4118 if (!this->emitInitElem(ElemT, I, E))
4127template <
class Emitter>
4132template <
class Emitter>
4138template <
class Emitter>
4143template <
class Emitter>
4148 return this->emitConst(E->
getValue(), E);
4151template <
class Emitter>
4156 "Trivial CXXInheritedCtorInitExpr, implement. (possible?)");
4171 unsigned ParamIndex = 0;
4175 if (!this->emitGetParam(PT, ParamIndex, E))
4180 return this->emitCall(F, 0, E);
4185template <
class Emitter>
4193 const Expr *PlacementDest =
nullptr;
4194 bool IsNoThrow =
false;
4199 if (PlacementArgs != 0) {
4208 if (PlacementArgs == 1) {
4216 if (!this->emitInvalidNewDeleteExpr(E, E))
4221 if (OperatorNew->isReservedGlobalPlacementOperator())
4222 PlacementDest = Arg1;
4226 return this->emitInvalid(E);
4228 }
else if (!OperatorNew
4229 ->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4230 return this->emitInvalidNewDeleteExpr(E, E);
4233 if (!PlacementDest) {
4238 Desc =
P.createDescriptor(E, *ElemT);
4240 Desc =
P.createDescriptor(E, ElementType.getTypePtr(),
false,
4247 std::optional<const Expr *> ArraySizeExpr = E->
getArraySize();
4251 const Expr *Stripped = *ArraySizeExpr;
4252 for (;
auto *ICE = dyn_cast<ImplicitCastExpr>(Stripped);
4253 Stripped = ICE->getSubExpr())
4254 if (ICE->getCastKind() != CK_NoOp &&
4255 ICE->getCastKind() != CK_IntegralCast)
4263 if (!this->
visit(Stripped))
4265 if (!this->emitSetLocal(
SizeT, ArrayLen, E))
4268 if (PlacementDest) {
4269 if (!this->
visit(PlacementDest))
4271 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4273 if (!this->emitCheckNewTypeMismatchArray(
SizeT, E, E))
4276 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4281 if (!this->emitAllocN(
SizeT, *ElemT, E, IsNoThrow, E))
4285 if (!this->emitAllocCN(
SizeT, Desc, IsNoThrow, E))
4292 size_t StaticInitElems = 0;
4293 const Expr *DynamicInit =
nullptr;
4297 Ctx.getASTContext().getAsConstantArrayType(InitType)) {
4298 StaticInitElems = CAT->getZExtSize();
4303 if (
const auto *ILE = dyn_cast<InitListExpr>(
Init)) {
4304 if (ILE->hasArrayFiller())
4305 DynamicInit = ILE->getArrayFiller();
4324 const Function *CtorFunc =
nullptr;
4325 if (
const auto *CE = dyn_cast<CXXConstructExpr>(
Init)) {
4329 }
else if (!DynamicInit && !ElemT)
4332 LabelTy EndLabel = this->getLabel();
4333 LabelTy StartLabel = this->getLabel();
4338 if (!this->emitDupPtr(E))
4340 if (!this->emitIsNonNullPtr(E))
4342 if (!this->jumpFalse(EndLabel, E))
4349 if (!this->emitConst(StaticInitElems,
SizeT, E))
4351 if (!this->emitSetLocal(
SizeT, Iter, E))
4354 this->fallthrough(StartLabel);
4355 this->emitLabel(StartLabel);
4357 if (!this->emitGetLocal(
SizeT, Iter, E))
4359 if (!this->emitGetLocal(
SizeT, ArrayLen, E))
4361 if (!this->emitLT(
SizeT, E))
4363 if (!this->jumpFalse(EndLabel, E))
4367 if (!this->emitGetLocal(
SizeT, Iter, E))
4369 if (!this->emitArrayElemPtr(
SizeT, E))
4372 if (isa_and_nonnull<ImplicitValueInitExpr>(DynamicInit) &&
4377 if (!this->visitZeroInitializer(*InitT, ElemType, E))
4379 if (!this->emitStorePop(*InitT, E))
4383 if (!this->visitZeroArrayInitializer(ElemType, E))
4386 }
else if (DynamicInit) {
4388 if (!this->
visit(DynamicInit))
4390 if (!this->emitStorePop(*InitT, E))
4397 if (!this->visitZeroInitializer(
4401 if (!this->emitStorePop(*ElemT, E))
4405 if (!this->emitCall(CtorFunc, 0, E))
4410 if (!this->emitGetPtrLocal(Iter, E))
4412 if (!this->emitIncPop(
SizeT,
false, E))
4415 if (!this->jump(StartLabel, E))
4418 this->fallthrough(EndLabel);
4419 this->emitLabel(EndLabel);
4423 if (PlacementDest) {
4424 if (!this->
visit(PlacementDest))
4426 if (!this->emitCheckNewTypeMismatch(E, E))
4431 if (!this->emitAlloc(Desc, E))
4440 if (!this->emitInit(*ElemT, E))
4451 return this->emitPopPtr(E);
4456template <
class Emitter>
4462 if (!OperatorDelete->isUsableAsGlobalAllocationFunctionInConstantEvaluation())
4463 return this->emitInvalidNewDeleteExpr(E, E);
4472template <
class Emitter>
4478 if (
const Function *F =
Ctx.getOrCreateObjCBlock(E))
4483 return this->emitGetFnPtr(
Func, E);
4486template <
class Emitter>
4490 auto canonType = [](
const Type *
T) {
4491 return T->getCanonicalTypeUnqualified().getTypePtr();
4499 return this->emitGetTypeid(
4503 return this->emitGetTypeid(
4512 if (!
Ctx.getLangOpts().CPlusPlus20 && !this->emitDiagTypeid(E))
4518 if (!this->emitGetTypeidPtr(TypeInfoType, E))
4521 return this->emitPopPtr(E);
4525template <
class Emitter>
4529 return this->emitDummyPtr(E, E);
4530 return this->emitError(E);
4533template <
class Emitter>
4536 return this->emitDummyPtr(E, E);
4537 return this->emitError(E);
4540template <
class Emitter>
4542 assert(
Ctx.getLangOpts().CPlusPlus);
4543 return this->emitConstBool(E->
getValue(), E);
4546template <
class Emitter>
4558 return this->emitDummyPtr(GuidDecl, E);
4563 if (!this->emitGetPtrGlobal(*GlobalIndex, E))
4572 assert(
V.isStruct());
4573 assert(
V.getStructNumBases() == 0);
4577 return this->emitFinishInit(E);
4580template <
class Emitter>
4590template <
class Emitter>
4599template <
class Emitter>
4605template <
class Emitter>
4609 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(SemE)) {
4613 if (OVE->isUnique())
4629template <
class Emitter>
4634template <
class Emitter>
4636 return this->emitError(E);
4639template <
class Emitter>
4645 return this->emitDummyPtr(E, E);
4648template <
class Emitter>
4649bool Compiler<Emitter>::emitVectorConversion(
const Expr *Src,
const Expr *E) {
4654 QualType ElemType = VT->getElementType();
4655 PrimType ElemT = classifyPrim(ElemType);
4657 PrimType SrcElemT = classifyVectorElementType(SrcType);
4663 if (!this->emitGetPtrLocal(*LocalIndex, E))
4667 unsigned SrcOffset =
4668 this->allocateLocalPrimitive(Src,
PT_Ptr,
true);
4669 if (!this->visit(Src))
4671 if (!this->emitSetLocal(
PT_Ptr, SrcOffset, E))
4674 for (
unsigned I = 0; I != VT->getNumElements(); ++I) {
4675 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
4677 if (!this->emitArrayElemPop(SrcElemT, I, E))
4681 if (SrcElemT != ElemT) {
4682 if (!this->emitPrimCast(SrcElemT, ElemT, ElemType, E))
4684 }
else if (ElemType->isFloatingType() && SrcType != ElemType) {
4685 const auto *TargetSemantics = &Ctx.getFloatSemantics(ElemType);
4689 if (!this->emitInitElem(ElemT, I, E))
4695template <
class Emitter>
4697 return emitVectorConversion(E->
getSrcExpr(), E);
4700template <
class Emitter>
4704 return this->emitInvalid(E);
4713 assert(NumOutputElems > 0);
4719 if (!this->emitGetPtrLocal(*LocalIndex, E))
4724 unsigned VectorOffsets[2];
4725 for (
unsigned I = 0; I != 2; ++I) {
4728 if (!this->
visit(Vecs[I]))
4730 if (!this->emitSetLocal(
PT_Ptr, VectorOffsets[I], E))
4733 for (
unsigned I = 0; I != NumOutputElems; ++I) {
4735 assert(ShuffleIndex >= -1);
4736 if (ShuffleIndex == -1)
4737 return this->emitInvalidShuffleVectorIndex(I, E);
4739 assert(ShuffleIndex < (NumInputElems * 2));
4740 if (!this->emitGetLocal(
PT_Ptr,
4741 VectorOffsets[ShuffleIndex >= NumInputElems], E))
4743 unsigned InputVectorIndex = ShuffleIndex.getZExtValue() % NumInputElems;
4744 if (!this->emitArrayElemPop(ElemT, InputVectorIndex, E))
4747 if (!this->emitInitElem(ElemT, I, E))
4752 return this->emitPopPtr(E);
4757template <
class Emitter>
4762 Base->getType()->isVectorType() ||
4768 if (Indices.size() == 1) {
4773 if (!this->emitConstUint32(Indices[0], E))
4775 return this->emitArrayElemPtrPop(
PT_Uint32, E);
4785 if (!this->emitSetLocal(
PT_Ptr, BaseOffset, E))
4793 if (!this->emitGetPtrLocal(*ResultIndex, E))
4801 uint32_t DstIndex = 0;
4802 for (uint32_t I : Indices) {
4803 if (!this->emitGetLocal(
PT_Ptr, BaseOffset, E))
4805 if (!this->emitArrayElemPop(ElemT, I, E))
4807 if (!this->emitInitElem(ElemT, DstIndex, E))
4817template <
class Emitter>
4821 return this->
discard(SubExpr) && this->emitInvalid(E);
4827 return this->emitDummyPtr(E, E);
4830template <
class Emitter>
4835 Ctx.getASTContext().getAsConstantArrayType(SubExpr->
getType());
4840 if (!this->
visit(SubExpr))
4842 if (!this->emitConstUint8(0, E))
4844 if (!this->emitArrayElemPtrPopUint8(E))
4846 if (!this->emitInitFieldPtr(R->getField(0u)->Offset, E))
4849 PrimType SecondFieldT = *R->getField(1u)->T;
4851 if (!this->emitConst(
ArrayType->getSize(), SecondFieldT, E))
4853 return this->emitInitField(SecondFieldT, R->getField(1u)->Offset, E);
4855 assert(SecondFieldT ==
PT_Ptr);
4857 if (!this->emitGetFieldPtr(R->getField(0u)->Offset, E))
4859 if (!this->emitExpandPtr(E))
4863 if (!this->emitArrayElemPtrPop(
PT_Uint64, E))
4865 return this->emitInitFieldPtr(R->getField(1u)->Offset, E);
4868template <
class Emitter>
4883 if (
const Expr *ResultExpr = dyn_cast<Expr>(S))
4887 return this->emitUnsupported(E);
4896 return this->
Visit(E);
4903 return this->
Visit(E);
4907 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4910 if (
const auto *CE = dyn_cast<CastExpr>(E);
4912 (CE->getCastKind() == CK_DerivedToBase || CE->getCastKind() == CK_NoOp))
4919 if (
const auto *PE = dyn_cast<ParenExpr>(E))
4922 if (
const auto *CE = dyn_cast<CastExpr>(E);
4923 CE && (CE->getCastKind() == CK_DerivedToBase ||
4924 CE->getCastKind() == CK_UncheckedDerivedToBase ||
4925 CE->getCastKind() == CK_NoOp))
4945 if (!this->emitGetPtrLocal(*LocalIndex, E))
4955 return this->
Visit(E);
4958template <
class Emitter>
4964 return this->
Visit(E) && this->emitFinishInit(E);
4967template <
class Emitter>
4973 return this->
Visit(E) && this->emitFinishInitPop(E);
4979 return this->
Visit(E);
4990 if (!this->
visit(E))
4992 return this->emitComplexBoolCast(E);
4997 if (!this->
visit(E))
5005 return this->emitIsNonNullPtr(E);
5009 return this->emitCastFloatingIntegralBool(getFPOptions(E), E);
5012 return this->emitCast(*
T,
PT_Bool, E);
5015template <
class Emitter>
5019 QT = AT->getValueType();
5023 return this->emitZeroBool(E);
5025 return this->emitZeroSint8(E);
5027 return this->emitZeroUint8(E);
5029 return this->emitZeroSint16(E);
5031 return this->emitZeroUint16(E);
5033 return this->emitZeroSint32(E);
5035 return this->emitZeroUint32(E);
5037 return this->emitZeroSint64(E);
5039 return this->emitZeroUint64(E);
5041 return this->emitZeroIntAP(Ctx.getBitWidth(QT), E);
5043 return this->emitZeroIntAPS(Ctx.getBitWidth(QT), E);
5045 return this->emitNullPtr(Ctx.getASTContext().getTargetNullPointerValue(QT),
5048 return this->emitNullMemberPtr(0,
nullptr, E);
5050 APFloat F = APFloat::getZero(Ctx.getFloatSemantics(QT));
5051 return this->emitFloat(F, E);
5054 auto Sem = Ctx.getASTContext().getFixedPointSemantics(QT);
5058 llvm_unreachable(
"unknown primitive type");
5061template <
class Emitter>
5062bool Compiler<Emitter>::visitZeroRecordInitializer(
const Record *R,
5064 bool IsCompleteClass) {
5068 for (
const Record::Field &Field :
R->fields()) {
5069 if (Field.isUnnamedBitField())
5076 if (!this->visitZeroInitializer(
T, QT, E))
5079 if (!this->emitInitFieldActivate(
T, Field.Offset, E))
5083 if (!this->emitInitField(
T, Field.Offset, E))
5088 if (!this->emitGetPtrField(Field.Offset, E))
5095 if (!this->visitZeroInitializer(
T, ET, E))
5097 if (!this->emitInitElem(
T, I, E))
5102 if (!this->visitZeroArrayInitializer(D->
getType(), E))
5105 if (!this->visitZeroRecordInitializer(D->
ElemRecord, E))
5113 if (!this->emitFinishInitActivatePop(E))
5117 if (!this->emitFinishInitPop(E))
5121 for (
const Record::Base &B :
R->bases()) {
5122 if (!this->emitGetPtrBase(B.Offset, E))
5124 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5126 if (!this->emitFinishInitPop(E))
5130 if (IsCompleteClass) {
5131 for (
const Record::Base &B :
R->virtual_bases()) {
5134 if (!this->visitZeroRecordInitializer(B.R, E,
false))
5136 if (!this->emitFinishInitPop(E))
5144template <
class Emitter>
5145bool Compiler<Emitter>::visitZeroArrayInitializer(
QualType T,
const Expr *E) {
5146 assert(
T->isArrayType() ||
T->isAnyComplexType() ||
T->isVectorType());
5147 const ArrayType *AT =
T->getAsArrayTypeUnsafe();
5152 for (
size_t I = 0; I != NumElems; ++I) {
5153 if (!this->visitZeroInitializer(*ElemT, ElemType, E))
5155 if (!this->emitInitElem(*ElemT, I, E))
5161 const Record *
R = getRecord(ElemType);
5165 for (
size_t I = 0; I != NumElems; ++I) {
5166 if (!this->emitConstUint32(I, E))
5168 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5170 if (!this->visitZeroRecordInitializer(R, E))
5172 if (!this->emitPopPtr(E))
5178 for (
size_t I = 0; I != NumElems; ++I) {
5179 if (!this->emitConstUint32(I, E))
5181 if (!this->emitArrayElemPtr(
PT_Uint32, E))
5183 if (!this->visitZeroArrayInitializer(ElemType, E))
5185 if (!this->emitPopPtr(E))
5194template <
class Emitter>
5195bool Compiler<Emitter>::visitAssignment(
const Expr *LHS,
const Expr *RHS,
5197 if (!canClassify(E->
getType()))
5202 if (!this->visit(LHS))
5204 if (!this->visit(RHS))
5207 if (!this->visit(RHS))
5209 if (!this->visit(LHS))
5217 if (!Ctx.getLangOpts().CPlusPlus && !this->emitInvalid(E))
5221 bool Activates = refersToUnion(LHS);
5224 if (NeedsFlip && !this->emitFlip(
PT_Ptr, RHT, E))
5227 if (DiscardResult) {
5228 if (BitField && Activates)
5229 return this->emitStoreBitFieldActivatePop(RHT, E);
5231 return this->emitStoreBitFieldPop(RHT, E);
5233 return this->emitStoreActivatePop(RHT, E);
5235 return this->emitStorePop(RHT, E);
5238 auto maybeLoad = [&](
bool Result) ->
bool {
5244 return this->emitLoadPop(RHT, E);
5248 if (BitField && Activates)
5249 return maybeLoad(this->emitStoreBitFieldActivate(RHT, E));
5251 return maybeLoad(this->emitStoreBitField(RHT, E));
5253 return maybeLoad(this->emitStoreActivate(RHT, E));
5255 return maybeLoad(this->emitStore(RHT, E));
5258template <
class Emitter>
5259template <
typename T>
5263 return this->emitConstSint8(
Value, Info);
5265 return this->emitConstUint8(
Value, Info);
5267 return this->emitConstSint16(
Value, Info);
5269 return this->emitConstUint16(
Value, Info);
5271 return this->emitConstSint32(
Value, Info);
5273 return this->emitConstUint32(
Value, Info);
5275 return this->emitConstSint64(
Value, Info);
5277 return this->emitConstUint64(
Value, Info);
5279 return this->emitConstBool(
Value, Info);
5286 llvm_unreachable(
"Invalid integral type");
5289 llvm_unreachable(
"unknown primitive type");
5292template <
class Emitter>
5293template <
typename T>
5294bool Compiler<Emitter>::emitConst(
T Value,
const Expr *E) {
5295 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5298template <
class Emitter>
5302 return this->emitConstIntAPS(
Value, Info);
5304 return this->emitConstIntAP(
Value, Info);
5306 if (
Value.isSigned())
5307 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5308 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5311template <
class Emitter>
5315 return this->emitConstIntAPS(
Value, Info);
5317 return this->emitConstIntAP(
Value, Info);
5320 return this->emitConst(
Value.getSExtValue(), Ty, Info);
5321 return this->emitConst(
Value.getZExtValue(), Ty, Info);
5324template <
class Emitter>
5325bool Compiler<Emitter>::emitConst(
const APSInt &
Value,
const Expr *E) {
5326 return this->emitConst(
Value, classifyPrim(E->
getType()), E);
5329template <
class Emitter>
5342 Locals.insert({VD, Local});
5343 VarScope->addForScopeKind(Local, SC);
5344 return Local.Offset;
5347template <
class Emitter>
5352 bool IsTemporary =
false;
5356 if (
const auto *VarD = dyn_cast<VarDecl>(VD))
5357 Init = VarD->getInit();
5359 if (
const auto *E = Src.
asExpr()) {
5369 return std::nullopt;
5374 Locals.insert({Key, Local});
5375 VarScope->addForScopeKind(Local, SC);
5376 return Local.Offset;
5379template <
class Emitter>
5388 return std::nullopt;
5398 return Local.Offset;
5401template <
class Emitter>
5403 if (
const PointerType *PT = dyn_cast<PointerType>(Ty))
5404 return PT->getPointeeType()->getAsCanonical<RecordType>();
5410 return getRecord(RecordTy->getDecl()->getDefinitionOrSelf());
5414template <
class Emitter>
5416 return P.getOrCreateRecord(RD);
5419template <
class Emitter>
5421 return Ctx.getOrCreateFunction(FD);
5424template <
class Emitter>
5428 auto maybeDestroyLocals = [&]() ->
bool {
5429 if (DestroyToplevelScope)
5430 return RootScope.
destroyLocals() && this->emitCheckAllocations(E);
5431 return this->emitCheckAllocations(E);
5438 return this->emitRetVoid(E) && maybeDestroyLocals();
5446 return this->emitRet(*
T, E) && maybeDestroyLocals();
5454 if (!this->emitGetPtrLocal(*LocalOffset, E))
5462 return this->emitRetValue(E) && maybeDestroyLocals();
5465 return maybeDestroyLocals() &&
false;
5468template <
class Emitter>
5470 bool DestroyToplevelScope) {
5474 return this->
visitExpr(E, DestroyToplevelScope);
5477template <
class Emitter>
5489 if (
auto GlobalIndex =
P.getGlobal(VD)) {
5490 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5504template <
class Emitter>
5506 bool ConstantContext) {
5509 if (!ConstantContext) {
5524 auto GlobalIndex =
P.getGlobal(VD);
5525 assert(GlobalIndex);
5527 if (!this->emitGetGlobalUnchecked(*VarT, *GlobalIndex, VD))
5530 if (!this->emitGetPtrGlobal(*GlobalIndex, VD))
5534 auto Local =
Locals.find(VD);
5535 assert(Local !=
Locals.end());
5538 if (!this->emitGetRefLocal(Local->second.Offset, VD))
5540 }
else if (!this->emitGetLocal(*VarT, Local->second.Offset, VD))
5543 if (!this->emitGetPtrLocal(Local->second.Offset, VD))
5553 auto GlobalIndex =
P.getGlobal(VD);
5554 assert(GlobalIndex);
5555 Block *GlobalBlock =
P.getGlobal(*GlobalIndex);
5564 return VDScope.
destroyLocals() && this->emitCheckAllocations(VD);
5567template <
class Emitter>
5578 if (!this->isActive())
5583 if (
Init &&
Init->isValueDependent())
5587 auto checkDecl = [&]() ->
bool {
5589 return !NeedsOp || this->emitCheckDecl(VD, VD);
5596 if (!
P.getGlobal(*GlobalIndex)->isInitialized())
5599 if (
P.isGlobalInitialized(*GlobalIndex))
5603 }
else if ((GlobalIndex =
5618 return this->emitInitGlobal(*VarT, *GlobalIndex, VD);
5621 if (!this->emitGetPtrGlobal(*GlobalIndex,
Init))
5624 if (!this->emitStartInit(
Init))
5630 if (!this->emitEndInit(
Init))
5633 return this->emitFinishInitGlobal(
Init);
5643 if (!
Init ||
Init->getType()->isVoidType())
5652 return this->emitSetLocal(*VarT, Offset, VD) &&
Scope.destroyLocals();
5664 if (!this->emitCheckRefInit(
Init))
5668 return this->emitSetLocal(*VarT, Offset, VD);
5676 if (!this->emitGetPtrLocal(*Offset,
Init))
5684template <
class Emitter>
5704 Locals.insert({VD, Local});
5707 if (!this->emitGetPtrLocal(Local.Offset, VD))
5713 return this->emitDestructionPop(D, VD);
5722 if (
const auto *P = dyn_cast<ParmVarDecl>(E->
getDecl()))
5746template <
class Emitter>
5761 unsigned ParamIndex = 0;
5768 const Expr *Arg = Args[ParamIndex];
5769 const ParmVarDecl *Param = Callee->getParamDecl(ParamIndex);
5771 unsigned ArgOffset =
5773 if (!this->
visit(Arg))
5775 if (!this->emitSetLocal(*ParamT, ArgOffset, Arg))
5781 if (!this->emitGetPtrLocal(*ArgOffset, Arg))
5793 if (
This->getType()->isPointerType()) {
5796 }
else if (
const auto *DRE = dyn_cast<DeclRefExpr>(
This)) {
5803 if (!this->emitGetPtrLocal(*ArgOffset,
This))
5825template <
class Emitter>
5831 return this->emitConst(Val.
getInt(), ValType, Info);
5833 return this->emitFloat(Val.
getFloat(), Info);
5837 if (!this->emitGetMemberPtr(MemberDecl, Info))
5843 if (!this->emitCopyMemberPtrPath(PathEntry, IsDerived, Info))
5849 return this->emitNullMemberPtr(0,
nullptr, Info);
5854 return this->emitNull(ValType, 0,
nullptr, Info);
5859 if (
const Expr *BaseExpr =
Base.dyn_cast<
const Expr *>())
5860 return this->
visit(BaseExpr);
5865 QualType EntryType = VD->getType();
5866 for (
auto &Entry : Path) {
5868 uint64_t Index = Entry.getAsArrayIndex();
5871 if (!this->emitConst(Index,
PT_Uint64, Info))
5873 if (!this->emitArrayElemPtrPop(
PT_Uint64, Info))
5875 EntryType = ElemType;
5882 const Decl *BaseOrMember = Entry.getAsBaseOrMember().getPointer();
5883 if (
const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
5885 if (!this->emitGetPtrFieldPop(EntryOffset, Info))
5887 EntryType = FD->getType();
5891 if (!this->emitGetPtrBasePop(B->Offset,
false, Info))
5896 if (!this->emitGetPtrVirtBasePop(
Base, Info))
5899 EntryType =
Ctx.getASTContext().getCanonicalTagType(
Base);
5911template <
class Emitter>
5914 bool IsCompleteClass) {
5920 if (IsCompleteClass)
5927 const Record::Base *RB = R->getBase(I);
5928 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5930 if (!this->emitGetPtrBase(RB->Offset, Info))
5935 if (!this->emitFinishInitPop(Info))
5943 const Record::Field *RF = R->getField(I);
5944 QualType FieldType = RF->Decl->getType();
5949 if (!this->emitInitField(*PT, RF->Offset, Info))
5952 if (!this->emitGetPtrField(RF->Offset, Info))
5956 if (!this->emitFinishInitPop(Info))
5962 if (IsCompleteClass) {
5967 const Record::Base *RB = R->getVirtualBase(I);
5968 QualType BaseType =
Ctx.getASTContext().getCanonicalTagType(RB->Decl);
5976 if (!this->emitFinishInitPop(Info))
5992 const Record::Field *RF = R->getField(UnionField);
5993 QualType FieldType = RF->Decl->getType();
5998 if (RF->isBitField())
5999 return this->emitInitBitFieldActivate(*PT, RF->Offset, RF->bitWidth(),
6001 return this->emitInitFieldActivate(*PT, RF->Offset, Info);
6004 if (!this->emitGetPtrField(RF->Offset, Info))
6006 if (!this->emitActivate(Info))
6010 return this->emitPopPtr(Info);
6014 const auto *ArrType =
T->getAsArrayTypeUnsafe();
6015 QualType ElemType = ArrType->getElementType();
6018 for (
unsigned A = 0, AN = Val.
getArraySize(); A != AN; ++A) {
6019 const APValue &Elem = A >= InitializedElems
6028 if (!this->emitInitElem(*ElemT, A, Info))
6031 if (!this->emitConstUint32(A, Info))
6033 if (!this->emitArrayElemPtrUint32(Info))
6037 if (!this->emitPopPtr(Info))
6048template <
class Emitter>
6050 unsigned BuiltinID) {
6051 if (BuiltinID == Builtin::BI__builtin_constant_p) {
6056 return this->emitConst(0, E);
6059 if (!this->emitStartSpeculation(E))
6061 LabelTy EndLabel = this->getLabel();
6062 if (!this->speculate(E, EndLabel))
6064 if (!this->emitEndSpeculation(E))
6066 this->fallthrough(EndLabel);
6074 if (BuiltinID == Builtin::BI__builtin___CFStringMakeConstantString ||
6075 BuiltinID == Builtin::BI__builtin___NSStringMakeConstantString ||
6076 BuiltinID == Builtin::BI__builtin_ptrauth_sign_constant ||
6077 BuiltinID == Builtin::BI__builtin_function_start) {
6080 return this->emitDummyPtr(E, E);
6091 if (!this->emitGetPtrLocal(*LocalIndex, E))
6096 switch (BuiltinID) {
6097 case Builtin::BI__builtin_object_size:
6098 case Builtin::BI__builtin_dynamic_object_size: {
6102 if (!this->
visit(Arg0))
6113 case Builtin::BI__assume:
6114 case Builtin::BI__builtin_assume:
6117 case Builtin::BI__atomic_is_lock_free:
6118 case Builtin::BI__atomic_always_lock_free: {
6129 for (
const auto *Arg : E->
arguments()) {
6130 if (!this->
visit(Arg))
6136 if (!this->emitCallBI(E, BuiltinID, E))
6145template <
class Emitter>
6166 if (
const auto *DD = dyn_cast<CXXDestructorDecl>(FuncDecl);
6167 DD && DD->isTrivial()) {
6169 if (!this->
visit(MemberCall->getImplicitObjectArgument()))
6171 return this->emitCheckDestruction(E) && this->emitEndLifetime(E) &&
6172 this->emitPopPtr(E);
6188 if (!this->emitGetPtrLocal(*LocalIndex, E))
6196 if (!this->emitGetPtrLocal(*LocalIndex, E))
6200 if (!this->emitDupPtr(E))
6206 const Expr *ReversedArgs[2];
6208 bool IsAssignmentOperatorCall =
false;
6209 bool ActivateLHS =
false;
6210 if (
const auto *OCE = dyn_cast<CXXOperatorCallExpr>(E);
6211 OCE && OCE->isAssignmentOp()) {
6215 assert(Args.size() == 2);
6216 const CXXRecordDecl *LHSRecord = Args[0]->getType()->getAsCXXRecordDecl();
6218 IsAssignmentOperatorCall =
true;
6219 ReversedArgs[0] = Args[1];
6220 ReversedArgs[1] = Args[0];
6221 Args = ReversedArgs;
6227 if (
const auto *MD = dyn_cast_if_present<CXXMethodDecl>(FuncDecl);
6228 MD && MD->isStatic()) {
6232 Args = Args.drop_front();
6236 bool Devirtualized =
false;
6239 if (
const auto *MC = dyn_cast<CXXMemberCallExpr>(E)) {
6247 if (!this->
visit(Callee))
6249 if (!this->emitSetLocal(
PT_MemberPtr, *CalleeOffset, E))
6251 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6253 if (!this->emitGetMemberPtrBase(E))
6256 const auto *InstancePtr = MC->getImplicitObjectArgument();
6263 Stripped->getType()->getPointeeType()->getAsCXXRecordDecl());
6264 Devirtualized =
true;
6265 if (!this->
visit(Stripped))
6268 if (!this->
visit(InstancePtr))
6272 if (!this->
visit(InstancePtr))
6276 }
else if (
const auto *PD =
6277 dyn_cast<CXXPseudoDestructorExpr>(E->
getCallee())) {
6278 if (!this->emitCheckPseudoDtor(E))
6286 return this->emitPseudoDtor(E);
6287 }
else if (!FuncDecl) {
6291 if (!this->
visit(Callee))
6293 if (!this->emitSetLocal(
PT_Ptr, *CalleeOffset, E))
6302 if (IsAssignmentOperatorCall) {
6303 assert(Args.size() == 2);
6306 if (!this->emitFlip(Arg2T, Arg1T, E))
6320 assert(HasRVO ==
Func->hasRVO());
6322 bool HasQualifier =
false;
6323 if (
const auto *ME = dyn_cast<MemberExpr>(E->
getCallee()))
6324 HasQualifier = ME->hasQualifier();
6326 bool IsVirtual =
false;
6327 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FuncDecl))
6328 IsVirtual = !Devirtualized && MD->isVirtual();
6333 if (IsVirtual && !HasQualifier) {
6334 uint32_t VarArgSize = 0;
6335 unsigned NumParams =
6336 Func->getNumWrittenParams() +
6338 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6341 if (!this->emitCallVirt(
Func, VarArgSize, E))
6343 }
else if (
Func->isVariadic()) {
6344 uint32_t VarArgSize = 0;
6345 unsigned NumParams =
6346 Func->getNumWrittenParams() +
6348 for (
unsigned I = NumParams, N = E->
getNumArgs(); I != N; ++I)
6350 if (!this->emitCallVar(
Func, VarArgSize, E))
6353 if (!this->emitCall(
Func, 0, E))
6362 uint32_t ArgSize = 0;
6363 for (
unsigned I = 0, N = E->
getNumArgs(); I != N; ++I)
6369 if (!this->emitGetLocal(
PT_MemberPtr, *CalleeOffset, E))
6371 if (!this->emitGetMemberPtrDecl(E))
6374 if (!this->emitGetLocal(
PT_Ptr, *CalleeOffset, E))
6377 if (!this->emitCallPtr(ArgSize, E, E))
6388template <
class Emitter>
6395template <
class Emitter>
6402template <
class Emitter>
6407 return this->emitConstBool(E->
getValue(), E);
6410template <
class Emitter>
6416 uint64_t Val =
Ctx.getASTContext().getTargetNullPointerValue(E->
getType());
6417 return this->emitNullPtr(Val,
nullptr, E);
6420template <
class Emitter>
6428 return this->emitZero(
T, E);
6431template <
class Emitter>
6436 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
6437 if (this->LambdaThisCapture.Offset > 0) {
6438 if (this->LambdaThisCapture.IsPtr)
6439 return this->emitGetThisFieldPtr(this->LambdaThisCapture.Offset, E);
6440 return this->emitGetPtrThisField(this->LambdaThisCapture.Offset, E);
6449 return this->emitThis(E);
6464 unsigned StartIndex = 0;
6465 unsigned EndIndex = 0;
6467 for (StartIndex =
InitStack.size() - 1; StartIndex > 0; --StartIndex) {
6469 EndIndex = StartIndex;
6476 for (; StartIndex > 0; --StartIndex) {
6487 if (StartIndex == 0 && EndIndex == 0)
6498 assert(StartIndex <= EndIndex);
6501 for (
unsigned I = StartIndex; I != (EndIndex + 1); ++I) {
6513 case Stmt::CompoundStmtClass:
6515 case Stmt::DeclStmtClass:
6517 case Stmt::ReturnStmtClass:
6519 case Stmt::IfStmtClass:
6521 case Stmt::WhileStmtClass:
6523 case Stmt::DoStmtClass:
6525 case Stmt::ForStmtClass:
6527 case Stmt::CXXForRangeStmtClass:
6529 case Stmt::BreakStmtClass:
6531 case Stmt::ContinueStmtClass:
6533 case Stmt::SwitchStmtClass:
6535 case Stmt::CaseStmtClass:
6537 case Stmt::DefaultStmtClass:
6539 case Stmt::AttributedStmtClass:
6541 case Stmt::CXXTryStmtClass:
6543 case Stmt::NullStmtClass:
6546 case Stmt::GCCAsmStmtClass:
6547 case Stmt::MSAsmStmtClass:
6548 case Stmt::GotoStmtClass:
6549 return this->emitInvalid(S);
6550 case Stmt::LabelStmtClass:
6552 case Stmt::CXXExpansionStmtInstantiationClass:
6556 if (
const auto *E = dyn_cast<Expr>(S))
6563template <
class Emitter>
6566 for (
const auto *InnerStmt : S->
body())
6569 return Scope.destroyLocals();
6572template <
class Emitter>
6573bool Compiler<Emitter>::maybeEmitDeferredVarInit(
const VarDecl *VD) {
6574 if (
auto *DD = dyn_cast_if_present<DecompositionDecl>(VD)) {
6575 for (
auto *BD : DD->flat_bindings())
6576 if (
auto *KD = BD->getHoldingVar();
6577 KD && !this->visitVarDecl(KD, KD->getInit()))
6591template <
class Emitter>
bool Compiler<Emitter>::refersToUnion(
const Expr *E) {
6593 if (
const auto *ME = dyn_cast<MemberExpr>(E)) {
6594 if (
const auto *FD = dyn_cast<FieldDecl>(ME->getMemberDecl());
6601 if (
const auto *ASE = dyn_cast<ArraySubscriptExpr>(E)) {
6606 if (
const auto *ICE = dyn_cast<ImplicitCastExpr>(E);
6607 ICE && (ICE->getCastKind() == CK_NoOp ||
6608 ICE->getCastKind() == CK_DerivedToBase ||
6609 ICE->getCastKind() == CK_UncheckedDerivedToBase)) {
6610 E = ICE->getSubExpr();
6614 if (
const auto *
This = dyn_cast<CXXThisExpr>(E)) {
6615 const auto *ThisRecord =
6616 This->getType()->getPointeeType()->getAsRecordDecl();
6617 if (!ThisRecord->isUnion())
6620 if (
const auto *Ctor =
6621 dyn_cast_if_present<CXXConstructorDecl>(CompilingFunction))
6622 return Ctor->getParent() == ThisRecord;
6631template <
class Emitter>
6633 bool EvaluateConditionDecl) {
6634 for (
const auto *D : DS->
decls()) {
6639 if (
const auto *ESD = dyn_cast<CXXExpansionStmtDecl>(D)) {
6640 assert(ESD->getInstantiations() &&
"not expanded?");
6641 if (!this->
visitStmt(ESD->getInstantiations()))
6646 const auto *VD = dyn_cast<VarDecl>(D);
6653 if (EvaluateConditionDecl && !this->maybeEmitDeferredVarInit(VD))
6660template <
class Emitter>
6663 return this->emitUnsupported(RS);
6669 if (!this->
visit(RE))
6675 if (RE->getType()->isVoidType()) {
6676 if (!this->
visit(RE))
6679 if (RE->containsErrors())
6684 if (!this->emitRVOPtr(RE))
6690 return this->emitRetVoid(RS);
6696 return this->emitRetVoid(RS);
6702 auto visitChildStmt = [&](
const Stmt *S) ->
bool {
6709 if (
auto *CondInit = IS->
getInit()) {
6725 return visitChildStmt(IS->
getThen());
6727 return visitChildStmt(Else);
6733 if (!this->emitIsConstantContext(IS))
6736 if (!this->emitIsConstantContext(IS))
6738 if (!this->emitInv(IS))
6752 LabelTy LabelElse = this->getLabel();
6753 LabelTy LabelEnd = this->getLabel();
6754 if (!this->jumpFalse(LabelElse, IS))
6756 if (!visitChildStmt(IS->
getThen()))
6758 if (!this->jump(LabelEnd, IS))
6760 this->emitLabel(LabelElse);
6761 if (!visitChildStmt(Else))
6763 this->emitLabel(LabelEnd);
6765 LabelTy LabelEnd = this->getLabel();
6766 if (!this->jumpFalse(LabelEnd, IS))
6768 if (!visitChildStmt(IS->
getThen()))
6770 this->emitLabel(LabelEnd);
6779template <
class Emitter>
6784 LabelTy CondLabel = this->getLabel();
6785 LabelTy EndLabel = this->getLabel();
6789 this->fallthrough(CondLabel);
6790 this->emitLabel(CondLabel);
6806 if (!this->jumpFalse(EndLabel, S))
6816 if (!this->jump(CondLabel, S))
6818 this->fallthrough(EndLabel);
6819 this->emitLabel(EndLabel);
6828 LabelTy StartLabel = this->getLabel();
6829 LabelTy EndLabel = this->getLabel();
6830 LabelTy CondLabel = this->getLabel();
6834 this->fallthrough(StartLabel);
6835 this->emitLabel(StartLabel);
6841 this->fallthrough(CondLabel);
6842 this->emitLabel(CondLabel);
6849 if (!this->jumpTrue(StartLabel, S))
6852 this->fallthrough(EndLabel);
6853 this->emitLabel(EndLabel);
6857template <
class Emitter>
6865 LabelTy EndLabel = this->getLabel();
6866 LabelTy CondLabel = this->getLabel();
6867 LabelTy IncLabel = this->getLabel();
6874 this->fallthrough(CondLabel);
6875 this->emitLabel(CondLabel);
6887 if (!this->jumpFalse(EndLabel, S))
6896 this->fallthrough(IncLabel);
6897 this->emitLabel(IncLabel);
6903 if (!this->jump(CondLabel, S))
6907 this->emitLabel(EndLabel);
6913template <
class Emitter>
6923 LabelTy EndLabel = this->getLabel();
6924 LabelTy CondLabel = this->getLabel();
6925 LabelTy IncLabel = this->getLabel();
6941 this->fallthrough(CondLabel);
6942 this->emitLabel(CondLabel);
6945 if (!this->jumpFalse(EndLabel, S))
6956 this->fallthrough(IncLabel);
6957 this->emitLabel(IncLabel);
6964 if (!this->jump(CondLabel, S))
6967 this->fallthrough(EndLabel);
6968 this->emitLabel(EndLabel);
6972template <
class Emitter>
6983 if (LI.BreakLabel) {
6984 TargetLabel = *LI.BreakLabel;
6985 BreakScope = LI.BreakOrContinueScope;
6991 if (LI.Name == TargetLoop) {
6992 TargetLabel = *LI.BreakLabel;
6993 BreakScope = LI.BreakOrContinueScope;
7004 C =
C->getParent()) {
7005 if (!
C->destroyLocals())
7009 return this->jump(*TargetLabel, S);
7012template <
class Emitter>
7023 if (LI.ContinueLabel) {
7024 TargetLabel = *LI.ContinueLabel;
7025 ContinueScope = LI.BreakOrContinueScope;
7031 if (LI.Name == TargetLoop) {
7032 TargetLabel = *LI.ContinueLabel;
7033 ContinueScope = LI.BreakOrContinueScope;
7043 C =
C->getParent()) {
7044 if (!
C->destroyLocals())
7048 return this->jump(*TargetLabel, S);
7051template <
class Emitter>
7061 LabelTy EndLabel = this->getLabel();
7066 if (
const auto *CondInit = S->
getInit())
7075 if (!this->
visit(Cond))
7077 if (!this->emitSetLocal(CondT, CondVar, S))
7087 if (
const auto *CS = dyn_cast<CaseStmt>(SC)) {
7090 if (CS->caseStmtIsGNURange()) {
7091 LabelTy EndOfRangeCheck = this->getLabel();
7092 const Expr *Low = CS->getLHS();
7093 const Expr *High = CS->getRHS();
7097 if (!this->emitGetLocal(CondT, CondVar, CS))
7099 if (!this->
visit(Low))
7102 if (!this->emitGE(
LT, S))
7104 if (!this->jumpFalse(EndOfRangeCheck, S))
7107 if (!this->emitGetLocal(CondT, CondVar, CS))
7109 if (!this->
visit(High))
7112 if (!this->emitLE(HT, S))
7116 this->emitLabel(EndOfRangeCheck);
7121 if (
Value->isValueDependent())
7126 if (!this->emitGetLocal(CondT, CondVar, CS))
7132 if (!this->emitEQ(ValueT, S))
7137 assert(!DefaultLabel);
7138 DefaultLabel = this->getLabel();
7145 if (!this->jump(*DefaultLabel, S))
7148 if (!this->jump(EndLabel, S))
7156 this->fallthrough(EndLabel);
7157 this->emitLabel(EndLabel);
7162template <
class Emitter>
7170 return this->emitUnsupported(S);
7175template <
class Emitter>
7182 if (LI.DefaultLabel) {
7183 DefaultLabel = *LI.DefaultLabel;
7188 this->emitLabel(DefaultLabel);
7192template <
class Emitter>
7199 if (IsMSVCConstexprAttr && !this->emitPushMSVCCE(S))
7202 if (this->
Ctx.getLangOpts().CXXAssumptions &&
7203 !this->Ctx.getLangOpts().MSVCCompat) {
7205 auto *AA = dyn_cast<CXXAssumeAttr>(A);
7211 const Expr *Assumption = AA->getAssumption();
7222 if (!this->emitAssume(Assumption))
7231 if (IsMSVCConstexprAttr)
7232 return this->emitPopMSVCCE(S);
7236template <
class Emitter>
7249template <
class Emitter>
7259 LabelTy EndLabel = this->getLabel();
7261 LabelTy ContinueLabel = this->getLabel();
7266 this->emitLabel(ContinueLabel);
7269 this->emitLabel(EndLabel);
7274template <
class Emitter>
7275bool Compiler<Emitter>::emitLambdaStaticInvokerBody(
const CXXMethodDecl *MD) {
7282 assert(ClosureClass->
captures().empty());
7286 "A generic lambda's static-invoker function must be a "
7287 "template specialization");
7291 llvm::FoldingSetInsertToken InsertToken;
7292 const FunctionDecl *CorrespondingCallOpSpecialization =
7294 assert(CorrespondingCallOpSpecialization);
7295 LambdaCallOp = CorrespondingCallOpSpecialization;
7299 assert(ClosureClass->
captures().empty());
7300 const Function *
Func = this->getFunction(LambdaCallOp);
7303 assert(
Func->hasThisPointer());
7306 if (
Func->hasRVO()) {
7307 if (!this->emitRVOPtr(MD))
7315 if (!this->emitNullPtr(0,
nullptr, MD))
7320 auto It = this->Params.find(PVD);
7321 assert(It != this->Params.end());
7325 PrimType ParamType = this->classify(PVD->getType()).value_or(
PT_Ptr);
7326 if (!this->emitGetParam(ParamType, It->second.Index, MD))
7330 if (!this->emitCall(
Func, 0, LambdaCallOp))
7335 return this->emitRet(*ReturnType, MD);
7338 return this->emitRetVoid(MD);
7341template <
class Emitter>
7342bool Compiler<Emitter>::checkLiteralType(
const Expr *E) {
7343 if (Ctx.getLangOpts().CPlusPlus23)
7353 const Expr *InitExpr =
Init->getInit();
7355 if (!
Init->isWritten() && !
Init->isInClassMemberInitializer() &&
7359 if (
const auto *CE = dyn_cast<CXXConstructExpr>(InitExpr)) {
7369template <
class Emitter>
7371 assert(!ReturnType);
7374 if (!this->emitStartThisLifetime1(Ctor))
7377 auto emitFieldInitializer = [&](
const Record::Field *F,
unsigned FieldOffset,
7378 const Expr *InitExpr,
7381 if (InitExpr->getType().isNull())
7385 if (
Activate && !this->emitActivateThisField(FieldOffset, InitExpr))
7388 if (!this->visit(InitExpr))
7391 if (F->isBitField())
7392 return this->emitInitThisBitField(*
T, FieldOffset, F->bitWidth(),
7394 return this->emitInitThisField(*
T, FieldOffset, InitExpr);
7399 if (!this->emitGetPtrThisField(FieldOffset, InitExpr))
7402 if (
Activate && !this->emitActivate(InitExpr))
7405 return this->visitInitializerPop(InitExpr);
7409 const Record *
R = this->getRecord(RD);
7412 bool IsUnion =
R->isUnion();
7422 if (!this->emitThis(Ctor))
7425 if (!this->emitGetParam(
PT_Ptr, 0, Ctor))
7428 return this->emitMemcpy(Ctor) && this->emitPopPtr(Ctor) &&
7429 this->emitRetVoid(Ctor);
7432 unsigned FieldInits = 0;
7435 if (
R->getNumVirtualBases() > 0) {
7436 if (!this->emitThis(Ctor))
7438 LabelTy AfterVirtBasesLabel = this->getLabel();
7441 if (!this->emitIsBaseClass({}))
7443 if (!this->jumpTrue(AfterVirtBasesLabel, {}))
7446 for (
const auto *
Init : Ctor->
inits()) {
7449 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7451 assert(
R->findVirtualBase(BaseDecl));
7452 if (!this->emitGetPtrThisVirtBase(BaseDecl, Ctor))
7454 if (!this->visitInitializerPop(
Init->getInit()))
7459 this->fallthrough(AfterVirtBasesLabel);
7460 this->emitLabel(AfterVirtBasesLabel);
7462 if (!this->emitPopPtr(Ctor))
7466 for (
const auto *
Init : Ctor->
inits()) {
7470 const Expr *InitExpr =
Init->getInit();
7472 const Record::Field *F =
R->getField(
Member);
7476 if (!emitFieldInitializer(F, F->Offset, InitExpr, IsUnion))
7480 const auto *BaseDecl =
Base->getAsCXXRecordDecl();
7483 if (
Init->isBaseVirtual()) {
7489 const Record::Base *B =
R->getBase(BaseDecl);
7491 if (!this->emitGetPtrThisBase(B->Offset, InitExpr))
7495 if (!this->visitInitializerPop(InitExpr))
7500 unsigned ChainSize = IFD->getChainingSize();
7501 assert(ChainSize >= 2);
7503 unsigned NestedFieldOffset = 0;
7504 const Record::Field *NestedField =
nullptr;
7505 for (
unsigned I = 0; I != ChainSize; ++I) {
7507 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7508 assert(FieldRecord);
7510 NestedField = FieldRecord->
getField(FD);
7511 assert(NestedField);
7512 IsUnion = IsUnion || FieldRecord->
isUnion();
7514 NestedFieldOffset += NestedField->Offset;
7517 if (I != ChainSize - 1)
7520 assert(NestedField);
7523 if (!emitFieldInitializer(NestedField, NestedFieldOffset, InitExpr,
7528 unsigned InitFieldOffset = 0;
7529 for (
const NamedDecl *ND : IFD->chain().drop_back()) {
7531 const Record *FieldRecord = this->P.getOrCreateRecord(FD->getParent());
7532 assert(FieldRecord);
7533 NestedField = FieldRecord->
getField(FD);
7534 InitFieldOffset += NestedField->Offset;
7535 assert(NestedField);
7536 if (!this->emitGetPtrThisField(InitFieldOffset, InitExpr))
7538 if (!this->emitFinishInitPop(InitExpr))
7542 InitStack.pop_back_n(ChainSize - 1);
7545 assert(
Init->isDelegatingInitializer());
7546 if (!this->emitThis(InitExpr))
7548 if (!this->visitInitializerPop(
Init->getInit()))
7552 if (!
Scope.destroyLocals())
7556 if (FieldInits !=
R->getNumFields()) {
7557 assert(FieldInits < R->getNumFields());
7559 if (!this->emitStartThisLifetime(Ctor))
7566 if (
const auto *CS = dyn_cast<CompoundStmt>(Body)) {
7567 if (!CS->body_empty() && !this->emitCtorCheck(
SourceInfo{}))
7574 if (!visitStmt(Body))
7581template <
class Emitter>
7584 const Record *
R = this->getRecord(RD);
7588 if (!
Dtor->isTrivial() &&
Dtor->getBody()) {
7589 if (!this->visitStmt(
Dtor->getBody()))
7593 if (!this->emitThis(
Dtor))
7596 if (!this->emitCheckDestruction(
Dtor))
7600 if (!
R->isUnion()) {
7604 for (
const Record::Field &Field : llvm::reverse(
R->fields())) {
7608 if (!this->emitGetPtrField(Field.Offset,
SourceInfo{}))
7610 if (!this->emitDestructionPop(D,
SourceInfo{}))
7615 for (
const Record::Base &
Base : llvm::reverse(
R->bases())) {
7616 if (
Base.R->hasTrivialDtor())
7620 if (!this->emitRecordDestructionPop(
Base.R, {}))
7624 if (
R->getNumVirtualBases() > 0) {
7625 LabelTy EndLabel = this->getLabel();
7627 if (!this->emitIsBaseClass({}))
7629 if (!this->jumpTrue(EndLabel, {}))
7632 for (
const Record::Base &
Base : llvm::reverse(
R->virtual_bases())) {
7633 if (
Base.R->hasTrivialDtor())
7638 if (!this->emitRecordDestructionPop(
Base.R, {}))
7642 this->fallthrough(EndLabel);
7643 this->emitLabel(EndLabel);
7646 if (!this->emitMarkDestroyed(
Dtor))
7649 return this->emitPopPtr(
Dtor) && this->emitRetVoid(
Dtor);
7652template <
class Emitter>
7653bool Compiler<Emitter>::compileUnionAssignmentOperator(
7655 if (!this->emitThis(MD))
7658 if (!this->emitGetParam(
PT_Ptr, 0, MD))
7661 return this->emitMemcpy(MD) && this->emitRet(
PT_Ptr, MD);
7664template <
class Emitter>
7674 if (
const auto *Ctor = dyn_cast<CXXConstructorDecl>(F))
7675 return this->compileConstructor(Ctor);
7676 if (
const auto *
Dtor = dyn_cast<CXXDestructorDecl>(F))
7677 return this->compileDestructor(
Dtor);
7680 if (
const auto *MD = dyn_cast<CXXMethodDecl>(F)) {
7685 return this->compileUnionAssignmentOperator(MD);
7688 return this->emitLambdaStaticInvokerBody(MD);
7692 if (
const auto *Body = F->
getBody())
7706 return FD->getBitWidthValue();
7709template <
class Emitter>
7725 if (!
Ctx.getLangOpts().CPlusPlus14)
7726 return this->emitInvalid(E);
7728 return this->emitError(E);
7730 if (!this->
visit(SubExpr))
7734 if (!this->emitIncPtr(E))
7741 return DiscardResult ? this->emitIncfPop(getFPOptions(E), E)
7742 : this->emitIncf(getFPOptions(E), E);
7754 if (!
Ctx.getLangOpts().CPlusPlus14)
7755 return this->emitInvalid(E);
7757 return this->emitError(E);
7759 if (!this->
visit(SubExpr))
7763 if (!this->emitDecPtr(E))
7770 return DiscardResult ? this->emitDecfPop(getFPOptions(E), E)
7771 : this->emitDecf(getFPOptions(E), E);
7784 if (!
Ctx.getLangOpts().CPlusPlus14)
7785 return this->emitInvalid(E);
7787 return this->emitError(E);
7789 if (!this->
visit(SubExpr))
7793 if (!this->emitLoadPtr(E))
7795 if (!this->emitConstUint8(1, E))
7797 if (!this->emitAddOffsetUint8(E))
7799 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7805 return this->emitIncfPop(getFPOptions(E), E);
7815 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7816 if (!this->emitLoadFloat(E))
7818 APFloat F(TargetSemantics, 1);
7819 if (!this->emitFloat(F, E))
7822 if (!this->emitAddf(getFPOptions(E), E))
7824 if (!this->emitStoreFloat(E))
7836 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7839 if (!
Ctx.getLangOpts().CPlusPlus14)
7840 return this->emitInvalid(E);
7842 return this->emitError(E);
7844 if (!this->
visit(SubExpr))
7848 if (!this->emitLoadPtr(E))
7850 if (!this->emitConstUint8(1, E))
7852 if (!this->emitSubOffsetUint8(E))
7854 return DiscardResult ? this->emitStorePopPtr(E) : this->emitStorePtr(E);
7860 return this->emitDecfPop(getFPOptions(E), E);
7870 const auto &TargetSemantics =
Ctx.getFloatSemantics(E->
getType());
7871 if (!this->emitLoadFloat(E))
7873 APFloat F(TargetSemantics, 1);
7874 if (!this->emitFloat(F, E))
7877 if (!this->emitSubf(getFPOptions(E), E))
7879 if (!this->emitStoreFloat(E))
7891 return E->
isGLValue() || this->emitLoadPop(*
T, E);
7895 return this->emitError(E);
7898 return this->
discard(SubExpr);
7903 if (!this->emitInv(E))
7907 return this->emitCast(
PT_Bool, ET, E);
7911 return this->emitError(E);
7913 if (!this->
visit(SubExpr))
7918 return this->emitError(E);
7920 if (!this->
visit(SubExpr))
7936 if (!
Ctx.getLangOpts().CPlusPlus) {
7938 if (
const auto *Deref = dyn_cast<UnaryOperator>(
Sub);
7939 Deref && Deref->getOpcode() == UO_Deref)
7940 return this->
delegate(Deref->getSubExpr());
7946 return this->
discard(SubExpr);
7948 if (!this->
visit(SubExpr))
7955 return this->emitNarrowPtr(E);
7960 return this->emitError(E);
7962 if (!this->
visit(SubExpr))
7976 : this->visitZeroInitializer(*
T, SubExpr->
getType(), SubExpr);
7981 assert(
false &&
"Unhandled opcode");
7987template <
class Emitter>
7993 return this->
discard(SubExpr);
7996 auto prepareResult = [=]() ->
bool {
8001 return this->emitGetPtrLocal(*LocalIndex, E);
8008 unsigned SubExprOffset = ~0u;
8009 auto createTemp = [=, &SubExprOffset]() ->
bool {
8012 if (!this->
visit(SubExpr))
8014 return this->emitSetLocal(
PT_Ptr, SubExprOffset, E);
8018 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8019 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8021 return this->emitArrayElemPop(ElemT, Index, E);
8026 if (!prepareResult())
8030 for (
unsigned I = 0; I != 2; ++I) {
8031 if (!getElem(SubExprOffset, I))
8033 if (!this->emitNeg(ElemT, E))
8035 if (!this->emitInitElem(ElemT, I, E))
8046 if (!this->
visit(SubExpr))
8048 if (!this->emitComplexBoolCast(SubExpr))
8050 if (!this->emitInv(E))
8053 return this->emitCast(
PT_Bool, ET, E);
8057 return this->emitComplexReal(SubExpr);
8060 if (!this->
visit(SubExpr))
8064 if (!this->emitConstUint8(1, E))
8066 return this->emitArrayElemPtrPopUint8(E);
8077 if (!this->emitArrayElem(ElemT, 1, E))
8079 if (!this->emitNeg(ElemT, E))
8081 if (!this->emitInitElem(ElemT, 1, E))
8089 return this->emitInvalid(E);
8095template <
class Emitter>
8101 return this->
discard(SubExpr);
8104 if (UnaryOp == UO_Extension)
8107 if (UnaryOp != UO_Plus && UnaryOp != UO_Minus && UnaryOp != UO_LNot &&
8108 UnaryOp != UO_Not && UnaryOp != UO_AddrOf)
8109 return this->emitInvalid(E);
8112 if (UnaryOp == UO_Plus || UnaryOp == UO_AddrOf)
8119 if (!this->emitGetPtrLocal(*LocalIndex, E))
8124 unsigned SubExprOffset =
8126 if (!this->
visit(SubExpr))
8128 if (!this->emitSetLocal(
PT_Ptr, SubExprOffset, E))
8133 auto getElem = [=](
unsigned Offset,
unsigned Index) ->
bool {
8134 if (!this->emitGetLocal(
PT_Ptr, Offset, E))
8136 return this->emitArrayElemPop(ElemT, Index, E);
8141 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8142 if (!getElem(SubExprOffset, I))
8144 if (!this->emitNeg(ElemT, E))
8146 if (!this->emitInitElem(ElemT, I, E))
8161 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8162 if (!getElem(SubExprOffset, I))
8165 if (!this->emitPrimCast(ElemT,
PT_Bool,
Ctx.getASTContext().BoolTy, E))
8167 if (!this->emitInv(E))
8169 if (!this->emitPrimCast(
PT_Bool, ElemT, VecTy->getElementType(), E))
8171 if (!this->emitNeg(ElemT, E))
8173 if (ElemT != ResultVecElemT &&
8174 !this->emitPrimCast(ElemT, ResultVecElemT, ResultVecTy, E))
8176 if (!this->emitInitElem(ResultVecElemT, I, E))
8182 for (
unsigned I = 0; I != VecTy->getNumElements(); ++I) {
8183 if (!getElem(SubExprOffset, I))
8186 if (!this->emitInv(E))
8189 if (!this->emitComp(ElemT, E))
8192 if (!this->emitInitElem(ElemT, I, E))
8197 llvm_unreachable(
"Unsupported unary operators should be handled up front");
8202template <
class Emitter>
8204 if (
const auto *ECD = dyn_cast<EnumConstantDecl>(D)) {
8207 return this->emitConst(ECD->getInitVal(), E);
8209 if (
const auto *FuncDecl = dyn_cast<FunctionDecl>(D)) {
8213 return F && this->emitGetFnPtr(F, E);
8215 if (
const auto *TPOD = dyn_cast<TemplateParamObjectDecl>(D)) {
8216 TPOD = TPOD->getFirstDecl();
8220 return this->emitGetPtrGlobal(*GlobalIndex, E);
8226 return this->emitInitGlobal(*
T, *Index, E);
8229 if (!this->emitGetPtrGlobal(*Index, E))
8233 return this->emitFinishInit(E);
8245 auto maybePopPtr = [&]() ->
bool {
8247 return this->emitPopPtr(E);
8254 if (
const auto *PVD = dyn_cast<ParmVarDecl>(D)) {
8258 if (
Ctx.getLangOpts().CPlusPlus && !
Ctx.getLangOpts().CPlusPlus11 &&
8263 if (
auto It = this->Params.find(PVD); It != this->Params.end()) {
8264 if (IsReference || !It->second.IsPtr)
8265 return this->emitGetParam(
classifyPrim(E), It->second.Index, E);
8267 return this->emitGetPtrParam(It->second.Index, E);
8270 if (!
Ctx.getLangOpts().CPlusPlus23 && IsReference && !
Locals.contains(D))
8277 const unsigned Offset = It->second.Offset;
8280 return this->emitGetRefLocal(Offset, E) && maybePopPtr();
8282 return this->emitGetPtrLocal(Offset, E) && maybePopPtr();
8285 if (
auto GlobalIndex =
P.getGlobal(D)) {
8287 if (!
Ctx.getLangOpts().CPlusPlus11)
8288 return this->emitGetGlobal(
classifyPrim(E), *GlobalIndex, E);
8289 if (!
Ctx.getLangOpts().CPlusPlus23)
8290 return this->emitGetGlobalUnchecked(
classifyPrim(E), *GlobalIndex, E);
8292 return this->emitGetRefGlobal(*GlobalIndex, E) && maybePopPtr();
8295 return this->emitGetPtrGlobal(*GlobalIndex, E) && maybePopPtr();
8299 auto revisit = [&](
const VarDecl *VD,
8300 bool IsConstexprUnknown =
true) ->
bool {
8302 IsConstexprUnknown);
8303 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8309 if constexpr (std::is_same_v<Emitter, EvalEmitter>) {
8310 if (!this->emitPopCC(E))
8314 if (VarState.notCreated())
8322 if constexpr (!std::is_same_v<Emitter, EvalEmitter>) {
8324 if (
auto It = this->LambdaCaptures.find(D);
8325 It != this->LambdaCaptures.end()) {
8326 auto [Offset, IsPtr] = It->second;
8329 return this->emitGetThisFieldPtr(Offset, E) && maybePopPtr();
8330 return this->emitGetPtrThisField(Offset, E) && maybePopPtr();
8334 if (
const auto *DRE = dyn_cast<DeclRefExpr>(E);
8335 DRE && DRE->refersToEnclosingVariableOrCapture()) {
8336 if (
const auto *VD = dyn_cast<VarDecl>(D); VD && VD->
isInitCapture())
8340 if (
const auto *BD = dyn_cast<BindingDecl>(D))
8341 return this->
delegate(BD->getBinding());
8347 return this->emitDummyPtr(D, E);
8352 const auto *VD = dyn_cast<VarDecl>(D);
8354 return this->emitError(E);
8357 if (!
Ctx.getLangOpts().CPlusPlus) {
8361 return revisit(VD,
false);
8365 return this->emitDummyPtr(D, E);
8369 const auto typeShouldBeVisited = [&](
QualType T) ->
bool {
8370 if (
T.isConstant(
Ctx.getASTContext()))
8372 return T->isReferenceType();
8376 typeShouldBeVisited(DeclType)) {
8378 Init && !
Init->isValueDependent()) {
8383 (void)
Init->EvaluateAsInitializer(
Ctx.getASTContext(), VD,
Result,
true);
8396 bool IsConstexprUnknown = !DeclType.
isConstant(
Ctx.getASTContext()) &&
8401 return revisit(VD, IsConstexprUnknown);
8402 }
else if (
Ctx.getLangOpts().CPlusPlus23 && IsReference)
8403 return revisit(VD,
true);
8412 return this->emitDummyPtr(
8416template <
class Emitter>
8422template <
class Emitter>
8432 if (!
C->destroyLocals())
8438template <
class Emitter>
8439unsigned Compiler<Emitter>::collectBaseOffset(
const QualType BaseType,
8442 if (
const auto *R = Ty->getPointeeCXXRecordDecl())
8444 return Ty->getAsCXXRecordDecl();
8446 const CXXRecordDecl *BaseDecl = extractRecordDecl(BaseType);
8447 const CXXRecordDecl *DerivedDecl = extractRecordDecl(DerivedType);
8449 return Ctx.collectBaseOffset(BaseDecl, DerivedDecl);
8453template <
class Emitter>
8460 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8465 return this->emitCastFloatingIntegralAP(Ctx.getBitWidth(ToQT),
8466 getFPOptions(E), E);
8468 return this->emitCastFloatingIntegralAPS(Ctx.getBitWidth(ToQT),
8469 getFPOptions(E), E);
8473 return this->emitCastFloatingIntegral(ToT, getFPOptions(E), E);
8478 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8480 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8484 return FromT != ToT ? this->emitCast(FromT, ToT, E) :
true;
8488 const llvm::fltSemantics *ToSem = &Ctx.getFloatSemantics(ToQT);
8489 return this->emitCastIntegralFloating(FromT, ToSem, getFPOptions(E), E);
8496template <
class Emitter>
8499 assert(FromT != ToT);
8502 return this->emitCastAP(FromT, Ctx.getBitWidth(ToQT), E);
8504 return this->emitCastAPS(FromT, Ctx.getBitWidth(ToQT), E);
8506 return this->emitCast(FromT, ToT, E);
8510template <
class Emitter>
8511bool Compiler<Emitter>::emitComplexReal(
const Expr *SubExpr) {
8515 return this->
discard(SubExpr);
8517 if (!this->visit(SubExpr))
8520 if (!this->emitConstUint8(0, SubExpr))
8522 return this->emitArrayElemPtrPopUint8(SubExpr);
8526 return this->emitArrayElemPop(classifyComplexElementType(SubExpr->
getType()),
8530template <
class Emitter>
8531bool Compiler<Emitter>::emitComplexBoolCast(
const Expr *E) {
8532 assert(!DiscardResult);
8536 if (!this->emitArrayElem(ElemT, 0, E))
8539 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8542 if (!this->emitCast(ElemT,
PT_Bool, E))
8547 LabelTy LabelTrue = this->getLabel();
8548 if (!this->jumpTrue(LabelTrue, E))
8551 if (!this->emitArrayElemPop(ElemT, 1, E))
8554 if (!this->emitCastFloatingIntegral(
PT_Bool, getFPOptions(E), E))
8557 if (!this->emitCast(ElemT,
PT_Bool, E))
8561 LabelTy EndLabel = this->getLabel();
8562 this->jump(EndLabel, E);
8564 this->emitLabel(LabelTrue);
8565 if (!this->emitPopPtr(E))
8567 if (!this->emitConstBool(
true, E))
8570 this->fallthrough(EndLabel);
8571 this->emitLabel(EndLabel);
8576template <
class Emitter>
8577bool Compiler<Emitter>::emitComplexComparison(
const Expr *LHS,
const Expr *RHS,
8588 LHSIsComplex =
true;
8589 ElemT = classifyComplexElementType(LHS->
getType());
8590 LHSOffset = allocateLocalPrimitive(LHS,
PT_Ptr,
true);
8591 if (!this->visit(LHS))
8593 if (!this->emitSetLocal(
PT_Ptr, LHSOffset, E))
8596 LHSIsComplex =
false;
8598 LHSOffset = this->allocateLocalPrimitive(LHS, LHST,
true);
8599 if (!this->visit(LHS))
8601 if (!this->emitSetLocal(LHST, LHSOffset, E))
8608 RHSIsComplex =
true;
8609 ElemT = classifyComplexElementType(RHS->
getType());
8610 RHSOffset = allocateLocalPrimitive(RHS,
PT_Ptr,
true);
8611 if (!this->visit(RHS))
8613 if (!this->emitSetLocal(
PT_Ptr, RHSOffset, E))
8616 RHSIsComplex =
false;
8618 RHSOffset = this->allocateLocalPrimitive(RHS, RHST,
true);
8619 if (!this->visit(RHS))
8621 if (!this->emitSetLocal(RHST, RHSOffset, E))
8625 auto getElem = [&](
unsigned LocalOffset,
unsigned Index,
8626 bool IsComplex) ->
bool {
8628 if (!this->emitGetLocal(
PT_Ptr, LocalOffset, E))
8630 return this->emitArrayElemPop(ElemT, Index, E);
8632 return this->emitGetLocal(ElemT, LocalOffset, E);
8635 for (
unsigned I = 0; I != 2; ++I) {
8637 if (!getElem(LHSOffset, I, LHSIsComplex))
8639 if (!getElem(RHSOffset, I, RHSIsComplex))
8642 if (!this->emitEQ(ElemT, E))
8645 if (!this->emitCastBoolUint8(E))
8650 if (!this->emitAddUint8(E))
8652 if (!this->emitConstUint8(2, E))
8656 if (!this->emitEQUint8(E))
8659 if (!this->emitNEUint8(E))
8666 return this->emitCast(
PT_Bool, ResT, E);
8673template <
class Emitter>
8674bool Compiler<Emitter>::emitRecordDestructionPop(
const Record *R,
8677 assert(!
R->hasTrivialDtor());
8680 const Function *DtorFunc = getFunction(
Dtor);
8683 assert(DtorFunc->hasThisPointer());
8684 assert(DtorFunc->getNumParams() == 1);
8685 return this->emitCall(DtorFunc, 0, Loc);
8690template <
class Emitter>
8691bool Compiler<Emitter>::emitDestructionPop(
const Descriptor *Desc,
8703 return this->emitPopPtr(Loc);
8705 for (ssize_t I = N - 1; I >= 1; --I) {
8706 if (!this->emitConstUint64(I, Loc))
8708 if (!this->emitArrayElemPtrUint64(Loc))
8710 if (!this->emitDestructionPop(ElemDesc, Loc))
8714 if (!this->emitConstUint64(0, Loc))
8716 if (!this->emitArrayElemPtrPopUint64(Loc))
8718 return this->emitDestructionPop(ElemDesc, Loc);
8723 return this->emitRecordDestructionPop(Desc->
ElemRecord, Loc);
8728template <
class Emitter>
8729bool Compiler<Emitter>::emitDummyPtr(
DeclOrExpr D,
const Expr *E,
bool CU) {
8730 assert(!DiscardResult &&
"Should've been checked before");
8734 return this->emitGetOpaquePtr(VD, CU, E);
8737 unsigned DummyID = P.getOrCreateDummy(D, CU);
8738 if (!this->emitGetPtrGlobal(DummyID, E))
8746 return this->emitDecayPtr(
PT_Ptr, PT, E);
8752template <
class Emitter>
8755 return this->emitConstFloat(
Floating(F), Info);
8757 APInt I = F.bitcastToAPInt();
8758 return this->emitConstFloat(
8759 Floating(
const_cast<uint64_t *
>(I.getRawData()),
8760 llvm::APFloatBase::SemanticsToEnum(F.getSemantics())),
8771template <
class Emitter>
8772bool Compiler<Emitter>::emitBuiltinBitCast(
const CastExpr *E) {
8785 if (!this->emitGetPtrLocal(*LocalIndex, E))
8795 if (!this->visit(SubExpr))
8797 }
else if (
OptPrimType FromT = classify(SubExpr)) {
8798 unsigned TempOffset =
8799 allocateLocalPrimitive(SubExpr, *FromT,
true);
8800 if (!this->visit(SubExpr))
8802 if (!this->emitSetLocal(*FromT, TempOffset, E))
8804 if (!this->emitGetPtrLocal(TempOffset, E))
8811 if (!this->emitBitCast(E))
8813 return DiscardResult ? this->emitPopPtr(E) :
true;
8817 const llvm::fltSemantics *TargetSemantics =
nullptr;
8819 TargetSemantics = &Ctx.getFloatSemantics(ToType);
8825 uint32_t ResultBitWidth = std::max(Ctx.getBitWidth(ToType), 8u);
8827 if (!this->emitBitCastPrim(*ToT, ToTypeIsUChar || ToType->
isStdByteType(),
8828 ResultBitWidth, TargetSemantics,
8833 return this->emitPop(*ToT, E);
8842template <
class Emitter>
8843bool Compiler<Emitter>::emitHLSLAggregateSplat(
PrimType SrcT,
8848 unsigned NumElems = 0;
8851 NumElems = VT->getNumElements();
8852 ElemType = VT->getElementType();
8854 NumElems = MT->getNumElementsFlattened();
8855 ElemType = MT->getElementType();
8858 PrimType ElemT = classifyPrim(ElemType);
8859 for (
unsigned I = 0; I != NumElems; ++I) {
8860 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8862 if (!this->emitPrimCast(SrcT, ElemT, ElemType, E))
8864 if (!this->emitInitElem(ElemT, I, E))
8874 QualType ArrElemType = CAT->getElementType();
8875 unsigned ArrSize = CAT->getZExtSize();
8878 for (
unsigned I = 0; I != ArrSize; ++I) {
8879 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8881 if (!this->emitPrimCast(SrcT, *ElemT, ArrElemType, E))
8883 if (!this->emitInitElem(*ElemT, I, E))
8887 for (
unsigned I = 0; I != ArrSize; ++I) {
8888 if (!this->emitConstUint32(I, E))
8890 if (!this->emitArrayElemPtrUint32(E))
8892 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, ArrElemType, E))
8894 if (!this->emitFinishInitPop(E))
8904 const Record *
R = getRecord(DestType);
8908 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8910 const Record::Base *B =
R->getBase(BS.getType());
8912 if (!this->emitGetPtrBase(B->Offset, E))
8914 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, BS.getType(), E))
8916 if (!this->emitFinishInitPop(E))
8921 for (
const Record::Field &F :
R->fields()) {
8922 if (F.isUnnamedBitField())
8925 QualType FieldType = F.Decl->getType();
8927 if (!this->emitGetLocal(SrcT, SrcOffset, E))
8929 if (!this->emitPrimCast(SrcT, *FieldT, FieldType, E))
8931 if (F.isBitField()) {
8932 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
8935 if (!this->emitInitField(*FieldT, F.Offset, E))
8939 if (!this->emitGetPtrField(F.Offset, E))
8941 if (!emitHLSLAggregateSplat(SrcT, SrcOffset, FieldType, E))
8943 if (!this->emitPopPtr(E))
8956template <
class Emitter>
8957unsigned Compiler<Emitter>::countHLSLFlatElements(
QualType Ty) {
8960 return VT->getNumElements();
8962 return MT->getNumElementsFlattened();
8966 return CAT->getZExtSize() * countHLSLFlatElements(CAT->getElementType());
8970 const Record *
R = getRecord(Ty);
8974 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
8976 Count += countHLSLFlatElements(BS.getType());
8978 for (
const Record::Field &F :
R->fields()) {
8979 if (F.isUnnamedBitField())
8981 Count += countHLSLFlatElements(F.Decl->getType());
8986 if (canClassify(Ty))
8995template <
class Emitter>
8996bool Compiler<Emitter>::emitHLSLFlattenAggregate(
8997 QualType SrcType,
unsigned SrcOffset,
9002 auto saveToLocal = [&](
PrimType T) ->
bool {
9003 unsigned Offset = allocateLocalPrimitive(E,
T,
true);
9004 if (!this->emitSetLocal(
T, Offset, E))
9006 Elements.push_back({Offset,
T});
9012 unsigned Offset = allocateLocalPrimitive(E,
PT_Ptr,
true);
9013 if (!this->emitSetLocal(
PT_Ptr, Offset, E))
9014 return std::nullopt;
9019 unsigned NumElems = 0;
9022 NumElems = VT->getNumElements();
9023 ElemType = VT->getElementType();
9025 NumElems = MT->getNumElementsFlattened();
9026 ElemType = MT->getElementType();
9029 PrimType ElemT = classifyPrim(ElemType);
9030 for (
unsigned I = 0; I != NumElems && Elements.size() < MaxElements; ++I) {
9031 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9033 if (!this->emitArrayElemPop(ElemT, I, E))
9035 if (!saveToLocal(ElemT))
9045 QualType ArrElemType = CAT->getElementType();
9046 unsigned ArrSize = CAT->getZExtSize();
9049 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9050 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9052 if (!this->emitArrayElemPop(*ElemT, I, E))
9054 if (!saveToLocal(*ElemT))
9058 for (
unsigned I = 0; I != ArrSize && Elements.size() < MaxElements; ++I) {
9059 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9061 if (!this->emitConstUint32(I, E))
9063 if (!this->emitArrayElemPtrPopUint32(E))
9068 if (!emitHLSLFlattenAggregate(ArrElemType, *ElemPtrOffset, Elements,
9079 const Record *
R = getRecord(SrcType);
9083 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9085 if (Elements.size() >= MaxElements)
9087 const Record::Base *B =
R->getBase(BS.getType());
9089 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9091 if (!this->emitGetPtrBasePop(B->Offset,
false, E))
9096 if (!emitHLSLFlattenAggregate(BS.getType(), *BasePtrOffset, Elements,
9102 for (
const Record::Field &F :
R->fields()) {
9103 if (Elements.size() >= MaxElements)
9105 if (F.isUnnamedBitField())
9108 QualType FieldType = F.Decl->getType();
9109 if (!this->emitGetLocal(
PT_Ptr, SrcOffset, E))
9111 if (!this->emitGetPtrFieldPop(F.Offset, E))
9115 if (!this->emitLoadPop(*FieldT, E))
9117 if (!saveToLocal(*FieldT))
9121 if (!FieldPtrOffset)
9123 if (!emitHLSLFlattenAggregate(FieldType, *FieldPtrOffset, Elements,
9139template <
class Emitter>
9140bool Compiler<Emitter>::emitHLSLConstructAggregate(
9146 const auto &Src = Elements[ElemIdx++];
9147 if (!this->emitGetLocal(Src.Type, Src.LocalOffset, E))
9149 return this->emitPrimCast(Src.Type, DestT, DestQT, E);
9153 unsigned NumElems = 0;
9156 NumElems = VT->getNumElements();
9157 ElemType = VT->getElementType();
9159 NumElems = MT->getNumElementsFlattened();
9160 ElemType = MT->getElementType();
9163 PrimType DestElemT = classifyPrim(ElemType);
9164 for (
unsigned I = 0; I != NumElems; ++I) {
9165 if (!loadAndCast(DestElemT, ElemType))
9167 if (!this->emitInitElem(DestElemT, I, E))
9177 QualType ArrElemType = CAT->getElementType();
9178 unsigned ArrSize = CAT->getZExtSize();
9181 for (
unsigned I = 0; I != ArrSize; ++I) {
9182 if (!loadAndCast(*ElemT, ArrElemType))
9184 if (!this->emitInitElem(*ElemT, I, E))
9188 for (
unsigned I = 0; I != ArrSize; ++I) {
9189 if (!this->emitConstUint32(I, E))
9191 if (!this->emitArrayElemPtrUint32(E))
9193 if (!emitHLSLConstructAggregate(ArrElemType, Elements, ElemIdx, E))
9195 if (!this->emitFinishInitPop(E))
9205 const Record *
R = getRecord(DestType);
9209 if (
const auto *CXXRD = dyn_cast<CXXRecordDecl>(
R->getDecl())) {
9211 const Record::Base *B =
R->getBase(BS.getType());
9213 if (!this->emitGetPtrBase(B->Offset, E))
9215 if (!emitHLSLConstructAggregate(BS.getType(), Elements, ElemIdx, E))
9217 if (!this->emitFinishInitPop(E))
9222 for (
const Record::Field &F :
R->fields()) {
9223 if (F.isUnnamedBitField())
9226 QualType FieldType = F.Decl->getType();
9228 if (!loadAndCast(*FieldT, FieldType))
9230 if (F.isBitField()) {
9231 if (!this->emitInitBitField(*FieldT, F.Offset, F.bitWidth(), E))
9234 if (!this->emitInitField(*FieldT, F.Offset, E))
9238 if (!this->emitGetPtrField(F.Offset, E))
9240 if (!emitHLSLConstructAggregate(FieldType, Elements, ElemIdx, E))
9242 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)
const Expr * ignorePointerCastsAndParens(const Expr *E)
A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize. This ignores some c...
Result
Implement __builtin_bit_cast and related operations.
llvm::SmallPtrSet< const ParmVarDecl *, 1 > FoundParams
bool VisitDeclRefExpr(const DeclRefExpr *E) override
a trap message and trap category.
llvm::APInt getValue() const
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const LValueBase getLValueBase() const
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
APValue & getStructField(unsigned i)
const FieldDecl * getUnionField() const
unsigned getStructNumFields() const
APValue & getStructVirtualBase(unsigned i)
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
unsigned getStructNumBases() const
unsigned getStructNumVirtualBases() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
APValue & getArrayFiller()
bool isIndeterminate() const
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
unsigned getArraySize() const
@ None
There is no such object (it's outside its lifetime).
bool isNullPointer() const
APValue & getStructBase(unsigned i)
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
unsigned getPreferredTypeAlign(QualType T) const
Return the "preferred" alignment of the specified type T for the current target, in bits.
const LangOptions & getLangOpts() const
unsigned getOpenMPDefaultSimdAlign(QualType T) const
Get default simd alignment of the specified complete type in bits.
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
llvm::FixedPointSemantics getFixedPointSemantics(QualType Ty) const
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Expr * getCond() const
getCond - Return the expression representing the condition for the ?
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents the index of the current element of an array being initialized by an ArrayInitLoopExpr.
Represents a loop initializing the elements of an array.
llvm::APInt getArraySize() const
OpaqueValueExpr * getCommonExpr() const
Get the common subexpression shared by all initializations (the source array).
Expr * getSubExpr() const
Get the initializer to use for each array element.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
uint64_t getValue() const
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
Attr - This represents one attribute.
Represents an attribute applied to a statement.
ArrayRef< const Attr * > getAttrs() const
Represents a C++ declaration that introduces decls from somewhere else.
A builtin binary operation expression such as "x + y" or "x <= y".
static bool isLogicalOp(Opcode Opc)
static bool isComparisonOp(Opcode Opc)
static bool isShiftOp(Opcode Opc)
static bool isCommaOp(Opcode Opc)
static Opcode getOpForCompoundAssignment(Opcode Opc)
static bool isPtrMemOp(Opcode Opc)
predicates to categorize the respective opcodes.
static bool isAssignmentOp(Opcode Opc)
static bool isCompoundAssignmentOp(Opcode Opc)
static bool isBitwiseOp(Opcode Opc)
BlockExpr - Adaptor class for mixing a BlockDecl with expressions.
BreakStmt - This represents a break.
Represents a C++2a __builtin_bit_cast(T, v) expression.
Represents a base class of a C++ class.
Represents binding an expression to a temporary.
const Expr * getSubExpr() const
A boolean literal, per ([C++ lex.bool] Boolean literals).
Represents a call to a C++ constructor.
bool isElidable() const
Whether this construction is elidable.
Expr * getArg(unsigned Arg)
Return the specified argument.
bool requiresZeroInitialization() const
Whether this construction first requires zero-initialization before the initializer is called.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will (ultimately) call.
unsigned getNumArgs() const
Return the number of arguments to the constructor call.
Represents a C++ constructor within a class.
bool isCopyOrMoveConstructor(unsigned &TypeQuals) const
Determine whether this is a copy or move constructor.
Represents a C++ base or member initializer.
A default argument (C++ [dcl.fct.default]).
A use of a default initializer in a constructor or in aggregate initialization.
Expr * getExpr()
Get the initialization expression that will be used.
Represents a delete expression for memory deallocation and destructor calls, e.g.
FunctionDecl * getOperatorDelete() const
bool isGlobalDelete() const
Represents a C++ destructor within a class.
A C++ dynamic_cast expression (C++ [expr.dynamic.cast]).
Represents the code generated for an expanded expansion statement.
ArrayRef< Stmt * > getInstantiations() const
ArrayRef< Stmt * > getPreambleStmts() const
CXXForRangeStmt - This represents C++0x [stmt.ranged]'s ranged for statement, represented as 'for (ra...
DeclStmt * getBeginStmt()
DeclStmt * getLoopVarStmt()
DeclStmt * getRangeStmt()
Represents a call to an inherited base class constructor from an inheriting constructor.
CXXConstructorDecl * getConstructor() const
Get the constructor that this expression will call.
Represents a static or instance method of a struct/union/class.
const CXXRecordDecl * getParent() const
Return the parent of this method declaration, which is the class in which this method is defined.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
bool isLambdaStaticInvoker() const
Determine whether this is a lambda closure type's static member function that is used for the result ...
Represents a new-expression for memory allocation and constructor calls, e.g: "new CXXNewExpr(foo)".
QualType getAllocatedType() const
std::optional< Expr * > getArraySize()
This might return std::nullopt even if isArray() returns true, since there might not be an array size...
Expr * getPlacementArg(unsigned I)
unsigned getNumPlacementArgs() const
FunctionDecl * getOperatorNew() const
Expr * getInitializer()
The initializer of this new-expression.
Represents a C++11 noexcept expression (C++ [expr.unary.noexcept]).
The null pointer literal (C++11 [lex.nullptr])
Represents a list-initialization with parenthesis.
MutableArrayRef< Expr * > getInitExprs()
Represents a C++ struct/union/class.
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool isGenericLambda() const
Determine whether this class describes a generic lambda function object (i.e.
capture_const_range captures() const
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
A C++ reinterpret_cast expression (C++ [expr.reinterpret.cast]).
A rewritten comparison expression that was originally written using operator syntax.
Expr * getSemanticForm()
Get an equivalent semantic form for this expression.
An expression "T()" which creates an rvalue of a non-class type T.
Implicit construction of a std::initializer_list<T> object from an array temporary within list-initia...
Represents the this expression in C++.
A C++ throw-expression (C++ [except.throw]).
const Expr * getSubExpr() const
CXXTryStmt - A C++ try block, including all handlers.
CompoundStmt * getTryBlock()
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
bool isTypeOperand() const
QualType getTypeOperand(const ASTContext &Context) const
Retrieves the type operand of this typeid() expression after various required adjustments (removing r...
Expr * getExprOperand() const
bool isPotentiallyEvaluated() const
Determine whether this typeid has a type operand which is potentially evaluated, per C++11 [expr....
A Microsoft C++ __uuidof expression, which gets the _GUID that corresponds to the supplied type or ex...
MSGuidDecl * getGuidDecl() const
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
unsigned getNumArgs() const
getNumArgs - Return the number of actual arguments to this call.
Expr ** getArgs()
Retrieve the call arguments.
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
CaseStmt - Represent a case statement.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
path_iterator path_begin()
CastKind getCastKind() const
llvm::iterator_range< path_iterator > path()
Path through the class hierarchy taken by casts between base and derived classes (see implementation ...
const FieldDecl * getTargetUnionField() const
CharUnits - This is an opaque type for sizes expressed in character units.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
static CharUnits One()
One - Construct a CharUnits quantity of one.
unsigned getValue() const
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
const ValueInfo * getValueInfo(ComparisonCategoryResult ValueKind) const
Complex values, per C99 6.2.5p11.
QualType getElementType() const
CompoundAssignOperator - For compound assignments (e.g.
QualType getComputationLHSType() const
QualType getComputationResultType() const
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
CompoundStmt - This represents a group of statements like { stmt stmt }.
Represents the specialization of a concept - evaluates to a prvalue of type bool.
bool isSatisfied() const
Whether or not the concept with the given arguments was satisfied when the expression was created.
Represents the canonical version of C arrays with a specified constant size.
uint64_t getZExtSize() const
Return the size zero-extended as a uint64_t.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
APValue getAPValueResult() const
bool hasAPValueResult() const
Represents a concrete matrix type with constant number of rows and columns.
ContinueStmt - This represents a continue.
ConvertVectorExpr - Clang builtin function __builtin_convertvector This AST node provides support for...
Expr * getSrcExpr() const
getSrcExpr - Return the Expr to be converted.
DeclContext * getParent()
getParent - Returns the containing DeclContext.
A reference to a declared variable, function, enum, etc.
DeclStmt - Adaptor class for mixing declarations with statements and expressions.
Decl - This represents one declaration (or definition), e.g.
bool isInvalidDecl() const
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
bool isAnyOperatorNew() const
InitListExpr * getUpdater() const
DoStmt - This represents a 'do/while' stmt.
virtual bool TraverseStmt(MaybeConst< Stmt > *S)
Recursively visit a statement or expression, by dispatching to Traverse*() based on the argument's dy...
const Expr * getBase() const
Represents a reference to emded data.
ChildElementIter< false > begin()
Represents an expression – generally a full-expression – that introduces cleanups to be run at the en...
This represents one expression.
const Expr * skipRValueSubobjectAdjustments(SmallVectorImpl< const Expr * > &CommaLHS, SmallVectorImpl< SubobjectAdjustment > &Adjustments) const
Walk outwards from an expression we want to bind a reference to and find the expression whose lifetim...
bool isValueDependent() const
Determines whether the value of this expression depends on.
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
bool isTemporaryObject(ASTContext &Ctx, const CXXRecordDecl *TempTy) const
Determine whether the result of this expression is a temporary object of the given class type.
bool refersToBitField() const
Returns true if this expression is a gl-value that potentially refers to a bit-field.
An expression trait intrinsic.
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
Represents a member of a struct/union/class.
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
llvm::APInt getValue() const
Returns an internal integer representation of the literal.
llvm::APFloat getValue() const
ForStmt - This represents a 'for (init;cond;inc)' stmt.
VarDecl * getConditionVariable() const
Retrieve the variable declared in this "for" statement, if any.
DeclStmt * getConditionVariableDeclStmt()
If this ForStmt has a condition variable, return the faux DeclStmt associated with the creation of th...
const Expr * getSubExpr() const
Represents a function declaration or definition.
const ParmVarDecl * getParamDecl(unsigned i) const
Stmt * getBody(const FunctionDecl *&Definition) const
Retrieve the body (definition) of the function.
bool isFunctionTemplateSpecialization() const
Determine whether this function is a function template specialization.
FunctionTemplateDecl * getDescribedFunctionTemplate() const
Retrieves the function template that is described by this function declaration.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
ArrayRef< ParmVarDecl * > parameters() const
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
const TemplateArgumentList * getTemplateSpecializationArgs() const
Retrieve the template arguments used to produce this function template specialization from the primar...
bool isUsableAsGlobalAllocationFunctionInConstantEvaluation(UnsignedOrNone *AlignmentParam=nullptr, bool *IsNothrow=nullptr) const
Determines whether this function is one of the replaceable global allocation functions described in i...
bool isDefaulted() const
Whether this function is defaulted.
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
bool hasBody(const FunctionDecl *&Definition) const
Returns true if the function has a body.
Declaration of a template function.
FunctionDecl * findSpecialization(ArrayRef< TemplateArgument > Args, llvm::FoldingSetInsertToken &InsertToken)
Return the specialization with the provided arguments if it exists, otherwise return the insertion po...
GNUNullExpr - Implements the GNU __null extension, which is a name for a null pointer constant that h...
Represents a C11 generic selection.
Expr * getResultExpr()
Return the result expression of this controlling expression.
IfStmt - This represents an if/then/else.
bool isNonNegatedConsteval() const
bool isNegatedConsteval() const
DeclStmt * getConditionVariableDeclStmt()
If this IfStmt has a condition variable, return the faux DeclStmt associated with the creation of tha...
VarDecl * getConditionVariable()
Retrieve the variable declared in this "if" statement, if any.
ImaginaryLiteral - We support imaginary integer and floating point literals, like "1....
const Expr * getSubExpr() const
Represents an implicitly-generated value initialization of an object of a given type.
Represents a field injected from an anonymous union/struct into the parent scope.
Describes an C or C++ initializer list.
Expr * getArrayFiller()
If this initializer list initializes an array with more elements than there are initializers in the l...
ArrayRef< Expr * > inits() const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
capture_init_iterator capture_init_begin()
Retrieve the first initialization argument for this lambda expression (which initializes the first ca...
CXXRecordDecl * getLambdaClass() const
Retrieve the class that corresponds to the lambda.
bool isCompatibleWith(ClangABI Version) const
Implicit declaration of a temporary that was materialized by a MaterializeTemporaryExpr and lifetime-...
const Stmt * getNamedLoopOrSwitch() const
If this is a named break/continue, get the loop or switch statement that this targets.
APValue & getAsAPValue() const
Get the value of this MSGuidDecl as an APValue.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
StorageDuration getStorageDuration() const
Retrieve the storage duration for the materialized temporary.
Expr * getSubExpr() const
Retrieve the temporary-generating subexpression whose value will be materialized into a glvalue.
ValueDecl * getExtendingDecl()
Get the declaration which triggered the lifetime-extension of this temporary, if any.
LifetimeExtendedTemporaryDecl * getLifetimeExtendedTemporaryDecl()
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
A pointer to member type per C++ 8.3.3 - Pointers to members.
This represents a decl that may have a name.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Represents a C++ namespace alias.
ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
ObjCBoxedExpr - used for generalized expression boxing.
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
ObjCEncodeExpr, used for @encode in Objective-C.
QualType getEncodedType() const
SourceLocation getAtLoc() const
bool isExpressibleAsConstantInitializer() const
ObjCStringLiteral, used for Objective-C string literals i.e.
OffsetOfExpr - [C99 7.17] - This represents an expression of the form offsetof(record-type,...
Expr * getIndexExpr(unsigned Idx)
const OffsetOfNode & getComponent(unsigned Idx) const
unsigned getNumComponents() const
Helper class for OffsetOfExpr.
unsigned getArrayExprIndex() const
For an array element node, returns the index into the array of expressions.
@ Array
An index into an array.
Kind getKind() const
Determine what kind of offsetof node this is.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
Expr * getSourceExpr() const
The source expression of an opaque value expression is the expression which originally generated the ...
Expr * getSelectedExpr() const
ParenExpr - This represents a parenthesized expression, e.g.
const Expr * getSubExpr() const
Represents a parameter to a function.
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
[C99 6.4.2.2] - A predefined identifier such as func.
StringLiteral * getFunctionName()
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Expr * getResultExpr()
Return the result-bearing expression, or null if there is none.
ArrayRef< Expr * > semantics()
A (possibly-)qualified type.
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
QualType withConst() const
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
bool isConstant(const ASTContext &Ctx) const
bool isConstQualified() const
Determine whether this type is const-qualified.
Represents a struct/union/class.
Frontend produces RecoveryExprs on semantic errors that prevent creating other well-formed expression...
Base for LValueReferenceType and RValueReferenceType.
C++2a [expr.prim.req]: A requires-expression provides a concise way to express requirements on templa...
bool isSatisfied() const
Whether or not the requires clause is satisfied.
ReturnStmt - This represents a return, optionally of an expression: return; return 4;.
SourceLocation getLocation() const
std::string ComputeName(ASTContext &Context) const
Scope - A scope is a transient data structure that is used while parsing the program.
ShuffleVectorExpr - clang-specific builtin-in function __builtin_shufflevector.
llvm::APSInt getShuffleMaskIdx(unsigned N) const
unsigned getNumSubExprs() const
getNumSubExprs - Return the size of the SubExprs array.
Expr * getExpr(unsigned Index)
getExpr - Return the Expr at the specified index.
Represents an expression that computes the length of a parameter pack.
unsigned getPackLength() const
Retrieve the length of the parameter pack.
Represents a function call to one of __builtin_LINE(), __builtin_COLUMN(), __builtin_FUNCTION(),...
APValue EvaluateInContext(const ASTContext &Ctx, const Expr *DefaultExpr) const
Return the result of evaluating this SourceLocExpr in the specified (and possibly null) default argum...
Represents a C++11 static_assert declaration.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
CompoundStmt * getSubStmt()
bool Visit(PTR(Stmt) S, ParamTys... P)
Stmt - This represents one statement.
StmtClass getStmtClass() const
StringLiteral - This represents a string literal expression, e.g.
unsigned getLength() const
uint32_t getCodeUnit(size_t I) const
Return the code unit at the given position.
static StringLiteral * Create(const ASTContext &Ctx, StringRef Str, StringLiteralKind Kind, bool Pascal, QualType Ty, ArrayRef< SourceLocation > Locs)
This is the "fully general" constructor that allows representation of strings formed from one or more...
unsigned getCharByteWidth() const
Represents a reference to a non-type template parameter that has been substituted with a template arg...
Expr * getReplacement() const
const SwitchCase * getNextSwitchCase() const
SwitchStmt - This represents a 'switch' stmt.
VarDecl * getConditionVariable()
Retrieve the variable declared in this "switch" statement, if any.
SwitchCase * getSwitchCaseList()
DeclStmt * getConditionVariableDeclStmt()
If this SwitchStmt has a condition variable, return the faux DeclStmt associated with the creation of...
Represents the declaration of a struct/union/class/enum.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
A template argument list.
ArrayRef< TemplateArgument > asArray() const
Produce this as an array ref.
A type trait used in the implementation of various C++11 and Library TR1 trait templates.
bool getBoolValue() const
bool isStoredAsComparisonResult() const
const APValue & getAPValue() const
bool isStoredAsBoolean() const
The base class of the type hierarchy.
bool isBooleanType() const
bool isLiteralType(const ASTContext &Ctx) const
Return true if this is a literal type (C++11 [basic.types]p10)
bool isIncompleteArrayType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
bool isVoidPointerType() const
bool isConstantSizeType() const
Return true if this is not a variable sized type, according to the rules of C99 6....
bool isFunctionPointerType() const
bool isConstantMatrixType() const
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isEnumeralType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isSpecificBuiltinType(unsigned K) const
Test for a particular builtin type.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isAnyComplexType() const
bool isFixedPointType() const
Return true if this is a fixed point type according to ISO/IEC JTC1 SC22 WG14 N1169.
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isMemberPointerType() const
bool isAtomicType() const
EnumDecl * castAsEnumDecl() const
bool isStdByteType() const
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isPointerOrReferenceType() const
bool isFunctionType() const
bool isVectorType() const
bool isRealFloatingType() const
Floating point categories.
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
bool isFloatingType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
bool isSizelessVectorType() const
Returns true for all scalable vector types.
bool hasBooleanRepresentation() const
Determine whether this type has a boolean representation – i.e., it is a boolean type,...
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 * findVirtualBase(const RecordDecl *RD) const
Returns a virtual base descriptor.
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()