;
33using namespaceCodeGen;
44classAggExprEmitter :
public StmtVisitor<AggExprEmitter> {
65 voidwithReturnValueSlot(
const Expr*
E,
68 voidDoZeroInitPadding(uint64_t &PaddingStart, uint64_t PaddingEnd,
73: CGF(cgf), Builder(CGF.Builder), Dest(Dest),
74IsResultUnused(IsResultUnused) { }
83 voidEmitAggLoadOfLValue(
const Expr*
E);
88CodeGenFunction::ExprValueKind SrcValueKind =
89CodeGenFunction::EVK_NonRValue);
94 voidEmitArrayInit(
AddressDestPtr, llvm::ArrayType *AType,
QualTypeArrayQTy,
99 if(CGF.
getLangOpts().getGC() && TypeRequiresGCollection(
T))
104 boolTypeRequiresGCollection(
QualType T);
115 voidVisitStmt(
Stmt*S) {
131 return Visit(
E->getReplacement());
140llvm::TypeSize::getFixed(
146 return Visit(
E->getSubExpr());
150 voidVisitDeclRefExpr(
DeclRefExpr*
E) { EmitAggLoadOfLValue(
E); }
151 voidVisitMemberExpr(
MemberExpr*ME) { EmitAggLoadOfLValue(ME); }
152 voidVisitUnaryDeref(
UnaryOperator*
E) { EmitAggLoadOfLValue(
E); }
153 voidVisitStringLiteral(
StringLiteral*
E) { EmitAggLoadOfLValue(
E); }
156EmitAggLoadOfLValue(
E);
159EmitAggLoadOfLValue(
E);
164 voidVisitCallExpr(
const CallExpr*
E);
165 voidVisitStmtExpr(
const StmtExpr*
E);
167 voidVisitPointerToDataMemberBinaryOperator(
const BinaryOperator*BO);
172 Visit(
E->getSemanticForm());
177EmitAggLoadOfLValue(
E);
188llvm::Value *outerBegin =
nullptr);
192CodeGenFunction::CXXDefaultArgExprScope
Scope(CGF, DAE);
196CodeGenFunction::CXXDefaultInitExprScope
Scope(CGF, DIE);
206 voidVisitCXXTypeidExpr(
CXXTypeidExpr*
E) { EmitAggLoadOfLValue(
E); }
213 returnEmitFinalDestCopy(
E->
getType(), LV);
217 boolNeedsDestruction =
220 if(NeedsDestruction)
223 if(NeedsDestruction)
239EmitFinalDestCopy(
E->
getType(), Res);
242 Visit(
E->getSelectedExpr());
254voidAggExprEmitter::EmitAggLoadOfLValue(
const Expr*
E) {
263EmitFinalDestCopy(
E->
getType(), LV);
267boolAggExprEmitter::TypeRequiresGCollection(
QualType T) {
270 if(!RecordTy)
return false;
274 if(isa<CXXRecordDecl>(
Record) &&
275(cast<CXXRecordDecl>(
Record)->hasNonTrivialCopyConstructor() ||
276!cast<CXXRecordDecl>(
Record)->hasTrivialDestructor()))
283voidAggExprEmitter::withReturnValueSlot(
286 boolRequiresDestruction =
296(RequiresDestruction && Dest.
isIgnored());
302llvm::Value *LifetimeSizePtr =
nullptr;
303llvm::IntrinsicInst *LifetimeStartInst =
nullptr;
307RetAddr = CGF.
CreateMemTemp(RetTy,
"tmp", &RetAllocaAddr);
308llvm::TypeSize
Size=
311 if(LifetimeSizePtr) {
313cast<llvm::IntrinsicInst>(std::prev(Builder.GetInsertPoint()));
314assert(LifetimeStartInst->getIntrinsicID() ==
315llvm::Intrinsic::lifetime_start &&
316 "Last insertion wasn't a lifetime.start?");
333EmitFinalDestCopy(
E->
getType(), Src);
335 if(!RequiresDestruction && LifetimeStartInst) {
346assert(src.
isAggregate() &&
"value must be aggregate value!");
348EmitFinalDestCopy(
type, srcLV, CodeGenFunction::EVK_RValue);
352voidAggExprEmitter::EmitFinalDestCopy(
354CodeGenFunction::ExprValueKind SrcValueKind) {
366 if(SrcValueKind == CodeGenFunction::EVK_RValue) {
387EmitCopy(
type, Dest, srcAgg);
423assert(Array.isSimple() &&
"initializer_list array not a simple lvalue");
424 AddressArrayPtr = Array.getAddress();
428assert(
ArrayType&&
"std::initializer_list constructed from non-array");
432assert(Field !=
Record->field_end() &&
435 "Expected std::initializer_list first field to be const E *");
444assert(Field !=
Record->field_end() &&
445 "Expected std::initializer_list to have two fields");
455assert(
Field->getType()->isPointerType() &&
458 "Expected std::initializer_list second field to be const E *");
459llvm::Value *
Zero= llvm::ConstantInt::get(CGF.
PtrDiffTy, 0);
460llvm::Value *IdxEnd[] = {
Zero,
Size};
461llvm::Value *ArrayEnd = Builder.CreateInBoundsGEP(
467assert(++Field ==
Record->field_end() &&
468 "Expected std::initializer_list to only have two fields");
477 if(isa<ImplicitValueInitExpr>(
E))
480 if(
auto*ILE = dyn_cast<InitListExpr>(
E)) {
481 if(ILE->getNumInits())
486 if(
auto*Cons = dyn_cast_or_null<CXXConstructExpr>(
E))
487 returnCons->getConstructor()->isDefaultConstructor() &&
488Cons->getConstructor()->isTrivial();
496voidAggExprEmitter::EmitArrayInit(
AddressDestPtr, llvm::ArrayType *AType,
499 uint64_tNumInitElements = Args.size();
501 uint64_tNumArrayElements = AType->getNumElements();
502 for(
const auto*
Init: Args) {
503 if(
const auto*Embed = dyn_cast<EmbedExpr>(
Init->IgnoreParenImpCasts())) {
504NumInitElements += Embed->getDataElementCount() - 1;
505 if(NumInitElements > NumArrayElements) {
506NumInitElements = NumArrayElements;
512assert(NumInitElements <= NumArrayElements);
524 if(NumInitElements * elementSize.
getQuantity() > 16 &&
532 if(llvm::Constant *
C=
533 Emitter.tryEmitForInitializer(ExprToVisit, AS, GVArrayQTy)) {
534 autoGV =
newllvm::GlobalVariable(
536 true, llvm::GlobalValue::PrivateLinkage,
C,
538 nullptr, llvm::GlobalVariable::NotThreadLocal,
543 AddressGVAddr(GV, GV->getValueType(), Align);
544EmitFinalDestCopy(ArrayQTy, CGF.
MakeAddrLValue(GVAddr, GVArrayQTy));
554CodeGenFunction::CleanupDeactivationScope deactivation(CGF);
558CodeGenFunction::AllocaTrackerRAII allocaTracker(CGF);
563llvm::Instruction *dominatingIP =
564Builder.CreateFlagLoad(llvm::ConstantInt::getNullValue(CGF.
Int8PtrTy));
566 "arrayinit.endOfInit");
567Builder.CreateStore(begin, endOfInit);
572.AddAuxAllocas(allocaTracker.Take());
578llvm::Value *one = llvm::ConstantInt::get(CGF.
SizeTy, 1);
581llvm::Value *element = begin;
582 if(ArrayIndex > 0) {
583element = Builder.CreateInBoundsGEP(
584llvmElementType, begin,
585llvm::ConstantInt::get(CGF.
SizeTy, ArrayIndex),
"arrayinit.element");
591Builder.CreateStore(element, endOfInit);
595 Address(element, llvmElementType, elementAlign), elementType);
596EmitInitializationToLValue(
Init, elementLV);
600 unsignedArrayIndex = 0;
602 for(uint64_t i = 0; i != NumInitElements; ++i) {
603 if(ArrayIndex >= NumInitElements)
605 if(
auto*EmbedS = dyn_cast<EmbedExpr>(Args[i]->IgnoreParenImpCasts())) {
606EmbedS->doForEachDataElement(Emit, ArrayIndex);
608Emit(Args[i], ArrayIndex);
619 if(NumInitElements != NumArrayElements &&
620!(Dest.
isZeroed() && hasTrivialFiller &&
627llvm::Value *element = begin;
628 if(NumInitElements) {
629element = Builder.CreateInBoundsGEP(
630llvmElementType, element,
631llvm::ConstantInt::get(CGF.
SizeTy, NumInitElements),
633 if(endOfInit.
isValid()) Builder.CreateStore(element, endOfInit);
637llvm::Value *end = Builder.CreateInBoundsGEP(
638llvmElementType, begin,
639llvm::ConstantInt::get(CGF.
SizeTy, NumArrayElements),
"arrayinit.end");
641llvm::BasicBlock *entryBB = Builder.GetInsertBlock();
646llvm::PHINode *currentElement =
647Builder.CreatePHI(element->getType(), 2,
"arrayinit.cur");
648currentElement->addIncoming(element, entryBB);
657CodeGenFunction::RunCleanupsScope CleanupsScope(CGF);
659 Address(currentElement, llvmElementType, elementAlign), elementType);
661EmitInitializationToLValue(ArrayFiller, elementLV);
663EmitNullInitializationToLValue(elementLV);
667llvm::Value *nextElement = Builder.CreateInBoundsGEP(
668llvmElementType, currentElement, one,
"arrayinit.next");
671 if(endOfInit.
isValid()) Builder.CreateStore(nextElement, endOfInit);
674llvm::Value *done = Builder.CreateICmpEQ(nextElement, end,
677Builder.CreateCondBr(done, endBB, bodyBB);
678currentElement->addIncoming(nextElement, Builder.GetInsertBlock());
689Visit(
E->getSubExpr());
706EmitAggLoadOfLValue(
E);
732 if(
autocastE = dyn_cast<CastExpr>(op)) {
733 if(castE->getCastKind() == kind)
734 returncastE->getSubExpr();
739voidAggExprEmitter::VisitCastExpr(
CastExpr*
E) {
740 if(
const auto*ECE = dyn_cast<ExplicitCastExpr>(
E))
742 switch(
E->getCastKind()) {
745assert(isa<CXXDynamicCastExpr>(
E) &&
"CK_Dynamic without a dynamic_cast?");
747CodeGenFunction::TCK_Load);
770EmitInitializationToLValue(
E->getSubExpr(),
775 caseCK_LValueToRValueBitCast: {
785llvm::Value *SizeVal = llvm::ConstantInt::get(
788Builder.CreateMemCpy(DestAddress, SourceAddress, SizeVal);
792 caseCK_DerivedToBase:
793 caseCK_BaseToDerived:
794 caseCK_UncheckedDerivedToBase: {
795llvm_unreachable(
"cannot perform hierarchy conversion in EmitAggExpr: " 796 "should have been unpacked before we got here");
799 caseCK_NonAtomicToAtomic:
800 caseCK_AtomicToNonAtomic: {
801 boolisToAtomic = (
E->getCastKind() == CK_NonAtomicToAtomic);
806 if(isToAtomic) std::swap(
atomicType, valueType);
815 returnVisit(
E->getSubExpr());
819(isToAtomic ? CK_AtomicToNonAtomic : CK_NonAtomicToAtomic);
826 "peephole significantly changed types?");
864 returnEmitFinalDestCopy(valueType, rvalue);
866 caseCK_AddressSpaceConversion:
867 returnVisit(
E->getSubExpr());
869 caseCK_LValueToRValue:
879Visit(
E->getSubExpr());
890 caseCK_HLSLArrayRValue:
891Visit(
E->getSubExpr());
895 caseCK_UserDefinedConversion:
896 caseCK_ConstructorConversion:
899 "Implicit cast types must be compatible");
900Visit(
E->getSubExpr());
903 caseCK_LValueBitCast:
904llvm_unreachable(
"should not be emitting lvalue bitcast as rvalue");
908 caseCK_ArrayToPointerDecay:
909 caseCK_FunctionToPointerDecay:
910 caseCK_NullToPointer:
911 caseCK_NullToMemberPointer:
912 caseCK_BaseToDerivedMemberPointer:
913 caseCK_DerivedToBaseMemberPointer:
914 caseCK_MemberPointerToBoolean:
915 caseCK_ReinterpretMemberPointer:
916 caseCK_IntegralToPointer:
917 caseCK_PointerToIntegral:
918 caseCK_PointerToBoolean:
921 caseCK_IntegralCast:
922 caseCK_BooleanToSignedIntegral:
923 caseCK_IntegralToBoolean:
924 caseCK_IntegralToFloating:
925 caseCK_FloatingToIntegral:
926 caseCK_FloatingToBoolean:
927 caseCK_FloatingCast:
928 caseCK_CPointerToObjCPointerCast:
929 caseCK_BlockPointerToObjCPointerCast:
930 caseCK_AnyPointerToBlockPointerCast:
931 caseCK_ObjCObjectLValueCast:
932 caseCK_FloatingRealToComplex:
933 caseCK_FloatingComplexToReal:
934 caseCK_FloatingComplexToBoolean:
935 caseCK_FloatingComplexCast:
936 caseCK_FloatingComplexToIntegralComplex:
937 caseCK_IntegralRealToComplex:
938 caseCK_IntegralComplexToReal:
939 caseCK_IntegralComplexToBoolean:
940 caseCK_IntegralComplexCast:
941 caseCK_IntegralComplexToFloatingComplex:
942 caseCK_ARCProduceObject:
943 caseCK_ARCConsumeObject:
944 caseCK_ARCReclaimReturnedObject:
945 caseCK_ARCExtendBlockObject:
946 caseCK_CopyAndAutoreleaseBlockObject:
947 caseCK_BuiltinFnToFnPtr:
948 caseCK_ZeroToOCLOpaqueType:
950 caseCK_HLSLVectorTruncation:
952 caseCK_IntToOCLSampler:
953 caseCK_FloatingToFixedPoint:
954 caseCK_FixedPointToFloating:
955 caseCK_FixedPointCast:
956 caseCK_FixedPointToBoolean:
957 caseCK_FixedPointToIntegral:
958 caseCK_IntegralToFixedPoint:
959llvm_unreachable(
"cast kind invalid for aggregate types");
963voidAggExprEmitter::VisitCallExpr(
const CallExpr*
E) {
964 if(
E->getCallReturnType(CGF.
getContext())->isReferenceType()) {
965EmitAggLoadOfLValue(
E);
982Visit(
E->getRHS());
985voidAggExprEmitter::VisitStmtExpr(
const StmtExpr*
E) {
986CodeGenFunction::StmtExprEvaluation eval(CGF);
999 const char*NameSuffix =
"") {
1002ArgTy = CT->getElementType();
1006 "member pointers may only be compared for equality");
1008CGF, LHS, RHS, MPT,
false);
1012 structCmpInstInfo {
1014llvm::CmpInst::Predicate FCmp;
1015llvm::CmpInst::Predicate SCmp;
1016llvm::CmpInst::Predicate UCmp;
1018CmpInstInfo InstInfo = [&]() -> CmpInstInfo {
1019 usingFI = llvm::FCmpInst;
1020 usingII = llvm::ICmpInst;
1023 return{
"cmp.lt", FI::FCMP_OLT, II::ICMP_SLT, II::ICMP_ULT};
1025 return{
"cmp.gt", FI::FCMP_OGT, II::ICMP_SGT, II::ICMP_UGT};
1027 return{
"cmp.eq", FI::FCMP_OEQ, II::ICMP_EQ, II::ICMP_EQ};
1029llvm_unreachable(
"Unrecognised CompareKind enum");
1033 returnBuilder.CreateFCmp(InstInfo.FCmp, LHS, RHS,
1034llvm::Twine(InstInfo.Name) + NameSuffix);
1038 returnBuilder.CreateICmp(Inst, LHS, RHS,
1039llvm::Twine(InstInfo.Name) + NameSuffix);
1042llvm_unreachable(
"unsupported aggregate binary expression should have " 1043 "already been handled");
1047 usingllvm::BasicBlock;
1048 usingllvm::PHINode;
1055 "cannot copy non-trivially copyable aggregate");
1067 autoEmitOperand = [&](
Expr*
E) -> std::pair<Value *, Value *> {
1076 autoLHSValues = EmitOperand(
E->getLHS()),
1077RHSValues = EmitOperand(
E->getRHS());
1081K, IsComplex ?
".r":
"");
1086RHSValues.second, K,
".i");
1087 returnBuilder.CreateAnd(Cmp, CmpImag,
"and.eq");
1090 returnBuilder.getInt(VInfo->getIntValue());
1098Builder.CreateSelect(EmitCmp(
CK_Less), EmitCmpRes(CmpInfo.
getLess()),
1099EmitCmpRes(CmpInfo.
getGreater()),
"sel.lt");
1100Select = Builder.CreateSelect(EmitCmp(
CK_Equal),
1102SelectOne,
"sel.eq");
1104 Value*SelectEq = Builder.CreateSelect(
1109SelectEq,
"sel.gt");
1110Select = Builder.CreateSelect(
1111EmitCmp(
CK_Less), EmitCmpRes(CmpInfo.
getLess()), SelectGT,
"sel.lt");
1127 if(
E->getOpcode() == BO_PtrMemD ||
E->getOpcode() == BO_PtrMemI)
1128VisitPointerToDataMemberBinaryOperator(
E);
1133voidAggExprEmitter::VisitPointerToDataMemberBinaryOperator(
1136EmitFinalDestCopy(
E->
getType(), LV);
1146 if(
const DeclRefExpr*DRE = dyn_cast<DeclRefExpr>(
E)) {
1147 const VarDecl*var = dyn_cast<VarDecl>(DRE->getDecl());
1148 return(var && var->hasAttr<BlocksAttr>());
1157 if(op->isAssignmentOp() || op->isPtrMemOp())
1161 if(op->getOpcode() == BO_Comma)
1169= dyn_cast<AbstractConditionalOperator>(
E)) {
1175= dyn_cast<OpaqueValueExpr>(
E)) {
1176 if(
const Expr*src = op->getSourceExpr())
1183}
else if(
const CastExpr*
cast= dyn_cast<CastExpr>(
E)) {
1184 if(
cast->getCastKind() == CK_LValueToRValue)
1190}
else if(
const UnaryOperator*uop = dyn_cast<UnaryOperator>(
E)) {
1194}
else if(
const MemberExpr*mem = dyn_cast<MemberExpr>(
E)) {
1210&&
"Invalid assignment");
1219EnsureDest(
E->getRHS()->
getType());
1220Visit(
E->getRHS());
1232EmitCopy(
E->getLHS()->
getType(),
1234needsGC(
E->getLHS()->
getType()),
1247EnsureDest(
E->getRHS()->
getType());
1248Visit(
E->getRHS());
1265EmitFinalDestCopy(
E->
getType(), LHS);
1273voidAggExprEmitter::
1280CodeGenFunction::OpaqueValueMapping binding(CGF,
E);
1282CodeGenFunction::ConditionalEvaluation eval(CGF);
1288 booldestructNonTrivialCStruct =
1289!isExternallyDestructed &&
1291isExternallyDestructed |= destructNonTrivialCStruct;
1300Visit(
E->getTrueExpr());
1303assert(CGF.
HaveInsertPoint() &&
"expression evaluation ended with no IP!");
1304CGF.
Builder.CreateBr(ContBlock);
1316Visit(
E->getFalseExpr());
1319 if(destructNonTrivialCStruct)
1328voidAggExprEmitter::VisitChooseExpr(
const ChooseExpr*CE) {
1332voidAggExprEmitter::VisitVAArgExpr(
VAArgExpr*VE) {
1352Visit(
E->getSubExpr());
1355 if(!wasExternallyDestructed)
1365voidAggExprEmitter::VisitCXXInheritedCtorInitExpr(
1369 E->getConstructor(),
E->constructsVBase(), Slot.
getAddress(),
1370 E->inheritedFromVBase(),
E);
1374AggExprEmitter::VisitLambdaExpr(
LambdaExpr*
E) {
1380CodeGenFunction::CleanupDeactivationScope scope(CGF);
1384e =
E->capture_init_end();
1385i != e; ++i, ++CurField) {
1388 if(CurField->hasCapturedVLAType()) {
1393EmitInitializationToLValue(*i, LV);
1397CurField->getType().isDestructedType()) {
1401CurField->getType(),
1408CodeGenFunction::RunCleanupsScope cleanups(CGF);
1409Visit(
E->getSubExpr());
1431 caseCK_UserDefinedConversion:
1432 caseCK_ConstructorConversion:
1438 caseCK_BooleanToSignedIntegral:
1439 caseCK_FloatingCast:
1440 caseCK_FloatingComplexCast:
1441 caseCK_FloatingComplexToBoolean:
1442 caseCK_FloatingComplexToIntegralComplex:
1443 caseCK_FloatingComplexToReal:
1444 caseCK_FloatingRealToComplex:
1445 caseCK_FloatingToBoolean:
1446 caseCK_FloatingToIntegral:
1447 caseCK_IntegralCast:
1448 caseCK_IntegralComplexCast:
1449 caseCK_IntegralComplexToBoolean:
1450 caseCK_IntegralComplexToFloatingComplex:
1451 caseCK_IntegralComplexToReal:
1452 caseCK_IntegralRealToComplex:
1453 caseCK_IntegralToBoolean:
1454 caseCK_IntegralToFloating:
1456 caseCK_IntegralToPointer:
1457 caseCK_PointerToIntegral:
1459 caseCK_VectorSplat:
1461 caseCK_NonAtomicToAtomic:
1462 caseCK_AtomicToNonAtomic:
1463 caseCK_HLSLVectorTruncation:
1466 caseCK_BaseToDerivedMemberPointer:
1467 caseCK_DerivedToBaseMemberPointer:
1468 caseCK_MemberPointerToBoolean:
1469 caseCK_NullToMemberPointer:
1470 caseCK_ReinterpretMemberPointer:
1474 caseCK_AnyPointerToBlockPointerCast:
1475 caseCK_BlockPointerToObjCPointerCast:
1476 caseCK_CPointerToObjCPointerCast:
1477 caseCK_ObjCObjectLValueCast:
1478 caseCK_IntToOCLSampler:
1479 caseCK_ZeroToOCLOpaqueType:
1483 caseCK_FixedPointCast:
1484 caseCK_FixedPointToBoolean:
1485 caseCK_FixedPointToFloating:
1486 caseCK_FixedPointToIntegral:
1487 caseCK_FloatingToFixedPoint:
1488 caseCK_IntegralToFixedPoint:
1492 caseCK_AddressSpaceConversion:
1493 caseCK_BaseToDerived:
1494 caseCK_DerivedToBase:
1496 caseCK_NullToPointer:
1497 caseCK_PointerToBoolean:
1502 caseCK_ARCConsumeObject:
1503 caseCK_ARCExtendBlockObject:
1504 caseCK_ARCProduceObject:
1505 caseCK_ARCReclaimReturnedObject:
1506 caseCK_CopyAndAutoreleaseBlockObject:
1507 caseCK_ArrayToPointerDecay:
1508 caseCK_FunctionToPointerDecay:
1509 caseCK_BuiltinFnToFnPtr:
1511 caseCK_LValueBitCast:
1512 caseCK_LValueToRValue:
1513 caseCK_LValueToRValueBitCast:
1514 caseCK_UncheckedDerivedToBase:
1515 caseCK_HLSLArrayRValue:
1518llvm_unreachable(
"Unhandled clang::CastKind enum");
1526 while(
auto*CE = dyn_cast<CastExpr>(
E)) {
1534 returnIL->getValue() == 0;
1537 returnFL->getValue().isPosZero();
1539 if((isa<ImplicitValueInitExpr>(
E) || isa<CXXScalarValueInitExpr>(
E)) &&
1543 if(
const CastExpr*ICE = dyn_cast<CastExpr>(
E))
1544 returnICE->getCastKind() == CK_NullToPointer &&
1549 returnCL->getValue() == 0;
1557AggExprEmitter::EmitInitializationToLValue(
Expr*
E,
LValueLV) {
1564}
else if(isa<ImplicitValueInitExpr>(
E) || isa<CXXScalarValueInitExpr>(
E)) {
1565 returnEmitNullInitializationToLValue(LV);
1566}
else if(isa<NoInitExpr>(
E)) {
1569}
else if(
type->isReferenceType()) {
1577voidAggExprEmitter::EmitNullInitializationToLValue(
LValuelv) {
1605VisitCXXParenListOrInitListExpr(
E,
E->getInitExprs(),
1606 E->getInitializedFieldInUnion(),
1607 E->getArrayFiller());
1611 if(
E->hadArrayRangeDesignator())
1614 if(
E->isTransparent())
1615 returnVisit(
E->getInit(0));
1617VisitCXXParenListOrInitListExpr(
1618 E,
E->inits(),
E->getInitializedFieldInUnion(),
E->getArrayFiller());
1621voidAggExprEmitter::VisitCXXParenListOrInitListExpr(
1630 if(llvm::Constant *
C=
1631CGF.
CGM.EmitConstantExpr(ExprToVisit, ExprToVisit->
getType(), &CGF)) {
1632llvm::GlobalVariable* GV =
1633 newllvm::GlobalVariable(CGF.
CGM.
getModule(),
C->getType(),
true,
1634llvm::GlobalValue::InternalLinkage,
C,
"");
1635EmitFinalDestCopy(ExprToVisit->
getType(),
1648EmitArrayInit(Dest.
getAddress(), AType, ExprToVisit->
getType(), ExprToVisit,
1649InitExprs, ArrayFiller);
1655assert(InitExprs.size() == 0 &&
1656 "you can only use an empty initializer with VLAs");
1662 "Only support structs/unions here!");
1668 unsignedNumInitElements = InitExprs.size();
1674CodeGenFunction::CleanupDeactivationScope DeactivateCleanups(CGF);
1676 unsignedcurInitIndex = 0;
1679 if(
auto*CXXRD = dyn_cast<CXXRecordDecl>(record)) {
1680assert(NumInitElements >= CXXRD->getNumBases() &&
1681 "missing initializer for base class");
1682 for(
auto&
Base: CXXRD->bases()) {
1683assert(!
Base.isVirtual() &&
"should not see vbases here");
1684 auto*BaseRD =
Base.getType()->getAsCXXRecordDecl();
1694CGF.
EmitAggExpr(InitExprs[curInitIndex++], AggSlot);
1697 Base.getType().isDestructedType())
1703CodeGenFunction::FieldConstructionScope FCS(CGF, Dest.
getAddress());
1705 const boolZeroInitPadding =
1711 if(!InitializedFieldInUnion) {
1717 for(
const auto*Field : record->
fields())
1719(
Field->isUnnamedBitField() ||
Field->isAnonymousStructOrUnion()) &&
1720 "Only unnamed bitfields or anonymous class allowed");
1729 if(NumInitElements) {
1731EmitInitializationToLValue(InitExprs[0], FieldLoc);
1732 if(ZeroInitPadding) {
1736DoZeroInitPadding(FieldSize, TotalSize,
nullptr);
1740 if(ZeroInitPadding)
1741EmitNullInitializationToLValue(DestLV);
1743EmitNullInitializationToLValue(FieldLoc);
1753 for(
const auto*field : record->
fields()) {
1755 if(field->getType()->isIncompleteArrayType())
1759 if(field->isUnnamedBitField())
1765 if(curInitIndex == NumInitElements && Dest.
isZeroed() &&
1769 if(ZeroInitPadding)
1770DoZeroInitPadding(PaddingStart,
1777 if(curInitIndex < NumInitElements) {
1779EmitInitializationToLValue(InitExprs[curInitIndex++], LV);
1782EmitNullInitializationToLValue(LV);
1789= field->getType().isDestructedType()) {
1798 if(ZeroInitPadding) {
1801DoZeroInitPadding(PaddingStart, TotalSize,
nullptr);
1805voidAggExprEmitter::DoZeroInitPadding(uint64_t &PaddingStart,
1806uint64_t PaddingEnd,
1814Addr = Builder.CreateConstGEP(Addr, Start.
getQuantity());
1815llvm::Constant *SizeVal = Builder.getInt64((End - Start).getQuantity());
1819 if(NextField !=
nullptr&& NextField->
isBitField()) {
1826 if(StorageStart + Info.
StorageSize> PaddingStart) {
1827 if(StorageStart > PaddingStart)
1828InitBytes(PaddingStart, StorageStart);
1835Builder.CreateStore(Builder.getIntN(Info.
StorageSize, 0), Addr);
1841 if(PaddingStart < PaddingEnd)
1842InitBytes(PaddingStart, PaddingEnd);
1843 if(NextField !=
nullptr)
1849llvm::Value *outerBegin) {
1851CodeGenFunction::OpaqueValueMapping binding(CGF,
E->getCommonExpr());
1854 uint64_tnumElements =
E->getArraySize().getZExtValue();
1860llvm::Value *zero = llvm::ConstantInt::get(CGF.
SizeTy, 0);
1861llvm::Value *indices[] = {zero, zero};
1862llvm::Value *begin = Builder.CreateInBoundsGEP(destPtr.
getElementType(),
1864indices,
"arrayinit.begin");
1879llvm::BasicBlock *entryBB = Builder.GetInsertBlock();
1884llvm::PHINode *index =
1885Builder.CreatePHI(zero->getType(), 2,
"arrayinit.index");
1886index->addIncoming(zero, entryBB);
1887llvm::Value *element =
1888Builder.CreateInBoundsGEP(llvmElementType, begin, index);
1894 if(outerBegin->getType() != element->getType())
1895outerBegin = Builder.CreateBitCast(outerBegin, element->getType());
1908CodeGenFunction::RunCleanupsScope CleanupsScope(CGF);
1909CodeGenFunction::ArrayInitLoopExprScope
Scope(CGF, index);
1911 Address(element, llvmElementType, elementAlign), elementType);
1919AggExprEmitter(CGF, elementSlot,
false)
1920.VisitArrayInitLoopExpr(InnerLoop, outerBegin);
1922EmitInitializationToLValue(
E->getSubExpr(), elementLV);
1926llvm::Value *nextIndex = Builder.CreateNUWAdd(
1927index, llvm::ConstantInt::get(CGF.
SizeTy, 1),
"arrayinit.next");
1928index->addIncoming(nextIndex, Builder.GetInsertBlock());
1931llvm::Value *done = Builder.CreateICmpEQ(
1932nextIndex, llvm::ConstantInt::get(CGF.
SizeTy, numElements),
1935Builder.CreateCondBr(done, endBB, bodyBB);
1948EmitInitializationToLValue(
E->getBase(), DestLV);
1949VisitInitListExpr(
E->getUpdater());
1960 if(
auto*MTE = dyn_cast<MaterializeTemporaryExpr>(
E))
1961 E= MTE->getSubExpr();
1971ILE = dyn_cast<InitListExpr>(ILE->
getInit(0));
1979 if(!RT->isUnionType()) {
1983 unsignedILEElement = 0;
1984 if(
auto*CXXRD = dyn_cast<CXXRecordDecl>(SD))
1985 while(ILEElement != CXXRD->getNumBases())
1988 for(
const auto*Field : SD->
fields()) {
1991 if(Field->getType()->isIncompleteArrayType() ||
1994 if(Field->isUnnamedBitField())
2000 if(Field->getType()->isReferenceType())
2007 returnNumNonZeroBytes;
2013 for(
unsignedi = 0, e = ILE->
getNumInits(); i != e; ++i)
2015 returnNumNonZeroBytes;
2032 const CXXRecordDecl*RD = cast<CXXRecordDecl>(RT->getDecl());
2045 if(NumNonZeroBytes*4 > Size)
2049llvm::Constant *SizeVal = CGF.
Builder.getInt64(Size.getQuantity());
2067 "Invalid aggregate expression to emit");
2069 "slot has bits but no address");
2074AggExprEmitter(*
this, Slot, Slot.
isIgnored()).Visit(
const_cast<Expr*
>(
E));
2091 returnAggExprEmitter(*
this, Dest, Dest.
isIgnored())
2092.EmitFinalDestCopy(
Type, Src, SrcKind);
2135 getContext().getASTRecordLayout(BaseRD).getSize() <=
2154assert((
Record->hasTrivialCopyConstructor() ||
2155 Record->hasTrivialCopyAssignment() ||
2156 Record->hasTrivialMoveConstructor() ||
2157 Record->hasTrivialMoveAssignment() ||
2158 Record->hasAttr<TrivialABIAttr>() ||
Record->isUnion()) &&
2159 "Trying to aggregate-copy a type without a trivial copy/move " 2160 "constructor or assignment operator");
2169 if(
getTargetHooks().emitCUDADeviceBuiltinSurfaceDeviceCopy(*
this, Dest,
2173 if(
getTargetHooks().emitCUDADeviceBuiltinTextureDeviceCopy(*
this, Dest,
2199llvm::Value *SizeVal =
nullptr;
2202 if(
auto*VAT = dyn_cast_or_null<VariableArrayType>(
2208SizeVal =
Builder.CreateNUWMul(
2238 if(
Record->hasObjectMember()) {
2260Inst->setMetadata(llvm::LLVMContext::MD_tbaa_struct, TBAAStructTag);
Defines the clang::ASTContext interface.
static CharUnits GetNumNonZeroBytesInInit(const Expr *E, CodeGenFunction &CGF)
GetNumNonZeroBytesInInit - Get an approximate count of the number of non-zero bytes that will be stor...
static Expr * findPeephole(Expr *op, CastKind kind, const ASTContext &ctx)
Attempt to look through various unimportant expressions to find a cast of the given kind.
static bool isBlockVarRef(const Expr *E)
Is the value of the given expression possibly a reference to or into a __block variable?
static bool isTrivialFiller(Expr *E)
Determine if E is a trivial array filler, that is, one that is equivalent to zero-initialization.
static bool isSimpleZero(const Expr *E, CodeGenFunction &CGF)
isSimpleZero - If emitting this value will obviously just cause a store of zero to memory,...
static llvm::Value * EmitCompare(CGBuilderTy &Builder, CodeGenFunction &CGF, const BinaryOperator *E, llvm::Value *LHS, llvm::Value *RHS, CompareKind Kind, const char *NameSuffix="")
static bool castPreservesZero(const CastExpr *CE)
Determine whether the given cast kind is known to always convert values with all zero bits in their v...
static void CheckAggExprForMemSetUse(AggValueSlot &Slot, const Expr *E, CodeGenFunction &CGF)
CheckAggExprForMemSetUse - If the initializer is large and has a lot of zeros in it,...
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
llvm::MachO::Record Record
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
const ConstantArrayType * getAsConstantArrayType(QualType T) const
CharUnits getTypeAlignInChars(QualType T) const
Return the ABI-specified alignment of a (complete) type T, in characters.
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
QualType getBaseElementType(const ArrayType *VAT) const
Return the innermost element type of an array type.
ComparisonCategories CompCategories
Types and expressions required to build C++2a three-way comparisons using operator<=>,...
CanQualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
QualType removeAddrSpaceQualType(QualType T) const
Remove any existing address space on the type and returns the type with qualifiers intact (or that's ...
TypeInfoChars getTypeInfoDataSizeInChars(QualType T) const
TypeInfoChars getTypeInfoInChars(const Type *T) const
int64_t toBits(CharUnits CharSize) const
Convert a size in characters to a size in bits.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
const ArrayType * getAsArrayType(QualType T) const
Type Query functions.
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
QualType getAddrSpaceQualType(QualType T, LangAS AddressSpace) const
Return the uniqued reference to the type for an address space qualified type with the specified type ...
unsigned getTargetAddressSpace(LangAS AS) const
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
uint64_t getFieldOffset(unsigned FieldNo) const
getFieldOffset - Get the offset of the given field index, in bits.
CharUnits getBaseClassOffset(const CXXRecordDecl *Base) const
getBaseClassOffset - Get the offset, in chars, for the given base class.
CharUnits getNonVirtualSize() const
getNonVirtualSize - Get the non-virtual size (in chars) of an object, which is the size of the object...
AbstractConditionalOperator - An abstract base class for ConditionalOperator and BinaryConditionalOpe...
Represents a loop initializing the elements of an array.
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
Represents an array type, per C99 6.7.5.2 - Array Declarators.
QualType getElementType() const
AtomicExpr - Variadic atomic builtins: __atomic_exchange, __atomic_fetch_*, __atomic_load,...
QualType getValueType() const
Gets the type contained by this atomic type, i.e.
A builtin binary operation expression such as "x + y" or "x <= y".
Represents binding an expression to a temporary.
Represents a call to a C++ constructor.
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 call to an inherited base class constructor from an inheriting constructor.
Represents a list-initialization with parenthesis.
Represents a C++ struct/union/class.
bool isTriviallyCopyable() const
Determine whether this class is considered trivially copyable per (C++11 [class]p6).
bool hasUserDeclaredConstructor() const
Determine whether this class has any user-declared constructors.
bool isEmpty() const
Determine whether this is an empty class in the sense of (C++11 [meta.unary.prop]).
A rewritten comparison expression that was originally written using operator syntax.
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...
A C++ throw-expression (C++ [except.throw]).
A C++ typeid expression (C++ [expr.typeid]), which gets the type_info that corresponds to the supplie...
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
CastKind getCastKind() const
CharUnits - This is an opaque type for sizes expressed in character units.
bool isZero() const
isZero - Test whether the quantity equals zero.
llvm::Align getAsAlign() const
getAsAlign - Returns Quantity as a valid llvm::Align, Beware llvm::Align assumes power of two 8-bit b...
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
CharUnits alignmentOfArrayElement(CharUnits elementSize) const
Given that this is the alignment of the first element of an array, return the minimum alignment of an...
static CharUnits fromQuantity(QuantityType Quantity)
fromQuantity - Construct a CharUnits quantity from a raw integer type.
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
Expr * getChosenSubExpr() const
getChosenSubExpr - Return the subexpression chosen according to the condition.
Represents a 'co_await' expression.
Like RawAddress, an abstract representation of an aligned address, but the pointer contained in this ...
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
Return the pointer contained in this class after authenticating it and adding offset to it if necessa...
CharUnits getAlignment() const
llvm::Type * getElementType() const
Return the type of the values stored in this address.
Address withElementType(llvm::Type *ElemTy) const
Return address with different element type, but same pointer and alignment.
llvm::PointerType * getType() const
Return the type of the pointer value.
void setVolatile(bool flag)
static AggValueSlot ignored()
ignored - Returns an aggregate value slot indicating that the aggregate value is being ignored.
Address getAddress() const
CharUnits getPreferredSize(ASTContext &Ctx, QualType Type) const
Get the preferred size to use when storing a value to this slot.
NeedsGCBarriers_t requiresGCollection() const
void setExternallyDestructed(bool destructed=true)
void setZeroed(bool V=true)
IsZeroed_t isZeroed() const
Qualifiers getQualifiers() const
static AggValueSlot forLValue(const LValue &LV, IsDestructed_t isDestructed, NeedsGCBarriers_t needsGC, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed, IsSanitizerChecked_t isChecked=IsNotSanitizerChecked)
IsAliased_t isPotentiallyAliased() const
static AggValueSlot forAddr(Address addr, Qualifiers quals, IsDestructed_t isDestructed, NeedsGCBarriers_t needsGC, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed, IsSanitizerChecked_t isChecked=IsNotSanitizerChecked)
forAddr - Make a slot for an aggregate value.
IsDestructed_t isExternallyDestructed() const
Overlap_t mayOverlap() const
llvm::Value * emitRawPointer(CodeGenFunction &CGF) const
A scoped helper to set the current debug location to the specified location or preferred location of ...
llvm::CallInst * CreateMemSet(Address Dest, llvm::Value *Value, llvm::Value *Size, bool IsVolatile=false)
Address CreateStructGEP(Address Addr, unsigned Index, const llvm::Twine &Name="")
llvm::CallInst * CreateMemCpy(Address Dest, Address Src, llvm::Value *Size, bool IsVolatile=false)
virtual llvm::Value * EmitMemberPointerComparison(CodeGenFunction &CGF, llvm::Value *L, llvm::Value *R, const MemberPointerType *MPT, bool Inequality)
Emit a comparison between two member pointers. Returns an i1.
virtual void EmitGCMemmoveCollectable(CodeGen::CodeGenFunction &CGF, Address DestPtr, Address SrcPtr, llvm::Value *Size)=0
CGRecordLayout - This class handles struct and union layout info while lowering AST types to LLVM typ...
const CGBitFieldInfo & getBitFieldInfo(const FieldDecl *FD) const
Return the BitFieldInfo that corresponds to the field FD.
CodeGenFunction - This class organizes the per-function state that is used while generating LLVM code...
void EmitNullInitialization(Address DestPtr, QualType Ty)
EmitNullInitialization - Generate code to set a value of the given type to null, If the type contains...
void CreateCoercedStore(llvm::Value *Src, Address Dst, llvm::TypeSize DstSize, bool DstIsVolatile)
Create a store to.
llvm::Value * EmitLifetimeStart(llvm::TypeSize Size, llvm::Value *Addr)
void DeactivateCleanupBlock(EHScopeStack::stable_iterator Cleanup, llvm::Instruction *DominatingIP)
DeactivateCleanupBlock - Deactivates the given cleanup block.
void EmitBranchOnBoolExpr(const Expr *Cond, llvm::BasicBlock *TrueBlock, llvm::BasicBlock *FalseBlock, uint64_t TrueCount, Stmt::Likelihood LH=Stmt::LH_None, const Expr *ConditionalOp=nullptr)
EmitBranchOnBoolExpr - Emit a branch on a boolean condition (e.g.
LValue getOrCreateOpaqueLValueMapping(const OpaqueValueExpr *e)
Given an opaque value expression, return its LValue mapping if it exists, otherwise create one.
LValue EmitAggExprToLValue(const Expr *E)
EmitAggExprToLValue - Emit the computation of the specified expression of aggregate type into a tempo...
void EmitLifetimeEnd(llvm::Value *Size, llvm::Value *Addr)
void EmitStoreThroughLValue(RValue Src, LValue Dst, bool isInit=false)
EmitStoreThroughLValue - Store the specified rvalue into the specified lvalue, where both are guarant...
void pushLifetimeExtendedDestroy(CleanupKind kind, Address addr, QualType type, Destroyer *destroyer, bool useEHCleanupForArray)
static bool hasScalarEvaluationKind(QualType T)
void pushIrregularPartialArrayCleanup(llvm::Value *arrayBegin, Address arrayEndPointer, QualType elementType, CharUnits elementAlignment, Destroyer *destroyer)
llvm::Value * emitArrayLength(const ArrayType *arrayType, QualType &baseType, Address &addr)
emitArrayLength - Compute the length of an array, even if it's a VLA, and drill down to the base elem...
AggValueSlot::Overlap_t getOverlapForBaseInit(const CXXRecordDecl *RD, const CXXRecordDecl *BaseRD, bool IsVirtual)
Determine whether a base class initialization may overlap some other object.
LValue EmitLValue(const Expr *E, KnownNonNull_t IsKnownNonNull=NotKnownNonNull)
EmitLValue - Emit code to compute a designator that specifies the location of the expression.
RValue EmitAtomicLoad(LValue LV, SourceLocation SL, AggValueSlot Slot=AggValueSlot::ignored())
bool hasVolatileMember(QualType T)
hasVolatileMember - returns true if aggregate type has a volatile member.
void callCStructCopyAssignmentOperator(LValue Dst, LValue Src)
void callCStructMoveConstructor(LValue Dst, LValue Src)
llvm::SmallVector< DeferredDeactivateCleanup > DeferredDeactivationCleanupStack
void callCStructCopyConstructor(LValue Dst, LValue Src)
llvm::BasicBlock * createBasicBlock(const Twine &name="", llvm::Function *parent=nullptr, llvm::BasicBlock *before=nullptr)
createBasicBlock - Create an LLVM basic block.
const LangOptions & getLangOpts() const
LValue EmitLValueForFieldInitialization(LValue Base, const FieldDecl *Field)
EmitLValueForFieldInitialization - Like EmitLValueForField, except that if the Field is a reference,...
void EmitBlock(llvm::BasicBlock *BB, bool IsFinished=false)
EmitBlock - Emit the given block.
void pushDestroyAndDeferDeactivation(QualType::DestructionKind dtorKind, Address addr, QualType type)
llvm::AllocaInst * CreateTempAlloca(llvm::Type *Ty, const Twine &Name="tmp", llvm::Value *ArraySize=nullptr)
CreateTempAlloca - This creates an alloca and inserts it into the entry block if ArraySize is nullptr...
void EmitInheritedCXXConstructorCall(const CXXConstructorDecl *D, bool ForVirtualBase, Address This, bool InheritedFromVBase, const CXXInheritedCtorInitExpr *E)
Emit a call to a constructor inherited from a base class, passing the current constructor's arguments...
RValue EmitObjCMessageExpr(const ObjCMessageExpr *E, ReturnValueSlot Return=ReturnValueSlot())
void EmitIgnoredExpr(const Expr *E)
EmitIgnoredExpr - Emit an expression in a context which ignores the result.
llvm::Type * ConvertTypeForMem(QualType T)
LValue EmitCheckedLValue(const Expr *E, TypeCheckKind TCK)
Same as EmitLValue but additionally we generate checking code to guard against undefined behavior.
RawAddress CreateMemTemp(QualType T, const Twine &Name="tmp", RawAddress *Alloca=nullptr)
CreateMemTemp - Create a temporary memory object of the given type, with appropriate alignmen and cas...
Destroyer * getDestroyer(QualType::DestructionKind destructionKind)
void EmitStoreThroughBitfieldLValue(RValue Src, LValue Dst, llvm::Value **Result=nullptr)
EmitStoreThroughBitfieldLValue - Store Src into Dst with same constraints as EmitStoreThroughLValue.
const TargetInfo & getTarget() const
llvm::Value * getTypeSize(QualType Ty)
Returns calculated size of the specified type.
void pushFullExprCleanup(CleanupKind kind, As... A)
pushFullExprCleanup - Push a cleanup to be run at the end of the current full-expression.
RValue EmitAnyExpr(const Expr *E, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
EmitAnyExpr - Emit code to compute the specified expression which can have any type.
AggValueSlot CreateAggTemp(QualType T, const Twine &Name="tmp", RawAddress *Alloca=nullptr)
CreateAggTemp - Create a temporary memory object for the given aggregate type.
RValue EmitCoyieldExpr(const CoyieldExpr &E, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
bool HaveInsertPoint() const
HaveInsertPoint - True if an insertion point is defined.
void ErrorUnsupported(const Stmt *S, const char *Type)
ErrorUnsupported - Print out an error that codegen doesn't support the specified stmt yet.
AggValueSlot::Overlap_t getOverlapForFieldInit(const FieldDecl *FD)
Determine whether a field initialization may overlap some other object.
void EmitAggregateCopy(LValue Dest, LValue Src, QualType EltTy, AggValueSlot::Overlap_t MayOverlap, bool isVolatile=false)
EmitAggregateCopy - Emit an aggregate copy.
const TargetCodeGenInfo & getTargetHooks() const
RValue EmitReferenceBindingToExpr(const Expr *E)
Emits a reference binding to the passed in expression.
void EmitAggExpr(const Expr *E, AggValueSlot AS)
EmitAggExpr - Emit the computation of the specified expression of aggregate type.
Address EmitCompoundStmt(const CompoundStmt &S, bool GetLast=false, AggValueSlot AVS=AggValueSlot::ignored())
void EmitCXXTemporary(const CXXTemporary *Temporary, QualType TempType, Address Ptr)
RValue EmitVAArg(VAArgExpr *VE, Address &VAListAddr, AggValueSlot Slot=AggValueSlot::ignored())
Generate code to get an argument from the passed in pointer and update it accordingly.
RValue EmitPseudoObjectRValue(const PseudoObjectExpr *e, AggValueSlot slot=AggValueSlot::ignored())
ASTContext & getContext() const
void EmitAggFinalDestCopy(QualType Type, AggValueSlot Dest, const LValue &Src, ExprValueKind SrcKind)
EmitAggFinalDestCopy - Emit copy of the specified aggregate into destination address.
void EmitCXXThrowExpr(const CXXThrowExpr *E, bool KeepInsertionPoint=true)
void pushDestroy(QualType::DestructionKind dtorKind, Address addr, QualType type)
Address GetAddressOfDirectBaseInCompleteClass(Address Value, const CXXRecordDecl *Derived, const CXXRecordDecl *Base, bool BaseIsVirtual)
GetAddressOfBaseOfCompleteClass - Convert the given pointer to a complete class to the given direct b...
void callCStructMoveAssignmentOperator(LValue Dst, LValue Src)
bool needsEHCleanup(QualType::DestructionKind kind)
Determines whether an EH cleanup is required to destroy a type with the given destruction kind.
CleanupKind getCleanupKind(QualType::DestructionKind kind)
void EmitCXXConstructExpr(const CXXConstructExpr *E, AggValueSlot Dest)
llvm::Type * ConvertType(QualType T)
CodeGenTypes & getTypes() const
RValue EmitCoawaitExpr(const CoawaitExpr &E, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
llvm::Value * EmitDynamicCast(Address V, const CXXDynamicCastExpr *DCE)
uint64_t getProfileCount(const Stmt *S)
Get the profiler's count for the given statement.
LValue EmitPseudoObjectLValue(const PseudoObjectExpr *e)
static bool hasAggregateEvaluationKind(QualType T)
LValue MakeAddrLValue(Address Addr, QualType T, AlignmentSource Source=AlignmentSource::Type)
void EmitLambdaVLACapture(const VariableArrayType *VAT, LValue LV)
void EmitAtomicStore(RValue rvalue, LValue lvalue, bool isInit)
void EmitInitializationToLValue(const Expr *E, LValue LV, AggValueSlot::IsZeroed_t IsZeroed=AggValueSlot::IsNotZeroed)
EmitInitializationToLValue - Emit an initializer to an LValue.
RValue EmitCallExpr(const CallExpr *E, ReturnValueSlot ReturnValue=ReturnValueSlot(), llvm::CallBase **CallOrInvoke=nullptr)
llvm::LLVMContext & getLLVMContext()
bool LValueIsSuitableForInlineAtomic(LValue Src)
void incrementProfileCounter(const Stmt *S, llvm::Value *StepV=nullptr)
Increment the profiler's counter for the given statement by StepV.
void pushRegularPartialArrayCleanup(llvm::Value *arrayBegin, llvm::Value *arrayEnd, QualType elementType, CharUnits elementAlignment, Destroyer *destroyer)
void EmitStoreOfScalar(llvm::Value *Value, Address Addr, bool Volatile, QualType Ty, AlignmentSource Source=AlignmentSource::Type, bool isInit=false, bool isNontemporal=false)
EmitStoreOfScalar - Store a scalar value to an address, taking care to appropriately convert from the...
RValue EmitAtomicExpr(AtomicExpr *E)
LValue EmitPointerToDataMemberBinaryExpr(const BinaryOperator *E)
This class organizes the cross-function state that is used while generating LLVM code.
void EmitExplicitCastExprType(const ExplicitCastExpr *E, CodeGenFunction *CGF=nullptr)
Emit type info if type of an expression is a variably modified type.
llvm::MDNode * getTBAAStructInfo(QualType QTy)
llvm::Module & getModule() const
bool isPaddedAtomicType(QualType type)
void ErrorUnsupported(const Stmt *S, const char *Type)
Print out an error that codegen doesn't support the specified stmt yet.
TBAAAccessInfo mergeTBAAInfoForMemoryTransfer(TBAAAccessInfo DestInfo, TBAAAccessInfo SrcInfo)
mergeTBAAInfoForMemoryTransfer - Get merged TBAA information for the purposes of memory transfer call...
const LangOptions & getLangOpts() const
const llvm::DataLayout & getDataLayout() const
CGCXXABI & getCXXABI() const
void DecorateInstructionWithTBAA(llvm::Instruction *Inst, TBAAAccessInfo TBAAInfo)
DecorateInstructionWithTBAA - Decorate the instruction with a TBAA tag.
ASTContext & getContext() const
const CodeGenOptions & getCodeGenOpts() const
bool shouldZeroInitPadding() const
CGObjCRuntime & getObjCRuntime()
Return a reference to the configured Objective-C runtime.
llvm::Constant * EmitNullConstant(QualType T)
Return the result of value-initializing the given type, i.e.
LangAS GetGlobalConstantAddressSpace() const
Return the AST address space of constant literal, which is used to emit the constant literal as globa...
bool isPointerZeroInitializable(QualType T)
Check if the pointer type can be zero-initialized (in the C++ sense) with an LLVM zeroinitializer.
const CGRecordLayout & getCGRecordLayout(const RecordDecl *)
getCGRecordLayout - Return record layout info for the given record decl.
bool isZeroInitializable(QualType T)
IsZeroInitializable - Return whether a type can be zero-initialized (in the C++ sense) with an LLVM z...
A saved depth on the scope stack.
stable_iterator stable_begin() const
Create a stable reference to the top of the EH stack.
iterator find(stable_iterator save) const
Turn a stable reference to a scope depth into a unstable pointer to the EH stack.
LValue - This represents an lvalue references.
Address getAddress() const
TBAAAccessInfo getTBAAInfo() const
void setNonGC(bool Value)
RValue - This trivial value class is used to represent the result of an expression that is evaluated.
llvm::Value * getAggregatePointer(QualType PointeeType, CodeGenFunction &CGF) const
static RValue get(llvm::Value *V)
static RValue getAggregate(Address addr, bool isVolatile=false)
Convert an Address to an RValue.
Address getAggregateAddress() const
getAggregateAddr() - Return the Value* of the address of the aggregate.
llvm::Value * getScalarVal() const
getScalarVal() - Return the Value* of this scalar value.
std::pair< llvm::Value *, llvm::Value * > getComplexVal() const
getComplexVal - Return the real/imag components of this complex value.
An abstract representation of an aligned address.
llvm::Value * getPointer() const
static RawAddress invalid()
ReturnValueSlot - Contains the address where the return value of a function can be stored,...
const ComparisonCategoryInfo & getInfoForType(QualType Ty) const
Return the comparison category information as specified by getCategoryForType(Ty).
bool isPartial() const
True iff the comparison is not totally ordered.
const ValueInfo * getLess() const
const ValueInfo * getUnordered() const
const CXXRecordDecl * Record
The declaration for the comparison category type from the standard library.
const ValueInfo * getGreater() const
const ValueInfo * getEqualOrEquiv() const
Complex values, per C99 6.2.5p11.
CompoundLiteralExpr - [C99 6.5.2.5].
Represents the canonical version of C arrays with a specified constant size.
ConstantExpr - An expression that occurs in a constant context and optionally the result of evaluatin...
Represents a 'co_yield' expression.
specific_decl_iterator - Iterates over a subrange of declarations stored in a DeclContext,...
A reference to a declared variable, function, enum, etc.
Represents an expression â generally a full-expression â that introduces cleanups to be run at the en...
This represents one expression.
Expr * IgnoreParenNoopCasts(const ASTContext &Ctx) LLVM_READONLY
Skip past any parentheses and casts which do not change the value (including ptr->int casts of the sa...
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool HasSideEffects(const ASTContext &Ctx, bool IncludePossibleEffects=true) const
HasSideEffects - This routine returns true for all those expressions which have any effect other than...
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
Represents a member of a struct/union/class.
bool isBitField() const
Determines whether this field is a bitfield.
unsigned getFieldIndex() const
Returns the index of this field within its record, as appropriate for passing to ASTRecordLayout::get...
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
Represents a C11 generic selection.
Represents an implicitly-generated value initialization of an object of a given type.
Describes an C or C++ initializer list.
bool isTransparent() const
Is this a transparent initializer list (that is, an InitListExpr that is purely syntactic,...
unsigned getNumInits() const
const Expr * getInit(unsigned Init) const
A C++ lambda expression, which produces a function object (of unspecified type) that can be invoked l...
Expr *const * const_capture_init_iterator
Const iterator that walks over the capture initialization arguments.
Represents a prvalue temporary that is written into memory so that a reference can bind to it.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
A pointer to member type per C++ 8.3.3 - Pointers to members.
Represents a place-holder for an object not to be initialized by anything.
ObjCIvarRefExpr - A reference to an ObjC instance variable.
An expression that sends a message to the given Objective-C object or class.
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 ...
ParenExpr - This represents a parenthesized expression, e.g.
const Expr * getSubExpr() const
[C99 6.4.2.2] - A predefined identifier such as func.
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
A (possibly-)qualified type.
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
bool isTriviallyCopyableType(const ASTContext &Context) const
Return true if this is a trivially copyable type (C++0x [basic.types]p9)
LangAS getAddressSpace() const
Return the address space of this type.
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
bool isPODType(const ASTContext &Context) const
Determine whether this is a Plain Old Data (POD) type (C++ 3.9p10).
@ PCK_Struct
The type is a struct containing a field whose type is neither PCK_Trivial nor PCK_VolatileTrivial.
The collection of all-type qualifiers we support.
Represents a struct/union/class.
bool hasObjectMember() const
field_range fields() const
field_iterator field_begin() const
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
RecordDecl * getDecl() const
Scope - A scope is a transient data structure that is used while parsing the program.
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
RetTy Visit(PTR(Stmt) S, ParamTys... P)
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
Stmt - This represents one statement.
StringLiteral - This represents a string literal expression, e.g.
Represents a reference to a non-type template parameter that has been substituted with a template arg...
uint64_t getPointerWidth(LangAS AddrSpace) const
Return the width of pointers on this target, for the specified address space.
The base class of the type hierarchy.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isConstantArrayType() const
bool isPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isVariableArrayType() const
bool isCUDADeviceBuiltinSurfaceType() const
Check if the type is the CUDA device builtin surface type.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isAnyComplexType() const
bool hasSignedIntegerRepresentation() const
Determine whether this type has an signed integer representation of some sort, e.g....
bool isMemberPointerType() const
bool isAtomicType() const
bool isCUDADeviceBuiltinTextureType() const
Check if the type is the CUDA device builtin texture type.
bool hasFloatingRepresentation() const
Determine whether this type has a floating-point representation of some sort, e.g....
bool isRealFloatingType() const
Floating point categories.
const T * getAs() const
Member-template getAs<specific type>'.
bool isNullPtrType() const
bool isRecordType() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Represents a call to the builtin function __builtin_va_arg.
Represents a variable declaration or definition.
@ EHCleanup
Denotes a cleanup that should run when a scope is exited using exceptional control flow (a throw stat...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< AtomicType > atomicType
Matches atomic types.
tooling::Replacements cleanup(const FormatStyle &Style, StringRef Code, ArrayRef< tooling::Range > Ranges, StringRef FileName="<stdin>")
Clean up any erroneous/redundant code in the given Ranges in Code.
bool Zero(InterpState &S, CodePtr OpPC)
bool GE(InterpState &S, CodePtr OpPC)
The JSON file list parser is used to communicate input to InstallAPI.
LangAS
Defines the address space values used by the address space qualifier of QualType.
CastKind
CastKind - The kind of operation required for a conversion.
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
const FunctionProtoType * T
U cast(CodeGen::Address addr)
Diagnostic wrappers for TextAPI types for error reporting.
cl::opt< bool > EnableSingleByteCoverage
Structure with information about how a bitfield should be accessed.
CharUnits StorageOffset
The offset of the bitfield storage from the start of the struct.
unsigned StorageSize
The storage size in bits which should be used when accessing this bitfield.
llvm::IntegerType * Int8Ty
i8, i16, i32, and i64
llvm::IntegerType * CharTy
char
llvm::IntegerType * SizeTy
llvm::PointerType * Int8PtrTy
llvm::IntegerType * PtrDiffTy
CharUnits getPointerAlign() const
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4