blob: 0d51e01ae9076d723cbf85b0667031d0a467fa96 [file] [log] [blame]
Chris Lattner1c809c52004-02-29 00:27:00 +00001//===-- InstSelectSimple.cpp - A simple instruction selector for SparcV8 --===//
2//
3// 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.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines a simple peephole instruction selector for the V8 target
11//
12//===----------------------------------------------------------------------===//
13
14#include "SparcV8.h"
Brian Gaekebc1d27a2004-03-03 23:03:14 +000015#include "SparcV8InstrInfo.h"
Chris Lattner1c809c52004-02-29 00:27:00 +000016#include "llvm/Instructions.h"
17#include "llvm/IntrinsicLowering.h"
18#include "llvm/Pass.h"
Brian Gaekebc1d27a2004-03-03 23:03:14 +000019#include "llvm/Constants.h"
Chris Lattner1c809c52004-02-29 00:27:00 +000020#include "llvm/CodeGen/MachineInstrBuilder.h"
21#include "llvm/CodeGen/MachineFunction.h"
Brian Gaekebc1d27a2004-03-03 23:03:14 +000022#include "llvm/CodeGen/SSARegMap.h"
Chris Lattner1c809c52004-02-29 00:27:00 +000023#include "llvm/Target/TargetMachine.h"
24#include "llvm/Support/GetElementPtrTypeIterator.h"
25#include "llvm/Support/InstVisitor.h"
26#include "llvm/Support/CFG.h"
27using namespace llvm;
28
29namespace {
30 struct V8ISel : public FunctionPass, public InstVisitor<V8ISel> {
31 TargetMachine &TM;
32 MachineFunction *F; // The function we are compiling into
33 MachineBasicBlock *BB; // The current MBB we are compiling
34
35 std::map<Value*, unsigned> RegMap; // Mapping between Val's and SSA Regs
36
37 // MBBMap - Mapping between LLVM BB -> Machine BB
38 std::map<const BasicBlock*, MachineBasicBlock*> MBBMap;
39
40 V8ISel(TargetMachine &tm) : TM(tm), F(0), BB(0) {}
41
42 /// runOnFunction - Top level implementation of instruction selection for
43 /// the entire function.
44 ///
45 bool runOnFunction(Function &Fn);
46
47 virtual const char *getPassName() const {
48 return "SparcV8 Simple Instruction Selection";
49 }
50
51 /// visitBasicBlock - This method is called when we are visiting a new basic
52 /// block. This simply creates a new MachineBasicBlock to emit code into
53 /// and adds it to the current MachineFunction. Subsequent visit* for
54 /// instructions will be invoked for all instructions in the basic block.
55 ///
56 void visitBasicBlock(BasicBlock &LLVM_BB) {
57 BB = MBBMap[&LLVM_BB];
58 }
59
Chris Lattner4be7ca52004-04-07 04:27:16 +000060 void visitBinaryOperator(Instruction &I);
61 void visitShiftInstruction(Instruction &I) { visitBinaryOperator(I); }
62 void visitCallInst(CallInst &I);
63 void visitReturnInst(ReturnInst &RI);
Chris Lattner1c809c52004-02-29 00:27:00 +000064
65 void visitInstruction(Instruction &I) {
66 std::cerr << "Unhandled instruction: " << I;
67 abort();
68 }
69
70 /// LowerUnknownIntrinsicFunctionCalls - This performs a prepass over the
71 /// function, lowering any calls to unknown intrinsic functions into the
72 /// equivalent LLVM code.
73 void LowerUnknownIntrinsicFunctionCalls(Function &F);
Chris Lattner1c809c52004-02-29 00:27:00 +000074 void visitIntrinsicCall(Intrinsic::ID ID, CallInst &CI);
75
Brian Gaekebc1d27a2004-03-03 23:03:14 +000076 /// copyConstantToRegister - Output the instructions required to put the
77 /// specified constant into the specified register.
78 ///
79 void copyConstantToRegister(MachineBasicBlock *MBB,
80 MachineBasicBlock::iterator IP,
81 Constant *C, unsigned R);
82
83 /// makeAnotherReg - This method returns the next register number we haven't
84 /// yet used.
85 ///
86 /// Long values are handled somewhat specially. They are always allocated
87 /// as pairs of 32 bit integer values. The register number returned is the
88 /// lower 32 bits of the long value, and the regNum+1 is the upper 32 bits
89 /// of the long value.
90 ///
91 unsigned makeAnotherReg(const Type *Ty) {
92 assert(dynamic_cast<const SparcV8RegisterInfo*>(TM.getRegisterInfo()) &&
93 "Current target doesn't have SparcV8 reg info??");
94 const SparcV8RegisterInfo *MRI =
95 static_cast<const SparcV8RegisterInfo*>(TM.getRegisterInfo());
96 if (Ty == Type::LongTy || Ty == Type::ULongTy) {
97 const TargetRegisterClass *RC = MRI->getRegClassForType(Type::IntTy);
98 // Create the lower part
99 F->getSSARegMap()->createVirtualRegister(RC);
100 // Create the upper part.
101 return F->getSSARegMap()->createVirtualRegister(RC)-1;
102 }
103
104 // Add the mapping of regnumber => reg class to MachineFunction
105 const TargetRegisterClass *RC = MRI->getRegClassForType(Ty);
106 return F->getSSARegMap()->createVirtualRegister(RC);
107 }
108
109 unsigned getReg(Value &V) { return getReg (&V); } // allow refs.
110 unsigned getReg(Value *V) {
111 // Just append to the end of the current bb.
112 MachineBasicBlock::iterator It = BB->end();
113 return getReg(V, BB, It);
114 }
115 unsigned getReg(Value *V, MachineBasicBlock *MBB,
116 MachineBasicBlock::iterator IPt) {
117 unsigned &Reg = RegMap[V];
118 if (Reg == 0) {
119 Reg = makeAnotherReg(V->getType());
120 RegMap[V] = Reg;
121 }
122 // If this operand is a constant, emit the code to copy the constant into
123 // the register here...
124 //
125 if (Constant *C = dyn_cast<Constant>(V)) {
126 copyConstantToRegister(MBB, IPt, C, Reg);
127 RegMap.erase(V); // Assign a new name to this constant if ref'd again
128 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
129 // Move the address of the global into the register
Brian Gaekecf471982004-03-09 04:49:13 +0000130 unsigned TmpReg = makeAnotherReg(V->getType());
131 BuildMI (*MBB, IPt, V8::SETHIi, 1, TmpReg).addGlobalAddress (GV);
132 BuildMI (*MBB, IPt, V8::ORri, 2, Reg).addReg (TmpReg)
133 .addGlobalAddress (GV);
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000134 RegMap.erase(V); // Assign a new name to this address if ref'd again
135 }
136
137 return Reg;
138 }
139
Chris Lattner1c809c52004-02-29 00:27:00 +0000140 };
141}
142
143FunctionPass *llvm::createSparcV8SimpleInstructionSelector(TargetMachine &TM) {
144 return new V8ISel(TM);
145}
146
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000147enum TypeClass {
Brian Gaekef57e3642004-03-16 22:37:11 +0000148 cByte, cShort, cInt, cLong, cFloat, cDouble
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000149};
150
151static TypeClass getClass (const Type *T) {
152 switch (T->getPrimitiveID ()) {
153 case Type::UByteTyID: case Type::SByteTyID: return cByte;
154 case Type::UShortTyID: case Type::ShortTyID: return cShort;
155 case Type::UIntTyID: case Type::IntTyID: return cInt;
Brian Gaekef57e3642004-03-16 22:37:11 +0000156 case Type::ULongTyID: case Type::LongTyID: return cLong;
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000157 case Type::FloatTyID: return cFloat;
158 case Type::DoubleTyID: return cDouble;
159 default:
160 assert (0 && "Type of unknown class passed to getClass?");
161 return cByte;
162 }
163}
Chris Lattner0d538bb2004-04-07 04:36:53 +0000164static TypeClass getClassB(const Type *T) {
165 if (T == Type::BoolTy) return cByte;
166 return getClass(T);
167}
168
169
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000170
171/// copyConstantToRegister - Output the instructions required to put the
172/// specified constant into the specified register.
173///
174void V8ISel::copyConstantToRegister(MachineBasicBlock *MBB,
175 MachineBasicBlock::iterator IP,
176 Constant *C, unsigned R) {
Brian Gaeke775158d2004-03-04 04:37:45 +0000177 if (ConstantInt *CI = dyn_cast<ConstantInt> (C)) {
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000178 unsigned Class = getClass(C->getType());
Chris Lattner4be7ca52004-04-07 04:27:16 +0000179 uint64_t Val = CI->getRawValue ();
Brian Gaekee8061732004-03-04 00:56:25 +0000180 switch (Class) {
181 case cByte:
Chris Lattner4be7ca52004-04-07 04:27:16 +0000182 BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (V8::G0).addImm((uint8_t)Val);
Brian Gaekee8061732004-03-04 00:56:25 +0000183 return;
184 case cShort: {
185 unsigned TmpReg = makeAnotherReg (C->getType ());
Chris Lattner4be7ca52004-04-07 04:27:16 +0000186 BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg)
187 .addImm (((uint16_t) Val) >> 10);
188 BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (TmpReg)
189 .addImm (((uint16_t) Val) & 0x03ff);
Brian Gaekee8061732004-03-04 00:56:25 +0000190 return;
191 }
192 case cInt: {
193 unsigned TmpReg = makeAnotherReg (C->getType ());
Chris Lattner4be7ca52004-04-07 04:27:16 +0000194 BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg).addImm(((uint32_t)Val) >> 10);
195 BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (TmpReg)
196 .addImm (((uint32_t) Val) & 0x03ff);
Brian Gaekee8061732004-03-04 00:56:25 +0000197 return;
198 }
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000199 case cLong: {
200 unsigned TmpReg = makeAnotherReg (Type::UIntTy);
Chris Lattner4be7ca52004-04-07 04:27:16 +0000201 uint32_t topHalf = (uint32_t) (Val >> 32);
202 uint32_t bottomHalf = (uint32_t)Val;
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000203 BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg).addImm (topHalf >> 10);
Chris Lattner4be7ca52004-04-07 04:27:16 +0000204 BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (TmpReg)
205 .addImm (topHalf & 0x03ff);
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000206 BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg).addImm (bottomHalf >> 10);
Chris Lattner4be7ca52004-04-07 04:27:16 +0000207 BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (TmpReg)
208 .addImm (bottomHalf & 0x03ff);
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000209 return;
210 }
Brian Gaekee8061732004-03-04 00:56:25 +0000211 default:
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000212 std::cerr << "Offending constant: " << *C << "\n";
Brian Gaeke775158d2004-03-04 04:37:45 +0000213 assert (0 && "Can't copy this kind of constant into register yet");
Brian Gaekee8061732004-03-04 00:56:25 +0000214 return;
215 }
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000216 }
217
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000218 std::cerr << "Offending constant: " << *C << "\n";
Brian Gaeke775158d2004-03-04 04:37:45 +0000219 assert (0 && "Can't copy this kind of constant into register yet");
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000220}
Chris Lattner1c809c52004-02-29 00:27:00 +0000221
222bool V8ISel::runOnFunction(Function &Fn) {
223 // First pass over the function, lower any unknown intrinsic functions
224 // with the IntrinsicLowering class.
225 LowerUnknownIntrinsicFunctionCalls(Fn);
226
227 F = &MachineFunction::construct(&Fn, TM);
228
229 // Create all of the machine basic blocks for the function...
230 for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I)
231 F->getBasicBlockList().push_back(MBBMap[I] = new MachineBasicBlock(I));
232
233 BB = &F->front();
234
235 // Set up a frame object for the return address. This is used by the
236 // llvm.returnaddress & llvm.frameaddress intrinisics.
237 //ReturnAddressIndex = F->getFrameInfo()->CreateFixedObject(4, -4);
238
239 // Copy incoming arguments off of the stack and out of fixed registers.
240 //LoadArgumentsToVirtualRegs(Fn);
241
242 // Instruction select everything except PHI nodes
243 visit(Fn);
244
245 // Select the PHI nodes
246 //SelectPHINodes();
247
248 RegMap.clear();
249 MBBMap.clear();
250 F = 0;
251 // We always build a machine code representation for the function
252 return true;
253}
254
Brian Gaekef7e44ef2004-04-02 20:53:33 +0000255void V8ISel::visitCallInst(CallInst &I) {
256 assert (I.getNumOperands () == 1 && "Can't handle call args yet");
Brian Gaekeea8494b2004-04-06 22:09:23 +0000257 unsigned DestReg = getReg (I);
Brian Gaekef7e44ef2004-04-02 20:53:33 +0000258 BuildMI (BB, V8::CALL, 1).addPCDisp (I.getOperand (0));
Brian Gaekeea8494b2004-04-06 22:09:23 +0000259 if (I.getType ()->getPrimitiveID () == Type::VoidTyID)
260 return;
261 // Deal w/ return value
262 switch (getClass (I.getType ())) {
263 case cByte:
264 case cShort:
265 case cInt:
266 // Schlep it over into the destination register
267 BuildMI (BB, V8::ORrr, 2, DestReg).addReg(V8::G0).addReg(V8::O0);
268 break;
269 default:
270 visitInstruction (I);
271 return;
272 }
Brian Gaekef7e44ef2004-04-02 20:53:33 +0000273}
Chris Lattner1c809c52004-02-29 00:27:00 +0000274
275void V8ISel::visitReturnInst(ReturnInst &I) {
Brian Gaeke08f64c32004-03-06 05:32:28 +0000276 if (I.getNumOperands () == 1) {
277 unsigned RetValReg = getReg (I.getOperand (0));
278 switch (getClass (I.getOperand (0)->getType ())) {
279 case cByte:
280 case cShort:
281 case cInt:
282 // Schlep it over into i0 (where it will become o0 after restore).
283 BuildMI (BB, V8::ORrr, 2, V8::I0).addReg(V8::G0).addReg(RetValReg);
284 break;
285 default:
286 visitInstruction (I);
287 return;
288 }
Chris Lattner1c809c52004-02-29 00:27:00 +0000289 }
Chris Lattner0d538bb2004-04-07 04:36:53 +0000290
Brian Gaeke08f64c32004-03-06 05:32:28 +0000291 // Just emit a 'retl' instruction to return.
292 BuildMI(BB, V8::RETL, 0);
293 return;
Chris Lattner1c809c52004-02-29 00:27:00 +0000294}
295
Chris Lattner4be7ca52004-04-07 04:27:16 +0000296void V8ISel::visitBinaryOperator (Instruction &I) {
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000297 unsigned DestReg = getReg (I);
298 unsigned Op0Reg = getReg (I.getOperand (0));
299 unsigned Op1Reg = getReg (I.getOperand (1));
300
Chris Lattner0d538bb2004-04-07 04:36:53 +0000301 unsigned ResultReg = DestReg;
302 if (getClassB(I.getType()) != cInt)
303 ResultReg = makeAnotherReg (I.getType ());
Chris Lattner22ede702004-04-07 04:06:46 +0000304 unsigned OpCase = ~0;
305
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000306 // FIXME: support long, ulong, fp.
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000307 switch (I.getOpcode ()) {
Chris Lattner22ede702004-04-07 04:06:46 +0000308 case Instruction::Add: OpCase = 0; break;
309 case Instruction::Sub: OpCase = 1; break;
310 case Instruction::Mul: OpCase = 2; break;
311 case Instruction::And: OpCase = 3; break;
312 case Instruction::Or: OpCase = 4; break;
313 case Instruction::Xor: OpCase = 5; break;
Chris Lattner4be7ca52004-04-07 04:27:16 +0000314 case Instruction::Shl: OpCase = 6; break;
315 case Instruction::Shr: OpCase = 7+I.getType()->isSigned(); break;
Chris Lattner22ede702004-04-07 04:06:46 +0000316
317 case Instruction::Div:
318 case Instruction::Rem: {
319 unsigned Dest = ResultReg;
320 if (I.getOpcode() == Instruction::Rem)
321 Dest = makeAnotherReg(I.getType());
322
323 // FIXME: this is probably only right for 32 bit operands.
324 if (I.getType ()->isSigned()) {
325 unsigned Tmp = makeAnotherReg (I.getType ());
326 // Sign extend into the Y register
327 BuildMI (BB, V8::SRAri, 2, Tmp).addReg (Op0Reg).addZImm (31);
328 BuildMI (BB, V8::WRrr, 2, V8::Y).addReg (Tmp).addReg (V8::G0);
329 BuildMI (BB, V8::SDIVrr, 2, Dest).addReg (Op0Reg).addReg (Op1Reg);
330 } else {
331 // Zero extend into the Y register, ie, just set it to zero
332 BuildMI (BB, V8::WRrr, 2, V8::Y).addReg (V8::G0).addReg (V8::G0);
333 BuildMI (BB, V8::UDIVrr, 2, Dest).addReg (Op0Reg).addReg (Op1Reg);
Brian Gaeke2d4fa8f2004-04-07 04:00:49 +0000334 }
Chris Lattner22ede702004-04-07 04:06:46 +0000335
336 if (I.getOpcode() == Instruction::Rem) {
337 unsigned Tmp = makeAnotherReg (I.getType ());
338 BuildMI (BB, V8::SMULrr, 2, Tmp).addReg(Dest).addReg(Op1Reg);
339 BuildMI (BB, V8::SUBrr, 2, ResultReg).addReg(Op0Reg).addReg(Tmp);
Brian Gaekef57e3642004-03-16 22:37:11 +0000340 }
Chris Lattner22ede702004-04-07 04:06:46 +0000341 break;
342 }
343 default:
344 visitInstruction (I);
345 return;
346 }
347
348 if (OpCase != ~0U) {
349 static const unsigned Opcodes[] = {
Chris Lattner4be7ca52004-04-07 04:27:16 +0000350 V8::ADDrr, V8::SUBrr, V8::SMULrr, V8::ANDrr, V8::ORrr, V8::XORrr,
351 V8::SLLrr, V8::SRLrr, V8::SRArr
Chris Lattner22ede702004-04-07 04:06:46 +0000352 };
353 BuildMI (BB, Opcodes[OpCase], 2, ResultReg).addReg (Op0Reg).addReg (Op1Reg);
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000354 }
355
356 switch (getClass (I.getType ())) {
357 case cByte:
Brian Gaeke08f64c32004-03-06 05:32:28 +0000358 if (I.getType ()->isSigned ()) { // add byte
359 BuildMI (BB, V8::ANDri, 2, DestReg).addReg (ResultReg).addZImm (0xff);
360 } else { // add ubyte
361 unsigned TmpReg = makeAnotherReg (I.getType ());
362 BuildMI (BB, V8::SLLri, 2, TmpReg).addReg (ResultReg).addZImm (24);
363 BuildMI (BB, V8::SRAri, 2, DestReg).addReg (TmpReg).addZImm (24);
364 }
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000365 break;
366 case cShort:
Brian Gaeke08f64c32004-03-06 05:32:28 +0000367 if (I.getType ()->isSigned ()) { // add short
368 unsigned TmpReg = makeAnotherReg (I.getType ());
369 BuildMI (BB, V8::SLLri, 2, TmpReg).addReg (ResultReg).addZImm (16);
370 BuildMI (BB, V8::SRAri, 2, DestReg).addReg (TmpReg).addZImm (16);
371 } else { // add ushort
372 unsigned TmpReg = makeAnotherReg (I.getType ());
Brian Gaeke6d339f92004-03-16 22:45:42 +0000373 BuildMI (BB, V8::SLLri, 2, TmpReg).addReg (ResultReg).addZImm (16);
374 BuildMI (BB, V8::SRLri, 2, DestReg).addReg (TmpReg).addZImm (16);
Brian Gaeke08f64c32004-03-06 05:32:28 +0000375 }
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000376 break;
377 case cInt:
Chris Lattner0d538bb2004-04-07 04:36:53 +0000378 // Nothing todo here.
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000379 break;
380 default:
Brian Gaeke08f64c32004-03-06 05:32:28 +0000381 visitInstruction (I);
Brian Gaekebc1d27a2004-03-03 23:03:14 +0000382 return;
383 }
384}
385
Chris Lattner1c809c52004-02-29 00:27:00 +0000386
387/// LowerUnknownIntrinsicFunctionCalls - This performs a prepass over the
388/// function, lowering any calls to unknown intrinsic functions into the
389/// equivalent LLVM code.
390void V8ISel::LowerUnknownIntrinsicFunctionCalls(Function &F) {
391 for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
392 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; )
393 if (CallInst *CI = dyn_cast<CallInst>(I++))
394 if (Function *F = CI->getCalledFunction())
395 switch (F->getIntrinsicID()) {
396 case Intrinsic::not_intrinsic: break;
397 default:
398 // All other intrinsic calls we must lower.
399 Instruction *Before = CI->getPrev();
400 TM.getIntrinsicLowering().LowerIntrinsicCall(CI);
401 if (Before) { // Move iterator to instruction after call
402 I = Before; ++I;
403 } else {
404 I = BB->begin();
405 }
406 }
407}
408
409
410void V8ISel::visitIntrinsicCall(Intrinsic::ID ID, CallInst &CI) {
411 unsigned TmpReg1, TmpReg2;
412 switch (ID) {
413 default: assert(0 && "Intrinsic not supported!");
414 }
415}