blob: ec7a8c40d18a9f903cd43ce0df245c405e52c29d [file] [log] [blame]
Richard Sandiford35ec4e3562013-09-25 10:11:07 +00001//===-- SystemZShortenInst.cpp - Instruction-shortening pass --------------===//
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//
10// This pass tries to replace instructions with shorter forms. For example,
11// IILF can be replaced with LLILL or LLILH if the constant fits and if the
12// other 32 bits of the GR64 destination are not live.
13//
14//===----------------------------------------------------------------------===//
15
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000016#include "SystemZTargetMachine.h"
17#include "llvm/CodeGen/MachineFunctionPass.h"
18
19using namespace llvm;
20
Chandler Carruth84e68b22014-04-22 02:41:26 +000021#define DEBUG_TYPE "systemz-shorten-inst"
22
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000023namespace {
Richard Sandifordc2312692014-03-06 10:38:30 +000024class SystemZShortenInst : public MachineFunctionPass {
25public:
26 static char ID;
27 SystemZShortenInst(const SystemZTargetMachine &tm);
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000028
Richard Sandifordb4d67b52014-03-06 12:03:36 +000029 const char *getPassName() const override {
Richard Sandifordc2312692014-03-06 10:38:30 +000030 return "SystemZ Instruction Shortening";
31 }
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000032
Richard Sandiford28c111e2014-03-06 11:00:15 +000033 bool processBlock(MachineBasicBlock &MBB);
Craig Topper9d74a5a2014-04-29 07:58:41 +000034 bool runOnMachineFunction(MachineFunction &F) override;
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000035
Richard Sandifordc2312692014-03-06 10:38:30 +000036private:
37 bool shortenIIF(MachineInstr &MI, unsigned *GPRMap, unsigned LiveOther,
38 unsigned LLIxL, unsigned LLIxH);
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000039
Richard Sandifordc2312692014-03-06 10:38:30 +000040 const SystemZInstrInfo *TII;
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000041
Richard Sandifordc2312692014-03-06 10:38:30 +000042 // LowGPRs[I] has bit N set if LLVM register I includes the low
43 // word of GPR N. HighGPRs is the same for the high word.
44 unsigned LowGPRs[SystemZ::NUM_TARGET_REGS];
45 unsigned HighGPRs[SystemZ::NUM_TARGET_REGS];
46};
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000047
Richard Sandifordc2312692014-03-06 10:38:30 +000048char SystemZShortenInst::ID = 0;
49} // end anonymous namespace
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000050
51FunctionPass *llvm::createSystemZShortenInstPass(SystemZTargetMachine &TM) {
52 return new SystemZShortenInst(TM);
53}
54
55SystemZShortenInst::SystemZShortenInst(const SystemZTargetMachine &tm)
Craig Topper062a2ba2014-04-25 05:30:21 +000056 : MachineFunctionPass(ID), TII(nullptr), LowGPRs(), HighGPRs() {
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000057 // Set up LowGPRs and HighGPRs.
58 for (unsigned I = 0; I < 16; ++I) {
59 LowGPRs[SystemZMC::GR32Regs[I]] |= 1 << I;
60 LowGPRs[SystemZMC::GR64Regs[I]] |= 1 << I;
Richard Sandiford01240232013-10-01 13:02:28 +000061 HighGPRs[SystemZMC::GRH32Regs[I]] |= 1 << I;
Richard Sandiford35ec4e3562013-09-25 10:11:07 +000062 HighGPRs[SystemZMC::GR64Regs[I]] |= 1 << I;
63 if (unsigned GR128 = SystemZMC::GR128Regs[I]) {
64 LowGPRs[GR128] |= 3 << I;
65 HighGPRs[GR128] |= 3 << I;
66 }
67 }
68}
69
70// MI loads one word of a GPR using an IIxF instruction and LLIxL and LLIxH
71// are the halfword immediate loads for the same word. Try to use one of them
72// instead of IIxF. If MI loads the high word, GPRMap[X] is the set of high
73// words referenced by LLVM register X while LiveOther is the mask of low
74// words that are currently live, and vice versa.
75bool SystemZShortenInst::shortenIIF(MachineInstr &MI, unsigned *GPRMap,
76 unsigned LiveOther, unsigned LLIxL,
77 unsigned LLIxH) {
78 unsigned Reg = MI.getOperand(0).getReg();
79 assert(Reg < SystemZ::NUM_TARGET_REGS && "Invalid register number");
80 unsigned GPRs = GPRMap[Reg];
81 assert(GPRs != 0 && "Register must be a GPR");
82 if (GPRs & LiveOther)
83 return false;
84
85 uint64_t Imm = MI.getOperand(1).getImm();
86 if (SystemZ::isImmLL(Imm)) {
87 MI.setDesc(TII->get(LLIxL));
88 MI.getOperand(0).setReg(SystemZMC::getRegAsGR64(Reg));
89 return true;
90 }
91 if (SystemZ::isImmLH(Imm)) {
92 MI.setDesc(TII->get(LLIxH));
93 MI.getOperand(0).setReg(SystemZMC::getRegAsGR64(Reg));
94 MI.getOperand(1).setImm(Imm >> 16);
95 return true;
96 }
97 return false;
98}
99
100// Process all instructions in MBB. Return true if something changed.
Richard Sandiford28c111e2014-03-06 11:00:15 +0000101bool SystemZShortenInst::processBlock(MachineBasicBlock &MBB) {
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000102 bool Changed = false;
103
104 // Work out which words are live on exit from the block.
105 unsigned LiveLow = 0;
106 unsigned LiveHigh = 0;
Richard Sandiford28c111e2014-03-06 11:00:15 +0000107 for (auto SI = MBB.succ_begin(), SE = MBB.succ_end(); SI != SE; ++SI) {
108 for (auto LI = (*SI)->livein_begin(), LE = (*SI)->livein_end();
109 LI != LE; ++LI) {
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000110 unsigned Reg = *LI;
111 assert(Reg < SystemZ::NUM_TARGET_REGS && "Invalid register number");
112 LiveLow |= LowGPRs[Reg];
113 LiveHigh |= HighGPRs[Reg];
114 }
115 }
116
117 // Iterate backwards through the block looking for instructions to change.
Richard Sandiford28c111e2014-03-06 11:00:15 +0000118 for (auto MBBI = MBB.rbegin(), MBBE = MBB.rend(); MBBI != MBBE; ++MBBI) {
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000119 MachineInstr &MI = *MBBI;
120 unsigned Opcode = MI.getOpcode();
Richard Sandiford652784e2013-09-25 11:11:53 +0000121 if (Opcode == SystemZ::IILF)
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000122 Changed |= shortenIIF(MI, LowGPRs, LiveHigh, SystemZ::LLILL,
123 SystemZ::LLILH);
Richard Sandiford01240232013-10-01 13:02:28 +0000124 else if (Opcode == SystemZ::IIHF)
125 Changed |= shortenIIF(MI, HighGPRs, LiveLow, SystemZ::LLIHL,
126 SystemZ::LLIHH);
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000127 unsigned UsedLow = 0;
128 unsigned UsedHigh = 0;
Richard Sandiford28c111e2014-03-06 11:00:15 +0000129 for (auto MOI = MI.operands_begin(), MOE = MI.operands_end();
130 MOI != MOE; ++MOI) {
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000131 MachineOperand &MO = *MOI;
132 if (MO.isReg()) {
133 if (unsigned Reg = MO.getReg()) {
134 assert(Reg < SystemZ::NUM_TARGET_REGS && "Invalid register number");
135 if (MO.isDef()) {
136 LiveLow &= ~LowGPRs[Reg];
137 LiveHigh &= ~HighGPRs[Reg];
138 } else if (!MO.isUndef()) {
139 UsedLow |= LowGPRs[Reg];
140 UsedHigh |= HighGPRs[Reg];
141 }
142 }
143 }
144 }
145 LiveLow |= UsedLow;
146 LiveHigh |= UsedHigh;
147 }
148
149 return Changed;
150}
151
152bool SystemZShortenInst::runOnMachineFunction(MachineFunction &F) {
Eric Christopherfc6de422014-08-05 02:39:49 +0000153 TII = static_cast<const SystemZInstrInfo *>(F.getSubtarget().getInstrInfo());
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000154
155 bool Changed = false;
Richard Sandiford28c111e2014-03-06 11:00:15 +0000156 for (auto &MBB : F)
157 Changed |= processBlock(MBB);
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000158
159 return Changed;
160}