41 cl::desc(
"Use ConstantInt's native fixed-length vector splat support."));
44 cl::desc(
"Use ConstantFP's native fixed-length vector splat support."));
47 cl::desc(
"Use ConstantInt's native scalable vector splat support."));
50 cl::desc(
"Use ConstantFP's native scalable vector splat support."));
53 cl::desc(
"Use ConstantPointerNull's native fixed-length vector splat "
58 "Use ConstantPointerNull's native scalable vector splat support."));
61 if (!VTy->getElementType()->isPointerTy())
63 return VTy->getElementCount().isScalable()
75 return CFP->isZero() && CFP->isNegative();
80 return SplatCFP->isNegativeZeroValue();
83 if (
getType()->isFPOrFPVectorTy())
103 return CFP->isExactlyValue(+0.0);
114 return CI->isMinusOne();
118 return CB->isMinusOne();
122 return CFP->getValueAPF().bitcastToAPInt().isAllOnes();
127 return SplatVal->isAllOnesValue();
143 return CFP->getValueAPF().bitcastToAPInt().isOne();
148 return SplatVal->isOneValue();
156 return !CI->isOneValue();
160 return !CB->isOneValue();
164 return !CFP->getValueAPF().bitcastToAPInt().isOne();
168 for (
unsigned I = 0, E = VTy->getNumElements();
I != E; ++
I) {
179 return SplatVal->isNotOneValue();
188 return CI->isMinValue(
true);
192 return CFP->getValueAPF().bitcastToAPInt().isMinSignedValue();
197 return SplatVal->isMinSignedValue();
205 return CI->isMaxValue(
true);
209 return CFP->getValueAPF().bitcastToAPInt().isMaxSignedValue();
214 return SplatVal->isMaxSignedValue();
222 return !CI->isMinValue(
true);
226 return !CFP->getValueAPF().bitcastToAPInt().isMinSignedValue();
230 for (
unsigned I = 0, E = VTy->getNumElements();
I != E; ++
I) {
241 return SplatVal->isNotMinSignedValue();
249 return CFP->getValueAPF().isFiniteNonZero();
252 for (
unsigned I = 0, E = VTy->getNumElements();
I != E; ++
I) {
254 if (!CFP || !CFP->getValueAPF().isFiniteNonZero())
262 return SplatCFP->isFiniteNonZeroFP();
270 return CFP->getValueAPF().isNormal();
273 for (
unsigned I = 0, E = VTy->getNumElements();
I != E; ++
I) {
275 if (!CFP || !CFP->getValueAPF().isNormal())
283 return SplatCFP->isNormalFP();
291 return CFP->getValueAPF().getExactInverse(
nullptr);
294 for (
unsigned I = 0, E = VTy->getNumElements();
I != E; ++
I) {
296 if (!CFP || !CFP->getValueAPF().getExactInverse(
nullptr))
304 return SplatCFP->hasExactInverseFP();
315 for (
unsigned I = 0, E = VTy->getNumElements();
I != E; ++
I) {
317 if (!CFP || !CFP->isNaN())
325 return SplatCFP->isNaN();
342 if (!(VTy->getElementType()->isIntegerTy() ||
343 VTy->getElementType()->isFloatingPointTy()))
368 if (
Constant *Elem =
C->getAggregateElement(i))
398 for (
unsigned i = 0, e = VTy->getNumElements(); i != e; ++i)
407 switch (Ty->getTypeID()) {
409 return ConstantByte::get(Ty, 0);
411 return ConstantInt::get(Ty, 0);
419 return ConstantFP::get(Ty->getContext(),
445 Constant *
C = ConstantInt::get(Ty->getContext(), V);
464 return ConstantInt::get(Ty->getContext(),
467 if (Ty->isFloatingPointTy()) {
469 return ConstantFP::get(Ty->getContext(), FL);
473 return ConstantByte::get(Ty->getContext(),
483 "Must be an aggregate/vector constant");
486 return Elt < CC->getNumOperands() ? CC->getOperand(Elt) :
nullptr;
489 return Elt < CAZ->getElementCount().getKnownMinValue()
490 ? CAZ->getElementValue(Elt)
494 return Elt < cast<VectorType>(
getType())
497 ? ConstantInt::get(
getContext(), CI->getValue())
501 return Elt < cast<VectorType>(
getType())
504 ? ConstantByte::get(
getContext(), CB->getValue())
508 return Elt < cast<VectorType>(
getType())
511 ? ConstantFP::get(
getContext(), CFP->getValue())
516 return Elt < VT->getElementCount().getKnownMinValue()
526 return Elt < PV->getNumElements() ? PV->getElementValue(Elt) :
nullptr;
529 return Elt < UV->getNumElements() ? UV->getElementValue(Elt) :
nullptr;
532 return Elt < CDS->getNumElements() ? CDS->getElementAsConstant(Elt)
542 if (CI->getValue().getActiveBits() > 64)
555#define HANDLE_CONSTANT(Name) \
556 case Value::Name##Val: \
557 cast<Name>(this)->destroyConstantImpl(); \
559#include "llvm/IR/Value.def"
573 dbgs() <<
"While deleting: " << *
this
574 <<
"\n\nUse still stuck around after Def is destroyed: " << *V
590 switch (
C->getValueID()) {
591 case Constant::ConstantIntVal:
594 case Constant::ConstantByteVal:
597 case Constant::ConstantFPVal:
600 case Constant::ConstantAggregateZeroVal:
603 case Constant::ConstantArrayVal:
606 case Constant::ConstantStructVal:
609 case Constant::ConstantVectorVal:
612 case Constant::ConstantPointerNullVal:
615 case Constant::ConstantDataArrayVal:
618 case Constant::ConstantDataVectorVal:
621 case Constant::ConstantTokenNoneVal:
624 case Constant::BlockAddressVal:
627 case Constant::DSOLocalEquivalentVal:
630 case Constant::NoCFIValueVal:
633 case Constant::ConstantPtrAuthVal:
636 case Constant::UndefValueVal:
639 case Constant::PoisonValueVal:
642 case Constant::ConstantExprVal:
672 while (!WorkList.
empty()) {
681 if (Visited.
insert(ConstOp).second)
689 auto DLLImportPredicate = [](
const GlobalValue *GV) {
690 return GV->isThreadLocal();
696 auto DLLImportPredicate = [](
const GlobalValue *GV) {
697 return GV->hasDLLImportStorageClass();
715 return getRelocationInfo() == GlobalRelocation;
719 return getRelocationInfo() != NoRelocation;
722Constant::PossibleRelocationsTy Constant::getRelocationInfo()
const {
724 return GlobalRelocation;
727 return BA->getFunction()->getRelocationInfo();
730 if (CE->getOpcode() == Instruction::Sub) {
734 (LHS->getOpcode() == Instruction::PtrToInt ||
735 LHS->getOpcode() == Instruction::PtrToAddr) &&
736 (RHS->getOpcode() == Instruction::PtrToInt ||
737 RHS->getOpcode() == Instruction::PtrToAddr)) {
755 if (LHSGV->isDSOLocal() && RHSGV->isDSOLocal())
756 return LocalRelocation;
758 if (RHSGV->isDSOLocal())
759 return LocalRelocation;
766 PossibleRelocationsTy
Result = NoRelocation;
782 if (!
User)
return false;
795 if (RemoveDeadUsers) {
799 const_cast<Constant *
>(
C)->destroyConstant();
825 if (LastNonDeadUser == E)
828 I = std::next(LastNonDeadUser);
836bool Constant::hasNLiveUses(
unsigned N)
const {
837 unsigned NumUses = 0;
851 assert(
C && Replacement &&
"Expected non-nullptr constant arguments");
852 Type *Ty =
C->getType();
854 assert(Ty == Replacement->
getType() &&
"Expected matching types");
863 unsigned NumElts = VTy->getNumElements();
865 for (
unsigned i = 0; i != NumElts; ++i) {
866 Constant *EltC =
C->getAggregateElement(i);
868 "Expected matching types");
869 NewC[i] = EltC &&
match(EltC,
m_Undef()) ? Replacement : EltC;
875 assert(
C &&
Other &&
"Expected non-nullptr constant arguments");
879 Type *Ty =
C->getType();
887 Type *EltTy = VTy->getElementType();
888 unsigned NumElts = VTy->getNumElements();
893 bool FoundExtraUndef =
false;
895 for (
unsigned I = 0;
I != NumElts; ++
I) {
896 NewC[
I] =
C->getAggregateElement(
I);
898 assert(NewC[
I] && OtherEltC &&
"Unknown vector element");
901 FoundExtraUndef =
true;
927ConstantInt::ConstantInt(
Type *Ty,
const APInt &V)
931 "Invalid constant for type");
953 assert(Ty->isIntOrIntVectorTy(1) &&
"Type not i1 or vector of i1.");
961 assert(Ty->isIntOrIntVectorTy(1) &&
"Type not i1 or vector of i1.");
976 std::unique_ptr<ConstantInt> &Slot =
983 Slot.reset(
new ConstantInt(ITy, V));
993 std::unique_ptr<ConstantInt> &Slot =
994 Context.pImpl->IntSplatConstants[std::make_pair(EC, V)];
1004 assert(Slot->getType() == VTy);
1010 bool ImplicitTrunc) {
1022 bool ImplicitTrunc) {
1023 return get(Ty->getContext(),
1024 APInt(Ty->getBitWidth(), V, IsSigned, ImplicitTrunc));
1028 ConstantInt *
C = get(Ty->getContext(), V);
1029 assert(
C->getType() == Ty->getScalarType() &&
1030 "ConstantInt type doesn't match the type implied by its value!");
1040 return get(Ty->getContext(),
APInt(Ty->getBitWidth(), Str, radix));
1044void ConstantInt::destroyConstantImpl() {
1052ConstantByte::ConstantByte(
Type *Ty,
const APInt &V)
1054 assert(V.getBitWidth() ==
1056 "Invalid constant for type");
1063 std::unique_ptr<ConstantByte> &Slot =
1070 Slot.reset(
new ConstantByte(BTy, V));
1080 std::unique_ptr<ConstantByte> &Slot =
1081 Context.pImpl->ByteSplatConstants[std::make_pair(EC, V)];
1091 assert(Slot->getType() == VTy);
1097 bool ImplicitTrunc) {
1109 bool ImplicitTrunc) {
1110 return get(Ty->getContext(),
1115 ConstantByte *
C = get(Ty->getContext(), V);
1116 assert(
C->getType() == Ty->getScalarType() &&
1117 "ConstantByte type doesn't match the type implied by its value!");
1127 return get(Ty->getContext(),
APInt(Ty->getBitWidth(), Str, radix));
1131void ConstantByte::destroyConstantImpl() {
1144 FV.
convert(Ty->getScalarType()->getFltSemantics(),
1156 ConstantFP *
C = get(Ty->getContext(), V);
1157 assert(
C->getType() == Ty->getScalarType() &&
1158 "ConstantFP type doesn't match the type implied by its value!");
1170 APFloat FV(Ty->getScalarType()->getFltSemantics(), Str);
1181 const fltSemantics &Semantics = Ty->getScalarType()->getFltSemantics();
1183 Constant *
C = get(Ty->getContext(), NaN);
1192 const fltSemantics &Semantics = Ty->getScalarType()->getFltSemantics();
1194 Constant *
C = get(Ty->getContext(), NaN);
1203 const fltSemantics &Semantics = Ty->getScalarType()->getFltSemantics();
1205 Constant *
C = get(Ty->getContext(), NaN);
1214 const fltSemantics &Semantics = Ty->getScalarType()->getFltSemantics();
1216 Constant *
C = get(Ty->getContext(), NegZero);
1229 std::unique_ptr<ConstantFP> &Slot = pImpl->
FPConstants[V];
1233 Slot.reset(
new ConstantFP(Ty, V));
1243 std::unique_ptr<ConstantFP> &Slot =
1244 Context.pImpl->FPSplatConstants[std::make_pair(EC, V)];
1254 assert(Slot->getType() == VTy);
1260 const fltSemantics &Semantics = Ty->getScalarType()->getFltSemantics();
1271 assert(&V.getSemantics() == &Ty->getScalarType()->getFltSemantics() &&
1272 "FP type Mismatch");
1276 return Val.bitwiseIsEqual(V);
1280void ConstantFP::destroyConstantImpl() {
1315 return VT->getElementCount();
1348 return AT->getNumElements();
1351 return Ty->getStructNumElements();
1384template <
typename ItTy,
typename EltTy>
1386 for (; Start != End; ++Start)
1392template <
typename SequentialTy,
typename ElementTy>
1394 assert(!V.empty() &&
"Cannot get empty int sequence.");
1402 return SequentialTy::get(V[0]->getContext(), Elts);
1405template <
typename SequentialTy,
typename ElementTy>
1407 assert(!V.empty() &&
"Cannot get empty byte sequence.");
1415 return SequentialTy::getByte(V[0]->
getType(), Elts);
1418template <
typename SequentialTy,
typename ElementTy>
1420 assert(!V.empty() &&
"Cannot get empty FP sequence.");
1425 Elts.
push_back(CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
1428 return SequentialTy::getFP(V[0]->
getType(), Elts);
1431template <
typename SequenceTy>
1438 if (CI->getType()->isIntegerTy(8))
1440 else if (CI->getType()->isIntegerTy(16))
1442 else if (CI->getType()->isIntegerTy(32))
1444 else if (CI->getType()->isIntegerTy(64))
1447 if (CB->getType()->isByteTy(8))
1449 else if (CB->getType()->isByteTy(16))
1451 else if (CB->getType()->isByteTy(32))
1453 else if (CB->getType()->isByteTy(64))
1456 if (CFP->getType()->isHalfTy() || CFP->getType()->isBFloatTy())
1458 else if (CFP->getType()->isFloatTy())
1460 else if (CFP->getType()->isDoubleTy())
1477 for (
unsigned I = 0, E = V.size();
I != E; ++
I)
1479 "Initializer for struct element doesn't match!");
1486 assert(V.size() ==
T->getNumElements() &&
1487 "Invalid initializer for constant array");
1493 return Ty->getContext().pImpl->ArrayConstants.getOrCreate(Ty, V);
1502 assert(
C->getType() == Ty->getElementType() &&
1503 "Wrong type in array element initializer");
1533 unsigned VecSize = V.size();
1535 for (
unsigned i = 0; i != VecSize; ++i)
1536 EltTypes[i] = V[i]->
getType();
1545 "ConstantStruct::getTypeForElements cannot be called on empty list");
1552 assert((
T->isOpaque() || V.size() ==
T->getNumElements()) &&
1553 "Invalid initializer for constant struct");
1558 assert((ST->isOpaque() || ST->getNumElements() == V.size()) &&
1559 "Incorrect # elements specified to ConstantStruct::get");
1564 bool isPoison =
false;
1569 isZero = V[0]->isNullValue();
1573 if (!
C->isNullValue())
1589 return ST->getContext().pImpl->StructConstants.getOrCreate(ST, V);
1596 "Invalid initializer for constant vector");
1604 return Ty->getContext().pImpl->VectorConstants.getOrCreate(Ty, V);
1608 assert(!V.empty() &&
"Vectors can't be empty");
1614 bool isZero =
C->isNullValue();
1620 bool isSplatPtrNull =
1623 if (
isZero ||
isUndef || isSplatFP || isSplatInt || isSplatByte ||
1625 for (
unsigned i = 1, e = V.size(); i != e; ++i)
1627 isZero =
isUndef = isPoison = isSplatFP = isSplatInt = isSplatByte =
1628 isSplatPtrNull =
false;
1642 return ConstantFP::get(
C->getContext(),
T->getElementCount(),
1645 return ConstantInt::get(
C->getContext(),
T->getElementCount(),
1648 return ConstantByte::get(
C->getContext(),
T->getElementCount(),
1668 if (!EC.isScalable()) {
1670 if (!V->isNullValue()) {
1672 return ConstantInt::get(V->getContext(), EC,
1675 return ConstantByte::get(V->getContext(), EC,
1678 return ConstantFP::get(V->getContext(), EC,
1693 if (!V->isNullValue()) {
1695 return ConstantInt::get(V->getContext(), EC,
1698 return ConstantByte::get(V->getContext(), EC,
1701 return ConstantFP::get(V->getContext(), EC,
1707 if (V->isNullValue())
1728 pImpl->
TheNoneToken.reset(
new ConstantTokenNone(Context));
1733void ConstantTokenNone::destroyConstantImpl() {
1751 bool OnlyIfReduced,
Type *SrcTy)
const {
1758 Type *OnlyIfReducedTy = OnlyIfReduced ? Ty :
nullptr;
1760 case Instruction::Trunc:
1761 case Instruction::ZExt:
1762 case Instruction::SExt:
1763 case Instruction::FPTrunc:
1764 case Instruction::FPExt:
1765 case Instruction::UIToFP:
1766 case Instruction::SIToFP:
1767 case Instruction::FPToUI:
1768 case Instruction::FPToSI:
1769 case Instruction::PtrToAddr:
1770 case Instruction::PtrToInt:
1771 case Instruction::IntToPtr:
1772 case Instruction::BitCast:
1773 case Instruction::AddrSpaceCast:
1775 case Instruction::InsertElement:
1778 case Instruction::ExtractElement:
1780 case Instruction::ShuffleVector:
1783 case Instruction::GetElementPtr: {
1787 SrcTy ? SrcTy : GEPO->getSourceElementType(),
Ops[0],
Ops.slice(1),
1788 GEPO->getNoWrapFlags(), GEPO->getInRange(), OnlyIfReducedTy);
1802 unsigned NumBits = Ty->getIntegerBitWidth();
1803 if (Ty->isIntegerTy(1))
1804 return Val == 0 || Val == 1;
1809 unsigned NumBits = Ty->getIntegerBitWidth();
1810 if (Ty->isIntegerTy(1))
1811 return Val == 0 || Val == 1 || Val == -1;
1812 return isIntN(NumBits, Val);
1819 switch (Ty->getTypeID()) {
1877 assert((Ty->isStructTy() || Ty->isArrayTy() || Ty->isVectorTy()) &&
1878 "Cannot create an aggregate zero of non-aggregate type!");
1880 std::unique_ptr<ConstantAggregateZero> &Entry =
1881 Ty->getContext().pImpl->CAZConstants[Ty];
1883 Entry.reset(
new ConstantAggregateZero(Ty));
1889void ConstantAggregateZero::destroyConstantImpl() {
1894void ConstantArray::destroyConstantImpl() {
1903void ConstantStruct::destroyConstantImpl() {
1908void ConstantVector::destroyConstantImpl() {
1913 assert(this->
getType()->isVectorTy() &&
"Only valid for vectors!");
1919 return ConstantInt::get(
getContext(), CI->getValue());
1921 return ConstantByte::get(
getContext(), CB->getValue());
1923 return ConstantFP::get(
getContext(), CFP->getValue());
1927 return CV->getSplatValue();
1929 return CV->getSplatValue(AllowPoison);
1934 if (Shuf && Shuf->getOpcode() == Instruction::ShuffleVector &&
1938 if (IElt && IElt->getOpcode() == Instruction::InsertElement &&
1942 Constant *SplatVal = IElt->getOperand(1);
1982 return CI->getValue();
1984 return CB->getValue();
2002 return ConstantRange::getFull(
BitWidth);
2014 for (
unsigned I = 0, E = CDV->getNumElements();
I < E; ++
I)
2015 CR = CR.
unionWith(CDV->getElementAsAPInt(
I));
2021 for (
unsigned I = 0, E = CV->getNumOperands();
I < E; ++
I) {
2024 return ConstantRange::getFull(
BitWidth);
2030 return ConstantRange::getFull(
BitWidth);
2036 return ConstantRange::getFull(
BitWidth);
2043 return get(
static_cast<Type *
>(Ty));
2047 assert(Ty->isPtrOrPtrVectorTy() &&
"invalid type for null pointer constant");
2048 std::unique_ptr<ConstantPointerNull> &Entry =
2049 Ty->getContext().pImpl->CPNConstants[Ty];
2051 Entry.reset(
new ConstantPointerNull(Ty));
2053 assert(Entry->getType() == Ty);
2058void ConstantPointerNull::destroyConstantImpl() {
2067 "Target extension type not allowed to have a zeroinitializer");
2068 std::unique_ptr<ConstantTargetNone> &Entry =
2069 Ty->getContext().pImpl->CTNConstants[Ty];
2071 Entry.reset(
new ConstantTargetNone(Ty));
2077void ConstantTargetNone::destroyConstantImpl() {
2084 Entry.reset(
new UndefValue(Ty));
2090void UndefValue::destroyConstantImpl() {
2103 Entry.reset(
new PoisonValue(Ty));
2109void PoisonValue::destroyConstantImpl() {
2117 BA =
new BlockAddress(Ty, BB);
2134 BB->setHasAddressTaken(
true);
2142 assert(BA &&
"Refcount and block address map disagree!");
2147void BlockAddress::destroyConstantImpl() {
2179 Equiv =
new DSOLocalEquivalent(GV);
2182 "DSOLocalFunction does not match the expected global value");
2186DSOLocalEquivalent::DSOLocalEquivalent(
GlobalValue *GV)
2192void DSOLocalEquivalent::destroyConstantImpl() {
2197Value *DSOLocalEquivalent::handleOperandChangeImpl(
Value *From,
Value *To) {
2203 DSOLocalEquivalent *&NewEquiv =
2237 NC =
new NoCFIValue(GV);
2239 assert(
NC->getGlobalValue() == GV &&
2240 "NoCFIValue does not match the expected global value");
2250void NoCFIValue::destroyConstantImpl() {
2259 assert(GV &&
"Can only replace the operands with a global value");
2281 Constant *ArgVec[] = {Ptr,
Key, Disc, AddrDisc, DeactivationSymbol};
2309void ConstantPtrAuth::destroyConstantImpl() {
2313Value *ConstantPtrAuth::handleOperandChangeImpl(
Value *From,
Value *ToV) {
2317 SmallVector<Constant *, 4> Values;
2320 unsigned NumUpdated = 0;
2323 unsigned OperandNo = 0;
2327 OperandNo = (
O - OperandList);
2335 Values,
this, From, To, NumUpdated, OperandNo);
2340 if (!CastV || CastV->getOpcode() != Instruction::IntToPtr)
2347 return IntVal->getValue() ==
Value;
2351 const Value *Discriminator,
2374 const Value *AddrDiscriminator =
nullptr;
2380 if (!
match(Discriminator,
2386 AddrDiscriminator = Discriminator;
2393 AddrDiscriminator = Cast->getPointerOperand();
2408 APInt Off2(
DL.getIndexTypeSizeInBits(AddrDiscriminator->
getType()), 0);
2412 return Base1 == Base2 && Off1 == Off2;
2421 bool OnlyIfReduced =
false) {
2422 assert(Ty->isFirstClassType() &&
"Cannot cast to an aggregate type!");
2439 bool OnlyIfReduced) {
2443 "Cast opcode not supported as constant expression");
2444 assert(
C && Ty &&
"Null arguments to getCast");
2450 case Instruction::Trunc:
2452 case Instruction::PtrToAddr:
2454 case Instruction::PtrToInt:
2456 case Instruction::IntToPtr:
2458 case Instruction::BitCast:
2460 case Instruction::AddrSpaceCast:
2466 if (
C->getType()->getScalarSizeInBits() == Ty->getScalarSizeInBits())
2473 assert((Ty->isIntOrIntVectorTy() || Ty->isPtrOrPtrVectorTy()) &&
2476 if (Ty->isIntOrIntVectorTy())
2480 if (Ty->isPtrOrPtrVectorTy() && SrcAS != Ty->getPointerAddressSpace())
2489 assert(Ty->isPtrOrPtrVectorTy() &&
"Invalid cast");
2502 assert((fromVec == toVec) &&
"Cannot convert from scalar to/from vector");
2503 assert(
C->getType()->isIntOrIntVectorTy() &&
"Trunc operand must be integer");
2504 assert(Ty->isIntOrIntVectorTy() &&
"Trunc produces only integral");
2505 assert(
C->getType()->getScalarSizeInBits() > Ty->getScalarSizeInBits()&&
2506 "SrcTy must be larger than DestTy for Trunc!");
2512 bool OnlyIfReduced) {
2513 assert(
C->getType()->isPtrOrPtrVectorTy() &&
2514 "PtrToAddr source must be pointer or pointer vector");
2516 "PtrToAddr destination must be integer or integer vector");
2521 "Invalid cast between a different number of vector elements");
2522 return getFoldedCast(Instruction::PtrToAddr,
C, DstTy, OnlyIfReduced);
2526 bool OnlyIfReduced) {
2527 assert(
C->getType()->isPtrOrPtrVectorTy() &&
2528 "PtrToInt source must be pointer or pointer vector");
2530 "PtrToInt destination must be integer or integer vector");
2535 "Invalid cast between a different number of vector elements");
2536 return getFoldedCast(Instruction::PtrToInt,
C, DstTy, OnlyIfReduced);
2540 bool OnlyIfReduced) {
2541 assert(
C->getType()->isIntOrIntVectorTy() &&
2542 "IntToPtr source must be integer or integer vector");
2544 "IntToPtr destination must be a pointer or pointer vector");
2549 "Invalid cast between a different number of vector elements");
2550 return getFoldedCast(Instruction::IntToPtr,
C, DstTy, OnlyIfReduced);
2554 bool OnlyIfReduced) {
2556 "Invalid constantexpr bitcast!");
2560 if (
C->getType() == DstTy)
return C;
2562 return getFoldedCast(Instruction::BitCast,
C, DstTy, OnlyIfReduced);
2566 bool OnlyIfReduced) {
2568 "Invalid constantexpr addrspacecast!");
2569 return getFoldedCast(Instruction::AddrSpaceCast,
C, DstTy, OnlyIfReduced);
2573 unsigned Flags,
Type *OnlyIfReducedTy) {
2576 "Invalid opcode in binary constant expression");
2578 "Binop not supported as constant expression");
2580 "Operand types in binary constant expression should match");
2584 case Instruction::Add:
2585 case Instruction::Sub:
2586 case Instruction::Mul:
2588 "Tried to create an integer operation on a non-integer type!");
2590 case Instruction::And:
2591 case Instruction::Or:
2592 case Instruction::Xor:
2594 "Tried to create a logical operation on a non-integral type!");
2604 if (OnlyIfReducedTy == C1->
getType())
2616 case Instruction::UDiv:
2617 case Instruction::SDiv:
2618 case Instruction::URem:
2619 case Instruction::SRem:
2620 case Instruction::FAdd:
2621 case Instruction::FSub:
2622 case Instruction::FMul:
2623 case Instruction::FDiv:
2624 case Instruction::FRem:
2625 case Instruction::And:
2626 case Instruction::Or:
2627 case Instruction::LShr:
2628 case Instruction::AShr:
2629 case Instruction::Shl:
2630 case Instruction::Mul:
2632 case Instruction::Add:
2633 case Instruction::Sub:
2634 case Instruction::Xor:
2643 case Instruction::UDiv:
2644 case Instruction::SDiv:
2645 case Instruction::URem:
2646 case Instruction::SRem:
2647 case Instruction::FAdd:
2648 case Instruction::FSub:
2649 case Instruction::FMul:
2650 case Instruction::FDiv:
2651 case Instruction::FRem:
2652 case Instruction::And:
2653 case Instruction::Or:
2654 case Instruction::LShr:
2655 case Instruction::AShr:
2656 case Instruction::Shl:
2657 case Instruction::Mul:
2659 case Instruction::Add:
2660 case Instruction::Sub:
2661 case Instruction::Xor:
2670 case Instruction::ZExt:
2671 case Instruction::SExt:
2672 case Instruction::FPTrunc:
2673 case Instruction::FPExt:
2674 case Instruction::UIToFP:
2675 case Instruction::SIToFP:
2676 case Instruction::FPToUI:
2677 case Instruction::FPToSI:
2679 case Instruction::Trunc:
2680 case Instruction::PtrToAddr:
2681 case Instruction::PtrToInt:
2682 case Instruction::IntToPtr:
2683 case Instruction::BitCast:
2684 case Instruction::AddrSpaceCast:
2693 case Instruction::ZExt:
2694 case Instruction::SExt:
2695 case Instruction::FPTrunc:
2696 case Instruction::FPExt:
2697 case Instruction::UIToFP:
2698 case Instruction::SIToFP:
2699 case Instruction::FPToUI:
2700 case Instruction::FPToSI:
2702 case Instruction::Trunc:
2703 case Instruction::PtrToAddr:
2704 case Instruction::PtrToInt:
2705 case Instruction::IntToPtr:
2706 case Instruction::BitCast:
2707 case Instruction::AddrSpaceCast:
2733 Constant *Indices[2] = {Zero, One};
2741 std::optional<ConstantRange>
InRange,
2742 Type *OnlyIfReducedTy) {
2743 assert(Ty &&
"Must specify element type");
2754 if (OnlyIfReducedTy == ReqTy)
2759 EltCount = VecTy->getElementCount();
2762 std::vector<Constant*> ArgVec;
2763 ArgVec.reserve(1 + Idxs.
size());
2764 ArgVec.push_back(
C);
2766 for (; GTI != GTE; ++GTI) {
2771 "getelementptr index type missmatch");
2773 if (GTI.isStruct() && Idx->getType()->isVectorTy()) {
2774 Idx = Idx->getSplatValue();
2775 }
else if (GTI.isSequential() && EltCount.isNonZero() &&
2776 !Idx->getType()->isVectorTy()) {
2779 ArgVec.push_back(Idx);
2790 Type *OnlyIfReducedTy) {
2792 "Tried to create extractelement operation on non-vector type!");
2794 "Extractelement index must be an integer type!");
2800 if (OnlyIfReducedTy == ReqTy)
2814 "Tried to create insertelement operation on non-vector type!");
2816 "Insertelement types must match!");
2818 "Insertelement index must be i32 type!");
2823 if (OnlyIfReducedTy == Val->
getType())
2827 Constant *ArgVec[] = { Val, Elt, Idx };
2836 Type *OnlyIfReducedTy) {
2838 "Invalid shuffle vector constant expr operands!");
2843 unsigned NElts = Mask.size();
2845 Type *EltTy = V1VTy->getElementType();
2849 if (OnlyIfReducedTy == ShufTy)
2861 assert(
C->getType()->isIntOrIntVectorTy() &&
2862 "Cannot NEG a nonintegral value!");
2863 return getSub(ConstantInt::get(
C->getType(), 0),
C,
false, HasNSW);
2867 assert(
C->getType()->isIntOrIntVectorTy() &&
2868 "Cannot NOT a nonintegral value!");
2873 bool HasNUW,
bool HasNSW) {
2876 return get(Instruction::Add, C1, C2, Flags);
2880 bool HasNUW,
bool HasNSW) {
2883 return get(Instruction::Sub, C1, C2, Flags);
2887 return get(Instruction::Xor, C1, C2);
2891 Type *Ty =
C->getType();
2894 return ConstantInt::get(Ty, IVal->
logBase2());
2902 for (
unsigned I = 0, E = VecTy->getNumElements();
I != E; ++
I) {
2920 bool AllowRHSConstant,
bool NSZ) {
2926 case Instruction::Add:
2927 case Instruction::Or:
2928 case Instruction::Xor:
2930 case Instruction::Mul:
2931 return ConstantInt::get(Ty, 1);
2932 case Instruction::And:
2934 case Instruction::FAdd:
2936 case Instruction::FMul:
2937 return ConstantFP::get(Ty, 1.0);
2944 if (!AllowRHSConstant)
2948 case Instruction::Sub:
2949 case Instruction::Shl:
2950 case Instruction::LShr:
2951 case Instruction::AShr:
2952 case Instruction::FSub:
2954 case Instruction::SDiv:
2955 case Instruction::UDiv:
2956 return ConstantInt::get(Ty, 1);
2957 case Instruction::FDiv:
2958 return ConstantFP::get(Ty, 1.0);
2966 case Intrinsic::umax:
2968 case Intrinsic::umin:
2970 case Intrinsic::smax:
2973 case Intrinsic::smin:
2982 bool AllowRHSConstant,
bool NSZ) {
2983 if (
I->isBinaryOp())
2991 bool AllowLHSConstant) {
2996 case Instruction::Or:
2999 case Instruction::And:
3000 case Instruction::Mul:
3005 if (!AllowLHSConstant)
3011 case Instruction::Shl:
3012 case Instruction::LShr:
3013 case Instruction::AShr:
3014 case Instruction::SDiv:
3015 case Instruction::UDiv:
3016 case Instruction::URem:
3017 case Instruction::SRem:
3023void ConstantExpr::destroyConstantImpl() {
3031GetElementPtrConstantExpr::GetElementPtrConstantExpr(
3035 SrcElementTy(SrcElementTy),
3040 for (
unsigned i = 0, E = IdxList.
size(); i != E; ++i)
3041 OperandList[i+1] = IdxList[i];
3045 return SrcElementTy;
3049 return ResElementTy;
3061 return ATy->getElementType();
3070 if (Ty->isHalfTy() || Ty->isBFloatTy() || Ty->isFloatTy() || Ty->isDoubleTy())
3073 switch (
IT->getBitWidth()) {
3083 switch (
IT->getBitWidth()) {
3098 return AT->getNumElements();
3107const char *ConstantDataSequential::getElementPointer(
uint64_t Elt)
const {
3138 *Ty->getContext().pImpl->CDSConstants.try_emplace(Elements).first;
3144 std::unique_ptr<ConstantDataSequential> *Entry = &Slot.second;
3145 for (; *Entry; Entry = &(*Entry)->Next)
3146 if ((*Entry)->getType() == Ty)
3147 return Entry->get();
3154 return Entry->get();
3160 return Entry->get();
3163void ConstantDataSequential::destroyConstantImpl() {
3170 assert(Slot != CDSConstants.
end() &&
"CDS not found in uniquing table");
3172 std::unique_ptr<ConstantDataSequential> *Entry = &Slot->getValue();
3175 if (!(*Entry)->Next) {
3178 assert(Entry->get() ==
this &&
"Hash mismatch in ConstantDataSequential");
3186 std::unique_ptr<ConstantDataSequential> &
Node = *Entry;
3187 assert(
Node &&
"Didn't find entry in its uniquing hash table!");
3189 if (
Node.get() ==
this) {
3205 assert((ElementType->isHalfTy() || ElementType->isBFloatTy()) &&
3206 "Element type is not a 16-bit float type");
3208 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3212 assert(ElementType->isFloatTy() &&
"Element type is not a 32-bit float type");
3214 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3218 assert(ElementType->isDoubleTy() &&
3219 "Element type is not a 64-bit float type");
3221 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3232 assert(ElementType->isByteTy(8) &&
"Element type is not a 8-bit byte type");
3234 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3239 assert(ElementType->isByteTy(16) &&
"Element type is not a 16-bit byte type");
3241 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3246 assert(ElementType->isByteTy(32) &&
"Element type is not a 32-bit byte type");
3248 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3253 assert(ElementType->isByteTy(64) &&
"Element type is not a 64-bit byte type");
3255 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3260 bool AddNull,
bool ByteString) {
3269 ElementVals.
append(Str.begin(), Str.end());
3272 :
get(Context, ElementVals);
3280 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3285 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3290 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3295 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3300 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3305 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3316 assert(ElementType->isByteTy(8) &&
"Element type is not a 8-bit byte");
3318 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3323 assert(ElementType->isByteTy(16) &&
"Element type is not a 16-bit byte");
3325 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3330 assert(ElementType->isByteTy(32) &&
"Element type is not a 32-bit byte");
3332 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3337 assert(ElementType->isByteTy(64) &&
"Element type is not a 64-bit byte");
3339 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3351 assert((ElementType->isHalfTy() || ElementType->isBFloatTy()) &&
3352 "Element type is not a 16-bit float type");
3354 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3359 assert(ElementType->isFloatTy() &&
"Element type is not a 32-bit float type");
3361 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3366 assert(ElementType->isDoubleTy() &&
3367 "Element type is not a 64-bit float type");
3369 const char *
Data =
reinterpret_cast<const char *
>(Elts.
data());
3375 "Element type not compatible with ConstantData");
3377 if (CI->getType()->isIntegerTy(8)) {
3379 return get(V->getContext(), Elts);
3381 if (CI->getType()->isIntegerTy(16)) {
3383 return get(V->getContext(), Elts);
3385 if (CI->getType()->isIntegerTy(32)) {
3387 return get(V->getContext(), Elts);
3389 assert(CI->getType()->isIntegerTy(64) &&
"Unsupported ConstantData type");
3391 return get(V->getContext(), Elts);
3395 if (CB->getType()->isByteTy(8)) {
3397 return getByte(V->getType(), Elts);
3399 if (CB->getType()->isByteTy(16)) {
3401 return getByte(V->getType(), Elts);
3403 if (CB->getType()->isByteTy(32)) {
3405 return getByte(V->getType(), Elts);
3407 assert(CB->getType()->isByteTy(64) &&
"Unsupported ConstantData type");
3409 return getByte(V->getType(), Elts);
3413 if (CFP->getType()->isHalfTy()) {
3415 NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
3416 return getFP(V->getType(), Elts);
3418 if (CFP->getType()->isBFloatTy()) {
3420 NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
3421 return getFP(V->getType(), Elts);
3423 if (CFP->getType()->isFloatTy()) {
3425 NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
3426 return getFP(V->getType(), Elts);
3428 if (CFP->getType()->isDoubleTy()) {
3430 NumElts, CFP->getValueAPF().bitcastToAPInt().getLimitedValue());
3431 return getFP(V->getType(), Elts);
3440 "Accessor can only be used when element is an integer or byte");
3441 const char *EltPtr = getElementPointer(Elt);
3448 return *
reinterpret_cast<const uint8_t *
>(EltPtr);
3450 return *
reinterpret_cast<const uint16_t *
>(EltPtr);
3452 return *
reinterpret_cast<const uint32_t *
>(EltPtr);
3454 return *
reinterpret_cast<const uint64_t *
>(EltPtr);
3461 "Accessor can only be used when element is an integer or byte");
3462 const char *EltPtr = getElementPointer(Elt);
3469 auto EltVal = *
reinterpret_cast<const uint8_t *
>(EltPtr);
3470 return APInt(8, EltVal);
3473 auto EltVal = *
reinterpret_cast<const uint16_t *
>(EltPtr);
3474 return APInt(16, EltVal);
3477 auto EltVal = *
reinterpret_cast<const uint32_t *
>(EltPtr);
3478 return APInt(32, EltVal);
3481 auto EltVal = *
reinterpret_cast<const uint64_t *
>(EltPtr);
3482 return APInt(64, EltVal);
3488 const char *EltPtr = getElementPointer(Elt);
3492 llvm_unreachable(
"Accessor can only be used when element is float/double!");
3494 auto EltVal = *
reinterpret_cast<const uint16_t *
>(EltPtr);
3498 auto EltVal = *
reinterpret_cast<const uint16_t *
>(EltPtr);
3502 auto EltVal = *
reinterpret_cast<const uint32_t *
>(EltPtr);
3506 auto EltVal = *
reinterpret_cast<const uint64_t *
>(EltPtr);
3514 "Accessor can only be used when element is a 'float'");
3515 return *
reinterpret_cast<const float *
>(getElementPointer(Elt));
3520 "Accessor can only be used when element is a 'float'");
3521 return *
reinterpret_cast<const double *
>(getElementPointer(Elt));
3548 if (Str.back() != 0)
return false;
3551 return !Str.drop_back().contains(0);
3554bool ConstantDataVector::isSplatData()
const {
3560 if (memcmp(
Base,
Base+i*EltSize, EltSize))
3569 IsSplat = isSplatData();
3594 Value *Replacement =
nullptr;
3598#define HANDLE_CONSTANT(Name) \
3599 case Value::Name##Val: \
3600 Replacement = cast<Name>(this)->handleOperandChangeImpl(From, To); \
3602#include "llvm/IR/Value.def"
3611 assert(Replacement !=
this &&
"I didn't contain From!");
3620Value *ConstantArray::handleOperandChangeImpl(
Value *From,
Value *To) {
3629 unsigned NumUpdated = 0;
3632 bool AllSame =
true;
3634 unsigned OperandNo = 0;
3638 OperandNo = (O - OperandList);
3643 AllSame &= Val == ToC;
3658 Values,
this, From, ToC, NumUpdated, OperandNo);
3661Value *ConstantStruct::handleOperandChangeImpl(
Value *From,
Value *To) {
3672 unsigned NumUpdated = 0;
3673 bool AllSame =
true;
3674 unsigned OperandNo = 0;
3678 OperandNo = (
O - OperandList);
3683 AllSame &= Val == ToC;
3694 Values,
this, From, ToC, NumUpdated, OperandNo);
3697Value *ConstantVector::handleOperandChangeImpl(
Value *From,
Value *To) {
3703 unsigned NumUpdated = 0;
3704 unsigned OperandNo = 0;
3720 Values,
this, From, ToC, NumUpdated, OperandNo);
3723Value *ConstantExpr::handleOperandChangeImpl(
Value *From,
Value *ToV) {
3728 unsigned NumUpdated = 0;
3729 unsigned OperandNo = 0;
3739 assert(NumUpdated &&
"I didn't contain From!");
3746 NewOps,
this, From, To, NumUpdated, OperandNo);
3754 case Instruction::Trunc:
3755 case Instruction::PtrToAddr:
3756 case Instruction::PtrToInt:
3757 case Instruction::IntToPtr:
3758 case Instruction::BitCast:
3759 case Instruction::AddrSpaceCast:
3762 case Instruction::InsertElement:
3764 case Instruction::ExtractElement:
3766 case Instruction::ShuffleVector:
3769 case Instruction::GetElementPtr: {
3772 Ops.slice(1), GO->getNoWrapFlags(),
"");
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file defines the StringMap class.
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static cl::opt< ITMode > IT(cl::desc("IT block support"), cl::Hidden, cl::init(DefaultIT), cl::values(clEnumValN(DefaultIT, "arm-default-it", "Generate any type of IT block"), clEnumValN(RestrictedIT, "arm-restrict-it", "Disallow complex IT blocks")))
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static bool isAllZeros(StringRef Arr)
Return true if the array is empty or all zeros.
static cl::opt< bool > UseConstantIntForScalableSplat("use-constant-int-for-scalable-splat", cl::init(false), cl::Hidden, cl::desc("Use ConstantInt's native scalable vector splat support."))
static cl::opt< bool > UseConstantPtrNullForScalableSplat("use-constant-ptrnull-for-scalable-splat", cl::init(true), cl::Hidden, cl::desc("Use ConstantPointerNull's native scalable vector splat support."))
static Constant * getByteSequenceIfElementsMatch(ArrayRef< Constant * > V)
static cl::opt< bool > UseConstantIntForFixedLengthSplat("use-constant-int-for-fixed-length-splat", cl::init(false), cl::Hidden, cl::desc("Use ConstantInt's native fixed-length vector splat support."))
static Constant * getFPSequenceIfElementsMatch(ArrayRef< Constant * > V)
static bool shouldUseConstantPointerNullForVector(VectorType *VTy)
static bool rangeOnlyContains(ItTy Start, ItTy End, EltTy Elt)
static cl::opt< bool > UseConstantPtrNullForFixedLengthSplat("use-constant-ptrnull-for-fixed-length-splat", cl::init(true), cl::Hidden, cl::desc("Use ConstantPointerNull's native fixed-length vector splat " "support."))
static Constant * getIntSequenceIfElementsMatch(ArrayRef< Constant * > V)
static Constant * getSequenceIfElementsMatch(Constant *C, ArrayRef< Constant * > V)
static bool ConstHasGlobalValuePredicate(const Constant *C, bool(*Predicate)(const GlobalValue *))
Check if C contains a GlobalValue for which Predicate is true.
static bool constantIsDead(const Constant *C, bool RemoveDeadUsers)
Return true if the specified constantexpr is dead.
static bool containsUndefinedElement(const Constant *C, function_ref< bool(const Constant *)> HasFn)
static Constant * getFoldedCast(Instruction::CastOps opc, Constant *C, Type *Ty, bool OnlyIfReduced=false)
This is a utility function to handle folding of casts and lookup of the cast in the ExprConstants map...
static cl::opt< bool > UseConstantFPForScalableSplat("use-constant-fp-for-scalable-splat", cl::init(true), cl::Hidden, cl::desc("Use ConstantFP's native scalable vector splat support."))
static cl::opt< bool > UseConstantFPForFixedLengthSplat("use-constant-fp-for-fixed-length-splat", cl::init(true), cl::Hidden, cl::desc("Use ConstantFP's native fixed-length vector splat support."))
This file contains the declarations for the subclasses of Constant, which represent the different fla...
static bool isSigned(unsigned Opcode)
static char getTypeID(Type *Ty)
This file contains the declaration of the GlobalIFunc class, which represents a single indirect funct...
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
static bool isZero(Value *V, const DataLayout &DL, DominatorTree *DT, AssumptionCache *AC)
static bool isUndef(const MachineInstr &MI)
static bool InRange(int64_t Value, unsigned short Shift, int LBound, int HBound)
uint64_t IntrinsicInst * II
static unsigned getNumElements(Type *Ty)
This file defines the SmallVector class.
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
static SymbolRef::Type getType(const Symbol *Sym)
static Function * getFunction(FunctionType *Ty, const Twine &Name, Module *M)
static const fltSemantics & IEEEsingle()
static const fltSemantics & BFloat()
static const fltSemantics & IEEEquad()
static const fltSemantics & IEEEdouble()
static const fltSemantics & x87DoubleExtended()
static constexpr roundingMode rmNearestTiesToEven
static const fltSemantics & IEEEhalf()
static const fltSemantics & PPCDoubleDouble()
static APFloat getQNaN(const fltSemantics &Sem, bool Negative=false, const APInt *payload=nullptr)
Factory for QNaN values.
static APFloat getSNaN(const fltSemantics &Sem, bool Negative=false, const APInt *payload=nullptr)
Factory for SNaN values.
LLVM_ABI opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
static LLVM_ABI APFloat getAllOnesValue(const fltSemantics &Semantics)
Returns a float which is bitcasted from an all one value int.
const fltSemantics & getSemantics() const
static APFloat getInf(const fltSemantics &Sem, bool Negative=false)
Factory for Positive and Negative Infinity.
static APFloat getNaN(const fltSemantics &Sem, bool Negative=false, uint64_t payload=0)
Factory for NaN values.
static APFloat getZero(const fltSemantics &Sem, bool Negative=false)
Factory for Positive and Negative Zero.
Class for arbitrary precision integers.
static APInt getAllOnes(unsigned numBits)
Return an APInt of a specified width with all bits set.
static APInt getSignedMaxValue(unsigned numBits)
Gets maximum signed value of APInt for a specific bit width.
static APInt getSignedMinValue(unsigned numBits)
Gets minimum signed value of APInt for a specific bit width.
unsigned logBase2() const
bool isPowerOf2() const
Check if this APInt's value is a power of two greater than zero.
Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
Get the array size.
Class to represent array types.
static LLVM_ABI ArrayType * get(Type *ElementType, uint64_t NumElements)
This static method is the primary way to construct an ArrayType.
LLVM Basic Block Representation.
const Function * getParent() const
Return the enclosing method, or null if none.
bool hasAddressTaken() const
Returns true if there are any uses of this basic block other than direct branches,...
LLVM_ABI LLVMContext & getContext() const
Get the context in which this basic block lives.
BinaryConstantExpr - This class is private to Constants.cpp, and is used behind the scenes to impleme...
static LLVM_ABI BinaryOperator * Create(BinaryOps Op, Value *S1, Value *S2, const Twine &Name=Twine(), InsertPosition InsertBefore=nullptr)
Construct a binary instruction, given the opcode and the two operands.
The address of a basic block.
static LLVM_ABI BlockAddress * lookup(const BasicBlock *BB)
Lookup an existing BlockAddress constant for the given BasicBlock.
BasicBlock * getBasicBlock() const
static LLVM_ABI BlockAddress * get(Function *F, BasicBlock *BB)
Return a BlockAddress for the specified function and basic block.
Class to represent byte types.
static LLVM_ABI ByteType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing a ByteType.
CastConstantExpr - This class is private to Constants.cpp, and is used behind the scenes to implement...
static LLVM_ABI CastInst * Create(Instruction::CastOps, Value *S, Type *Ty, const Twine &Name="", InsertPosition InsertBefore=nullptr)
Provides a way to construct any of the CastInst subclasses using an opcode instead of the subclass's ...
static LLVM_ABI bool castIsValid(Instruction::CastOps op, Type *SrcTy, Type *DstTy)
This method can be used to determine if a cast from SrcTy to DstTy using Opcode op is valid or not.
All zero aggregate value.
LLVM_ABI ElementCount getElementCount() const
Return the number of elements in the array, vector, or struct.
LLVM_ABI Constant * getSequentialElement() const
If this CAZ has array or vector type, return a zero with the right element type.
LLVM_ABI Constant * getElementValue(Constant *C) const
Return a zero of the right value for the specified GEP index if we can, otherwise return null (e....
LLVM_ABI Constant * getStructElement(unsigned Elt) const
If this CAZ has struct type, return a zero with the right element type for the specified element.
static LLVM_ABI ConstantAggregateZero * get(Type *Ty)
Base class for aggregate constants (with operands).
LLVM_ABI ConstantAggregate(Type *T, ValueTy VT, ArrayRef< Constant * > V, AllocInfo AllocInfo)
ConstantArray - Constant Array Declarations.
static LLVM_ABI Constant * get(ArrayType *T, ArrayRef< Constant * > V)
ArrayType * getType() const
Specialize the getType() method to always return an ArrayType, which reduces the amount of casting ne...
Class for constant bytes.
An array constant whose element type is a simple 1/2/4/8-byte integer, bytes or float/double,...
static Constant * get(LLVMContext &Context, ArrayRef< ElementTy > Elts)
get() constructor - Return a constant with array type with an element count and element type matching...
static LLVM_ABI Constant * getFP(Type *ElementType, ArrayRef< uint16_t > Elts)
getFP() constructors - Return a constant of array type with a float element type taken from argument ...
static LLVM_ABI Constant * getString(LLVMContext &Context, StringRef Initializer, bool AddNull=true, bool ByteString=false)
This method constructs a CDS and initializes it with a text string.
static LLVM_ABI Constant * getByte(Type *ElementType, ArrayRef< uint8_t > Elts)
getByte() constructors - Return a constant of array type with a byte element type taken from argument...
LLVM_ABI APFloat getElementAsAPFloat(uint64_t i) const
If this is a sequential container of floating point type, return the specified element as an APFloat.
LLVM_ABI uint64_t getElementAsInteger(uint64_t i) const
If this is a sequential container of integers (of any size), return the specified element in the low ...
StringRef getAsString() const
If this array is isString(), then this method returns the array as a StringRef.
LLVM_ABI Constant * getElementAsConstant(uint64_t i) const
Return a Constant for a specified index's element.
LLVM_ABI uint64_t getElementByteSize() const
Return the size (in bytes) of each element in the array/vector.
LLVM_ABI float getElementAsFloat(uint64_t i) const
If this is an sequential container of floats, return the specified element as a float.
LLVM_ABI bool isString(unsigned CharSize=8) const
This method returns true if this is an array of CharSize integers or bytes.
LLVM_ABI uint64_t getNumElements() const
Return the number of elements in the array or vector.
LLVM_ABI APInt getElementAsAPInt(uint64_t i) const
If this is a sequential container of integers (of any size), return the specified element as an APInt...
static LLVM_ABI Constant * getImpl(StringRef Bytes, Type *Ty)
This is the underlying implementation of all of the ConstantDataSequential::get methods.
LLVM_ABI double getElementAsDouble(uint64_t i) const
If this is an sequential container of doubles, return the specified element as a double.
LLVM_ABI Type * getElementType() const
Return the element type of the array/vector.
LLVM_ABI bool isCString() const
This method returns true if the array "isString", ends with a null byte, and does not contains any ot...
LLVM_ABI StringRef getRawDataValues() const
Return the raw, underlying, bytes of this data.
static LLVM_ABI bool isElementTypeCompatible(Type *Ty)
Return true if a ConstantDataSequential can be formed with a vector or array of the specified element...
A vector constant whose element type is a simple 1/2/4/8-byte integer or float/double,...
LLVM_ABI Constant * getSplatValue() const
If this is a splat constant, meaning that all of the elements have the same value,...
static LLVM_ABI Constant * getSplat(unsigned NumElts, Constant *Elt)
Return a ConstantVector with the specified constant in each element.
LLVM_ABI bool isSplat() const
Returns true if this is a splat constant, meaning that all elements have the same value.
static LLVM_ABI Constant * get(LLVMContext &Context, ArrayRef< uint8_t > Elts)
get() constructors - Return a constant with vector type with an element count and element type matchi...
static LLVM_ABI Constant * getFP(Type *ElementType, ArrayRef< uint16_t > Elts)
getFP() constructors - Return a constant of vector type with a float element type taken from argument...
static LLVM_ABI Constant * getByte(Type *ElementType, ArrayRef< uint8_t > Elts)
getByte() constructors - Return a constant of vector type with a byte element type taken from argumen...
Base class for constants with no operands.
A constant value that is initialized with an expression using other constant values.
static LLVM_ABI Constant * getIntToPtr(Constant *C, Type *Ty, bool OnlyIfReduced=false)
static LLVM_ABI Constant * getExtractElement(Constant *Vec, Constant *Idx, Type *OnlyIfReducedTy=nullptr)
ConstantExpr(Type *ty, unsigned Opcode, AllocInfo AllocInfo)
static LLVM_ABI Constant * getAlignOf(Type *Ty)
getAlignOf constant expr - computes the alignment of a type in a target independent way (Note: the re...
friend struct ConstantExprKeyType
static LLVM_ABI Constant * getPointerCast(Constant *C, Type *Ty)
Create a BitCast, AddrSpaceCast, or a PtrToInt cast constant expression.
static LLVM_ABI Constant * getTruncOrBitCast(Constant *C, Type *Ty)
static LLVM_ABI Constant * getPointerBitCastOrAddrSpaceCast(Constant *C, Type *Ty)
Create a BitCast or AddrSpaceCast for a pointer type depending on the address space.
LLVM_ABI bool isCast() const
Return true if this is a convert constant expression.
static LLVM_ABI Constant * getIdentity(Instruction *I, Type *Ty, bool AllowRHSConstant=false, bool NSZ=false)
Return the identity constant for a binary or intrinsic Instruction.
static LLVM_ABI bool isDesirableCastOp(unsigned Opcode)
Whether creating a constant expression for this cast is desirable.
LLVM_ABI Constant * getShuffleMaskForBitcode() const
Assert that this is a shufflevector and return the mask.
static LLVM_ABI Constant * getBinOpAbsorber(unsigned Opcode, Type *Ty, bool AllowLHSConstant=false)
Return the absorbing element for the given binary operation, i.e.
static LLVM_ABI Constant * getCast(unsigned ops, Constant *C, Type *Ty, bool OnlyIfReduced=false)
Convenience function for getting a Cast operation.
static LLVM_ABI Constant * getSub(Constant *C1, Constant *C2, bool HasNUW=false, bool HasNSW=false)
static LLVM_ABI Constant * getNot(Constant *C)
LLVM_ABI const char * getOpcodeName() const
Return a string representation for an opcode.
static LLVM_ABI Constant * getInsertElement(Constant *Vec, Constant *Elt, Constant *Idx, Type *OnlyIfReducedTy=nullptr)
static LLVM_ABI Constant * getPtrToInt(Constant *C, Type *Ty, bool OnlyIfReduced=false)
static LLVM_ABI Constant * getPtrToAddr(Constant *C, Type *Ty, bool OnlyIfReduced=false)
static LLVM_ABI Constant * getShuffleVector(Constant *V1, Constant *V2, ArrayRef< int > Mask, Type *OnlyIfReducedTy=nullptr)
static LLVM_ABI Constant * getSizeOf(Type *Ty)
getSizeOf constant expr - computes the (alloc) size of a type (in address-units, not bits) in a targe...
static bool isSupportedGetElementPtr(const Type *SrcElemTy)
Whether creating a constant expression for this getelementptr type is supported.
static LLVM_ABI Constant * getIntrinsicIdentity(Intrinsic::ID, Type *Ty)
static LLVM_ABI Constant * getXor(Constant *C1, Constant *C2)
static LLVM_ABI Constant * get(unsigned Opcode, Constant *C1, Constant *C2, unsigned Flags=0, Type *OnlyIfReducedTy=nullptr)
get - Return a binary or shift operator constant expression, folding if possible.
static LLVM_ABI bool isDesirableBinOp(unsigned Opcode)
Whether creating a constant expression for this binary operator is desirable.
LLVM_ABI ArrayRef< int > getShuffleMask() const
Assert that this is a shufflevector and return the mask.
static LLVM_ABI bool isSupportedBinOp(unsigned Opcode)
Whether creating a constant expression for this binary operator is supported.
static LLVM_ABI Constant * getAddrSpaceCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
unsigned getOpcode() const
Return the opcode at the root of this constant expression.
static Constant * getGetElementPtr(Type *Ty, Constant *C, ArrayRef< Constant * > IdxList, GEPNoWrapFlags NW=GEPNoWrapFlags::none(), std::optional< ConstantRange > InRange=std::nullopt, Type *OnlyIfReducedTy=nullptr)
Getelementptr form.
static LLVM_ABI Constant * getAdd(Constant *C1, Constant *C2, bool HasNUW=false, bool HasNSW=false)
static LLVM_ABI Constant * getBitCast(Constant *C, Type *Ty, bool OnlyIfReduced=false)
static LLVM_ABI Constant * getBinOpIdentity(unsigned Opcode, Type *Ty, bool AllowRHSConstant=false, bool NSZ=false)
Return the identity constant for a binary opcode.
static LLVM_ABI bool isSupportedCastOp(unsigned Opcode)
Whether creating a constant expression for this cast is supported.
static LLVM_ABI Constant * getNeg(Constant *C, bool HasNSW=false)
static LLVM_ABI Constant * getTrunc(Constant *C, Type *Ty, bool OnlyIfReduced=false)
static LLVM_ABI Constant * getExactLogBase2(Constant *C)
If C is a scalar/fixed width vector of known powers of 2, then this function returns a new scalar/fix...
Constant * getWithOperands(ArrayRef< Constant * > Ops) const
This returns the current constant expression with the operands replaced with the specified values.
LLVM_ABI Instruction * getAsInstruction() const
Returns an Instruction which implements the same operation as this ConstantExpr.
ConstantFP - Floating Point Values [float, double].
static LLVM_ABI Constant * getSNaN(Type *Ty, bool Negative=false, APInt *Payload=nullptr)
static LLVM_ABI Constant * getInfinity(Type *Ty, bool Negative=false)
static LLVM_ABI Constant * getZero(Type *Ty, bool Negative=false)
static LLVM_ABI Constant * getNaN(Type *Ty, bool Negative=false, uint64_t Payload=0)
LLVM_ABI bool isExactlyValue(const APFloat &V) const
We don't rely on operator== working on double values, as it returns true for things that are clearly ...
static LLVM_ABI bool isValueValidForType(Type *Ty, const APFloat &V)
Return true if Ty is big enough to represent V.
static LLVM_ABI Constant * getQNaN(Type *Ty, bool Negative=false, APInt *Payload=nullptr)
This is the shared class of boolean and integer constants.
static LLVM_ABI bool isValueValidForType(Type *Ty, uint64_t V)
This static method returns true if the type Ty is big enough to represent the value V.
static LLVM_ABI ConstantInt * getTrue(LLVMContext &Context)
static LLVM_ABI ConstantInt * getFalse(LLVMContext &Context)
unsigned getBitWidth() const
getBitWidth - Return the scalar bitwidth of this constant.
static LLVM_ABI ConstantInt * getBool(LLVMContext &Context, bool V)
A constant pointer value that points to null.
static LLVM_ABI ConstantPointerNull * get(PointerType *T)
Static factory methods - Return objects of the specified value.
A signed pointer, in the ptrauth sense.
Constant * getAddrDiscriminator() const
The address discriminator if any, or the null constant.
friend struct ConstantPtrAuthKeyType
LLVM_ABI bool isKnownCompatibleWith(const Value *Key, const Value *Discriminator, const DataLayout &DL) const
Check whether an authentication operation with key Key and (possibly blended) discriminator Discrimin...
LLVM_ABI bool hasSpecialAddressDiscriminator(uint64_t Value) const
Whether the address uses a special address discriminator.
static LLVM_ABI ConstantPtrAuth * get(Constant *Ptr, ConstantInt *Key, ConstantInt *Disc, Constant *AddrDisc, Constant *DeactivationSymbol)
Return a pointer signed with the specified parameters.
LLVM_ABI ConstantPtrAuth * getWithSameSchema(Constant *Pointer) const
Produce a new ptrauth expression signing the given value using the same schema as is stored in one.
ConstantInt * getKey() const
The Key ID, an i32 constant.
Constant * getDeactivationSymbol() const
bool hasAddressDiscriminator() const
Whether there is any non-null address discriminator.
ConstantInt * getDiscriminator() const
The integer discriminator, an i64 constant, or 0.
This class represents a range of values.
LLVM_ABI ConstantRange unionWith(const ConstantRange &CR, PreferredRangeType Type=Smallest) const
Return the range that results from the union of this range with another range.
static LLVM_ABI Constant * get(StructType *T, ArrayRef< Constant * > V)
static LLVM_ABI StructType * getTypeForElements(ArrayRef< Constant * > V, bool Packed=false)
Return an anonymous struct type to use for a constant with the specified set of elements.
StructType * getType() const
Specialization - reduce amount of casting.
static LLVM_ABI ConstantTargetNone * get(TargetExtType *T)
Static factory methods - Return objects of the specified value.
TargetExtType * getType() const
Specialize the getType() method to always return an TargetExtType, which reduces the amount of castin...
A constant token which is empty.
static LLVM_ABI ConstantTokenNone * get(LLVMContext &Context)
Return the ConstantTokenNone.
void remove(ConstantClass *CP)
Remove this constant from the map.
ConstantClass * replaceOperandsInPlace(ArrayRef< Constant * > Operands, ConstantClass *CP, Value *From, Constant *To, unsigned NumUpdated=0, unsigned OperandNo=~0u)
Constant Vector Declarations.
FixedVectorType * getType() const
Specialize the getType() method to always return a FixedVectorType, which reduces the amount of casti...
LLVM_ABI Constant * getSplatValue(bool AllowPoison=false) const
If all elements of the vector constant have the same value, return that value.
static LLVM_ABI Constant * getSplat(ElementCount EC, Constant *Elt)
Return a ConstantVector with the specified constant in each element.
static LLVM_ABI Constant * get(ArrayRef< Constant * > V)
This is an important base class in LLVM.
static LLVM_ABI Constant * getIntegerValue(Type *Ty, const APInt &V)
Return the value for an integer or pointer constant, or a vector thereof, with the given scalar value...
LLVM_ABI bool hasExactInverseFP() const
Return true if this scalar has an exact multiplicative inverse or this vector has an exact multiplica...
static LLVM_ABI Constant * replaceUndefsWith(Constant *C, Constant *Replacement)
Try to replace undefined constant C or undefined elements in C with Replacement.
LLVM_ABI Constant * getSplatValue(bool AllowPoison=false) const
If all elements of the vector constant have the same value, return that value.
LLVM_ABI bool containsUndefElement() const
Return true if this is a vector constant that includes any strictly undef (not poison) elements.
static LLVM_ABI Constant * mergeUndefsWith(Constant *C, Constant *Other)
Merges undefs of a Constant with another Constant, along with the undefs already present.
LLVM_ABI ConstantRange toConstantRange() const
Convert constant to an approximate constant range.
static LLVM_ABI Constant * getAllOnesValue(Type *Ty)
LLVM_ABI bool hasZeroLiveUses() const
Return true if the constant has no live uses.
LLVM_ABI bool isOneValue() const
Returns true if the value is one.
LLVM_ABI bool isManifestConstant() const
Return true if a constant is ConstantData or a ConstantAggregate or ConstantExpr that contain only Co...
LLVM_ABI bool isNegativeZeroValue() const
Return true if the value is what would be returned by getZeroValueForNegation.
LLVM_ABI bool isAllOnesValue() const
Return true if this is the value that would be returned by getAllOnesValue.
Constant(Type *ty, ValueTy vty, AllocInfo AllocInfo)
LLVM_ABI bool isMaxSignedValue() const
Return true if the value is the largest signed value.
LLVM_ABI bool hasOneLiveUse() const
Return true if the constant has exactly one live use.
LLVM_ABI bool needsRelocation() const
This method classifies the entry according to whether or not it may generate a relocation entry (eith...
LLVM_ABI bool isDLLImportDependent() const
Return true if the value is dependent on a dllimport variable.
LLVM_ABI const APInt & getUniqueInteger() const
If C is a constant integer then return its value, otherwise C must be a vector of constant integers,...
LLVM_ABI bool containsConstantExpression() const
Return true if this is a fixed width vector constant that includes any constant expressions.
LLVM_ABI bool isFiniteNonZeroFP() const
Return true if this is a finite and non-zero floating-point scalar constant or a fixed width vector c...
LLVM_ABI void removeDeadConstantUsers() const
If there are any dead constant users dangling off of this constant, remove them.
LLVM_ABI bool isNormalFP() const
Return true if this is a normal (as opposed to denormal, infinity, nan, or zero) floating-point scala...
LLVM_ABI bool needsDynamicRelocation() const
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
LLVM_ABI bool isNaN() const
Return true if this is a floating-point NaN constant or a vector floating-point constant with all NaN...
LLVM_ABI bool isMinSignedValue() const
Return true if the value is the smallest signed value.
LLVM_ABI bool isConstantUsed() const
Return true if the constant has users other than constant expressions and other dangling things.
LLVM_ABI Constant * getAggregateElement(unsigned Elt) const
For aggregates (struct/array/vector) return the constant that corresponds to the specified element if...
LLVM_ABI bool isThreadDependent() const
Return true if the value can vary between threads.
LLVM_ABI void destroyConstant()
Called if some element of this constant is no longer valid.
LLVM_ABI bool isNotMinSignedValue() const
Return true if the value is not the smallest signed value, or, for vectors, does not contain smallest...
LLVM_ABI bool isNullValue() const
Return true if this is the value that would be returned by getNullValue.
LLVM_ABI bool isNotOneValue() const
Return true if the value is not the one value, or, for vectors, does not contain one value elements.
LLVM_ABI bool isElementWiseEqual(Value *Y) const
Return true if this constant and a constant 'Y' are element-wise equal.
LLVM_ABI bool containsUndefOrPoisonElement() const
Return true if this is a vector constant that includes any undef or poison elements.
LLVM_ABI bool containsPoisonElement() const
Return true if this is a vector constant that includes any poison elements.
LLVM_ABI void handleOperandChange(Value *, Value *)
This method is a special form of User::replaceUsesOfWith (which does not work on constants) that does...
Wrapper for a function that represents a value that functionally represents the original function.
GlobalValue * getGlobalValue() const
static LLVM_ABI DSOLocalEquivalent * get(GlobalValue *GV)
Return a DSOLocalEquivalent for the specified global value.
A parsed version of the target data layout string in and methods for querying it.
static constexpr ElementCount getFixed(ScalarTy MinVal)
static LLVM_ABI FixedVectorType * get(Type *ElementType, unsigned NumElts)
Represents flags for the getelementptr instruction/expression.
GetElementPtrConstantExpr - This class is private to Constants.cpp, and is used behind the scenes to ...
std::optional< ConstantRange > getInRange() const
Type * getResultElementType() const
Type * getSourceElementType() const
an instruction for type-safe pointer arithmetic to access elements of arrays and structs
static Type * getGEPReturnType(Value *Ptr, ArrayRef< Value * > IdxList)
Returns the pointer type returned by the GEP instruction, which may be a vector of pointers.
static GetElementPtrInst * Create(Type *PointeeType, Value *Ptr, ArrayRef< Value * > IdxList, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
static LLVM_ABI Type * getIndexedType(Type *Ty, ArrayRef< Value * > IdxList)
Returns the result type of a getelementptr with the given source element type and indexes.
PointerType * getType() const
Global values are always pointers.
InsertElementConstantExpr - This class is private to Constants.cpp, and is used behind the scenes to ...
static InsertElementInst * Create(Value *Vec, Value *NewElt, Value *Idx, const Twine &NameStr="", InsertPosition InsertBefore=nullptr)
LLVM_ABI void setHasNoUnsignedWrap(bool b=true)
Set or clear the nuw flag on this instruction, which must be an operator which supports this flag.
LLVM_ABI void setHasNoSignedWrap(bool b=true)
Set or clear the nsw flag on this instruction, which must be an operator which supports this flag.
LLVM_ABI bool isCommutative() const LLVM_READONLY
Return true if the instruction is commutative:
const char * getOpcodeName() const
LLVM_ABI void setIsExact(bool b=true)
Set or clear the exact flag on this instruction, which must be an operator which supports this flag.
Class to represent integer types.
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
A wrapper class for inspecting calls to intrinsic functions.
DenseMap< unsigned, std::unique_ptr< ConstantInt > > IntOneConstants
DenseMap< unsigned, std::unique_ptr< ConstantInt > > IntZeroConstants
DenseMap< Type *, std::unique_ptr< ConstantPointerNull > > CPNConstants
DenseMap< APFloat, std::unique_ptr< ConstantFP > > FPConstants
DenseMap< Type *, std::unique_ptr< ConstantAggregateZero > > CAZConstants
ConstantInt * TheFalseVal
DenseMap< Type *, std::unique_ptr< PoisonValue > > PVConstants
DenseMap< APInt, std::unique_ptr< ConstantInt > > IntConstants
std::unique_ptr< ConstantTokenNone > TheNoneToken
VectorConstantsTy VectorConstants
DenseMap< const GlobalValue *, NoCFIValue * > NoCFIValues
DenseMap< const BasicBlock *, BlockAddress * > BlockAddresses
DenseMap< Type *, std::unique_ptr< UndefValue > > UVConstants
StringMap< std::unique_ptr< ConstantDataSequential > > CDSConstants
StructConstantsTy StructConstants
ConstantUniqueMap< ConstantPtrAuth > ConstantPtrAuths
DenseMap< TargetExtType *, std::unique_ptr< ConstantTargetNone > > CTNConstants
ConstantUniqueMap< ConstantExpr > ExprConstants
DenseMap< unsigned, std::unique_ptr< ConstantByte > > ByteOneConstants
ArrayConstantsTy ArrayConstants
DenseMap< const GlobalValue *, DSOLocalEquivalent * > DSOLocalEquivalents
DenseMap< unsigned, std::unique_ptr< ConstantByte > > ByteZeroConstants
DenseMap< APInt, std::unique_ptr< ConstantByte > > ByteConstants
This is an important class for using LLVM in a threaded context.
LLVMContextImpl *const pImpl
Wrapper for a value that won't be replaced with a CFI jump table pointer in LowerTypeTestsModule.
static LLVM_ABI NoCFIValue * get(GlobalValue *GV)
Return a NoCFIValue for the specified function.
PointerType * getType() const
NoCFIValue is always a pointer.
GlobalValue * getGlobalValue() const
Class to represent pointers.
static PointerType * getUnqual(Type *ElementType)
This constructs a pointer to an object of the specified type in the default address space (address sp...
In order to facilitate speculative execution, many instructions do not invoke immediate undefined beh...
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
LLVM_ABI PoisonValue * getStructElement(unsigned Elt) const
If this poison has struct type, return a poison with the right element type for the specified element...
LLVM_ABI PoisonValue * getSequentialElement() const
If this poison has array or vector type, return a poison with the right element type.
LLVM_ABI PoisonValue * getElementValue(Constant *C) const
Return an poison of the right value for the specified GEP index if we can, otherwise return null (e....
ShuffleVectorConstantExpr - This class is private to Constants.cpp, and is used behind the scenes to ...
This instruction constructs a fixed permutation of two input vectors.
static LLVM_ABI bool isValidOperands(const Value *V1, const Value *V2, const Value *Mask)
Return true if a shufflevector instruction can be formed with the specified operands.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
void reserve(size_type N)
void append(ItTy in_start, ItTy in_end)
Add the specified range to the end of the SmallVector.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringMap - This is an unconventional map that is specialized for handling keys that are "strings",...
iterator find(StringRef Key)
Represent a constant reference to a string, i.e.
constexpr const char * data() const
Get a pointer to the start of the string (which may not be null terminated).
Class to represent struct types.
static LLVM_ABI StructType * get(LLVMContext &Context, ArrayRef< Type * > Elements, bool isPacked=false)
This static method is the primary way to create a literal StructType.
Class to represent target extensions types, which are generally unintrospectable from target-independ...
@ HasZeroInit
zeroinitializer is valid for this target extension type.
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
bool isByteTy() const
True if this is an instance of ByteType.
bool isVectorTy() const
True if this is an instance of VectorType.
static LLVM_ABI IntegerType * getInt32Ty(LLVMContext &C)
bool isIntOrIntVectorTy() const
Return true if this is an integer type or a vector of integer types.
bool isPointerTy() const
True if this is an instance of PointerType.
LLVM_ABI unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
@ HalfTyID
16-bit floating point type
@ TargetExtTyID
Target extension type.
@ ScalableVectorTyID
Scalable SIMD vector type.
@ FloatTyID
32-bit floating point type
@ IntegerTyID
Arbitrary bit width integers.
@ FixedVectorTyID
Fixed width SIMD vector type.
@ BFloatTyID
16-bit floating point type (7-bit significand)
@ DoubleTyID
64-bit floating point type
@ X86_FP80TyID
80-bit floating point type (X87)
@ PPC_FP128TyID
128-bit floating point type (two 64-bits, PowerPC)
@ ByteTyID
Arbitrary bit width bytes.
@ FP128TyID
128-bit floating point type (112-bit significand)
static LLVM_ABI Type * getFloatingPointTy(LLVMContext &C, const fltSemantics &S)
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
LLVM_ABI TypeSize getPrimitiveSizeInBits() const LLVM_READONLY
Return the basic size of this type if it is a primitive type.
static LLVM_ABI IntegerType * getInt16Ty(LLVMContext &C)
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
LLVM_ABI unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
static LLVM_ABI ByteType * getByte8Ty(LLVMContext &C)
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
bool isPtrOrPtrVectorTy() const
Return true if this is a pointer type or a vector of pointer types.
bool isIntegerTy() const
True if this is an instance of IntegerType.
static LLVM_ABI Type * getDoubleTy(LLVMContext &C)
static LLVM_ABI Type * getFloatTy(LLVMContext &C)
'undef' values are things that do not have specified contents.
LLVM_ABI UndefValue * getElementValue(Constant *C) const
Return an undef of the right value for the specified GEP index if we can, otherwise return null (e....
LLVM_ABI UndefValue * getStructElement(unsigned Elt) const
If this undef has struct type, return a undef with the right element type for the specified element.
static LLVM_ABI UndefValue * get(Type *T)
Static factory methods - Return an 'undef' object of the specified type.
LLVM_ABI unsigned getNumElements() const
Return the number of elements in the array, vector, or struct.
LLVM_ABI UndefValue * getSequentialElement() const
If this Undef has array or vector type, return a undef with the right element type.
A Use represents the edge between a Value definition and its users.
const Use * getOperandList() const
User(Type *ty, unsigned vty, AllocInfo AllocInfo)
void setOperand(unsigned i, Value *Val)
Value * getOperand(unsigned i) const
unsigned getNumOperands() const
iterator_range< value_op_iterator > operand_values()
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
user_iterator_impl< const User > const_user_iterator
user_iterator user_begin()
LLVM_ABI Value(Type *Ty, unsigned scid)
unsigned char SubclassOptionalData
Hold subclass data that can be dropped.
LLVM_ABI const Value * stripPointerCastsAndAliases() const
Strip off pointer casts, all-zero GEPs, address space casts, and aliases.
LLVM_ABI const Value * stripInBoundsConstantOffsets() const
Strip off pointer casts and all-constant inbounds GEPs.
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
LLVMContext & getContext() const
All values hold a context through their type.
iterator_range< user_iterator > users()
unsigned getValueID() const
Return an ID for the concrete type of this object.
LLVM_ABI const Value * stripAndAccumulateConstantOffsets(const DataLayout &DL, APInt &Offset, bool AllowNonInbounds, bool AllowInvariantGroup=false, function_ref< bool(Value &Value, APInt &Offset)> ExternalAnalysis=nullptr, bool LookThroughIntToPtr=false) const
Accumulate the constant offset this value has compared to a base pointer.
LLVM_ABI const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
iterator_range< use_iterator > uses()
void mutateType(Type *Ty)
Mutate the type of this Value to be of the specified type.
ValueTy
Concrete subclass of this.
Base class of all SIMD vector types.
static VectorType * getInteger(VectorType *VTy)
This static method gets a VectorType with the same number of elements as the input type,...
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
constexpr ScalarTy getFixedValue() const
An efficient, type-erasing, non-owning reference to a callable.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
ap_match< APInt > m_APInt(const APInt *&Res)
Match a ConstantInt or splatted ConstantVector, binding the specified pointer to the contained APInt.
bool match(Val *V, const Pattern &P)
specificval_ty m_Specific(const Value *V)
Match if we have a specific specified value.
cst_pred_ty< is_one > m_One()
Match an integer 1 or a vector with all elements equal to 1.
IntrinsicID_match m_Intrinsic()
Match intrinsic calls like this: m_Intrinsic<Intrinsic::fabs>(m_Value(X))
auto m_Value()
Match an arbitrary value and ignore it.
auto m_Undef()
Match an arbitrary undef constant.
initializer< Ty > init(const Ty &Val)
NodeAddr< UseNode * > Use
NodeAddr< NodeBase * > Node
NodeAddr< FuncNode * > Func
This is an optimization pass for GlobalISel generic memory operations.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI Constant * ConstantFoldCompareInstruction(CmpInst::Predicate Predicate, Constant *C1, Constant *C2)
constexpr bool isUIntN(unsigned N, uint64_t x)
Checks if an unsigned integer fits into the given (dynamic) bit width.
gep_type_iterator gep_type_end(const User *GEP)
void deleteConstant(Constant *C)
LLVM_ABI Constant * ConstantFoldGetElementPtr(Type *Ty, Constant *C, std::optional< ConstantRange > InRange, ArrayRef< Value * > Idxs)
constexpr auto equal_to(T &&Arg)
Functor variant of std::equal_to that can be used as a UnaryPredicate in functional algorithms like a...
auto dyn_cast_or_null(const Y &Val)
LLVM_ABI Constant * ConstantFoldInsertElementInstruction(Constant *Val, Constant *Elt, Constant *Idx)
Attempt to constant fold an insertelement instruction with the specified operands and indices.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
LLVM_ABI Constant * ConstantFoldExtractElementInstruction(Constant *Val, Constant *Idx)
Attempt to constant fold an extractelement instruction with the specified operands and indices.
FunctionAddr VTableAddr uintptr_t uintptr_t Data
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
OutputIt copy(R &&Range, OutputIt Out)
constexpr unsigned BitWidth
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
gep_type_iterator gep_type_begin(const User *GEP)
constexpr bool isIntN(unsigned N, int64_t x)
Checks if an signed integer fits into the given (dynamic) bit width.
LLVM_ABI Constant * ConstantFoldCastInstruction(unsigned opcode, Constant *V, Type *DestTy)
LLVM_ABI Constant * ConstantFoldShuffleVectorInstruction(Constant *V1, Constant *V2, ArrayRef< int > Mask)
Attempt to constant fold a shufflevector instruction with the specified operands and mask.
LLVM_ABI Constant * ConstantFoldBinaryInstruction(unsigned Opcode, Constant *V1, Constant *V2)
Implement std::hash so that hash_code can be used in STL containers.
Summary of memprof metadata on allocations.
Information about how a User object was allocated, to be passed into the User constructor.