18#include "mlir/IR/BuiltinAttributes.h"
19#include "mlir/IR/Value.h"
41 llvm::StringRef fieldName,
42 unsigned fieldIndex) {
45 "emitAddrOfFieldStorage: zero-sized field");
52 auto fieldPtr = cir::PointerType::get(fieldType);
56 cir::GetMemberOp memberAddr = builder.createGetMember(
57 loc, fieldPtr, base.
getPointer(), fieldName, fieldIndex);
65 layout.
getCIRType().getElementOffset(
cgm.getDataLayout().layout, idx));
74 assert(
expr->getType()->isPointerType() ||
75 expr->getType()->isObjCObjectPointerType());
79 if (
auto const *ce = dyn_cast<CastExpr>(
expr)) {
80 if (
const auto *ece = dyn_cast<ExplicitCastExpr>(ce))
81 cgm.emitExplicitCastExprType(ece);
83 switch (ce->getCastKind()) {
87 case CK_AddressSpaceConversion: {
88 if (
const auto *ptrTy =
89 ce->getSubExpr()->getType()->getAs<
PointerType>()) {
90 if (ptrTy->getPointeeType()->isVoidType())
98 *baseInfo = innerBaseInfo;
103 const QualType pointeeType =
expr->getType()->getPointeeType();
105 cgm.getNaturalTypeAlignment(pointeeType, &targetTypeBaseInfo);
118 const mlir::Type eltTy =
130 case CK_ArrayToPointerDecay:
133 case CK_UncheckedDerivedToBase:
134 case CK_DerivedToBase: {
139 ce->getSubExpr()->getType()->getPointeeCXXRecordDecl();
145 case CK_AnyPointerToBlockPointerCast:
146 case CK_BaseToDerived:
147 case CK_BaseToDerivedMemberPointer:
148 case CK_BlockPointerToObjCPointerCast:
149 case CK_BuiltinFnToFnPtr:
150 case CK_CPointerToObjCPointerCast:
151 case CK_DerivedToBaseMemberPointer:
153 case CK_FunctionToPointerDecay:
154 case CK_IntegralToPointer:
155 case CK_LValueToRValue:
156 case CK_LValueToRValueBitCast:
157 case CK_NullToMemberPointer:
158 case CK_NullToPointer:
159 case CK_ReinterpretMemberPointer:
165 case CK_ARCConsumeObject:
166 case CK_ARCExtendBlockObject:
167 case CK_ARCProduceObject:
168 case CK_ARCReclaimReturnedObject:
169 case CK_AtomicToNonAtomic:
170 case CK_BooleanToSignedIntegral:
171 case CK_ConstructorConversion:
172 case CK_CopyAndAutoreleaseBlockObject:
174 case CK_FixedPointCast:
175 case CK_FixedPointToBoolean:
176 case CK_FixedPointToFloating:
177 case CK_FixedPointToIntegral:
178 case CK_FloatingCast:
179 case CK_FloatingComplexCast:
180 case CK_FloatingComplexToBoolean:
181 case CK_FloatingComplexToIntegralComplex:
182 case CK_FloatingComplexToReal:
183 case CK_FloatingRealToComplex:
184 case CK_FloatingToBoolean:
185 case CK_FloatingToFixedPoint:
186 case CK_FloatingToIntegral:
187 case CK_HLSLAggregateSplatCast:
188 case CK_HLSLArrayRValue:
189 case CK_HLSLElementwiseCast:
190 case CK_HLSLVectorTruncation:
191 case CK_HLSLMatrixTruncation:
192 case CK_IntToOCLSampler:
193 case CK_IntegralCast:
194 case CK_IntegralComplexCast:
195 case CK_IntegralComplexToBoolean:
196 case CK_IntegralComplexToFloatingComplex:
197 case CK_IntegralComplexToReal:
198 case CK_IntegralRealToComplex:
199 case CK_IntegralToBoolean:
200 case CK_IntegralToFixedPoint:
201 case CK_IntegralToFloating:
202 case CK_LValueBitCast:
204 case CK_MemberPointerToBoolean:
205 case CK_NonAtomicToAtomic:
206 case CK_ObjCObjectLValueCast:
207 case CK_PointerToBoolean:
208 case CK_PointerToIntegral:
211 case CK_UserDefinedConversion:
213 case CK_ZeroToOCLOpaqueType:
214 llvm_unreachable(
"unexpected cast for emitPointerWithAlignment");
221 if (uo->getOpcode() == UO_AddrOf) {
231 if (
auto const *call = dyn_cast<CallExpr>(
expr)) {
232 switch (call->getBuiltinCallee()) {
235 case Builtin::BIaddressof:
236 case Builtin::BI__addressof:
237 case Builtin::BI__builtin_addressof: {
238 cgm.errorNYI(
expr->getSourceRange(),
239 "emitPointerWithAlignment: builtin addressof");
253 if (!dst.isSimple()) {
254 if (dst.isVectorElt()) {
256 const mlir::Location loc = dst.getVectorPointer().getLoc();
257 const mlir::Value vector =
258 builder.createLoad(loc, dst.getVectorAddress());
259 const mlir::Value newVector = cir::VecInsertOp::create(
260 builder, loc, vector, src.
getValue(), dst.getVectorIdx());
261 builder.createStore(loc, newVector, dst.getVectorAddress());
265 assert(dst.isBitField() &&
"Unknown LValue type");
269 cgm.errorNYI(dst.getPointer().getLoc(),
270 "emitStoreThroughLValue: non-simple lvalue");
276 assert(src.
isScalar() &&
"Can't emit an aggregate store with this method");
287 "emitGlobalVarDeclLValue: thread_local variable");
301 if (realPtrTy != v.getType())
305 Address addr(v, realVarTy, alignment);
309 "emitGlobalVarDeclLValue: reference type");
319 bool isNontemporal) {
323 if (clangVecTy->isExtVectorBoolType())
325 "emitStoreOfScalar ExtVectorBoolType");
333 if (vecTy.getSize() == 3 && !
getLangOpts().PreserveVec3Type)
335 "emitStoreOfScalar Vec3 & PreserveVec3Type disabled");
349 assert(addr.
getPointer() &&
"expected pointer to exist");
351 if (currVarDecl && srcAlloca) {
352 const VarDecl *vd = currVarDecl;
353 assert(vd &&
"VarDecl expected");
358 assert(
currSrcLoc &&
"must pass in source location");
359 builder.createStore(*
currSrcLoc, value, addr, isVolatile);
362 cgm.errorNYI(addr.
getPointer().getLoc(),
"emitStoreOfScalar nontemporal");
372 return targetInfo.
getABI().starts_with(
"aapcs");
380 Address ptr = dst.getBitFieldAddress();
382 bool useVoaltile =
cgm.getCodeGenOpts().AAPCSBitfieldWidth &&
383 dst.isVolatileQualified() &&
386 mlir::Value dstAddr = dst.getAddress().getPointer();
388 return builder.createSetBitfield(dstAddr.getLoc(), resLTy, ptr,
390 dst.isVolatileQualified(), useVoaltile);
412 mlir::Type fieldType,
415 cir::PointerType fieldPtr = cir::PointerType::get(fieldType);
421 rec.getElementOffset(
cgm.getDataLayout().layout,
index));
429 cgm.getTypes().getCIRGenRecordLayout(field->
getParent());
439 addr = builder.createElementBitCast(loc, addr, info.
storageType);
462 if (
auto *classDecl = dyn_cast<CXXRecordDecl>(rec)) {
463 if (
cgm.getCodeGenOpts().StrictVTablePointers &&
464 classDecl->isDynamicClass()) {
466 "emitLValueForField: strict vtable for dynamic class");
472 llvm::StringRef fieldName = field->
getName();
474 if (
cgm.lambdaFieldToName.count(field))
475 fieldName =
cgm.lambdaFieldToName[field];
481 cgm.getTypes().getCIRGenRecordLayout(field->
getParent());
502 if (field->
hasAttr<AnnotateAttr>()) {
513 "emitLValueForField: __weak attribute");
528 cgm.getTypes().getCIRGenRecordLayout(field->
getParent());
552 ty = atomicTy->getValueType();
555 cgm.errorNYI(
"emitToMemory: extVectorBoolType");
566 ty = atomicTy->getValueType();
569 cgm.errorNYI(
"emitFromMemory: PackedVectorBoolType");
578 assert(0 &&
"NYI: emitStoreOfScalar constant matrix type");
595 if (clangVecTy->isExtVectorBoolType()) {
596 cgm.errorNYI(loc,
"emitLoadOfScalar: ExtVectorBoolType");
604 if (vecTy.getSize() == 3 && !
getLangOpts().PreserveVec3Type)
606 "emitLoadOfScalar Vec3 & PreserveVec3Type disabled");
612 cgm.errorNYI(
"emitLoadOfScalar: load atomic");
614 if (mlir::isa<cir::VoidType>(eltTy))
615 cgm.errorNYI(loc,
"emitLoadOfScalar: void type");
619 mlir::Value loadOp = builder.createLoad(
getLoc(loc), addr, isVolatile);
621 cgm.errorNYI(
"emitLoadOfScalar: boolean type with boolean representation");
648 const mlir::Value load =
657 cgm.errorNYI(loc,
"emitLoadOfLValue");
662 const mlir::ArrayAttr elts) {
663 auto elt = mlir::cast<mlir::IntegerAttr>(elts[idx]);
675 if (
getLangOpts().
HLSL && !mlir::isa<cir::VectorType>(vec.getType())) {
676 cgm.errorNYI(loc,
"emitLoadOfExtVectorElementLValue: HLSL");
687 cir::ConstantOp
index =
688 builder.getConstInt(loc, builder.getSInt64Ty(), indexValue);
694 for (
auto i : llvm::seq<unsigned>(0, exprVecTy->getNumElements()))
697 cir::VecShuffleOp resultVec = builder.createVecShuffle(loc, vec, mask);
699 cgm.errorNYI(loc,
"emitLoadOfExtVectorElementLValue: ExtVectorBoolType");
709 "unexpected binary operator opcode");
724 memberPtrTy, &baseInfo);
726 return makeAddrLValue(memberAddr, memberPtrTy->getPointeeType(), baseInfo);
731 mlir::Location loc) {
734 mlir::Type vectorElementTy =
cgm.getTypes().convertType(elementTy);
740 mlir::Value idxValue =
741 builder.getConstInt(loc, mlir::cast<cir::IntType>(
ptrDiffTy), idx);
743 mlir::Value elementValue = builder.getArrayElement(
744 loc, loc, castToPointerElement.
getPointer(), vectorElementTy, idxValue,
750 return Address(elementValue, vectorElementTy, alignment);
759 mlir::Value thisValue) {
767 mlir::Value thisValue) {
768 bool hasExplicitObjectParameter =
false;
769 const auto *methD = dyn_cast_if_present<CXXMethodDecl>(
curCodeDecl);
772 hasExplicitObjectParameter = methD->isExplicitObjectMemberFunction();
773 assert(methD->getParent()->isLambda());
774 assert(methD->getParent() == field->
getParent());
776 if (hasExplicitObjectParameter) {
799 mlir::Type fnTy = funcOp.getFunctionType();
800 mlir::Type ptrTy = cir::PointerType::get(fnTy);
801 mlir::Value addr = cir::GetGlobalOp::create(cgf.
getBuilder(), loc, ptrTy,
802 funcOp.getSymName());
806 ptrTy = cir::PointerType::get(fnTy);
808 addr = cir::CastOp::create(cgf.
getBuilder(), addr.getLoc(), ptrTy,
809 cir::CastKind::bitcast, addr);
856 case cir::GlobalLinkageKind::ExternalLinkage:
857 case cir::GlobalLinkageKind::LinkOnceODRLinkage:
858 case cir::GlobalLinkageKind::WeakODRLinkage:
859 case cir::GlobalLinkageKind::InternalLinkage:
860 case cir::GlobalLinkageKind::PrivateLinkage:
872 "should not emit an unevaluated operand");
874 if (
const auto *vd = dyn_cast<VarDecl>(nd)) {
876 if (vd->getStorageClass() ==
SC_Register && vd->hasAttr<AsmLabelAttr>() &&
877 !vd->isLocalVarDecl()) {
879 "emitDeclRefLValue: Global Named registers access");
884 (vd->getType()->isReferenceType() ||
892 vd = vd->getCanonicalDecl();
900 if (
const auto *vd = dyn_cast<VarDecl>(nd)) {
910 if (vd->hasLinkage() || vd->isStaticDataMember())
934 assert((vd->isStaticLocal() ||
symbolTable.count(vd)) &&
935 "non-static locals should be already mapped");
940 if (
const auto *bd = dyn_cast<BindingDecl>(nd)) {
949 if (
const auto *fd = dyn_cast<FunctionDecl>(nd)) {
953 if (
getContext().getTargetInfo().allowDebugInfoForExternalRef())
970 "evaluateExprAsBool: member pointer type");
986 if (op == UO_Extension)
992 assert(!t.
isNull() &&
"CodeGenFunction::EmitUnaryOpLValue: Illegal type");
1012 assert(lv.
isSimple() &&
"real/imag on non-ordinary l-value");
1027 ? builder.createComplexRealPtr(loc, lv.
getAddress())
1028 : builder.createComplexImagPtr(loc, lv.
getAddress());
1036 cir::UnaryOpKind
kind =
1037 e->
isIncrementOp() ? cir::UnaryOpKind::Inc : cir::UnaryOpKind::Dec;
1040 assert(e->
isPrefix() &&
"Prefix operator in unexpected state!");
1051 llvm_unreachable(
"UnaryOperator extension should be handled above!");
1060 llvm_unreachable(
"UnaryOperator of non-lvalue kind!");
1062 llvm_unreachable(
"Unknown unary operator kind!");
1070 const auto *
castExpr = dyn_cast<CastExpr>(e);
1084 if (
auto constantOp = idx.getDefiningOp<cir::ConstantOp>())
1085 return constantOp.getValueAttr<cir::IntAttr>();
1094 const CharUnits offset = constantIdx.getValue().getZExtValue() * eltSize;
1111 mlir::Location beginLoc,
1112 mlir::Location endLoc, mlir::Value ptr,
1113 mlir::Type eltTy, mlir::Value idx,
1124 mlir::Location beginLoc,
1125 mlir::Location endLoc,
Address addr,
1127 mlir::Location loc,
bool shouldDecay) {
1142 const mlir::Value eltPtr =
1146 return Address(eltPtr, elementType, eltAlign);
1159 "index was neither LHS nor RHS");
1161 auto emitIdxAfterBase = [&](
bool promote) -> mlir::Value {
1165 auto ptrTy = mlir::dyn_cast<cir::PointerType>(idx.getType());
1166 if (promote && ptrTy && ptrTy.isPtrTo<cir::IntType>())
1168 "emitArraySubscriptExpr: index type cast");
1176 const mlir::Value idx = emitIdxAfterBase(
false);
1189 mlir::Value idx = emitIdxAfterBase(
true);
1214 idx = builder.createIntCast(idx, numElements.getType());
1223 idx = builder.createMul(
cgm.getLoc(e->
getExprLoc()), idx, numElements,
1236 if (
const auto *ase = dyn_cast<ArraySubscriptExpr>(array))
1243 *
this,
cgm.getLoc(array->getBeginLoc()),
cgm.getLoc(array->getEndLoc()),
1258 "The base must be a pointer");
1287 const auto *clangPtrTy =
1289 base =
makeAddrLValue(ptr, clangPtrTy->getPointeeType(), baseInfo);
1290 base.getQuals().removeObjCGCAttr();
1299 "Result must be a vector");
1307 "emitExtVectorElementExpr: ExtVectorBoolType & !HLSL");
1310 builder.createStore(vec.getLoc(), vec, vecMem);
1323 mlir::ArrayAttr elts = builder.getI64ArrayAttr(attrElts);
1329 "emitExtVectorElementExpr: isSimple is false");
1334 llvm::StringRef name) {
1335 cir::GlobalOp globalOp =
cgm.getGlobalForStringLiteral(e, name);
1336 assert(globalOp.getAlignment() &&
"expected alignment for string literal");
1337 unsigned align = *(globalOp.getAlignment());
1355 case CK_LValueToRValueBitCast:
1356 case CK_ArrayToPointerDecay:
1357 case CK_FunctionToPointerDecay:
1358 case CK_NullToMemberPointer:
1359 case CK_NullToPointer:
1360 case CK_IntegralToPointer:
1361 case CK_PointerToIntegral:
1362 case CK_PointerToBoolean:
1363 case CK_IntegralCast:
1364 case CK_BooleanToSignedIntegral:
1365 case CK_IntegralToBoolean:
1366 case CK_IntegralToFloating:
1367 case CK_FloatingToIntegral:
1368 case CK_FloatingToBoolean:
1369 case CK_FloatingCast:
1370 case CK_FloatingRealToComplex:
1371 case CK_FloatingComplexToReal:
1372 case CK_FloatingComplexToBoolean:
1373 case CK_FloatingComplexCast:
1374 case CK_FloatingComplexToIntegralComplex:
1375 case CK_IntegralRealToComplex:
1376 case CK_IntegralComplexToReal:
1377 case CK_IntegralComplexToBoolean:
1378 case CK_IntegralComplexCast:
1379 case CK_IntegralComplexToFloatingComplex:
1380 case CK_DerivedToBaseMemberPointer:
1381 case CK_BaseToDerivedMemberPointer:
1382 case CK_MemberPointerToBoolean:
1383 case CK_ReinterpretMemberPointer:
1384 case CK_AnyPointerToBlockPointerCast:
1385 case CK_ARCProduceObject:
1386 case CK_ARCConsumeObject:
1387 case CK_ARCReclaimReturnedObject:
1388 case CK_ARCExtendBlockObject:
1389 case CK_CopyAndAutoreleaseBlockObject:
1390 case CK_IntToOCLSampler:
1391 case CK_FloatingToFixedPoint:
1392 case CK_FixedPointToFloating:
1393 case CK_FixedPointCast:
1394 case CK_FixedPointToBoolean:
1395 case CK_FixedPointToIntegral:
1396 case CK_IntegralToFixedPoint:
1398 case CK_HLSLVectorTruncation:
1399 case CK_HLSLMatrixTruncation:
1400 case CK_HLSLArrayRValue:
1401 case CK_HLSLElementwiseCast:
1402 case CK_HLSLAggregateSplatCast:
1403 llvm_unreachable(
"unexpected cast lvalue");
1406 llvm_unreachable(
"dependent cast kind in IR gen!");
1408 case CK_BuiltinFnToFnPtr:
1409 llvm_unreachable(
"builtin functions are handled elsewhere");
1419 case CK_NonAtomicToAtomic:
1420 case CK_AtomicToNonAtomic:
1422 case CK_ObjCObjectLValueCast:
1423 case CK_VectorSplat:
1424 case CK_ConstructorConversion:
1425 case CK_UserDefinedConversion:
1426 case CK_CPointerToObjCPointerCast:
1427 case CK_BlockPointerToObjCPointerCast:
1428 case CK_LValueToRValue: {
1430 std::string(
"emitCastLValue for unhandled cast kind: ") +
1435 case CK_AddressSpaceConversion: {
1440 cir::TargetAddressSpaceAttr srcAS;
1446 "emitCastLValue: address space conversion from unknown address "
1457 case CK_LValueBitCast: {
1461 cgm.emitExplicitCastExprType(ce,
this);
1476 "emitCastLValue: NoOp changes volatile qual");
1483 "emitCastLValue: NoOp needs bitcast");
1489 case CK_UncheckedDerivedToBase:
1490 case CK_DerivedToBase: {
1508 case CK_BaseToDerived: {
1524 case CK_ZeroToOCLOpaqueType:
1525 llvm_unreachable(
"NULL to OpenCL opaque type lvalue cast is not valid");
1528 llvm_unreachable(
"Invalid cast kind");
1565 if (
auto *field = dyn_cast<FieldDecl>(nd)) {
1582 llvm_unreachable(
"Unhandled member declaration!");
1612 llvm_unreachable(
"bad evaluation kind");
1617 const Expr *inner) {
1628 cir::AllocaOp extDeclAlloca;
1632 extDeclAlloca = extDeclAddrIter->second.getDefiningOp<cir::AllocaOp>();
1634 mlir::OpBuilder::InsertPoint ip;
1636 ip = {extDeclAlloca->getBlock(), extDeclAlloca->getIterator()};
1645 "createReferenceTemporary: static/thread storage duration");
1650 llvm_unreachable(
"temporary can't have dynamic storage duration");
1652 llvm_unreachable(
"unknown storage duration");
1676 if (
const auto *classDecl =
1680 referenceTemporaryDtor = classDecl->getDestructor();
1682 if (!referenceTemporaryDtor)
1686 "storage duration with destructors");
1697 "pushTemporaryCleanup: automatic storage duration");
1701 llvm_unreachable(
"temporary cannot have dynamic storage duration");
1711 "Reference should never be pseudo-strong!");
1719 "emitMaterializeTemporaryExpr: ObjCLifetime");
1727 for (
const Expr *ignored : commaLHSs)
1732 "emitMaterializeTemporaryExpr: OpaqueValueExpr");
1739 if (
auto var =
object.getPointer().getDefiningOp<cir::GlobalOp>()) {
1752 if (!adjustments.empty()) {
1754 "emitMaterializeTemporaryExpr: Adjustments");
1769 assert(e->
isUnique() &&
"LValue for a nonunique OVE hasn't been emitted");
1781 assert(e->
isUnique() &&
"RValue for a nonunique OVE hasn't been emitted");
1795 ".compoundliteral");
1806 "emitCompoundLiteralLValue: non C++ DestructedType");
1822 "Can't have a scalar return unless the return type is a "
1838 assert(e->
getOpcode() == BO_Assign &&
"unexpected binary l-value");
1877 llvm_unreachable(
"bad evaluation kind");
1883 bool ignoreResult) {
1890 if (!ignoreResult && aggSlot.
isIgnored())
1897 llvm_unreachable(
"bad evaluation kind");
1905 if (!pd->isInlineBuiltinDeclaration())
1910CIRGenCallee CIRGenFunction::emitDirectCallee(
const GlobalDecl &gd) {
1913 if (
unsigned builtinID = fd->getBuiltinID()) {
1914 StringRef ident =
cgm.getMangledName(gd);
1915 std::string fdInlineName = (ident +
".inline").str();
1917 bool isPredefinedLibFunction =
1918 cgm.getASTContext().BuiltinInfo.isPredefinedLibFunction(builtinID);
1920 bool hasAttributeNoBuiltin =
true;
1928 mlir::cast_or_null<cir::FuncOp>(
cgm.getGlobalValue(fdInlineName));
1934 mlir::OpBuilder::InsertionGuard guard(builder);
1935 builder.setInsertionPointToStart(
cgm.getModule().getBody());
1937 clone = cir::FuncOp::create(builder, calleeFunc.getLoc(), fdInlineName,
1938 calleeFunc.getFunctionType());
1939 clone.setLinkageAttr(cir::GlobalLinkageKindAttr::get(
1940 &
cgm.getMLIRContext(), cir::GlobalLinkageKind::InternalLinkage));
1941 clone.setSymVisibility(
"private");
1942 clone.setInlineKind(cir::InlineKind::AlwaysInline);
1953 else if (!isPredefinedLibFunction || !hasAttributeNoBuiltin)
1968 cgm.errorNYI(
"unsupported type for undef rvalue");
1979 "Callee must have function pointer type!");
2000 cgm.getTypes().arrangeFreeFunctionCall(args, fnType);
2022 calleeTy = cir::FuncType::get(calleeTy.getInputs(),
2023 calleeTy.getReturnType(),
false);
2024 auto calleePtrTy = cir::PointerType::get(calleeTy);
2028 if (
auto funcOp = mlir::dyn_cast<cir::FuncOp>(fn)) {
2029 addr = cir::GetGlobalOp::create(
2031 cir::PointerType::get(funcOp.getFunctionType()), funcOp.getSymName());
2033 addr = fn->getResult(0);
2036 fn = builder.createBitcast(addr, calleePtrTy).getDefiningOp();
2044 cir::CIRCallOpInterface callOp;
2057 if (
const auto *implicitCast = dyn_cast<ImplicitCastExpr>(e)) {
2058 if (implicitCast->getCastKind() == CK_FunctionToPointerDecay ||
2059 implicitCast->getCastKind() == CK_BuiltinFnToFnPtr) {
2060 return emitCallee(implicitCast->getSubExpr());
2065 assert(implicitCast->getCastKind() == CK_LValueToRValue &&
2066 "unexpected implicit cast on function pointers");
2067 }
else if (
const auto *declRef = dyn_cast<DeclRefExpr>(e)) {
2070 return emitDirectCallee(funcDecl);
2071 }
else if (
auto me = dyn_cast<MemberExpr>(e)) {
2072 if (
const auto *fd = dyn_cast<FunctionDecl>(me->getMemberDecl())) {
2074 return emitDirectCallee(fd);
2077 }
else if (
auto *pde = dyn_cast<CXXPseudoDestructorExpr>(e)) {
2082 mlir::Value calleePtr;
2094 if (
const auto *vd =
2099 CIRGenCallee callee(calleeInfo, calleePtr.getDefiningOp());
2107 if (
const auto *ce = dyn_cast<CXXMemberCallExpr>(e))
2115 if (
const auto *operatorCall = dyn_cast<CXXOperatorCallExpr>(e)) {
2119 dyn_cast_or_null<CXXMethodDecl>(operatorCall->getCalleeDecl()))
2153 "Array to pointer decay must have array source type!");
2161 auto lvalueAddrTy = mlir::cast<cir::PointerType>(addr.
getPointer().getType());
2166 [[maybe_unused]]
auto pointeeTy =
2167 mlir::cast<cir::ArrayType>(lvalueAddrTy.getPointee());
2170 assert(mlir::isa<cir::ArrayType>(arrayTy) &&
"expected array");
2171 assert(pointeeTy == arrayTy);
2181 mlir::Value ptr = builder.maybeBuildArrayDecay(
2199 llvm_unreachable(
"bad evaluation kind");
2206 const Stmt *elseS) {
2208 std::optional<mlir::Location> elseLoc;
2212 mlir::LogicalResult resThen = mlir::success(), resElse = mlir::success();
2215 [&](mlir::OpBuilder &, mlir::Location) {
2216 LexicalScope lexScope{*
this, thenLoc, builder.getInsertionBlock()};
2221 [&](mlir::OpBuilder &, mlir::Location) {
2222 assert(elseLoc &&
"Invalid location for elseS.");
2223 LexicalScope lexScope{*
this, *elseLoc, builder.getInsertionBlock()};
2228 return mlir::LogicalResult::success(resThen.succeeded() &&
2229 resElse.succeeded());
2237 std::optional<mlir::Location> elseLoc) {
2243 ifLocs.push_back(*elseLoc);
2244 mlir::Location loc = mlir::FusedLoc::get(&
getMLIRContext(), ifLocs);
2248 return cir::IfOp::create(builder, loc, condV, elseLoc.has_value(),
2267 Expr *trueExpr = condOp->getTrueExpr();
2268 Expr *falseExpr = condOp->getFalseExpr();
2271 mlir::Value ternaryOpRes =
2272 cir::TernaryOp::create(
2273 builder, loc, condV,
2274 [
this, trueExpr](mlir::OpBuilder &
b, mlir::Location loc) {
2276 cir::YieldOp::create(
b, loc, lhs);
2279 [
this, falseExpr](mlir::OpBuilder &
b, mlir::Location loc) {
2281 cir::YieldOp::create(
b, loc, rhs);
2290 cgm.errorNYI(
"NYI");
2304 mlir::Location loc,
CharUnits alignment,
2305 bool insertIntoFnEntryBlock,
2306 mlir::Value arraySize) {
2307 mlir::Block *entryBlock = insertIntoFnEntryBlock
2316 llvm::dyn_cast_if_present<cir::TryOp>(entryBlock->getParentOp())) {
2317 if (auto scopeOp = llvm::dyn_cast<cir::ScopeOp>(tryOp->getParentOp()))
2318 entryBlock = &scopeOp.getScopeRegion().front();
2326 mlir::Location loc,
CharUnits alignment,
2327 mlir::OpBuilder::InsertPoint ip,
2328 mlir::Value arraySize) {
2332 cir::PointerType localVarPtrTy =
2334 mlir::IntegerAttr alignIntAttr =
cgm.
getSize(alignment);
2338 mlir::OpBuilder::InsertionGuard guard(builder);
2339 builder.restoreInsertionPoint(ip);
2341 ty, name, alignIntAttr, arraySize);
2359 if (md->isStatic()) {
2364 bool hasQualifier = me->hasQualifier();
2366 bool isArrow = me->isArrow();
2367 const Expr *base = me->getBase();
2370 ce, md,
returnValue, hasQualifier, qualifier, isArrow, base);
2387 cgm.errorNYI(loc,
"load of volatile reference");
2396 CharUnits align =
cgm.getNaturalTypeAlignment(pointeeType, pointeeBaseInfo);
2413 cir::TrapOp::create(builder, loc);
2415 builder.createBlock(builder.getBlock()->getParent());
2419 bool createNewBlock) {
2421 cir::UnreachableOp::create(builder,
getLoc(loc));
2423 builder.createBlock(builder.getBlock()->getParent());
2430 return builder.createDummyValue(loc, t, alignment);
2438 const Twine &name,
Address *alloca,
2439 mlir::OpBuilder::InsertPoint ip) {
2446 mlir::Location loc,
const Twine &name,
2448 mlir::OpBuilder::InsertPoint ip) {
2450 nullptr, alloca, ip);
2453 cgm.errorNYI(loc,
"temporary matrix value");
2461 mlir::Type ty,
CharUnits align, mlir::Location loc,
const Twine &name,
2462 mlir::Value arraySize, mlir::OpBuilder::InsertPoint ip) {
2463 cir::AllocaOp alloca = ip.isSet()
2466 alloca.setAlignmentAttr(
cgm.getSize(align));
2467 return Address(alloca, ty, align);
2475 mlir::Location loc,
const Twine &name,
2476 mlir::Value arraySize,
2478 mlir::OpBuilder::InsertPoint ip) {
2482 *allocaAddr = alloca;
2499 if (dstTyAS != allocaAS) {
2501 builder.getPointerTo(ty, dstTyAS));
2512 mlir::Value arraySize,
2513 bool insertIntoFnEntryBlock) {
2515 insertIntoFnEntryBlock, arraySize)
2523 mlir::OpBuilder::InsertPoint ip,
2524 mlir::Value arraySize) {
2525 assert(ip.isSet() &&
"Insertion point is not set");
2526 return mlir::cast<cir::AllocaOp>(
2567 mlir::TypedAttr cstToEmit = mlir::dyn_cast_if_present<mlir::TypedAttr>(
c);
2568 assert(cstToEmit &&
"expected a typed attribute");
2584 assert(constant &&
"not a constant");
2594 assert(sl !=
nullptr &&
"No StringLiteral name in PredefinedExpr");
2596 StringRef fnName = fn.getName();
2597 fnName.consume_front(
"\01");
2598 std::array<StringRef, 2> nameItems = {
2600 std::string gvName = llvm::join(nameItems,
".");
2615std::optional<LValue> handleConditionalOperatorLValueSimpleCase(
2618 llvm::APSInt condExprVal;
2620 return std::nullopt;
2623 if (!condExprVal.getBoolValue())
2624 std::swap(live, dead);
2627 return std::nullopt;
2634 if (
auto *throwExpr = dyn_cast<CXXThrowExpr>(live->
IgnoreParens())) {
2638 mlir::Type elemTy = cgf.
convertType(dead->getType());
2639 mlir::Value undefPtr =
2641 cgf.
getLoc(throwExpr->getSourceRange()));
2651static std::optional<LValue> emitLValueOrThrowExpression(
CIRGenFunction &cgf,
2652 const Expr *operand) {
2653 if (
auto *throwExpr = dyn_cast<CXXThrowExpr>(operand->
IgnoreParens())) {
2655 return std::nullopt;
2664template <
typename FuncTy>
2667 const FuncTy &branchGenFunc) {
2675 mlir::Type yieldTy{};
2677 auto emitBranch = [&](mlir::OpBuilder &
b, mlir::Location loc,
2678 const Expr *
expr, std::optional<LValue> &resultLV) {
2684 resultLV = branchGenFunc(*
this,
expr);
2685 mlir::Value resultPtr = resultLV ? resultLV->getPointer() : mlir::Value();
2689 yieldTy = resultPtr.getType();
2690 cir::YieldOp::create(
b, loc, resultPtr);
2696 if (builder.getInsertionBlock()->mightHaveTerminator()) {
2697 mlir::Operation *terminator =
2698 builder.getInsertionBlock()->getTerminator();
2699 if (isa_and_nonnull<cir::UnreachableOp>(terminator))
2700 insertPoints.push_back(
b.saveInsertionPoint());
2705 info.
result = cir::TernaryOp::create(
2706 builder, loc, condV,
2708 [&](mlir::OpBuilder &
b, mlir::Location loc) {
2712 [&](mlir::OpBuilder &
b, mlir::Location loc) {
2722 for (mlir::OpBuilder::InsertPoint &toInsert : insertPoints) {
2723 mlir::OpBuilder::InsertionGuard guard(builder);
2724 builder.restoreInsertionPoint(toInsert);
2728 cir::YieldOp::create(builder, loc);
2730 mlir::Value op0 = builder.getNullValue(yieldTy, loc);
2731 cir::YieldOp::create(builder, loc, op0);
2740 if (!
expr->isGLValue()) {
2743 "Unexpected conditional operator!");
2748 if (std::optional<LValue> res =
2749 handleConditionalOperatorLValueSimpleCase(*
this,
expr))
2754 return emitLValueOrThrowExpression(cgf, e);
2757 if ((info.
lhs && !info.
lhs->isSimple()) ||
2758 (info.
rhs && !info.
rhs->isSimple())) {
2759 cgm.errorNYI(
expr->getSourceRange(),
2760 "unsupported conditional operator with non-simple lvalue");
2764 if (info.
lhs && info.
rhs) {
2770 std::max(info.
lhs->getBaseInfo().getAlignmentSource(),
2771 info.
rhs->getBaseInfo().getAlignmentSource());
2776 assert((info.
lhs || info.
rhs) &&
2777 "both operands of glvalue conditional are throw-expressions?");
2778 return info.
lhs ? *info.
lhs : *info.
rhs;
2785 if (!
cgm.getLangOpts().MSVolatile)
2788 cgm.errorNYI(
"LValueSuitableForInlineAtomic LangOpts MSVolatile");
Provides definitions for the various language-specific address spaces.
llvm::function_ref< void(mlir::OpBuilder &, mlir::Location)> BuilderCallbackRef
static Address createReferenceTemporary(CIRGenFunction &cgf, const MaterializeTemporaryExpr *m, const Expr *inner)
static bool isAAPCS(const TargetInfo &targetInfo)
Helper method to check if the underlying ABI is AAPCS.
static LValue emitFunctionDeclLValue(CIRGenFunction &cgf, const Expr *e, GlobalDecl gd)
static CharUnits getArrayElementAlign(CharUnits arrayAlign, mlir::Value idx, CharUnits eltSize)
static void pushTemporaryCleanup(CIRGenFunction &cgf, const MaterializeTemporaryExpr *m, const Expr *e, Address referenceTemporary)
static cir::IntAttr getConstantIndexOrNull(mlir::Value idx)
static const Expr * getSimpleArrayDecayOperand(const Expr *e)
If the specified expr is a simple decay from an array to pointer, return the array subexpression.
static QualType getFixedSizeElementType(const ASTContext &astContext, const VariableArrayType *vla)
static bool canEmitSpuriousReferenceToVariable(CIRGenFunction &cgf, const DeclRefExpr *e, const VarDecl *vd)
Determine whether we can emit a reference to vd from the current context, despite not necessarily hav...
static DeclRefExpr * tryToConvertMemberExprToDeclRefExpr(CIRGenFunction &cgf, const MemberExpr *me)
static cir::FuncOp emitFunctionDeclPointer(CIRGenModule &cgm, GlobalDecl gd)
static LValue emitGlobalVarDeclLValue(CIRGenFunction &cgf, const Expr *e, const VarDecl *vd)
static mlir::Value emitArraySubscriptPtr(CIRGenFunction &cgf, mlir::Location beginLoc, mlir::Location endLoc, mlir::Value ptr, mlir::Type eltTy, mlir::Value idx, bool shouldDecay)
static LValue emitCapturedFieldLValue(CIRGenFunction &cgf, const FieldDecl *fd, mlir::Value thisValue)
static bool onlyHasInlineBuiltinDeclaration(const FunctionDecl *fd)
Defines the clang::Expr interface and subclasses for C++ expressions.
*collection of selector each with an associated kind and an ordered *collection of selectors A selector has a kind
__device__ __2f16 float c
static OpBuilder::InsertPoint getBestAllocaInsertPoint(mlir::Block *block)
cir::GetMemberOp createGetMember(mlir::Location loc, mlir::Type resultTy, mlir::Value base, llvm::StringRef name, unsigned index)
cir::PointerType getPointerTo(mlir::Type ty)
cir::ConstantOp getNullPtr(mlir::Type ty, mlir::Location loc)
mlir::Value createBitcast(mlir::Value src, mlir::Type newTy)
mlir::Value createAlloca(mlir::Location loc, cir::PointerType addrType, mlir::Type type, llvm::StringRef name, mlir::IntegerAttr alignment, mlir::Value dynAllocSize)
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.
static CanQualType getCanonicalType(QualType T)
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
CharUnits getDeclAlign(const Decl *D, bool ForAlignof=false) const
Return a conservative estimate of the alignment of the specified decl D.
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
const VariableArrayType * getAsVariableArrayType(QualType T) const
CanQualType getCanonicalTagType(const TagDecl *TD) const
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...
ArraySubscriptExpr - [C99 6.5.2.1] Array Subscripting.
SourceLocation getExprLoc() const LLVM_READONLY
Expr * getLHS()
An array access can be written A[4] or 4[A] (both are equivalent).
SourceLocation getBeginLoc() const LLVM_READONLY
SourceLocation getEndLoc() const
QualType getElementType() const
A builtin binary operation expression such as "x + y" or "x <= y".
mlir::Value getPointer() const
mlir::Type getElementType() const
Address withElementType(CIRGenBuilderTy &builder, mlir::Type ElemTy) const
Return address with different element type, a bitcast pointer, and the same alignment.
cir::TargetAddressSpaceAttr getAddressSpace() const
clang::CharUnits getAlignment() const
mlir::Type getType() const
mlir::Operation * getDefiningOp() const
Get the operation which defines this address.
IsDestructed_t
This is set to true if the slot might be aliased and it's not undefined behavior to access it through...
static AggValueSlot forAddr(Address addr, clang::Qualifiers quals, IsDestructed_t isDestructed, IsAliased_t isAliased, Overlap_t mayOverlap, IsZeroed_t isZeroed=IsNotZeroed)
static AggValueSlot ignored()
Returns an aggregate value slot indicating that the aggregate value is being ignored.
Address createElementBitCast(mlir::Location loc, Address addr, mlir::Type destType)
Cast the element type of the given address to a different type, preserving information like the align...
mlir::Value getArrayElement(mlir::Location arrayLocBegin, mlir::Location arrayLocEnd, mlir::Value arrayPtr, mlir::Type eltTy, mlir::Value idx, bool shouldDecay)
Create a cir.ptr_stride operation to get access to an array element.
Abstract information about a function or function prototype.
bool isPseudoDestructor() const
void setFunctionPointer(mlir::Operation *functionPtr)
const clang::FunctionDecl * getBuiltinDecl() const
const CXXPseudoDestructorExpr * getPseudoDestructorExpr() const
static CIRGenCallee forDirect(mlir::Operation *funcPtr, const CIRGenCalleeInfo &abstractInfo=CIRGenCalleeInfo())
unsigned getBuiltinID() const
static CIRGenCallee forBuiltin(unsigned builtinID, const clang::FunctionDecl *builtinDecl)
mlir::Operation * getFunctionPointer() const
static CIRGenCallee forPseudoDestructor(const clang::CXXPseudoDestructorExpr *expr)
An object to manage conditionally-evaluated expressions.
static ConstantEmission forValue(mlir::TypedAttr c)
mlir::TypedAttr getValue() const
static bool shouldBindAsLValue(const Expr *expr)
An RAII object to set (and then clear) a mapping for an OpaqueValueExpr.
static bool shouldBindAsLValue(const Expr *expr)
mlir::Value emitComplexToScalarConversion(mlir::Value src, QualType srcTy, QualType dstTy, SourceLocation loc)
Emit a conversion from the specified complex type to the specified destination type,...
void emitCallArgs(CallArgList &args, PrototypeWrapper prototype, llvm::iterator_range< clang::CallExpr::const_arg_iterator > argRange, AbstractCallee callee=AbstractCallee(), unsigned paramsToSkip=0)
mlir::Type convertType(clang::QualType t)
LValue emitOpaqueValueLValue(const OpaqueValueExpr *e)
static cir::TypeEvaluationKind getEvaluationKind(clang::QualType type)
Return the cir::TypeEvaluationKind of QualType type.
RValue convertTempToRValue(Address addr, clang::QualType type, clang::SourceLocation loc)
Given the address of a temporary variable, produce an r-value of its type.
Address emitCXXMemberDataPointerAddress(const Expr *e, Address base, mlir::Value memberPtr, const MemberPointerType *memberPtrType, LValueBaseInfo *baseInfo)
CIRGenTypes & getTypes() const
Address emitPointerWithAlignment(const clang::Expr *expr, LValueBaseInfo *baseInfo=nullptr)
Given an expression with a pointer type, emit the value and compute our best estimate of the alignmen...
void emitVariablyModifiedType(QualType ty)
RValue emitLoadOfLValue(LValue lv, SourceLocation loc)
Given an expression that represents a value lvalue, this method emits the address of the lvalue,...
const clang::LangOptions & getLangOpts() const
cir::AllocaOp createTempAlloca(mlir::Type ty, mlir::Location loc, const Twine &name="tmp", mlir::Value arraySize=nullptr, bool insertIntoFnEntryBlock=false)
This creates an alloca and inserts it into the entry block if ArraySize is nullptr,...
void emitTrap(mlir::Location loc, bool createNewBlock)
Emit a trap instruction, which is used to abort the program in an abnormal way, usually for debugging...
mlir::Block * getCurFunctionEntryBlock()
RValue emitCXXMemberCallExpr(const clang::CXXMemberCallExpr *e, ReturnValueSlot returnValue)
RValue emitCXXMemberPointerCallExpr(const CXXMemberCallExpr *ce, ReturnValueSlot returnValue)
LValue emitLValueForBitField(LValue base, const FieldDecl *field)
mlir::LogicalResult emitIfOnBoolExpr(const clang::Expr *cond, const clang::Stmt *thenS, const clang::Stmt *elseS)
Emit an if on a boolean condition to the specified blocks.
VlaSizePair getVLASize(const VariableArrayType *type)
Returns an MLIR::Value+QualType pair that corresponds to the size, in non-variably-sized elements,...
mlir::Value emitComplexExpr(const Expr *e)
Emit the computation of the specified expression of complex type, returning the result.
LValue makeNaturalAlignPointeeAddrLValue(mlir::Value v, clang::QualType t)
Given a value of type T* that may not be to a complete object, construct an l-vlaue withi the natural...
RValue emitCallExpr(const clang::CallExpr *e, ReturnValueSlot returnValue=ReturnValueSlot())
LValue emitMemberExpr(const MemberExpr *e)
LValue emitConditionalOperatorLValue(const AbstractConditionalOperator *expr)
LValue emitLValue(const clang::Expr *e)
Emit code to compute a designator that specifies the location of the expression.
Address makeNaturalAddressForPointer(mlir::Value ptr, QualType t, CharUnits alignment, bool forPointeeType=false, LValueBaseInfo *baseInfo=nullptr)
Construct an address with the natural alignment of T.
LValue emitLValueForLambdaField(const FieldDecl *field)
mlir::Value evaluateExprAsBool(const clang::Expr *e)
Perform the usual unary conversions on the specified expression and compare the result against zero,...
std::string getCounterRefTmpAsString()
LValue makeNaturalAlignAddrLValue(mlir::Value val, QualType ty)
bool constantFoldsToSimpleInteger(const clang::Expr *cond, llvm::APSInt &resultInt, bool allowLabels=false)
If the specified expression does not fold to a constant, or if it does fold but contains a label,...
mlir::Location getLoc(clang::SourceLocation srcLoc)
Helpers to convert Clang's SourceLocation to a MLIR Location.
mlir::Value emitOpOnBoolExpr(mlir::Location loc, const clang::Expr *cond)
TODO(cir): see EmitBranchOnBoolExpr for extra ideas).
Address getAddressOfBaseClass(Address value, const CXXRecordDecl *derived, llvm::iterator_range< CastExpr::path_const_iterator > path, bool nullCheckValue, SourceLocation loc)
LValue emitLoadOfReferenceLValue(Address refAddr, mlir::Location loc, QualType refTy, AlignmentSource source)
mlir::Value emitScalarPrePostIncDec(const UnaryOperator *e, LValue lv, cir::UnaryOpKind kind, bool isPre)
void emitAnyExprToMem(const Expr *e, Address location, Qualifiers quals, bool isInitializer)
Emits the code necessary to evaluate an arbitrary expression into the given memory location.
LValue getOrCreateOpaqueLValueMapping(const OpaqueValueExpr *e)
Given an opaque value expression, return its LValue mapping if it exists, otherwise create one.
RValue emitReferenceBindingToExpr(const Expr *e)
Emits a reference binding to the passed in expression.
const TargetCIRGenInfo & getTargetHooks() const
LValue emitArraySubscriptExpr(const clang::ArraySubscriptExpr *e)
mlir::Operation * curFn
The current function or global initializer that is generated code for.
Address emitExtVectorElementLValue(LValue lv, mlir::Location loc)
Generates lvalue for partial ext_vector access.
mlir::Value emitScalarConversion(mlir::Value src, clang::QualType srcType, clang::QualType dstType, clang::SourceLocation loc)
Emit a conversion from the specified type to the specified destination type, both of which are CIR sc...
Address getAddressOfDerivedClass(mlir::Location loc, Address baseAddr, const CXXRecordDecl *derived, llvm::iterator_range< CastExpr::path_const_iterator > path, bool nullCheckValue)
AggValueSlot createAggTemp(QualType ty, mlir::Location loc, const Twine &name="tmp", Address *alloca=nullptr)
Create a temporary memory object for the given aggregate type.
RValue emitLoadOfExtVectorElementLValue(LValue lv)
mlir::Type convertTypeForMem(QualType t)
mlir::Value emitAlloca(llvm::StringRef name, mlir::Type ty, mlir::Location loc, clang::CharUnits alignment, bool insertIntoFnEntryBlock, mlir::Value arraySize=nullptr)
void emitUnreachable(clang::SourceLocation loc, bool createNewBlock)
Emit a reached-unreachable diagnostic if loc is valid and runtime checking is enabled.
mlir::Value createDummyValue(mlir::Location loc, clang::QualType qt)
mlir::Value emitLoadOfComplex(LValue src, SourceLocation loc)
Load a complex number from the specified l-value.
LValue emitAggExprToLValue(const Expr *e)
void emitStoreOfScalar(mlir::Value value, Address addr, bool isVolatile, clang::QualType ty, LValueBaseInfo baseInfo, bool isInit=false, bool isNontemporal=false)
void pushDestroy(QualType::DestructionKind dtorKind, Address addr, QualType type)
Push the standard destructor for the given type as at least a normal cleanup.
static Destroyer destroyCXXObject
RValue getUndefRValue(clang::QualType ty)
Get an appropriate 'undef' rvalue for the given type.
Address returnValue
The temporary alloca to hold the return value.
static bool hasAggregateEvaluationKind(clang::QualType type)
LValue emitPointerToDataMemberBinaryExpr(const BinaryOperator *e)
mlir::Value emitComplexPrePostIncDec(const UnaryOperator *e, LValue lv, cir::UnaryOpKind op, bool isPre)
std::string getCounterAggTmpAsString()
LValue emitUnaryOpLValue(const clang::UnaryOperator *e)
RValue emitLoadOfBitfieldLValue(LValue lv, SourceLocation loc)
RValue emitCall(const CIRGenFunctionInfo &funcInfo, const CIRGenCallee &callee, ReturnValueSlot returnValue, const CallArgList &args, cir::CIRCallOpInterface *callOp, mlir::Location loc)
LValue emitComplexAssignmentLValue(const BinaryOperator *e)
const clang::Decl * curCodeDecl
This is the inner-most code context, which includes blocks.
LValue emitLValueForFieldInitialization(LValue base, const clang::FieldDecl *field, llvm::StringRef fieldName)
Like emitLValueForField, excpet that if the Field is a reference, this will return the address of the...
LValue emitCallExprLValue(const clang::CallExpr *e)
LValue emitStringLiteralLValue(const StringLiteral *e, llvm::StringRef name=".str")
mlir::Value emitToMemory(mlir::Value value, clang::QualType ty)
Given a value and its clang type, returns the value casted to its memory representation.
LValue emitLValueForField(LValue base, const clang::FieldDecl *field)
mlir::Value emitScalarExpr(const clang::Expr *e, bool ignoreResultAssign=false)
Emit the computation of the specified expression of scalar type.
Address emitLoadOfReference(LValue refLVal, mlir::Location loc, LValueBaseInfo *pointeeBaseInfo)
bool shouldNullCheckClassCastValue(const CastExpr *ce)
CIRGenBuilderTy & getBuilder()
LValue emitBinaryOperatorLValue(const BinaryOperator *e)
Address getAddrOfBitFieldStorage(LValue base, const clang::FieldDecl *field, mlir::Type fieldType, unsigned index)
CIRGenModule & getCIRGenModule()
mlir::MLIRContext & getMLIRContext()
LValue emitCastLValue(const CastExpr *e)
Casts are never lvalues unless that cast is to a reference type.
mlir::Value emitLoadOfScalar(LValue lvalue, SourceLocation loc)
EmitLoadOfScalar - Load a scalar value from an address, taking care to appropriately convert from the...
bool containsLabel(const clang::Stmt *s, bool ignoreCaseStmts=false)
Return true if the statement contains a label in it.
DeclMapTy localDeclMap
This keeps track of the CIR allocas or globals for local C declarations.
LValue emitDeclRefLValue(const clang::DeclRefExpr *e)
void emitComplexExprIntoLValue(const Expr *e, LValue dest, bool isInit)
llvm::DenseMap< const clang::ValueDecl *, clang::FieldDecl * > lambdaCaptureFields
ConstantEmission tryEmitAsConstant(const DeclRefExpr *refExpr)
Try to emit a reference to the given value without producing it as an l-value.
void emitCXXThrowExpr(const CXXThrowExpr *e)
LValue makeAddrLValue(Address addr, QualType ty, AlignmentSource source=AlignmentSource::Type)
int64_t getAccessedFieldNo(unsigned idx, mlir::ArrayAttr elts)
LValue emitPredefinedLValue(const PredefinedExpr *e)
RValue emitAnyExpr(const clang::Expr *e, AggValueSlot aggSlot=AggValueSlot::ignored(), bool ignoreResult=false)
Emit code to compute the specified expression which can have any type.
llvm::DenseMap< const OpaqueValueExpr *, RValue > opaqueRValues
Address emitArrayToPointerDecay(const Expr *e, LValueBaseInfo *baseInfo=nullptr)
LexicalScope * curLexScope
void emitAtomicStore(RValue rvalue, LValue dest, bool isInit)
mlir::Value emitStoreThroughBitfieldLValue(RValue src, LValue dstresult)
llvm::DenseMap< const OpaqueValueExpr *, LValue > opaqueLValues
Keeps track of the current set of opaque value expressions.
CIRGenFunction(CIRGenModule &cgm, CIRGenBuilderTy &builder, bool suppressNewContext=false)
std::optional< mlir::Location > currSrcLoc
Use to track source locations across nested visitor traversals.
LValue emitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *e)
LValue emitExtVectorElementExpr(const ExtVectorElementExpr *e)
clang::ASTContext & getContext() const
RValue emitCXXMemberOrOperatorMemberCallExpr(const clang::CallExpr *ce, const clang::CXXMethodDecl *md, ReturnValueSlot returnValue, bool hasQualifier, clang::NestedNameSpecifier qualifier, bool isArrow, const clang::Expr *base)
mlir::Value emitScalarConstant(const ConstantEmission &constant, Expr *e)
RValue emitBuiltinExpr(const clang::GlobalDecl &gd, unsigned builtinID, const clang::CallExpr *e, ReturnValueSlot returnValue)
RValue emitCXXOperatorMemberCallExpr(const CXXOperatorCallExpr *e, const CXXMethodDecl *md, ReturnValueSlot returnValue)
void emitStoreThroughLValue(RValue src, LValue dst, bool isInit=false)
Store the specified rvalue into the specified lvalue, where both are guaranteed to the have the same ...
mlir::Value cxxabiThisValue
bool isLValueSuitableForInlineAtomic(LValue lv)
An LValue is a candidate for having its loads and stores be made atomic if we are operating under /vo...
mlir::LogicalResult emitStmt(const clang::Stmt *s, bool useCurrentScope, llvm::ArrayRef< const Attr * > attrs={})
RValue getOrCreateOpaqueRValueMapping(const OpaqueValueExpr *e)
Given an opaque value expression, return its RValue mapping if it exists, otherwise create one.
Address createTempAllocaWithoutCast(mlir::Type ty, CharUnits align, mlir::Location loc, const Twine &name="tmp", mlir::Value arraySize=nullptr, mlir::OpBuilder::InsertPoint ip={})
This creates a alloca and inserts it into the entry block of the current region.
mlir::Value emitFromMemory(mlir::Value value, clang::QualType ty)
EmitFromMemory - Change a scalar value from its memory representation to its value representation.
void emitIgnoredExpr(const clang::Expr *e)
Emit code to compute the specified expression, ignoring the result.
Address createMemTemp(QualType t, mlir::Location loc, const Twine &name="tmp", Address *alloca=nullptr, mlir::OpBuilder::InsertPoint ip={})
Create a temporary memory object of the given type, with appropriate alignmen and cast it to the defa...
mlir::Value emitDynamicCast(Address thisAddr, const CXXDynamicCastExpr *dce)
void emitAggExpr(const clang::Expr *e, AggValueSlot slot)
ConditionalInfo emitConditionalBlocks(const AbstractConditionalOperator *e, const FuncTy &branchGenFunc)
RValue emitCXXPseudoDestructorExpr(const CXXPseudoDestructorExpr *expr)
LValue emitCompoundLiteralLValue(const CompoundLiteralExpr *e)
CIRGenCallee emitCallee(const clang::Expr *e)
Address emitAddrOfFieldStorage(Address base, const FieldDecl *field, llvm::StringRef fieldName, unsigned fieldIndex)
Get the address of a zero-sized field within a record.
This class organizes the cross-function state that is used while generating CIR code.
DiagnosticBuilder errorNYI(SourceLocation, llvm::StringRef)
Helpers to emit "not yet implemented" error diagnostics.
mlir::IntegerAttr getSize(CharUnits size)
CIRGenBuilderTy & getBuilder()
cir::FuncOp getAddrOfFunction(clang::GlobalDecl gd, mlir::Type funcType=nullptr, bool forVTable=false, bool dontDefer=false, ForDefinition_t isForDefinition=NotForDefinition)
Return the address of the given function.
mlir::Value getAddrOfGlobalVar(const VarDecl *d, mlir::Type ty={}, ForDefinition_t isForDefinition=NotForDefinition)
Return the mlir::Value for the address of the given global variable.
cir::GlobalLinkageKind getCIRLinkageVarDefinition(const VarDecl *vd, bool isConstant)
This class handles record and union layout info while lowering AST types to CIR types.
cir::RecordType getCIRType() const
Return the "complete object" LLVM type associated with this record.
const CIRGenBitFieldInfo & getBitFieldInfo(const clang::FieldDecl *fd) const
Return the BitFieldInfo that corresponds to the field FD.
unsigned getCIRFieldNo(const clang::FieldDecl *fd) const
Return cir::RecordType element number that corresponds to the field FD.
cir::FuncType getFunctionType(const CIRGenFunctionInfo &info)
Get the CIR function type for.
mlir::Attribute emitAbstract(const Expr *e, QualType destType)
Emit the result of the given expression as an abstract constant, asserting that it succeeded.
AlignmentSource getAlignmentSource() const
void mergeForCast(const LValueBaseInfo &info)
bool isExtVectorElt() const
const clang::Qualifiers & getQuals() const
mlir::Value getExtVectorPointer() const
static LValue makeExtVectorElt(Address vecAddress, mlir::ArrayAttr elts, clang::QualType type, LValueBaseInfo baseInfo)
mlir::Value getVectorIdx() const
Address getAddress() const
static LValue makeAddr(Address address, clang::QualType t, LValueBaseInfo baseInfo)
mlir::ArrayAttr getExtVectorElts() const
static LValue makeVectorElt(Address vecAddress, mlir::Value index, clang::QualType t, LValueBaseInfo baseInfo)
RValue asAggregateRValue() const
unsigned getVRQualifiers() const
clang::QualType getType() const
static LValue makeBitfield(Address addr, const CIRGenBitFieldInfo &info, clang::QualType type, LValueBaseInfo baseInfo)
Create a new object to represent a bit-field access.
mlir::Value getPointer() const
bool isVolatileQualified() const
Address getVectorAddress() const
clang::CharUnits getAlignment() const
LValueBaseInfo getBaseInfo() const
const CIRGenBitFieldInfo & getBitFieldInfo() const
Address getBitFieldAddress() const
Address getExtVectorAddress() const
This trivial value class is used to represent the result of an expression that is evaluated.
static RValue get(mlir::Value v)
static RValue getComplex(mlir::Value v)
mlir::Value getValue() const
Return the value of this scalar value.
Contains the address where the return value of a function can be stored, and whether the address is v...
virtual mlir::Value performAddrSpaceCast(CIRGenFunction &cgf, mlir::Value v, cir::TargetAddressSpaceAttr srcAddr, mlir::Type destTy, bool isNonNull=false) const
Perform address space cast of an expression of pointer type.
Represents a C++ destructor within a class.
Represents a call to a member function that may be written either with member call syntax (e....
Represents a static or instance method of a struct/union/class.
Represents a C++ struct/union/class.
bool hasTrivialDestructor() const
Determine whether this class has a trivial destructor (C++ [class.dtor]p3)
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
QualType getCallReturnType(const ASTContext &Ctx) const
getCallReturnType - Get the return type of the call expr.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
CastKind getCastKind() const
llvm::iterator_range< path_iterator > path()
Path through the class hierarchy taken by casts between base and derived classes (see implementation ...
bool changesVolatileQualification() const
Return.
static const char * getCastKindName(CastKind CK)
CharUnits - This is an opaque type for sizes expressed in character units.
CharUnits alignmentAtOffset(CharUnits offset) const
Given that this is a non-zero alignment value, what is the alignment at the given offset?
static CharUnits One()
One - Construct a CharUnits quantity of one.
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.
Complex values, per C99 6.2.5p11.
CompoundLiteralExpr - [C99 6.5.2.5].
const Expr * getInitializer() const
ConditionalOperator - The ?
A reference to a declared variable, function, enum, etc.
bool refersToEnclosingVariableOrCapture() const
Does this DeclRefExpr refer to an enclosing local or a captured variable?
static DeclRefExpr * Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, ValueDecl *D, bool RefersToEnclosingVariableOrCapture, SourceLocation NameLoc, QualType T, ExprValueKind VK, NamedDecl *FoundD=nullptr, const TemplateArgumentListInfo *TemplateArgs=nullptr, NonOdrUseReason NOUR=NOUR_None)
NonOdrUseReason isNonOdrUse() const
Is this expression a non-odr-use reference, and if so, why?
SourceLocation getLocation() const
SourceLocation getLocation() const
DeclContext * getDeclContext()
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...
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
bool EvaluateAsRValue(EvalResult &Result, const ASTContext &Ctx, bool InConstantContext=false) const
EvaluateAsRValue - Return true if this is a constant which we can fold to an rvalue using any crazy t...
Decl * getReferencedDeclOfCallee()
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
ExtVectorElementExpr - This represents access to specific elements of a vector, and may occur on the ...
bool isArrow() const
isArrow - Return true if the base expression is a pointer to vector, return false if the base express...
void getEncodedElementAccess(SmallVectorImpl< uint32_t > &Elts) const
getEncodedElementAccess - Encode the elements accessed into an llvm aggregate Constant of ConstantInt...
const Expr * getBase() const
Represents a member of a struct/union/class.
bool isBitField() const
Determines whether this field is a bitfield.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
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.
bool isZeroSize(const ASTContext &Ctx) const
Determine if this field is a subobject of zero size, that is, either a zero-length bit-field or a fie...
Represents a function declaration or definition.
FunctionDecl * getPreviousDecl()
Return the previous declaration of this declaration or NULL if this is the first declaration.
Represents a prototype with parameter type info, e.g.
GlobalDecl - represents a global declaration.
const Decl * getDecl() const
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.
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
ValueDecl * getMemberDecl() const
Retrieve the member declaration to which this expression refers.
NonOdrUseReason isNonOdrUse() const
Is this expression a non-odr-use reference, and if so, why?
SourceLocation getExprLoc() const LLVM_READONLY
A pointer to member type per C++ 8.3.3 - Pointers to members.
This represents a decl that may have a name.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
A C++ nested-name-specifier augmented with source location information.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
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 ...
PointerType - C99 6.7.5.1 - Pointer Declarators.
[C99 6.4.2.2] - A predefined identifier such as func.
StringRef getIdentKindName() const
PredefinedIdentKind getIdentKind() const
StringLiteral * getFunctionName()
A (possibly-)qualified type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
LangAS getAddressSpace() const
Return the address space of this type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
Qualifiers::ObjCLifetime getObjCLifetime() const
Returns lifetime attribute of this type.
QualType withCVRQualifiers(unsigned CVR) const
DestructionKind isDestructedType() const
Returns a nonzero value if objects of this type require non-trivial work to clean up after.
The collection of all-type qualifiers we support.
unsigned getCVRQualifiers() const
@ OCL_ExplicitNone
This object can be modified without requiring retains or releases.
@ OCL_None
There is no lifetime qualification on this type.
void addCVRQualifiers(unsigned mask)
void addQualifiers(Qualifiers Q)
Add the qualifiers from the given set to this set.
Represents a struct/union/class.
Encodes a location in the source.
Stmt - This represents one statement.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
StringLiteral - This represents a string literal expression, e.g.
Exposes information about the current target.
virtual StringRef getABI() const
Get the ABI currently in use.
bool isBooleanType() const
bool isPackedVectorBoolType(const ASTContext &ctx) const
const ArrayType * castAsArrayTypeUnsafe() const
A variant of castAs<> for array type which silently discards qualifiers from the outermost type.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isFunctionPointerType() const
CXXRecordDecl * castAsCXXRecordDecl() const
bool isArithmeticType() const
bool isConstantMatrixType() const
bool isPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
bool isReferenceType() const
bool isVariableArrayType() const
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isExtVectorBoolType() const
bool isAnyComplexType() const
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isAtomicType() const
bool isVariablyModifiedType() const
Whether this type is a variably-modified type (C99 6.7.5).
bool isFunctionType() const
bool isVectorType() const
bool isSubscriptableVectorType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool hasBooleanRepresentation() const
Determine whether this type has a boolean representation – i.e., it is a boolean type,...
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
SourceLocation getExprLoc() const
Expr * getSubExpr() const
static bool isIncrementOp(Opcode Op)
static bool isPrefix(Opcode Op)
isPrefix - Return true if this is a prefix operation, like –x.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Represents a variable declaration or definition.
TLSKind getTLSKind() const
VarDecl * getDefinition(ASTContext &)
Get the real (not just tentative) definition for this declaration.
bool hasLocalStorage() const
Returns true if a variable with function scope is a non-static local variable.
@ TLS_Dynamic
TLS with a dynamic initializer.
Represents a C array with a specified size that is not an integer-constant-expression.
Represents a GCC generic vector type.
Defines the clang::TargetInfo interface.
cir::TargetAddressSpaceAttr toCIRTargetAddressSpace(mlir::MLIRContext &context, clang::LangAS langAS)
AlignmentSource
The source of the alignment of an l-value; an expression of confidence in the alignment actually matc...
@ Decl
The l-value was an access to a declared entity or something equivalently strong, like the address of ...
static AlignmentSource getFieldAlignmentSource(AlignmentSource source)
Given that the base address has the given alignment source, what's our confidence in the alignment of...
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const AstTypeMatcher< FunctionType > functionType
const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr
Matches expressions.
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > castExpr
Matches any cast nodes of Clang's AST.
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
bool isTargetAddressSpace(LangAS AS)
@ SD_Thread
Thread storage duration.
@ SD_Static
Static storage duration.
@ SD_FullExpression
Full-expression storage duration (for temporaries).
@ SD_Automatic
Automatic storage duration (most local variables).
@ SD_Dynamic
Dynamic storage duration.
LangAS
Defines the address space values used by the address space qualifier of QualType.
U cast(CodeGen::Address addr)
LangAS getLangASFromTargetAS(unsigned TargetAS)
@ NOUR_Unevaluated
This name appears in an unevaluated operand.
@ NOUR_Constant
This name appears as a potential result of an lvalue-to-rvalue conversion that is a constant expressi...
static bool weakRefReference()
static bool objCLifetime()
static bool emitLifetimeMarkers()
static bool opLoadEmitScalarRangeCheck()
static bool addressSpace()
static bool opAllocaNonGC()
static bool opAllocaOpenMPThreadPrivate()
static bool preservedAccessIndexRegion()
static bool mergeAllConstants()
static bool opLoadStoreTbaa()
static bool cgFPOptionsRAII()
static bool opCallChain()
static bool opAllocaImpreciseLifetime()
static bool opAllocaStaticLocal()
static bool opAllocaTLS()
static bool emitCheckedInBoundsGEP()
static bool attributeNoBuiltin()
static bool setObjCGCLValueClass()
static bool cirgenABIInfo()
static bool opLoadStoreObjC()
static bool opCallArgEvaluationOrder()
static bool lambdaCaptures()
static bool insertBuiltinUnpredictable()
static bool opCallMustTail()
static bool shouldReverseUnaryCondOnBoolExpr()
static bool tryEmitAsConstant()
static bool addressIsKnownNonNull()
static bool astVarDeclInterface()
static bool cgCapturedStmtInfo()
static bool opAllocaEscapeByReference()
static bool opLoadStoreNontemporal()
static bool opCallFnInfoOpts()
static bool generateDebugInfo()
static bool incrementProfileCounter()
Record with information about how a bitfield should be accessed.
unsigned volatileStorageSize
The storage size in bits which should be used when accessing this bitfield.
unsigned volatileOffset
The offset within a contiguous run of bitfields that are represented as a single "field" within the c...
std::optional< LValue > rhs
std::optional< LValue > lhs
Represents a scope, including function bodies, compound statements, and the substatements of if/while...
cir::TargetAddressSpaceAttr getCIRAllocaAddressSpace() const
EvalResult is a struct with detailed info about an evaluated expression.
APValue Val
Val - This is the value the expression can be folded to.
bool HasSideEffects
Whether the evaluated expression has side effects.