xref: /freebsd/contrib/llvm-project/llvm/lib/CodeGen/SelectionDAG/InstrEmitter.cpp (revision 1db9f3b21e39176dd5b67cf8ac378633b172463e)
10b57cec5SDimitry Andric //==--- InstrEmitter.cpp - Emit MachineInstrs for the SelectionDAG class ---==//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This implements the Emit routines for the SelectionDAG class, which creates
100b57cec5SDimitry Andric // MachineInstrs based on the decisions of the SelectionDAG instruction
110b57cec5SDimitry Andric // selection.
120b57cec5SDimitry Andric //
130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric #include "InstrEmitter.h"
160b57cec5SDimitry Andric #include "SDNodeDbgValue.h"
1781ad6265SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineConstantPool.h"
190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
220b57cec5SDimitry Andric #include "llvm/CodeGen/StackMaps.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
250b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
2681ad6265SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
27e8d8bef9SDimitry Andric #include "llvm/IR/PseudoProbe.h"
280b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
295ffd83dbSDimitry Andric #include "llvm/Target/TargetMachine.h"
300b57cec5SDimitry Andric using namespace llvm;
310b57cec5SDimitry Andric 
320b57cec5SDimitry Andric #define DEBUG_TYPE "instr-emitter"
330b57cec5SDimitry Andric 
340b57cec5SDimitry Andric /// MinRCSize - Smallest register class we allow when constraining virtual
350b57cec5SDimitry Andric /// registers.  If satisfying all register class constraints would require
360b57cec5SDimitry Andric /// using a smaller register class, emit a COPY to a new virtual register
370b57cec5SDimitry Andric /// instead.
380b57cec5SDimitry Andric const unsigned MinRCSize = 4;
390b57cec5SDimitry Andric 
400b57cec5SDimitry Andric /// CountResults - The results of target nodes have register or immediate
410b57cec5SDimitry Andric /// operands first, then an optional chain, and optional glue operands (which do
420b57cec5SDimitry Andric /// not go into the resulting MachineInstr).
430b57cec5SDimitry Andric unsigned InstrEmitter::CountResults(SDNode *Node) {
440b57cec5SDimitry Andric   unsigned N = Node->getNumValues();
450b57cec5SDimitry Andric   while (N && Node->getValueType(N - 1) == MVT::Glue)
460b57cec5SDimitry Andric     --N;
470b57cec5SDimitry Andric   if (N && Node->getValueType(N - 1) == MVT::Other)
480b57cec5SDimitry Andric     --N;    // Skip over chain result.
490b57cec5SDimitry Andric   return N;
500b57cec5SDimitry Andric }
510b57cec5SDimitry Andric 
520b57cec5SDimitry Andric /// countOperands - The inputs to target nodes have any actual inputs first,
530b57cec5SDimitry Andric /// followed by an optional chain operand, then an optional glue operand.
540b57cec5SDimitry Andric /// Compute the number of actual operands that will go into the resulting
550b57cec5SDimitry Andric /// MachineInstr.
560b57cec5SDimitry Andric ///
570b57cec5SDimitry Andric /// Also count physreg RegisterSDNode and RegisterMaskSDNode operands preceding
580b57cec5SDimitry Andric /// the chain and glue. These operands may be implicit on the machine instr.
590b57cec5SDimitry Andric static unsigned countOperands(SDNode *Node, unsigned NumExpUses,
600b57cec5SDimitry Andric                               unsigned &NumImpUses) {
610b57cec5SDimitry Andric   unsigned N = Node->getNumOperands();
620b57cec5SDimitry Andric   while (N && Node->getOperand(N - 1).getValueType() == MVT::Glue)
630b57cec5SDimitry Andric     --N;
640b57cec5SDimitry Andric   if (N && Node->getOperand(N - 1).getValueType() == MVT::Other)
650b57cec5SDimitry Andric     --N; // Ignore chain if it exists.
660b57cec5SDimitry Andric 
670b57cec5SDimitry Andric   // Count RegisterSDNode and RegisterMaskSDNode operands for NumImpUses.
680b57cec5SDimitry Andric   NumImpUses = N - NumExpUses;
690b57cec5SDimitry Andric   for (unsigned I = N; I > NumExpUses; --I) {
700b57cec5SDimitry Andric     if (isa<RegisterMaskSDNode>(Node->getOperand(I - 1)))
710b57cec5SDimitry Andric       continue;
720b57cec5SDimitry Andric     if (RegisterSDNode *RN = dyn_cast<RegisterSDNode>(Node->getOperand(I - 1)))
73bdd1243dSDimitry Andric       if (RN->getReg().isPhysical())
740b57cec5SDimitry Andric         continue;
750b57cec5SDimitry Andric     NumImpUses = N - I;
760b57cec5SDimitry Andric     break;
770b57cec5SDimitry Andric   }
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric   return N;
800b57cec5SDimitry Andric }
810b57cec5SDimitry Andric 
820b57cec5SDimitry Andric /// EmitCopyFromReg - Generate machine code for an CopyFromReg node or an
830b57cec5SDimitry Andric /// implicit physical register output.
84bdd1243dSDimitry Andric void InstrEmitter::EmitCopyFromReg(SDNode *Node, unsigned ResNo, bool IsClone,
85bdd1243dSDimitry Andric                                    Register SrcReg,
86bdd1243dSDimitry Andric                                    DenseMap<SDValue, Register> &VRBaseMap) {
875ffd83dbSDimitry Andric   Register VRBase;
885ffd83dbSDimitry Andric   if (SrcReg.isVirtual()) {
890b57cec5SDimitry Andric     // Just use the input register directly!
900b57cec5SDimitry Andric     SDValue Op(Node, ResNo);
910b57cec5SDimitry Andric     if (IsClone)
920b57cec5SDimitry Andric       VRBaseMap.erase(Op);
930b57cec5SDimitry Andric     bool isNew = VRBaseMap.insert(std::make_pair(Op, SrcReg)).second;
940b57cec5SDimitry Andric     (void)isNew; // Silence compiler warning.
950b57cec5SDimitry Andric     assert(isNew && "Node emitted out of order - early");
960b57cec5SDimitry Andric     return;
970b57cec5SDimitry Andric   }
980b57cec5SDimitry Andric 
990b57cec5SDimitry Andric   // If the node is only used by a CopyToReg and the dest reg is a vreg, use
1000b57cec5SDimitry Andric   // the CopyToReg'd destination register instead of creating a new vreg.
1010b57cec5SDimitry Andric   bool MatchReg = true;
1020b57cec5SDimitry Andric   const TargetRegisterClass *UseRC = nullptr;
1030b57cec5SDimitry Andric   MVT VT = Node->getSimpleValueType(ResNo);
1040b57cec5SDimitry Andric 
1050b57cec5SDimitry Andric   // Stick to the preferred register classes for legal types.
1060b57cec5SDimitry Andric   if (TLI->isTypeLegal(VT))
1070b57cec5SDimitry Andric     UseRC = TLI->getRegClassFor(VT, Node->isDivergent());
1080b57cec5SDimitry Andric 
1090b57cec5SDimitry Andric   for (SDNode *User : Node->uses()) {
1100b57cec5SDimitry Andric     bool Match = true;
1110b57cec5SDimitry Andric     if (User->getOpcode() == ISD::CopyToReg &&
1120b57cec5SDimitry Andric         User->getOperand(2).getNode() == Node &&
1130b57cec5SDimitry Andric         User->getOperand(2).getResNo() == ResNo) {
1145ffd83dbSDimitry Andric       Register DestReg = cast<RegisterSDNode>(User->getOperand(1))->getReg();
1155ffd83dbSDimitry Andric       if (DestReg.isVirtual()) {
1160b57cec5SDimitry Andric         VRBase = DestReg;
1170b57cec5SDimitry Andric         Match = false;
1180b57cec5SDimitry Andric       } else if (DestReg != SrcReg)
1190b57cec5SDimitry Andric         Match = false;
1200b57cec5SDimitry Andric     } else {
1210b57cec5SDimitry Andric       for (unsigned i = 0, e = User->getNumOperands(); i != e; ++i) {
1220b57cec5SDimitry Andric         SDValue Op = User->getOperand(i);
1230b57cec5SDimitry Andric         if (Op.getNode() != Node || Op.getResNo() != ResNo)
1240b57cec5SDimitry Andric           continue;
1250b57cec5SDimitry Andric         MVT VT = Node->getSimpleValueType(Op.getResNo());
1260b57cec5SDimitry Andric         if (VT == MVT::Other || VT == MVT::Glue)
1270b57cec5SDimitry Andric           continue;
1280b57cec5SDimitry Andric         Match = false;
1290b57cec5SDimitry Andric         if (User->isMachineOpcode()) {
1300b57cec5SDimitry Andric           const MCInstrDesc &II = TII->get(User->getMachineOpcode());
1310b57cec5SDimitry Andric           const TargetRegisterClass *RC = nullptr;
1320b57cec5SDimitry Andric           if (i + II.getNumDefs() < II.getNumOperands()) {
1330b57cec5SDimitry Andric             RC = TRI->getAllocatableClass(
1340b57cec5SDimitry Andric                 TII->getRegClass(II, i + II.getNumDefs(), TRI, *MF));
1350b57cec5SDimitry Andric           }
1360b57cec5SDimitry Andric           if (!UseRC)
1370b57cec5SDimitry Andric             UseRC = RC;
1380b57cec5SDimitry Andric           else if (RC) {
1390b57cec5SDimitry Andric             const TargetRegisterClass *ComRC =
1408bcb0991SDimitry Andric                 TRI->getCommonSubClass(UseRC, RC);
1410b57cec5SDimitry Andric             // If multiple uses expect disjoint register classes, we emit
1420b57cec5SDimitry Andric             // copies in AddRegisterOperand.
1430b57cec5SDimitry Andric             if (ComRC)
1440b57cec5SDimitry Andric               UseRC = ComRC;
1450b57cec5SDimitry Andric           }
1460b57cec5SDimitry Andric         }
1470b57cec5SDimitry Andric       }
1480b57cec5SDimitry Andric     }
1490b57cec5SDimitry Andric     MatchReg &= Match;
1500b57cec5SDimitry Andric     if (VRBase)
1510b57cec5SDimitry Andric       break;
1520b57cec5SDimitry Andric   }
1530b57cec5SDimitry Andric 
1540b57cec5SDimitry Andric   const TargetRegisterClass *SrcRC = nullptr, *DstRC = nullptr;
1550b57cec5SDimitry Andric   SrcRC = TRI->getMinimalPhysRegClass(SrcReg, VT);
1560b57cec5SDimitry Andric 
1570b57cec5SDimitry Andric   // Figure out the register class to create for the destreg.
1580b57cec5SDimitry Andric   if (VRBase) {
1590b57cec5SDimitry Andric     DstRC = MRI->getRegClass(VRBase);
1600b57cec5SDimitry Andric   } else if (UseRC) {
1610b57cec5SDimitry Andric     assert(TRI->isTypeLegalForClass(*UseRC, VT) &&
1620b57cec5SDimitry Andric            "Incompatible phys register def and uses!");
1630b57cec5SDimitry Andric     DstRC = UseRC;
164fe6060f1SDimitry Andric   } else
165fe6060f1SDimitry Andric     DstRC = SrcRC;
1660b57cec5SDimitry Andric 
1670b57cec5SDimitry Andric   // If all uses are reading from the src physical register and copying the
1680b57cec5SDimitry Andric   // register is either impossible or very expensive, then don't create a copy.
1690b57cec5SDimitry Andric   if (MatchReg && SrcRC->getCopyCost() < 0) {
1700b57cec5SDimitry Andric     VRBase = SrcReg;
1710b57cec5SDimitry Andric   } else {
1720b57cec5SDimitry Andric     // Create the reg, emit the copy.
1730b57cec5SDimitry Andric     VRBase = MRI->createVirtualRegister(DstRC);
1740b57cec5SDimitry Andric     BuildMI(*MBB, InsertPos, Node->getDebugLoc(), TII->get(TargetOpcode::COPY),
1750b57cec5SDimitry Andric             VRBase).addReg(SrcReg);
1760b57cec5SDimitry Andric   }
1770b57cec5SDimitry Andric 
1780b57cec5SDimitry Andric   SDValue Op(Node, ResNo);
1790b57cec5SDimitry Andric   if (IsClone)
1800b57cec5SDimitry Andric     VRBaseMap.erase(Op);
1810b57cec5SDimitry Andric   bool isNew = VRBaseMap.insert(std::make_pair(Op, VRBase)).second;
1820b57cec5SDimitry Andric   (void)isNew; // Silence compiler warning.
1830b57cec5SDimitry Andric   assert(isNew && "Node emitted out of order - early");
1840b57cec5SDimitry Andric }
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric void InstrEmitter::CreateVirtualRegisters(SDNode *Node,
1870b57cec5SDimitry Andric                                        MachineInstrBuilder &MIB,
1880b57cec5SDimitry Andric                                        const MCInstrDesc &II,
1890b57cec5SDimitry Andric                                        bool IsClone, bool IsCloned,
1905ffd83dbSDimitry Andric                                        DenseMap<SDValue, Register> &VRBaseMap) {
1910b57cec5SDimitry Andric   assert(Node->getMachineOpcode() != TargetOpcode::IMPLICIT_DEF &&
1920b57cec5SDimitry Andric          "IMPLICIT_DEF should have been handled as a special case elsewhere!");
1930b57cec5SDimitry Andric 
1940b57cec5SDimitry Andric   unsigned NumResults = CountResults(Node);
1955ffd83dbSDimitry Andric   bool HasVRegVariadicDefs = !MF->getTarget().usesPhysRegsForValues() &&
1965ffd83dbSDimitry Andric                              II.isVariadic() && II.variadicOpsAreDefs();
1975ffd83dbSDimitry Andric   unsigned NumVRegs = HasVRegVariadicDefs ? NumResults : II.getNumDefs();
198e8d8bef9SDimitry Andric   if (Node->getMachineOpcode() == TargetOpcode::STATEPOINT)
199e8d8bef9SDimitry Andric     NumVRegs = NumResults;
2005ffd83dbSDimitry Andric   for (unsigned i = 0; i < NumVRegs; ++i) {
2010b57cec5SDimitry Andric     // If the specific node value is only used by a CopyToReg and the dest reg
2020b57cec5SDimitry Andric     // is a vreg in the same register class, use the CopyToReg'd destination
2030b57cec5SDimitry Andric     // register instead of creating a new vreg.
2045ffd83dbSDimitry Andric     Register VRBase;
2050b57cec5SDimitry Andric     const TargetRegisterClass *RC =
2060b57cec5SDimitry Andric       TRI->getAllocatableClass(TII->getRegClass(II, i, TRI, *MF));
2070b57cec5SDimitry Andric     // Always let the value type influence the used register class. The
2080b57cec5SDimitry Andric     // constraints on the instruction may be too lax to represent the value
2090b57cec5SDimitry Andric     // type correctly. For example, a 64-bit float (X86::FR64) can't live in
2100b57cec5SDimitry Andric     // the 32-bit float super-class (X86::FR32).
2110b57cec5SDimitry Andric     if (i < NumResults && TLI->isTypeLegal(Node->getSimpleValueType(i))) {
2120b57cec5SDimitry Andric       const TargetRegisterClass *VTRC = TLI->getRegClassFor(
2130b57cec5SDimitry Andric           Node->getSimpleValueType(i),
2140b57cec5SDimitry Andric           (Node->isDivergent() || (RC && TRI->isDivergentRegClass(RC))));
2150b57cec5SDimitry Andric       if (RC)
2160b57cec5SDimitry Andric         VTRC = TRI->getCommonSubClass(RC, VTRC);
2170b57cec5SDimitry Andric       if (VTRC)
2180b57cec5SDimitry Andric         RC = VTRC;
2190b57cec5SDimitry Andric     }
2200b57cec5SDimitry Andric 
221bdd1243dSDimitry Andric     if (!II.operands().empty() && II.operands()[i].isOptionalDef()) {
2220b57cec5SDimitry Andric       // Optional def must be a physical register.
2230b57cec5SDimitry Andric       VRBase = cast<RegisterSDNode>(Node->getOperand(i-NumResults))->getReg();
2245ffd83dbSDimitry Andric       assert(VRBase.isPhysical());
2250b57cec5SDimitry Andric       MIB.addReg(VRBase, RegState::Define);
2260b57cec5SDimitry Andric     }
2270b57cec5SDimitry Andric 
2280b57cec5SDimitry Andric     if (!VRBase && !IsClone && !IsCloned)
2290b57cec5SDimitry Andric       for (SDNode *User : Node->uses()) {
2300b57cec5SDimitry Andric         if (User->getOpcode() == ISD::CopyToReg &&
2310b57cec5SDimitry Andric             User->getOperand(2).getNode() == Node &&
2320b57cec5SDimitry Andric             User->getOperand(2).getResNo() == i) {
233bdd1243dSDimitry Andric           Register Reg = cast<RegisterSDNode>(User->getOperand(1))->getReg();
234bdd1243dSDimitry Andric           if (Reg.isVirtual()) {
2350b57cec5SDimitry Andric             const TargetRegisterClass *RegRC = MRI->getRegClass(Reg);
2360b57cec5SDimitry Andric             if (RegRC == RC) {
2370b57cec5SDimitry Andric               VRBase = Reg;
2380b57cec5SDimitry Andric               MIB.addReg(VRBase, RegState::Define);
2390b57cec5SDimitry Andric               break;
2400b57cec5SDimitry Andric             }
2410b57cec5SDimitry Andric           }
2420b57cec5SDimitry Andric         }
2430b57cec5SDimitry Andric       }
2440b57cec5SDimitry Andric 
2450b57cec5SDimitry Andric     // Create the result registers for this node and add the result regs to
2460b57cec5SDimitry Andric     // the machine instruction.
2470b57cec5SDimitry Andric     if (VRBase == 0) {
2480b57cec5SDimitry Andric       assert(RC && "Isn't a register operand!");
2490b57cec5SDimitry Andric       VRBase = MRI->createVirtualRegister(RC);
2500b57cec5SDimitry Andric       MIB.addReg(VRBase, RegState::Define);
2510b57cec5SDimitry Andric     }
2520b57cec5SDimitry Andric 
2530b57cec5SDimitry Andric     // If this def corresponds to a result of the SDNode insert the VRBase into
2540b57cec5SDimitry Andric     // the lookup map.
2550b57cec5SDimitry Andric     if (i < NumResults) {
2560b57cec5SDimitry Andric       SDValue Op(Node, i);
2570b57cec5SDimitry Andric       if (IsClone)
2580b57cec5SDimitry Andric         VRBaseMap.erase(Op);
2590b57cec5SDimitry Andric       bool isNew = VRBaseMap.insert(std::make_pair(Op, VRBase)).second;
2600b57cec5SDimitry Andric       (void)isNew; // Silence compiler warning.
2610b57cec5SDimitry Andric       assert(isNew && "Node emitted out of order - early");
2620b57cec5SDimitry Andric     }
2630b57cec5SDimitry Andric   }
2640b57cec5SDimitry Andric }
2650b57cec5SDimitry Andric 
2660b57cec5SDimitry Andric /// getVR - Return the virtual register corresponding to the specified result
2670b57cec5SDimitry Andric /// of the specified node.
2685ffd83dbSDimitry Andric Register InstrEmitter::getVR(SDValue Op,
2695ffd83dbSDimitry Andric                              DenseMap<SDValue, Register> &VRBaseMap) {
2700b57cec5SDimitry Andric   if (Op.isMachineOpcode() &&
2710b57cec5SDimitry Andric       Op.getMachineOpcode() == TargetOpcode::IMPLICIT_DEF) {
2720b57cec5SDimitry Andric     // Add an IMPLICIT_DEF instruction before every use.
2730b57cec5SDimitry Andric     // IMPLICIT_DEF can produce any type of result so its MCInstrDesc
2740b57cec5SDimitry Andric     // does not include operand register class info.
2750b57cec5SDimitry Andric     const TargetRegisterClass *RC = TLI->getRegClassFor(
2760b57cec5SDimitry Andric         Op.getSimpleValueType(), Op.getNode()->isDivergent());
2778bcb0991SDimitry Andric     Register VReg = MRI->createVirtualRegister(RC);
2780b57cec5SDimitry Andric     BuildMI(*MBB, InsertPos, Op.getDebugLoc(),
2790b57cec5SDimitry Andric             TII->get(TargetOpcode::IMPLICIT_DEF), VReg);
2800b57cec5SDimitry Andric     return VReg;
2810b57cec5SDimitry Andric   }
2820b57cec5SDimitry Andric 
2835ffd83dbSDimitry Andric   DenseMap<SDValue, Register>::iterator I = VRBaseMap.find(Op);
2840b57cec5SDimitry Andric   assert(I != VRBaseMap.end() && "Node emitted out of order - late");
2850b57cec5SDimitry Andric   return I->second;
2860b57cec5SDimitry Andric }
2870b57cec5SDimitry Andric 
2880b57cec5SDimitry Andric 
2890b57cec5SDimitry Andric /// AddRegisterOperand - Add the specified register as an operand to the
2900b57cec5SDimitry Andric /// specified machine instr. Insert register copies if the register is
2910b57cec5SDimitry Andric /// not in the required register class.
2920b57cec5SDimitry Andric void
2930b57cec5SDimitry Andric InstrEmitter::AddRegisterOperand(MachineInstrBuilder &MIB,
2940b57cec5SDimitry Andric                                  SDValue Op,
2950b57cec5SDimitry Andric                                  unsigned IIOpNum,
2960b57cec5SDimitry Andric                                  const MCInstrDesc *II,
2975ffd83dbSDimitry Andric                                  DenseMap<SDValue, Register> &VRBaseMap,
2980b57cec5SDimitry Andric                                  bool IsDebug, bool IsClone, bool IsCloned) {
2990b57cec5SDimitry Andric   assert(Op.getValueType() != MVT::Other &&
3000b57cec5SDimitry Andric          Op.getValueType() != MVT::Glue &&
3010b57cec5SDimitry Andric          "Chain and glue operands should occur at end of operand list!");
3020b57cec5SDimitry Andric   // Get/emit the operand.
3035ffd83dbSDimitry Andric   Register VReg = getVR(Op, VRBaseMap);
3040b57cec5SDimitry Andric 
3050b57cec5SDimitry Andric   const MCInstrDesc &MCID = MIB->getDesc();
3060b57cec5SDimitry Andric   bool isOptDef = IIOpNum < MCID.getNumOperands() &&
307bdd1243dSDimitry Andric                   MCID.operands()[IIOpNum].isOptionalDef();
3080b57cec5SDimitry Andric 
3090b57cec5SDimitry Andric   // If the instruction requires a register in a different class, create
3100b57cec5SDimitry Andric   // a new virtual register and copy the value into it, but first attempt to
3110b57cec5SDimitry Andric   // shrink VReg's register class within reason.  For example, if VReg == GR32
3120b57cec5SDimitry Andric   // and II requires a GR32_NOSP, just constrain VReg to GR32_NOSP.
3130b57cec5SDimitry Andric   if (II) {
3140b57cec5SDimitry Andric     const TargetRegisterClass *OpRC = nullptr;
3150b57cec5SDimitry Andric     if (IIOpNum < II->getNumOperands())
3160b57cec5SDimitry Andric       OpRC = TII->getRegClass(*II, IIOpNum, TRI, *MF);
3170b57cec5SDimitry Andric 
3180b57cec5SDimitry Andric     if (OpRC) {
31981ad6265SDimitry Andric       unsigned MinNumRegs = MinRCSize;
32081ad6265SDimitry Andric       // Don't apply any RC size limit for IMPLICIT_DEF. Each use has a unique
32181ad6265SDimitry Andric       // virtual register.
32281ad6265SDimitry Andric       if (Op.isMachineOpcode() &&
32381ad6265SDimitry Andric           Op.getMachineOpcode() == TargetOpcode::IMPLICIT_DEF)
32481ad6265SDimitry Andric         MinNumRegs = 0;
32581ad6265SDimitry Andric 
3260b57cec5SDimitry Andric       const TargetRegisterClass *ConstrainedRC
32781ad6265SDimitry Andric         = MRI->constrainRegClass(VReg, OpRC, MinNumRegs);
3280b57cec5SDimitry Andric       if (!ConstrainedRC) {
3290b57cec5SDimitry Andric         OpRC = TRI->getAllocatableClass(OpRC);
3300b57cec5SDimitry Andric         assert(OpRC && "Constraints cannot be fulfilled for allocation");
3318bcb0991SDimitry Andric         Register NewVReg = MRI->createVirtualRegister(OpRC);
3320b57cec5SDimitry Andric         BuildMI(*MBB, InsertPos, Op.getNode()->getDebugLoc(),
3330b57cec5SDimitry Andric                 TII->get(TargetOpcode::COPY), NewVReg).addReg(VReg);
3340b57cec5SDimitry Andric         VReg = NewVReg;
3350b57cec5SDimitry Andric       } else {
3360b57cec5SDimitry Andric         assert(ConstrainedRC->isAllocatable() &&
3370b57cec5SDimitry Andric            "Constraining an allocatable VReg produced an unallocatable class?");
3380b57cec5SDimitry Andric       }
3390b57cec5SDimitry Andric     }
3400b57cec5SDimitry Andric   }
3410b57cec5SDimitry Andric 
3420b57cec5SDimitry Andric   // If this value has only one use, that use is a kill. This is a
3430b57cec5SDimitry Andric   // conservative approximation. InstrEmitter does trivial coalescing
3440b57cec5SDimitry Andric   // with CopyFromReg nodes, so don't emit kill flags for them.
3450b57cec5SDimitry Andric   // Avoid kill flags on Schedule cloned nodes, since there will be
3460b57cec5SDimitry Andric   // multiple uses.
3470b57cec5SDimitry Andric   // Tied operands are never killed, so we need to check that. And that
3480b57cec5SDimitry Andric   // means we need to determine the index of the operand.
3490b57cec5SDimitry Andric   bool isKill = Op.hasOneUse() &&
3500b57cec5SDimitry Andric                 Op.getNode()->getOpcode() != ISD::CopyFromReg &&
3510b57cec5SDimitry Andric                 !IsDebug &&
3520b57cec5SDimitry Andric                 !(IsClone || IsCloned);
3530b57cec5SDimitry Andric   if (isKill) {
3540b57cec5SDimitry Andric     unsigned Idx = MIB->getNumOperands();
3550b57cec5SDimitry Andric     while (Idx > 0 &&
3560b57cec5SDimitry Andric            MIB->getOperand(Idx-1).isReg() &&
3570b57cec5SDimitry Andric            MIB->getOperand(Idx-1).isImplicit())
3580b57cec5SDimitry Andric       --Idx;
3590b57cec5SDimitry Andric     bool isTied = MCID.getOperandConstraint(Idx, MCOI::TIED_TO) != -1;
3600b57cec5SDimitry Andric     if (isTied)
3610b57cec5SDimitry Andric       isKill = false;
3620b57cec5SDimitry Andric   }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric   MIB.addReg(VReg, getDefRegState(isOptDef) | getKillRegState(isKill) |
3650b57cec5SDimitry Andric              getDebugRegState(IsDebug));
3660b57cec5SDimitry Andric }
3670b57cec5SDimitry Andric 
3680b57cec5SDimitry Andric /// AddOperand - Add the specified operand to the specified machine instr.  II
3690b57cec5SDimitry Andric /// specifies the instruction information for the node, and IIOpNum is the
3700b57cec5SDimitry Andric /// operand number (in the II) that we are adding.
3710b57cec5SDimitry Andric void InstrEmitter::AddOperand(MachineInstrBuilder &MIB,
3720b57cec5SDimitry Andric                               SDValue Op,
3730b57cec5SDimitry Andric                               unsigned IIOpNum,
3740b57cec5SDimitry Andric                               const MCInstrDesc *II,
3755ffd83dbSDimitry Andric                               DenseMap<SDValue, Register> &VRBaseMap,
3760b57cec5SDimitry Andric                               bool IsDebug, bool IsClone, bool IsCloned) {
3770b57cec5SDimitry Andric   if (Op.isMachineOpcode()) {
3780b57cec5SDimitry Andric     AddRegisterOperand(MIB, Op, IIOpNum, II, VRBaseMap,
3790b57cec5SDimitry Andric                        IsDebug, IsClone, IsCloned);
3800b57cec5SDimitry Andric   } else if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op)) {
3810b57cec5SDimitry Andric     MIB.addImm(C->getSExtValue());
3820b57cec5SDimitry Andric   } else if (ConstantFPSDNode *F = dyn_cast<ConstantFPSDNode>(Op)) {
3830b57cec5SDimitry Andric     MIB.addFPImm(F->getConstantFPValue());
3840b57cec5SDimitry Andric   } else if (RegisterSDNode *R = dyn_cast<RegisterSDNode>(Op)) {
3855ffd83dbSDimitry Andric     Register VReg = R->getReg();
3860b57cec5SDimitry Andric     MVT OpVT = Op.getSimpleValueType();
3870b57cec5SDimitry Andric     const TargetRegisterClass *IIRC =
3880b57cec5SDimitry Andric         II ? TRI->getAllocatableClass(TII->getRegClass(*II, IIOpNum, TRI, *MF))
3890b57cec5SDimitry Andric            : nullptr;
3900b57cec5SDimitry Andric     const TargetRegisterClass *OpRC =
3910b57cec5SDimitry Andric         TLI->isTypeLegal(OpVT)
3920b57cec5SDimitry Andric             ? TLI->getRegClassFor(OpVT,
3930b57cec5SDimitry Andric                                   Op.getNode()->isDivergent() ||
3940b57cec5SDimitry Andric                                       (IIRC && TRI->isDivergentRegClass(IIRC)))
3950b57cec5SDimitry Andric             : nullptr;
3960b57cec5SDimitry Andric 
397bdd1243dSDimitry Andric     if (OpRC && IIRC && OpRC != IIRC && VReg.isVirtual()) {
3988bcb0991SDimitry Andric       Register NewVReg = MRI->createVirtualRegister(IIRC);
3990b57cec5SDimitry Andric       BuildMI(*MBB, InsertPos, Op.getNode()->getDebugLoc(),
4000b57cec5SDimitry Andric                TII->get(TargetOpcode::COPY), NewVReg).addReg(VReg);
4010b57cec5SDimitry Andric       VReg = NewVReg;
4020b57cec5SDimitry Andric     }
4030b57cec5SDimitry Andric     // Turn additional physreg operands into implicit uses on non-variadic
4040b57cec5SDimitry Andric     // instructions. This is used by call and return instructions passing
4050b57cec5SDimitry Andric     // arguments in registers.
4060b57cec5SDimitry Andric     bool Imp = II && (IIOpNum >= II->getNumOperands() && !II->isVariadic());
4070b57cec5SDimitry Andric     MIB.addReg(VReg, getImplRegState(Imp));
4080b57cec5SDimitry Andric   } else if (RegisterMaskSDNode *RM = dyn_cast<RegisterMaskSDNode>(Op)) {
4090b57cec5SDimitry Andric     MIB.addRegMask(RM->getRegMask());
4100b57cec5SDimitry Andric   } else if (GlobalAddressSDNode *TGA = dyn_cast<GlobalAddressSDNode>(Op)) {
4110b57cec5SDimitry Andric     MIB.addGlobalAddress(TGA->getGlobal(), TGA->getOffset(),
4120b57cec5SDimitry Andric                          TGA->getTargetFlags());
4130b57cec5SDimitry Andric   } else if (BasicBlockSDNode *BBNode = dyn_cast<BasicBlockSDNode>(Op)) {
4140b57cec5SDimitry Andric     MIB.addMBB(BBNode->getBasicBlock());
4150b57cec5SDimitry Andric   } else if (FrameIndexSDNode *FI = dyn_cast<FrameIndexSDNode>(Op)) {
4160b57cec5SDimitry Andric     MIB.addFrameIndex(FI->getIndex());
4170b57cec5SDimitry Andric   } else if (JumpTableSDNode *JT = dyn_cast<JumpTableSDNode>(Op)) {
4180b57cec5SDimitry Andric     MIB.addJumpTableIndex(JT->getIndex(), JT->getTargetFlags());
4190b57cec5SDimitry Andric   } else if (ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(Op)) {
4200b57cec5SDimitry Andric     int Offset = CP->getOffset();
4215ffd83dbSDimitry Andric     Align Alignment = CP->getAlign();
4220b57cec5SDimitry Andric 
4230b57cec5SDimitry Andric     unsigned Idx;
4240b57cec5SDimitry Andric     MachineConstantPool *MCP = MF->getConstantPool();
4250b57cec5SDimitry Andric     if (CP->isMachineConstantPoolEntry())
4265ffd83dbSDimitry Andric       Idx = MCP->getConstantPoolIndex(CP->getMachineCPVal(), Alignment);
4270b57cec5SDimitry Andric     else
4285ffd83dbSDimitry Andric       Idx = MCP->getConstantPoolIndex(CP->getConstVal(), Alignment);
4290b57cec5SDimitry Andric     MIB.addConstantPoolIndex(Idx, Offset, CP->getTargetFlags());
4300b57cec5SDimitry Andric   } else if (ExternalSymbolSDNode *ES = dyn_cast<ExternalSymbolSDNode>(Op)) {
4310b57cec5SDimitry Andric     MIB.addExternalSymbol(ES->getSymbol(), ES->getTargetFlags());
4320b57cec5SDimitry Andric   } else if (auto *SymNode = dyn_cast<MCSymbolSDNode>(Op)) {
4330b57cec5SDimitry Andric     MIB.addSym(SymNode->getMCSymbol());
4340b57cec5SDimitry Andric   } else if (BlockAddressSDNode *BA = dyn_cast<BlockAddressSDNode>(Op)) {
4350b57cec5SDimitry Andric     MIB.addBlockAddress(BA->getBlockAddress(),
4360b57cec5SDimitry Andric                         BA->getOffset(),
4370b57cec5SDimitry Andric                         BA->getTargetFlags());
4380b57cec5SDimitry Andric   } else if (TargetIndexSDNode *TI = dyn_cast<TargetIndexSDNode>(Op)) {
4390b57cec5SDimitry Andric     MIB.addTargetIndex(TI->getIndex(), TI->getOffset(), TI->getTargetFlags());
4400b57cec5SDimitry Andric   } else {
4410b57cec5SDimitry Andric     assert(Op.getValueType() != MVT::Other &&
4420b57cec5SDimitry Andric            Op.getValueType() != MVT::Glue &&
4430b57cec5SDimitry Andric            "Chain and glue operands should occur at end of operand list!");
4440b57cec5SDimitry Andric     AddRegisterOperand(MIB, Op, IIOpNum, II, VRBaseMap,
4450b57cec5SDimitry Andric                        IsDebug, IsClone, IsCloned);
4460b57cec5SDimitry Andric   }
4470b57cec5SDimitry Andric }
4480b57cec5SDimitry Andric 
4495ffd83dbSDimitry Andric Register InstrEmitter::ConstrainForSubReg(Register VReg, unsigned SubIdx,
4500b57cec5SDimitry Andric                                           MVT VT, bool isDivergent, const DebugLoc &DL) {
4510b57cec5SDimitry Andric   const TargetRegisterClass *VRC = MRI->getRegClass(VReg);
4520b57cec5SDimitry Andric   const TargetRegisterClass *RC = TRI->getSubClassWithSubReg(VRC, SubIdx);
4530b57cec5SDimitry Andric 
4540b57cec5SDimitry Andric   // RC is a sub-class of VRC that supports SubIdx.  Try to constrain VReg
4550b57cec5SDimitry Andric   // within reason.
4560b57cec5SDimitry Andric   if (RC && RC != VRC)
4570b57cec5SDimitry Andric     RC = MRI->constrainRegClass(VReg, RC, MinRCSize);
4580b57cec5SDimitry Andric 
4590b57cec5SDimitry Andric   // VReg has been adjusted.  It can be used with SubIdx operands now.
4600b57cec5SDimitry Andric   if (RC)
4610b57cec5SDimitry Andric     return VReg;
4620b57cec5SDimitry Andric 
4630b57cec5SDimitry Andric   // VReg couldn't be reasonably constrained.  Emit a COPY to a new virtual
4640b57cec5SDimitry Andric   // register instead.
4650b57cec5SDimitry Andric   RC = TRI->getSubClassWithSubReg(TLI->getRegClassFor(VT, isDivergent), SubIdx);
4660b57cec5SDimitry Andric   assert(RC && "No legal register class for VT supports that SubIdx");
4678bcb0991SDimitry Andric   Register NewReg = MRI->createVirtualRegister(RC);
4680b57cec5SDimitry Andric   BuildMI(*MBB, InsertPos, DL, TII->get(TargetOpcode::COPY), NewReg)
4690b57cec5SDimitry Andric     .addReg(VReg);
4700b57cec5SDimitry Andric   return NewReg;
4710b57cec5SDimitry Andric }
4720b57cec5SDimitry Andric 
4730b57cec5SDimitry Andric /// EmitSubregNode - Generate machine code for subreg nodes.
4740b57cec5SDimitry Andric ///
4750b57cec5SDimitry Andric void InstrEmitter::EmitSubregNode(SDNode *Node,
4765ffd83dbSDimitry Andric                                   DenseMap<SDValue, Register> &VRBaseMap,
4770b57cec5SDimitry Andric                                   bool IsClone, bool IsCloned) {
4785ffd83dbSDimitry Andric   Register VRBase;
4790b57cec5SDimitry Andric   unsigned Opc = Node->getMachineOpcode();
4800b57cec5SDimitry Andric 
4810b57cec5SDimitry Andric   // If the node is only used by a CopyToReg and the dest reg is a vreg, use
4820b57cec5SDimitry Andric   // the CopyToReg'd destination register instead of creating a new vreg.
4830b57cec5SDimitry Andric   for (SDNode *User : Node->uses()) {
4840b57cec5SDimitry Andric     if (User->getOpcode() == ISD::CopyToReg &&
4850b57cec5SDimitry Andric         User->getOperand(2).getNode() == Node) {
4865ffd83dbSDimitry Andric       Register DestReg = cast<RegisterSDNode>(User->getOperand(1))->getReg();
4875ffd83dbSDimitry Andric       if (DestReg.isVirtual()) {
4880b57cec5SDimitry Andric         VRBase = DestReg;
4890b57cec5SDimitry Andric         break;
4900b57cec5SDimitry Andric       }
4910b57cec5SDimitry Andric     }
4920b57cec5SDimitry Andric   }
4930b57cec5SDimitry Andric 
4940b57cec5SDimitry Andric   if (Opc == TargetOpcode::EXTRACT_SUBREG) {
4950b57cec5SDimitry Andric     // EXTRACT_SUBREG is lowered as %dst = COPY %src:sub.  There are no
4960b57cec5SDimitry Andric     // constraints on the %dst register, COPY can target all legal register
4970b57cec5SDimitry Andric     // classes.
498647cbc5dSDimitry Andric     unsigned SubIdx = Node->getConstantOperandVal(1);
4990b57cec5SDimitry Andric     const TargetRegisterClass *TRC =
5000b57cec5SDimitry Andric       TLI->getRegClassFor(Node->getSimpleValueType(0), Node->isDivergent());
5010b57cec5SDimitry Andric 
5025ffd83dbSDimitry Andric     Register Reg;
5030b57cec5SDimitry Andric     MachineInstr *DefMI;
5040b57cec5SDimitry Andric     RegisterSDNode *R = dyn_cast<RegisterSDNode>(Node->getOperand(0));
505bdd1243dSDimitry Andric     if (R && R->getReg().isPhysical()) {
5060b57cec5SDimitry Andric       Reg = R->getReg();
5070b57cec5SDimitry Andric       DefMI = nullptr;
5080b57cec5SDimitry Andric     } else {
5090b57cec5SDimitry Andric       Reg = R ? R->getReg() : getVR(Node->getOperand(0), VRBaseMap);
5100b57cec5SDimitry Andric       DefMI = MRI->getVRegDef(Reg);
5110b57cec5SDimitry Andric     }
5120b57cec5SDimitry Andric 
5135ffd83dbSDimitry Andric     Register SrcReg, DstReg;
5145ffd83dbSDimitry Andric     unsigned DefSubIdx;
5150b57cec5SDimitry Andric     if (DefMI &&
5160b57cec5SDimitry Andric         TII->isCoalescableExtInstr(*DefMI, SrcReg, DstReg, DefSubIdx) &&
5170b57cec5SDimitry Andric         SubIdx == DefSubIdx &&
5180b57cec5SDimitry Andric         TRC == MRI->getRegClass(SrcReg)) {
5190b57cec5SDimitry Andric       // Optimize these:
5200b57cec5SDimitry Andric       // r1025 = s/zext r1024, 4
5210b57cec5SDimitry Andric       // r1026 = extract_subreg r1025, 4
5220b57cec5SDimitry Andric       // to a copy
5230b57cec5SDimitry Andric       // r1026 = copy r1024
5240b57cec5SDimitry Andric       VRBase = MRI->createVirtualRegister(TRC);
5250b57cec5SDimitry Andric       BuildMI(*MBB, InsertPos, Node->getDebugLoc(),
5260b57cec5SDimitry Andric               TII->get(TargetOpcode::COPY), VRBase).addReg(SrcReg);
5270b57cec5SDimitry Andric       MRI->clearKillFlags(SrcReg);
5280b57cec5SDimitry Andric     } else {
5290b57cec5SDimitry Andric       // Reg may not support a SubIdx sub-register, and we may need to
5300b57cec5SDimitry Andric       // constrain its register class or issue a COPY to a compatible register
5310b57cec5SDimitry Andric       // class.
5325ffd83dbSDimitry Andric       if (Reg.isVirtual())
5330b57cec5SDimitry Andric         Reg = ConstrainForSubReg(Reg, SubIdx,
5340b57cec5SDimitry Andric                                  Node->getOperand(0).getSimpleValueType(),
5350b57cec5SDimitry Andric                                  Node->isDivergent(), Node->getDebugLoc());
5360b57cec5SDimitry Andric       // Create the destreg if it is missing.
5375ffd83dbSDimitry Andric       if (!VRBase)
5380b57cec5SDimitry Andric         VRBase = MRI->createVirtualRegister(TRC);
5390b57cec5SDimitry Andric 
5400b57cec5SDimitry Andric       // Create the extract_subreg machine instruction.
5410b57cec5SDimitry Andric       MachineInstrBuilder CopyMI =
5420b57cec5SDimitry Andric           BuildMI(*MBB, InsertPos, Node->getDebugLoc(),
5430b57cec5SDimitry Andric                   TII->get(TargetOpcode::COPY), VRBase);
5445ffd83dbSDimitry Andric       if (Reg.isVirtual())
5450b57cec5SDimitry Andric         CopyMI.addReg(Reg, 0, SubIdx);
5460b57cec5SDimitry Andric       else
5470b57cec5SDimitry Andric         CopyMI.addReg(TRI->getSubReg(Reg, SubIdx));
5480b57cec5SDimitry Andric     }
5490b57cec5SDimitry Andric   } else if (Opc == TargetOpcode::INSERT_SUBREG ||
5500b57cec5SDimitry Andric              Opc == TargetOpcode::SUBREG_TO_REG) {
5510b57cec5SDimitry Andric     SDValue N0 = Node->getOperand(0);
5520b57cec5SDimitry Andric     SDValue N1 = Node->getOperand(1);
5530b57cec5SDimitry Andric     SDValue N2 = Node->getOperand(2);
554*1db9f3b2SDimitry Andric     unsigned SubIdx = N2->getAsZExtVal();
5550b57cec5SDimitry Andric 
5560b57cec5SDimitry Andric     // Figure out the register class to create for the destreg.  It should be
5570b57cec5SDimitry Andric     // the largest legal register class supporting SubIdx sub-registers.
5580b57cec5SDimitry Andric     // RegisterCoalescer will constrain it further if it decides to eliminate
5590b57cec5SDimitry Andric     // the INSERT_SUBREG instruction.
5600b57cec5SDimitry Andric     //
5610b57cec5SDimitry Andric     //   %dst = INSERT_SUBREG %src, %sub, SubIdx
5620b57cec5SDimitry Andric     //
5630b57cec5SDimitry Andric     // is lowered by TwoAddressInstructionPass to:
5640b57cec5SDimitry Andric     //
5650b57cec5SDimitry Andric     //   %dst = COPY %src
5660b57cec5SDimitry Andric     //   %dst:SubIdx = COPY %sub
5670b57cec5SDimitry Andric     //
5680b57cec5SDimitry Andric     // There is no constraint on the %src register class.
5690b57cec5SDimitry Andric     //
5700b57cec5SDimitry Andric     const TargetRegisterClass *SRC =
5710b57cec5SDimitry Andric         TLI->getRegClassFor(Node->getSimpleValueType(0), Node->isDivergent());
5720b57cec5SDimitry Andric     SRC = TRI->getSubClassWithSubReg(SRC, SubIdx);
5730b57cec5SDimitry Andric     assert(SRC && "No register class supports VT and SubIdx for INSERT_SUBREG");
5740b57cec5SDimitry Andric 
5750b57cec5SDimitry Andric     if (VRBase == 0 || !SRC->hasSubClassEq(MRI->getRegClass(VRBase)))
5760b57cec5SDimitry Andric       VRBase = MRI->createVirtualRegister(SRC);
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric     // Create the insert_subreg or subreg_to_reg machine instruction.
5790b57cec5SDimitry Andric     MachineInstrBuilder MIB =
5800b57cec5SDimitry Andric       BuildMI(*MF, Node->getDebugLoc(), TII->get(Opc), VRBase);
5810b57cec5SDimitry Andric 
5820b57cec5SDimitry Andric     // If creating a subreg_to_reg, then the first input operand
5830b57cec5SDimitry Andric     // is an implicit value immediate, otherwise it's a register
5840b57cec5SDimitry Andric     if (Opc == TargetOpcode::SUBREG_TO_REG) {
5850b57cec5SDimitry Andric       const ConstantSDNode *SD = cast<ConstantSDNode>(N0);
5860b57cec5SDimitry Andric       MIB.addImm(SD->getZExtValue());
5870b57cec5SDimitry Andric     } else
5880b57cec5SDimitry Andric       AddOperand(MIB, N0, 0, nullptr, VRBaseMap, /*IsDebug=*/false,
5890b57cec5SDimitry Andric                  IsClone, IsCloned);
5900b57cec5SDimitry Andric     // Add the subregister being inserted
5910b57cec5SDimitry Andric     AddOperand(MIB, N1, 0, nullptr, VRBaseMap, /*IsDebug=*/false,
5920b57cec5SDimitry Andric                IsClone, IsCloned);
5930b57cec5SDimitry Andric     MIB.addImm(SubIdx);
5940b57cec5SDimitry Andric     MBB->insert(InsertPos, MIB);
5950b57cec5SDimitry Andric   } else
5960b57cec5SDimitry Andric     llvm_unreachable("Node is not insert_subreg, extract_subreg, or subreg_to_reg");
5970b57cec5SDimitry Andric 
5980b57cec5SDimitry Andric   SDValue Op(Node, 0);
5990b57cec5SDimitry Andric   bool isNew = VRBaseMap.insert(std::make_pair(Op, VRBase)).second;
6000b57cec5SDimitry Andric   (void)isNew; // Silence compiler warning.
6010b57cec5SDimitry Andric   assert(isNew && "Node emitted out of order - early");
6020b57cec5SDimitry Andric }
6030b57cec5SDimitry Andric 
6040b57cec5SDimitry Andric /// EmitCopyToRegClassNode - Generate machine code for COPY_TO_REGCLASS nodes.
6050b57cec5SDimitry Andric /// COPY_TO_REGCLASS is just a normal copy, except that the destination
6060b57cec5SDimitry Andric /// register is constrained to be in a particular register class.
6070b57cec5SDimitry Andric ///
6080b57cec5SDimitry Andric void
6090b57cec5SDimitry Andric InstrEmitter::EmitCopyToRegClassNode(SDNode *Node,
6105ffd83dbSDimitry Andric                                      DenseMap<SDValue, Register> &VRBaseMap) {
6110b57cec5SDimitry Andric   unsigned VReg = getVR(Node->getOperand(0), VRBaseMap);
6120b57cec5SDimitry Andric 
6130b57cec5SDimitry Andric   // Create the new VReg in the destination class and emit a copy.
614647cbc5dSDimitry Andric   unsigned DstRCIdx = Node->getConstantOperandVal(1);
6150b57cec5SDimitry Andric   const TargetRegisterClass *DstRC =
6160b57cec5SDimitry Andric     TRI->getAllocatableClass(TRI->getRegClass(DstRCIdx));
6178bcb0991SDimitry Andric   Register NewVReg = MRI->createVirtualRegister(DstRC);
6180b57cec5SDimitry Andric   BuildMI(*MBB, InsertPos, Node->getDebugLoc(), TII->get(TargetOpcode::COPY),
6190b57cec5SDimitry Andric     NewVReg).addReg(VReg);
6200b57cec5SDimitry Andric 
6210b57cec5SDimitry Andric   SDValue Op(Node, 0);
6220b57cec5SDimitry Andric   bool isNew = VRBaseMap.insert(std::make_pair(Op, NewVReg)).second;
6230b57cec5SDimitry Andric   (void)isNew; // Silence compiler warning.
6240b57cec5SDimitry Andric   assert(isNew && "Node emitted out of order - early");
6250b57cec5SDimitry Andric }
6260b57cec5SDimitry Andric 
6270b57cec5SDimitry Andric /// EmitRegSequence - Generate machine code for REG_SEQUENCE nodes.
6280b57cec5SDimitry Andric ///
6290b57cec5SDimitry Andric void InstrEmitter::EmitRegSequence(SDNode *Node,
6305ffd83dbSDimitry Andric                                   DenseMap<SDValue, Register> &VRBaseMap,
6310b57cec5SDimitry Andric                                   bool IsClone, bool IsCloned) {
632647cbc5dSDimitry Andric   unsigned DstRCIdx = Node->getConstantOperandVal(0);
6330b57cec5SDimitry Andric   const TargetRegisterClass *RC = TRI->getRegClass(DstRCIdx);
6348bcb0991SDimitry Andric   Register NewVReg = MRI->createVirtualRegister(TRI->getAllocatableClass(RC));
6350b57cec5SDimitry Andric   const MCInstrDesc &II = TII->get(TargetOpcode::REG_SEQUENCE);
6360b57cec5SDimitry Andric   MachineInstrBuilder MIB = BuildMI(*MF, Node->getDebugLoc(), II, NewVReg);
6370b57cec5SDimitry Andric   unsigned NumOps = Node->getNumOperands();
6380b57cec5SDimitry Andric   // If the input pattern has a chain, then the root of the corresponding
6390b57cec5SDimitry Andric   // output pattern will get a chain as well. This can happen to be a
6400b57cec5SDimitry Andric   // REG_SEQUENCE (which is not "guarded" by countOperands/CountResults).
6410b57cec5SDimitry Andric   if (NumOps && Node->getOperand(NumOps-1).getValueType() == MVT::Other)
6420b57cec5SDimitry Andric     --NumOps; // Ignore chain if it exists.
6430b57cec5SDimitry Andric 
6440b57cec5SDimitry Andric   assert((NumOps & 1) == 1 &&
6450b57cec5SDimitry Andric          "REG_SEQUENCE must have an odd number of operands!");
6460b57cec5SDimitry Andric   for (unsigned i = 1; i != NumOps; ++i) {
6470b57cec5SDimitry Andric     SDValue Op = Node->getOperand(i);
6480b57cec5SDimitry Andric     if ((i & 1) == 0) {
6490b57cec5SDimitry Andric       RegisterSDNode *R = dyn_cast<RegisterSDNode>(Node->getOperand(i-1));
6500b57cec5SDimitry Andric       // Skip physical registers as they don't have a vreg to get and we'll
6510b57cec5SDimitry Andric       // insert copies for them in TwoAddressInstructionPass anyway.
652bdd1243dSDimitry Andric       if (!R || !R->getReg().isPhysical()) {
653*1db9f3b2SDimitry Andric         unsigned SubIdx = Op->getAsZExtVal();
6540b57cec5SDimitry Andric         unsigned SubReg = getVR(Node->getOperand(i-1), VRBaseMap);
6550b57cec5SDimitry Andric         const TargetRegisterClass *TRC = MRI->getRegClass(SubReg);
6560b57cec5SDimitry Andric         const TargetRegisterClass *SRC =
6570b57cec5SDimitry Andric         TRI->getMatchingSuperRegClass(RC, TRC, SubIdx);
6580b57cec5SDimitry Andric         if (SRC && SRC != RC) {
6590b57cec5SDimitry Andric           MRI->setRegClass(NewVReg, SRC);
6600b57cec5SDimitry Andric           RC = SRC;
6610b57cec5SDimitry Andric         }
6620b57cec5SDimitry Andric       }
6630b57cec5SDimitry Andric     }
6640b57cec5SDimitry Andric     AddOperand(MIB, Op, i+1, &II, VRBaseMap, /*IsDebug=*/false,
6650b57cec5SDimitry Andric                IsClone, IsCloned);
6660b57cec5SDimitry Andric   }
6670b57cec5SDimitry Andric 
6680b57cec5SDimitry Andric   MBB->insert(InsertPos, MIB);
6690b57cec5SDimitry Andric   SDValue Op(Node, 0);
6700b57cec5SDimitry Andric   bool isNew = VRBaseMap.insert(std::make_pair(Op, NewVReg)).second;
6710b57cec5SDimitry Andric   (void)isNew; // Silence compiler warning.
6720b57cec5SDimitry Andric   assert(isNew && "Node emitted out of order - early");
6730b57cec5SDimitry Andric }
6740b57cec5SDimitry Andric 
6750b57cec5SDimitry Andric /// EmitDbgValue - Generate machine instruction for a dbg_value node.
6760b57cec5SDimitry Andric ///
6770b57cec5SDimitry Andric MachineInstr *
6780b57cec5SDimitry Andric InstrEmitter::EmitDbgValue(SDDbgValue *SD,
6795ffd83dbSDimitry Andric                            DenseMap<SDValue, Register> &VRBaseMap) {
6800b57cec5SDimitry Andric   DebugLoc DL = SD->getDebugLoc();
681bdd1243dSDimitry Andric   assert(cast<DILocalVariable>(SD->getVariable())
682bdd1243dSDimitry Andric              ->isValidLocationForIntrinsic(DL) &&
6830b57cec5SDimitry Andric          "Expected inlined-at fields to agree");
6840b57cec5SDimitry Andric 
6850b57cec5SDimitry Andric   SD->setIsEmitted();
6860b57cec5SDimitry Andric 
687bdd1243dSDimitry Andric   assert(!SD->getLocationOps().empty() &&
688bdd1243dSDimitry Andric          "dbg_value with no location operands?");
689fe6060f1SDimitry Andric 
690fe6060f1SDimitry Andric   if (SD->isInvalidated())
691fe6060f1SDimitry Andric     return EmitDbgNoLocation(SD);
692fe6060f1SDimitry Andric 
693e8d8bef9SDimitry Andric   // Attempt to produce a DBG_INSTR_REF if we've been asked to.
694e8d8bef9SDimitry Andric   if (EmitDebugInstrRefs)
695e8d8bef9SDimitry Andric     if (auto *InstrRef = EmitDbgInstrRef(SD, VRBaseMap))
696e8d8bef9SDimitry Andric       return InstrRef;
697e8d8bef9SDimitry Andric 
698bdd1243dSDimitry Andric   // Emit variadic dbg_value nodes as DBG_VALUE_LIST if they have not been
699bdd1243dSDimitry Andric   // emitted as instruction references.
700bdd1243dSDimitry Andric   if (SD->isVariadic())
701bdd1243dSDimitry Andric     return EmitDbgValueList(SD, VRBaseMap);
702bdd1243dSDimitry Andric 
703bdd1243dSDimitry Andric   // Emit single-location dbg_value nodes as DBG_VALUE if they have not been
704bdd1243dSDimitry Andric   // emitted as instruction references.
705fe6060f1SDimitry Andric   return EmitDbgValueFromSingleOp(SD, VRBaseMap);
7060b57cec5SDimitry Andric }
707fe6060f1SDimitry Andric 
708bdd1243dSDimitry Andric MachineOperand GetMOForConstDbgOp(const SDDbgOperand &Op) {
709bdd1243dSDimitry Andric   const Value *V = Op.getConst();
710bdd1243dSDimitry Andric   if (const ConstantInt *CI = dyn_cast<ConstantInt>(V)) {
711bdd1243dSDimitry Andric     if (CI->getBitWidth() > 64)
712bdd1243dSDimitry Andric       return MachineOperand::CreateCImm(CI);
713bdd1243dSDimitry Andric     return MachineOperand::CreateImm(CI->getSExtValue());
714bdd1243dSDimitry Andric   }
715bdd1243dSDimitry Andric   if (const ConstantFP *CF = dyn_cast<ConstantFP>(V))
716bdd1243dSDimitry Andric     return MachineOperand::CreateFPImm(CF);
717bdd1243dSDimitry Andric   // Note: This assumes that all nullptr constants are zero-valued.
718bdd1243dSDimitry Andric   if (isa<ConstantPointerNull>(V))
719bdd1243dSDimitry Andric     return MachineOperand::CreateImm(0);
720bdd1243dSDimitry Andric   // Undef or unhandled value type, so return an undef operand.
721bdd1243dSDimitry Andric   return MachineOperand::CreateReg(
722bdd1243dSDimitry Andric       /* Reg */ 0U, /* isDef */ false, /* isImp */ false,
723bdd1243dSDimitry Andric       /* isKill */ false, /* isDead */ false,
724bdd1243dSDimitry Andric       /* isUndef */ false, /* isEarlyClobber */ false,
725bdd1243dSDimitry Andric       /* SubReg */ 0, /* isDebug */ true);
726bdd1243dSDimitry Andric }
727bdd1243dSDimitry Andric 
728fe6060f1SDimitry Andric void InstrEmitter::AddDbgValueLocationOps(
729fe6060f1SDimitry Andric     MachineInstrBuilder &MIB, const MCInstrDesc &DbgValDesc,
730fe6060f1SDimitry Andric     ArrayRef<SDDbgOperand> LocationOps,
731fe6060f1SDimitry Andric     DenseMap<SDValue, Register> &VRBaseMap) {
732fe6060f1SDimitry Andric   for (const SDDbgOperand &Op : LocationOps) {
733fe6060f1SDimitry Andric     switch (Op.getKind()) {
734fe6060f1SDimitry Andric     case SDDbgOperand::FRAMEIX:
735fe6060f1SDimitry Andric       MIB.addFrameIndex(Op.getFrameIx());
736fe6060f1SDimitry Andric       break;
737fe6060f1SDimitry Andric     case SDDbgOperand::VREG:
738349cc55cSDimitry Andric       MIB.addReg(Op.getVReg());
739fe6060f1SDimitry Andric       break;
740fe6060f1SDimitry Andric     case SDDbgOperand::SDNODE: {
741fe6060f1SDimitry Andric       SDValue V = SDValue(Op.getSDNode(), Op.getResNo());
7420b57cec5SDimitry Andric       // It's possible we replaced this SDNode with other(s) and therefore
7430b57cec5SDimitry Andric       // didn't generate code for it. It's better to catch these cases where
7440b57cec5SDimitry Andric       // they happen and transfer the debug info, but trying to guarantee that
7450b57cec5SDimitry Andric       // in all cases would be very fragile; this is a safeguard for any
7460b57cec5SDimitry Andric       // that were missed.
747fe6060f1SDimitry Andric       if (VRBaseMap.count(V) == 0)
7480b57cec5SDimitry Andric         MIB.addReg(0U); // undef
7490b57cec5SDimitry Andric       else
750fe6060f1SDimitry Andric         AddOperand(MIB, V, (*MIB).getNumOperands(), &DbgValDesc, VRBaseMap,
7510b57cec5SDimitry Andric                    /*IsDebug=*/true, /*IsClone=*/false, /*IsCloned=*/false);
752fe6060f1SDimitry Andric     } break;
753bdd1243dSDimitry Andric     case SDDbgOperand::CONST:
754bdd1243dSDimitry Andric       MIB.add(GetMOForConstDbgOp(Op));
755bdd1243dSDimitry Andric       break;
7560b57cec5SDimitry Andric     }
757fe6060f1SDimitry Andric   }
7580b57cec5SDimitry Andric }
7590b57cec5SDimitry Andric 
7600b57cec5SDimitry Andric MachineInstr *
761e8d8bef9SDimitry Andric InstrEmitter::EmitDbgInstrRef(SDDbgValue *SD,
762e8d8bef9SDimitry Andric                               DenseMap<SDValue, Register> &VRBaseMap) {
763e8d8bef9SDimitry Andric   MDNode *Var = SD->getVariable();
764bdd1243dSDimitry Andric   const DIExpression *Expr = (DIExpression *)SD->getExpression();
765e8d8bef9SDimitry Andric   DebugLoc DL = SD->getDebugLoc();
766fe6060f1SDimitry Andric   const MCInstrDesc &RefII = TII->get(TargetOpcode::DBG_INSTR_REF);
767fe6060f1SDimitry Andric 
768bdd1243dSDimitry Andric   // Returns true if the given operand is not a legal debug operand for a
769bdd1243dSDimitry Andric   // DBG_INSTR_REF.
770bdd1243dSDimitry Andric   auto IsInvalidOp = [](SDDbgOperand DbgOp) {
771bdd1243dSDimitry Andric     return DbgOp.getKind() == SDDbgOperand::FRAMEIX;
772bdd1243dSDimitry Andric   };
773bdd1243dSDimitry Andric   // Returns true if the given operand is not itself an instruction reference
774bdd1243dSDimitry Andric   // but is a legal debug operand for a DBG_INSTR_REF.
775bdd1243dSDimitry Andric   auto IsNonInstrRefOp = [](SDDbgOperand DbgOp) {
776bdd1243dSDimitry Andric     return DbgOp.getKind() == SDDbgOperand::CONST;
777bdd1243dSDimitry Andric   };
778bdd1243dSDimitry Andric 
779bdd1243dSDimitry Andric   // If this variable location does not depend on any instructions or contains
780bdd1243dSDimitry Andric   // any stack locations, produce it as a standard debug value instead.
781bdd1243dSDimitry Andric   if (any_of(SD->getLocationOps(), IsInvalidOp) ||
782bdd1243dSDimitry Andric       all_of(SD->getLocationOps(), IsNonInstrRefOp)) {
783bdd1243dSDimitry Andric     if (SD->isVariadic())
784bdd1243dSDimitry Andric       return EmitDbgValueList(SD, VRBaseMap);
785fe6060f1SDimitry Andric     return EmitDbgValueFromSingleOp(SD, VRBaseMap);
786bdd1243dSDimitry Andric   }
787fe6060f1SDimitry Andric 
7884824e7fdSDimitry Andric   // Immediately fold any indirectness from the LLVM-IR intrinsic into the
7894824e7fdSDimitry Andric   // expression:
790bdd1243dSDimitry Andric   if (SD->isIndirect())
791bdd1243dSDimitry Andric     Expr = DIExpression::append(Expr, dwarf::DW_OP_deref);
792bdd1243dSDimitry Andric   // If this is not already a variadic expression, it must be modified to become
793bdd1243dSDimitry Andric   // one.
794bdd1243dSDimitry Andric   if (!SD->isVariadic())
795bdd1243dSDimitry Andric     Expr = DIExpression::convertToVariadicExpression(Expr);
796bdd1243dSDimitry Andric 
797bdd1243dSDimitry Andric   SmallVector<MachineOperand> MOs;
7984824e7fdSDimitry Andric 
799fe6060f1SDimitry Andric   // It may not be immediately possible to identify the MachineInstr that
800fe6060f1SDimitry Andric   // defines a VReg, it can depend for example on the order blocks are
801fe6060f1SDimitry Andric   // emitted in. When this happens, or when further analysis is needed later,
802fe6060f1SDimitry Andric   // produce an instruction like this:
803fe6060f1SDimitry Andric   //
804bdd1243dSDimitry Andric   //    DBG_INSTR_REF !123, !456, %0:gr64
805fe6060f1SDimitry Andric   //
806fe6060f1SDimitry Andric   // i.e., point the instruction at the vreg, and patch it up later in
807fe6060f1SDimitry Andric   // MachineFunction::finalizeDebugInstrRefs.
808bdd1243dSDimitry Andric   auto AddVRegOp = [&](unsigned VReg) {
809bdd1243dSDimitry Andric     MOs.push_back(MachineOperand::CreateReg(
810bdd1243dSDimitry Andric         /* Reg */ VReg, /* isDef */ false, /* isImp */ false,
811bdd1243dSDimitry Andric         /* isKill */ false, /* isDead */ false,
812bdd1243dSDimitry Andric         /* isUndef */ false, /* isEarlyClobber */ false,
813bdd1243dSDimitry Andric         /* SubReg */ 0, /* isDebug */ true));
814fe6060f1SDimitry Andric   };
815bdd1243dSDimitry Andric   unsigned OpCount = SD->getLocationOps().size();
816bdd1243dSDimitry Andric   for (unsigned OpIdx = 0; OpIdx < OpCount; ++OpIdx) {
817bdd1243dSDimitry Andric     SDDbgOperand DbgOperand = SD->getLocationOps()[OpIdx];
818fe6060f1SDimitry Andric 
819fe6060f1SDimitry Andric     // Try to find both the defined register and the instruction defining it.
820fe6060f1SDimitry Andric     MachineInstr *DefMI = nullptr;
821fe6060f1SDimitry Andric     unsigned VReg;
822fe6060f1SDimitry Andric 
823fe6060f1SDimitry Andric     if (DbgOperand.getKind() == SDDbgOperand::VREG) {
824fe6060f1SDimitry Andric       VReg = DbgOperand.getVReg();
825fe6060f1SDimitry Andric 
826fe6060f1SDimitry Andric       // No definition means that block hasn't been emitted yet. Leave a vreg
827fe6060f1SDimitry Andric       // reference to be fixed later.
828bdd1243dSDimitry Andric       if (!MRI->hasOneDef(VReg)) {
829bdd1243dSDimitry Andric         AddVRegOp(VReg);
830bdd1243dSDimitry Andric         continue;
831bdd1243dSDimitry Andric       }
832fe6060f1SDimitry Andric 
833fe6060f1SDimitry Andric       DefMI = &*MRI->def_instr_begin(VReg);
834bdd1243dSDimitry Andric     } else if (DbgOperand.getKind() == SDDbgOperand::SDNODE) {
835fe6060f1SDimitry Andric       // Look up the corresponding VReg for the given SDNode, if any.
836fe6060f1SDimitry Andric       SDNode *Node = DbgOperand.getSDNode();
837fe6060f1SDimitry Andric       SDValue Op = SDValue(Node, DbgOperand.getResNo());
838fe6060f1SDimitry Andric       DenseMap<SDValue, Register>::iterator I = VRBaseMap.find(Op);
839fe6060f1SDimitry Andric       // No VReg -> produce a DBG_VALUE $noreg instead.
840fe6060f1SDimitry Andric       if (I == VRBaseMap.end())
841bdd1243dSDimitry Andric         break;
842e8d8bef9SDimitry Andric 
843e8d8bef9SDimitry Andric       // Try to pick out a defining instruction at this point.
844fe6060f1SDimitry Andric       VReg = getVR(Op, VRBaseMap);
845e8d8bef9SDimitry Andric 
846fe6060f1SDimitry Andric       // Again, if there's no instruction defining the VReg right now, fix it up
847fe6060f1SDimitry Andric       // later.
848bdd1243dSDimitry Andric       if (!MRI->hasOneDef(VReg)) {
849bdd1243dSDimitry Andric         AddVRegOp(VReg);
850bdd1243dSDimitry Andric         continue;
851bdd1243dSDimitry Andric       }
852e8d8bef9SDimitry Andric 
853fe6060f1SDimitry Andric       DefMI = &*MRI->def_instr_begin(VReg);
854bdd1243dSDimitry Andric     } else {
855bdd1243dSDimitry Andric       assert(DbgOperand.getKind() == SDDbgOperand::CONST);
856bdd1243dSDimitry Andric       MOs.push_back(GetMOForConstDbgOp(DbgOperand));
857bdd1243dSDimitry Andric       continue;
858fe6060f1SDimitry Andric     }
859e8d8bef9SDimitry Andric 
860fe6060f1SDimitry Andric     // Avoid copy like instructions: they don't define values, only move them.
861bdd1243dSDimitry Andric     // Leave a virtual-register reference until it can be fixed up later, to
862bdd1243dSDimitry Andric     // find the underlying value definition.
863bdd1243dSDimitry Andric     if (DefMI->isCopyLike() || TII->isCopyInstr(*DefMI)) {
864bdd1243dSDimitry Andric       AddVRegOp(VReg);
865bdd1243dSDimitry Andric       continue;
866bdd1243dSDimitry Andric     }
867e8d8bef9SDimitry Andric 
868fe6060f1SDimitry Andric     // Find the operand number which defines the specified VReg.
869e8d8bef9SDimitry Andric     unsigned OperandIdx = 0;
870fe6060f1SDimitry Andric     for (const auto &MO : DefMI->operands()) {
871e8d8bef9SDimitry Andric       if (MO.isReg() && MO.isDef() && MO.getReg() == VReg)
872e8d8bef9SDimitry Andric         break;
873e8d8bef9SDimitry Andric       ++OperandIdx;
874e8d8bef9SDimitry Andric     }
875fe6060f1SDimitry Andric     assert(OperandIdx < DefMI->getNumOperands());
876e8d8bef9SDimitry Andric 
877e8d8bef9SDimitry Andric     // Make the DBG_INSTR_REF refer to that instruction, and that operand.
878fe6060f1SDimitry Andric     unsigned InstrNum = DefMI->getDebugInstrNum();
879bdd1243dSDimitry Andric     MOs.push_back(MachineOperand::CreateDbgInstrRef(InstrNum, OperandIdx));
880bdd1243dSDimitry Andric   }
881bdd1243dSDimitry Andric 
882bdd1243dSDimitry Andric   // If we haven't created a valid MachineOperand for every DbgOp, abort and
883bdd1243dSDimitry Andric   // produce an undef DBG_VALUE.
884bdd1243dSDimitry Andric   if (MOs.size() != OpCount)
885bdd1243dSDimitry Andric     return EmitDbgNoLocation(SD);
886bdd1243dSDimitry Andric 
887bdd1243dSDimitry Andric   return BuildMI(*MF, DL, RefII, false, MOs, Var, Expr);
888fe6060f1SDimitry Andric }
889fe6060f1SDimitry Andric 
890fe6060f1SDimitry Andric MachineInstr *InstrEmitter::EmitDbgNoLocation(SDDbgValue *SD) {
891fe6060f1SDimitry Andric   // An invalidated SDNode must generate an undef DBG_VALUE: although the
892fe6060f1SDimitry Andric   // original value is no longer computed, earlier DBG_VALUEs live ranges
893fe6060f1SDimitry Andric   // must not leak into later code.
894bdd1243dSDimitry Andric   DIVariable *Var = SD->getVariable();
895bdd1243dSDimitry Andric   const DIExpression *Expr =
896bdd1243dSDimitry Andric       DIExpression::convertToUndefExpression(SD->getExpression());
897fe6060f1SDimitry Andric   DebugLoc DL = SD->getDebugLoc();
898bdd1243dSDimitry Andric   const MCInstrDesc &Desc = TII->get(TargetOpcode::DBG_VALUE);
899bdd1243dSDimitry Andric   return BuildMI(*MF, DL, Desc, false, 0U, Var, Expr);
900bdd1243dSDimitry Andric }
901bdd1243dSDimitry Andric 
902bdd1243dSDimitry Andric MachineInstr *
903bdd1243dSDimitry Andric InstrEmitter::EmitDbgValueList(SDDbgValue *SD,
904bdd1243dSDimitry Andric                                DenseMap<SDValue, Register> &VRBaseMap) {
905bdd1243dSDimitry Andric   MDNode *Var = SD->getVariable();
906bdd1243dSDimitry Andric   DIExpression *Expr = SD->getExpression();
907bdd1243dSDimitry Andric   DebugLoc DL = SD->getDebugLoc();
908bdd1243dSDimitry Andric   // DBG_VALUE_LIST := "DBG_VALUE_LIST" var, expression, loc (, loc)*
909bdd1243dSDimitry Andric   const MCInstrDesc &DbgValDesc = TII->get(TargetOpcode::DBG_VALUE_LIST);
910bdd1243dSDimitry Andric   // Build the DBG_VALUE_LIST instruction base.
911bdd1243dSDimitry Andric   auto MIB = BuildMI(*MF, DL, DbgValDesc);
912fe6060f1SDimitry Andric   MIB.addMetadata(Var);
913fe6060f1SDimitry Andric   MIB.addMetadata(Expr);
914bdd1243dSDimitry Andric   AddDbgValueLocationOps(MIB, DbgValDesc, SD->getLocationOps(), VRBaseMap);
915fe6060f1SDimitry Andric   return &*MIB;
916fe6060f1SDimitry Andric }
917fe6060f1SDimitry Andric 
918fe6060f1SDimitry Andric MachineInstr *
919fe6060f1SDimitry Andric InstrEmitter::EmitDbgValueFromSingleOp(SDDbgValue *SD,
920fe6060f1SDimitry Andric                                        DenseMap<SDValue, Register> &VRBaseMap) {
921fe6060f1SDimitry Andric   MDNode *Var = SD->getVariable();
922349cc55cSDimitry Andric   DIExpression *Expr = SD->getExpression();
923fe6060f1SDimitry Andric   DebugLoc DL = SD->getDebugLoc();
924fe6060f1SDimitry Andric   const MCInstrDesc &II = TII->get(TargetOpcode::DBG_VALUE);
925fe6060f1SDimitry Andric 
926fe6060f1SDimitry Andric   assert(SD->getLocationOps().size() == 1 &&
927fe6060f1SDimitry Andric          "Non variadic dbg_value should have only one location op");
928fe6060f1SDimitry Andric 
929349cc55cSDimitry Andric   // See about constant-folding the expression.
930349cc55cSDimitry Andric   // Copy the location operand in case we replace it.
931349cc55cSDimitry Andric   SmallVector<SDDbgOperand, 1> LocationOps(1, SD->getLocationOps()[0]);
932349cc55cSDimitry Andric   if (Expr && LocationOps[0].getKind() == SDDbgOperand::CONST) {
933349cc55cSDimitry Andric     const Value *V = LocationOps[0].getConst();
934349cc55cSDimitry Andric     if (auto *C = dyn_cast<ConstantInt>(V)) {
935349cc55cSDimitry Andric       std::tie(Expr, C) = Expr->constantFold(C);
936349cc55cSDimitry Andric       LocationOps[0] = SDDbgOperand::fromConst(C);
937349cc55cSDimitry Andric     }
938349cc55cSDimitry Andric   }
939349cc55cSDimitry Andric 
940fe6060f1SDimitry Andric   // Emit non-variadic dbg_value nodes as DBG_VALUE.
941fe6060f1SDimitry Andric   // DBG_VALUE := "DBG_VALUE" loc, isIndirect, var, expr
942fe6060f1SDimitry Andric   auto MIB = BuildMI(*MF, DL, II);
943349cc55cSDimitry Andric   AddDbgValueLocationOps(MIB, II, LocationOps, VRBaseMap);
944fe6060f1SDimitry Andric 
945fe6060f1SDimitry Andric   if (SD->isIndirect())
946fe6060f1SDimitry Andric     MIB.addImm(0U);
947fe6060f1SDimitry Andric   else
948349cc55cSDimitry Andric     MIB.addReg(0U);
949fe6060f1SDimitry Andric 
950fe6060f1SDimitry Andric   return MIB.addMetadata(Var).addMetadata(Expr);
951e8d8bef9SDimitry Andric }
952e8d8bef9SDimitry Andric 
953e8d8bef9SDimitry Andric MachineInstr *
9540b57cec5SDimitry Andric InstrEmitter::EmitDbgLabel(SDDbgLabel *SD) {
9550b57cec5SDimitry Andric   MDNode *Label = SD->getLabel();
9560b57cec5SDimitry Andric   DebugLoc DL = SD->getDebugLoc();
9570b57cec5SDimitry Andric   assert(cast<DILabel>(Label)->isValidLocationForIntrinsic(DL) &&
9580b57cec5SDimitry Andric          "Expected inlined-at fields to agree");
9590b57cec5SDimitry Andric 
9600b57cec5SDimitry Andric   const MCInstrDesc &II = TII->get(TargetOpcode::DBG_LABEL);
9610b57cec5SDimitry Andric   MachineInstrBuilder MIB = BuildMI(*MF, DL, II);
9620b57cec5SDimitry Andric   MIB.addMetadata(Label);
9630b57cec5SDimitry Andric 
9640b57cec5SDimitry Andric   return &*MIB;
9650b57cec5SDimitry Andric }
9660b57cec5SDimitry Andric 
9670b57cec5SDimitry Andric /// EmitMachineNode - Generate machine code for a target-specific node and
9680b57cec5SDimitry Andric /// needed dependencies.
9690b57cec5SDimitry Andric ///
9700b57cec5SDimitry Andric void InstrEmitter::
9710b57cec5SDimitry Andric EmitMachineNode(SDNode *Node, bool IsClone, bool IsCloned,
9725ffd83dbSDimitry Andric                 DenseMap<SDValue, Register> &VRBaseMap) {
9730b57cec5SDimitry Andric   unsigned Opc = Node->getMachineOpcode();
9740b57cec5SDimitry Andric 
9750b57cec5SDimitry Andric   // Handle subreg insert/extract specially
9760b57cec5SDimitry Andric   if (Opc == TargetOpcode::EXTRACT_SUBREG ||
9770b57cec5SDimitry Andric       Opc == TargetOpcode::INSERT_SUBREG ||
9780b57cec5SDimitry Andric       Opc == TargetOpcode::SUBREG_TO_REG) {
9790b57cec5SDimitry Andric     EmitSubregNode(Node, VRBaseMap, IsClone, IsCloned);
9800b57cec5SDimitry Andric     return;
9810b57cec5SDimitry Andric   }
9820b57cec5SDimitry Andric 
9830b57cec5SDimitry Andric   // Handle COPY_TO_REGCLASS specially.
9840b57cec5SDimitry Andric   if (Opc == TargetOpcode::COPY_TO_REGCLASS) {
9850b57cec5SDimitry Andric     EmitCopyToRegClassNode(Node, VRBaseMap);
9860b57cec5SDimitry Andric     return;
9870b57cec5SDimitry Andric   }
9880b57cec5SDimitry Andric 
9890b57cec5SDimitry Andric   // Handle REG_SEQUENCE specially.
9900b57cec5SDimitry Andric   if (Opc == TargetOpcode::REG_SEQUENCE) {
9910b57cec5SDimitry Andric     EmitRegSequence(Node, VRBaseMap, IsClone, IsCloned);
9920b57cec5SDimitry Andric     return;
9930b57cec5SDimitry Andric   }
9940b57cec5SDimitry Andric 
9950b57cec5SDimitry Andric   if (Opc == TargetOpcode::IMPLICIT_DEF)
9960b57cec5SDimitry Andric     // We want a unique VR for each IMPLICIT_DEF use.
9970b57cec5SDimitry Andric     return;
9980b57cec5SDimitry Andric 
9990b57cec5SDimitry Andric   const MCInstrDesc &II = TII->get(Opc);
10000b57cec5SDimitry Andric   unsigned NumResults = CountResults(Node);
10010b57cec5SDimitry Andric   unsigned NumDefs = II.getNumDefs();
10020b57cec5SDimitry Andric   const MCPhysReg *ScratchRegs = nullptr;
10030b57cec5SDimitry Andric 
10040b57cec5SDimitry Andric   // Handle STACKMAP and PATCHPOINT specially and then use the generic code.
10050b57cec5SDimitry Andric   if (Opc == TargetOpcode::STACKMAP || Opc == TargetOpcode::PATCHPOINT) {
10060b57cec5SDimitry Andric     // Stackmaps do not have arguments and do not preserve their calling
10070b57cec5SDimitry Andric     // convention. However, to simplify runtime support, they clobber the same
10080b57cec5SDimitry Andric     // scratch registers as AnyRegCC.
10090b57cec5SDimitry Andric     unsigned CC = CallingConv::AnyReg;
10100b57cec5SDimitry Andric     if (Opc == TargetOpcode::PATCHPOINT) {
10110b57cec5SDimitry Andric       CC = Node->getConstantOperandVal(PatchPointOpers::CCPos);
10120b57cec5SDimitry Andric       NumDefs = NumResults;
10130b57cec5SDimitry Andric     }
10140b57cec5SDimitry Andric     ScratchRegs = TLI->getScratchRegisters((CallingConv::ID) CC);
1015e8d8bef9SDimitry Andric   } else if (Opc == TargetOpcode::STATEPOINT) {
1016e8d8bef9SDimitry Andric     NumDefs = NumResults;
10170b57cec5SDimitry Andric   }
10180b57cec5SDimitry Andric 
10190b57cec5SDimitry Andric   unsigned NumImpUses = 0;
10200b57cec5SDimitry Andric   unsigned NodeOperands =
10210b57cec5SDimitry Andric     countOperands(Node, II.getNumOperands() - NumDefs, NumImpUses);
10225ffd83dbSDimitry Andric   bool HasVRegVariadicDefs = !MF->getTarget().usesPhysRegsForValues() &&
10235ffd83dbSDimitry Andric                              II.isVariadic() && II.variadicOpsAreDefs();
1024bdd1243dSDimitry Andric   bool HasPhysRegOuts = NumResults > NumDefs && !II.implicit_defs().empty() &&
1025bdd1243dSDimitry Andric                         !HasVRegVariadicDefs;
10260b57cec5SDimitry Andric #ifndef NDEBUG
10270b57cec5SDimitry Andric   unsigned NumMIOperands = NodeOperands + NumResults;
10280b57cec5SDimitry Andric   if (II.isVariadic())
10290b57cec5SDimitry Andric     assert(NumMIOperands >= II.getNumOperands() &&
10300b57cec5SDimitry Andric            "Too few operands for a variadic node!");
10310b57cec5SDimitry Andric   else
10320b57cec5SDimitry Andric     assert(NumMIOperands >= II.getNumOperands() &&
1033bdd1243dSDimitry Andric            NumMIOperands <=
1034bdd1243dSDimitry Andric                II.getNumOperands() + II.implicit_defs().size() + NumImpUses &&
10350b57cec5SDimitry Andric            "#operands for dag node doesn't match .td file!");
10360b57cec5SDimitry Andric #endif
10370b57cec5SDimitry Andric 
10380b57cec5SDimitry Andric   // Create the new machine instruction.
10390b57cec5SDimitry Andric   MachineInstrBuilder MIB = BuildMI(*MF, Node->getDebugLoc(), II);
10400b57cec5SDimitry Andric 
10410b57cec5SDimitry Andric   // Add result register values for things that are defined by this
10420b57cec5SDimitry Andric   // instruction.
10430b57cec5SDimitry Andric   if (NumResults) {
10440b57cec5SDimitry Andric     CreateVirtualRegisters(Node, MIB, II, IsClone, IsCloned, VRBaseMap);
10450b57cec5SDimitry Andric 
10460b57cec5SDimitry Andric     // Transfer any IR flags from the SDNode to the MachineInstr
10470b57cec5SDimitry Andric     MachineInstr *MI = MIB.getInstr();
10480b57cec5SDimitry Andric     const SDNodeFlags Flags = Node->getFlags();
10490b57cec5SDimitry Andric     if (Flags.hasNoSignedZeros())
10500b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmNsz);
10510b57cec5SDimitry Andric 
10520b57cec5SDimitry Andric     if (Flags.hasAllowReciprocal())
10530b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmArcp);
10540b57cec5SDimitry Andric 
10550b57cec5SDimitry Andric     if (Flags.hasNoNaNs())
10560b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmNoNans);
10570b57cec5SDimitry Andric 
10580b57cec5SDimitry Andric     if (Flags.hasNoInfs())
10590b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmNoInfs);
10600b57cec5SDimitry Andric 
10610b57cec5SDimitry Andric     if (Flags.hasAllowContract())
10620b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmContract);
10630b57cec5SDimitry Andric 
10640b57cec5SDimitry Andric     if (Flags.hasApproximateFuncs())
10650b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmAfn);
10660b57cec5SDimitry Andric 
10670b57cec5SDimitry Andric     if (Flags.hasAllowReassociation())
10680b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::FmReassoc);
10690b57cec5SDimitry Andric 
10700b57cec5SDimitry Andric     if (Flags.hasNoUnsignedWrap())
10710b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::NoUWrap);
10720b57cec5SDimitry Andric 
10730b57cec5SDimitry Andric     if (Flags.hasNoSignedWrap())
10740b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::NoSWrap);
10750b57cec5SDimitry Andric 
10760b57cec5SDimitry Andric     if (Flags.hasExact())
10770b57cec5SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::IsExact);
10780b57cec5SDimitry Andric 
1079480093f4SDimitry Andric     if (Flags.hasNoFPExcept())
1080480093f4SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::NoFPExcept);
108106c3fb27SDimitry Andric 
108206c3fb27SDimitry Andric     if (Flags.hasUnpredictable())
108306c3fb27SDimitry Andric       MI->setFlag(MachineInstr::MIFlag::Unpredictable);
10840b57cec5SDimitry Andric   }
10850b57cec5SDimitry Andric 
10860b57cec5SDimitry Andric   // Emit all of the actual operands of this instruction, adding them to the
10870b57cec5SDimitry Andric   // instruction as appropriate.
10880b57cec5SDimitry Andric   bool HasOptPRefs = NumDefs > NumResults;
10890b57cec5SDimitry Andric   assert((!HasOptPRefs || !HasPhysRegOuts) &&
10900b57cec5SDimitry Andric          "Unable to cope with optional defs and phys regs defs!");
10910b57cec5SDimitry Andric   unsigned NumSkip = HasOptPRefs ? NumDefs - NumResults : 0;
10920b57cec5SDimitry Andric   for (unsigned i = NumSkip; i != NodeOperands; ++i)
10930b57cec5SDimitry Andric     AddOperand(MIB, Node->getOperand(i), i-NumSkip+NumDefs, &II,
10940b57cec5SDimitry Andric                VRBaseMap, /*IsDebug=*/false, IsClone, IsCloned);
10950b57cec5SDimitry Andric 
10960b57cec5SDimitry Andric   // Add scratch registers as implicit def and early clobber
10970b57cec5SDimitry Andric   if (ScratchRegs)
10980b57cec5SDimitry Andric     for (unsigned i = 0; ScratchRegs[i]; ++i)
10990b57cec5SDimitry Andric       MIB.addReg(ScratchRegs[i], RegState::ImplicitDefine |
11000b57cec5SDimitry Andric                                  RegState::EarlyClobber);
11010b57cec5SDimitry Andric 
11020b57cec5SDimitry Andric   // Set the memory reference descriptions of this instruction now that it is
11030b57cec5SDimitry Andric   // part of the function.
11040b57cec5SDimitry Andric   MIB.setMemRefs(cast<MachineSDNode>(Node)->memoperands());
11050b57cec5SDimitry Andric 
1106bdd1243dSDimitry Andric   // Set the CFI type.
1107bdd1243dSDimitry Andric   MIB->setCFIType(*MF, Node->getCFIType());
1108bdd1243dSDimitry Andric 
11090b57cec5SDimitry Andric   // Insert the instruction into position in the block. This needs to
11100b57cec5SDimitry Andric   // happen before any custom inserter hook is called so that the
11110b57cec5SDimitry Andric   // hook knows where in the block to insert the replacement code.
11120b57cec5SDimitry Andric   MBB->insert(InsertPos, MIB);
11130b57cec5SDimitry Andric 
11140b57cec5SDimitry Andric   // The MachineInstr may also define physregs instead of virtregs.  These
11150b57cec5SDimitry Andric   // physreg values can reach other instructions in different ways:
11160b57cec5SDimitry Andric   //
11170b57cec5SDimitry Andric   // 1. When there is a use of a Node value beyond the explicitly defined
11180b57cec5SDimitry Andric   //    virtual registers, we emit a CopyFromReg for one of the implicitly
11190b57cec5SDimitry Andric   //    defined physregs.  This only happens when HasPhysRegOuts is true.
11200b57cec5SDimitry Andric   //
11210b57cec5SDimitry Andric   // 2. A CopyFromReg reading a physreg may be glued to this instruction.
11220b57cec5SDimitry Andric   //
11230b57cec5SDimitry Andric   // 3. A glued instruction may implicitly use a physreg.
11240b57cec5SDimitry Andric   //
11250b57cec5SDimitry Andric   // 4. A glued instruction may use a RegisterSDNode operand.
11260b57cec5SDimitry Andric   //
11270b57cec5SDimitry Andric   // Collect all the used physreg defs, and make sure that any unused physreg
11280b57cec5SDimitry Andric   // defs are marked as dead.
11298bcb0991SDimitry Andric   SmallVector<Register, 8> UsedRegs;
11300b57cec5SDimitry Andric 
11310b57cec5SDimitry Andric   // Additional results must be physical register defs.
11320b57cec5SDimitry Andric   if (HasPhysRegOuts) {
11330b57cec5SDimitry Andric     for (unsigned i = NumDefs; i < NumResults; ++i) {
1134bdd1243dSDimitry Andric       Register Reg = II.implicit_defs()[i - NumDefs];
11350b57cec5SDimitry Andric       if (!Node->hasAnyUseOfValue(i))
11360b57cec5SDimitry Andric         continue;
11370b57cec5SDimitry Andric       // This implicitly defined physreg has a use.
11380b57cec5SDimitry Andric       UsedRegs.push_back(Reg);
1139bdd1243dSDimitry Andric       EmitCopyFromReg(Node, i, IsClone, Reg, VRBaseMap);
11400b57cec5SDimitry Andric     }
11410b57cec5SDimitry Andric   }
11420b57cec5SDimitry Andric 
11430b57cec5SDimitry Andric   // Scan the glue chain for any used physregs.
11440b57cec5SDimitry Andric   if (Node->getValueType(Node->getNumValues()-1) == MVT::Glue) {
11450b57cec5SDimitry Andric     for (SDNode *F = Node->getGluedUser(); F; F = F->getGluedUser()) {
11460b57cec5SDimitry Andric       if (F->getOpcode() == ISD::CopyFromReg) {
11470b57cec5SDimitry Andric         UsedRegs.push_back(cast<RegisterSDNode>(F->getOperand(1))->getReg());
11480b57cec5SDimitry Andric         continue;
11490b57cec5SDimitry Andric       } else if (F->getOpcode() == ISD::CopyToReg) {
11500b57cec5SDimitry Andric         // Skip CopyToReg nodes that are internal to the glue chain.
11510b57cec5SDimitry Andric         continue;
11520b57cec5SDimitry Andric       }
11530b57cec5SDimitry Andric       // Collect declared implicit uses.
11540b57cec5SDimitry Andric       const MCInstrDesc &MCID = TII->get(F->getMachineOpcode());
1155bdd1243dSDimitry Andric       append_range(UsedRegs, MCID.implicit_uses());
11560b57cec5SDimitry Andric       // In addition to declared implicit uses, we must also check for
11570b57cec5SDimitry Andric       // direct RegisterSDNode operands.
11580b57cec5SDimitry Andric       for (unsigned i = 0, e = F->getNumOperands(); i != e; ++i)
11590b57cec5SDimitry Andric         if (RegisterSDNode *R = dyn_cast<RegisterSDNode>(F->getOperand(i))) {
11608bcb0991SDimitry Andric           Register Reg = R->getReg();
11618bcb0991SDimitry Andric           if (Reg.isPhysical())
11620b57cec5SDimitry Andric             UsedRegs.push_back(Reg);
11630b57cec5SDimitry Andric         }
11640b57cec5SDimitry Andric     }
11650b57cec5SDimitry Andric   }
11660b57cec5SDimitry Andric 
116706c3fb27SDimitry Andric   // Add rounding control registers as implicit def for function call.
116806c3fb27SDimitry Andric   if (II.isCall() && MF->getFunction().hasFnAttribute(Attribute::StrictFP)) {
116906c3fb27SDimitry Andric     ArrayRef<MCPhysReg> RCRegs = TLI->getRoundingControlRegisters();
117006c3fb27SDimitry Andric     for (MCPhysReg Reg : RCRegs)
117106c3fb27SDimitry Andric       UsedRegs.push_back(Reg);
117206c3fb27SDimitry Andric   }
117306c3fb27SDimitry Andric 
11740b57cec5SDimitry Andric   // Finally mark unused registers as dead.
1175bdd1243dSDimitry Andric   if (!UsedRegs.empty() || !II.implicit_defs().empty() || II.hasOptionalDef())
11760b57cec5SDimitry Andric     MIB->setPhysRegsDeadExcept(UsedRegs, *TRI);
11770b57cec5SDimitry Andric 
1178e8d8bef9SDimitry Andric   // STATEPOINT is too 'dynamic' to have meaningful machine description.
1179e8d8bef9SDimitry Andric   // We have to manually tie operands.
1180e8d8bef9SDimitry Andric   if (Opc == TargetOpcode::STATEPOINT && NumDefs > 0) {
1181e8d8bef9SDimitry Andric     assert(!HasPhysRegOuts && "STATEPOINT mishandled");
1182e8d8bef9SDimitry Andric     MachineInstr *MI = MIB;
1183e8d8bef9SDimitry Andric     unsigned Def = 0;
1184e8d8bef9SDimitry Andric     int First = StatepointOpers(MI).getFirstGCPtrIdx();
1185e8d8bef9SDimitry Andric     assert(First > 0 && "Statepoint has Defs but no GC ptr list");
1186e8d8bef9SDimitry Andric     unsigned Use = (unsigned)First;
1187e8d8bef9SDimitry Andric     while (Def < NumDefs) {
1188e8d8bef9SDimitry Andric       if (MI->getOperand(Use).isReg())
1189e8d8bef9SDimitry Andric         MI->tieOperands(Def++, Use);
1190e8d8bef9SDimitry Andric       Use = StackMaps::getNextMetaArgIdx(MI, Use);
1191e8d8bef9SDimitry Andric     }
1192e8d8bef9SDimitry Andric   }
1193e8d8bef9SDimitry Andric 
11940b57cec5SDimitry Andric   // Run post-isel target hook to adjust this instruction if needed.
11950b57cec5SDimitry Andric   if (II.hasPostISelHook())
11960b57cec5SDimitry Andric     TLI->AdjustInstrPostInstrSelection(*MIB, Node);
11970b57cec5SDimitry Andric }
11980b57cec5SDimitry Andric 
11990b57cec5SDimitry Andric /// EmitSpecialNode - Generate machine code for a target-independent node and
12000b57cec5SDimitry Andric /// needed dependencies.
12010b57cec5SDimitry Andric void InstrEmitter::
12020b57cec5SDimitry Andric EmitSpecialNode(SDNode *Node, bool IsClone, bool IsCloned,
12035ffd83dbSDimitry Andric                 DenseMap<SDValue, Register> &VRBaseMap) {
12040b57cec5SDimitry Andric   switch (Node->getOpcode()) {
12050b57cec5SDimitry Andric   default:
12060b57cec5SDimitry Andric #ifndef NDEBUG
12070b57cec5SDimitry Andric     Node->dump();
12080b57cec5SDimitry Andric #endif
12090b57cec5SDimitry Andric     llvm_unreachable("This target-independent node should have been selected!");
12100b57cec5SDimitry Andric   case ISD::EntryToken:
12110b57cec5SDimitry Andric   case ISD::MERGE_VALUES:
12120b57cec5SDimitry Andric   case ISD::TokenFactor: // fall thru
12130b57cec5SDimitry Andric     break;
12140b57cec5SDimitry Andric   case ISD::CopyToReg: {
12155ffd83dbSDimitry Andric     Register DestReg = cast<RegisterSDNode>(Node->getOperand(1))->getReg();
12160b57cec5SDimitry Andric     SDValue SrcVal = Node->getOperand(2);
1217bdd1243dSDimitry Andric     if (DestReg.isVirtual() && SrcVal.isMachineOpcode() &&
12180b57cec5SDimitry Andric         SrcVal.getMachineOpcode() == TargetOpcode::IMPLICIT_DEF) {
12190b57cec5SDimitry Andric       // Instead building a COPY to that vreg destination, build an
12200b57cec5SDimitry Andric       // IMPLICIT_DEF instruction instead.
12210b57cec5SDimitry Andric       BuildMI(*MBB, InsertPos, Node->getDebugLoc(),
12220b57cec5SDimitry Andric               TII->get(TargetOpcode::IMPLICIT_DEF), DestReg);
12230b57cec5SDimitry Andric       break;
12240b57cec5SDimitry Andric     }
12255ffd83dbSDimitry Andric     Register SrcReg;
12260b57cec5SDimitry Andric     if (RegisterSDNode *R = dyn_cast<RegisterSDNode>(SrcVal))
12270b57cec5SDimitry Andric       SrcReg = R->getReg();
12280b57cec5SDimitry Andric     else
12290b57cec5SDimitry Andric       SrcReg = getVR(SrcVal, VRBaseMap);
12300b57cec5SDimitry Andric 
12310b57cec5SDimitry Andric     if (SrcReg == DestReg) // Coalesced away the copy? Ignore.
12320b57cec5SDimitry Andric       break;
12330b57cec5SDimitry Andric 
12340b57cec5SDimitry Andric     BuildMI(*MBB, InsertPos, Node->getDebugLoc(), TII->get(TargetOpcode::COPY),
12350b57cec5SDimitry Andric             DestReg).addReg(SrcReg);
12360b57cec5SDimitry Andric     break;
12370b57cec5SDimitry Andric   }
12380b57cec5SDimitry Andric   case ISD::CopyFromReg: {
12390b57cec5SDimitry Andric     unsigned SrcReg = cast<RegisterSDNode>(Node->getOperand(1))->getReg();
1240bdd1243dSDimitry Andric     EmitCopyFromReg(Node, 0, IsClone, SrcReg, VRBaseMap);
12410b57cec5SDimitry Andric     break;
12420b57cec5SDimitry Andric   }
12430b57cec5SDimitry Andric   case ISD::EH_LABEL:
12440b57cec5SDimitry Andric   case ISD::ANNOTATION_LABEL: {
12450b57cec5SDimitry Andric     unsigned Opc = (Node->getOpcode() == ISD::EH_LABEL)
12460b57cec5SDimitry Andric                        ? TargetOpcode::EH_LABEL
12470b57cec5SDimitry Andric                        : TargetOpcode::ANNOTATION_LABEL;
12480b57cec5SDimitry Andric     MCSymbol *S = cast<LabelSDNode>(Node)->getLabel();
12490b57cec5SDimitry Andric     BuildMI(*MBB, InsertPos, Node->getDebugLoc(),
12500b57cec5SDimitry Andric             TII->get(Opc)).addSym(S);
12510b57cec5SDimitry Andric     break;
12520b57cec5SDimitry Andric   }
12530b57cec5SDimitry Andric 
12540b57cec5SDimitry Andric   case ISD::LIFETIME_START:
12550b57cec5SDimitry Andric   case ISD::LIFETIME_END: {
1256fe6060f1SDimitry Andric     unsigned TarOp = (Node->getOpcode() == ISD::LIFETIME_START)
1257fe6060f1SDimitry Andric                          ? TargetOpcode::LIFETIME_START
1258fe6060f1SDimitry Andric                          : TargetOpcode::LIFETIME_END;
1259fe6060f1SDimitry Andric     auto *FI = cast<FrameIndexSDNode>(Node->getOperand(1));
12600b57cec5SDimitry Andric     BuildMI(*MBB, InsertPos, Node->getDebugLoc(), TII->get(TarOp))
12610b57cec5SDimitry Andric     .addFrameIndex(FI->getIndex());
12620b57cec5SDimitry Andric     break;
12630b57cec5SDimitry Andric   }
12640b57cec5SDimitry Andric 
1265e8d8bef9SDimitry Andric   case ISD::PSEUDO_PROBE: {
1266e8d8bef9SDimitry Andric     unsigned TarOp = TargetOpcode::PSEUDO_PROBE;
1267e8d8bef9SDimitry Andric     auto Guid = cast<PseudoProbeSDNode>(Node)->getGuid();
1268e8d8bef9SDimitry Andric     auto Index = cast<PseudoProbeSDNode>(Node)->getIndex();
1269e8d8bef9SDimitry Andric     auto Attr = cast<PseudoProbeSDNode>(Node)->getAttributes();
1270e8d8bef9SDimitry Andric 
1271e8d8bef9SDimitry Andric     BuildMI(*MBB, InsertPos, Node->getDebugLoc(), TII->get(TarOp))
1272e8d8bef9SDimitry Andric         .addImm(Guid)
1273e8d8bef9SDimitry Andric         .addImm(Index)
1274e8d8bef9SDimitry Andric         .addImm((uint8_t)PseudoProbeType::Block)
1275e8d8bef9SDimitry Andric         .addImm(Attr);
1276e8d8bef9SDimitry Andric     break;
1277e8d8bef9SDimitry Andric   }
1278e8d8bef9SDimitry Andric 
12790b57cec5SDimitry Andric   case ISD::INLINEASM:
12800b57cec5SDimitry Andric   case ISD::INLINEASM_BR: {
12810b57cec5SDimitry Andric     unsigned NumOps = Node->getNumOperands();
12820b57cec5SDimitry Andric     if (Node->getOperand(NumOps-1).getValueType() == MVT::Glue)
12830b57cec5SDimitry Andric       --NumOps;  // Ignore the glue operand.
12840b57cec5SDimitry Andric 
12850b57cec5SDimitry Andric     // Create the inline asm machine instruction.
12860b57cec5SDimitry Andric     unsigned TgtOpc = Node->getOpcode() == ISD::INLINEASM_BR
12870b57cec5SDimitry Andric                           ? TargetOpcode::INLINEASM_BR
12880b57cec5SDimitry Andric                           : TargetOpcode::INLINEASM;
12890b57cec5SDimitry Andric     MachineInstrBuilder MIB =
12900b57cec5SDimitry Andric         BuildMI(*MF, Node->getDebugLoc(), TII->get(TgtOpc));
12910b57cec5SDimitry Andric 
12920b57cec5SDimitry Andric     // Add the asm string as an external symbol operand.
12930b57cec5SDimitry Andric     SDValue AsmStrV = Node->getOperand(InlineAsm::Op_AsmString);
12940b57cec5SDimitry Andric     const char *AsmStr = cast<ExternalSymbolSDNode>(AsmStrV)->getSymbol();
12950b57cec5SDimitry Andric     MIB.addExternalSymbol(AsmStr);
12960b57cec5SDimitry Andric 
12970b57cec5SDimitry Andric     // Add the HasSideEffect, isAlignStack, AsmDialect, MayLoad and MayStore
12980b57cec5SDimitry Andric     // bits.
12990b57cec5SDimitry Andric     int64_t ExtraInfo =
13000b57cec5SDimitry Andric       cast<ConstantSDNode>(Node->getOperand(InlineAsm::Op_ExtraInfo))->
13010b57cec5SDimitry Andric                           getZExtValue();
13020b57cec5SDimitry Andric     MIB.addImm(ExtraInfo);
13030b57cec5SDimitry Andric 
13040b57cec5SDimitry Andric     // Remember to operand index of the group flags.
13050b57cec5SDimitry Andric     SmallVector<unsigned, 8> GroupIdx;
13060b57cec5SDimitry Andric 
13070b57cec5SDimitry Andric     // Remember registers that are part of early-clobber defs.
13080b57cec5SDimitry Andric     SmallVector<unsigned, 8> ECRegs;
13090b57cec5SDimitry Andric 
13100b57cec5SDimitry Andric     // Add all of the operand registers to the instruction.
13110b57cec5SDimitry Andric     for (unsigned i = InlineAsm::Op_FirstOperand; i != NumOps;) {
1312647cbc5dSDimitry Andric       unsigned Flags = Node->getConstantOperandVal(i);
13135f757f3fSDimitry Andric       const InlineAsm::Flag F(Flags);
13145f757f3fSDimitry Andric       const unsigned NumVals = F.getNumOperandRegisters();
13150b57cec5SDimitry Andric 
13160b57cec5SDimitry Andric       GroupIdx.push_back(MIB->getNumOperands());
13170b57cec5SDimitry Andric       MIB.addImm(Flags);
13180b57cec5SDimitry Andric       ++i;  // Skip the ID value.
13190b57cec5SDimitry Andric 
13205f757f3fSDimitry Andric       switch (F.getKind()) {
13215f757f3fSDimitry Andric       case InlineAsm::Kind::RegDef:
13220b57cec5SDimitry Andric         for (unsigned j = 0; j != NumVals; ++j, ++i) {
1323bdd1243dSDimitry Andric           Register Reg = cast<RegisterSDNode>(Node->getOperand(i))->getReg();
13240b57cec5SDimitry Andric           // FIXME: Add dead flags for physical and virtual registers defined.
13250b57cec5SDimitry Andric           // For now, mark physical register defs as implicit to help fast
13260b57cec5SDimitry Andric           // regalloc. This makes inline asm look a lot like calls.
1327bdd1243dSDimitry Andric           MIB.addReg(Reg, RegState::Define | getImplRegState(Reg.isPhysical()));
13280b57cec5SDimitry Andric         }
13290b57cec5SDimitry Andric         break;
13305f757f3fSDimitry Andric       case InlineAsm::Kind::RegDefEarlyClobber:
13315f757f3fSDimitry Andric       case InlineAsm::Kind::Clobber:
13320b57cec5SDimitry Andric         for (unsigned j = 0; j != NumVals; ++j, ++i) {
1333bdd1243dSDimitry Andric           Register Reg = cast<RegisterSDNode>(Node->getOperand(i))->getReg();
1334bdd1243dSDimitry Andric           MIB.addReg(Reg, RegState::Define | RegState::EarlyClobber |
1335bdd1243dSDimitry Andric                               getImplRegState(Reg.isPhysical()));
13360b57cec5SDimitry Andric           ECRegs.push_back(Reg);
13370b57cec5SDimitry Andric         }
13380b57cec5SDimitry Andric         break;
13395f757f3fSDimitry Andric       case InlineAsm::Kind::RegUse: // Use of register.
13405f757f3fSDimitry Andric       case InlineAsm::Kind::Imm:    // Immediate.
13415f757f3fSDimitry Andric       case InlineAsm::Kind::Mem:    // Non-function addressing mode.
13420b57cec5SDimitry Andric         // The addressing mode has been selected, just add all of the
13430b57cec5SDimitry Andric         // operands to the machine instruction.
13440b57cec5SDimitry Andric         for (unsigned j = 0; j != NumVals; ++j, ++i)
13450b57cec5SDimitry Andric           AddOperand(MIB, Node->getOperand(i), 0, nullptr, VRBaseMap,
13460b57cec5SDimitry Andric                      /*IsDebug=*/false, IsClone, IsCloned);
13470b57cec5SDimitry Andric 
13480b57cec5SDimitry Andric         // Manually set isTied bits.
13495f757f3fSDimitry Andric         if (F.isRegUseKind()) {
13505f757f3fSDimitry Andric           unsigned DefGroup;
13515f757f3fSDimitry Andric           if (F.isUseOperandTiedToDef(DefGroup)) {
13520b57cec5SDimitry Andric             unsigned DefIdx = GroupIdx[DefGroup] + 1;
13530b57cec5SDimitry Andric             unsigned UseIdx = GroupIdx.back() + 1;
13540b57cec5SDimitry Andric             for (unsigned j = 0; j != NumVals; ++j)
13550b57cec5SDimitry Andric               MIB->tieOperands(DefIdx + j, UseIdx + j);
13560b57cec5SDimitry Andric           }
13570b57cec5SDimitry Andric         }
13580b57cec5SDimitry Andric         break;
13595f757f3fSDimitry Andric       case InlineAsm::Kind::Func: // Function addressing mode.
1360bdd1243dSDimitry Andric         for (unsigned j = 0; j != NumVals; ++j, ++i) {
1361bdd1243dSDimitry Andric           SDValue Op = Node->getOperand(i);
1362bdd1243dSDimitry Andric           AddOperand(MIB, Op, 0, nullptr, VRBaseMap,
1363bdd1243dSDimitry Andric                      /*IsDebug=*/false, IsClone, IsCloned);
1364bdd1243dSDimitry Andric 
1365bdd1243dSDimitry Andric           // Adjust Target Flags for function reference.
1366bdd1243dSDimitry Andric           if (auto *TGA = dyn_cast<GlobalAddressSDNode>(Op)) {
1367bdd1243dSDimitry Andric             unsigned NewFlags =
1368bdd1243dSDimitry Andric                 MF->getSubtarget().classifyGlobalFunctionReference(
1369bdd1243dSDimitry Andric                     TGA->getGlobal());
1370bdd1243dSDimitry Andric             unsigned LastIdx = MIB.getInstr()->getNumOperands() - 1;
1371bdd1243dSDimitry Andric             MIB.getInstr()->getOperand(LastIdx).setTargetFlags(NewFlags);
1372bdd1243dSDimitry Andric           }
1373bdd1243dSDimitry Andric         }
13740b57cec5SDimitry Andric       }
13750b57cec5SDimitry Andric     }
13760b57cec5SDimitry Andric 
13770b57cec5SDimitry Andric     // GCC inline assembly allows input operands to also be early-clobber
13780b57cec5SDimitry Andric     // output operands (so long as the operand is written only after it's
13790b57cec5SDimitry Andric     // used), but this does not match the semantics of our early-clobber flag.
13800b57cec5SDimitry Andric     // If an early-clobber operand register is also an input operand register,
13810b57cec5SDimitry Andric     // then remove the early-clobber flag.
13820b57cec5SDimitry Andric     for (unsigned Reg : ECRegs) {
13830b57cec5SDimitry Andric       if (MIB->readsRegister(Reg, TRI)) {
13840b57cec5SDimitry Andric         MachineOperand *MO =
13850b57cec5SDimitry Andric             MIB->findRegisterDefOperand(Reg, false, false, TRI);
13860b57cec5SDimitry Andric         assert(MO && "No def operand for clobbered register?");
13870b57cec5SDimitry Andric         MO->setIsEarlyClobber(false);
13880b57cec5SDimitry Andric       }
13890b57cec5SDimitry Andric     }
13900b57cec5SDimitry Andric 
13910b57cec5SDimitry Andric     // Get the mdnode from the asm if it exists and add it to the instruction.
13920b57cec5SDimitry Andric     SDValue MDV = Node->getOperand(InlineAsm::Op_MDNode);
13930b57cec5SDimitry Andric     const MDNode *MD = cast<MDNodeSDNode>(MDV)->getMD();
13940b57cec5SDimitry Andric     if (MD)
13950b57cec5SDimitry Andric       MIB.addMetadata(MD);
13960b57cec5SDimitry Andric 
13970b57cec5SDimitry Andric     MBB->insert(InsertPos, MIB);
13980b57cec5SDimitry Andric     break;
13990b57cec5SDimitry Andric   }
14000b57cec5SDimitry Andric   }
14010b57cec5SDimitry Andric }
14020b57cec5SDimitry Andric 
14030b57cec5SDimitry Andric /// InstrEmitter - Construct an InstrEmitter and set it to start inserting
14040b57cec5SDimitry Andric /// at the given position in the given block.
1405e8d8bef9SDimitry Andric InstrEmitter::InstrEmitter(const TargetMachine &TM, MachineBasicBlock *mbb,
1406bdd1243dSDimitry Andric                            MachineBasicBlock::iterator insertpos)
14070b57cec5SDimitry Andric     : MF(mbb->getParent()), MRI(&MF->getRegInfo()),
14080b57cec5SDimitry Andric       TII(MF->getSubtarget().getInstrInfo()),
14090b57cec5SDimitry Andric       TRI(MF->getSubtarget().getRegisterInfo()),
14100b57cec5SDimitry Andric       TLI(MF->getSubtarget().getTargetLowering()), MBB(mbb),
1411e8d8bef9SDimitry Andric       InsertPos(insertpos) {
1412bdd1243dSDimitry Andric   EmitDebugInstrRefs = mbb->getParent()->useDebugInstrRef();
1413e8d8bef9SDimitry Andric }
1414