blob: 537a545540458df92726dced1a43b856b6e7da49 [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
16#define DEBUG_TYPE "systemz-shorten-inst"
17
18#include "SystemZTargetMachine.h"
19#include "llvm/CodeGen/MachineFunctionPass.h"
20
21using namespace llvm;
22
23namespace {
24 class SystemZShortenInst : public MachineFunctionPass {
25 public:
26 static char ID;
27 SystemZShortenInst(const SystemZTargetMachine &tm);
28
29 virtual const char *getPassName() const {
30 return "SystemZ Instruction Shortening";
31 }
32
33 bool processBlock(MachineBasicBlock *MBB);
34 bool runOnMachineFunction(MachineFunction &F);
35
36 private:
37 bool shortenIIF(MachineInstr &MI, unsigned *GPRMap, unsigned LiveOther,
38 unsigned LLIxL, unsigned LLIxH);
39
40 const SystemZInstrInfo *TII;
41
42 // 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 };
47
48 char SystemZShortenInst::ID = 0;
49} // end of anonymous namespace
50
51FunctionPass *llvm::createSystemZShortenInstPass(SystemZTargetMachine &TM) {
52 return new SystemZShortenInst(TM);
53}
54
55SystemZShortenInst::SystemZShortenInst(const SystemZTargetMachine &tm)
56 : MachineFunctionPass(ID), TII(0), LowGPRs(), HighGPRs() {
57 // 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.
101bool SystemZShortenInst::processBlock(MachineBasicBlock *MBB) {
102 bool Changed = false;
103
104 // Work out which words are live on exit from the block.
105 unsigned LiveLow = 0;
106 unsigned LiveHigh = 0;
107 for (MachineBasicBlock::succ_iterator SI = MBB->succ_begin(),
108 SE = MBB->succ_end(); SI != SE; ++SI) {
109 for (MachineBasicBlock::livein_iterator LI = (*SI)->livein_begin(),
110 LE = (*SI)->livein_end(); LI != LE; ++LI) {
111 unsigned Reg = *LI;
112 assert(Reg < SystemZ::NUM_TARGET_REGS && "Invalid register number");
113 LiveLow |= LowGPRs[Reg];
114 LiveHigh |= HighGPRs[Reg];
115 }
116 }
117
118 // Iterate backwards through the block looking for instructions to change.
119 for (MachineBasicBlock::reverse_iterator MBBI = MBB->rbegin(),
120 MBBE = MBB->rend(); MBBI != MBBE; ++MBBI) {
121 MachineInstr &MI = *MBBI;
122 unsigned Opcode = MI.getOpcode();
Richard Sandiford652784e2013-09-25 11:11:53 +0000123 if (Opcode == SystemZ::IILF)
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000124 Changed |= shortenIIF(MI, LowGPRs, LiveHigh, SystemZ::LLILL,
125 SystemZ::LLILH);
Richard Sandiford01240232013-10-01 13:02:28 +0000126 else if (Opcode == SystemZ::IIHF)
127 Changed |= shortenIIF(MI, HighGPRs, LiveLow, SystemZ::LLIHL,
128 SystemZ::LLIHH);
Richard Sandiford35ec4e3562013-09-25 10:11:07 +0000129 unsigned UsedLow = 0;
130 unsigned UsedHigh = 0;
131 for (MachineInstr::mop_iterator MOI = MI.operands_begin(),
132 MOE = MI.operands_end(); MOI != MOE; ++MOI) {
133 MachineOperand &MO = *MOI;
134 if (MO.isReg()) {
135 if (unsigned Reg = MO.getReg()) {
136 assert(Reg < SystemZ::NUM_TARGET_REGS && "Invalid register number");
137 if (MO.isDef()) {
138 LiveLow &= ~LowGPRs[Reg];
139 LiveHigh &= ~HighGPRs[Reg];
140 } else if (!MO.isUndef()) {
141 UsedLow |= LowGPRs[Reg];
142 UsedHigh |= HighGPRs[Reg];
143 }
144 }
145 }
146 }
147 LiveLow |= UsedLow;
148 LiveHigh |= UsedHigh;
149 }
150
151 return Changed;
152}
153
154bool SystemZShortenInst::runOnMachineFunction(MachineFunction &F) {
155 TII = static_cast<const SystemZInstrInfo *>(F.getTarget().getInstrInfo());
156
157 bool Changed = false;
158 for (MachineFunction::iterator MFI = F.begin(), MFE = F.end();
159 MFI != MFE; ++MFI)
160 Changed |= processBlock(MFI);
161
162 return Changed;
163}