19#include "mlir/Dialect/Ptr/IR/MemorySpaceInterfaces.h"
20#include "mlir/IR/BuiltinAttributes.h"
21#include "mlir/IR/Value.h"
69 llvm::StringRef fieldName,
70 unsigned fieldIndex) {
89 auto fieldPtr = cir::PointerType::get(fieldType);
90 bool needsBitcast =
false;
93 mlir::Type memberType = layout.
getCIRType().getMembers()[idx];
94 fieldPtr = cir::PointerType::get(memberType);
101 mlir::Value addr = builder.createGetMember(loc, fieldPtr, base.
getPointer(),
102 fieldName, fieldIndex);
108 addr = builder.createPtrBitcast(addr, fieldType);
111 layout.
getCIRType().getElementOffset(
cgm.getDataLayout().layout, idx));
120 assert(
expr->getType()->isPointerType() ||
121 expr->getType()->isObjCObjectPointerType());
125 if (
auto const *ce = dyn_cast<CastExpr>(
expr)) {
126 if (
const auto *ece = dyn_cast<ExplicitCastExpr>(ce))
127 cgm.emitExplicitCastExprType(ece);
129 switch (ce->getCastKind()) {
133 case CK_AddressSpaceConversion: {
134 if (
const auto *ptrTy =
135 ce->getSubExpr()->getType()->getAs<
PointerType>()) {
136 if (ptrTy->getPointeeType()->isVoidType())
144 *baseInfo = innerBaseInfo;
149 const QualType pointeeType =
expr->getType()->getPointeeType();
151 cgm.getNaturalTypeAlignment(pointeeType, &targetTypeBaseInfo);
164 const mlir::Type eltTy =
176 case CK_ArrayToPointerDecay:
179 case CK_UncheckedDerivedToBase:
180 case CK_DerivedToBase: {
185 ce->getSubExpr()->getType()->getPointeeCXXRecordDecl();
191 case CK_AnyPointerToBlockPointerCast:
192 case CK_BaseToDerived:
193 case CK_BaseToDerivedMemberPointer:
194 case CK_BlockPointerToObjCPointerCast:
195 case CK_BuiltinFnToFnPtr:
196 case CK_CPointerToObjCPointerCast:
197 case CK_DerivedToBaseMemberPointer:
199 case CK_FunctionToPointerDecay:
200 case CK_IntegralToPointer:
201 case CK_LValueToRValue:
202 case CK_LValueToRValueBitCast:
203 case CK_NullToMemberPointer:
204 case CK_NullToPointer:
205 case CK_ReinterpretMemberPointer:
211 case CK_ARCConsumeObject:
212 case CK_ARCExtendBlockObject:
213 case CK_ARCProduceObject:
214 case CK_ARCReclaimReturnedObject:
215 case CK_AtomicToNonAtomic:
216 case CK_BooleanToSignedIntegral:
217 case CK_ConstructorConversion:
218 case CK_CopyAndAutoreleaseBlockObject:
220 case CK_FixedPointCast:
221 case CK_FixedPointToBoolean:
222 case CK_FixedPointToFloating:
223 case CK_FixedPointToIntegral:
224 case CK_FloatingCast:
225 case CK_FloatingComplexCast:
226 case CK_FloatingComplexToBoolean:
227 case CK_FloatingComplexToIntegralComplex:
228 case CK_FloatingComplexToReal:
229 case CK_FloatingRealToComplex:
230 case CK_FloatingToBoolean:
231 case CK_FloatingToFixedPoint:
232 case CK_FloatingToIntegral:
233 case CK_HLSLAggregateSplatCast:
234 case CK_HLSLArrayRValue:
235 case CK_HLSLElementwiseCast:
236 case CK_HLSLVectorTruncation:
237 case CK_HLSLMatrixTruncation:
238 case CK_IntToOCLSampler:
239 case CK_IntegralCast:
240 case CK_IntegralComplexCast:
241 case CK_IntegralComplexToBoolean:
242 case CK_IntegralComplexToFloatingComplex:
243 case CK_IntegralComplexToReal:
244 case CK_IntegralRealToComplex:
245 case CK_IntegralToBoolean:
246 case CK_IntegralToFixedPoint:
247 case CK_IntegralToFloating:
248 case CK_LValueBitCast:
250 case CK_MemberPointerToBoolean:
251 case CK_NonAtomicToAtomic:
252 case CK_ObjCObjectLValueCast:
253 case CK_PointerToBoolean:
254 case CK_PointerToIntegral:
257 case CK_UserDefinedConversion:
259 case CK_ZeroToOCLOpaqueType:
260 llvm_unreachable(
"unexpected cast for emitPointerWithAlignment");
267 if (uo->getOpcode() == UO_AddrOf) {
277 if (
auto const *call = dyn_cast<CallExpr>(
expr)) {
278 switch (call->getBuiltinCallee()) {
281 case Builtin::BIaddressof:
282 case Builtin::BI__addressof:
283 case Builtin::BI__builtin_addressof: {
305 const mlir::Value vector =
307 const mlir::Value newVector = cir::VecInsertOp::create(
313 assert(dst.
isBitField() &&
"Unknown LValue type");
318 "emitStoreThroughLValue: non-simple lvalue");
324 assert(src.
isScalar() &&
"Can't emit an aggregate store with this method");
335 "emitGlobalVarDeclLValue: thread_local variable");
347 cir::PointerType realPtrTy = cir::PointerType::get(
348 realVarTy, mlir::cast<cir::PointerType>(v.getType()).getAddrSpace());
349 if (realPtrTy != v.getType())
353 Address addr(v, realVarTy, alignment);
367 bool isNontemporal) {
371 if (clangVecTy->isExtVectorBoolType())
373 "emitStoreOfScalar ExtVectorBoolType");
381 if (vecTy.getSize() == 3 && !
getLangOpts().PreserveVec3Type)
383 "emitStoreOfScalar Vec3 & PreserveVec3Type disabled");
397 assert(addr.
getPointer() &&
"expected pointer to exist");
399 if (currVarDecl && srcAlloca) {
400 const VarDecl *vd = currVarDecl;
401 assert(vd &&
"VarDecl expected");
406 assert(
currSrcLoc &&
"must pass in source location");
407 builder.createStore(*
currSrcLoc, value, addr, isVolatile);
410 cgm.errorNYI(addr.
getPointer().getLoc(),
"emitStoreOfScalar nontemporal");
420 return targetInfo.
getABI().starts_with(
"aapcs");
430 bool useVoaltile =
cgm.getCodeGenOpts().AAPCSBitfieldWidth &&
434 assert(
currSrcLoc &&
"must pass in source location");
436 return builder.createSetBitfield(*
currSrcLoc, resLTy, ptr,
460 mlir::Type fieldType,
463 cir::PointerType fieldPtr = cir::PointerType::get(fieldType);
469 rec.getElementOffset(
cgm.getDataLayout().layout,
index));
477 cgm.getTypes().getCIRGenRecordLayout(field->
getParent());
487 addr = builder.createElementBitCast(loc, addr, info.
storageType);
510 if (
auto *classDecl = dyn_cast<CXXRecordDecl>(rec)) {
511 if (
cgm.getCodeGenOpts().StrictVTablePointers &&
512 classDecl->isDynamicClass()) {
514 "emitLValueForField: strict vtable for dynamic class");
520 llvm::StringRef fieldName = field->
getName();
522 if (
cgm.lambdaFieldToName.count(field))
523 fieldName =
cgm.lambdaFieldToName[field];
538 cgm.getTypes().getCIRGenRecordLayout(field->
getParent());
559 if (field->
hasAttr<AnnotateAttr>()) {
570 "emitLValueForField: __weak attribute");
589 cgm.getTypes().getCIRGenRecordLayout(field->
getParent());
612 ty = atomicTy->getValueType();
615 cgm.errorNYI(
"emitToMemory: extVectorBoolType");
626 ty = atomicTy->getValueType();
629 cgm.errorNYI(
"emitFromMemory: PackedVectorBoolType");
638 assert(0 &&
"NYI: emitStoreOfScalar constant matrix type");
655 if (clangVecTy->isExtVectorBoolType()) {
656 cgm.errorNYI(loc,
"emitLoadOfScalar: ExtVectorBoolType");
664 if (vecTy.getSize() == 3 && !
getLangOpts().PreserveVec3Type)
666 "emitLoadOfScalar Vec3 & PreserveVec3Type disabled");
672 cgm.errorNYI(
"emitLoadOfScalar: load atomic");
674 if (mlir::isa<cir::VoidType>(eltTy))
675 cgm.errorNYI(loc,
"emitLoadOfScalar: void type");
679 mlir::Value loadOp = builder.createLoad(
getLoc(loc), addr, isVolatile);
681 cgm.errorNYI(
"emitLoadOfScalar: boolean type with boolean representation");
708 const mlir::Value load =
717 cgm.errorNYI(loc,
"emitLoadOfLValue");
722 const mlir::ArrayAttr elts) {
723 auto elt = mlir::cast<mlir::IntegerAttr>(elts[idx]);
735 if (
getLangOpts().
HLSL && !mlir::isa<cir::VectorType>(vec.getType())) {
736 cgm.errorNYI(loc,
"emitLoadOfExtVectorElementLValue: HLSL");
747 cir::ConstantOp
index =
748 builder.getConstInt(loc, builder.getSInt64Ty(), indexValue);
754 for (
auto i : llvm::seq<unsigned>(0, exprVecTy->getNumElements()))
757 cir::VecShuffleOp resultVec = builder.createVecShuffle(loc, vec, mask);
759 cgm.errorNYI(loc,
"emitLoadOfExtVectorElementLValue: ExtVectorBoolType");
769 "unexpected binary operator opcode");
784 memberPtrTy, &baseInfo);
786 return makeAddrLValue(memberAddr, memberPtrTy->getPointeeType(), baseInfo);
791 mlir::Location loc) {
794 mlir::Type vectorElementTy =
cgm.getTypes().convertType(elementTy);
800 mlir::Value idxValue =
801 builder.getConstInt(loc, mlir::cast<cir::IntType>(
ptrDiffTy), idx);
803 mlir::Value elementValue = builder.getArrayElement(
804 loc, loc, castToPointerElement.
getPointer(), vectorElementTy, idxValue,
810 return Address(elementValue, vectorElementTy, alignment);
819 mlir::Value thisValue) {
827 mlir::Value thisValue) {
828 bool hasExplicitObjectParameter =
false;
829 const auto *methD = dyn_cast_if_present<CXXMethodDecl>(
curCodeDecl);
832 hasExplicitObjectParameter = methD->isExplicitObjectMemberFunction();
833 assert(methD->getParent()->isLambda());
834 assert(methD->getParent() == field->
getParent());
836 if (hasExplicitObjectParameter) {
859 mlir::Type fnTy = funcOp.getFunctionType();
860 mlir::Type ptrTy = cir::PointerType::get(fnTy);
861 mlir::Value addr = cir::GetGlobalOp::create(cgf.
getBuilder(), loc, ptrTy,
862 funcOp.getSymName());
866 ptrTy = cir::PointerType::get(fnTy);
868 addr = cir::CastOp::create(cgf.
getBuilder(), addr.getLoc(), ptrTy,
869 cir::CastKind::bitcast, addr);
916 case cir::GlobalLinkageKind::ExternalLinkage:
917 case cir::GlobalLinkageKind::LinkOnceODRLinkage:
918 case cir::GlobalLinkageKind::WeakODRLinkage:
919 case cir::GlobalLinkageKind::InternalLinkage:
920 case cir::GlobalLinkageKind::PrivateLinkage:
932 "should not emit an unevaluated operand");
934 if (
const auto *vd = dyn_cast<VarDecl>(nd)) {
936 if (vd->getStorageClass() ==
SC_Register && vd->hasAttr<AsmLabelAttr>() &&
937 !vd->isLocalVarDecl()) {
939 "emitDeclRefLValue: Global Named registers access");
944 (vd->getType()->isReferenceType() ||
946 vd->getAnyInitializer(vd);
948 e->
getLocation(), *vd->evaluateValue(), vd->getType());
949 assert(val &&
"failed to emit constant expression");
952 if (!vd->getType()->isReferenceType()) {
954 addr =
cgm.createUnnamedGlobalFrom(*vd, val,
957 auto ptrTy = mlir::cast<cir::PointerType>(addr.
getPointer().getType());
958 if (ptrTy.getPointee() != varTy) {
977 vd = vd->getCanonicalDecl();
985 if (
const auto *vd = dyn_cast<VarDecl>(nd)) {
995 if (vd->hasLinkage() || vd->isStaticDataMember())
1003 addr = iter->second;
1019 assert((vd->isStaticLocal() ||
symbolTable.count(vd)) &&
1020 "non-static locals should be already mapped");
1025 if (
const auto *bd = dyn_cast<BindingDecl>(nd)) {
1034 if (
const auto *fd = dyn_cast<FunctionDecl>(nd)) {
1038 if (
getContext().getTargetInfo().allowDebugInfoForExternalRef())
1055 "evaluateExprAsBool: member pointer type");
1071 if (op == UO_Extension)
1077 assert(!t.
isNull() &&
"CodeGenFunction::EmitUnaryOpLValue: Illegal type");
1097 assert(lv.
isSimple() &&
"real/imag on non-ordinary l-value");
1112 ? builder.createComplexRealPtr(loc, lv.
getAddress())
1113 : builder.createComplexImagPtr(loc, lv.
getAddress());
1123 assert(e->
isPrefix() &&
"Prefix operator in unexpected state!");
1133 llvm_unreachable(
"UnaryOperator extension should be handled above!");
1142 llvm_unreachable(
"UnaryOperator of non-lvalue kind!");
1144 llvm_unreachable(
"Unknown unary operator kind!");
1152 const auto *
castExpr = dyn_cast<CastExpr>(e);
1166 if (
auto constantOp = idx.getDefiningOp<cir::ConstantOp>())
1167 return constantOp.getValueAttr<cir::IntAttr>();
1176 const CharUnits offset = constantIdx.getValue().getZExtValue() * eltSize;
1193 mlir::Location beginLoc,
1194 mlir::Location endLoc, mlir::Value ptr,
1195 mlir::Type eltTy, mlir::Value idx,
1206 mlir::Location beginLoc,
1207 mlir::Location endLoc,
Address addr,
1209 mlir::Location loc,
bool shouldDecay) {
1224 const mlir::Value eltPtr =
1228 return Address(eltPtr, elementType, eltAlign);
1241 "index was neither LHS nor RHS");
1243 auto emitIdxAfterBase = [&](
bool promote) -> mlir::Value {
1247 auto ptrTy = mlir::dyn_cast<cir::PointerType>(idx.getType());
1248 if (promote && ptrTy && ptrTy.isPtrTo<cir::IntType>())
1250 "emitArraySubscriptExpr: index type cast");
1258 const mlir::Value idx = emitIdxAfterBase(
false);
1271 mlir::Value idx = emitIdxAfterBase(
true);
1296 idx = builder.createIntCast(idx, numElements.getType());
1305 idx = builder.createMul(
cgm.getLoc(e->
getExprLoc()), idx, numElements,
1318 if (
const auto *ase = dyn_cast<ArraySubscriptExpr>(array))
1325 *
this,
cgm.getLoc(array->getBeginLoc()),
cgm.getLoc(array->getEndLoc()),
1340 "The base must be a pointer");
1369 const auto *clangPtrTy =
1371 base =
makeAddrLValue(ptr, clangPtrTy->getPointeeType(), baseInfo);
1372 base.getQuals().removeObjCGCAttr();
1381 "Result must be a vector");
1389 "emitExtVectorElementExpr: ExtVectorBoolType & !HLSL");
1392 builder.createStore(vec.getLoc(), vec, vecMem);
1405 mlir::ArrayAttr elts = builder.getI64ArrayAttr(attrElts);
1411 "emitExtVectorElementExpr: isSimple is false");
1416 llvm::StringRef name) {
1417 cir::GlobalOp globalOp =
cgm.getGlobalForStringLiteral(e, name);
1418 assert(globalOp.getAlignment() &&
"expected alignment for string literal");
1419 unsigned align = *(globalOp.getAlignment());
1437 case CK_LValueToRValueBitCast:
1438 case CK_ArrayToPointerDecay:
1439 case CK_FunctionToPointerDecay:
1440 case CK_NullToMemberPointer:
1441 case CK_NullToPointer:
1442 case CK_IntegralToPointer:
1443 case CK_PointerToIntegral:
1444 case CK_PointerToBoolean:
1445 case CK_IntegralCast:
1446 case CK_BooleanToSignedIntegral:
1447 case CK_IntegralToBoolean:
1448 case CK_IntegralToFloating:
1449 case CK_FloatingToIntegral:
1450 case CK_FloatingToBoolean:
1451 case CK_FloatingCast:
1452 case CK_FloatingRealToComplex:
1453 case CK_FloatingComplexToReal:
1454 case CK_FloatingComplexToBoolean:
1455 case CK_FloatingComplexCast:
1456 case CK_FloatingComplexToIntegralComplex:
1457 case CK_IntegralRealToComplex:
1458 case CK_IntegralComplexToReal:
1459 case CK_IntegralComplexToBoolean:
1460 case CK_IntegralComplexCast:
1461 case CK_IntegralComplexToFloatingComplex:
1462 case CK_DerivedToBaseMemberPointer:
1463 case CK_BaseToDerivedMemberPointer:
1464 case CK_MemberPointerToBoolean:
1465 case CK_ReinterpretMemberPointer:
1466 case CK_AnyPointerToBlockPointerCast:
1467 case CK_ARCProduceObject:
1468 case CK_ARCConsumeObject:
1469 case CK_ARCReclaimReturnedObject:
1470 case CK_ARCExtendBlockObject:
1471 case CK_CopyAndAutoreleaseBlockObject:
1472 case CK_IntToOCLSampler:
1473 case CK_FloatingToFixedPoint:
1474 case CK_FixedPointToFloating:
1475 case CK_FixedPointCast:
1476 case CK_FixedPointToBoolean:
1477 case CK_FixedPointToIntegral:
1478 case CK_IntegralToFixedPoint:
1480 case CK_HLSLVectorTruncation:
1481 case CK_HLSLMatrixTruncation:
1482 case CK_HLSLArrayRValue:
1483 case CK_HLSLElementwiseCast:
1484 case CK_HLSLAggregateSplatCast:
1485 llvm_unreachable(
"unexpected cast lvalue");
1488 llvm_unreachable(
"dependent cast kind in IR gen!");
1490 case CK_BuiltinFnToFnPtr:
1491 llvm_unreachable(
"builtin functions are handled elsewhere");
1501 case CK_NonAtomicToAtomic:
1502 case CK_AtomicToNonAtomic:
1504 case CK_ObjCObjectLValueCast:
1505 case CK_VectorSplat:
1506 case CK_ConstructorConversion:
1507 case CK_UserDefinedConversion:
1508 case CK_CPointerToObjCPointerCast:
1509 case CK_BlockPointerToObjCPointerCast:
1510 case CK_LValueToRValue: {
1512 std::string(
"emitCastLValue for unhandled cast kind: ") +
1517 case CK_AddressSpaceConversion: {
1522 mlir::ptr::MemorySpaceAttrInterface srcAS;
1528 "emitCastLValue: address space conversion from unknown address "
1538 case CK_LValueBitCast: {
1542 cgm.emitExplicitCastExprType(ce,
this);
1563 "emitCastLValue: NoOp needs bitcast");
1569 case CK_UncheckedDerivedToBase:
1570 case CK_DerivedToBase: {
1588 case CK_BaseToDerived: {
1604 case CK_ZeroToOCLOpaqueType:
1605 llvm_unreachable(
"NULL to OpenCL opaque type lvalue cast is not valid");
1608 llvm_unreachable(
"Invalid cast kind");
1645 if (
auto *field = dyn_cast<FieldDecl>(nd)) {
1657 if (
const auto *fd = dyn_cast<FunctionDecl>(nd))
1660 llvm_unreachable(
"Unhandled member declaration!");
1690 llvm_unreachable(
"bad evaluation kind");
1695 const Expr *inner) {
1706 cir::AllocaOp extDeclAlloca;
1710 extDeclAlloca = extDeclAddrIter->second.getDefiningOp<cir::AllocaOp>();
1712 mlir::OpBuilder::InsertPoint ip;
1714 ip = {extDeclAlloca->getBlock(), extDeclAlloca->getIterator()};
1724 assert(addr.getAlignment().has_value() &&
1725 "This should always have an alignment");
1731 llvm_unreachable(
"temporary can't have dynamic storage duration");
1733 llvm_unreachable(
"unknown storage duration");
1757 if (
const auto *classDecl =
1761 referenceTemporaryDtor = classDecl->getDestructor();
1763 if (!referenceTemporaryDtor)
1767 "storage duration with destructors");
1783 llvm_unreachable(
"temporary cannot have dynamic storage duration");
1793 "Reference should never be pseudo-strong!");
1801 "emitMaterializeTemporaryExpr: ObjCLifetime");
1809 for (
const Expr *ignored : commaLHSs)
1814 "emitMaterializeTemporaryExpr: OpaqueValueExpr");
1821 if (
auto var =
object.getPointer().getDefiningOp<cir::GlobalOp>()) {
1834 if (!adjustments.empty()) {
1836 "emitMaterializeTemporaryExpr: Adjustments");
1851 assert(e->
isUnique() &&
"LValue for a nonunique OVE hasn't been emitted");
1863 assert(e->
isUnique() &&
"RValue for a nonunique OVE hasn't been emitted");
1877 ".compoundliteral");
1888 "emitCompoundLiteralLValue: non C++ DestructedType");
1903 "Can't have a scalar return unless the return type is a "
1919 assert(e->
getOpcode() == BO_Assign &&
"unexpected binary l-value");
1958 llvm_unreachable(
"bad evaluation kind");
1964 bool ignoreResult) {
1971 if (!ignoreResult && aggSlot.
isIgnored())
1978 llvm_unreachable(
"bad evaluation kind");
1986 if (!pd->isInlineBuiltinDeclaration())
1991CIRGenCallee CIRGenFunction::emitDirectCallee(
const GlobalDecl &gd) {
1994 if (
unsigned builtinID = fd->getBuiltinID()) {
1995 StringRef ident =
cgm.getMangledName(gd);
1996 std::string fdInlineName = (ident +
".inline").str();
1998 bool isPredefinedLibFunction =
1999 cgm.getASTContext().BuiltinInfo.isPredefinedLibFunction(builtinID);
2005 bool hasAttributeNoBuiltin =
false;
2013 mlir::cast_or_null<cir::FuncOp>(
cgm.getGlobalValue(fdInlineName));
2019 mlir::OpBuilder::InsertionGuard guard(builder);
2020 builder.setInsertionPointToStart(
cgm.getModule().getBody());
2022 clone = cir::FuncOp::create(builder, calleeFunc.getLoc(), fdInlineName,
2023 calleeFunc.getFunctionType());
2024 clone.setLinkageAttr(cir::GlobalLinkageKindAttr::get(
2025 &
cgm.getMLIRContext(), cir::GlobalLinkageKind::InternalLinkage));
2026 clone.setSymVisibility(
"private");
2027 clone.setInlineKind(cir::InlineKind::AlwaysInline);
2038 else if (!isPredefinedLibFunction || !hasAttributeNoBuiltin)
2044 if ((
cgm.getLangOpts().CUDA ||
cgm.getLangOpts().HIP) &&
2045 !
cgm.getLangOpts().CUDAIsDevice && fd->hasAttr<CUDAGlobalAttr>()) {
2046 mlir::Operation *handle =
cgm.getCUDARuntime().getKernelHandle(callee, gd);
2048 mlir::cast<cir::FuncOp>(*
cgm.getCUDARuntime().getKernelStub(handle));
2058 cgm.errorNYI(
"unsupported type for undef rvalue");
2069 "Callee must have function pointer type!");
2090 cgm.getTypes().arrangeFreeFunctionCall(args, fnType);
2112 calleeTy = cir::FuncType::get(calleeTy.getInputs(),
2113 calleeTy.getReturnType(),
false);
2114 auto calleePtrTy = cir::PointerType::get(calleeTy);
2118 if (
auto funcOp = mlir::dyn_cast<cir::FuncOp>(fn)) {
2119 addr = cir::GetGlobalOp::create(
2121 cir::PointerType::get(funcOp.getFunctionType()), funcOp.getSymName());
2123 addr = fn->getResult(0);
2126 fn = builder.createBitcast(addr, calleePtrTy).getDefiningOp();
2134 cir::CIRCallOpInterface callOp;
2147 if (
const auto *implicitCast = dyn_cast<ImplicitCastExpr>(e)) {
2148 if (implicitCast->getCastKind() == CK_FunctionToPointerDecay ||
2149 implicitCast->getCastKind() == CK_BuiltinFnToFnPtr) {
2150 return emitCallee(implicitCast->getSubExpr());
2155 assert(implicitCast->getCastKind() == CK_LValueToRValue &&
2156 "unexpected implicit cast on function pointers");
2157 }
else if (
const auto *declRef = dyn_cast<DeclRefExpr>(e)) {
2160 return emitDirectCallee(funcDecl);
2161 }
else if (
auto me = dyn_cast<MemberExpr>(e)) {
2162 if (
const auto *fd = dyn_cast<FunctionDecl>(me->getMemberDecl())) {
2164 return emitDirectCallee(fd);
2167 }
else if (
auto *pde = dyn_cast<CXXPseudoDestructorExpr>(e)) {
2172 mlir::Value calleePtr;
2184 if (
const auto *vd =
2189 CIRGenCallee callee(calleeInfo, calleePtr.getDefiningOp());
2197 if (
const auto *ce = dyn_cast<CXXMemberCallExpr>(e))
2203 if (
const auto *operatorCall = dyn_cast<CXXOperatorCallExpr>(e)) {
2207 dyn_cast_or_null<CXXMethodDecl>(operatorCall->getCalleeDecl()))
2241 "Array to pointer decay must have array source type!");
2249 auto lvalueAddrTy = mlir::cast<cir::PointerType>(addr.
getPointer().getType());
2254 [[maybe_unused]]
auto pointeeTy =
2255 mlir::cast<cir::ArrayType>(lvalueAddrTy.getPointee());
2258 assert(mlir::isa<cir::ArrayType>(arrayTy) &&
"expected array");
2259 assert(pointeeTy == arrayTy);
2269 mlir::Value ptr = builder.maybeBuildArrayDecay(
2287 llvm_unreachable(
"bad evaluation kind");
2294 const Stmt *elseS) {
2296 std::optional<mlir::Location> elseLoc;
2300 mlir::LogicalResult resThen = mlir::success(), resElse = mlir::success();
2303 [&](mlir::OpBuilder &, mlir::Location) {
2304 LexicalScope lexScope{*
this, thenLoc, builder.getInsertionBlock()};
2309 [&](mlir::OpBuilder &, mlir::Location) {
2310 assert(elseLoc &&
"Invalid location for elseS.");
2311 LexicalScope lexScope{*
this, *elseLoc, builder.getInsertionBlock()};
2316 return mlir::LogicalResult::success(resThen.succeeded() &&
2317 resElse.succeeded());
2325 std::optional<mlir::Location> elseLoc) {
2331 ifLocs.push_back(*elseLoc);
2332 mlir::Location loc = mlir::FusedLoc::get(&
getMLIRContext(), ifLocs);
2336 cir::IfOp ifOp = cir::IfOp::create(builder, loc, condV, elseLoc.has_value(),
2340 assert((elseLoc.has_value() || ifOp.getElseRegion().empty()) &&
2341 "else region created with no else location");
2342 if (elseLoc.has_value())
2361 Expr *trueExpr = condOp->getTrueExpr();
2362 Expr *falseExpr = condOp->getFalseExpr();
2365 mlir::Value ternaryOpRes =
2366 cir::TernaryOp::create(
2367 builder, loc, condV,
2368 [
this, trueExpr](mlir::OpBuilder &
b, mlir::Location loc) {
2370 cir::YieldOp::create(
b, loc, lhs);
2373 [
this, falseExpr](mlir::OpBuilder &
b, mlir::Location loc) {
2375 cir::YieldOp::create(
b, loc, rhs);
2384 cgm.errorNYI(
"NYI");
2398 mlir::Location loc,
CharUnits alignment,
2399 bool insertIntoFnEntryBlock,
2400 mlir::Value arraySize) {
2401 mlir::Block *entryBlock = insertIntoFnEntryBlock
2410 llvm::dyn_cast_if_present<cir::TryOp>(entryBlock->getParentOp())) {
2411 if (auto scopeOp = llvm::dyn_cast<cir::ScopeOp>(tryOp->getParentOp()))
2412 entryBlock = &scopeOp.getScopeRegion().front();
2420 mlir::Location loc,
CharUnits alignment,
2421 mlir::OpBuilder::InsertPoint ip,
2422 mlir::Value arraySize) {
2426 cir::PointerType localVarPtrTy =
2428 mlir::IntegerAttr alignIntAttr =
cgm.
getSize(alignment);
2432 mlir::OpBuilder::InsertionGuard guard(builder);
2433 builder.restoreInsertionPoint(ip);
2435 ty, name, alignIntAttr, arraySize);
2453 if (md->isStatic()) {
2458 bool hasQualifier = me->hasQualifier();
2460 bool isArrow = me->isArrow();
2461 const Expr *base = me->getBase();
2464 ce, md,
returnValue, hasQualifier, qualifier, isArrow, base);
2481 cgm.errorNYI(loc,
"load of volatile reference");
2490 CharUnits align =
cgm.getNaturalTypeAlignment(pointeeType, pointeeBaseInfo);
2507 cir::TrapOp::create(builder, loc);
2509 builder.createBlock(builder.getBlock()->getParent());
2513 bool createNewBlock) {
2515 cir::UnreachableOp::create(builder,
getLoc(loc));
2517 builder.createBlock(builder.getBlock()->getParent());
2524 return builder.createDummyValue(loc, t, alignment);
2532 const Twine &name,
Address *alloca,
2533 mlir::OpBuilder::InsertPoint ip) {
2540 mlir::Location loc,
const Twine &name,
2542 mlir::OpBuilder::InsertPoint ip) {
2544 nullptr, alloca, ip);
2547 cgm.errorNYI(loc,
"temporary matrix value");
2555 mlir::Type ty,
CharUnits align, mlir::Location loc,
const Twine &name,
2556 mlir::Value arraySize, mlir::OpBuilder::InsertPoint ip) {
2557 cir::AllocaOp alloca = ip.isSet()
2560 alloca.setAlignmentAttr(
cgm.getSize(align));
2561 return Address(alloca, ty, align);
2569 mlir::Location loc,
const Twine &name,
2570 mlir::Value arraySize,
2572 mlir::OpBuilder::InsertPoint ip) {
2576 *allocaAddr = alloca;
2583 cir::PointerType dstTy;
2599 mlir::Value arraySize,
2600 bool insertIntoFnEntryBlock) {
2602 insertIntoFnEntryBlock, arraySize)
2610 mlir::OpBuilder::InsertPoint ip,
2611 mlir::Value arraySize) {
2612 assert(ip.isSet() &&
"Insertion point is not set");
2613 return mlir::cast<cir::AllocaOp>(
2624 const Twine &name) {
2666 mlir::TypedAttr cstToEmit = mlir::dyn_cast_if_present<mlir::TypedAttr>(
c);
2667 assert(cstToEmit &&
"expected a typed attribute");
2683 assert(constant &&
"not a constant");
2693 assert(sl !=
nullptr &&
"No StringLiteral name in PredefinedExpr");
2695 StringRef fnName = fn.getName();
2696 fnName.consume_front(
"\01");
2697 std::array<StringRef, 2> nameItems = {
2699 std::string gvName = llvm::join(nameItems,
".");
2714std::optional<LValue> handleConditionalOperatorLValueSimpleCase(
2717 llvm::APSInt condExprVal;
2719 return std::nullopt;
2722 if (!condExprVal.getBoolValue())
2723 std::swap(live, dead);
2726 return std::nullopt;
2733 if (
auto *throwExpr = dyn_cast<CXXThrowExpr>(live->
IgnoreParens())) {
2737 mlir::Type elemTy = cgf.
convertType(dead->getType());
2738 mlir::Value undefPtr =
2740 cgf.
getLoc(throwExpr->getSourceRange()));
2750static std::optional<LValue> emitLValueOrThrowExpression(
CIRGenFunction &cgf,
2751 const Expr *operand) {
2752 if (
auto *throwExpr = dyn_cast<CXXThrowExpr>(operand->
IgnoreParens())) {
2754 return std::nullopt;
2763template <
typename FuncTy>
2766 const FuncTy &branchGenFunc) {
2774 mlir::Type yieldTy{};
2776 auto emitBranch = [&](mlir::OpBuilder &
b, mlir::Location loc,
2777 const Expr *
expr, std::optional<LValue> &resultLV) {
2783 resultLV = branchGenFunc(*
this,
expr);
2784 mlir::Value resultPtr = resultLV ? resultLV->getPointer() : mlir::Value();
2788 yieldTy = resultPtr.getType();
2789 cir::YieldOp::create(
b, loc, resultPtr);
2795 if (builder.getInsertionBlock()->mightHaveTerminator()) {
2796 mlir::Operation *terminator =
2797 builder.getInsertionBlock()->getTerminator();
2798 if (isa_and_nonnull<cir::UnreachableOp>(terminator))
2799 insertPoints.push_back(
b.saveInsertionPoint());
2804 info.
result = cir::TernaryOp::create(
2805 builder, loc, condV,
2807 [&](mlir::OpBuilder &
b, mlir::Location loc) {
2811 [&](mlir::OpBuilder &
b, mlir::Location loc) {
2821 for (mlir::OpBuilder::InsertPoint &toInsert : insertPoints) {
2822 mlir::OpBuilder::InsertionGuard guard(builder);
2823 builder.restoreInsertionPoint(toInsert);
2827 cir::YieldOp::create(builder, loc);
2829 mlir::Value op0 = builder.getNullValue(yieldTy, loc);
2830 cir::YieldOp::create(builder, loc, op0);
2839 if (!
expr->isGLValue()) {
2842 "Unexpected conditional operator!");
2847 if (std::optional<LValue> res =
2848 handleConditionalOperatorLValueSimpleCase(*
this,
expr))
2853 return emitLValueOrThrowExpression(cgf, e);
2856 if ((info.
lhs && !info.
lhs->isSimple()) ||
2857 (info.
rhs && !info.
rhs->isSimple())) {
2858 cgm.errorNYI(
expr->getSourceRange(),
2859 "unsupported conditional operator with non-simple lvalue");
2863 if (info.
lhs && info.
rhs) {
2869 std::max(info.
lhs->getBaseInfo().getAlignmentSource(),
2870 info.
rhs->getBaseInfo().getAlignmentSource());
2875 assert((info.
lhs || info.
rhs) &&
2876 "both operands of glvalue conditional are throw-expressions?");
2877 return info.
lhs ? *info.
lhs : *info.
rhs;
2884 if (!
cgm.getLangOpts().MSVolatile)
2887 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)
static Address emitAddrOfZeroSizeField(CIRGenFunction &cgf, Address base, const FieldDecl *field)
Get the address of a zero-sized field within a record.
Defines the clang::Expr interface and subclasses for C++ expressions.
__device__ __2f16 float c
cir::ConstantOp getConstant(mlir::Location loc, mlir::TypedAttr attr)
cir::PtrStrideOp createPtrStride(mlir::Location loc, mlir::Value base, mlir::Value stride)
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 createPtrBitcast(mlir::Value src, mlir::Type newPointeeTy)
mlir::Value createBitcast(mlir::Value src, mlir::Type newTy)
mlir::Value createGetGlobal(mlir::Location loc, cir::GlobalOp global, bool threadLocal=false)
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.
uint64_t getFieldOffset(const ValueDecl *FD) const
Get the offset of a FieldDecl or IndirectFieldDecl, in bits.
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
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
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.
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.
cir::IntType getUInt8Ty()
cir::ConstantOp getUInt64(uint64_t c, mlir::Location loc)
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)
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.
mlir::Value performAddrSpaceCast(mlir::Value v, mlir::Type destTy) const
RValue emitReferenceBindingToExpr(const Expr *e)
Emits a reference binding to the passed in expression.
LValue emitArraySubscriptExpr(const clang::ArraySubscriptExpr *e)
RValue emitCUDAKernelCallExpr(const CUDAKernelCallExpr *expr, ReturnValueSlot returnValue)
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::Value emitCXXTypeidExpr(const CXXTypeidExpr *e)
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)
mlir::Value emitComplexPrePostIncDec(const UnaryOperator *e, LValue lv)
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)
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.
LValue emitCXXTypeidLValue(const CXXTypeidExpr *e)
mlir::Value emitLoadOfScalar(LValue lvalue, SourceLocation loc)
EmitLoadOfScalar - Load a scalar value from an address, taking care to appropriately convert from the...
mlir::Value emitScalarPrePostIncDec(const UnaryOperator *e, LValue lv)
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.
void terminateStructuredRegionBody(mlir::Region &r, mlir::Location loc)
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={})
void pushLifetimeExtendedDestroy(CleanupKind kind, Address addr, QualType type, Destroyer *destroyer, bool useEHCleanupForArray)
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)
Address createDefaultAlignTempAlloca(mlir::Type ty, mlir::Location loc, const Twine &name)
CreateDefaultAlignTempAlloca - This creates an alloca with the default alignment of the corresponding...
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)
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::Operation * getAddrOfGlobalTemporary(const MaterializeTemporaryExpr *mte, const Expr *init)
Returns a pointer to a global variable representing a temporary with static or thread storage duratio...
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::Type convertTypeForMem(clang::QualType, bool forBitField=false)
Convert type T into an mlir::Type.
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
mlir::Value getVectorPointer() 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.
Address getAggregateAddress() const
Return the value of the address of the aggregate.
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...
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)
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]).
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?
bool isZero() const
isZero - Test whether the quantity equals zero.
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
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()
const Expr * getBase() const
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...
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 isPotentiallyOverlapping() const
Determine if this field is of potentially-overlapping class type, that is, subobject with the [[no_un...
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 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.
mlir::ptr::MemorySpaceAttrInterface toCIRAddressSpaceAttr(mlir::MLIRContext &ctx, clang::LangAS langAS)
Convert an AST LangAS to the appropriate CIR address space attribute interface.
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 ...
bool isEmptyFieldForLayout(const ASTContext &context, const FieldDecl *fd)
isEmptyFieldForLayout - Return true if the field is "empty", that is, either a zero-width bit-field o...
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, CUDAKernelCallExpr > cudaKernelCallExpr
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)
@ 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 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...
mlir::ptr::MemorySpaceAttrInterface 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.