blob: 5e77fcbb0ed9337dd57464db82ea3c49c7ad73af [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//===----------------------------------------------------------------------===//
Eugene Zelenko4f81cdd2017-09-29 21:55:49 +00009//
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000010/// \file
11/// This file implements the InstructionSelector class.
Eugene Zelenko4f81cdd2017-09-29 21:55:49 +000012//
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000013//===----------------------------------------------------------------------===//
14
15#include "llvm/CodeGen/GlobalISel/InstructionSelector.h"
Quentin Colombetb4e71182016-12-22 21:56:19 +000016#include "llvm/CodeGen/GlobalISel/Utils.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000017#include "llvm/CodeGen/MachineBasicBlock.h"
18#include "llvm/CodeGen/MachineFunction.h"
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000019#include "llvm/CodeGen/MachineInstr.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000020#include "llvm/CodeGen/MachineOperand.h"
Daniel Sandersea8711b2017-10-16 03:36:29 +000021#include "llvm/CodeGen/MachineRegisterInfo.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000022#include "llvm/CodeGen/TargetRegisterInfo.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000023#include "llvm/MC/MCInstrDesc.h"
24#include "llvm/Support/Debug.h"
25#include "llvm/Support/raw_ostream.h"
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000026#include <cassert>
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000027
28#define DEBUG_TYPE "instructionselector"
29
30using namespace llvm;
31
Daniel Sanders6ab0daa2017-07-04 14:35:06 +000032InstructionSelector::MatcherState::MatcherState(unsigned MaxRenderers)
Daniel Sandersdf39cba2017-10-15 18:22:54 +000033 : Renderers(MaxRenderers), MIs() {}
Daniel Sanders6ab0daa2017-07-04 14:35:06 +000034
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000035InstructionSelector::InstructionSelector() = default;
Ahmed Bougacha6756a2c2016-07-27 14:31:55 +000036
Daniel Sandersa6e2ceb2017-06-20 12:36:34 +000037bool InstructionSelector::constrainOperandRegToRegClass(
38 MachineInstr &I, unsigned OpIdx, const TargetRegisterClass &RC,
39 const TargetInstrInfo &TII, const TargetRegisterInfo &TRI,
40 const RegisterBankInfo &RBI) const {
41 MachineBasicBlock &MBB = *I.getParent();
42 MachineFunction &MF = *MBB.getParent();
43 MachineRegisterInfo &MRI = MF.getRegInfo();
44
Eugene Zelenko76bf48d2017-06-26 22:44:03 +000045 return
46 constrainRegToClass(MRI, TII, RBI, I, I.getOperand(OpIdx).getReg(), RC);
Daniel Sandersa6e2ceb2017-06-20 12:36:34 +000047}
48
Ahmed Bougacha7f2d1732017-03-19 16:12:48 +000049bool InstructionSelector::isOperandImmEqual(
50 const MachineOperand &MO, int64_t Value,
51 const MachineRegisterInfo &MRI) const {
Daniel Sanders89e93082017-05-18 10:33:36 +000052 if (MO.isReg() && MO.getReg())
Ahmed Bougacha2d29998f2017-03-27 16:35:27 +000053 if (auto VRegVal = getConstantVRegVal(MO.getReg(), MRI))
54 return *VRegVal == Value;
Ahmed Bougacha7f2d1732017-03-19 16:12:48 +000055 return false;
56}
Daniel Sandersbee57392017-04-04 13:25:23 +000057
Daniel Sandersea8711b2017-10-16 03:36:29 +000058bool InstructionSelector::isBaseWithConstantOffset(
59 const MachineOperand &Root, const MachineRegisterInfo &MRI) const {
60 if (!Root.isReg())
61 return false;
62
63 MachineInstr *RootI = MRI.getVRegDef(Root.getReg());
64 if (RootI->getOpcode() != TargetOpcode::G_GEP)
65 return false;
66
67 MachineOperand &RHS = RootI->getOperand(2);
68 MachineInstr *RHSI = MRI.getVRegDef(RHS.getReg());
69 if (RHSI->getOpcode() != TargetOpcode::G_CONSTANT)
70 return false;
71
72 return true;
73}
74
Daniel Sanders7e523672017-11-11 03:23:44 +000075bool InstructionSelector::isObviouslySafeToFold(MachineInstr &MI,
76 MachineInstr &IntoMI) const {
77 // Immediate neighbours are already folded.
78 if (MI.getParent() == IntoMI.getParent() &&
79 std::next(MI.getIterator()) == IntoMI.getIterator())
80 return true;
81
Daniel Sandersbee57392017-04-04 13:25:23 +000082 return !MI.mayLoadOrStore() && !MI.hasUnmodeledSideEffects() &&
83 MI.implicit_operands().begin() == MI.implicit_operands().end();
84}