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. 4980b57cec5SDimitry Andric unsigned SubIdx = cast<ConstantSDNode>(Node->getOperand(1))->getZExtValue(); 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); 5540b57cec5SDimitry Andric unsigned SubIdx = cast<ConstantSDNode>(N2)->getZExtValue(); 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. 6140b57cec5SDimitry Andric unsigned DstRCIdx = cast<ConstantSDNode>(Node->getOperand(1))->getZExtValue(); 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) { 6320b57cec5SDimitry Andric unsigned DstRCIdx = cast<ConstantSDNode>(Node->getOperand(0))->getZExtValue(); 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()) { 6530b57cec5SDimitry Andric unsigned SubIdx = cast<ConstantSDNode>(Op)->getZExtValue(); 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); 1081*06c3fb27SDimitry Andric 1082*06c3fb27SDimitry Andric if (Flags.hasUnpredictable()) 1083*06c3fb27SDimitry 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 1167*06c3fb27SDimitry Andric // Add rounding control registers as implicit def for function call. 1168*06c3fb27SDimitry Andric if (II.isCall() && MF->getFunction().hasFnAttribute(Attribute::StrictFP)) { 1169*06c3fb27SDimitry Andric ArrayRef<MCPhysReg> RCRegs = TLI->getRoundingControlRegisters(); 1170*06c3fb27SDimitry Andric for (MCPhysReg Reg : RCRegs) 1171*06c3fb27SDimitry Andric UsedRegs.push_back(Reg); 1172*06c3fb27SDimitry Andric } 1173*06c3fb27SDimitry 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;) { 13120b57cec5SDimitry Andric unsigned Flags = 13130b57cec5SDimitry Andric cast<ConstantSDNode>(Node->getOperand(i))->getZExtValue(); 13140b57cec5SDimitry Andric const unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags); 13150b57cec5SDimitry Andric 13160b57cec5SDimitry Andric GroupIdx.push_back(MIB->getNumOperands()); 13170b57cec5SDimitry Andric MIB.addImm(Flags); 13180b57cec5SDimitry Andric ++i; // Skip the ID value. 13190b57cec5SDimitry Andric 13200b57cec5SDimitry Andric switch (InlineAsm::getKind(Flags)) { 13210b57cec5SDimitry Andric default: llvm_unreachable("Bad flags!"); 13220b57cec5SDimitry Andric case InlineAsm::Kind_RegDef: 13230b57cec5SDimitry Andric for (unsigned j = 0; j != NumVals; ++j, ++i) { 1324bdd1243dSDimitry Andric Register Reg = cast<RegisterSDNode>(Node->getOperand(i))->getReg(); 13250b57cec5SDimitry Andric // FIXME: Add dead flags for physical and virtual registers defined. 13260b57cec5SDimitry Andric // For now, mark physical register defs as implicit to help fast 13270b57cec5SDimitry Andric // regalloc. This makes inline asm look a lot like calls. 1328bdd1243dSDimitry Andric MIB.addReg(Reg, RegState::Define | getImplRegState(Reg.isPhysical())); 13290b57cec5SDimitry Andric } 13300b57cec5SDimitry Andric break; 13310b57cec5SDimitry Andric case InlineAsm::Kind_RegDefEarlyClobber: 13320b57cec5SDimitry Andric case InlineAsm::Kind_Clobber: 13330b57cec5SDimitry Andric for (unsigned j = 0; j != NumVals; ++j, ++i) { 1334bdd1243dSDimitry Andric Register Reg = cast<RegisterSDNode>(Node->getOperand(i))->getReg(); 1335bdd1243dSDimitry Andric MIB.addReg(Reg, RegState::Define | RegState::EarlyClobber | 1336bdd1243dSDimitry Andric getImplRegState(Reg.isPhysical())); 13370b57cec5SDimitry Andric ECRegs.push_back(Reg); 13380b57cec5SDimitry Andric } 13390b57cec5SDimitry Andric break; 13400b57cec5SDimitry Andric case InlineAsm::Kind_RegUse: // Use of register. 13410b57cec5SDimitry Andric case InlineAsm::Kind_Imm: // Immediate. 1342bdd1243dSDimitry Andric case InlineAsm::Kind_Mem: // Non-function addressing mode. 13430b57cec5SDimitry Andric // The addressing mode has been selected, just add all of the 13440b57cec5SDimitry Andric // operands to the machine instruction. 13450b57cec5SDimitry Andric for (unsigned j = 0; j != NumVals; ++j, ++i) 13460b57cec5SDimitry Andric AddOperand(MIB, Node->getOperand(i), 0, nullptr, VRBaseMap, 13470b57cec5SDimitry Andric /*IsDebug=*/false, IsClone, IsCloned); 13480b57cec5SDimitry Andric 13490b57cec5SDimitry Andric // Manually set isTied bits. 13500b57cec5SDimitry Andric if (InlineAsm::getKind(Flags) == InlineAsm::Kind_RegUse) { 13510b57cec5SDimitry Andric unsigned DefGroup = 0; 13520b57cec5SDimitry Andric if (InlineAsm::isUseOperandTiedToDef(Flags, DefGroup)) { 13530b57cec5SDimitry Andric unsigned DefIdx = GroupIdx[DefGroup] + 1; 13540b57cec5SDimitry Andric unsigned UseIdx = GroupIdx.back() + 1; 13550b57cec5SDimitry Andric for (unsigned j = 0; j != NumVals; ++j) 13560b57cec5SDimitry Andric MIB->tieOperands(DefIdx + j, UseIdx + j); 13570b57cec5SDimitry Andric } 13580b57cec5SDimitry Andric } 13590b57cec5SDimitry Andric break; 1360bdd1243dSDimitry Andric case InlineAsm::Kind_Func: // Function addressing mode. 1361bdd1243dSDimitry Andric for (unsigned j = 0; j != NumVals; ++j, ++i) { 1362bdd1243dSDimitry Andric SDValue Op = Node->getOperand(i); 1363bdd1243dSDimitry Andric AddOperand(MIB, Op, 0, nullptr, VRBaseMap, 1364bdd1243dSDimitry Andric /*IsDebug=*/false, IsClone, IsCloned); 1365bdd1243dSDimitry Andric 1366bdd1243dSDimitry Andric // Adjust Target Flags for function reference. 1367bdd1243dSDimitry Andric if (auto *TGA = dyn_cast<GlobalAddressSDNode>(Op)) { 1368bdd1243dSDimitry Andric unsigned NewFlags = 1369bdd1243dSDimitry Andric MF->getSubtarget().classifyGlobalFunctionReference( 1370bdd1243dSDimitry Andric TGA->getGlobal()); 1371bdd1243dSDimitry Andric unsigned LastIdx = MIB.getInstr()->getNumOperands() - 1; 1372bdd1243dSDimitry Andric MIB.getInstr()->getOperand(LastIdx).setTargetFlags(NewFlags); 1373bdd1243dSDimitry Andric } 1374bdd1243dSDimitry Andric } 13750b57cec5SDimitry Andric } 13760b57cec5SDimitry Andric } 13770b57cec5SDimitry Andric 13780b57cec5SDimitry Andric // GCC inline assembly allows input operands to also be early-clobber 13790b57cec5SDimitry Andric // output operands (so long as the operand is written only after it's 13800b57cec5SDimitry Andric // used), but this does not match the semantics of our early-clobber flag. 13810b57cec5SDimitry Andric // If an early-clobber operand register is also an input operand register, 13820b57cec5SDimitry Andric // then remove the early-clobber flag. 13830b57cec5SDimitry Andric for (unsigned Reg : ECRegs) { 13840b57cec5SDimitry Andric if (MIB->readsRegister(Reg, TRI)) { 13850b57cec5SDimitry Andric MachineOperand *MO = 13860b57cec5SDimitry Andric MIB->findRegisterDefOperand(Reg, false, false, TRI); 13870b57cec5SDimitry Andric assert(MO && "No def operand for clobbered register?"); 13880b57cec5SDimitry Andric MO->setIsEarlyClobber(false); 13890b57cec5SDimitry Andric } 13900b57cec5SDimitry Andric } 13910b57cec5SDimitry Andric 13920b57cec5SDimitry Andric // Get the mdnode from the asm if it exists and add it to the instruction. 13930b57cec5SDimitry Andric SDValue MDV = Node->getOperand(InlineAsm::Op_MDNode); 13940b57cec5SDimitry Andric const MDNode *MD = cast<MDNodeSDNode>(MDV)->getMD(); 13950b57cec5SDimitry Andric if (MD) 13960b57cec5SDimitry Andric MIB.addMetadata(MD); 13970b57cec5SDimitry Andric 13980b57cec5SDimitry Andric MBB->insert(InsertPos, MIB); 13990b57cec5SDimitry Andric break; 14000b57cec5SDimitry Andric } 14010b57cec5SDimitry Andric } 14020b57cec5SDimitry Andric } 14030b57cec5SDimitry Andric 14040b57cec5SDimitry Andric /// InstrEmitter - Construct an InstrEmitter and set it to start inserting 14050b57cec5SDimitry Andric /// at the given position in the given block. 1406e8d8bef9SDimitry Andric InstrEmitter::InstrEmitter(const TargetMachine &TM, MachineBasicBlock *mbb, 1407bdd1243dSDimitry Andric MachineBasicBlock::iterator insertpos) 14080b57cec5SDimitry Andric : MF(mbb->getParent()), MRI(&MF->getRegInfo()), 14090b57cec5SDimitry Andric TII(MF->getSubtarget().getInstrInfo()), 14100b57cec5SDimitry Andric TRI(MF->getSubtarget().getRegisterInfo()), 14110b57cec5SDimitry Andric TLI(MF->getSubtarget().getTargetLowering()), MBB(mbb), 1412e8d8bef9SDimitry Andric InsertPos(insertpos) { 1413bdd1243dSDimitry Andric EmitDebugInstrRefs = mbb->getParent()->useDebugInstrRef(); 1414e8d8bef9SDimitry Andric } 1415