blob: 2099c25eeed71e3e6fd12364fee3ed2a8e6e72e3 [file] [log] [blame]
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001//===-- InstSelectSimple.cpp - A simple instruction selector for PowerPC --===//
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
Misha Brukman98649d12004-06-24 21:54:47 +000010#define DEBUG_TYPE "isel"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000011#include "PowerPC.h"
12#include "PowerPCInstrBuilder.h"
13#include "PowerPCInstrInfo.h"
14#include "llvm/Constants.h"
15#include "llvm/DerivedTypes.h"
16#include "llvm/Function.h"
17#include "llvm/Instructions.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000018#include "llvm/Pass.h"
Misha Brukman8c9f5202004-06-21 18:30:31 +000019#include "llvm/CodeGen/IntrinsicLowering.h"
Misha Brukman5dfe3a92004-06-21 16:55:25 +000020#include "llvm/CodeGen/MachineConstantPool.h"
21#include "llvm/CodeGen/MachineFrameInfo.h"
22#include "llvm/CodeGen/MachineFunction.h"
23#include "llvm/CodeGen/SSARegMap.h"
24#include "llvm/Target/MRegisterInfo.h"
25#include "llvm/Target/TargetMachine.h"
26#include "llvm/Support/GetElementPtrTypeIterator.h"
27#include "llvm/Support/InstVisitor.h"
Misha Brukman98649d12004-06-24 21:54:47 +000028#include "Support/Debug.h"
29#include <vector>
Misha Brukman5dfe3a92004-06-21 16:55:25 +000030using namespace llvm;
31
32namespace {
Misha Brukman422791f2004-06-21 17:41:12 +000033 /// TypeClass - Used by the PowerPC backend to group LLVM types by their basic
34 /// PPC Representation.
Misha Brukman5dfe3a92004-06-21 16:55:25 +000035 ///
36 enum TypeClass {
37 cByte, cShort, cInt, cFP, cLong
38 };
39}
40
41/// getClass - Turn a primitive type into a "class" number which is based on the
42/// size of the type, and whether or not it is floating point.
43///
44static inline TypeClass getClass(const Type *Ty) {
Misha Brukman358829f2004-06-21 17:25:55 +000045 switch (Ty->getTypeID()) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +000046 case Type::SByteTyID:
47 case Type::UByteTyID: return cByte; // Byte operands are class #0
48 case Type::ShortTyID:
49 case Type::UShortTyID: return cShort; // Short operands are class #1
50 case Type::IntTyID:
51 case Type::UIntTyID:
Misha Brukman2834a4d2004-07-07 20:07:22 +000052 case Type::PointerTyID: return cInt; // Ints and pointers are class #2
Misha Brukman5dfe3a92004-06-21 16:55:25 +000053
54 case Type::FloatTyID:
55 case Type::DoubleTyID: return cFP; // Floating Point is #3
56
57 case Type::LongTyID:
58 case Type::ULongTyID: return cLong; // Longs are class #4
59 default:
60 assert(0 && "Invalid type to getClass!");
61 return cByte; // not reached
62 }
63}
64
65// getClassB - Just like getClass, but treat boolean values as ints.
66static inline TypeClass getClassB(const Type *Ty) {
67 if (Ty == Type::BoolTy) return cInt;
68 return getClass(Ty);
69}
70
71namespace {
72 struct ISel : public FunctionPass, InstVisitor<ISel> {
73 TargetMachine &TM;
74 MachineFunction *F; // The function we are compiling into
75 MachineBasicBlock *BB; // The current MBB we are compiling
76 int VarArgsFrameIndex; // FrameIndex for start of varargs area
77 int ReturnAddressIndex; // FrameIndex for the return address
78
79 std::map<Value*, unsigned> RegMap; // Mapping between Val's and SSA Regs
80
Misha Brukman2834a4d2004-07-07 20:07:22 +000081 // External functions used in the Module
Misha Brukman0aa97c62004-07-08 18:27:59 +000082 Function *fmodFn, *__moddi3Fn, *__divdi3Fn, *__umoddi3Fn, *__udivdi3Fn;
Misha Brukman2834a4d2004-07-07 20:07:22 +000083
Misha Brukman5dfe3a92004-06-21 16:55:25 +000084 // MBBMap - Mapping between LLVM BB -> Machine BB
85 std::map<const BasicBlock*, MachineBasicBlock*> MBBMap;
86
87 // AllocaMap - Mapping from fixed sized alloca instructions to the
88 // FrameIndex for the alloca.
89 std::map<AllocaInst*, unsigned> AllocaMap;
90
91 ISel(TargetMachine &tm) : TM(tm), F(0), BB(0) {}
92
Misha Brukman2834a4d2004-07-07 20:07:22 +000093 bool doInitialization(Module &M) {
Misha Brukmanb0932592004-07-07 15:36:18 +000094 // Add external functions that we may call
Misha Brukman2834a4d2004-07-07 20:07:22 +000095 Type *d = Type::DoubleTy;
96 Type *l = Type::LongTy;
97 Type *ul = Type::ULongTy;
98 // double fmod(double, double);
Misha Brukman0aa97c62004-07-08 18:27:59 +000099 fmodFn = M.getOrInsertFunction("fmod", d, d, d, 0);
Misha Brukman2834a4d2004-07-07 20:07:22 +0000100 // long __moddi3(long, long);
Misha Brukman0aa97c62004-07-08 18:27:59 +0000101 __moddi3Fn = M.getOrInsertFunction("__moddi3", l, l, l, 0);
Misha Brukman2834a4d2004-07-07 20:07:22 +0000102 // long __divdi3(long, long);
Misha Brukman0aa97c62004-07-08 18:27:59 +0000103 __divdi3Fn = M.getOrInsertFunction("__divdi3", l, l, l, 0);
Misha Brukman2834a4d2004-07-07 20:07:22 +0000104 // unsigned long __umoddi3(unsigned long, unsigned long);
Misha Brukman0aa97c62004-07-08 18:27:59 +0000105 __umoddi3Fn = M.getOrInsertFunction("__umoddi3", ul, ul, ul, 0);
Misha Brukman2834a4d2004-07-07 20:07:22 +0000106 // unsigned long __udivdi3(unsigned long, unsigned long);
Misha Brukman0aa97c62004-07-08 18:27:59 +0000107 __udivdi3Fn = M.getOrInsertFunction("__udivdi3", ul, ul, ul, 0);
Misha Brukman2834a4d2004-07-07 20:07:22 +0000108 return false;
109 }
Misha Brukmand18a31d2004-07-06 22:51:53 +0000110
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000111 /// runOnFunction - Top level implementation of instruction selection for
112 /// the entire function.
113 ///
114 bool runOnFunction(Function &Fn) {
115 // First pass over the function, lower any unknown intrinsic functions
116 // with the IntrinsicLowering class.
117 LowerUnknownIntrinsicFunctionCalls(Fn);
118
119 F = &MachineFunction::construct(&Fn, TM);
120
121 // Create all of the machine basic blocks for the function...
122 for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I)
123 F->getBasicBlockList().push_back(MBBMap[I] = new MachineBasicBlock(I));
124
125 BB = &F->front();
126
127 // Set up a frame object for the return address. This is used by the
128 // llvm.returnaddress & llvm.frameaddress intrinisics.
129 ReturnAddressIndex = F->getFrameInfo()->CreateFixedObject(4, -4);
130
131 // Copy incoming arguments off of the stack...
132 LoadArgumentsToVirtualRegs(Fn);
133
134 // Instruction select everything except PHI nodes
135 visit(Fn);
136
137 // Select the PHI nodes
138 SelectPHINodes();
139
140 RegMap.clear();
141 MBBMap.clear();
142 AllocaMap.clear();
143 F = 0;
144 // We always build a machine code representation for the function
145 return true;
146 }
147
148 virtual const char *getPassName() const {
149 return "PowerPC Simple Instruction Selection";
150 }
151
152 /// visitBasicBlock - This method is called when we are visiting a new basic
153 /// block. This simply creates a new MachineBasicBlock to emit code into
154 /// and adds it to the current MachineFunction. Subsequent visit* for
155 /// instructions will be invoked for all instructions in the basic block.
156 ///
157 void visitBasicBlock(BasicBlock &LLVM_BB) {
158 BB = MBBMap[&LLVM_BB];
159 }
160
161 /// LowerUnknownIntrinsicFunctionCalls - This performs a prepass over the
162 /// function, lowering any calls to unknown intrinsic functions into the
163 /// equivalent LLVM code.
164 ///
165 void LowerUnknownIntrinsicFunctionCalls(Function &F);
166
167 /// LoadArgumentsToVirtualRegs - Load all of the arguments to this function
168 /// from the stack into virtual registers.
169 ///
170 void LoadArgumentsToVirtualRegs(Function &F);
171
172 /// SelectPHINodes - Insert machine code to generate phis. This is tricky
173 /// because we have to generate our sources into the source basic blocks,
174 /// not the current one.
175 ///
176 void SelectPHINodes();
177
178 // Visitation methods for various instructions. These methods simply emit
179 // fixed PowerPC code for each instruction.
180
181 // Control flow operators
182 void visitReturnInst(ReturnInst &RI);
183 void visitBranchInst(BranchInst &BI);
184
185 struct ValueRecord {
186 Value *Val;
187 unsigned Reg;
188 const Type *Ty;
189 ValueRecord(unsigned R, const Type *T) : Val(0), Reg(R), Ty(T) {}
190 ValueRecord(Value *V) : Val(V), Reg(0), Ty(V->getType()) {}
191 };
192 void doCall(const ValueRecord &Ret, MachineInstr *CallMI,
Misha Brukmand18a31d2004-07-06 22:51:53 +0000193 const std::vector<ValueRecord> &Args, bool isVarArg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000194 void visitCallInst(CallInst &I);
195 void visitIntrinsicCall(Intrinsic::ID ID, CallInst &I);
196
197 // Arithmetic operators
198 void visitSimpleBinary(BinaryOperator &B, unsigned OpcodeClass);
199 void visitAdd(BinaryOperator &B) { visitSimpleBinary(B, 0); }
200 void visitSub(BinaryOperator &B) { visitSimpleBinary(B, 1); }
201 void visitMul(BinaryOperator &B);
202
203 void visitDiv(BinaryOperator &B) { visitDivRem(B); }
204 void visitRem(BinaryOperator &B) { visitDivRem(B); }
205 void visitDivRem(BinaryOperator &B);
206
207 // Bitwise operators
208 void visitAnd(BinaryOperator &B) { visitSimpleBinary(B, 2); }
209 void visitOr (BinaryOperator &B) { visitSimpleBinary(B, 3); }
210 void visitXor(BinaryOperator &B) { visitSimpleBinary(B, 4); }
211
212 // Comparison operators...
213 void visitSetCondInst(SetCondInst &I);
214 unsigned EmitComparison(unsigned OpNum, Value *Op0, Value *Op1,
215 MachineBasicBlock *MBB,
216 MachineBasicBlock::iterator MBBI);
217 void visitSelectInst(SelectInst &SI);
218
219
220 // Memory Instructions
221 void visitLoadInst(LoadInst &I);
222 void visitStoreInst(StoreInst &I);
223 void visitGetElementPtrInst(GetElementPtrInst &I);
224 void visitAllocaInst(AllocaInst &I);
225 void visitMallocInst(MallocInst &I);
226 void visitFreeInst(FreeInst &I);
227
228 // Other operators
229 void visitShiftInst(ShiftInst &I);
230 void visitPHINode(PHINode &I) {} // PHI nodes handled by second pass
231 void visitCastInst(CastInst &I);
232 void visitVANextInst(VANextInst &I);
233 void visitVAArgInst(VAArgInst &I);
234
235 void visitInstruction(Instruction &I) {
236 std::cerr << "Cannot instruction select: " << I;
237 abort();
238 }
239
240 /// promote32 - Make a value 32-bits wide, and put it somewhere.
241 ///
242 void promote32(unsigned targetReg, const ValueRecord &VR);
243
244 /// emitGEPOperation - Common code shared between visitGetElementPtrInst and
245 /// constant expression GEP support.
246 ///
247 void emitGEPOperation(MachineBasicBlock *BB, MachineBasicBlock::iterator IP,
248 Value *Src, User::op_iterator IdxBegin,
249 User::op_iterator IdxEnd, unsigned TargetReg);
250
251 /// emitCastOperation - Common code shared between visitCastInst and
252 /// constant expression cast support.
253 ///
254 void emitCastOperation(MachineBasicBlock *BB,MachineBasicBlock::iterator IP,
255 Value *Src, const Type *DestTy, unsigned TargetReg);
256
257 /// emitSimpleBinaryOperation - Common code shared between visitSimpleBinary
258 /// and constant expression support.
259 ///
260 void emitSimpleBinaryOperation(MachineBasicBlock *BB,
261 MachineBasicBlock::iterator IP,
262 Value *Op0, Value *Op1,
263 unsigned OperatorClass, unsigned TargetReg);
264
265 /// emitBinaryFPOperation - This method handles emission of floating point
266 /// Add (0), Sub (1), Mul (2), and Div (3) operations.
267 void emitBinaryFPOperation(MachineBasicBlock *BB,
268 MachineBasicBlock::iterator IP,
269 Value *Op0, Value *Op1,
270 unsigned OperatorClass, unsigned TargetReg);
271
272 void emitMultiply(MachineBasicBlock *BB, MachineBasicBlock::iterator IP,
273 Value *Op0, Value *Op1, unsigned TargetReg);
274
275 void doMultiply(MachineBasicBlock *MBB, MachineBasicBlock::iterator MBBI,
276 unsigned DestReg, const Type *DestTy,
277 unsigned Op0Reg, unsigned Op1Reg);
278 void doMultiplyConst(MachineBasicBlock *MBB,
279 MachineBasicBlock::iterator MBBI,
280 unsigned DestReg, const Type *DestTy,
281 unsigned Op0Reg, unsigned Op1Val);
282
283 void emitDivRemOperation(MachineBasicBlock *BB,
284 MachineBasicBlock::iterator IP,
285 Value *Op0, Value *Op1, bool isDiv,
286 unsigned TargetReg);
287
288 /// emitSetCCOperation - Common code shared between visitSetCondInst and
289 /// constant expression support.
290 ///
291 void emitSetCCOperation(MachineBasicBlock *BB,
292 MachineBasicBlock::iterator IP,
293 Value *Op0, Value *Op1, unsigned Opcode,
294 unsigned TargetReg);
295
296 /// emitShiftOperation - Common code shared between visitShiftInst and
297 /// constant expression support.
298 ///
299 void emitShiftOperation(MachineBasicBlock *MBB,
300 MachineBasicBlock::iterator IP,
301 Value *Op, Value *ShiftAmount, bool isLeftShift,
302 const Type *ResultTy, unsigned DestReg);
303
304 /// emitSelectOperation - Common code shared between visitSelectInst and the
305 /// constant expression support.
306 void emitSelectOperation(MachineBasicBlock *MBB,
307 MachineBasicBlock::iterator IP,
308 Value *Cond, Value *TrueVal, Value *FalseVal,
309 unsigned DestReg);
310
311 /// copyConstantToRegister - Output the instructions required to put the
312 /// specified constant into the specified register.
313 ///
314 void copyConstantToRegister(MachineBasicBlock *MBB,
315 MachineBasicBlock::iterator MBBI,
316 Constant *C, unsigned Reg);
317
318 void emitUCOM(MachineBasicBlock *MBB, MachineBasicBlock::iterator MBBI,
319 unsigned LHS, unsigned RHS);
320
321 /// makeAnotherReg - This method returns the next register number we haven't
322 /// yet used.
323 ///
324 /// Long values are handled somewhat specially. They are always allocated
325 /// as pairs of 32 bit integer values. The register number returned is the
326 /// lower 32 bits of the long value, and the regNum+1 is the upper 32 bits
327 /// of the long value.
328 ///
329 unsigned makeAnotherReg(const Type *Ty) {
330 assert(dynamic_cast<const PowerPCRegisterInfo*>(TM.getRegisterInfo()) &&
331 "Current target doesn't have PPC reg info??");
332 const PowerPCRegisterInfo *MRI =
333 static_cast<const PowerPCRegisterInfo*>(TM.getRegisterInfo());
334 if (Ty == Type::LongTy || Ty == Type::ULongTy) {
335 const TargetRegisterClass *RC = MRI->getRegClassForType(Type::IntTy);
336 // Create the lower part
337 F->getSSARegMap()->createVirtualRegister(RC);
338 // Create the upper part.
339 return F->getSSARegMap()->createVirtualRegister(RC)-1;
340 }
341
342 // Add the mapping of regnumber => reg class to MachineFunction
343 const TargetRegisterClass *RC = MRI->getRegClassForType(Ty);
344 return F->getSSARegMap()->createVirtualRegister(RC);
345 }
346
347 /// getReg - This method turns an LLVM value into a register number.
348 ///
349 unsigned getReg(Value &V) { return getReg(&V); } // Allow references
350 unsigned getReg(Value *V) {
351 // Just append to the end of the current bb.
352 MachineBasicBlock::iterator It = BB->end();
353 return getReg(V, BB, It);
354 }
355 unsigned getReg(Value *V, MachineBasicBlock *MBB,
356 MachineBasicBlock::iterator IPt);
357
358 /// getFixedSizedAllocaFI - Return the frame index for a fixed sized alloca
359 /// that is to be statically allocated with the initial stack frame
360 /// adjustment.
361 unsigned getFixedSizedAllocaFI(AllocaInst *AI);
362 };
363}
364
365/// dyn_castFixedAlloca - If the specified value is a fixed size alloca
366/// instruction in the entry block, return it. Otherwise, return a null
367/// pointer.
368static AllocaInst *dyn_castFixedAlloca(Value *V) {
369 if (AllocaInst *AI = dyn_cast<AllocaInst>(V)) {
370 BasicBlock *BB = AI->getParent();
371 if (isa<ConstantUInt>(AI->getArraySize()) && BB ==&BB->getParent()->front())
372 return AI;
373 }
374 return 0;
375}
376
377/// getReg - This method turns an LLVM value into a register number.
378///
379unsigned ISel::getReg(Value *V, MachineBasicBlock *MBB,
380 MachineBasicBlock::iterator IPt) {
381 // If this operand is a constant, emit the code to copy the constant into
382 // the register here...
383 //
384 if (Constant *C = dyn_cast<Constant>(V)) {
385 unsigned Reg = makeAnotherReg(V->getType());
386 copyConstantToRegister(MBB, IPt, C, Reg);
387 return Reg;
388 } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
Misha Brukman7e5812c2004-06-28 18:20:59 +0000389 // GV is located at PC + distance
Misha Brukman7e5812c2004-06-28 18:20:59 +0000390 unsigned CurPC = makeAnotherReg(Type::IntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000391 unsigned Reg1 = makeAnotherReg(V->getType());
Misha Brukman422791f2004-06-21 17:41:12 +0000392 unsigned Reg2 = makeAnotherReg(V->getType());
Misha Brukman7e5812c2004-06-28 18:20:59 +0000393 // Move PC to destination reg
394 BuildMI(*MBB, IPt, PPC32::MovePCtoLR, 0, CurPC);
Misha Brukman7e5812c2004-06-28 18:20:59 +0000395 // Move value at PC + distance into return reg
396 BuildMI(*MBB, IPt, PPC32::LOADHiAddr, 2, Reg1).addReg(CurPC)
Misha Brukman911afde2004-06-25 14:50:41 +0000397 .addGlobalAddress(GV);
Misha Brukman9ecf3bf2004-06-25 14:57:19 +0000398 BuildMI(*MBB, IPt, PPC32::LOADLoAddr, 2, Reg2).addReg(Reg1)
Misha Brukman911afde2004-06-25 14:50:41 +0000399 .addGlobalAddress(GV);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000400 return Reg2;
401 } else if (CastInst *CI = dyn_cast<CastInst>(V)) {
402 // Do not emit noop casts at all.
403 if (getClassB(CI->getType()) == getClassB(CI->getOperand(0)->getType()))
404 return getReg(CI->getOperand(0), MBB, IPt);
405 } else if (AllocaInst *AI = dyn_castFixedAlloca(V)) {
406 unsigned Reg = makeAnotherReg(V->getType());
407 unsigned FI = getFixedSizedAllocaFI(AI);
408 addFrameReference(BuildMI(*MBB, IPt, PPC32::ADDI, 2, Reg), FI, 0, false);
409 return Reg;
410 }
411
412 unsigned &Reg = RegMap[V];
413 if (Reg == 0) {
414 Reg = makeAnotherReg(V->getType());
415 RegMap[V] = Reg;
416 }
417
418 return Reg;
419}
420
421/// getFixedSizedAllocaFI - Return the frame index for a fixed sized alloca
422/// that is to be statically allocated with the initial stack frame
423/// adjustment.
424unsigned ISel::getFixedSizedAllocaFI(AllocaInst *AI) {
425 // Already computed this?
426 std::map<AllocaInst*, unsigned>::iterator I = AllocaMap.lower_bound(AI);
427 if (I != AllocaMap.end() && I->first == AI) return I->second;
428
429 const Type *Ty = AI->getAllocatedType();
430 ConstantUInt *CUI = cast<ConstantUInt>(AI->getArraySize());
431 unsigned TySize = TM.getTargetData().getTypeSize(Ty);
432 TySize *= CUI->getValue(); // Get total allocated size...
433 unsigned Alignment = TM.getTargetData().getTypeAlignment(Ty);
434
435 // Create a new stack object using the frame manager...
436 int FrameIdx = F->getFrameInfo()->CreateStackObject(TySize, Alignment);
437 AllocaMap.insert(I, std::make_pair(AI, FrameIdx));
438 return FrameIdx;
439}
440
441
442/// copyConstantToRegister - Output the instructions required to put the
443/// specified constant into the specified register.
444///
445void ISel::copyConstantToRegister(MachineBasicBlock *MBB,
446 MachineBasicBlock::iterator IP,
447 Constant *C, unsigned R) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000448 if (C->getType()->isIntegral()) {
449 unsigned Class = getClassB(C->getType());
450
451 if (Class == cLong) {
452 // Copy the value into the register pair.
453 uint64_t Val = cast<ConstantInt>(C)->getRawValue();
Misha Brukman422791f2004-06-21 17:41:12 +0000454 unsigned hiTmp = makeAnotherReg(Type::IntTy);
455 unsigned loTmp = makeAnotherReg(Type::IntTy);
Misha Brukman911afde2004-06-25 14:50:41 +0000456 BuildMI(*MBB, IP, PPC32::ADDIS, 2, loTmp).addReg(PPC32::R0)
457 .addImm(Val >> 48);
458 BuildMI(*MBB, IP, PPC32::ORI, 2, R).addReg(loTmp)
459 .addImm((Val >> 32) & 0xFFFF);
460 BuildMI(*MBB, IP, PPC32::ADDIS, 2, hiTmp).addReg(PPC32::R0)
461 .addImm((Val >> 16) & 0xFFFF);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000462 BuildMI(*MBB, IP, PPC32::ORI, 2, R+1).addReg(hiTmp).addImm(Val & 0xFFFF);
463 return;
464 }
465
466 assert(Class <= cInt && "Type not handled yet!");
467
468 if (C->getType() == Type::BoolTy) {
Misha Brukman911afde2004-06-25 14:50:41 +0000469 BuildMI(*MBB, IP, PPC32::ADDI, 2, R).addReg(PPC32::R0)
470 .addImm(C == ConstantBool::True);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000471 } else if (Class == cByte || Class == cShort) {
472 ConstantInt *CI = cast<ConstantInt>(C);
Misha Brukman911afde2004-06-25 14:50:41 +0000473 BuildMI(*MBB, IP, PPC32::ADDI, 2, R).addReg(PPC32::R0)
474 .addImm(CI->getRawValue());
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000475 } else {
476 ConstantInt *CI = cast<ConstantInt>(C);
477 int TheVal = CI->getRawValue() & 0xFFFFFFFF;
478 if (TheVal < 32768 && TheVal >= -32768) {
Misha Brukman911afde2004-06-25 14:50:41 +0000479 BuildMI(*MBB, IP, PPC32::ADDI, 2, R).addReg(PPC32::R0)
480 .addImm(CI->getRawValue());
Misha Brukman422791f2004-06-21 17:41:12 +0000481 } else {
482 unsigned TmpReg = makeAnotherReg(Type::IntTy);
Misha Brukman911afde2004-06-25 14:50:41 +0000483 BuildMI(*MBB, IP, PPC32::ADDIS, 2, TmpReg).addReg(PPC32::R0)
484 .addImm(CI->getRawValue() >> 16);
485 BuildMI(*MBB, IP, PPC32::ORI, 2, R).addReg(TmpReg)
486 .addImm(CI->getRawValue() & 0xFFFF);
Misha Brukman422791f2004-06-21 17:41:12 +0000487 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000488 }
489 } else if (ConstantFP *CFP = dyn_cast<ConstantFP>(C)) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000490 // We need to spill the constant to memory...
491 MachineConstantPool *CP = F->getConstantPool();
492 unsigned CPI = CP->getConstantPoolIndex(CFP);
493 const Type *Ty = CFP->getType();
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000494
Misha Brukmand18a31d2004-07-06 22:51:53 +0000495 assert(Ty == Type::FloatTy || Ty == Type::DoubleTy && "Unknown FP type!");
Misha Brukmanfc879c32004-07-08 18:02:38 +0000496
497 // Load addr of constant to reg; constant is located at PC + distance
498 unsigned CurPC = makeAnotherReg(Type::IntTy);
499 unsigned Reg1 = makeAnotherReg(Type::IntTy);
500 unsigned Reg2 = makeAnotherReg(Type::IntTy);
501 // Move PC to destination reg
502 BuildMI(*MBB, IP, PPC32::MovePCtoLR, 0, CurPC);
503 // Move value at PC + distance into return reg
504 BuildMI(*MBB, IP, PPC32::LOADHiAddr, 2, Reg1).addReg(CurPC)
505 .addConstantPoolIndex(CPI);
506 BuildMI(*MBB, IP, PPC32::LOADLoAddr, 2, Reg2).addReg(Reg1)
507 .addConstantPoolIndex(CPI);
508
Misha Brukmand18a31d2004-07-06 22:51:53 +0000509 unsigned LoadOpcode = (Ty == Type::FloatTy) ? PPC32::LFS : PPC32::LFD;
Misha Brukmanfc879c32004-07-08 18:02:38 +0000510 BuildMI(*MBB, IP, LoadOpcode, 2, R).addImm(0).addReg(Reg2);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000511 } else if (isa<ConstantPointerNull>(C)) {
512 // Copy zero (null pointer) to the register.
513 BuildMI(*MBB, IP, PPC32::ADDI, 2, R).addReg(PPC32::R0).addImm(0);
514 } else if (ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(C)) {
Misha Brukman2fec9902004-06-21 20:22:03 +0000515 BuildMI(*MBB, IP, PPC32::ADDIS, 2, R).addReg(PPC32::R0)
516 .addGlobalAddress(CPR->getValue());
517 BuildMI(*MBB, IP, PPC32::ORI, 2, R).addReg(PPC32::R0)
518 .addGlobalAddress(CPR->getValue());
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000519 } else {
520 std::cerr << "Offending constant: " << C << "\n";
521 assert(0 && "Type not handled yet!");
522 }
523}
524
525/// LoadArgumentsToVirtualRegs - Load all of the arguments to this function from
526/// the stack into virtual registers.
527///
528/// FIXME: When we can calculate which args are coming in via registers
529/// source them from there instead.
530void ISel::LoadArgumentsToVirtualRegs(Function &Fn) {
531 unsigned ArgOffset = 0; // Frame mechanisms handle retaddr slot
532 unsigned GPR_remaining = 8;
533 unsigned FPR_remaining = 13;
Misha Brukmand18a31d2004-07-06 22:51:53 +0000534 unsigned GPR_idx = 0, FPR_idx = 0;
535 static const unsigned GPR[] = {
536 PPC32::R3, PPC32::R4, PPC32::R5, PPC32::R6,
537 PPC32::R7, PPC32::R8, PPC32::R9, PPC32::R10,
538 };
539 static const unsigned FPR[] = {
540 PPC32::F1, PPC32::F2, PPC32::F3, PPC32::F4, PPC32::F5, PPC32::F6, PPC32::F7,
Misha Brukman2834a4d2004-07-07 20:07:22 +0000541 PPC32::F8, PPC32::F9, PPC32::F10, PPC32::F11, PPC32::F12, PPC32::F13
Misha Brukmand18a31d2004-07-06 22:51:53 +0000542 };
Misha Brukman422791f2004-06-21 17:41:12 +0000543
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000544 MachineFrameInfo *MFI = F->getFrameInfo();
Misha Brukmand18a31d2004-07-06 22:51:53 +0000545
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000546 for (Function::aiterator I = Fn.abegin(), E = Fn.aend(); I != E; ++I) {
547 bool ArgLive = !I->use_empty();
548 unsigned Reg = ArgLive ? getReg(*I) : 0;
549 int FI; // Frame object index
550
551 switch (getClassB(I->getType())) {
552 case cByte:
553 if (ArgLive) {
554 FI = MFI->CreateFixedObject(1, ArgOffset);
Misha Brukman422791f2004-06-21 17:41:12 +0000555 if (GPR_remaining > 0) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000556 BuildMI(BB, PPC32::OR, 2, Reg).addReg(GPR[GPR_idx])
557 .addReg(GPR[GPR_idx]);
Misha Brukman422791f2004-06-21 17:41:12 +0000558 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +0000559 addFrameReference(BuildMI(BB, PPC32::LBZ, 2, Reg), FI);
Misha Brukman422791f2004-06-21 17:41:12 +0000560 }
561 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000562 break;
563 case cShort:
564 if (ArgLive) {
565 FI = MFI->CreateFixedObject(2, ArgOffset);
Misha Brukman422791f2004-06-21 17:41:12 +0000566 if (GPR_remaining > 0) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000567 BuildMI(BB, PPC32::OR, 2, Reg).addReg(GPR[GPR_idx])
568 .addReg(GPR[GPR_idx]);
Misha Brukman422791f2004-06-21 17:41:12 +0000569 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +0000570 addFrameReference(BuildMI(BB, PPC32::LHZ, 2, Reg), FI);
Misha Brukman422791f2004-06-21 17:41:12 +0000571 }
572 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000573 break;
574 case cInt:
575 if (ArgLive) {
576 FI = MFI->CreateFixedObject(4, ArgOffset);
Misha Brukman422791f2004-06-21 17:41:12 +0000577 if (GPR_remaining > 0) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000578 BuildMI(BB, PPC32::OR, 2, Reg).addReg(GPR[GPR_idx])
579 .addReg(GPR[GPR_idx]);
Misha Brukman422791f2004-06-21 17:41:12 +0000580 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +0000581 addFrameReference(BuildMI(BB, PPC32::LWZ, 2, Reg), FI);
Misha Brukman422791f2004-06-21 17:41:12 +0000582 }
583 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000584 break;
585 case cLong:
586 if (ArgLive) {
587 FI = MFI->CreateFixedObject(8, ArgOffset);
Misha Brukman422791f2004-06-21 17:41:12 +0000588 if (GPR_remaining > 1) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000589 BuildMI(BB, PPC32::OR, 2, Reg).addReg(GPR[GPR_idx])
590 .addReg(GPR[GPR_idx]);
591 BuildMI(BB, PPC32::OR, 2, Reg+1).addReg(GPR[GPR_idx+1])
592 .addReg(GPR[GPR_idx+1]);
Misha Brukman422791f2004-06-21 17:41:12 +0000593 } else {
594 addFrameReference(BuildMI(BB, PPC32::LWZ, 2, Reg), FI);
595 addFrameReference(BuildMI(BB, PPC32::LWZ, 2, Reg+1), FI, 4);
596 }
597 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000598 ArgOffset += 4; // longs require 4 additional bytes
Misha Brukman422791f2004-06-21 17:41:12 +0000599 if (GPR_remaining > 1) {
600 GPR_remaining--; // uses up 2 GPRs
601 GPR_idx++;
602 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000603 break;
604 case cFP:
605 if (ArgLive) {
606 unsigned Opcode;
607 if (I->getType() == Type::FloatTy) {
608 Opcode = PPC32::LFS;
609 FI = MFI->CreateFixedObject(4, ArgOffset);
610 } else {
611 Opcode = PPC32::LFD;
612 FI = MFI->CreateFixedObject(8, ArgOffset);
613 }
Misha Brukman422791f2004-06-21 17:41:12 +0000614 if (FPR_remaining > 0) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000615 BuildMI(BB, PPC32::FMR, 1, Reg).addReg(FPR[FPR_idx]);
616 FPR_remaining--;
617 FPR_idx++;
Misha Brukman422791f2004-06-21 17:41:12 +0000618 } else {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000619 addFrameReference(BuildMI(BB, Opcode, 2, Reg), FI);
Misha Brukman422791f2004-06-21 17:41:12 +0000620 }
621 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000622 if (I->getType() == Type::DoubleTy) {
623 ArgOffset += 4; // doubles require 4 additional bytes
Misha Brukman422791f2004-06-21 17:41:12 +0000624 if (GPR_remaining > 0) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000625 GPR_remaining--; // uses up 2 GPRs
626 GPR_idx++;
Misha Brukman422791f2004-06-21 17:41:12 +0000627 }
628 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000629 break;
630 default:
631 assert(0 && "Unhandled argument type!");
632 }
633 ArgOffset += 4; // Each argument takes at least 4 bytes on the stack...
Misha Brukman422791f2004-06-21 17:41:12 +0000634 if (GPR_remaining > 0) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000635 GPR_remaining--; // uses up 2 GPRs
636 GPR_idx++;
Misha Brukman422791f2004-06-21 17:41:12 +0000637 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000638 }
639
640 // If the function takes variable number of arguments, add a frame offset for
641 // the start of the first vararg value... this is used to expand
642 // llvm.va_start.
643 if (Fn.getFunctionType()->isVarArg())
644 VarArgsFrameIndex = MFI->CreateFixedObject(1, ArgOffset);
645}
646
647
648/// SelectPHINodes - Insert machine code to generate phis. This is tricky
649/// because we have to generate our sources into the source basic blocks, not
650/// the current one.
651///
652void ISel::SelectPHINodes() {
653 const TargetInstrInfo &TII = *TM.getInstrInfo();
654 const Function &LF = *F->getFunction(); // The LLVM function...
655 for (Function::const_iterator I = LF.begin(), E = LF.end(); I != E; ++I) {
656 const BasicBlock *BB = I;
657 MachineBasicBlock &MBB = *MBBMap[I];
658
659 // Loop over all of the PHI nodes in the LLVM basic block...
660 MachineBasicBlock::iterator PHIInsertPoint = MBB.begin();
661 for (BasicBlock::const_iterator I = BB->begin();
662 PHINode *PN = const_cast<PHINode*>(dyn_cast<PHINode>(I)); ++I) {
663
664 // Create a new machine instr PHI node, and insert it.
665 unsigned PHIReg = getReg(*PN);
666 MachineInstr *PhiMI = BuildMI(MBB, PHIInsertPoint,
667 PPC32::PHI, PN->getNumOperands(), PHIReg);
668
669 MachineInstr *LongPhiMI = 0;
670 if (PN->getType() == Type::LongTy || PN->getType() == Type::ULongTy)
671 LongPhiMI = BuildMI(MBB, PHIInsertPoint,
672 PPC32::PHI, PN->getNumOperands(), PHIReg+1);
673
674 // PHIValues - Map of blocks to incoming virtual registers. We use this
675 // so that we only initialize one incoming value for a particular block,
676 // even if the block has multiple entries in the PHI node.
677 //
678 std::map<MachineBasicBlock*, unsigned> PHIValues;
679
680 for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i) {
681 MachineBasicBlock *PredMBB = MBBMap[PN->getIncomingBlock(i)];
682 unsigned ValReg;
683 std::map<MachineBasicBlock*, unsigned>::iterator EntryIt =
684 PHIValues.lower_bound(PredMBB);
685
686 if (EntryIt != PHIValues.end() && EntryIt->first == PredMBB) {
687 // We already inserted an initialization of the register for this
688 // predecessor. Recycle it.
689 ValReg = EntryIt->second;
690
691 } else {
692 // Get the incoming value into a virtual register.
693 //
694 Value *Val = PN->getIncomingValue(i);
695
696 // If this is a constant or GlobalValue, we may have to insert code
697 // into the basic block to compute it into a virtual register.
698 if ((isa<Constant>(Val) && !isa<ConstantExpr>(Val)) ||
699 isa<GlobalValue>(Val)) {
700 // Simple constants get emitted at the end of the basic block,
701 // before any terminator instructions. We "know" that the code to
702 // move a constant into a register will never clobber any flags.
703 ValReg = getReg(Val, PredMBB, PredMBB->getFirstTerminator());
704 } else {
705 // Because we don't want to clobber any values which might be in
706 // physical registers with the computation of this constant (which
707 // might be arbitrarily complex if it is a constant expression),
708 // just insert the computation at the top of the basic block.
709 MachineBasicBlock::iterator PI = PredMBB->begin();
710
711 // Skip over any PHI nodes though!
712 while (PI != PredMBB->end() && PI->getOpcode() == PPC32::PHI)
713 ++PI;
714
715 ValReg = getReg(Val, PredMBB, PI);
716 }
717
718 // Remember that we inserted a value for this PHI for this predecessor
719 PHIValues.insert(EntryIt, std::make_pair(PredMBB, ValReg));
720 }
721
722 PhiMI->addRegOperand(ValReg);
723 PhiMI->addMachineBasicBlockOperand(PredMBB);
724 if (LongPhiMI) {
725 LongPhiMI->addRegOperand(ValReg+1);
726 LongPhiMI->addMachineBasicBlockOperand(PredMBB);
727 }
728 }
729
730 // Now that we emitted all of the incoming values for the PHI node, make
731 // sure to reposition the InsertPoint after the PHI that we just added.
732 // This is needed because we might have inserted a constant into this
733 // block, right after the PHI's which is before the old insert point!
734 PHIInsertPoint = LongPhiMI ? LongPhiMI : PhiMI;
735 ++PHIInsertPoint;
736 }
737 }
738}
739
740
741// canFoldSetCCIntoBranchOrSelect - Return the setcc instruction if we can fold
742// it into the conditional branch or select instruction which is the only user
743// of the cc instruction. This is the case if the conditional branch is the
744// only user of the setcc, and if the setcc is in the same basic block as the
745// conditional branch. We also don't handle long arguments below, so we reject
746// them here as well.
747//
748static SetCondInst *canFoldSetCCIntoBranchOrSelect(Value *V) {
749 if (SetCondInst *SCI = dyn_cast<SetCondInst>(V))
750 if (SCI->hasOneUse()) {
751 Instruction *User = cast<Instruction>(SCI->use_back());
752 if ((isa<BranchInst>(User) || isa<SelectInst>(User)) &&
753 SCI->getParent() == User->getParent() &&
754 (getClassB(SCI->getOperand(0)->getType()) != cLong ||
755 SCI->getOpcode() == Instruction::SetEQ ||
756 SCI->getOpcode() == Instruction::SetNE))
757 return SCI;
758 }
759 return 0;
760}
761
762// Return a fixed numbering for setcc instructions which does not depend on the
763// order of the opcodes.
764//
765static unsigned getSetCCNumber(unsigned Opcode) {
Misha Brukmane9c65512004-07-06 15:32:44 +0000766 switch (Opcode) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000767 default: assert(0 && "Unknown setcc instruction!");
768 case Instruction::SetEQ: return 0;
769 case Instruction::SetNE: return 1;
770 case Instruction::SetLT: return 2;
771 case Instruction::SetGE: return 3;
772 case Instruction::SetGT: return 4;
773 case Instruction::SetLE: return 5;
774 }
775}
776
Misha Brukmane9c65512004-07-06 15:32:44 +0000777static unsigned getPPCOpcodeForSetCCNumber(unsigned Opcode) {
778 switch (Opcode) {
779 default: assert(0 && "Unknown setcc instruction!");
780 case Instruction::SetEQ: return PPC32::BEQ;
781 case Instruction::SetNE: return PPC32::BNE;
782 case Instruction::SetLT: return PPC32::BLT;
783 case Instruction::SetGE: return PPC32::BGE;
784 case Instruction::SetGT: return PPC32::BGT;
785 case Instruction::SetLE: return PPC32::BLE;
786 }
787}
788
789static unsigned invertPPCBranchOpcode(unsigned Opcode) {
790 switch (Opcode) {
791 default: assert(0 && "Unknown PPC32 branch opcode!");
792 case PPC32::BEQ: return PPC32::BNE;
793 case PPC32::BNE: return PPC32::BEQ;
794 case PPC32::BLT: return PPC32::BGE;
795 case PPC32::BGE: return PPC32::BLT;
796 case PPC32::BGT: return PPC32::BLE;
797 case PPC32::BLE: return PPC32::BGT;
798 }
799}
800
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000801/// emitUCOM - emits an unordered FP compare.
802void ISel::emitUCOM(MachineBasicBlock *MBB, MachineBasicBlock::iterator IP,
803 unsigned LHS, unsigned RHS) {
Misha Brukman422791f2004-06-21 17:41:12 +0000804 BuildMI(*MBB, IP, PPC32::FCMPU, 2, PPC32::CR0).addReg(LHS).addReg(RHS);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000805}
806
807// EmitComparison - This function emits a comparison of the two operands,
808// returning the extended setcc code to use.
809unsigned ISel::EmitComparison(unsigned OpNum, Value *Op0, Value *Op1,
810 MachineBasicBlock *MBB,
811 MachineBasicBlock::iterator IP) {
812 // The arguments are already supposed to be of the same type.
813 const Type *CompTy = Op0->getType();
814 unsigned Class = getClassB(CompTy);
815 unsigned Op0r = getReg(Op0, MBB, IP);
816
817 // Special case handling of: cmp R, i
818 if (isa<ConstantPointerNull>(Op1)) {
Misha Brukmane9c65512004-07-06 15:32:44 +0000819 BuildMI(*MBB, IP, PPC32::CMPI, 2, PPC32::CR0).addReg(Op0r).addImm(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000820 } else if (ConstantInt *CI = dyn_cast<ConstantInt>(Op1)) {
821 if (Class == cByte || Class == cShort || Class == cInt) {
822 unsigned Op1v = CI->getRawValue();
823
824 // Mask off any upper bits of the constant, if there are any...
825 Op1v &= (1ULL << (8 << Class)) - 1;
826
Misha Brukman422791f2004-06-21 17:41:12 +0000827 // Compare immediate or promote to reg?
828 if (Op1v <= 32767) {
Misha Brukman2fec9902004-06-21 20:22:03 +0000829 BuildMI(*MBB, IP, CompTy->isSigned() ? PPC32::CMPI : PPC32::CMPLI, 3,
830 PPC32::CR0).addImm(0).addReg(Op0r).addImm(Op1v);
Misha Brukman422791f2004-06-21 17:41:12 +0000831 } else {
832 unsigned Op1r = getReg(Op1, MBB, IP);
Misha Brukman2fec9902004-06-21 20:22:03 +0000833 BuildMI(*MBB, IP, CompTy->isSigned() ? PPC32::CMP : PPC32::CMPL, 3,
834 PPC32::CR0).addImm(0).addReg(Op0r).addReg(Op1r);
Misha Brukman422791f2004-06-21 17:41:12 +0000835 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000836 return OpNum;
837 } else {
838 assert(Class == cLong && "Unknown integer class!");
839 unsigned LowCst = CI->getRawValue();
840 unsigned HiCst = CI->getRawValue() >> 32;
841 if (OpNum < 2) { // seteq, setne
842 unsigned LoTmp = Op0r;
843 if (LowCst != 0) {
Misha Brukman422791f2004-06-21 17:41:12 +0000844 unsigned LoLow = makeAnotherReg(Type::IntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000845 unsigned LoTmp = makeAnotherReg(Type::IntTy);
846 BuildMI(*MBB, IP, PPC32::XORI, 2, LoLow).addReg(Op0r).addImm(LowCst);
Misha Brukman2fec9902004-06-21 20:22:03 +0000847 BuildMI(*MBB, IP, PPC32::XORIS, 2, LoTmp).addReg(LoLow)
848 .addImm(LowCst >> 16);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000849 }
850 unsigned HiTmp = Op0r+1;
851 if (HiCst != 0) {
Misha Brukman422791f2004-06-21 17:41:12 +0000852 unsigned HiLow = makeAnotherReg(Type::IntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000853 unsigned HiTmp = makeAnotherReg(Type::IntTy);
854 BuildMI(*MBB, IP, PPC32::XORI, 2, HiLow).addReg(Op0r+1).addImm(HiCst);
Misha Brukman2fec9902004-06-21 20:22:03 +0000855 BuildMI(*MBB, IP, PPC32::XORIS, 2, HiTmp).addReg(HiLow)
856 .addImm(HiCst >> 16);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000857 }
858 unsigned FinalTmp = makeAnotherReg(Type::IntTy);
859 BuildMI(*MBB, IP, PPC32::ORo, 2, FinalTmp).addReg(LoTmp).addReg(HiTmp);
860 //BuildMI(*MBB, IP, PPC32::CMPLI, 2, PPC32::CR0).addReg(FinalTmp).addImm(0);
861 return OpNum;
862 } else {
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000863 // FIXME: Not Yet Implemented
Misha Brukman911afde2004-06-25 14:50:41 +0000864 std::cerr << "EmitComparison unimplemented: Opnum >= 2\n";
865 abort();
Misha Brukman422791f2004-06-21 17:41:12 +0000866 return OpNum;
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000867 }
868 }
869 }
870
871 unsigned Op1r = getReg(Op1, MBB, IP);
872 switch (Class) {
873 default: assert(0 && "Unknown type class!");
874 case cByte:
875 case cShort:
876 case cInt:
Misha Brukman2fec9902004-06-21 20:22:03 +0000877 BuildMI(*MBB, IP, CompTy->isSigned() ? PPC32::CMP : PPC32::CMPL, 2,
878 PPC32::CR0).addReg(Op0r).addReg(Op1r);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000879 break;
Misha Brukmand18a31d2004-07-06 22:51:53 +0000880
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000881 case cFP:
882 emitUCOM(MBB, IP, Op0r, Op1r);
883 break;
884
885 case cLong:
886 if (OpNum < 2) { // seteq, setne
887 unsigned LoTmp = makeAnotherReg(Type::IntTy);
888 unsigned HiTmp = makeAnotherReg(Type::IntTy);
889 unsigned FinalTmp = makeAnotherReg(Type::IntTy);
890 BuildMI(*MBB, IP, PPC32::XOR, 2, LoTmp).addReg(Op0r).addReg(Op1r);
891 BuildMI(*MBB, IP, PPC32::XOR, 2, HiTmp).addReg(Op0r+1).addReg(Op1r+1);
892 BuildMI(*MBB, IP, PPC32::ORo, 2, FinalTmp).addReg(LoTmp).addReg(HiTmp);
893 //BuildMI(*MBB, IP, PPC32::CMPLI, 2, PPC32::CR0).addReg(FinalTmp).addImm(0);
894 break; // Allow the sete or setne to be generated from flags set by OR
895 } else {
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000896 // FIXME: Not Yet Implemented
Misha Brukman911afde2004-06-25 14:50:41 +0000897 std::cerr << "EmitComparison (cLong) unimplemented: Opnum >= 2\n";
898 abort();
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000899 return OpNum;
900 }
901 }
902 return OpNum;
903}
904
Misha Brukmand18a31d2004-07-06 22:51:53 +0000905/// visitSetCondInst - emit code to calculate the condition via
906/// EmitComparison(), and possibly store a 0 or 1 to a register as a result
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000907///
908void ISel::visitSetCondInst(SetCondInst &I) {
Misha Brukmand18a31d2004-07-06 22:51:53 +0000909 if (canFoldSetCCIntoBranchOrSelect(&I))
Misha Brukmane9c65512004-07-06 15:32:44 +0000910 return;
911
Misha Brukman425ff242004-07-01 21:34:10 +0000912 unsigned Op0Reg = getReg(I.getOperand(0));
913 unsigned Op1Reg = getReg(I.getOperand(1));
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000914 unsigned DestReg = getReg(I);
Misha Brukman2834a4d2004-07-07 20:07:22 +0000915 unsigned OpNum = I.getOpcode();
Misha Brukman425ff242004-07-01 21:34:10 +0000916 const Type *Ty = I.getOperand (0)->getType();
917
Misha Brukmand18a31d2004-07-06 22:51:53 +0000918 EmitComparison(OpNum, I.getOperand(0), I.getOperand(1), BB, BB->end());
919
920 unsigned Opcode = getPPCOpcodeForSetCCNumber(OpNum);
Misha Brukman425ff242004-07-01 21:34:10 +0000921 MachineBasicBlock *thisMBB = BB;
922 const BasicBlock *LLVM_BB = BB->getBasicBlock();
923 // thisMBB:
924 // ...
925 // cmpTY cr0, r1, r2
926 // bCC copy1MBB
927 // b copy0MBB
928
929 // FIXME: we wouldn't need copy0MBB (we could fold it into thisMBB)
930 // if we could insert other, non-terminator instructions after the
931 // bCC. But MBB->getFirstTerminator() can't understand this.
932 MachineBasicBlock *copy1MBB = new MachineBasicBlock(LLVM_BB);
933 F->getBasicBlockList().push_back(copy1MBB);
934 BuildMI(BB, Opcode, 2).addReg(PPC32::CR0).addMBB(copy1MBB);
935 MachineBasicBlock *copy0MBB = new MachineBasicBlock(LLVM_BB);
936 F->getBasicBlockList().push_back(copy0MBB);
937 BuildMI(BB, PPC32::B, 1).addMBB(copy0MBB);
938 // Update machine-CFG edges
939 BB->addSuccessor(copy1MBB);
940 BB->addSuccessor(copy0MBB);
941
942 // copy0MBB:
943 // %FalseValue = li 0
Misha Brukmane9c65512004-07-06 15:32:44 +0000944 // b sinkMBB
Misha Brukman425ff242004-07-01 21:34:10 +0000945 BB = copy0MBB;
946 unsigned FalseValue = makeAnotherReg(I.getType());
947 BuildMI(BB, PPC32::LI, 1, FalseValue).addZImm(0);
948 MachineBasicBlock *sinkMBB = new MachineBasicBlock(LLVM_BB);
949 F->getBasicBlockList().push_back(sinkMBB);
950 BuildMI(BB, PPC32::B, 1).addMBB(sinkMBB);
951 // Update machine-CFG edges
952 BB->addSuccessor(sinkMBB);
953
954 DEBUG(std::cerr << "thisMBB is at " << (void*)thisMBB << "\n");
955 DEBUG(std::cerr << "copy1MBB is at " << (void*)copy1MBB << "\n");
956 DEBUG(std::cerr << "copy0MBB is at " << (void*)copy0MBB << "\n");
957 DEBUG(std::cerr << "sinkMBB is at " << (void*)sinkMBB << "\n");
958
959 // copy1MBB:
960 // %TrueValue = li 1
Misha Brukmane9c65512004-07-06 15:32:44 +0000961 // b sinkMBB
Misha Brukman425ff242004-07-01 21:34:10 +0000962 BB = copy1MBB;
963 unsigned TrueValue = makeAnotherReg (I.getType ());
964 BuildMI(BB, PPC32::LI, 1, TrueValue).addZImm(1);
965 BuildMI(BB, PPC32::B, 1).addMBB(sinkMBB);
966 // Update machine-CFG edges
967 BB->addSuccessor(sinkMBB);
968
969 // sinkMBB:
970 // %Result = phi [ %FalseValue, copy0MBB ], [ %TrueValue, copy1MBB ]
971 // ...
972 BB = sinkMBB;
973 BuildMI(BB, PPC32::PHI, 4, DestReg).addReg(FalseValue)
974 .addMBB(copy0MBB).addReg(TrueValue).addMBB(copy1MBB);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000975}
976
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000977void ISel::visitSelectInst(SelectInst &SI) {
978 unsigned DestReg = getReg(SI);
979 MachineBasicBlock::iterator MII = BB->end();
Misha Brukman2fec9902004-06-21 20:22:03 +0000980 emitSelectOperation(BB, MII, SI.getCondition(), SI.getTrueValue(),
981 SI.getFalseValue(), DestReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +0000982}
983
984/// emitSelect - Common code shared between visitSelectInst and the constant
985/// expression support.
986/// FIXME: this is most likely broken in one or more ways. Namely, PowerPC has
987/// no select instruction. FSEL only works for comparisons against zero.
988void ISel::emitSelectOperation(MachineBasicBlock *MBB,
989 MachineBasicBlock::iterator IP,
990 Value *Cond, Value *TrueVal, Value *FalseVal,
991 unsigned DestReg) {
992 unsigned SelectClass = getClassB(TrueVal->getType());
993
994 unsigned TrueReg = getReg(TrueVal, MBB, IP);
995 unsigned FalseReg = getReg(FalseVal, MBB, IP);
996
997 if (TrueReg == FalseReg) {
Misha Brukman422791f2004-06-21 17:41:12 +0000998 if (SelectClass == cFP) {
Misha Brukman2fec9902004-06-21 20:22:03 +0000999 BuildMI(*MBB, IP, PPC32::FMR, 1, DestReg).addReg(TrueReg);
Misha Brukman422791f2004-06-21 17:41:12 +00001000 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00001001 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg).addReg(TrueReg).addReg(TrueReg);
Misha Brukman422791f2004-06-21 17:41:12 +00001002 }
1003
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001004 if (SelectClass == cLong)
Misha Brukman2fec9902004-06-21 20:22:03 +00001005 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg+1).addReg(TrueReg+1)
1006 .addReg(TrueReg+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001007 return;
1008 }
1009
1010 unsigned CondReg = getReg(Cond, MBB, IP);
1011 unsigned numZeros = makeAnotherReg(Type::IntTy);
1012 unsigned falseHi = makeAnotherReg(Type::IntTy);
1013 unsigned falseAll = makeAnotherReg(Type::IntTy);
1014 unsigned trueAll = makeAnotherReg(Type::IntTy);
1015 unsigned Temp1 = makeAnotherReg(Type::IntTy);
1016 unsigned Temp2 = makeAnotherReg(Type::IntTy);
1017
1018 BuildMI(*MBB, IP, PPC32::CNTLZW, 1, numZeros).addReg(CondReg);
Misha Brukman2fec9902004-06-21 20:22:03 +00001019 BuildMI(*MBB, IP, PPC32::RLWINM, 4, falseHi).addReg(numZeros).addImm(26)
1020 .addImm(0).addImm(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001021 BuildMI(*MBB, IP, PPC32::SRAWI, 2, falseAll).addReg(falseHi).addImm(31);
1022 BuildMI(*MBB, IP, PPC32::NOR, 2, trueAll).addReg(falseAll).addReg(falseAll);
1023 BuildMI(*MBB, IP, PPC32::AND, 2, Temp1).addReg(TrueReg).addReg(trueAll);
1024 BuildMI(*MBB, IP, PPC32::AND, 2, Temp2).addReg(FalseReg).addReg(falseAll);
1025 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg).addReg(Temp1).addReg(Temp2);
1026
1027 if (SelectClass == cLong) {
Misha Brukman422791f2004-06-21 17:41:12 +00001028 unsigned Temp3 = makeAnotherReg(Type::IntTy);
1029 unsigned Temp4 = makeAnotherReg(Type::IntTy);
1030 BuildMI(*MBB, IP, PPC32::AND, 2, Temp3).addReg(TrueReg+1).addReg(trueAll);
1031 BuildMI(*MBB, IP, PPC32::AND, 2, Temp4).addReg(FalseReg+1).addReg(falseAll);
1032 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg+1).addReg(Temp3).addReg(Temp4);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001033 }
1034
1035 return;
1036}
1037
1038
1039
1040/// promote32 - Emit instructions to turn a narrow operand into a 32-bit-wide
1041/// operand, in the specified target register.
1042///
1043void ISel::promote32(unsigned targetReg, const ValueRecord &VR) {
1044 bool isUnsigned = VR.Ty->isUnsigned() || VR.Ty == Type::BoolTy;
1045
1046 Value *Val = VR.Val;
1047 const Type *Ty = VR.Ty;
1048 if (Val) {
1049 if (Constant *C = dyn_cast<Constant>(Val)) {
1050 Val = ConstantExpr::getCast(C, Type::IntTy);
1051 Ty = Type::IntTy;
1052 }
1053
Misha Brukman2fec9902004-06-21 20:22:03 +00001054 // If this is a simple constant, just emit a load directly to avoid the copy
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001055 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val)) {
1056 int TheVal = CI->getRawValue() & 0xFFFFFFFF;
1057
1058 if (TheVal < 32768 && TheVal >= -32768) {
Misha Brukman422791f2004-06-21 17:41:12 +00001059 BuildMI(BB, PPC32::ADDI, 2, targetReg).addReg(PPC32::R0).addImm(TheVal);
1060 } else {
1061 unsigned TmpReg = makeAnotherReg(Type::IntTy);
Misha Brukman2fec9902004-06-21 20:22:03 +00001062 BuildMI(BB, PPC32::ADDIS, 2, TmpReg).addReg(PPC32::R0)
1063 .addImm(TheVal >> 16);
1064 BuildMI(BB, PPC32::ORI, 2, targetReg).addReg(TmpReg)
1065 .addImm(TheVal & 0xFFFF);
Misha Brukman422791f2004-06-21 17:41:12 +00001066 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001067 return;
1068 }
1069 }
1070
1071 // Make sure we have the register number for this value...
1072 unsigned Reg = Val ? getReg(Val) : VR.Reg;
1073
1074 switch (getClassB(Ty)) {
1075 case cByte:
1076 // Extend value into target register (8->32)
1077 if (isUnsigned)
Misha Brukman2fec9902004-06-21 20:22:03 +00001078 BuildMI(BB, PPC32::RLWINM, 4, targetReg).addReg(Reg).addZImm(0)
1079 .addZImm(24).addZImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001080 else
1081 BuildMI(BB, PPC32::EXTSB, 1, targetReg).addReg(Reg);
1082 break;
1083 case cShort:
1084 // Extend value into target register (16->32)
1085 if (isUnsigned)
Misha Brukman2fec9902004-06-21 20:22:03 +00001086 BuildMI(BB, PPC32::RLWINM, 4, targetReg).addReg(Reg).addZImm(0)
1087 .addZImm(16).addZImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001088 else
1089 BuildMI(BB, PPC32::EXTSH, 1, targetReg).addReg(Reg);
1090 break;
1091 case cInt:
1092 // Move value into target register (32->32)
Misha Brukman972569a2004-06-25 18:36:53 +00001093 BuildMI(BB, PPC32::OR, 2, targetReg).addReg(Reg).addReg(Reg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001094 break;
1095 default:
1096 assert(0 && "Unpromotable operand class in promote32");
1097 }
1098}
1099
Misha Brukman2fec9902004-06-21 20:22:03 +00001100/// visitReturnInst - implemented with BLR
1101///
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001102void ISel::visitReturnInst(ReturnInst &I) {
Misha Brukmand47bbf72004-06-25 19:04:27 +00001103 // Only do the processing if this is a non-void return
1104 if (I.getNumOperands() > 0) {
1105 Value *RetVal = I.getOperand(0);
1106 switch (getClassB(RetVal->getType())) {
1107 case cByte: // integral return values: extend or move into r3 and return
1108 case cShort:
1109 case cInt:
1110 promote32(PPC32::R3, ValueRecord(RetVal));
1111 break;
1112 case cFP: { // Floats & Doubles: Return in f1
1113 unsigned RetReg = getReg(RetVal);
1114 BuildMI(BB, PPC32::FMR, 1, PPC32::F1).addReg(RetReg);
1115 break;
1116 }
1117 case cLong: {
1118 unsigned RetReg = getReg(RetVal);
1119 BuildMI(BB, PPC32::OR, 2, PPC32::R3).addReg(RetReg).addReg(RetReg);
1120 BuildMI(BB, PPC32::OR, 2, PPC32::R4).addReg(RetReg+1).addReg(RetReg+1);
1121 break;
1122 }
1123 default:
1124 visitInstruction(I);
1125 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001126 }
1127 BuildMI(BB, PPC32::BLR, 1).addImm(0);
1128}
1129
1130// getBlockAfter - Return the basic block which occurs lexically after the
1131// specified one.
1132static inline BasicBlock *getBlockAfter(BasicBlock *BB) {
1133 Function::iterator I = BB; ++I; // Get iterator to next block
1134 return I != BB->getParent()->end() ? &*I : 0;
1135}
1136
1137/// visitBranchInst - Handle conditional and unconditional branches here. Note
1138/// that since code layout is frozen at this point, that if we are trying to
1139/// jump to a block that is the immediate successor of the current block, we can
1140/// just make a fall-through (but we don't currently).
1141///
1142void ISel::visitBranchInst(BranchInst &BI) {
Misha Brukman2fec9902004-06-21 20:22:03 +00001143 // Update machine-CFG edges
1144 BB->addSuccessor (MBBMap[BI.getSuccessor(0)]);
1145 if (BI.isConditional())
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001146 BB->addSuccessor (MBBMap[BI.getSuccessor(1)]);
Misha Brukman2fec9902004-06-21 20:22:03 +00001147
1148 BasicBlock *NextBB = getBlockAfter(BI.getParent()); // BB after current one
Misha Brukmane9c65512004-07-06 15:32:44 +00001149
Misha Brukman2fec9902004-06-21 20:22:03 +00001150 if (!BI.isConditional()) { // Unconditional branch?
Misha Brukmane9c65512004-07-06 15:32:44 +00001151 if (BI.getSuccessor(0) != NextBB)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001152 BuildMI(BB, PPC32::B, 1).addMBB(MBBMap[BI.getSuccessor(0)]);
1153 return;
Misha Brukman2fec9902004-06-21 20:22:03 +00001154 }
1155
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001156 // See if we can fold the setcc into the branch itself...
1157 SetCondInst *SCI = canFoldSetCCIntoBranchOrSelect(BI.getCondition());
1158 if (SCI == 0) {
1159 // Nope, cannot fold setcc into this branch. Emit a branch on a condition
1160 // computed some other way...
1161 unsigned condReg = getReg(BI.getCondition());
Misha Brukmane9c65512004-07-06 15:32:44 +00001162 BuildMI(BB, PPC32::CMPLI, 3, PPC32::CR1).addImm(0).addReg(condReg)
Misha Brukman2fec9902004-06-21 20:22:03 +00001163 .addImm(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001164 if (BI.getSuccessor(1) == NextBB) {
1165 if (BI.getSuccessor(0) != NextBB)
Misha Brukmane9c65512004-07-06 15:32:44 +00001166 BuildMI(BB, PPC32::BNE, 2).addReg(PPC32::CR1)
Misha Brukman2fec9902004-06-21 20:22:03 +00001167 .addMBB(MBBMap[BI.getSuccessor(0)]);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001168 } else {
Misha Brukmane9c65512004-07-06 15:32:44 +00001169 BuildMI(BB, PPC32::BNE, 2).addReg(PPC32::CR1)
Misha Brukman2fec9902004-06-21 20:22:03 +00001170 .addMBB(MBBMap[BI.getSuccessor(1)]);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001171
1172 if (BI.getSuccessor(0) != NextBB)
1173 BuildMI(BB, PPC32::B, 1).addMBB(MBBMap[BI.getSuccessor(0)]);
1174 }
1175 return;
1176 }
1177
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001178 unsigned OpNum = getSetCCNumber(SCI->getOpcode());
Misha Brukmane9c65512004-07-06 15:32:44 +00001179 unsigned Opcode = getPPCOpcodeForSetCCNumber(SCI->getOpcode());
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001180 MachineBasicBlock::iterator MII = BB->end();
1181 OpNum = EmitComparison(OpNum, SCI->getOperand(0), SCI->getOperand(1), BB,MII);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001182
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001183 if (BI.getSuccessor(0) != NextBB) {
Misha Brukmane9c65512004-07-06 15:32:44 +00001184 BuildMI(BB, Opcode, 2).addReg(PPC32::CR0)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001185 .addMBB(MBBMap[BI.getSuccessor(0)]);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001186 if (BI.getSuccessor(1) != NextBB)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001187 BuildMI(BB, PPC32::B, 1).addMBB(MBBMap[BI.getSuccessor(1)]);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001188 } else {
1189 // Change to the inverse condition...
1190 if (BI.getSuccessor(1) != NextBB) {
Misha Brukmane9c65512004-07-06 15:32:44 +00001191 Opcode = invertPPCBranchOpcode(Opcode);
1192 BuildMI(BB, Opcode, 2).addReg(PPC32::CR0)
Misha Brukman2fec9902004-06-21 20:22:03 +00001193 .addMBB(MBBMap[BI.getSuccessor(1)]);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001194 }
1195 }
1196}
1197
Misha Brukmanfc879c32004-07-08 18:02:38 +00001198static Constant* minUConstantForValue(uint64_t val) {
1199 if (val <= 1)
1200 return ConstantBool::get(val);
1201 else if (ConstantUInt::isValueValidForType(Type::UShortTy, val))
1202 return ConstantUInt::get(Type::UShortTy, val);
1203 else if (ConstantUInt::isValueValidForType(Type::UIntTy, val))
1204 return ConstantUInt::get(Type::UIntTy, val);
1205 else if (ConstantUInt::isValueValidForType(Type::ULongTy, val))
1206 return ConstantUInt::get(Type::ULongTy, val);
1207
1208 std::cerr << "Value: " << val << " not accepted for any integral type!\n";
1209 abort();
1210}
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001211
1212/// doCall - This emits an abstract call instruction, setting up the arguments
1213/// and the return value as appropriate. For the actual function call itself,
1214/// it inserts the specified CallMI instruction into the stream.
1215///
1216/// FIXME: See Documentation at the following URL for "correct" behavior
1217/// <http://developer.apple.com/documentation/DeveloperTools/Conceptual/MachORuntime/2rt_powerpc_abi/chapter_9_section_5.html>
1218void ISel::doCall(const ValueRecord &Ret, MachineInstr *CallMI,
Misha Brukmand18a31d2004-07-06 22:51:53 +00001219 const std::vector<ValueRecord> &Args, bool isVarArg) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001220 // Count how many bytes are to be pushed on the stack...
1221 unsigned NumBytes = 0;
1222
1223 if (!Args.empty()) {
1224 for (unsigned i = 0, e = Args.size(); i != e; ++i)
1225 switch (getClassB(Args[i].Ty)) {
1226 case cByte: case cShort: case cInt:
1227 NumBytes += 4; break;
1228 case cLong:
1229 NumBytes += 8; break;
1230 case cFP:
1231 NumBytes += Args[i].Ty == Type::FloatTy ? 4 : 8;
1232 break;
1233 default: assert(0 && "Unknown class!");
1234 }
1235
1236 // Adjust the stack pointer for the new arguments...
1237 BuildMI(BB, PPC32::ADJCALLSTACKDOWN, 1).addImm(NumBytes);
1238
1239 // Arguments go on the stack in reverse order, as specified by the ABI.
1240 unsigned ArgOffset = 0;
Misha Brukmand18a31d2004-07-06 22:51:53 +00001241 int GPR_remaining = 8, FPR_remaining = 13;
Misha Brukmanfc879c32004-07-08 18:02:38 +00001242 unsigned GPR_idx = 0, FPR_idx = 0;
Misha Brukmand18a31d2004-07-06 22:51:53 +00001243 static const unsigned GPR[] = {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001244 PPC32::R3, PPC32::R4, PPC32::R5, PPC32::R6,
1245 PPC32::R7, PPC32::R8, PPC32::R9, PPC32::R10,
1246 };
Misha Brukmand18a31d2004-07-06 22:51:53 +00001247 static const unsigned FPR[] = {
Misha Brukman2834a4d2004-07-07 20:07:22 +00001248 PPC32::F1, PPC32::F2, PPC32::F3, PPC32::F4, PPC32::F5, PPC32::F6,
1249 PPC32::F7, PPC32::F8, PPC32::F9, PPC32::F10, PPC32::F11, PPC32::F12,
1250 PPC32::F13
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001251 };
Misha Brukman422791f2004-06-21 17:41:12 +00001252
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001253 for (unsigned i = 0, e = Args.size(); i != e; ++i) {
1254 unsigned ArgReg;
1255 switch (getClassB(Args[i].Ty)) {
1256 case cByte:
1257 case cShort:
1258 // Promote arg to 32 bits wide into a temporary register...
1259 ArgReg = makeAnotherReg(Type::UIntTy);
1260 promote32(ArgReg, Args[i]);
Misha Brukman422791f2004-06-21 17:41:12 +00001261
1262 // Reg or stack?
1263 if (GPR_remaining > 0) {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001264 BuildMI(BB, PPC32::OR, 2, GPR[GPR_idx]).addReg(ArgReg)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001265 .addReg(ArgReg);
Misha Brukman422791f2004-06-21 17:41:12 +00001266 } else {
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001267 BuildMI(BB, PPC32::STW, 3).addReg(ArgReg).addImm(ArgOffset)
1268 .addReg(PPC32::R1);
Misha Brukman422791f2004-06-21 17:41:12 +00001269 }
1270 break;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001271 case cInt:
1272 ArgReg = Args[i].Val ? getReg(Args[i].Val) : Args[i].Reg;
1273
Misha Brukman422791f2004-06-21 17:41:12 +00001274 // Reg or stack?
1275 if (GPR_remaining > 0) {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001276 BuildMI(BB, PPC32::OR, 2, GPR[GPR_idx]).addReg(ArgReg)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001277 .addReg(ArgReg);
Misha Brukman422791f2004-06-21 17:41:12 +00001278 } else {
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001279 BuildMI(BB, PPC32::STW, 3).addReg(ArgReg).addImm(ArgOffset)
1280 .addReg(PPC32::R1);
Misha Brukman422791f2004-06-21 17:41:12 +00001281 }
1282 break;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001283 case cLong:
Misha Brukman422791f2004-06-21 17:41:12 +00001284 ArgReg = Args[i].Val ? getReg(Args[i].Val) : Args[i].Reg;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001285
Misha Brukman422791f2004-06-21 17:41:12 +00001286 // Reg or stack?
1287 if (GPR_remaining > 1) {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001288 BuildMI(BB, PPC32::OR, 2, GPR[GPR_idx]).addReg(ArgReg)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001289 .addReg(ArgReg);
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001290 BuildMI(BB, PPC32::OR, 2, GPR[GPR_idx + 1]).addReg(ArgReg+1)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001291 .addReg(ArgReg+1);
Misha Brukman422791f2004-06-21 17:41:12 +00001292 } else {
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001293 BuildMI(BB, PPC32::STW, 3).addReg(ArgReg).addImm(ArgOffset)
1294 .addReg(PPC32::R1);
1295 BuildMI(BB, PPC32::STW, 3).addReg(ArgReg+1).addImm(ArgOffset+4)
1296 .addReg(PPC32::R1);
Misha Brukman422791f2004-06-21 17:41:12 +00001297 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001298
1299 ArgOffset += 4; // 8 byte entry, not 4.
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001300 GPR_remaining -= 1; // uses up 2 GPRs
1301 GPR_idx += 1;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001302 break;
1303 case cFP:
1304 ArgReg = Args[i].Val ? getReg(Args[i].Val) : Args[i].Reg;
1305 if (Args[i].Ty == Type::FloatTy) {
Misha Brukmanfc879c32004-07-08 18:02:38 +00001306 assert(!isVarArg && "Cannot pass floats to vararg functions!");
Misha Brukman1916bf92004-06-24 21:56:15 +00001307 // Reg or stack?
1308 if (FPR_remaining > 0) {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001309 BuildMI(BB, PPC32::FMR, 1, FPR[FPR_idx]).addReg(ArgReg);
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001310 FPR_remaining--;
1311 FPR_idx++;
Misha Brukman1916bf92004-06-24 21:56:15 +00001312 } else {
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001313 BuildMI(BB, PPC32::STFS, 3).addReg(ArgReg).addImm(ArgOffset)
1314 .addReg(PPC32::R1);
Misha Brukman1916bf92004-06-24 21:56:15 +00001315 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001316 } else {
1317 assert(Args[i].Ty == Type::DoubleTy && "Unknown FP type!");
Misha Brukman1916bf92004-06-24 21:56:15 +00001318 // Reg or stack?
1319 if (FPR_remaining > 0) {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001320 BuildMI(BB, PPC32::FMR, 1, FPR[FPR_idx]).addReg(ArgReg);
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001321 FPR_remaining--;
1322 FPR_idx++;
Misha Brukmand18a31d2004-07-06 22:51:53 +00001323 // For vararg functions, must pass doubles via int regs as well
1324 if (isVarArg) {
Misha Brukman0aa97c62004-07-08 18:27:59 +00001325 Value *Val = Args[i].Val;
1326 if (ConstantFP *CFP = dyn_cast<ConstantFP>(Val)) {
1327 union DU {
1328 double FVal;
1329 struct {
1330 uint32_t hi32;
1331 uint32_t lo32;
1332 } UVal;
1333 } U;
1334 U.FVal = CFP->getValue();
1335 if (GPR_remaining > 0) {
1336 Constant *hi32 = minUConstantForValue(U.UVal.hi32);
1337 copyConstantToRegister(BB, BB->end(), hi32, GPR[GPR_idx]);
1338 }
1339 if (GPR_remaining > 1) {
1340 Constant *lo32 = minUConstantForValue(U.UVal.lo32);
1341 copyConstantToRegister(BB, BB->end(), lo32, GPR[GPR_idx+1]);
1342 }
1343 } else {
1344 // Since this is not a constant, we must load it into int regs
1345 // via memory
1346 BuildMI(BB, PPC32::STFD, 3).addReg(ArgReg).addImm(ArgOffset)
1347 .addReg(PPC32::R1);
1348 if (GPR_remaining > 0)
1349 BuildMI(BB, PPC32::LWZ, 2, GPR[GPR_idx]).addImm(ArgOffset)
1350 .addReg(PPC32::R1);
1351 if (GPR_remaining > 1)
1352 BuildMI(BB, PPC32::LWZ, 2, GPR[GPR_idx+1])
1353 .addImm(ArgOffset+4).addReg(PPC32::R1);
Misha Brukmand18a31d2004-07-06 22:51:53 +00001354 }
1355 }
Misha Brukman1916bf92004-06-24 21:56:15 +00001356 } else {
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001357 BuildMI(BB, PPC32::STFD, 3).addReg(ArgReg).addImm(ArgOffset)
1358 .addReg(PPC32::R1);
Misha Brukman1916bf92004-06-24 21:56:15 +00001359 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001360
Misha Brukman1916bf92004-06-24 21:56:15 +00001361 ArgOffset += 4; // 8 byte entry, not 4.
Misha Brukmanfc879c32004-07-08 18:02:38 +00001362 GPR_remaining--; // uses up 2 GPRs
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001363 GPR_idx++;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001364 }
1365 break;
1366
1367 default: assert(0 && "Unknown class!");
1368 }
1369 ArgOffset += 4;
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001370 GPR_remaining--;
1371 GPR_idx++;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001372 }
1373 } else {
1374 BuildMI(BB, PPC32::ADJCALLSTACKDOWN, 1).addImm(0);
1375 }
1376
1377 BB->push_back(CallMI);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001378 BuildMI(BB, PPC32::ADJCALLSTACKUP, 1).addImm(NumBytes);
1379
1380 // If there is a return value, scavenge the result from the location the call
1381 // leaves it in...
1382 //
1383 if (Ret.Ty != Type::VoidTy) {
1384 unsigned DestClass = getClassB(Ret.Ty);
1385 switch (DestClass) {
1386 case cByte:
1387 case cShort:
1388 case cInt:
1389 // Integral results are in r3
Misha Brukman422791f2004-06-21 17:41:12 +00001390 BuildMI(BB, PPC32::OR, 2, Ret.Reg).addReg(PPC32::R3).addReg(PPC32::R3);
Misha Brukmane327e492004-06-24 23:53:24 +00001391 break;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001392 case cFP: // Floating-point return values live in f1
1393 BuildMI(BB, PPC32::FMR, 1, Ret.Reg).addReg(PPC32::F1);
1394 break;
1395 case cLong: // Long values are in r3:r4
Misha Brukman422791f2004-06-21 17:41:12 +00001396 BuildMI(BB, PPC32::OR, 2, Ret.Reg).addReg(PPC32::R3).addReg(PPC32::R3);
1397 BuildMI(BB, PPC32::OR, 2, Ret.Reg+1).addReg(PPC32::R4).addReg(PPC32::R4);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001398 break;
1399 default: assert(0 && "Unknown class!");
1400 }
1401 }
1402}
1403
1404
1405/// visitCallInst - Push args on stack and do a procedure call instruction.
1406void ISel::visitCallInst(CallInst &CI) {
1407 MachineInstr *TheCall;
Misha Brukmand18a31d2004-07-06 22:51:53 +00001408 Function *F = CI.getCalledFunction();
1409 if (F) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001410 // Is it an intrinsic function call?
1411 if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID()) {
1412 visitIntrinsicCall(ID, CI); // Special intrinsics are not handled here
1413 return;
1414 }
1415
1416 // Emit a CALL instruction with PC-relative displacement.
1417 TheCall = BuildMI(PPC32::CALLpcrel, 1).addGlobalAddress(F, true);
1418 } else { // Emit an indirect call through the CTR
1419 unsigned Reg = getReg(CI.getCalledValue());
1420 BuildMI(PPC32::MTSPR, 2).addZImm(9).addReg(Reg);
1421 TheCall = BuildMI(PPC32::CALLindirect, 1).addZImm(20).addZImm(0);
1422 }
1423
1424 std::vector<ValueRecord> Args;
1425 for (unsigned i = 1, e = CI.getNumOperands(); i != e; ++i)
1426 Args.push_back(ValueRecord(CI.getOperand(i)));
1427
1428 unsigned DestReg = CI.getType() != Type::VoidTy ? getReg(CI) : 0;
Misha Brukmand18a31d2004-07-06 22:51:53 +00001429 bool isVarArg = F ? F->getFunctionType()->isVarArg() : true;
1430 doCall(ValueRecord(DestReg, CI.getType()), TheCall, Args, isVarArg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001431}
1432
1433
1434/// dyncastIsNan - Return the operand of an isnan operation if this is an isnan.
1435///
1436static Value *dyncastIsNan(Value *V) {
1437 if (CallInst *CI = dyn_cast<CallInst>(V))
1438 if (Function *F = CI->getCalledFunction())
Misha Brukmana2916ce2004-06-21 17:58:36 +00001439 if (F->getIntrinsicID() == Intrinsic::isunordered)
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001440 return CI->getOperand(1);
1441 return 0;
1442}
1443
1444/// isOnlyUsedByUnorderedComparisons - Return true if this value is only used by
1445/// or's whos operands are all calls to the isnan predicate.
1446static bool isOnlyUsedByUnorderedComparisons(Value *V) {
1447 assert(dyncastIsNan(V) && "The value isn't an isnan call!");
1448
1449 // Check all uses, which will be or's of isnans if this predicate is true.
1450 for (Value::use_iterator UI = V->use_begin(), E = V->use_end(); UI != E;++UI){
1451 Instruction *I = cast<Instruction>(*UI);
1452 if (I->getOpcode() != Instruction::Or) return false;
1453 if (I->getOperand(0) != V && !dyncastIsNan(I->getOperand(0))) return false;
1454 if (I->getOperand(1) != V && !dyncastIsNan(I->getOperand(1))) return false;
1455 }
1456
1457 return true;
1458}
1459
1460/// LowerUnknownIntrinsicFunctionCalls - This performs a prepass over the
1461/// function, lowering any calls to unknown intrinsic functions into the
1462/// equivalent LLVM code.
1463///
1464void ISel::LowerUnknownIntrinsicFunctionCalls(Function &F) {
1465 for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
1466 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; )
1467 if (CallInst *CI = dyn_cast<CallInst>(I++))
1468 if (Function *F = CI->getCalledFunction())
1469 switch (F->getIntrinsicID()) {
1470 case Intrinsic::not_intrinsic:
1471 case Intrinsic::vastart:
1472 case Intrinsic::vacopy:
1473 case Intrinsic::vaend:
1474 case Intrinsic::returnaddress:
1475 case Intrinsic::frameaddress:
Misha Brukmana2916ce2004-06-21 17:58:36 +00001476 // FIXME: should lower this ourselves
1477 // case Intrinsic::isunordered:
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001478 // We directly implement these intrinsics
1479 break;
1480 case Intrinsic::readio: {
1481 // On PPC, memory operations are in-order. Lower this intrinsic
1482 // into a volatile load.
1483 Instruction *Before = CI->getPrev();
1484 LoadInst * LI = new LoadInst(CI->getOperand(1), "", true, CI);
1485 CI->replaceAllUsesWith(LI);
1486 BB->getInstList().erase(CI);
1487 break;
1488 }
1489 case Intrinsic::writeio: {
1490 // On PPC, memory operations are in-order. Lower this intrinsic
1491 // into a volatile store.
1492 Instruction *Before = CI->getPrev();
1493 StoreInst *LI = new StoreInst(CI->getOperand(1),
1494 CI->getOperand(2), true, CI);
1495 CI->replaceAllUsesWith(LI);
1496 BB->getInstList().erase(CI);
1497 break;
1498 }
1499 default:
1500 // All other intrinsic calls we must lower.
1501 Instruction *Before = CI->getPrev();
1502 TM.getIntrinsicLowering().LowerIntrinsicCall(CI);
1503 if (Before) { // Move iterator to instruction after call
1504 I = Before; ++I;
1505 } else {
1506 I = BB->begin();
1507 }
1508 }
1509}
1510
1511void ISel::visitIntrinsicCall(Intrinsic::ID ID, CallInst &CI) {
1512 unsigned TmpReg1, TmpReg2, TmpReg3;
1513 switch (ID) {
1514 case Intrinsic::vastart:
1515 // Get the address of the first vararg value...
1516 TmpReg1 = getReg(CI);
1517 addFrameReference(BuildMI(BB, PPC32::ADDI, 2, TmpReg1), VarArgsFrameIndex);
1518 return;
1519
1520 case Intrinsic::vacopy:
1521 TmpReg1 = getReg(CI);
1522 TmpReg2 = getReg(CI.getOperand(1));
1523 BuildMI(BB, PPC32::OR, 2, TmpReg1).addReg(TmpReg2).addReg(TmpReg2);
1524 return;
1525 case Intrinsic::vaend: return;
1526
1527 case Intrinsic::returnaddress:
1528 case Intrinsic::frameaddress:
1529 TmpReg1 = getReg(CI);
1530 if (cast<Constant>(CI.getOperand(1))->isNullValue()) {
1531 if (ID == Intrinsic::returnaddress) {
1532 // Just load the return address
1533 addFrameReference(BuildMI(BB, PPC32::LWZ, 2, TmpReg1),
1534 ReturnAddressIndex);
1535 } else {
1536 addFrameReference(BuildMI(BB, PPC32::ADDI, 2, TmpReg1),
1537 ReturnAddressIndex, -4, false);
1538 }
1539 } else {
1540 // Values other than zero are not implemented yet.
1541 BuildMI(BB, PPC32::ADDI, 2, TmpReg1).addReg(PPC32::R0).addImm(0);
1542 }
1543 return;
1544
Misha Brukmana2916ce2004-06-21 17:58:36 +00001545#if 0
1546 // This may be useful for supporting isunordered
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001547 case Intrinsic::isnan:
1548 // If this is only used by 'isunordered' style comparisons, don't emit it.
1549 if (isOnlyUsedByUnorderedComparisons(&CI)) return;
1550 TmpReg1 = getReg(CI.getOperand(1));
1551 emitUCOM(BB, BB->end(), TmpReg1, TmpReg1);
Misha Brukman422791f2004-06-21 17:41:12 +00001552 TmpReg2 = makeAnotherReg(Type::IntTy);
1553 BuildMI(BB, PPC32::MFCR, TmpReg2);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001554 TmpReg3 = getReg(CI);
1555 BuildMI(BB, PPC32::RLWINM, 4, TmpReg3).addReg(TmpReg2).addImm(4).addImm(31).addImm(31);
1556 return;
Misha Brukmana2916ce2004-06-21 17:58:36 +00001557#endif
1558
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001559 default: assert(0 && "Error: unknown intrinsics should have been lowered!");
1560 }
1561}
1562
1563/// visitSimpleBinary - Implement simple binary operators for integral types...
1564/// OperatorClass is one of: 0 for Add, 1 for Sub, 2 for And, 3 for Or, 4 for
1565/// Xor.
1566///
1567void ISel::visitSimpleBinary(BinaryOperator &B, unsigned OperatorClass) {
1568 unsigned DestReg = getReg(B);
1569 MachineBasicBlock::iterator MI = BB->end();
1570 Value *Op0 = B.getOperand(0), *Op1 = B.getOperand(1);
1571 unsigned Class = getClassB(B.getType());
1572
1573 emitSimpleBinaryOperation(BB, MI, Op0, Op1, OperatorClass, DestReg);
1574}
1575
1576/// emitBinaryFPOperation - This method handles emission of floating point
1577/// Add (0), Sub (1), Mul (2), and Div (3) operations.
1578void ISel::emitBinaryFPOperation(MachineBasicBlock *BB,
1579 MachineBasicBlock::iterator IP,
1580 Value *Op0, Value *Op1,
1581 unsigned OperatorClass, unsigned DestReg) {
1582
1583 // Special case: op Reg, <const fp>
1584 if (ConstantFP *Op1C = dyn_cast<ConstantFP>(Op1)) {
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001585 // Create a constant pool entry for this constant.
1586 MachineConstantPool *CP = F->getConstantPool();
1587 unsigned CPI = CP->getConstantPoolIndex(Op1C);
1588 const Type *Ty = Op1->getType();
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001589
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001590 static const unsigned OpcodeTab[][4] = {
Misha Brukmand18a31d2004-07-06 22:51:53 +00001591 { PPC32::FADDS, PPC32::FSUBS, PPC32::FMULS, PPC32::FDIVS }, // Float
1592 { PPC32::FADD, PPC32::FSUB, PPC32::FMUL, PPC32::FDIV }, // Double
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001593 };
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001594
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001595 assert(Ty == Type::FloatTy || Ty == Type::DoubleTy && "Unknown FP type!");
1596 unsigned TempReg = makeAnotherReg(Ty);
Misha Brukmand18a31d2004-07-06 22:51:53 +00001597 unsigned LoadOpcode = (Ty == Type::FloatTy) ? PPC32::LFS : PPC32::LFD;
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001598 addConstantPoolReference(BuildMI(*BB, IP, LoadOpcode, 2, TempReg), CPI);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001599
Misha Brukmanfadb82f2004-06-24 22:00:15 +00001600 unsigned Opcode = OpcodeTab[Ty != Type::FloatTy][OperatorClass];
1601 unsigned Op0r = getReg(Op0, BB, IP);
1602 BuildMI(*BB, IP, Opcode, DestReg).addReg(Op0r).addReg(TempReg);
1603 return;
1604 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001605
1606 // Special case: R1 = op <const fp>, R2
1607 if (ConstantFP *CFP = dyn_cast<ConstantFP>(Op0))
1608 if (CFP->isExactlyValue(-0.0) && OperatorClass == 1) {
1609 // -0.0 - X === -X
1610 unsigned op1Reg = getReg(Op1, BB, IP);
1611 BuildMI(*BB, IP, PPC32::FNEG, 1, DestReg).addReg(op1Reg);
1612 return;
1613 } else {
1614 // R1 = op CST, R2 --> R1 = opr R2, CST
1615
1616 // Create a constant pool entry for this constant.
1617 MachineConstantPool *CP = F->getConstantPool();
1618 unsigned CPI = CP->getConstantPoolIndex(CFP);
1619 const Type *Ty = CFP->getType();
1620
1621 static const unsigned OpcodeTab[][4] = {
Misha Brukmand18a31d2004-07-06 22:51:53 +00001622 { PPC32::FADDS, PPC32::FSUBS, PPC32::FMULS, PPC32::FDIVS }, // Float
1623 { PPC32::FADD, PPC32::FSUB, PPC32::FMUL, PPC32::FDIV }, // Double
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001624 };
1625
1626 assert(Ty == Type::FloatTy || Ty == Type::DoubleTy && "Unknown FP type!");
Misha Brukman422791f2004-06-21 17:41:12 +00001627 unsigned TempReg = makeAnotherReg(Ty);
Misha Brukmand18a31d2004-07-06 22:51:53 +00001628 unsigned LoadOpcode = (Ty == Type::FloatTy) ? PPC32::LFS : PPC32::LFD;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001629 addConstantPoolReference(BuildMI(*BB, IP, LoadOpcode, 2, TempReg), CPI);
1630
1631 unsigned Opcode = OpcodeTab[Ty != Type::FloatTy][OperatorClass];
1632 unsigned Op1r = getReg(Op1, BB, IP);
Misha Brukman422791f2004-06-21 17:41:12 +00001633 BuildMI(*BB, IP, Opcode, DestReg).addReg(TempReg).addReg(Op1r);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001634 return;
1635 }
1636
1637 // General case.
Misha Brukman911afde2004-06-25 14:50:41 +00001638 static const unsigned OpcodeTab[] = {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001639 PPC32::FADD, PPC32::FSUB, PPC32::FMUL, PPC32::FDIV
1640 };
1641
1642 unsigned Opcode = OpcodeTab[OperatorClass];
1643 unsigned Op0r = getReg(Op0, BB, IP);
1644 unsigned Op1r = getReg(Op1, BB, IP);
1645 BuildMI(*BB, IP, Opcode, 2, DestReg).addReg(Op0r).addReg(Op1r);
1646}
1647
1648/// emitSimpleBinaryOperation - Implement simple binary operators for integral
1649/// types... OperatorClass is one of: 0 for Add, 1 for Sub, 2 for And, 3 for
1650/// Or, 4 for Xor.
1651///
1652/// emitSimpleBinaryOperation - Common code shared between visitSimpleBinary
1653/// and constant expression support.
1654///
1655void ISel::emitSimpleBinaryOperation(MachineBasicBlock *MBB,
1656 MachineBasicBlock::iterator IP,
1657 Value *Op0, Value *Op1,
1658 unsigned OperatorClass, unsigned DestReg) {
1659 unsigned Class = getClassB(Op0->getType());
1660
Misha Brukman422791f2004-06-21 17:41:12 +00001661 // Arithmetic and Bitwise operators
Misha Brukman911afde2004-06-25 14:50:41 +00001662 static const unsigned OpcodeTab[] = {
Misha Brukman422791f2004-06-21 17:41:12 +00001663 PPC32::ADD, PPC32::SUB, PPC32::AND, PPC32::OR, PPC32::XOR
1664 };
1665 // Otherwise, code generate the full operation with a constant.
1666 static const unsigned BottomTab[] = {
1667 PPC32::ADDC, PPC32::SUBC, PPC32::AND, PPC32::OR, PPC32::XOR
1668 };
1669 static const unsigned TopTab[] = {
1670 PPC32::ADDE, PPC32::SUBFE, PPC32::AND, PPC32::OR, PPC32::XOR
1671 };
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001672
1673 if (Class == cFP) {
1674 assert(OperatorClass < 2 && "No logical ops for FP!");
1675 emitBinaryFPOperation(MBB, IP, Op0, Op1, OperatorClass, DestReg);
1676 return;
1677 }
1678
1679 if (Op0->getType() == Type::BoolTy) {
1680 if (OperatorClass == 3)
1681 // If this is an or of two isnan's, emit an FP comparison directly instead
1682 // of or'ing two isnan's together.
1683 if (Value *LHS = dyncastIsNan(Op0))
1684 if (Value *RHS = dyncastIsNan(Op1)) {
1685 unsigned Op0Reg = getReg(RHS, MBB, IP), Op1Reg = getReg(LHS, MBB, IP);
Misha Brukman422791f2004-06-21 17:41:12 +00001686 unsigned TmpReg = makeAnotherReg(Type::IntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001687 emitUCOM(MBB, IP, Op0Reg, Op1Reg);
Misha Brukman422791f2004-06-21 17:41:12 +00001688 BuildMI(*MBB, IP, PPC32::MFCR, TmpReg);
Misha Brukman2fec9902004-06-21 20:22:03 +00001689 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(TmpReg).addImm(4)
1690 .addImm(31).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001691 return;
1692 }
1693 }
1694
1695 // sub 0, X -> neg X
1696 if (ConstantInt *CI = dyn_cast<ConstantInt>(Op0))
1697 if (OperatorClass == 1 && CI->isNullValue()) {
1698 unsigned op1Reg = getReg(Op1, MBB, IP);
1699 BuildMI(*MBB, IP, PPC32::NEG, 1, DestReg).addReg(op1Reg);
1700
1701 if (Class == cLong) {
Misha Brukman422791f2004-06-21 17:41:12 +00001702 unsigned zeroes = makeAnotherReg(Type::IntTy);
1703 unsigned overflow = makeAnotherReg(Type::IntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001704 unsigned T = makeAnotherReg(Type::IntTy);
Misha Brukman422791f2004-06-21 17:41:12 +00001705 BuildMI(*MBB, IP, PPC32::CNTLZW, 1, zeroes).addReg(op1Reg);
Misha Brukman2fec9902004-06-21 20:22:03 +00001706 BuildMI(*MBB, IP, PPC32::RLWINM, 4, overflow).addReg(zeroes).addImm(27)
1707 .addImm(5).addImm(31);
Misha Brukman422791f2004-06-21 17:41:12 +00001708 BuildMI(*MBB, IP, PPC32::ADD, 2, T).addReg(op1Reg+1).addReg(overflow);
1709 BuildMI(*MBB, IP, PPC32::NEG, 1, DestReg+1).addReg(T);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001710 }
1711 return;
1712 }
1713
1714 // Special case: op Reg, <const int>
1715 if (ConstantInt *Op1C = dyn_cast<ConstantInt>(Op1)) {
1716 unsigned Op0r = getReg(Op0, MBB, IP);
1717
1718 // xor X, -1 -> not X
1719 if (OperatorClass == 4 && Op1C->isAllOnesValue()) {
1720 BuildMI(*MBB, IP, PPC32::NOR, 2, DestReg).addReg(Op0r).addReg(Op0r);
1721 if (Class == cLong) // Invert the top part too
Misha Brukman2fec9902004-06-21 20:22:03 +00001722 BuildMI(*MBB, IP, PPC32::NOR, 2, DestReg+1).addReg(Op0r+1)
1723 .addReg(Op0r+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001724 return;
1725 }
1726
1727 unsigned Opcode = OpcodeTab[OperatorClass];
1728 unsigned Op1r = getReg(Op1, MBB, IP);
1729
1730 if (Class != cLong) {
1731 BuildMI(*MBB, IP, Opcode, 2, DestReg).addReg(Op0r).addReg(Op1r);
1732 return;
1733 }
1734
1735 // If the constant is zero in the low 32-bits, just copy the low part
1736 // across and apply the normal 32-bit operation to the high parts. There
1737 // will be no carry or borrow into the top.
1738 if (cast<ConstantInt>(Op1C)->getRawValue() == 0) {
1739 if (OperatorClass != 2) // All but and...
1740 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg).addReg(Op0r).addReg(Op0r);
1741 else
1742 BuildMI(*MBB, IP, PPC32::ADDI, 2, DestReg).addReg(PPC32::R0).addImm(0);
Misha Brukman422791f2004-06-21 17:41:12 +00001743 BuildMI(*MBB, IP, Opcode, 2, DestReg+1).addReg(Op0r+1).addReg(Op1r+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001744 return;
1745 }
1746
1747 // If this is a long value and the high or low bits have a special
1748 // property, emit some special cases.
1749 unsigned Op1h = cast<ConstantInt>(Op1C)->getRawValue() >> 32LL;
1750
1751 // If this is a logical operation and the top 32-bits are zero, just
1752 // operate on the lower 32.
1753 if (Op1h == 0 && OperatorClass > 1) {
1754 BuildMI(*MBB, IP, Opcode, 2, DestReg).addReg(Op0r).addReg(Op1r);
1755 if (OperatorClass != 2) // All but and
Misha Brukman2fec9902004-06-21 20:22:03 +00001756 BuildMI(*MBB, IP, PPC32::OR, 2,DestReg+1).addReg(Op0r+1).addReg(Op0r+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001757 else
Misha Brukman2fec9902004-06-21 20:22:03 +00001758 BuildMI(*MBB, IP, PPC32::ADDI, 2,DestReg+1).addReg(PPC32::R0).addImm(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001759 return;
1760 }
1761
1762 // TODO: We could handle lots of other special cases here, such as AND'ing
1763 // with 0xFFFFFFFF00000000 -> noop, etc.
1764
Misha Brukman2fec9902004-06-21 20:22:03 +00001765 BuildMI(*MBB, IP, BottomTab[OperatorClass], 2, DestReg).addReg(Op0r)
1766 .addImm(Op1r);
1767 BuildMI(*MBB, IP, TopTab[OperatorClass], 2, DestReg+1).addReg(Op0r+1)
1768 .addImm(Op1r+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001769 return;
1770 }
1771
1772 unsigned Op0r = getReg(Op0, MBB, IP);
1773 unsigned Op1r = getReg(Op1, MBB, IP);
1774
1775 if (Class != cLong) {
Misha Brukman422791f2004-06-21 17:41:12 +00001776 unsigned Opcode = OpcodeTab[OperatorClass];
1777 BuildMI(*MBB, IP, Opcode, 2, DestReg).addReg(Op0r).addReg(Op1r);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001778 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00001779 BuildMI(*MBB, IP, BottomTab[OperatorClass], 2, DestReg).addReg(Op0r)
1780 .addImm(Op1r);
1781 BuildMI(*MBB, IP, TopTab[OperatorClass], 2, DestReg+1).addReg(Op0r+1)
1782 .addImm(Op1r+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001783 }
1784 return;
1785}
1786
1787/// doMultiply - Emit appropriate instructions to multiply together the
1788/// registers op0Reg and op1Reg, and put the result in DestReg. The type of the
1789/// result should be given as DestTy.
1790///
1791void ISel::doMultiply(MachineBasicBlock *MBB, MachineBasicBlock::iterator MBBI,
1792 unsigned DestReg, const Type *DestTy,
1793 unsigned op0Reg, unsigned op1Reg) {
1794 unsigned Class = getClass(DestTy);
1795 switch (Class) {
1796 case cLong:
Misha Brukman2fec9902004-06-21 20:22:03 +00001797 BuildMI(*MBB, MBBI, PPC32::MULHW, 2, DestReg+1).addReg(op0Reg+1)
1798 .addReg(op1Reg+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001799 case cInt:
1800 case cShort:
1801 case cByte:
1802 BuildMI(*MBB, MBBI, PPC32::MULLW, 2, DestReg).addReg(op0Reg).addReg(op1Reg);
1803 return;
1804 default:
Misha Brukman422791f2004-06-21 17:41:12 +00001805 assert(0 && "doMultiply cannot operate on unknown type!");
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001806 }
1807}
1808
1809// ExactLog2 - This function solves for (Val == 1 << (N-1)) and returns N. It
1810// returns zero when the input is not exactly a power of two.
1811static unsigned ExactLog2(unsigned Val) {
1812 if (Val == 0 || (Val & (Val-1))) return 0;
1813 unsigned Count = 0;
1814 while (Val != 1) {
1815 Val >>= 1;
1816 ++Count;
1817 }
1818 return Count+1;
1819}
1820
1821
1822/// doMultiplyConst - This function is specialized to efficiently codegen an 8,
1823/// 16, or 32-bit integer multiply by a constant.
Misha Brukman2fec9902004-06-21 20:22:03 +00001824///
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001825void ISel::doMultiplyConst(MachineBasicBlock *MBB,
1826 MachineBasicBlock::iterator IP,
1827 unsigned DestReg, const Type *DestTy,
1828 unsigned op0Reg, unsigned ConstRHS) {
1829 unsigned Class = getClass(DestTy);
1830 // Handle special cases here.
1831 switch (ConstRHS) {
1832 case 0:
1833 BuildMI(*MBB, IP, PPC32::ADDI, 2, DestReg).addReg(PPC32::R0).addImm(0);
1834 return;
1835 case 1:
1836 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg).addReg(op0Reg).addReg(op0Reg);
1837 return;
1838 case 2:
1839 BuildMI(*MBB, IP, PPC32::ADD, 2,DestReg).addReg(op0Reg).addReg(op0Reg);
1840 return;
1841 }
1842
1843 // If the element size is exactly a power of 2, use a shift to get it.
1844 if (unsigned Shift = ExactLog2(ConstRHS)) {
1845 switch (Class) {
1846 default: assert(0 && "Unknown class for this function!");
1847 case cByte:
1848 case cShort:
1849 case cInt:
Misha Brukman2fec9902004-06-21 20:22:03 +00001850 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(op0Reg)
1851 .addImm(Shift-1).addImm(0).addImm(31-Shift-1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001852 return;
1853 }
1854 }
1855
1856 // Most general case, emit a normal multiply...
1857 unsigned TmpReg1 = makeAnotherReg(Type::IntTy);
1858 unsigned TmpReg2 = makeAnotherReg(Type::IntTy);
Misha Brukman2fec9902004-06-21 20:22:03 +00001859 BuildMI(*MBB, IP, PPC32::ADDIS, 2, TmpReg1).addReg(PPC32::R0)
1860 .addImm(ConstRHS >> 16);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001861 BuildMI(*MBB, IP, PPC32::ORI, 2, TmpReg2).addReg(TmpReg1).addImm(ConstRHS);
1862
1863 // Emit a MUL to multiply the register holding the index by
1864 // elementSize, putting the result in OffsetReg.
1865 doMultiply(MBB, IP, DestReg, DestTy, op0Reg, TmpReg2);
1866}
1867
1868void ISel::visitMul(BinaryOperator &I) {
1869 unsigned ResultReg = getReg(I);
1870
1871 Value *Op0 = I.getOperand(0);
1872 Value *Op1 = I.getOperand(1);
1873
1874 MachineBasicBlock::iterator IP = BB->end();
1875 emitMultiply(BB, IP, Op0, Op1, ResultReg);
1876}
1877
1878void ISel::emitMultiply(MachineBasicBlock *MBB, MachineBasicBlock::iterator IP,
1879 Value *Op0, Value *Op1, unsigned DestReg) {
1880 MachineBasicBlock &BB = *MBB;
1881 TypeClass Class = getClass(Op0->getType());
1882
1883 // Simple scalar multiply?
1884 unsigned Op0Reg = getReg(Op0, &BB, IP);
1885 switch (Class) {
1886 case cByte:
1887 case cShort:
1888 case cInt:
1889 if (ConstantInt *CI = dyn_cast<ConstantInt>(Op1)) {
1890 unsigned Val = (unsigned)CI->getRawValue(); // Isn't a 64-bit constant
1891 doMultiplyConst(&BB, IP, DestReg, Op0->getType(), Op0Reg, Val);
1892 } else {
1893 unsigned Op1Reg = getReg(Op1, &BB, IP);
1894 doMultiply(&BB, IP, DestReg, Op1->getType(), Op0Reg, Op1Reg);
1895 }
1896 return;
1897 case cFP:
1898 emitBinaryFPOperation(MBB, IP, Op0, Op1, 2, DestReg);
1899 return;
1900 case cLong:
1901 break;
1902 }
1903
1904 // Long value. We have to do things the hard way...
1905 if (ConstantInt *CI = dyn_cast<ConstantInt>(Op1)) {
1906 unsigned CLow = CI->getRawValue();
1907 unsigned CHi = CI->getRawValue() >> 32;
1908
1909 if (CLow == 0) {
1910 // If the low part of the constant is all zeros, things are simple.
1911 BuildMI(BB, IP, PPC32::ADDI, 2, DestReg).addReg(PPC32::R0).addImm(0);
1912 doMultiplyConst(&BB, IP, DestReg+1, Type::UIntTy, Op0Reg, CHi);
1913 return;
1914 }
1915
1916 // Multiply the two low parts
1917 unsigned OverflowReg = 0;
1918 if (CLow == 1) {
1919 BuildMI(BB, IP, PPC32::OR, 2, DestReg).addReg(Op0Reg).addReg(Op0Reg);
1920 } else {
Misha Brukman422791f2004-06-21 17:41:12 +00001921 unsigned TmpRegL = makeAnotherReg(Type::UIntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001922 unsigned Op1RegL = makeAnotherReg(Type::UIntTy);
1923 OverflowReg = makeAnotherReg(Type::UIntTy);
Misha Brukman2fec9902004-06-21 20:22:03 +00001924 BuildMI(BB, IP, PPC32::ADDIS, 2, TmpRegL).addReg(PPC32::R0)
1925 .addImm(CLow >> 16);
Misha Brukman422791f2004-06-21 17:41:12 +00001926 BuildMI(BB, IP, PPC32::ORI, 2, Op1RegL).addReg(TmpRegL).addImm(CLow);
1927 BuildMI(BB, IP, PPC32::MULLW, 2, DestReg).addReg(Op0Reg).addReg(Op1RegL);
Misha Brukman2fec9902004-06-21 20:22:03 +00001928 BuildMI(BB, IP, PPC32::MULHW, 2, OverflowReg).addReg(Op0Reg)
1929 .addReg(Op1RegL);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001930 }
1931
1932 unsigned AHBLReg = makeAnotherReg(Type::UIntTy);
1933 doMultiplyConst(&BB, IP, AHBLReg, Type::UIntTy, Op0Reg+1, CLow);
1934
1935 unsigned AHBLplusOverflowReg;
1936 if (OverflowReg) {
1937 AHBLplusOverflowReg = makeAnotherReg(Type::UIntTy);
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001938 BuildMI(BB, IP, PPC32::ADD, 2,
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001939 AHBLplusOverflowReg).addReg(AHBLReg).addReg(OverflowReg);
1940 } else {
1941 AHBLplusOverflowReg = AHBLReg;
1942 }
1943
1944 if (CHi == 0) {
Misha Brukman2fec9902004-06-21 20:22:03 +00001945 BuildMI(BB, IP, PPC32::OR, 2, DestReg+1).addReg(AHBLplusOverflowReg)
1946 .addReg(AHBLplusOverflowReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001947 } else {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001948 unsigned ALBHReg = makeAnotherReg(Type::UIntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001949 doMultiplyConst(&BB, IP, ALBHReg, Type::UIntTy, Op0Reg, CHi);
1950
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001951 BuildMI(BB, IP, PPC32::ADD, 2,
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001952 DestReg+1).addReg(AHBLplusOverflowReg).addReg(ALBHReg);
1953 }
1954 return;
1955 }
1956
1957 // General 64x64 multiply
1958
1959 unsigned Op1Reg = getReg(Op1, &BB, IP);
1960
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001961 // Multiply the two low parts...
1962 BuildMI(BB, IP, PPC32::MULLW, 2, DestReg).addReg(Op0Reg).addReg(Op1Reg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001963
1964 unsigned OverflowReg = makeAnotherReg(Type::UIntTy);
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001965 BuildMI(BB, IP, PPC32::MULHW, 2, OverflowReg).addReg(Op0Reg).addReg(Op1Reg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001966
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001967 unsigned AHBLReg = makeAnotherReg(Type::UIntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001968 BuildMI(BB, IP, PPC32::MULLW, 2, AHBLReg).addReg(Op0Reg+1).addReg(Op1Reg);
1969
1970 unsigned AHBLplusOverflowReg = makeAnotherReg(Type::UIntTy);
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001971 BuildMI(BB, IP, PPC32::ADD, 2, AHBLplusOverflowReg).addReg(AHBLReg)
1972 .addReg(OverflowReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001973
1974 unsigned ALBHReg = makeAnotherReg(Type::UIntTy); // AL*BH
1975 BuildMI(BB, IP, PPC32::MULLW, 2, ALBHReg).addReg(Op0Reg).addReg(Op1Reg+1);
1976
Misha Brukman14d8c7a2004-06-29 23:45:05 +00001977 BuildMI(BB, IP, PPC32::ADD, 2,
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001978 DestReg+1).addReg(AHBLplusOverflowReg).addReg(ALBHReg);
1979}
1980
1981
1982/// visitDivRem - Handle division and remainder instructions... these
1983/// instruction both require the same instructions to be generated, they just
1984/// select the result from a different register. Note that both of these
1985/// instructions work differently for signed and unsigned operands.
1986///
1987void ISel::visitDivRem(BinaryOperator &I) {
1988 unsigned ResultReg = getReg(I);
1989 Value *Op0 = I.getOperand(0), *Op1 = I.getOperand(1);
1990
1991 MachineBasicBlock::iterator IP = BB->end();
Misha Brukman2fec9902004-06-21 20:22:03 +00001992 emitDivRemOperation(BB, IP, Op0, Op1, I.getOpcode() == Instruction::Div,
1993 ResultReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00001994}
1995
1996void ISel::emitDivRemOperation(MachineBasicBlock *BB,
1997 MachineBasicBlock::iterator IP,
1998 Value *Op0, Value *Op1, bool isDiv,
1999 unsigned ResultReg) {
2000 const Type *Ty = Op0->getType();
2001 unsigned Class = getClass(Ty);
2002 switch (Class) {
2003 case cFP: // Floating point divide
2004 if (isDiv) {
2005 emitBinaryFPOperation(BB, IP, Op0, Op1, 3, ResultReg);
2006 return;
2007 } else { // Floating point remainder...
2008 unsigned Op0Reg = getReg(Op0, BB, IP);
2009 unsigned Op1Reg = getReg(Op1, BB, IP);
2010 MachineInstr *TheCall =
Misha Brukman0aa97c62004-07-08 18:27:59 +00002011 BuildMI(PPC32::CALLpcrel, 1).addGlobalAddress(fmodFn, true);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002012 std::vector<ValueRecord> Args;
2013 Args.push_back(ValueRecord(Op0Reg, Type::DoubleTy));
2014 Args.push_back(ValueRecord(Op1Reg, Type::DoubleTy));
Misha Brukmand18a31d2004-07-06 22:51:53 +00002015 doCall(ValueRecord(ResultReg, Type::DoubleTy), TheCall, Args, false);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002016 }
2017 return;
2018 case cLong: {
Misha Brukman0aa97c62004-07-08 18:27:59 +00002019 static Function* const Funcs[] =
2020 { __moddi3Fn, __divdi3Fn, __umoddi3Fn, __udivdi3Fn };
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002021 unsigned Op0Reg = getReg(Op0, BB, IP);
2022 unsigned Op1Reg = getReg(Op1, BB, IP);
2023 unsigned NameIdx = Ty->isUnsigned()*2 + isDiv;
2024 MachineInstr *TheCall =
Misha Brukman0aa97c62004-07-08 18:27:59 +00002025 BuildMI(PPC32::CALLpcrel, 1).addGlobalAddress(Funcs[NameIdx], true);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002026
2027 std::vector<ValueRecord> Args;
2028 Args.push_back(ValueRecord(Op0Reg, Type::LongTy));
2029 Args.push_back(ValueRecord(Op1Reg, Type::LongTy));
Misha Brukmand18a31d2004-07-06 22:51:53 +00002030 doCall(ValueRecord(ResultReg, Type::LongTy), TheCall, Args, false);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002031 return;
2032 }
2033 case cByte: case cShort: case cInt:
2034 break; // Small integrals, handled below...
2035 default: assert(0 && "Unknown class!");
2036 }
2037
2038 // Special case signed division by power of 2.
2039 if (isDiv)
2040 if (ConstantSInt *CI = dyn_cast<ConstantSInt>(Op1)) {
2041 assert(Class != cLong && "This doesn't handle 64-bit divides!");
2042 int V = CI->getValue();
2043
2044 if (V == 1) { // X /s 1 => X
2045 unsigned Op0Reg = getReg(Op0, BB, IP);
2046 BuildMI(*BB, IP, PPC32::OR, 2, ResultReg).addReg(Op0Reg).addReg(Op0Reg);
2047 return;
2048 }
2049
2050 if (V == -1) { // X /s -1 => -X
2051 unsigned Op0Reg = getReg(Op0, BB, IP);
2052 BuildMI(*BB, IP, PPC32::NEG, 1, ResultReg).addReg(Op0Reg);
2053 return;
2054 }
2055
2056 bool isNeg = false;
2057 if (V < 0) { // Not a positive power of 2?
2058 V = -V;
2059 isNeg = true; // Maybe it's a negative power of 2.
2060 }
2061 if (unsigned Log = ExactLog2(V)) {
2062 --Log;
2063 unsigned Op0Reg = getReg(Op0, BB, IP);
2064 unsigned TmpReg = makeAnotherReg(Op0->getType());
2065 if (Log != 1)
Misha Brukman2fec9902004-06-21 20:22:03 +00002066 BuildMI(*BB, IP, PPC32::SRAWI,2, TmpReg).addReg(Op0Reg).addImm(Log-1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002067 else
2068 BuildMI(*BB, IP, PPC32::OR, 2, TmpReg).addReg(Op0Reg).addReg(Op0Reg);
2069
2070 unsigned TmpReg2 = makeAnotherReg(Op0->getType());
Misha Brukman2fec9902004-06-21 20:22:03 +00002071 BuildMI(*BB, IP, PPC32::RLWINM, 4, TmpReg2).addReg(TmpReg).addImm(Log)
2072 .addImm(32-Log).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002073
2074 unsigned TmpReg3 = makeAnotherReg(Op0->getType());
2075 BuildMI(*BB, IP, PPC32::ADD, 2, TmpReg3).addReg(Op0Reg).addReg(TmpReg2);
2076
2077 unsigned TmpReg4 = isNeg ? makeAnotherReg(Op0->getType()) : ResultReg;
2078 BuildMI(*BB, IP, PPC32::SRAWI, 2, TmpReg4).addReg(Op0Reg).addImm(Log);
2079
2080 if (isNeg)
2081 BuildMI(*BB, IP, PPC32::NEG, 1, ResultReg).addReg(TmpReg4);
2082 return;
2083 }
2084 }
2085
2086 unsigned Op0Reg = getReg(Op0, BB, IP);
2087 unsigned Op1Reg = getReg(Op1, BB, IP);
2088
2089 if (isDiv) {
Misha Brukman422791f2004-06-21 17:41:12 +00002090 if (Ty->isSigned()) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002091 BuildMI(*BB, IP, PPC32::DIVW, 2, ResultReg).addReg(Op0Reg).addReg(Op1Reg);
Misha Brukman422791f2004-06-21 17:41:12 +00002092 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002093 BuildMI(*BB, IP,PPC32::DIVWU, 2, ResultReg).addReg(Op0Reg).addReg(Op1Reg);
Misha Brukman422791f2004-06-21 17:41:12 +00002094 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002095 } else { // Remainder
Misha Brukman422791f2004-06-21 17:41:12 +00002096 unsigned TmpReg1 = makeAnotherReg(Op0->getType());
2097 unsigned TmpReg2 = makeAnotherReg(Op0->getType());
2098
2099 if (Ty->isSigned()) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002100 BuildMI(*BB, IP, PPC32::DIVW, 2, TmpReg1).addReg(Op0Reg).addReg(Op1Reg);
Misha Brukman422791f2004-06-21 17:41:12 +00002101 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002102 BuildMI(*BB, IP, PPC32::DIVWU, 2, TmpReg1).addReg(Op0Reg).addReg(Op1Reg);
Misha Brukman422791f2004-06-21 17:41:12 +00002103 }
2104 BuildMI(*BB, IP, PPC32::MULLW, 2, TmpReg2).addReg(TmpReg1).addReg(Op1Reg);
2105 BuildMI(*BB, IP, PPC32::SUBF, 2, ResultReg).addReg(TmpReg2).addReg(Op0Reg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002106 }
2107}
2108
2109
2110/// Shift instructions: 'shl', 'sar', 'shr' - Some special cases here
2111/// for constant immediate shift values, and for constant immediate
2112/// shift values equal to 1. Even the general case is sort of special,
2113/// because the shift amount has to be in CL, not just any old register.
2114///
2115void ISel::visitShiftInst(ShiftInst &I) {
2116 MachineBasicBlock::iterator IP = BB->end ();
Misha Brukman2fec9902004-06-21 20:22:03 +00002117 emitShiftOperation(BB, IP, I.getOperand (0), I.getOperand (1),
2118 I.getOpcode () == Instruction::Shl, I.getType (),
2119 getReg (I));
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002120}
2121
2122/// emitShiftOperation - Common code shared between visitShiftInst and
2123/// constant expression support.
Misha Brukman2fec9902004-06-21 20:22:03 +00002124///
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002125void ISel::emitShiftOperation(MachineBasicBlock *MBB,
2126 MachineBasicBlock::iterator IP,
2127 Value *Op, Value *ShiftAmount, bool isLeftShift,
2128 const Type *ResultTy, unsigned DestReg) {
2129 unsigned SrcReg = getReg (Op, MBB, IP);
2130 bool isSigned = ResultTy->isSigned ();
2131 unsigned Class = getClass (ResultTy);
2132
2133 // Longs, as usual, are handled specially...
2134 if (Class == cLong) {
2135 // If we have a constant shift, we can generate much more efficient code
2136 // than otherwise...
2137 //
2138 if (ConstantUInt *CUI = dyn_cast<ConstantUInt>(ShiftAmount)) {
2139 unsigned Amount = CUI->getValue();
2140 if (Amount < 32) {
2141 if (isLeftShift) {
Misha Brukman422791f2004-06-21 17:41:12 +00002142 // FIXME: RLWIMI is a use-and-def of DestReg+1, but that violates SSA
Misha Brukman2fec9902004-06-21 20:22:03 +00002143 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg+1).addReg(SrcReg+1)
2144 .addImm(Amount).addImm(0).addImm(31-Amount);
2145 BuildMI(*MBB, IP, PPC32::RLWIMI, 5).addReg(DestReg+1).addReg(SrcReg)
2146 .addImm(Amount).addImm(32-Amount).addImm(31);
2147 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg)
2148 .addImm(Amount).addImm(0).addImm(31-Amount);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002149 } else {
Misha Brukman422791f2004-06-21 17:41:12 +00002150 // FIXME: RLWIMI is a use-and-def of DestReg, but that violates SSA
Misha Brukman2fec9902004-06-21 20:22:03 +00002151 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg)
2152 .addImm(32-Amount).addImm(Amount).addImm(31);
2153 BuildMI(*MBB, IP, PPC32::RLWIMI, 5).addReg(DestReg).addReg(SrcReg+1)
2154 .addImm(32-Amount).addImm(0).addImm(Amount-1);
2155 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg+1).addReg(SrcReg+1)
2156 .addImm(32-Amount).addImm(Amount).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002157 }
2158 } else { // Shifting more than 32 bits
2159 Amount -= 32;
2160 if (isLeftShift) {
2161 if (Amount != 0) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002162 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg+1).addReg(SrcReg)
2163 .addImm(Amount).addImm(0).addImm(31-Amount);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002164 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002165 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg+1).addReg(SrcReg)
2166 .addReg(SrcReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002167 }
Misha Brukman2fec9902004-06-21 20:22:03 +00002168 BuildMI(*MBB, IP, PPC32::ADDI, 2,DestReg).addReg(PPC32::R0).addImm(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002169 } else {
2170 if (Amount != 0) {
Misha Brukman422791f2004-06-21 17:41:12 +00002171 if (isSigned)
Misha Brukmanfadb82f2004-06-24 22:00:15 +00002172 BuildMI(*MBB, IP, PPC32::SRAWI, 2, DestReg).addReg(SrcReg+1)
2173 .addImm(Amount);
Misha Brukman422791f2004-06-21 17:41:12 +00002174 else
Misha Brukmanfadb82f2004-06-24 22:00:15 +00002175 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg+1)
2176 .addImm(32-Amount).addImm(Amount).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002177 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002178 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg).addReg(SrcReg+1)
2179 .addReg(SrcReg+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002180 }
Misha Brukman2fec9902004-06-21 20:22:03 +00002181 BuildMI(*MBB, IP,PPC32::ADDI,2,DestReg+1).addReg(PPC32::R0).addImm(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002182 }
2183 }
2184 } else {
2185 unsigned TmpReg1 = makeAnotherReg(Type::IntTy);
2186 unsigned TmpReg2 = makeAnotherReg(Type::IntTy);
Misha Brukman422791f2004-06-21 17:41:12 +00002187 unsigned TmpReg3 = makeAnotherReg(Type::IntTy);
2188 unsigned TmpReg4 = makeAnotherReg(Type::IntTy);
2189 unsigned TmpReg5 = makeAnotherReg(Type::IntTy);
2190 unsigned TmpReg6 = makeAnotherReg(Type::IntTy);
2191 unsigned ShiftAmountReg = getReg (ShiftAmount, MBB, IP);
2192
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002193 if (isLeftShift) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002194 BuildMI(*MBB, IP, PPC32::SUBFIC, 2, TmpReg1).addReg(ShiftAmountReg)
2195 .addImm(32);
2196 BuildMI(*MBB, IP, PPC32::SLW, 2, TmpReg2).addReg(SrcReg+1)
2197 .addReg(ShiftAmountReg);
2198 BuildMI(*MBB, IP, PPC32::SRW, 2,TmpReg3).addReg(SrcReg).addReg(TmpReg1);
2199 BuildMI(*MBB, IP, PPC32::OR, 2,TmpReg4).addReg(TmpReg2).addReg(TmpReg3);
2200 BuildMI(*MBB, IP, PPC32::ADDI, 2, TmpReg5).addReg(ShiftAmountReg)
2201 .addImm(-32);
2202 BuildMI(*MBB, IP, PPC32::SLW, 2,TmpReg6).addReg(SrcReg).addReg(TmpReg5);
2203 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg+1).addReg(TmpReg4)
2204 .addReg(TmpReg6);
2205 BuildMI(*MBB, IP, PPC32::SLW, 2, DestReg).addReg(SrcReg)
2206 .addReg(ShiftAmountReg);
Misha Brukman422791f2004-06-21 17:41:12 +00002207 } else {
2208 if (isSigned) {
Misha Brukman14d8c7a2004-06-29 23:45:05 +00002209 // FIXME: Unimplemented
Misha Brukman2fec9902004-06-21 20:22:03 +00002210 // Page C-3 of the PowerPC 32bit Programming Environments Manual
Misha Brukman14d8c7a2004-06-29 23:45:05 +00002211 std::cerr << "Unimplemented: signed right shift\n";
2212 abort();
Misha Brukman422791f2004-06-21 17:41:12 +00002213 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002214 BuildMI(*MBB, IP, PPC32::SUBFIC, 2, TmpReg1).addReg(ShiftAmountReg)
2215 .addImm(32);
2216 BuildMI(*MBB, IP, PPC32::SRW, 2, TmpReg2).addReg(SrcReg)
2217 .addReg(ShiftAmountReg);
2218 BuildMI(*MBB, IP, PPC32::SLW, 2, TmpReg3).addReg(SrcReg+1)
2219 .addReg(TmpReg1);
2220 BuildMI(*MBB, IP, PPC32::OR, 2, TmpReg4).addReg(TmpReg2)
2221 .addReg(TmpReg3);
2222 BuildMI(*MBB, IP, PPC32::ADDI, 2, TmpReg5).addReg(ShiftAmountReg)
2223 .addImm(-32);
2224 BuildMI(*MBB, IP, PPC32::SRW, 2, TmpReg6).addReg(SrcReg+1)
2225 .addReg(TmpReg5);
2226 BuildMI(*MBB, IP, PPC32::OR, 2, DestReg).addReg(TmpReg4)
2227 .addReg(TmpReg6);
2228 BuildMI(*MBB, IP, PPC32::SRW, 2, DestReg+1).addReg(SrcReg+1)
2229 .addReg(ShiftAmountReg);
Misha Brukman422791f2004-06-21 17:41:12 +00002230 }
2231 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002232 }
2233 return;
2234 }
2235
2236 if (ConstantUInt *CUI = dyn_cast<ConstantUInt>(ShiftAmount)) {
2237 // The shift amount is constant, guaranteed to be a ubyte. Get its value.
2238 assert(CUI->getType() == Type::UByteTy && "Shift amount not a ubyte?");
2239 unsigned Amount = CUI->getValue();
2240
Misha Brukman422791f2004-06-21 17:41:12 +00002241 if (isLeftShift) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002242 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg)
2243 .addImm(Amount).addImm(0).addImm(31-Amount);
Misha Brukman422791f2004-06-21 17:41:12 +00002244 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002245 if (isSigned) {
2246 BuildMI(*MBB, IP, PPC32::SRAWI,2,DestReg).addReg(SrcReg).addImm(Amount);
2247 } else {
2248 BuildMI(*MBB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg)
2249 .addImm(32-Amount).addImm(Amount).addImm(31);
2250 }
Misha Brukman422791f2004-06-21 17:41:12 +00002251 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002252 } else { // The shift amount is non-constant.
2253 unsigned ShiftAmountReg = getReg (ShiftAmount, MBB, IP);
2254
Misha Brukman422791f2004-06-21 17:41:12 +00002255 if (isLeftShift) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002256 BuildMI(*MBB, IP, PPC32::SLW, 2, DestReg).addReg(SrcReg)
2257 .addReg(ShiftAmountReg);
Misha Brukman422791f2004-06-21 17:41:12 +00002258 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002259 BuildMI(*MBB, IP, isSigned ? PPC32::SRAW : PPC32::SRW, 2, DestReg)
2260 .addReg(SrcReg).addReg(ShiftAmountReg);
Misha Brukman422791f2004-06-21 17:41:12 +00002261 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002262 }
2263}
2264
2265
2266/// visitLoadInst - Implement LLVM load instructions
2267///
2268void ISel::visitLoadInst(LoadInst &I) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002269 static const unsigned Opcodes[] = {
2270 PPC32::LBZ, PPC32::LHZ, PPC32::LWZ, PPC32::LFS
2271 };
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002272 unsigned Class = getClassB(I.getType());
2273 unsigned Opcode = Opcodes[Class];
2274 if (I.getType() == Type::DoubleTy) Opcode = PPC32::LFD;
2275
2276 unsigned DestReg = getReg(I);
2277
2278 if (AllocaInst *AI = dyn_castFixedAlloca(I.getOperand(0))) {
Misha Brukman422791f2004-06-21 17:41:12 +00002279 unsigned FI = getFixedSizedAllocaFI(AI);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002280 if (Class == cLong) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002281 addFrameReference(BuildMI(BB, PPC32::LWZ, 2, DestReg), FI);
2282 addFrameReference(BuildMI(BB, PPC32::LWZ, 2, DestReg+1), FI, 4);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002283 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002284 addFrameReference(BuildMI(BB, Opcode, 2, DestReg), FI);
Misha Brukman422791f2004-06-21 17:41:12 +00002285 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002286 } else {
Misha Brukman422791f2004-06-21 17:41:12 +00002287 unsigned SrcAddrReg = getReg(I.getOperand(0));
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002288
2289 if (Class == cLong) {
2290 BuildMI(BB, PPC32::LWZ, 2, DestReg).addImm(0).addReg(SrcAddrReg);
2291 BuildMI(BB, PPC32::LWZ, 2, DestReg+1).addImm(4).addReg(SrcAddrReg);
2292 } else {
2293 BuildMI(BB, Opcode, 2, DestReg).addImm(0).addReg(SrcAddrReg);
2294 }
2295 }
2296}
2297
2298/// visitStoreInst - Implement LLVM store instructions
2299///
2300void ISel::visitStoreInst(StoreInst &I) {
2301 unsigned ValReg = getReg(I.getOperand(0));
2302 unsigned AddressReg = getReg(I.getOperand(1));
2303
2304 const Type *ValTy = I.getOperand(0)->getType();
2305 unsigned Class = getClassB(ValTy);
2306
2307 if (Class == cLong) {
Misha Brukman422791f2004-06-21 17:41:12 +00002308 BuildMI(BB, PPC32::STW, 3).addReg(ValReg).addImm(0).addReg(AddressReg);
Misha Brukman2fec9902004-06-21 20:22:03 +00002309 BuildMI(BB, PPC32::STW, 3).addReg(ValReg+1).addImm(4).addReg(AddressReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002310 return;
2311 }
2312
2313 static const unsigned Opcodes[] = {
2314 PPC32::STB, PPC32::STH, PPC32::STW, PPC32::STFS
2315 };
2316 unsigned Opcode = Opcodes[Class];
2317 if (ValTy == Type::DoubleTy) Opcode = PPC32::STFD;
2318 BuildMI(BB, Opcode, 3).addReg(ValReg).addImm(0).addReg(AddressReg);
2319}
2320
2321
2322/// visitCastInst - Here we have various kinds of copying with or without sign
2323/// extension going on.
2324///
2325void ISel::visitCastInst(CastInst &CI) {
2326 Value *Op = CI.getOperand(0);
2327
2328 unsigned SrcClass = getClassB(Op->getType());
2329 unsigned DestClass = getClassB(CI.getType());
2330 // Noop casts are not emitted: getReg will return the source operand as the
2331 // register to use for any uses of the noop cast.
2332 if (DestClass == SrcClass)
2333 return;
2334
2335 // If this is a cast from a 32-bit integer to a Long type, and the only uses
2336 // of the case are GEP instructions, then the cast does not need to be
2337 // generated explicitly, it will be folded into the GEP.
2338 if (DestClass == cLong && SrcClass == cInt) {
2339 bool AllUsesAreGEPs = true;
2340 for (Value::use_iterator I = CI.use_begin(), E = CI.use_end(); I != E; ++I)
2341 if (!isa<GetElementPtrInst>(*I)) {
2342 AllUsesAreGEPs = false;
2343 break;
2344 }
2345
2346 // No need to codegen this cast if all users are getelementptr instrs...
2347 if (AllUsesAreGEPs) return;
2348 }
2349
2350 unsigned DestReg = getReg(CI);
2351 MachineBasicBlock::iterator MI = BB->end();
2352 emitCastOperation(BB, MI, Op, CI.getType(), DestReg);
2353}
2354
2355/// emitCastOperation - Common code shared between visitCastInst and constant
2356/// expression cast support.
2357///
2358void ISel::emitCastOperation(MachineBasicBlock *BB,
2359 MachineBasicBlock::iterator IP,
2360 Value *Src, const Type *DestTy,
2361 unsigned DestReg) {
2362 const Type *SrcTy = Src->getType();
2363 unsigned SrcClass = getClassB(SrcTy);
2364 unsigned DestClass = getClassB(DestTy);
2365 unsigned SrcReg = getReg(Src, BB, IP);
2366
2367 // Implement casts to bool by using compare on the operand followed by set if
2368 // not zero on the result.
2369 if (DestTy == Type::BoolTy) {
2370 switch (SrcClass) {
2371 case cByte:
Misha Brukman422791f2004-06-21 17:41:12 +00002372 case cShort:
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002373 case cInt: {
2374 unsigned TmpReg = makeAnotherReg(Type::IntTy);
Misha Brukman422791f2004-06-21 17:41:12 +00002375 BuildMI(*BB, IP, PPC32::ADDIC, 2, TmpReg).addReg(SrcReg).addImm(-1);
2376 BuildMI(*BB, IP, PPC32::SUBFE, 2, DestReg).addReg(TmpReg).addReg(SrcReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002377 break;
2378 }
2379 case cLong: {
2380 unsigned TmpReg = makeAnotherReg(Type::IntTy);
2381 unsigned SrcReg2 = makeAnotherReg(Type::IntTy);
2382 BuildMI(*BB, IP, PPC32::OR, 2, SrcReg2).addReg(SrcReg).addReg(SrcReg+1);
Misha Brukman422791f2004-06-21 17:41:12 +00002383 BuildMI(*BB, IP, PPC32::ADDIC, 2, TmpReg).addReg(SrcReg2).addImm(-1);
2384 BuildMI(*BB, IP, PPC32::SUBFE, 2, DestReg).addReg(TmpReg).addReg(SrcReg2);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002385 break;
2386 }
2387 case cFP:
2388 // FIXME
Misha Brukman422791f2004-06-21 17:41:12 +00002389 // Load -0.0
2390 // Compare
2391 // move to CR1
2392 // Negate -0.0
2393 // Compare
2394 // CROR
2395 // MFCR
2396 // Left-align
2397 // SRA ?
Misha Brukmand18a31d2004-07-06 22:51:53 +00002398 std::cerr << "Cast fp-to-bool not implemented!";
2399 abort();
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002400 }
2401 return;
2402 }
2403
2404 // Implement casts between values of the same type class (as determined by
2405 // getClass) by using a register-to-register move.
2406 if (SrcClass == DestClass) {
Misha Brukman422791f2004-06-21 17:41:12 +00002407 if (SrcClass <= cInt) {
2408 BuildMI(*BB, IP, PPC32::OR, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
2409 } else if (SrcClass == cFP && SrcTy == DestTy) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002410 BuildMI(*BB, IP, PPC32::FMR, 1, DestReg).addReg(SrcReg);
2411 } else if (SrcClass == cFP) {
2412 if (SrcTy == Type::FloatTy) { // float -> double
2413 assert(DestTy == Type::DoubleTy && "Unknown cFP member!");
2414 BuildMI(*BB, IP, PPC32::FMR, 1, DestReg).addReg(SrcReg);
2415 } else { // double -> float
2416 assert(SrcTy == Type::DoubleTy && DestTy == Type::FloatTy &&
2417 "Unknown cFP member!");
Misha Brukman422791f2004-06-21 17:41:12 +00002418 BuildMI(*BB, IP, PPC32::FRSP, 1, DestReg).addReg(SrcReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002419 }
2420 } else if (SrcClass == cLong) {
Misha Brukman422791f2004-06-21 17:41:12 +00002421 BuildMI(*BB, IP, PPC32::OR, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
Misha Brukman2fec9902004-06-21 20:22:03 +00002422 BuildMI(*BB, IP, PPC32::OR, 2, DestReg+1).addReg(SrcReg+1)
2423 .addReg(SrcReg+1);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002424 } else {
2425 assert(0 && "Cannot handle this type of cast instruction!");
2426 abort();
2427 }
2428 return;
2429 }
2430
2431 // Handle cast of SMALLER int to LARGER int using a move with sign extension
2432 // or zero extension, depending on whether the source type was signed.
2433 if (SrcClass <= cInt && (DestClass <= cInt || DestClass == cLong) &&
2434 SrcClass < DestClass) {
2435 bool isLong = DestClass == cLong;
2436 if (isLong) DestClass = cInt;
2437
2438 bool isUnsigned = SrcTy->isUnsigned() || SrcTy == Type::BoolTy;
2439 if (SrcClass < cInt) {
2440 if (isUnsigned) {
Misha Brukman422791f2004-06-21 17:41:12 +00002441 unsigned shift = (SrcClass == cByte) ? 24 : 16;
Misha Brukman2fec9902004-06-21 20:22:03 +00002442 BuildMI(*BB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg).addZImm(0)
2443 .addImm(shift).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002444 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002445 BuildMI(*BB, IP, (SrcClass == cByte) ? PPC32::EXTSB : PPC32::EXTSH,
2446 1, DestReg).addReg(SrcReg);
Misha Brukman422791f2004-06-21 17:41:12 +00002447 }
2448 } else {
2449 BuildMI(*BB, IP, PPC32::OR, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
2450 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002451
2452 if (isLong) { // Handle upper 32 bits as appropriate...
2453 if (isUnsigned) // Zero out top bits...
2454 BuildMI(*BB, IP, PPC32::ADDI, 2, DestReg+1).addReg(PPC32::R0).addImm(0);
2455 else // Sign extend bottom half...
2456 BuildMI(*BB, IP, PPC32::SRAWI, 2, DestReg+1).addReg(DestReg).addImm(31);
2457 }
2458 return;
2459 }
2460
2461 // Special case long -> int ...
2462 if (SrcClass == cLong && DestClass == cInt) {
2463 BuildMI(*BB, IP, PPC32::OR, 2, DestReg).addReg(SrcReg).addReg(SrcReg);
2464 return;
2465 }
2466
2467 // Handle cast of LARGER int to SMALLER int with a clear or sign extend
2468 if ((SrcClass <= cInt || SrcClass == cLong) && DestClass <= cInt
2469 && SrcClass > DestClass) {
2470 bool isUnsigned = SrcTy->isUnsigned() || SrcTy == Type::BoolTy;
Misha Brukman422791f2004-06-21 17:41:12 +00002471 if (isUnsigned) {
2472 unsigned shift = (SrcClass == cByte) ? 24 : 16;
Misha Brukman2fec9902004-06-21 20:22:03 +00002473 BuildMI(*BB, IP, PPC32::RLWINM, 4, DestReg).addReg(SrcReg).addZImm(0)
2474 .addImm(shift).addImm(31);
Misha Brukman422791f2004-06-21 17:41:12 +00002475 } else {
Misha Brukman2fec9902004-06-21 20:22:03 +00002476 BuildMI(*BB, IP, (SrcClass == cByte) ? PPC32::EXTSB : PPC32::EXTSH, 1,
2477 DestReg).addReg(SrcReg);
Misha Brukman422791f2004-06-21 17:41:12 +00002478 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002479 return;
2480 }
2481
2482 // Handle casts from integer to floating point now...
2483 if (DestClass == cFP) {
2484
Misha Brukman422791f2004-06-21 17:41:12 +00002485 // Emit a library call for long to float conversion
2486 if (SrcClass == cLong) {
2487 std::vector<ValueRecord> Args;
2488 Args.push_back(ValueRecord(SrcReg, SrcTy));
Misha Brukman2fec9902004-06-21 20:22:03 +00002489 MachineInstr *TheCall =
2490 BuildMI(PPC32::CALLpcrel, 1).addExternalSymbol("__floatdidf", true);
Misha Brukmand18a31d2004-07-06 22:51:53 +00002491 doCall(ValueRecord(DestReg, DestTy), TheCall, Args, false);
Misha Brukman422791f2004-06-21 17:41:12 +00002492 return;
2493 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002494
2495 unsigned TmpReg = makeAnotherReg(Type::IntTy);
Misha Brukman358829f2004-06-21 17:25:55 +00002496 switch (SrcTy->getTypeID()) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002497 case Type::BoolTyID:
2498 case Type::SByteTyID:
2499 BuildMI(*BB, IP, PPC32::EXTSB, 1, TmpReg).addReg(SrcReg);
2500 break;
2501 case Type::UByteTyID:
Misha Brukman2fec9902004-06-21 20:22:03 +00002502 BuildMI(*BB, IP, PPC32::RLWINM, 4, TmpReg).addReg(SrcReg).addZImm(0)
2503 .addImm(24).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002504 break;
2505 case Type::ShortTyID:
2506 BuildMI(*BB, IP, PPC32::EXTSB, 1, TmpReg).addReg(SrcReg);
2507 break;
2508 case Type::UShortTyID:
Misha Brukman2fec9902004-06-21 20:22:03 +00002509 BuildMI(*BB, IP, PPC32::RLWINM, 4, TmpReg).addReg(SrcReg).addZImm(0)
2510 .addImm(16).addImm(31);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002511 break;
Misha Brukman422791f2004-06-21 17:41:12 +00002512 case Type::IntTyID:
2513 BuildMI(*BB, IP, PPC32::OR, 2, TmpReg).addReg(SrcReg).addReg(SrcReg);
2514 break;
2515 case Type::UIntTyID:
2516 BuildMI(*BB, IP, PPC32::OR, 2, TmpReg).addReg(SrcReg).addReg(SrcReg);
2517 break;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002518 default: // No promotion needed...
2519 break;
2520 }
2521
2522 SrcReg = TmpReg;
Misha Brukman422791f2004-06-21 17:41:12 +00002523
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002524 // Spill the integer to memory and reload it from there.
Misha Brukman422791f2004-06-21 17:41:12 +00002525 // Also spill room for a special conversion constant
2526 int ConstantFrameIndex =
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002527 F->getFrameInfo()->CreateStackObject(Type::DoubleTy, TM.getTargetData());
2528 int ValueFrameIdx =
2529 F->getFrameInfo()->CreateStackObject(Type::DoubleTy, TM.getTargetData());
2530
Misha Brukman422791f2004-06-21 17:41:12 +00002531 unsigned constantHi = makeAnotherReg(Type::IntTy);
2532 unsigned constantLo = makeAnotherReg(Type::IntTy);
2533 unsigned ConstF = makeAnotherReg(Type::DoubleTy);
2534 unsigned TempF = makeAnotherReg(Type::DoubleTy);
2535
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002536 if (!SrcTy->isSigned()) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002537 BuildMI(*BB, IP, PPC32::ADDIS, 2, constantHi).addReg(PPC32::R0)
2538 .addImm(0x4330);
Misha Brukman422791f2004-06-21 17:41:12 +00002539 BuildMI(*BB, IP, PPC32::ADDI, 2, constantLo).addReg(PPC32::R0).addImm(0);
Misha Brukman2fec9902004-06-21 20:22:03 +00002540 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(constantHi),
2541 ConstantFrameIndex);
2542 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(constantLo),
2543 ConstantFrameIndex, 4);
2544 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(constantHi),
2545 ValueFrameIdx);
2546 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(SrcReg),
2547 ValueFrameIdx, 4);
2548 addFrameReference(BuildMI(*BB, IP, PPC32::LFD, 2, ConstF),
2549 ConstantFrameIndex);
Misha Brukman422791f2004-06-21 17:41:12 +00002550 addFrameReference(BuildMI(*BB, IP, PPC32::LFD, 2, TempF), ValueFrameIdx);
2551 BuildMI(*BB, IP, PPC32::FSUB, 2, DestReg).addReg(TempF).addReg(ConstF);
2552 } else {
2553 unsigned TempLo = makeAnotherReg(Type::IntTy);
Misha Brukman2fec9902004-06-21 20:22:03 +00002554 BuildMI(*BB, IP, PPC32::ADDIS, 2, constantHi).addReg(PPC32::R0)
2555 .addImm(0x4330);
2556 BuildMI(*BB, IP, PPC32::ADDIS, 2, constantLo).addReg(PPC32::R0)
2557 .addImm(0x8000);
2558 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(constantHi),
2559 ConstantFrameIndex);
2560 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(constantLo),
2561 ConstantFrameIndex, 4);
2562 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(constantHi),
2563 ValueFrameIdx);
Misha Brukman422791f2004-06-21 17:41:12 +00002564 BuildMI(*BB, IP, PPC32::XORIS, 2, TempLo).addReg(SrcReg).addImm(0x8000);
Misha Brukman2fec9902004-06-21 20:22:03 +00002565 addFrameReference(BuildMI(*BB, IP, PPC32::STW, 3).addReg(TempLo),
2566 ValueFrameIdx, 4);
2567 addFrameReference(BuildMI(*BB, IP, PPC32::LFD, 2, ConstF),
2568 ConstantFrameIndex);
Misha Brukman422791f2004-06-21 17:41:12 +00002569 addFrameReference(BuildMI(*BB, IP, PPC32::LFD, 2, TempF), ValueFrameIdx);
Misha Brukman2fec9902004-06-21 20:22:03 +00002570 BuildMI(*BB, IP, PPC32::FSUB, 2, DestReg).addReg(TempF ).addReg(ConstF);
Misha Brukman422791f2004-06-21 17:41:12 +00002571 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002572 return;
2573 }
2574
2575 // Handle casts from floating point to integer now...
2576 if (SrcClass == cFP) {
2577
Misha Brukman422791f2004-06-21 17:41:12 +00002578 // emit library call
2579 if (DestClass == cLong) {
2580 std::vector<ValueRecord> Args;
2581 Args.push_back(ValueRecord(SrcReg, SrcTy));
Misha Brukman2fec9902004-06-21 20:22:03 +00002582 MachineInstr *TheCall =
2583 BuildMI(PPC32::CALLpcrel, 1).addExternalSymbol("__fixdfdi", true);
Misha Brukmand18a31d2004-07-06 22:51:53 +00002584 doCall(ValueRecord(DestReg, DestTy), TheCall, Args, false);
Misha Brukman422791f2004-06-21 17:41:12 +00002585 return;
2586 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002587
2588 int ValueFrameIdx =
2589 F->getFrameInfo()->CreateStackObject(Type::DoubleTy, TM.getTargetData());
2590
Misha Brukman422791f2004-06-21 17:41:12 +00002591 // load into 32 bit value, and then truncate as necessary
2592 // FIXME: This is wrong for unsigned dest types
2593 //if (DestTy->isSigned()) {
2594 unsigned TempReg = makeAnotherReg(Type::DoubleTy);
2595 BuildMI(*BB, IP, PPC32::FCTIWZ, 1, TempReg).addReg(SrcReg);
Misha Brukman2fec9902004-06-21 20:22:03 +00002596 addFrameReference(BuildMI(*BB, IP, PPC32::STFD, 3)
2597 .addReg(TempReg), ValueFrameIdx);
2598 addFrameReference(BuildMI(*BB, IP, PPC32::LWZ, 2, DestReg),
2599 ValueFrameIdx+4);
Misha Brukman422791f2004-06-21 17:41:12 +00002600 //} else {
2601 //}
2602
2603 // FIXME: Truncate return value
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002604 return;
2605 }
2606
2607 // Anything we haven't handled already, we can't (yet) handle at all.
2608 assert(0 && "Unhandled cast instruction!");
2609 abort();
2610}
2611
2612/// visitVANextInst - Implement the va_next instruction...
2613///
2614void ISel::visitVANextInst(VANextInst &I) {
2615 unsigned VAList = getReg(I.getOperand(0));
2616 unsigned DestReg = getReg(I);
2617
2618 unsigned Size;
Misha Brukman358829f2004-06-21 17:25:55 +00002619 switch (I.getArgType()->getTypeID()) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002620 default:
2621 std::cerr << I;
2622 assert(0 && "Error: bad type for va_next instruction!");
2623 return;
2624 case Type::PointerTyID:
2625 case Type::UIntTyID:
2626 case Type::IntTyID:
2627 Size = 4;
2628 break;
2629 case Type::ULongTyID:
2630 case Type::LongTyID:
2631 case Type::DoubleTyID:
2632 Size = 8;
2633 break;
2634 }
2635
2636 // Increment the VAList pointer...
2637 BuildMI(BB, PPC32::ADDI, 2, DestReg).addReg(VAList).addImm(Size);
2638}
2639
2640void ISel::visitVAArgInst(VAArgInst &I) {
2641 unsigned VAList = getReg(I.getOperand(0));
2642 unsigned DestReg = getReg(I);
2643
Misha Brukman358829f2004-06-21 17:25:55 +00002644 switch (I.getType()->getTypeID()) {
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002645 default:
2646 std::cerr << I;
2647 assert(0 && "Error: bad type for va_next instruction!");
2648 return;
2649 case Type::PointerTyID:
2650 case Type::UIntTyID:
2651 case Type::IntTyID:
2652 BuildMI(BB, PPC32::LWZ, 2, DestReg).addImm(0).addReg(VAList);
2653 break;
2654 case Type::ULongTyID:
2655 case Type::LongTyID:
2656 BuildMI(BB, PPC32::LWZ, 2, DestReg).addImm(0).addReg(VAList);
2657 BuildMI(BB, PPC32::LWZ, 2, DestReg+1).addImm(4).addReg(VAList);
2658 break;
2659 case Type::DoubleTyID:
2660 BuildMI(BB, PPC32::LFD, 2, DestReg).addImm(0).addReg(VAList);
2661 break;
2662 }
2663}
2664
2665/// visitGetElementPtrInst - instruction-select GEP instructions
2666///
2667void ISel::visitGetElementPtrInst(GetElementPtrInst &I) {
2668 unsigned outputReg = getReg(I);
Misha Brukman2fec9902004-06-21 20:22:03 +00002669 emitGEPOperation(BB, BB->end(), I.getOperand(0), I.op_begin()+1, I.op_end(),
2670 outputReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002671}
2672
2673void ISel::emitGEPOperation(MachineBasicBlock *MBB,
2674 MachineBasicBlock::iterator IP,
2675 Value *Src, User::op_iterator IdxBegin,
2676 User::op_iterator IdxEnd, unsigned TargetReg) {
2677 const TargetData &TD = TM.getTargetData();
2678 if (ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(Src))
2679 Src = CPR->getValue();
2680
2681 std::vector<Value*> GEPOps;
2682 GEPOps.resize(IdxEnd-IdxBegin+1);
2683 GEPOps[0] = Src;
2684 std::copy(IdxBegin, IdxEnd, GEPOps.begin()+1);
2685
2686 std::vector<const Type*> GEPTypes;
2687 GEPTypes.assign(gep_type_begin(Src->getType(), IdxBegin, IdxEnd),
2688 gep_type_end(Src->getType(), IdxBegin, IdxEnd));
2689
2690 // Keep emitting instructions until we consume the entire GEP instruction.
Misha Brukman14d8c7a2004-06-29 23:45:05 +00002691 while (!GEPOps.empty()) {
2692 if (GEPTypes.empty()) {
2693 // Load the base pointer into a register.
2694 unsigned Reg = getReg(Src, MBB, IP);
2695 BuildMI(*MBB, IP, PPC32::OR, 2, TargetReg).addReg(Reg).addReg(Reg);
2696 break; // we are now done
2697 }
Misha Brukman2fec9902004-06-21 20:22:03 +00002698 // It's an array or pointer access: [ArraySize x ElementType].
2699 const SequentialType *SqTy = cast<SequentialType>(GEPTypes.back());
2700 Value *idx = GEPOps.back();
2701 GEPOps.pop_back(); // Consume a GEP operand
2702 GEPTypes.pop_back();
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002703
Misha Brukman2fec9902004-06-21 20:22:03 +00002704 // Many GEP instructions use a [cast (int/uint) to LongTy] as their
Misha Brukman14d8c7a2004-06-29 23:45:05 +00002705 // operand. Handle this case directly now...
Misha Brukman2fec9902004-06-21 20:22:03 +00002706 if (CastInst *CI = dyn_cast<CastInst>(idx))
2707 if (CI->getOperand(0)->getType() == Type::IntTy ||
2708 CI->getOperand(0)->getType() == Type::UIntTy)
2709 idx = CI->getOperand(0);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002710
Misha Brukman2fec9902004-06-21 20:22:03 +00002711 // We want to add BaseReg to(idxReg * sizeof ElementType). First, we
2712 // must find the size of the pointed-to type (Not coincidentally, the next
2713 // type is the type of the elements in the array).
2714 const Type *ElTy = SqTy->getElementType();
2715 unsigned elementSize = TD.getTypeSize(ElTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002716
Misha Brukman14d8c7a2004-06-29 23:45:05 +00002717 if (idx == Constant::getNullValue(idx->getType())) {
2718 // GEP with idx 0 is a no-op
2719 } else if (elementSize == 1) {
Misha Brukman2fec9902004-06-21 20:22:03 +00002720 // If the element size is 1, we don't have to multiply, just add
2721 unsigned idxReg = getReg(idx, MBB, IP);
2722 unsigned Reg = makeAnotherReg(Type::UIntTy);
2723 BuildMI(*MBB, IP, PPC32::ADD, 2,TargetReg).addReg(Reg).addReg(idxReg);
2724 --IP; // Insert the next instruction before this one.
2725 TargetReg = Reg; // Codegen the rest of the GEP into this
2726 } else {
2727 unsigned idxReg = getReg(idx, MBB, IP);
2728 unsigned OffsetReg = makeAnotherReg(Type::UIntTy);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002729
Misha Brukman2fec9902004-06-21 20:22:03 +00002730 // Make sure we can back the iterator up to point to the first
2731 // instruction emitted.
2732 MachineBasicBlock::iterator BeforeIt = IP;
2733 if (IP == MBB->begin())
2734 BeforeIt = MBB->end();
2735 else
2736 --BeforeIt;
2737 doMultiplyConst(MBB, IP, OffsetReg, Type::IntTy, idxReg, elementSize);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002738
Misha Brukman2fec9902004-06-21 20:22:03 +00002739 // Emit an ADD to add OffsetReg to the basePtr.
2740 unsigned Reg = makeAnotherReg(Type::UIntTy);
2741 BuildMI(*MBB, IP, PPC32::ADD, 2, TargetReg).addReg(Reg).addReg(OffsetReg);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002742
Misha Brukman2fec9902004-06-21 20:22:03 +00002743 // Step to the first instruction of the multiply.
2744 if (BeforeIt == MBB->end())
2745 IP = MBB->begin();
2746 else
2747 IP = ++BeforeIt;
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002748
Misha Brukman2fec9902004-06-21 20:22:03 +00002749 TargetReg = Reg; // Codegen the rest of the GEP into this
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002750 }
Misha Brukman2fec9902004-06-21 20:22:03 +00002751 }
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002752}
2753
2754/// visitAllocaInst - If this is a fixed size alloca, allocate space from the
2755/// frame manager, otherwise do it the hard way.
2756///
2757void ISel::visitAllocaInst(AllocaInst &I) {
2758 // If this is a fixed size alloca in the entry block for the function, we
2759 // statically stack allocate the space, so we don't need to do anything here.
2760 //
2761 if (dyn_castFixedAlloca(&I)) return;
2762
2763 // Find the data size of the alloca inst's getAllocatedType.
2764 const Type *Ty = I.getAllocatedType();
2765 unsigned TySize = TM.getTargetData().getTypeSize(Ty);
2766
2767 // Create a register to hold the temporary result of multiplying the type size
2768 // constant by the variable amount.
2769 unsigned TotalSizeReg = makeAnotherReg(Type::UIntTy);
2770 unsigned SrcReg1 = getReg(I.getArraySize());
2771
2772 // TotalSizeReg = mul <numelements>, <TypeSize>
2773 MachineBasicBlock::iterator MBBI = BB->end();
2774 doMultiplyConst(BB, MBBI, TotalSizeReg, Type::UIntTy, SrcReg1, TySize);
2775
2776 // AddedSize = add <TotalSizeReg>, 15
2777 unsigned AddedSizeReg = makeAnotherReg(Type::UIntTy);
2778 BuildMI(BB, PPC32::ADD, 2, AddedSizeReg).addReg(TotalSizeReg).addImm(15);
2779
2780 // AlignedSize = and <AddedSize>, ~15
2781 unsigned AlignedSize = makeAnotherReg(Type::UIntTy);
Misha Brukman2fec9902004-06-21 20:22:03 +00002782 BuildMI(BB, PPC32::RLWNM, 4, AlignedSize).addReg(AddedSizeReg).addImm(0)
2783 .addImm(0).addImm(27);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002784
2785 // Subtract size from stack pointer, thereby allocating some space.
2786 BuildMI(BB, PPC32::SUB, 2, PPC32::R1).addReg(PPC32::R1).addReg(AlignedSize);
2787
2788 // Put a pointer to the space into the result register, by copying
2789 // the stack pointer.
2790 BuildMI(BB, PPC32::OR, 2, getReg(I)).addReg(PPC32::R1).addReg(PPC32::R1);
2791
2792 // Inform the Frame Information that we have just allocated a variable-sized
2793 // object.
2794 F->getFrameInfo()->CreateVariableSizedObject();
2795}
2796
2797/// visitMallocInst - Malloc instructions are code generated into direct calls
2798/// to the library malloc.
2799///
2800void ISel::visitMallocInst(MallocInst &I) {
2801 unsigned AllocSize = TM.getTargetData().getTypeSize(I.getAllocatedType());
2802 unsigned Arg;
2803
2804 if (ConstantUInt *C = dyn_cast<ConstantUInt>(I.getOperand(0))) {
2805 Arg = getReg(ConstantUInt::get(Type::UIntTy, C->getValue() * AllocSize));
2806 } else {
2807 Arg = makeAnotherReg(Type::UIntTy);
2808 unsigned Op0Reg = getReg(I.getOperand(0));
2809 MachineBasicBlock::iterator MBBI = BB->end();
2810 doMultiplyConst(BB, MBBI, Arg, Type::UIntTy, Op0Reg, AllocSize);
2811 }
2812
2813 std::vector<ValueRecord> Args;
2814 Args.push_back(ValueRecord(Arg, Type::UIntTy));
Misha Brukman2fec9902004-06-21 20:22:03 +00002815 MachineInstr *TheCall =
2816 BuildMI(PPC32::CALLpcrel, 1).addExternalSymbol("malloc", true);
Misha Brukmand18a31d2004-07-06 22:51:53 +00002817 doCall(ValueRecord(getReg(I), I.getType()), TheCall, Args, false);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002818}
2819
2820
2821/// visitFreeInst - Free instructions are code gen'd to call the free libc
2822/// function.
2823///
2824void ISel::visitFreeInst(FreeInst &I) {
2825 std::vector<ValueRecord> Args;
2826 Args.push_back(ValueRecord(I.getOperand(0)));
Misha Brukman2fec9902004-06-21 20:22:03 +00002827 MachineInstr *TheCall =
2828 BuildMI(PPC32::CALLpcrel, 1).addExternalSymbol("free", true);
Misha Brukmand18a31d2004-07-06 22:51:53 +00002829 doCall(ValueRecord(0, Type::VoidTy), TheCall, Args, false);
Misha Brukman5dfe3a92004-06-21 16:55:25 +00002830}
2831
2832/// createPPC32SimpleInstructionSelector - This pass converts an LLVM function
2833/// into a machine code representation is a very simple peep-hole fashion. The
2834/// generated code sucks but the implementation is nice and simple.
2835///
2836FunctionPass *llvm::createPPCSimpleInstructionSelector(TargetMachine &TM) {
2837 return new ISel(TM);
2838}