blob: f5b97656c3ba96d3e3a82f5e7cd6b482a03e785d [file] [log] [blame]
Quentin Colombetb4e71182016-12-22 21:56:19 +00001//===- llvm/CodeGen/GlobalISel/Utils.cpp -------------------------*- C++ -*-==//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9/// \file This file implements the utility functions used by the GlobalISel
10/// pipeline.
11//===----------------------------------------------------------------------===//
12
13#include "llvm/CodeGen/GlobalISel/Utils.h"
Aditya Nandakumar91fc4e02018-03-09 17:31:51 +000014#include "llvm/ADT/APFloat.h"
Ahmed Bougachaae9dade2017-02-23 21:05:42 +000015#include "llvm/ADT/Twine.h"
Quentin Colombetb4e71182016-12-22 21:56:19 +000016#include "llvm/CodeGen/GlobalISel/RegisterBankInfo.h"
17#include "llvm/CodeGen/MachineInstr.h"
18#include "llvm/CodeGen/MachineInstrBuilder.h"
Ahmed Bougachaae9dade2017-02-23 21:05:42 +000019#include "llvm/CodeGen/MachineOptimizationRemarkEmitter.h"
Quentin Colombetb4e71182016-12-22 21:56:19 +000020#include "llvm/CodeGen/MachineRegisterInfo.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000021#include "llvm/CodeGen/TargetInstrInfo.h"
Ahmed Bougachaae9dade2017-02-23 21:05:42 +000022#include "llvm/CodeGen/TargetPassConfig.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000023#include "llvm/CodeGen/TargetRegisterInfo.h"
Aditya Nandakumar75ad9cc2017-04-19 20:48:50 +000024#include "llvm/IR/Constants.h"
Quentin Colombetb4e71182016-12-22 21:56:19 +000025
26#define DEBUG_TYPE "globalisel-utils"
27
28using namespace llvm;
29
Daniel Sandersa6e2ceb2017-06-20 12:36:34 +000030unsigned llvm::constrainRegToClass(MachineRegisterInfo &MRI,
31 const TargetInstrInfo &TII,
32 const RegisterBankInfo &RBI,
33 MachineInstr &InsertPt, unsigned Reg,
34 const TargetRegisterClass &RegClass) {
35 if (!RBI.constrainGenericRegister(Reg, RegClass, MRI)) {
36 unsigned NewReg = MRI.createVirtualRegister(&RegClass);
37 BuildMI(*InsertPt.getParent(), InsertPt, InsertPt.getDebugLoc(),
38 TII.get(TargetOpcode::COPY), NewReg)
39 .addReg(Reg);
40 return NewReg;
41 }
42
43 return Reg;
44}
45
Quentin Colombetb4e71182016-12-22 21:56:19 +000046unsigned llvm::constrainOperandRegClass(
47 const MachineFunction &MF, const TargetRegisterInfo &TRI,
48 MachineRegisterInfo &MRI, const TargetInstrInfo &TII,
49 const RegisterBankInfo &RBI, MachineInstr &InsertPt, const MCInstrDesc &II,
Aditya Nandakumar59999052018-02-26 22:56:21 +000050 const MachineOperand &RegMO, unsigned OpIdx) {
51 unsigned Reg = RegMO.getReg();
Quentin Colombetb4e71182016-12-22 21:56:19 +000052 // Assume physical registers are properly constrained.
53 assert(TargetRegisterInfo::isVirtualRegister(Reg) &&
54 "PhysReg not implemented");
55
56 const TargetRegisterClass *RegClass = TII.getRegClass(II, OpIdx, &TRI, MF);
Daniel Sanders08464522018-01-29 21:09:12 +000057 // Some of the target independent instructions, like COPY, may not impose any
Aditya Nandakumar59999052018-02-26 22:56:21 +000058 // register class constraints on some of their operands: If it's a use, we can
59 // skip constraining as the instruction defining the register would constrain
60 // it.
Tom Stellardabc98712018-05-03 21:44:16 +000061
62 // We can't constrain unallocatable register classes, because we can't create
63 // virtual registers for these classes, so we need to let targets handled this
64 // case.
65 if (RegClass && !RegClass->isAllocatable())
66 RegClass = TRI.getConstrainedRegClassForOperand(RegMO, MRI);
67
Daniel Sanders08464522018-01-29 21:09:12 +000068 if (!RegClass) {
Aditya Nandakumar59999052018-02-26 22:56:21 +000069 assert((!isTargetSpecificOpcode(II.getOpcode()) || RegMO.isUse()) &&
70 "Register class constraint is required unless either the "
71 "instruction is target independent or the operand is a use");
Daniel Sanders08464522018-01-29 21:09:12 +000072 // FIXME: Just bailing out like this here could be not enough, unless we
73 // expect the users of this function to do the right thing for PHIs and
74 // COPY:
75 // v1 = COPY v0
76 // v2 = COPY v1
77 // v1 here may end up not being constrained at all. Please notice that to
78 // reproduce the issue we likely need a destination pattern of a selection
79 // rule producing such extra copies, not just an input GMIR with them as
80 // every existing target using selectImpl handles copies before calling it
81 // and they never reach this function.
82 return Reg;
83 }
Daniel Sandersa6e2ceb2017-06-20 12:36:34 +000084 return constrainRegToClass(MRI, TII, RBI, InsertPt, Reg, *RegClass);
Quentin Colombetb4e71182016-12-22 21:56:19 +000085}
Ahmed Bougachaae9dade2017-02-23 21:05:42 +000086
Aditya Nandakumar18b3f9d2018-01-17 19:31:33 +000087bool llvm::constrainSelectedInstRegOperands(MachineInstr &I,
88 const TargetInstrInfo &TII,
89 const TargetRegisterInfo &TRI,
90 const RegisterBankInfo &RBI) {
Daniel Sanders08464522018-01-29 21:09:12 +000091 assert(!isPreISelGenericOpcode(I.getOpcode()) &&
92 "A selected instruction is expected");
Aditya Nandakumar18b3f9d2018-01-17 19:31:33 +000093 MachineBasicBlock &MBB = *I.getParent();
94 MachineFunction &MF = *MBB.getParent();
95 MachineRegisterInfo &MRI = MF.getRegInfo();
96
97 for (unsigned OpI = 0, OpE = I.getNumExplicitOperands(); OpI != OpE; ++OpI) {
98 MachineOperand &MO = I.getOperand(OpI);
99
100 // There's nothing to be done on non-register operands.
101 if (!MO.isReg())
102 continue;
103
104 DEBUG(dbgs() << "Converting operand: " << MO << '\n');
105 assert(MO.isReg() && "Unsupported non-reg operand");
106
107 unsigned Reg = MO.getReg();
108 // Physical registers don't need to be constrained.
109 if (TRI.isPhysicalRegister(Reg))
110 continue;
111
112 // Register operands with a value of 0 (e.g. predicate operands) don't need
113 // to be constrained.
114 if (Reg == 0)
115 continue;
116
117 // If the operand is a vreg, we should constrain its regclass, and only
118 // insert COPYs if that's impossible.
119 // constrainOperandRegClass does that for us.
120 MO.setReg(constrainOperandRegClass(MF, TRI, MRI, TII, RBI, I, I.getDesc(),
Aditya Nandakumar59999052018-02-26 22:56:21 +0000121 MO, OpI));
Aditya Nandakumar18b3f9d2018-01-17 19:31:33 +0000122
123 // Tie uses to defs as indicated in MCInstrDesc if this hasn't already been
124 // done.
125 if (MO.isUse()) {
126 int DefIdx = I.getDesc().getOperandConstraint(OpI, MCOI::TIED_TO);
127 if (DefIdx != -1 && !I.isRegTiedToUseOperand(DefIdx))
128 I.tieOperands(DefIdx, OpI);
129 }
130 }
131 return true;
132}
133
Volkan Keles47debae2017-03-21 10:47:35 +0000134bool llvm::isTriviallyDead(const MachineInstr &MI,
135 const MachineRegisterInfo &MRI) {
136 // If we can move an instruction, we can remove it. Otherwise, it has
137 // a side-effect of some sort.
138 bool SawStore = false;
139 if (!MI.isSafeToMove(/*AA=*/nullptr, SawStore))
140 return false;
141
142 // Instructions without side-effects are dead iff they only define dead vregs.
143 for (auto &MO : MI.operands()) {
144 if (!MO.isReg() || !MO.isDef())
145 continue;
146
147 unsigned Reg = MO.getReg();
Ahmed Bougacha15b3e8a2017-03-21 23:42:54 +0000148 if (TargetRegisterInfo::isPhysicalRegister(Reg) ||
149 !MRI.use_nodbg_empty(Reg))
Volkan Keles47debae2017-03-21 10:47:35 +0000150 return false;
151 }
152 return true;
153}
154
Ahmed Bougachaae9dade2017-02-23 21:05:42 +0000155void llvm::reportGISelFailure(MachineFunction &MF, const TargetPassConfig &TPC,
156 MachineOptimizationRemarkEmitter &MORE,
157 MachineOptimizationRemarkMissed &R) {
158 MF.getProperties().set(MachineFunctionProperties::Property::FailedISel);
159
160 // Print the function name explicitly if we don't have a debug location (which
161 // makes the diagnostic less useful) or if we're going to emit a raw error.
162 if (!R.getLocation().isValid() || TPC.isGlobalISelAbortEnabled())
163 R << (" (in function: " + MF.getName() + ")").str();
164
165 if (TPC.isGlobalISelAbortEnabled())
166 report_fatal_error(R.getMsg());
167 else
168 MORE.emit(R);
169}
170
171void llvm::reportGISelFailure(MachineFunction &MF, const TargetPassConfig &TPC,
172 MachineOptimizationRemarkEmitter &MORE,
173 const char *PassName, StringRef Msg,
174 const MachineInstr &MI) {
175 MachineOptimizationRemarkMissed R(PassName, "GISelFailure: ",
176 MI.getDebugLoc(), MI.getParent());
Ahmed Bougachad630a922017-09-18 18:50:09 +0000177 R << Msg;
178 // Printing MI is expensive; only do it if expensive remarks are enabled.
Aditya Nandakumarabf75942018-02-27 18:04:23 +0000179 if (TPC.isGlobalISelAbortEnabled() || MORE.allowExtraAnalysis(PassName))
Ahmed Bougachad630a922017-09-18 18:50:09 +0000180 R << ": " << ore::MNV("Inst", MI);
Ahmed Bougachaae9dade2017-02-23 21:05:42 +0000181 reportGISelFailure(MF, TPC, MORE, R);
182}
Aditya Nandakumar75ad9cc2017-04-19 20:48:50 +0000183
184Optional<int64_t> llvm::getConstantVRegVal(unsigned VReg,
185 const MachineRegisterInfo &MRI) {
186 MachineInstr *MI = MRI.getVRegDef(VReg);
187 if (MI->getOpcode() != TargetOpcode::G_CONSTANT)
188 return None;
189
190 if (MI->getOperand(1).isImm())
191 return MI->getOperand(1).getImm();
192
193 if (MI->getOperand(1).isCImm() &&
194 MI->getOperand(1).getCImm()->getBitWidth() <= 64)
195 return MI->getOperand(1).getCImm()->getSExtValue();
196
197 return None;
198}
Aditya Nandakumar2a735422017-05-12 22:54:52 +0000199
200const llvm::ConstantFP* llvm::getConstantFPVRegVal(unsigned VReg,
201 const MachineRegisterInfo &MRI) {
202 MachineInstr *MI = MRI.getVRegDef(VReg);
203 if (TargetOpcode::G_FCONSTANT != MI->getOpcode())
204 return nullptr;
205 return MI->getOperand(1).getFPImm();
206}
Aditya Nandakumar954eea02017-11-15 23:45:04 +0000207
208llvm::MachineInstr *llvm::getOpcodeDef(unsigned Opcode, unsigned Reg,
209 const MachineRegisterInfo &MRI) {
210 auto *DefMI = MRI.getVRegDef(Reg);
211 auto DstTy = MRI.getType(DefMI->getOperand(0).getReg());
212 if (!DstTy.isValid())
213 return nullptr;
214 while (DefMI->getOpcode() == TargetOpcode::COPY) {
215 unsigned SrcReg = DefMI->getOperand(1).getReg();
216 auto SrcTy = MRI.getType(SrcReg);
217 if (!SrcTy.isValid() || SrcTy != DstTy)
218 break;
219 DefMI = MRI.getVRegDef(SrcReg);
220 }
221 return DefMI->getOpcode() == Opcode ? DefMI : nullptr;
222}
Aditya Nandakumar91fc4e02018-03-09 17:31:51 +0000223
224APFloat llvm::getAPFloatFromSize(double Val, unsigned Size) {
225 if (Size == 32)
226 return APFloat(float(Val));
227 if (Size == 64)
228 return APFloat(Val);
229 if (Size != 16)
230 llvm_unreachable("Unsupported FPConstant size");
231 bool Ignored;
232 APFloat APF(Val);
233 APF.convert(APFloat::IEEEhalf(), APFloat::rmNearestTiesToEven, &Ignored);
234 return APF;
235}