113#define DEBUG_TYPE "isel"
115STATISTIC(NumFastIselSuccessIndependent,
"Number of insts selected by "
116 "target-independent selector");
117STATISTIC(NumFastIselSuccessTarget,
"Number of insts selected by "
118 "target-specific selector");
119STATISTIC(NumFastIselDead,
"Number of dead insts removed on failure");
125 "local values should be cleared after finishing a BB");
169 RegDef = MO.getReg();
170 }
else if (MO.getReg().isVirtual()) {
181 if (
P.second == DefReg)
186void FastISel::flushLocalValueMap() {
198 for (MachineInstr &LocalMI :
203 if (
FuncInfo.RegsWithFixups.count(DefReg))
206 if (!UsedByPHI &&
MRI.use_nodbg_empty(DefReg)) {
211 LocalMI.eraseFromParent();
215 if (FirstNonValue !=
FuncInfo.MBB->end()) {
228 if (FirstLocalValue != FirstNonValue && !FirstLocalValue->getDebugLoc())
229 FirstLocalValue->setDebugLoc(FirstNonValue->getDebugLoc());
240 EVT RealVT =
TLI.getValueType(
DL, V->getType(),
true);
249 if (!
TLI.isTypeLegal(VT)) {
251 if (VT == MVT::i1 || VT == MVT::i8 || VT == MVT::i16)
252 VT =
TLI.getTypeToTransformTo(V->getContext(), VT).getSimpleVT();
267 return FuncInfo.InitializeRegForValue(V);
273 Reg = materializeRegForValue(V, VT);
283 if (CI->getValue().getActiveBits() <= 64)
293 if (CF->isNullValue())
301 const APFloat &Flt = CF->getValueAPF();
304 APSInt SIntVal(IntBitWidth,
false);
324 TII.get(TargetOpcode::IMPLICIT_DEF),
Reg);
341 Reg = materializeConstant(V, VT);
373 else if (Reg != AssignedReg) {
375 for (
unsigned i = 0; i < NumRegs; i++) {
376 FuncInfo.RegFixups[AssignedReg + i] = Reg + i;
377 FuncInfo.RegsWithFixups.insert(Reg + i);
392 if (IdxVT.
bitsLT(PtrVT)) {
394 }
else if (IdxVT.
bitsGT(PtrVT)) {
412 assert(
I.isValid() && E.isValid() && std::distance(
I, E) > 0 &&
413 "Invalid iterator!");
415 if (SavedInsertPt ==
I)
424 Dead->eraseFromParent();
446 if (VT == MVT::Other || !VT.
isSimple())
454 if (!
TLI.isTypeLegal(VT)) {
458 VT =
TLI.getTypeToTransformTo(
I->getContext(), VT);
520 ISDOpcode, Op0, Op1);
546 MVT VT =
TLI.getValueType(
DL,
I->getType()).getSimpleVT();
550 const Value *Idx = GTI.getOperand();
551 if (
StructType *StTy = GTI.getStructTypeOrNull()) {
555 TotalOffs +=
DL.getStructLayout(StTy)->getElementOffset(
Field);
556 if (TotalOffs >= MaxOffs) {
569 uint64_t IdxN = CI->getValue().sextOrTrunc(64).getSExtValue();
570 TotalOffs += GTI.getSequentialElementStride(
DL) * IdxN;
571 if (TotalOffs >= MaxOffs) {
587 uint64_t ElementSize = GTI.getSequentialElementStride(
DL);
592 if (ElementSize != 1) {
614 const CallInst *CI,
unsigned StartIdx) {
615 for (
unsigned i = StartIdx, e = CI->
arg_size(); i != e; ++i) {
629 if (SI !=
FuncInfo.StaticAllocaMap.end())
646 assert(
I->getCalledFunction()->getReturnType()->isVoidTy() &&
647 "Stackmap cannot return a value.");
663 "Expected a constant integer.");
668 "Expected a constant integer.");
669 const auto *NumBytes =
675 if (!addStackMapLiveVars(
Ops,
I, 2))
683 const MCPhysReg *ScratchRegs =
TLI.getScratchRegisters(CC);
684 for (
unsigned i = 0; ScratchRegs[i]; ++i)
686 ScratchRegs[i],
true,
true,
false,
687 false,
false,
true));
690 unsigned AdjStackDown =
TII.getCallFrameSetupOpcode();
694 for (
unsigned I = 0, E =
MCID.getNumOperands();
I < E; ++
I)
699 TII.get(TargetOpcode::STACKMAP));
700 for (
auto const &MO :
Ops)
704 unsigned AdjStackUp =
TII.getCallFrameDestroyOpcode();
710 FuncInfo.MF->getFrameInfo().setHasStackMap();
720bool FastISel::lowerCallOperands(
const CallInst *CI,
unsigned ArgIdx,
721 unsigned NumArgs,
const Value *Callee,
722 bool ForceRetVoidTy, CallLoweringInfo &CLI) {
724 Args.reserve(NumArgs);
727 for (
unsigned ArgI = ArgIdx, ArgE = ArgIdx + NumArgs; ArgI != ArgE; ++ArgI) {
730 assert(!V->getType()->isEmptyTy() &&
"Empty type passed to intrinsic.");
733 Entry.setAttributes(CI, ArgI);
734 Args.push_back(Entry);
739 CLI.setCallee(CI->
getCallingConv(), RetTy, Callee, std::move(Args), NumArgs);
749 MCSymbol *Sym = Ctx.getOrCreateSymbol(MangledName);
750 return setCallee(CC, ResultTy, Sym, std::move(ArgsList), FixedArgs);
762 bool HasDef = !
I->getType()->isVoidTy();
767 if (IsAnyRegCC && HasDef) {
775 "Expected a constant integer.");
776 const auto *NumArgsVal =
778 unsigned NumArgs = NumArgsVal->getZExtValue();
783 assert(
I->arg_size() >= NumMetaOpers + NumArgs &&
784 "Not enough arguments provided to the patchpoint intrinsic");
787 unsigned NumCallArgs = IsAnyRegCC ? 0 : NumArgs;
790 if (!lowerCallOperands(
I, NumMetaOpers, NumCallArgs, Callee, IsAnyRegCC, CLI))
793 assert(CLI.
Call &&
"No call instruction specified.");
798 if (IsAnyRegCC && HasDef) {
808 "Expected a constant integer.");
813 "Expected a constant integer.");
814 const auto *NumBytes =
824 if (
C->getOpcode() == Instruction::IntToPtr) {
839 unsigned NumCallRegArgs = IsAnyRegCC ? NumArgs : CLI.
OutRegs.
size();
848 for (
unsigned i = NumMetaOpers, e = NumMetaOpers + NumArgs; i != e; ++i) {
861 if (!addStackMapLiveVars(
Ops,
I, NumMetaOpers + NumArgs))
869 const MCPhysReg *ScratchRegs =
TLI.getScratchRegisters(CC);
870 for (
unsigned i = 0; ScratchRegs[i]; ++i)
872 ScratchRegs[i],
true,
true,
false,
873 false,
false,
true));
876 for (
auto Reg : CLI.
InRegs)
882 TII.get(TargetOpcode::PATCHPOINT));
893 FuncInfo.MF->getFrameInfo().setHasPatchPoint();
901 const auto &
Triple =
TM.getTargetTriple();
911 TII.get(TargetOpcode::PATCHABLE_EVENT_CALL));
920 const auto &
Triple =
TM.getTargetTriple();
932 TII.get(TargetOpcode::PATCHABLE_TYPED_EVENT_CALL));
945 Attrs.push_back(Attribute::SExt);
947 Attrs.push_back(Attribute::ZExt);
949 Attrs.push_back(Attribute::InReg);
951 return AttributeList::get(CLI.
RetTy->
getContext(), AttributeList::ReturnIndex,
960 MCSymbol *Sym = Ctx.getOrCreateSymbol(MangledName);
970 Args.reserve(NumArgs);
974 for (
unsigned ArgI = 0; ArgI != NumArgs; ++ArgI) {
977 assert(!V->getType()->isEmptyTy() &&
"Empty type passed to intrinsic.");
980 Entry.setAttributes(CI, ArgI);
981 Args.push_back(Entry);
986 CLI.
setCallee(RetTy, FTy, Symbol, std::move(Args), *CI, NumArgs);
1000 bool CanLowerReturn =
TLI.CanLowerReturn(
1004 if (!CanLowerReturn)
1007 for (
EVT VT : RetTys) {
1010 for (
unsigned i = 0; i != NumRegs; ++i) {
1020 CLI.
Ins.push_back(Ret);
1026 for (
auto &Arg : CLI.
getArgs()) {
1027 Type *FinalType = Arg.Ty;
1029 FinalType = Arg.IndirectType;
1030 bool NeedsRegBlock =
TLI.functionArgumentNeedsConsecutiveRegisters(
1042 if (Arg.IsSwiftSelf)
1043 Flags.setSwiftSelf();
1044 if (Arg.IsSwiftAsync)
1045 Flags.setSwiftAsync();
1046 if (Arg.IsSwiftError)
1047 Flags.setSwiftError();
1048 if (Arg.IsCFGuardTarget)
1049 Flags.setCFGuardTarget();
1052 if (Arg.IsInAlloca) {
1053 Flags.setInAlloca();
1061 if (Arg.IsPreallocated) {
1062 Flags.setPreallocated();
1071 if (Arg.IsByVal || Arg.IsInAlloca || Arg.IsPreallocated) {
1072 unsigned FrameSize =
DL.getTypeAllocSize(Arg.IndirectType);
1077 MemAlign =
TLI.getByValTypeAlignment(Arg.IndirectType,
DL);
1078 Flags.setByValSize(FrameSize);
1079 }
else if (!MemAlign) {
1080 MemAlign =
DL.getABITypeAlign(Arg.Ty);
1082 Flags.setMemAlign(*MemAlign);
1086 Flags.setInConsecutiveRegs();
1087 Flags.setOrigAlign(
DL.getABITypeAlign(Arg.Ty));
1096 assert(CLI.
Call &&
"No call instruction specified.");
1121 if (V->getType()->isEmptyTy())
1126 Entry.setAttributes(CI, i - CI->
arg_begin());
1127 Args.push_back(Entry);
1136 MF->getFunction().getFnAttribute(
"disable-tail-calls").getValueAsBool())
1157 if (!IA->getConstraintString().empty())
1160 unsigned ExtraInfo = 0;
1161 if (IA->hasSideEffects())
1163 if (IA->isAlignStack())
1167 if (
Call->isConvergent())
1172 TII.get(TargetOpcode::INLINEASM));
1176 const MDNode *SrcLoc =
Call->getMetadata(
"srcloc");
1191 if (!
II->hasDbgRecords())
1199 flushLocalValueMap();
1203 assert(DLR->getLabel() &&
"Missing label");
1205 TII.get(TargetOpcode::DBG_LABEL))
1223 if (
FuncInfo.PreprocessedDVRDeclares.contains(&DVR))
1248 if (CI->getBitWidth() > 64)
1256 .
addImm(CI->getZExtValue())
1273 assert(Arg->hasAttribute(Attribute::AttrKind::SwiftAsync));
1276 for (
auto [PhysReg, VirtReg] :
FuncInfo.RegInfo->liveins())
1277 if (Reg == VirtReg || Reg == PhysReg) {
1279 PhysReg, Var, Expr);
1283 LLVM_DEBUG(
dbgs() <<
"Dropping dbg.value: expression is entry_value but "
1284 "couldn't find a physical register\n");
1290 bool IsIndirect =
false;
1297 if (!
FuncInfo.MF->useDebugInstrRef()) {
1298 bool IsIndirect =
false;
1313 TII.get(TargetOpcode::DBG_INSTR_REF),
false, MOs,
1323 LLVM_DEBUG(
dbgs() <<
"Dropping debug info (bad/undef address)\n");
1327 std::optional<MachineOperand>
Op;
1350 "Expected inlined-at fields to agree");
1351 if (
FuncInfo.MF->useDebugInstrRef() &&
Op->isReg()) {
1359 TII.get(TargetOpcode::DBG_INSTR_REF),
false, *
Op,
1367 TII.get(TargetOpcode::DBG_VALUE),
true, *
Op, Var,
1375 dbgs() <<
"Dropping debug info (no materialized reg for address)\n");
1380 switch (
II->getIntrinsicID()) {
1384 case Intrinsic::lifetime_start:
1385 case Intrinsic::lifetime_end:
1387 case Intrinsic::donothing:
1389 case Intrinsic::sideeffect:
1391 case Intrinsic::assume:
1393 case Intrinsic::experimental_noalias_scope_decl:
1395 case Intrinsic::objectsize:
1398 case Intrinsic::is_constant:
1401 case Intrinsic::allow_runtime_check:
1402 case Intrinsic::allow_ubsan_check: {
1410 case Intrinsic::launder_invariant_group:
1411 case Intrinsic::strip_invariant_group:
1412 case Intrinsic::expect:
1413 case Intrinsic::expect_with_probability: {
1420 case Intrinsic::fake_use:
1423 case Intrinsic::experimental_stackmap:
1425 case Intrinsic::experimental_patchpoint_void:
1426 case Intrinsic::experimental_patchpoint:
1429 case Intrinsic::xray_customevent:
1431 case Intrinsic::xray_typedevent:
1439 EVT SrcVT =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1440 EVT DstVT =
TLI.getValueType(
DL,
I->getType());
1442 if (SrcVT == MVT::Other || !SrcVT.
isSimple() || DstVT == MVT::Other ||
1448 if (!
TLI.isTypeLegal(DstVT))
1452 if (!
TLI.isTypeLegal(SrcVT))
1470 EVT SrcEVT =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1471 EVT DstEVT =
TLI.getValueType(
DL,
I->getType());
1472 if (SrcEVT == MVT::Other || DstEVT == MVT::Other ||
1473 !
TLI.isTypeLegal(SrcEVT) || !
TLI.isTypeLegal(DstEVT))
1484 if (SrcVT == DstVT) {
1504 EVT ETy =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1505 if (ETy == MVT::Other || !
TLI.isTypeLegal(ETy))
1513 TII.get(TargetOpcode::COPY), ResultReg).
addReg(Reg);
1521void FastISel::removeDeadLocalValueCode(
MachineInstr *SavedLastLocalValue)
1524 if (CurLastLocalValue != SavedLastLocalValue) {
1529 if (SavedLastLocalValue)
1542 flushLocalValueMap();
1547 if (
I->isTerminator()) {
1548 if (!handlePHINodesInSuccessorBlocks(
I->getParent())) {
1553 removeDeadLocalValueCode(SavedLastLocalValue);
1560 for (
unsigned i = 0, e =
Call->getNumOperandBundles(); i != e; ++i)
1572 if (
F &&
F->getIntrinsicID() == Intrinsic::trap &&
1573 Call->hasFnAttr(
"trap-func-name"))
1580 ++NumFastIselSuccessIndependent;
1586 if (SavedInsertPt !=
FuncInfo.InsertPt)
1592 ++NumFastIselSuccessTarget;
1598 if (SavedInsertPt !=
FuncInfo.InsertPt)
1603 if (
I->isTerminator()) {
1606 removeDeadLocalValueCode(SavedLastLocalValue);
1617 bool BlockHasMultipleInstrs = &BB->
front() != &BB->
back();
1618 if (BlockHasMultipleInstrs &&
FuncInfo.MBB->isLayoutSuccessor(MSucc)) {
1632 FuncInfo.MBB->addSuccessorWithoutProb(MSucc);
1641 if (TrueMBB != FalseMBB) {
1647 FuncInfo.MBB->addSuccessorWithoutProb(TrueMBB);
1660 EVT VT =
TLI.getValueType(
DL,
I->getType());
1673 if (!
TLI.isTypeLegal(IntVT))
1707 if (!
TLI.isTypeLegal(VT) && VT != MVT::i1)
1717 ResultReg =
I->second;
1719 ResultReg =
FuncInfo.InitializeRegForValue(Op0);
1729 for (
unsigned i = 0; i < VTIndex; i++)
1730 ResultReg = ResultReg.
id() +
1731 TLI.getNumRegisters(
FuncInfo.Fn->getContext(), AggValueVTs[i]);
1739 case Instruction::Add:
1741 case Instruction::FAdd:
1743 case Instruction::Sub:
1745 case Instruction::FSub:
1747 case Instruction::Mul:
1749 case Instruction::FMul:
1751 case Instruction::SDiv:
1753 case Instruction::UDiv:
1755 case Instruction::FDiv:
1757 case Instruction::SRem:
1759 case Instruction::URem:
1761 case Instruction::FRem:
1763 case Instruction::Shl:
1765 case Instruction::LShr:
1767 case Instruction::AShr:
1769 case Instruction::And:
1771 case Instruction::Or:
1773 case Instruction::Xor:
1776 case Instruction::FNeg:
1779 case Instruction::GetElementPtr:
1782 case Instruction::Br: {
1797 case Instruction::Unreachable: {
1799 if (!UI->shouldLowerToTrap(
TM.Options.TrapUnreachable,
1800 TM.Options.NoTrapAfterNoreturn))
1806 case Instruction::Alloca:
1814 case Instruction::Call:
1825 case Instruction::BitCast:
1828 case Instruction::FPToSI:
1830 case Instruction::ZExt:
1832 case Instruction::SExt:
1834 case Instruction::Trunc:
1836 case Instruction::SIToFP:
1839 case Instruction::IntToPtr:
1840 case Instruction::PtrToInt:
1841 case Instruction::PtrToAddr: {
1842 EVT SrcVT =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1843 EVT DstVT =
TLI.getValueType(
DL,
I->getType());
1855 case Instruction::ExtractValue:
1858 case Instruction::Freeze:
1861 case Instruction::PHI:
1877 TII(*
MF->getSubtarget().getInstrInfo()),
1878 TLI(*
MF->getSubtarget().getTargetLowering()),
1953 ConstantInt::get(ITy, Imm,
false,
true));
1957 return fastEmit_rr(VT, VT, Opcode, Op0, MaterialReg);
1961 return MRI.createVirtualRegister(RC);
1966 if (
Op.isVirtual()) {
1968 if (!
MRI.constrainRegClass(
Op, RegClass)) {
1996 if (
II.getNumDefs() >= 1)
2019 if (
II.getNumDefs() >= 1)
2044 if (
II.getNumDefs() >= 1)
2069 if (
II.getNumDefs() >= 1)
2092 if (
II.getNumDefs() >= 1)
2116 if (
II.getNumDefs() >= 1)
2138 if (
II.getNumDefs() >= 1)
2160 if (
II.getNumDefs() >= 1)
2177 MRI.constrainRegClass(Op0,
TRI.getSubClassWithSubReg(RC, Idx));
2179 ResultReg).
addReg(Op0, 0, Idx);
2195bool FastISel::handlePHINodesInSuccessorBlocks(
const BasicBlock *LLVMBB) {
2208 if (!SuccsHandled.
insert(SuccMBB).second)
2216 for (
const PHINode &PN : SuccBB->phis()) {
2230 if (!(VT == MVT::i1 || VT == MVT::i8 || VT == MVT::i16)) {
2236 const Value *PHIOp = PN.getIncomingValueForBlock(LLVMBB);
2242 MIMD = MIMetadata(*Inst);
2259 "tryToFoldLoad expected a LoadInst with a single use");
2263 unsigned MaxUsers = 6;
2266 while (TheUser != FoldInst &&
2279 if (TheUser != FoldInst)
2297 if (!
MRI.hasOneUse(LoadReg))
2302 if (
FuncInfo.RegsWithFixups.contains(LoadReg))
2323 if (
DL.getTypeSizeInBits(
GEP->getType()) !=
2324 DL.getTypeSizeInBits(
Add->getType()))
2343 Alignment = LI->getAlign();
2344 IsVolatile = LI->isVolatile();
2346 Ptr = LI->getPointerOperand();
2349 Alignment =
SI->getAlign();
2350 IsVolatile =
SI->isVolatile();
2352 Ptr =
SI->getPointerOperand();
2353 ValTy =
SI->getValueOperand()->getType();
2357 bool IsNonTemporal =
I->hasMetadata(LLVMContext::MD_nontemporal);
2358 bool IsInvariant =
I->hasMetadata(LLVMContext::MD_invariant_load);
2359 bool IsDereferenceable =
I->hasMetadata(LLVMContext::MD_dereferenceable);
2360 const MDNode *Ranges =
I->getMetadata(LLVMContext::MD_range);
2365 Alignment =
DL.getABITypeAlign(ValTy);
2367 unsigned Size =
DL.getTypeStoreSize(ValTy);
2373 if (IsDereferenceable)
2379 *Alignment, AAInfo, Ranges);
2388 switch (Predicate) {
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file declares a class to represent arbitrary precision floating point values and provide a varie...
This file implements the APSInt class, which is a simple class that represents an arbitrary sized int...
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
This file contains the simple types necessary to represent the attributes associated with functions a...
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
static Register findLocalRegDef(MachineInstr &MI)
Return the defined register if this instruction defines exactly one virtual register and uses no othe...
static bool isRegUsedByPhiNodes(Register DefReg, FunctionLoweringInfo &FuncInfo)
static AttributeList getReturnAttrs(FastISel::CallLoweringInfo &CLI)
Returns an AttributeList representing the attributes applied to the return value of the given call.
This file defines the FastISel class.
Module.h This file contains the declarations for the Module class.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
Promote Memory to Register
uint64_t IntrinsicInst * II
OptimizedStructLayoutField Field
static bool isCommutative(Instruction *I, Value *ValWithUses, bool IsCopyable=false)
This file defines the SmallPtrSet class.
This file defines the SmallString class.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
static SymbolRef::Type getType(const Symbol *Sym)
This file describes how to lower LLVM code to machine code.
static constexpr roundingMode rmTowardZero
opStatus convertToInteger(MutableArrayRef< integerPart > Input, unsigned int Width, bool IsSigned, roundingMode RM, bool *IsExact) const
An arbitrary precision integer that knows its signedness.
LLVM Basic Block Representation.
const Instruction & back() const
const Instruction & front() const
Conditional or Unconditional Branch instruction.
BasicBlock * getSuccessor(unsigned i) const
bool isUnconditional() const
CallingConv::ID getCallingConv() const
User::op_iterator arg_begin()
Return the iterator pointing to the beginning of the argument list.
Value * getCalledOperand() const
Value * getArgOperand(unsigned i) const
User::op_iterator arg_end()
Return the iterator pointing to the end of the argument list.
FunctionType * getFunctionType() const
unsigned arg_size() const
This class represents a function call, abstracting a target machine's calling convention.
bool isMustTailCall() const
This class is the base class for the comparison instructions.
Predicate
This enumeration lists the possible predicates for CmpInst subclasses.
@ FCMP_OEQ
0 0 0 1 True if ordered and equal
@ FCMP_TRUE
1 1 1 1 Always true (always folded)
@ ICMP_SLT
signed less than
@ ICMP_SLE
signed less or equal
@ FCMP_OLT
0 1 0 0 True if ordered and less than
@ FCMP_ULE
1 1 0 1 True if unordered, less than, or equal
@ FCMP_OGT
0 0 1 0 True if ordered and greater than
@ FCMP_OGE
0 0 1 1 True if ordered and greater than or equal
@ ICMP_UGE
unsigned greater or equal
@ ICMP_UGT
unsigned greater than
@ ICMP_SGT
signed greater than
@ FCMP_ULT
1 1 0 0 True if unordered or less than
@ FCMP_ONE
0 1 1 0 True if ordered and operands are unequal
@ FCMP_UEQ
1 0 0 1 True if unordered or equal
@ ICMP_ULT
unsigned less than
@ FCMP_UGT
1 0 1 0 True if unordered or greater than
@ FCMP_OLE
0 1 0 1 True if ordered and less than or equal
@ FCMP_ORD
0 1 1 1 True if ordered (no nans)
@ ICMP_SGE
signed greater or equal
@ FCMP_UNE
1 1 1 0 True if unordered or not equal
@ ICMP_ULE
unsigned less or equal
@ FCMP_UGE
1 0 1 1 True if unordered, greater than, or equal
@ FCMP_FALSE
0 0 0 0 Always false (always folded)
@ FCMP_UNO
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
Predicate getPredicate() const
Return the predicate for this instruction.
ConstantFP - Floating Point Values [float, double].
static LLVM_ABI ConstantInt * getTrue(LLVMContext &Context)
static LLVM_ABI Constant * getNullValue(Type *Ty)
Constructor to create a '0' constant of arbitrary type.
LLVM_ABI bool isEntryValue() const
Check if the expression consists of exactly one entry value operand.
LLVM_ABI std::pair< DIExpression *, const ConstantInt * > constantFold(const ConstantInt *CI)
Try to shorten an expression with an initial constant operand.
static LLVM_ABI DIExpression * prependOpcodes(const DIExpression *Expr, SmallVectorImpl< uint64_t > &Ops, bool StackValue=false, bool EntryValue=false)
Prepend DIExpr with the given opcodes and optionally turn it into a stack value.
bool isValidLocationForIntrinsic(const DILocation *DL) const
Check that a location is valid for this variable.
A parsed version of the target data layout string in and methods for querying it.
Records a position in IR for a source label (DILabel).
Base class for non-instruction debug metadata records that have positions within IR.
DebugLoc getDebugLoc() const
Record of a variable value-assignment, aka a non instruction representation of the dbg....
LocationType getType() const
LLVM_ABI Value * getVariableLocationOp(unsigned OpIdx) const
DIExpression * getExpression() const
DILocalVariable * getVariable() const
DenseMapIterator< KeyT, ValueT, KeyInfoT, BucketT > iterator
MachineRegisterInfo & MRI
const TargetLibraryInfo * LibInfo
bool selectGetElementPtr(const User *I)
void setLastLocalValue(MachineInstr *I)
Update the position of the last instruction emitted for materializing constants for use in the curren...
bool selectStackmap(const CallInst *I)
Register fastEmitInst_ri(unsigned MachineInstOpcode, const TargetRegisterClass *RC, Register Op0, uint64_t Imm)
Emit a MachineInstr with a register operand, an immediate, and a result register in the given registe...
bool selectExtractValue(const User *U)
DenseMap< const Value *, Register > LocalValueMap
void fastEmitBranch(MachineBasicBlock *MSucc, const DebugLoc &DbgLoc)
Emit an unconditional branch to the given block, unless it is the immediate (fall-through) successor,...
FastISel(FunctionLoweringInfo &FuncInfo, const TargetLibraryInfo *LibInfo, const LibcallLoweringInfo *LibcallLowering, bool SkipTargetIndependentISel=false)
MachineInstr * EmitStartPt
The top most instruction in the current block that is allowed for emitting local variables.
bool selectXRayCustomEvent(const CallInst *II)
virtual Register fastEmit_r(MVT VT, MVT RetVT, unsigned Opcode, Register Op0)
This method is called by target-independent code to request that an instruction with the given type,...
Register fastEmitInst_(unsigned MachineInstOpcode, const TargetRegisterClass *RC)
Emit a MachineInstr with no operands and a result register in the given register class.
Register fastEmitInst_rr(unsigned MachineInstOpcode, const TargetRegisterClass *RC, Register Op0, Register Op1)
Emit a MachineInstr with two register operands and a result register in the given register class.
virtual Register fastEmit_rr(MVT VT, MVT RetVT, unsigned Opcode, Register Op0, Register Op1)
This method is called by target-independent code to request that an instruction with the given type,...
const LibcallLoweringInfo * LibcallLowering
virtual bool fastLowerIntrinsicCall(const IntrinsicInst *II)
This method is called by target-independent code to do target- specific intrinsic lowering.
virtual bool lowerDbgDeclare(const Value *V, DIExpression *Expr, DILocalVariable *Var, const DebugLoc &DL)
Target-independent lowering of debug information.
MachineInstr * getLastLocalValue()
Return the position of the last instruction emitted for materializing constants for use in the curren...
bool lowerCall(const CallInst *I)
void leaveLocalValueArea(SavePoint Old)
Reset InsertPt to the given old insert position.
virtual Register fastMaterializeConstant(const Constant *C)
Emit a constant in a register using target-specific logic, such as constant pool loads.
Register fastEmitInst_rrr(unsigned MachineInstOpcode, const TargetRegisterClass *RC, Register Op0, Register Op1, Register Op2)
Emit a MachineInstr with three register operands and a result register in the given register class.
bool lowerCallTo(const CallInst *CI, MCSymbol *Symbol, unsigned NumArgs)
virtual Register fastEmit_i(MVT VT, MVT RetVT, unsigned Opcode, uint64_t Imm)
This method is called by target-independent code to request that an instruction with the given type,...
virtual Register fastEmit_f(MVT VT, MVT RetVT, unsigned Opcode, const ConstantFP *FPImm)
This method is called by target-independent code to request that an instruction with the given type,...
void handleDbgInfo(const Instruction *II)
Target-independent lowering of non-instruction debug info associated with this instruction.
bool selectFreeze(const User *I)
bool selectIntrinsicCall(const IntrinsicInst *II)
Register getRegForGEPIndex(MVT PtrVT, const Value *Idx)
This is a wrapper around getRegForValue that also takes care of truncating or sign-extending the give...
bool selectCast(const User *I, unsigned Opcode)
bool tryToFoldLoad(const LoadInst *LI, const Instruction *FoldInst)
We're checking to see if we can fold LI into FoldInst.
Register getRegForValue(const Value *V)
Create a virtual register and arrange for it to be assigned the value for the given LLVM value.
void removeDeadCode(MachineBasicBlock::iterator I, MachineBasicBlock::iterator E)
Remove all dead instructions between the I and E.
virtual Register fastMaterializeFloatZero(const ConstantFP *CF)
Emit the floating-point constant +0.0 in a register using target- specific logic.
void startNewBlock()
Set the current block to which generated machine instructions will be appended.
MachineMemOperand * createMachineMemOperandFor(const Instruction *I) const
Create a machine mem operand from the given instruction.
virtual bool tryToFoldLoadIntoMI(MachineInstr *, unsigned, const LoadInst *)
The specified machine instr operand is a vreg, and that vreg is being provided by the specified load ...
Register fastEmitInst_i(unsigned MachineInstOpcode, const TargetRegisterClass *RC, uint64_t Imm)
Emit a MachineInstr with a single immediate operand, and a result register in the given register clas...
Register fastEmitInst_rii(unsigned MachineInstOpcode, const TargetRegisterClass *RC, Register Op0, uint64_t Imm1, uint64_t Imm2)
Emit a MachineInstr with one register operand and two immediate operands.
bool canFoldAddIntoGEP(const User *GEP, const Value *Add)
Check if Add is an add that can be safely folded into GEP.
virtual bool lowerDbgValue(const Value *V, DIExpression *Expr, DILocalVariable *Var, const DebugLoc &DL)
Target-independent lowering of debug information.
TargetLoweringBase::ArgListTy ArgListTy
bool selectInstruction(const Instruction *I)
Do "fast" instruction selection for the given LLVM IR instruction and append the generated machine in...
virtual bool fastLowerCall(CallLoweringInfo &CLI)
This method is called by target-independent code to do target- specific call lowering.
bool selectXRayTypedEvent(const CallInst *II)
virtual Register fastMaterializeAlloca(const AllocaInst *C)
Emit an alloca address in a register using target-specific logic.
Register fastEmitZExtFromI1(MVT VT, Register Op0)
Emit MachineInstrs to compute the value of Op with all but the least significant bit set to zero.
Register createResultReg(const TargetRegisterClass *RC)
virtual bool fastLowerArguments()
This method is called by target-independent code to do target- specific argument lowering.
bool selectFNeg(const User *I, const Value *In)
Emit an FNeg operation.
const TargetInstrInfo & TII
bool selectCall(const User *I)
Register lookUpRegForValue(const Value *V)
Look up the value to see if its value is already cached in a register.
CmpInst::Predicate optimizeCmpPredicate(const CmpInst *CI) const
virtual Register fastEmit_(MVT VT, MVT RetVT, unsigned Opcode)
This method is called by target-independent code to request that an instruction with the given type a...
void finishBasicBlock()
Flush the local value map.
Register fastEmitInst_r(unsigned MachineInstOpcode, const TargetRegisterClass *RC, Register Op0)
Emit a MachineInstr with one register operand and a result register in the given register class.
Register fastEmitInst_rri(unsigned MachineInstOpcode, const TargetRegisterClass *RC, Register Op0, Register Op1, uint64_t Imm)
Emit a MachineInstr with two register operands, an immediate, and a result register in the given regi...
FunctionLoweringInfo & FuncInfo
MachineConstantPool & MCP
bool selectOperator(const User *I, unsigned Opcode)
Do "fast" instruction selection for the given LLVM IR operator (Instruction or ConstantExpr),...
bool SkipTargetIndependentISel
Register fastEmitInst_f(unsigned MachineInstOpcode, const TargetRegisterClass *RC, const ConstantFP *FPImm)
Emit a MachineInstr with a floating point immediate, and a result register in the given register clas...
Register constrainOperandRegClass(const MCInstrDesc &II, Register Op, unsigned OpNum)
Try to constrain Op so that it is usable by argument OpNum of the provided MCInstrDesc.
MachineBasicBlock::iterator SavePoint
Register fastEmitInst_extractsubreg(MVT RetVT, Register Op0, uint32_t Idx)
Emit a MachineInstr for an extract_subreg from a specified index of a superregister to a specified ty...
void updateValueMap(const Value *I, Register Reg, unsigned NumRegs=1)
Update the value map to include the new mapping for this instruction, or insert an extra copy to get ...
bool selectBinaryOp(const User *I, unsigned ISDOpcode)
Select and emit code for a binary operator instruction, which has an opcode which directly correspond...
bool selectPatchpoint(const CallInst *I)
void recomputeInsertPt()
Reset InsertPt to prepare for inserting instructions into the current block.
virtual bool fastSelectInstruction(const Instruction *I)=0
This method is called by target-independent code when the normal FastISel process fails to select an ...
const TargetLowering & TLI
virtual Register fastEmit_ri(MVT VT, MVT RetVT, unsigned Opcode, Register Op0, uint64_t Imm)
This method is called by target-independent code to request that an instruction with the given type,...
MachineInstr * LastLocalValue
The position of the last instruction for materializing constants for use in the current block.
bool lowerArguments()
Do "fast" instruction selection for function arguments and append the machine instructions to the cur...
SavePoint enterLocalValueArea()
Prepare InsertPt to begin inserting instructions into the local value area and return the old insert ...
void finishCondBranch(const BasicBlock *BranchBB, MachineBasicBlock *TrueMBB, MachineBasicBlock *FalseMBB)
Emit an unconditional branch to FalseMBB, obtains the branch weight and adds TrueMBB and FalseMBB to ...
bool selectBitCast(const User *I)
Register fastEmit_ri_(MVT VT, unsigned Opcode, Register Op0, uint64_t Imm, MVT ImmType)
This method is a wrapper of fastEmit_ri.
const TargetRegisterInfo & TRI
TargetLoweringBase::ArgListEntry ArgListEntry
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
MachineBasicBlock * getMBB(const BasicBlock *BB) const
unsigned OrigNumPHINodesToUpdate
MachineBasicBlock::iterator InsertPt
MBB - The current insert position inside the current block.
MachineBasicBlock * MBB
MBB - The current block.
std::vector< std::pair< MachineInstr *, Register > > PHINodesToUpdate
PHINodesToUpdate - A list of phi instructions whose operand list will be updated after processing the...
Class to represent function types.
const Argument * const_arg_iterator
const DebugLoc & getDebugLoc() const
Return the debug location for this node as a DebugLoc.
Instruction * user_back()
Specialize the methods defined in Value, as we know that an instruction can only be used by other ins...
MDNode * getMetadata(unsigned KindID) const
Get the metadata of given kind attached to this Instruction.
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.
Tracks which library functions to use for a particular subtarget.
An instruction for reading from memory.
bool isVolatile() const
Return true if this is a load from a volatile memory location.
Context object for machine code objects.
Describe properties that are true of each instruction in the target description file.
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
TypeSize getSizeInBits() const
Returns the size of the specified MVT in bits.
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
LLVM_ABI iterator getFirstNonPHI()
Returns a pointer to the first instruction in this block that is not a PHINode instruction.
MachineInstrBundleIterator< MachineInstr, true > reverse_iterator
MachineInstrBundleIterator< MachineInstr > iterator
const MachineInstrBuilder & addExternalSymbol(const char *FnName, unsigned TargetFlags=0) const
const MachineInstrBuilder & addCImm(const ConstantInt *Val) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
const MachineInstrBuilder & add(const MachineOperand &MO) const
const MachineInstrBuilder & addMetadata(const MDNode *MD) const
const MachineInstrBuilder & addFPImm(const ConstantFP *Val) const
const MachineInstrBuilder & addReg(Register RegNo, unsigned Flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
Representation of each machine instruction.
LLVM_ABI void setHeapAllocMarker(MachineFunction &MF, MDNode *MD)
Set a marker on instructions that denotes where we should create and emit heap alloc site labels.
LLVM_ABI void eraseFromParent()
Unlink 'this' from the containing basic block and delete it.
LLVM_ABI void setPhysRegsDeadExcept(ArrayRef< Register > UsedRegs, const TargetRegisterInfo &TRI)
Mark every physreg used by this instruction as dead except those in the UsedRegs list.
A description of a memory reference used in the backend.
Flags
Flags values. These may be or'd together.
@ MOVolatile
The memory access is volatile.
@ MODereferenceable
The memory access is dereferenceable (i.e., doesn't trap).
@ MOLoad
The memory access reads data.
@ MONonTemporal
The memory access is non-temporal.
@ MOInvariant
The memory access always returns the same value (or traps).
@ MOStore
The memory access writes data.
MachineOperand class - Representation of each machine instruction operand.
static MachineOperand CreateRegMask(const uint32_t *Mask)
CreateRegMask - Creates a register mask operand referencing Mask.
MachineInstr * getParent()
getParent - Return the instruction that this operand belongs to.
static MachineOperand CreateImm(int64_t Val)
static MachineOperand CreateGA(const GlobalValue *GV, int64_t Offset, unsigned TargetFlags=0)
static MachineOperand CreateReg(Register Reg, bool isDef, bool isImp=false, bool isKill=false, bool isDead=false, bool isUndef=false, bool isEarlyClobber=false, unsigned SubReg=0, bool isDebug=false, bool isInternalRead=false, bool isRenamable=false)
static MachineOperand CreateFI(int Idx)
unsigned getOperandNo() const
getOperandNo - Return the operand # of this MachineOperand in its MachineInstr.
defusechain_iterator< true, true, false, true, false > reg_iterator
reg_iterator/reg_begin/reg_end - Walk all defs and uses of the specified register.
LLVM_ABI void getNameWithPrefix(raw_ostream &OS, const GlobalValue *GV, bool CannotUsePrivateLabel) const
Print the appropriate prefix and the specified global variable's name.
Wrapper class representing virtual and physical registers.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
constexpr unsigned id() const
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.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
Class to represent struct types.
Provides information about what library functions are available for the current target.
EVT getValueType(const DataLayout &DL, Type *Ty, bool AllowUnknown=false) const
Return the EVT corresponding to this LLVM type.
bool isTypeLegal(EVT VT) const
Return true if the target has native support for the specified value type.
virtual MVT getPointerTy(const DataLayout &DL, uint32_t AS=0) const
Return the pointer type for the given address space, defaults to the pointer type from the data layou...
Target - Wrapper for Target specific information.
Triple - Helper class for working with autoconf configuration names.
ArchType getArch() const
Get the parsed architecture type of this triple.
bool isAArch64() const
Tests whether the target is AArch64 (little and big endian).
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Value * getOperand(unsigned i) const
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
bool hasOneUse() const
Return true if there is exactly one use of this value.
const ParentTy * getParent() const
#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.
@ AnyReg
OBSOLETED - Used for stack based JavaScript calls.
@ C
The default llvm calling convention, compatible with C.
@ ADD
Simple integer binary arithmetic operators.
@ SINT_TO_FP
[SU]INT_TO_FP - These operators convert integers (whose interpreted sign depends on the first letter)...
@ FADD
Simple binary floating point operators.
@ BITCAST
BITCAST - This operator converts between integer, vector and FP values, as if the value was stored to...
@ SIGN_EXTEND
Conversion operators.
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ SHL
Shift and rotation operations.
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
@ FP_TO_SINT
FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
@ AND
Bitwise operators - logical and, logical or, logical xor.
@ TRAP
TRAP - Trapping instruction.
@ TRUNCATE
TRUNCATE - Completely drop the high bits.
bool isBitwiseLogicOp(unsigned Opcode)
Whether this is bitwise logic opcode.
@ DW_OP_LLVM_arg
Only used in LLVM metadata.
std::reverse_iterator< iterator > rend() const
LLVM_ABI iterator begin() const
This is an optimization pass for GlobalISel generic memory operations.
FunctionAddr VTableAddr Value
LLVM_ABI void GetReturnInfo(CallingConv::ID CC, Type *ReturnType, AttributeList attr, SmallVectorImpl< ISD::OutputArg > &Outs, const TargetLowering &TLI, const DataLayout &DL)
Given an LLVM IR type and return type attributes, compute the return value EVTs and flags,...
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
void ComputeValueVTs(const TargetLowering &TLI, const DataLayout &DL, Type *Ty, SmallVectorImpl< EVT > &ValueVTs, SmallVectorImpl< EVT > *MemVTs=nullptr, SmallVectorImpl< TypeSize > *Offsets=nullptr, TypeSize StartingOffset=TypeSize::getZero())
ComputeValueVTs - Given an LLVM IR type, compute a sequence of EVTs that represent all the individual...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI void diagnoseDontCall(const CallInst &CI)
auto successors(const MachineBasicBlock *BB)
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
gep_type_iterator gep_type_end(const User *GEP)
unsigned Log2_64(uint64_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
auto reverse(ContainerTy &&C)
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
generic_gep_type_iterator<> gep_type_iterator
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...
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
bool isInTailCallPosition(const CallBase &Call, const TargetMachine &TM, bool ReturnsFirstArg=false)
Test if the given instruction is in a position to be optimized with a tail-call.
DWARFExpression::Operation Op
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)
PointerUnion< const Value *, const PseudoSourceValue * > ValueType
unsigned ComputeLinearIndex(Type *Ty, const unsigned *Indices, const unsigned *IndicesEnd, unsigned CurIndex=0)
Compute the linearized index of a member in a nested aggregate/struct/array.
A collection of metadata nodes that might be associated with a memory access used by the alias-analys...
bool isSimple() const
Test if the given EVT is simple (as opposed to being extended).
bool bitsGT(EVT VT) const
Return true if this has more bits than VT.
bool bitsLT(EVT VT) const
Return true if this has less bits than VT.
TypeSize getSizeInBits() const
Return the size of the specified value type in bits.
static LLVM_ABI EVT getEVT(Type *Ty, bool HandleUnknown=false)
Return the value type corresponding to the specified type.
MVT getSimpleVT() const
Return the SimpleValueType held in the specified simple EVT.
static EVT getIntegerVT(LLVMContext &Context, unsigned BitWidth)
Returns the EVT that represents an integer with the given number of bits.
SmallVector< ISD::ArgFlagsTy, 16 > OutFlags
SmallVector< Value *, 16 > OutVals
SmallVector< Register, 16 > OutRegs
CallLoweringInfo & setTailCall(bool Value=true)
SmallVector< Register, 4 > InRegs
CallLoweringInfo & setIsPatchPoint(bool Value=true)
CallLoweringInfo & setCallee(Type *ResultTy, FunctionType *FuncTy, const Value *Target, ArgListTy &&ArgsList, const CallBase &Call)
SmallVector< ISD::InputArg, 4 > Ins
This class contains a discriminated union of information about pointers in memory operands,...
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.