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())
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())
1165 if (
Call->isConvergent())
1170 TII.get(TargetOpcode::INLINEASM));
1174 const MDNode *SrcLoc =
Call->getMetadata(
"srcloc");
1189 if (!
II->hasDbgRecords())
1197 flushLocalValueMap();
1201 assert(DLR->getLabel() &&
"Missing label");
1203 TII.get(TargetOpcode::DBG_LABEL))
1221 if (
FuncInfo.PreprocessedDVRDeclares.contains(&DVR))
1246 if (CI->getBitWidth() > 64)
1254 .
addImm(CI->getZExtValue())
1271 assert(Arg->hasAttribute(Attribute::AttrKind::SwiftAsync));
1274 for (
auto [PhysReg, VirtReg] :
FuncInfo.RegInfo->liveins())
1275 if (Reg == VirtReg || Reg == PhysReg) {
1277 PhysReg, Var, Expr);
1281 LLVM_DEBUG(
dbgs() <<
"Dropping dbg.value: expression is entry_value but "
1282 "couldn't find a physical register\n");
1288 bool IsIndirect =
false;
1295 if (!
FuncInfo.MF->useDebugInstrRef()) {
1296 bool IsIndirect =
false;
1311 TII.get(TargetOpcode::DBG_INSTR_REF),
false, MOs,
1321 LLVM_DEBUG(
dbgs() <<
"Dropping debug info (bad/undef address)\n");
1325 std::optional<MachineOperand>
Op;
1348 "Expected inlined-at fields to agree");
1349 if (
FuncInfo.MF->useDebugInstrRef() &&
Op->isReg()) {
1357 TII.get(TargetOpcode::DBG_INSTR_REF),
false, *
Op,
1365 TII.get(TargetOpcode::DBG_VALUE),
true, *
Op, Var,
1373 dbgs() <<
"Dropping debug info (no materialized reg for address)\n");
1378 switch (
II->getIntrinsicID()) {
1382 case Intrinsic::lifetime_start:
1383 case Intrinsic::lifetime_end:
1385 case Intrinsic::donothing:
1387 case Intrinsic::sideeffect:
1389 case Intrinsic::assume:
1391 case Intrinsic::experimental_noalias_scope_decl:
1393 case Intrinsic::objectsize:
1396 case Intrinsic::is_constant:
1399 case Intrinsic::allow_runtime_check:
1400 case Intrinsic::allow_ubsan_check: {
1408 case Intrinsic::launder_invariant_group:
1409 case Intrinsic::strip_invariant_group:
1410 case Intrinsic::expect:
1411 case Intrinsic::expect_with_probability: {
1418 case Intrinsic::fake_use:
1421 case Intrinsic::experimental_stackmap:
1423 case Intrinsic::experimental_patchpoint_void:
1424 case Intrinsic::experimental_patchpoint:
1427 case Intrinsic::xray_customevent:
1429 case Intrinsic::xray_typedevent:
1437 EVT SrcVT =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1438 EVT DstVT =
TLI.getValueType(
DL,
I->getType());
1440 if (SrcVT == MVT::Other || !SrcVT.
isSimple() || DstVT == MVT::Other ||
1446 if (!
TLI.isTypeLegal(DstVT))
1450 if (!
TLI.isTypeLegal(SrcVT))
1468 EVT SrcEVT =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1469 EVT DstEVT =
TLI.getValueType(
DL,
I->getType());
1470 if (SrcEVT == MVT::Other || DstEVT == MVT::Other ||
1471 !
TLI.isTypeLegal(SrcEVT) || !
TLI.isTypeLegal(DstEVT))
1482 if (SrcVT == DstVT) {
1502 EVT ETy =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1503 if (ETy == MVT::Other || !
TLI.isTypeLegal(ETy))
1511 TII.get(TargetOpcode::COPY), ResultReg).
addReg(Reg);
1519void FastISel::removeDeadLocalValueCode(
MachineInstr *SavedLastLocalValue)
1522 if (CurLastLocalValue != SavedLastLocalValue) {
1527 if (SavedLastLocalValue)
1540 flushLocalValueMap();
1545 if (
I->isTerminator()) {
1546 if (!handlePHINodesInSuccessorBlocks(
I->getParent())) {
1551 removeDeadLocalValueCode(SavedLastLocalValue);
1558 for (
unsigned i = 0, e =
Call->getNumOperandBundles(); i != e; ++i)
1572 if (
F && !
F->hasLocalLinkage() &&
F->hasName() &&
1573 LibInfo->getLibFunc(
F->getName(), Func) &&
1574 LibInfo->hasOptimizedCodeGen(Func))
1578 if (
F &&
F->getIntrinsicID() == Intrinsic::trap &&
1579 Call->hasFnAttr(
"trap-func-name"))
1586 ++NumFastIselSuccessIndependent;
1592 if (SavedInsertPt !=
FuncInfo.InsertPt)
1598 ++NumFastIselSuccessTarget;
1604 if (SavedInsertPt !=
FuncInfo.InsertPt)
1609 if (
I->isTerminator()) {
1612 removeDeadLocalValueCode(SavedLastLocalValue);
1623 bool BlockHasMultipleInstrs = &BB->
front() != &BB->
back();
1624 if (BlockHasMultipleInstrs &&
FuncInfo.MBB->isLayoutSuccessor(MSucc)) {
1638 FuncInfo.MBB->addSuccessorWithoutProb(MSucc);
1647 if (TrueMBB != FalseMBB) {
1653 FuncInfo.MBB->addSuccessorWithoutProb(TrueMBB);
1666 EVT VT =
TLI.getValueType(
DL,
I->getType());
1679 if (!
TLI.isTypeLegal(IntVT))
1683 ISD::BITCAST, OpReg);
1713 if (!
TLI.isTypeLegal(VT) && VT != MVT::i1)
1723 ResultReg =
I->second;
1725 ResultReg =
FuncInfo.InitializeRegForValue(Op0);
1735 for (
unsigned i = 0; i < VTIndex; i++)
1736 ResultReg = ResultReg.
id() +
1737 TLI.getNumRegisters(
FuncInfo.Fn->getContext(), AggValueVTs[i]);
1745 case Instruction::Add:
1747 case Instruction::FAdd:
1749 case Instruction::Sub:
1751 case Instruction::FSub:
1753 case Instruction::Mul:
1755 case Instruction::FMul:
1757 case Instruction::SDiv:
1759 case Instruction::UDiv:
1761 case Instruction::FDiv:
1763 case Instruction::SRem:
1765 case Instruction::URem:
1767 case Instruction::FRem:
1769 case Instruction::Shl:
1771 case Instruction::LShr:
1773 case Instruction::AShr:
1775 case Instruction::And:
1777 case Instruction::Or:
1779 case Instruction::Xor:
1782 case Instruction::FNeg:
1785 case Instruction::GetElementPtr:
1788 case Instruction::Br: {
1803 case Instruction::Unreachable: {
1805 if (!UI->shouldLowerToTrap(
TM.Options.TrapUnreachable,
1806 TM.Options.NoTrapAfterNoreturn))
1809 return fastEmit_(MVT::Other, MVT::Other, ISD::TRAP) != 0;
1812 case Instruction::Alloca:
1820 case Instruction::Call:
1831 case Instruction::BitCast:
1834 case Instruction::FPToSI:
1836 case Instruction::ZExt:
1838 case Instruction::SExt:
1840 case Instruction::Trunc:
1842 case Instruction::SIToFP:
1845 case Instruction::IntToPtr:
1846 case Instruction::PtrToInt: {
1847 EVT SrcVT =
TLI.getValueType(
DL,
I->getOperand(0)->getType());
1848 EVT DstVT =
TLI.getValueType(
DL,
I->getType());
1860 case Instruction::ExtractValue:
1863 case Instruction::Freeze:
1866 case Instruction::PHI:
1881 TII(*
MF->getSubtarget().getInstrInfo()),
1882 TLI(*
MF->getSubtarget().getTargetLowering()),
1957 return fastEmit_rr(VT, VT, Opcode, Op0, MaterialReg);
1961 return MRI.createVirtualRegister(RC);
1966 if (
Op.isVirtual()) {
1969 if (!
MRI.constrainRegClass(
Op, RegClass)) {
1997 if (
II.getNumDefs() >= 1)
2020 if (
II.getNumDefs() >= 1)
2045 if (
II.getNumDefs() >= 1)
2070 if (
II.getNumDefs() >= 1)
2093 if (
II.getNumDefs() >= 1)
2117 if (
II.getNumDefs() >= 1)
2139 if (
II.getNumDefs() >= 1)
2161 if (
II.getNumDefs() >= 1)
2178 MRI.constrainRegClass(Op0,
TRI.getSubClassWithSubReg(RC, Idx));
2180 ResultReg).
addReg(Op0, 0, Idx);
2196bool FastISel::handlePHINodesInSuccessorBlocks(
const BasicBlock *LLVMBB) {
2209 if (!SuccsHandled.
insert(SuccMBB).second)
2217 for (
const PHINode &PN : SuccBB->phis()) {
2231 if (!(VT == MVT::i1 || VT == MVT::i8 || VT == MVT::i16)) {
2237 const Value *PHIOp = PN.getIncomingValueForBlock(LLVMBB);
2243 MIMD = MIMetadata(*Inst);
2260 "tryToFoldLoad expected a LoadInst with a single use");
2264 unsigned MaxUsers = 6;
2267 while (TheUser != FoldInst &&
2280 if (TheUser != FoldInst)
2298 if (!
MRI.hasOneUse(LoadReg))
2303 if (
FuncInfo.RegsWithFixups.contains(LoadReg))
2324 if (
DL.getTypeSizeInBits(
GEP->getType()) !=
2325 DL.getTypeSizeInBits(
Add->getType()))
2344 Alignment = LI->getAlign();
2345 IsVolatile = LI->isVolatile();
2347 Ptr = LI->getPointerOperand();
2348 ValTy = LI->getType();
2350 Alignment =
SI->getAlign();
2351 IsVolatile =
SI->isVolatile();
2353 Ptr =
SI->getPointerOperand();
2354 ValTy =
SI->getValueOperand()->getType();
2358 bool IsNonTemporal =
I->hasMetadata(LLVMContext::MD_nontemporal);
2359 bool IsInvariant =
I->hasMetadata(LLVMContext::MD_invariant_load);
2360 bool IsDereferenceable =
I->hasMetadata(LLVMContext::MD_dereferenceable);
2361 const MDNode *Ranges =
I->getMetadata(LLVMContext::MD_range);
2366 Alignment =
DL.getABITypeAlign(ValTy);
2368 unsigned Size =
DL.getTypeStoreSize(ValTy);
2374 if (IsDereferenceable)
2380 *Alignment, AAInfo, Ranges);
2389 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)
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.
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
DIExpression * getExpression() const
LLVM_ABI Value * getVariableLocationOp(unsigned OpIdx) 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,...
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,...
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...
FastISel(FunctionLoweringInfo &FuncInfo, const TargetLibraryInfo *LibInfo, bool SkipTargetIndependentISel=false)
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.
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 & addReg(Register RegNo, unsigned flags=0, unsigned SubReg=0) const
Add a new virtual register operand.
const MachineInstrBuilder & addFPImm(const ConstantFP *Val) const
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.
@ SIGN_EXTEND
Conversion operators.
@ 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.
@ 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.
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
void ComputeValueVTs(const TargetLowering &TLI, const DataLayout &DL, Type *Ty, SmallVectorImpl< EVT > &ValueVTs, SmallVectorImpl< EVT > *MemVTs, 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) 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...
static constexpr roundingMode rmTowardZero
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.