blob: 76cb7ed56946fe8c9d4925c3b8b3696bf9ed419e [file] [log] [blame]
Nate Begeman21e463b2005-10-16 05:39:50 +00001//===- PPCInstrInfo.cpp - PowerPC32 Instruction Information -----*- C++ -*-===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Misha Brukmanf2ccb772004-08-17 04:55:41 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Misha Brukmanf2ccb772004-08-17 04:55:41 +00008//===----------------------------------------------------------------------===//
9//
10// This file contains the PowerPC implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner16e71f22005-10-14 23:59:06 +000014#include "PPCInstrInfo.h"
Chris Lattner4c7b43b2005-10-14 23:37:35 +000015#include "PPCGenInstrInfo.inc"
Chris Lattnerb1d26f62006-06-17 00:01:04 +000016#include "PPCTargetMachine.h"
Misha Brukmanf2ccb772004-08-17 04:55:41 +000017#include "llvm/CodeGen/MachineInstrBuilder.h"
18#include <iostream>
19using namespace llvm;
20
Chris Lattnerb1d26f62006-06-17 00:01:04 +000021PPCInstrInfo::PPCInstrInfo(PPCTargetMachine &tm)
Chris Lattner804e0672006-07-11 00:48:23 +000022 : TargetInstrInfo(PPCInsts, sizeof(PPCInsts)/sizeof(PPCInsts[0])), TM(tm),
23 RI(*TM.getSubtargetImpl()) {}
Chris Lattnerb1d26f62006-06-17 00:01:04 +000024
25/// getPointerRegClass - Return the register class to use to hold pointers.
26/// This is used for addressing modes.
27const TargetRegisterClass *PPCInstrInfo::getPointerRegClass() const {
28 if (TM.getSubtargetImpl()->isPPC64())
29 return &PPC::G8RCRegClass;
30 else
31 return &PPC::GPRCRegClass;
32}
33
Misha Brukmanf2ccb772004-08-17 04:55:41 +000034
Nate Begeman21e463b2005-10-16 05:39:50 +000035bool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
36 unsigned& sourceReg,
37 unsigned& destReg) const {
Misha Brukmanf2ccb772004-08-17 04:55:41 +000038 MachineOpCode oc = MI.getOpcode();
Chris Lattnerb410dc92006-06-20 23:18:58 +000039 if (oc == PPC::OR || oc == PPC::OR8 || oc == PPC::VOR ||
Chris Lattner14c09b82005-10-19 01:50:36 +000040 oc == PPC::OR4To8 || oc == PPC::OR8To4) { // or r1, r2, r2
Misha Brukmanf2ccb772004-08-17 04:55:41 +000041 assert(MI.getNumOperands() == 3 &&
42 MI.getOperand(0).isRegister() &&
43 MI.getOperand(1).isRegister() &&
44 MI.getOperand(2).isRegister() &&
45 "invalid PPC OR instruction!");
46 if (MI.getOperand(1).getReg() == MI.getOperand(2).getReg()) {
47 sourceReg = MI.getOperand(1).getReg();
48 destReg = MI.getOperand(0).getReg();
49 return true;
50 }
51 } else if (oc == PPC::ADDI) { // addi r1, r2, 0
52 assert(MI.getNumOperands() == 3 &&
53 MI.getOperand(0).isRegister() &&
54 MI.getOperand(2).isImmediate() &&
55 "invalid PPC ADDI instruction!");
56 if (MI.getOperand(1).isRegister() && MI.getOperand(2).getImmedValue()==0) {
57 sourceReg = MI.getOperand(1).getReg();
58 destReg = MI.getOperand(0).getReg();
59 return true;
60 }
Nate Begemancb90de32004-10-07 22:26:12 +000061 } else if (oc == PPC::ORI) { // ori r1, r2, 0
62 assert(MI.getNumOperands() == 3 &&
63 MI.getOperand(0).isRegister() &&
64 MI.getOperand(1).isRegister() &&
65 MI.getOperand(2).isImmediate() &&
66 "invalid PPC ORI instruction!");
67 if (MI.getOperand(2).getImmedValue()==0) {
68 sourceReg = MI.getOperand(1).getReg();
69 destReg = MI.getOperand(0).getReg();
70 return true;
71 }
Chris Lattnereb5d47d2005-10-07 05:00:52 +000072 } else if (oc == PPC::FMRS || oc == PPC::FMRD ||
73 oc == PPC::FMRSD) { // fmr r1, r2
Misha Brukmanf2ccb772004-08-17 04:55:41 +000074 assert(MI.getNumOperands() == 2 &&
75 MI.getOperand(0).isRegister() &&
76 MI.getOperand(1).isRegister() &&
77 "invalid PPC FMR instruction");
78 sourceReg = MI.getOperand(1).getReg();
79 destReg = MI.getOperand(0).getReg();
80 return true;
Nate Begeman7af02482005-04-12 07:04:16 +000081 } else if (oc == PPC::MCRF) { // mcrf cr1, cr2
82 assert(MI.getNumOperands() == 2 &&
83 MI.getOperand(0).isRegister() &&
84 MI.getOperand(1).isRegister() &&
85 "invalid PPC MCRF instruction");
86 sourceReg = MI.getOperand(1).getReg();
87 destReg = MI.getOperand(0).getReg();
88 return true;
Misha Brukmanf2ccb772004-08-17 04:55:41 +000089 }
90 return false;
91}
Chris Lattner043870d2005-09-09 18:17:41 +000092
Chris Lattner40839602006-02-02 20:12:32 +000093unsigned PPCInstrInfo::isLoadFromStackSlot(MachineInstr *MI,
Chris Lattner9c09c9e2006-03-16 22:24:02 +000094 int &FrameIndex) const {
Chris Lattner40839602006-02-02 20:12:32 +000095 switch (MI->getOpcode()) {
96 default: break;
97 case PPC::LD:
98 case PPC::LWZ:
99 case PPC::LFS:
100 case PPC::LFD:
101 if (MI->getOperand(1).isImmediate() && !MI->getOperand(1).getImmedValue() &&
102 MI->getOperand(2).isFrameIndex()) {
103 FrameIndex = MI->getOperand(2).getFrameIndex();
104 return MI->getOperand(0).getReg();
105 }
106 break;
107 }
108 return 0;
Chris Lattner65242872006-02-02 20:16:12 +0000109}
Chris Lattner40839602006-02-02 20:12:32 +0000110
Chris Lattner65242872006-02-02 20:16:12 +0000111unsigned PPCInstrInfo::isStoreToStackSlot(MachineInstr *MI,
112 int &FrameIndex) const {
113 switch (MI->getOpcode()) {
114 default: break;
Nate Begeman3b478b32006-02-02 21:07:50 +0000115 case PPC::STD:
Chris Lattner65242872006-02-02 20:16:12 +0000116 case PPC::STW:
117 case PPC::STFS:
118 case PPC::STFD:
119 if (MI->getOperand(1).isImmediate() && !MI->getOperand(1).getImmedValue() &&
120 MI->getOperand(2).isFrameIndex()) {
121 FrameIndex = MI->getOperand(2).getFrameIndex();
122 return MI->getOperand(0).getReg();
123 }
124 break;
125 }
126 return 0;
127}
Chris Lattner40839602006-02-02 20:12:32 +0000128
Chris Lattner043870d2005-09-09 18:17:41 +0000129// commuteInstruction - We can commute rlwimi instructions, but only if the
130// rotate amt is zero. We also have to munge the immediates a bit.
Nate Begeman21e463b2005-10-16 05:39:50 +0000131MachineInstr *PPCInstrInfo::commuteInstruction(MachineInstr *MI) const {
Chris Lattner043870d2005-09-09 18:17:41 +0000132 // Normal instructions can be commuted the obvious way.
133 if (MI->getOpcode() != PPC::RLWIMI)
134 return TargetInstrInfo::commuteInstruction(MI);
135
136 // Cannot commute if it has a non-zero rotate count.
137 if (MI->getOperand(3).getImmedValue() != 0)
138 return 0;
139
140 // If we have a zero rotate count, we have:
141 // M = mask(MB,ME)
142 // Op0 = (Op1 & ~M) | (Op2 & M)
143 // Change this to:
144 // M = mask((ME+1)&31, (MB-1)&31)
145 // Op0 = (Op2 & ~M) | (Op1 & M)
146
147 // Swap op1/op2
148 unsigned Reg1 = MI->getOperand(1).getReg();
149 unsigned Reg2 = MI->getOperand(2).getReg();
Chris Lattnere53f4a02006-05-04 17:52:23 +0000150 MI->getOperand(2).setReg(Reg1);
151 MI->getOperand(1).setReg(Reg2);
Chris Lattner043870d2005-09-09 18:17:41 +0000152
153 // Swap the mask around.
154 unsigned MB = MI->getOperand(4).getImmedValue();
155 unsigned ME = MI->getOperand(5).getImmedValue();
156 MI->getOperand(4).setImmedValue((ME+1) & 31);
157 MI->getOperand(5).setImmedValue((MB-1) & 31);
158 return MI;
159}
Chris Lattnerbbf1c722006-03-05 23:49:55 +0000160
161void PPCInstrInfo::insertNoop(MachineBasicBlock &MBB,
162 MachineBasicBlock::iterator MI) const {
163 BuildMI(MBB, MI, PPC::NOP, 0);
164}
Chris Lattnerc50e2bc2006-10-13 21:21:17 +0000165
166
167// Branch analysis.
168bool PPCInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,MachineBasicBlock *&TBB,
169 MachineBasicBlock *&FBB,
170 std::vector<MachineOperand> &Cond) const {
171 // If the block has no terminators, it just falls into the block after it.
172 MachineBasicBlock::iterator I = MBB.end();
173 if (I == MBB.begin() || !isTerminatorInstr((--I)->getOpcode()))
174 return false;
175
176 // Get the last instruction in the block.
177 MachineInstr *LastInst = I;
178
179 // If there is only one terminator instruction, process it.
180 if (I == MBB.begin() || !isTerminatorInstr((--I)->getOpcode())) {
181 if (LastInst->getOpcode() == PPC::B) {
182 TBB = LastInst->getOperand(0).getMachineBasicBlock();
183 return false;
184 } else if (LastInst->getOpcode() == PPC::COND_BRANCH) {
185 // Block ends with fall-through condbranch.
186 TBB = LastInst->getOperand(2).getMachineBasicBlock();
187 Cond.push_back(LastInst->getOperand(0));
188 Cond.push_back(LastInst->getOperand(1));
189 return true;
190 }
191 // Otherwise, don't know what this is.
192 return true;
193 }
194
195 // Get the instruction before it if it's a terminator.
196 MachineInstr *SecondLastInst = I;
197
198 // If there are three terminators, we don't know what sort of block this is.
199 if (SecondLastInst && I != MBB.begin() &&
200 isTerminatorInstr((--I)->getOpcode()))
201 return true;
202
203 // If the block ends with PPC::B and PPC:COND_BRANCH, handle it.
204 if (SecondLastInst->getOpcode() == PPC::COND_BRANCH &&
205 LastInst->getOpcode() == PPC::B) {
206 TBB = SecondLastInst->getOperand(2).getMachineBasicBlock();
207 Cond.push_back(SecondLastInst->getOperand(0));
208 Cond.push_back(SecondLastInst->getOperand(1));
209 FBB = LastInst->getOperand(0).getMachineBasicBlock();
210 return false;
211 }
212
213 // Otherwise, can't handle this.
214 return true;
215}
216
217void PPCInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
218 MachineBasicBlock::iterator I = MBB.end();
219 if (I == MBB.begin()) return;
220 --I;
221 if (I->getOpcode() != PPC::B && I->getOpcode() != PPC::COND_BRANCH)
222 return;
223
224 // Remove the branch.
225 I->eraseFromParent();
226
227 I = MBB.end();
228
229 if (I == MBB.begin()) return;
230 --I;
231 if (I->getOpcode() != PPC::COND_BRANCH)
232 return;
233
234 // Remove the branch.
235 I->eraseFromParent();
236}
237
238void PPCInstrInfo::InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
239 MachineBasicBlock *FBB,
240 const std::vector<MachineOperand> &Cond) const {
Chris Lattner2dc77232006-10-17 18:06:55 +0000241 // Shouldn't be a fall through.
242 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
Chris Lattner54108062006-10-21 05:36:13 +0000243 assert((Cond.size() == 2 || Cond.size() == 0) &&
244 "PPC branch conditions have two components!");
Chris Lattner2dc77232006-10-17 18:06:55 +0000245
Chris Lattner54108062006-10-21 05:36:13 +0000246 // One-way branch.
Chris Lattner2dc77232006-10-17 18:06:55 +0000247 if (FBB == 0) {
Chris Lattner54108062006-10-21 05:36:13 +0000248 if (Cond.empty()) // Unconditional branch
249 BuildMI(&MBB, PPC::B, 1).addMBB(TBB);
250 else // Conditional branch
251 BuildMI(&MBB, PPC::COND_BRANCH, 3)
252 .addReg(Cond[0].getReg()).addImm(Cond[1].getImm()).addMBB(TBB);
Chris Lattner2dc77232006-10-17 18:06:55 +0000253 return;
254 }
Chris Lattnerc50e2bc2006-10-13 21:21:17 +0000255
Chris Lattner879d09c2006-10-21 05:42:09 +0000256 // Two-way Conditional Branch.
Chris Lattnerc50e2bc2006-10-13 21:21:17 +0000257 BuildMI(&MBB, PPC::COND_BRANCH, 3)
258 .addReg(Cond[0].getReg()).addImm(Cond[1].getImm()).addMBB(TBB);
Chris Lattner879d09c2006-10-21 05:42:09 +0000259 BuildMI(&MBB, PPC::B, 1).addMBB(FBB);
Chris Lattnerc50e2bc2006-10-13 21:21:17 +0000260}
261
262bool PPCInstrInfo::
263ReverseBranchCondition(std::vector<MachineOperand> &Cond) const {
264 return true;
265}