blob: bf427225d6a969996961ea9a1f4e189763d5eab5 [file] [log] [blame]
Eugene Zelenko76bf48d2017-06-26 22:44:03 +00001//===- llvm/CodeGen/GlobalISel/InstructionSelector.cpp --------------------===//
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +00002//
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
10/// This file implements the InstructionSelector class.
11//===----------------------------------------------------------------------===//
12
13#include "llvm/CodeGen/GlobalISel/InstructionSelector.h"
Quentin Colombetb4e71182016-12-22 21:56:19 +000014#include "llvm/CodeGen/GlobalISel/Utils.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000015#include "llvm/CodeGen/MachineBasicBlock.h"
16#include "llvm/CodeGen/MachineFunction.h"
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000017#include "llvm/CodeGen/MachineInstr.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000018#include "llvm/CodeGen/MachineOperand.h"
Daniel Sandersd93a35a2017-07-05 09:39:33 +000019#include "llvm/CodeGen/MachineInstrBuilder.h"
20#include "llvm/CodeGen/MachineRegisterInfo.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000021#include "llvm/MC/MCInstrDesc.h"
Daniel Sandersd93a35a2017-07-05 09:39:33 +000022#include "llvm/IR/Constants.h"
23#include "llvm/Target/TargetInstrInfo.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000024#include "llvm/Support/Debug.h"
25#include "llvm/Support/raw_ostream.h"
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000026#include "llvm/Target/TargetRegisterInfo.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000027#include <cassert>
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000028
29#define DEBUG_TYPE "instructionselector"
30
31using namespace llvm;
32
Daniel Sanders6ab0daa2017-07-04 14:35:06 +000033InstructionSelector::MatcherState::MatcherState(unsigned MaxRenderers)
34 : Renderers(MaxRenderers, nullptr), MIs() {}
35
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000036InstructionSelector::InstructionSelector() = default;
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000037
Daniel Sandersa6e2ceb2017-06-20 12:36:34 +000038bool InstructionSelector::constrainOperandRegToRegClass(
39 MachineInstr &I, unsigned OpIdx, const TargetRegisterClass &RC,
40 const TargetInstrInfo &TII, const TargetRegisterInfo &TRI,
41 const RegisterBankInfo &RBI) const {
42 MachineBasicBlock &MBB = *I.getParent();
43 MachineFunction &MF = *MBB.getParent();
44 MachineRegisterInfo &MRI = MF.getRegInfo();
45
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000046 return
47 constrainRegToClass(MRI, TII, RBI, I, I.getOperand(OpIdx).getReg(), RC);
Daniel Sandersa6e2ceb2017-06-20 12:36:34 +000048}
49
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000050bool InstructionSelector::constrainSelectedInstRegOperands(
51 MachineInstr &I, const TargetInstrInfo &TII, const TargetRegisterInfo &TRI,
52 const RegisterBankInfo &RBI) const {
53 MachineBasicBlock &MBB = *I.getParent();
54 MachineFunction &MF = *MBB.getParent();
55 MachineRegisterInfo &MRI = MF.getRegInfo();
56
57 for (unsigned OpI = 0, OpE = I.getNumExplicitOperands(); OpI != OpE; ++OpI) {
58 MachineOperand &MO = I.getOperand(OpI);
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000059
Tim Northoverbdf16242016-10-10 21:50:00 +000060 // There's nothing to be done on non-register operands.
61 if (!MO.isReg())
Ahmed Bougacha7adfac52016-07-29 16:56:16 +000062 continue;
63
64 DEBUG(dbgs() << "Converting operand: " << MO << '\n');
65 assert(MO.isReg() && "Unsupported non-reg operand");
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000066
Quentin Colombetb4e71182016-12-22 21:56:19 +000067 unsigned Reg = MO.getReg();
Ahmed Bougachae4c03ab2016-08-16 14:37:46 +000068 // Physical registers don't need to be constrained.
Quentin Colombetb4e71182016-12-22 21:56:19 +000069 if (TRI.isPhysicalRegister(Reg))
Ahmed Bougachae4c03ab2016-08-16 14:37:46 +000070 continue;
71
Diana Picus812caee2016-12-16 12:54:46 +000072 // Register operands with a value of 0 (e.g. predicate operands) don't need
73 // to be constrained.
Quentin Colombetb4e71182016-12-22 21:56:19 +000074 if (Reg == 0)
Diana Picus812caee2016-12-16 12:54:46 +000075 continue;
76
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000077 // If the operand is a vreg, we should constrain its regclass, and only
78 // insert COPYs if that's impossible.
Quentin Colombetb4e71182016-12-22 21:56:19 +000079 // constrainOperandRegClass does that for us.
80 MO.setReg(constrainOperandRegClass(MF, TRI, MRI, TII, RBI, I, I.getDesc(),
81 Reg, OpI));
Igor Bregerf7359d82017-02-22 12:25:09 +000082
Daniel Sanderse9fdba32017-04-29 17:30:09 +000083 // Tie uses to defs as indicated in MCInstrDesc if this hasn't already been
84 // done.
Igor Bregerf7359d82017-02-22 12:25:09 +000085 if (MO.isUse()) {
86 int DefIdx = I.getDesc().getOperandConstraint(OpI, MCOI::TIED_TO);
Daniel Sanderse9fdba32017-04-29 17:30:09 +000087 if (DefIdx != -1 && !I.isRegTiedToUseOperand(DefIdx))
Igor Bregerf7359d82017-02-22 12:25:09 +000088 I.tieOperands(DefIdx, OpI);
89 }
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000090 }
91 return true;
92}
Ahmed Bougacha7f2d1732017-03-19 16:12:48 +000093
94bool InstructionSelector::isOperandImmEqual(
95 const MachineOperand &MO, int64_t Value,
96 const MachineRegisterInfo &MRI) const {
Daniel Sanders89e93082017-05-18 10:33:36 +000097 if (MO.isReg() && MO.getReg())
Ahmed Bougacha2d29998f2017-03-27 16:35:27 +000098 if (auto VRegVal = getConstantVRegVal(MO.getReg(), MRI))
99 return *VRegVal == Value;
Ahmed Bougacha7f2d1732017-03-19 16:12:48 +0000100 return false;
101}
Daniel Sandersbee57392017-04-04 13:25:23 +0000102
103bool InstructionSelector::isObviouslySafeToFold(MachineInstr &MI) const {
104 return !MI.mayLoadOrStore() && !MI.hasUnmodeledSideEffects() &&
105 MI.implicit_operands().begin() == MI.implicit_operands().end();
106}