Support shr long/ulong.
[oota-llvm.git] / lib / Target / Sparc / SparcV8ISelSimple.cpp
1 //===-- InstSelectSimple.cpp - A simple instruction selector for SparcV8 --===//
2 // 
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
7 // 
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines a simple peephole instruction selector for the V8 target
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "SparcV8.h"
15 #include "SparcV8InstrInfo.h"
16 #include "llvm/Support/Debug.h"
17 #include "llvm/Instructions.h"
18 #include "llvm/Pass.h"
19 #include "llvm/Constants.h"
20 #include "llvm/CodeGen/IntrinsicLowering.h"
21 #include "llvm/CodeGen/MachineInstrBuilder.h"
22 #include "llvm/CodeGen/MachineFrameInfo.h"
23 #include "llvm/CodeGen/MachineConstantPool.h"
24 #include "llvm/CodeGen/MachineFunction.h"
25 #include "llvm/CodeGen/SSARegMap.h"
26 #include "llvm/Target/TargetMachine.h"
27 #include "llvm/Support/GetElementPtrTypeIterator.h"
28 #include "llvm/Support/InstVisitor.h"
29 #include "llvm/Support/CFG.h"
30 using namespace llvm;
31
32 namespace {
33   struct V8ISel : public FunctionPass, public InstVisitor<V8ISel> {
34     TargetMachine &TM;
35     MachineFunction *F;                 // The function we are compiling into
36     MachineBasicBlock *BB;              // The current MBB we are compiling
37     int VarArgsOffset;                  // Offset from fp for start of varargs area
38
39     std::map<Value*, unsigned> RegMap;  // Mapping between Val's and SSA Regs
40
41     // MBBMap - Mapping between LLVM BB -> Machine BB
42     std::map<const BasicBlock*, MachineBasicBlock*> MBBMap;
43
44     V8ISel(TargetMachine &tm) : TM(tm), F(0), BB(0) {}
45
46     /// runOnFunction - Top level implementation of instruction selection for
47     /// the entire function.
48     ///
49     bool runOnFunction(Function &Fn);
50
51     virtual const char *getPassName() const {
52       return "SparcV8 Simple Instruction Selection";
53     }
54
55     /// emitGEPOperation - Common code shared between visitGetElementPtrInst and
56     /// constant expression GEP support.
57     ///
58     void emitGEPOperation(MachineBasicBlock *BB, MachineBasicBlock::iterator IP,
59                           Value *Src, User::op_iterator IdxBegin,
60                           User::op_iterator IdxEnd, unsigned TargetReg);
61
62     /// emitCastOperation - Common code shared between visitCastInst and
63     /// constant expression cast support.
64     ///
65     void emitCastOperation(MachineBasicBlock *BB,MachineBasicBlock::iterator IP,
66                            Value *Src, const Type *DestTy, unsigned TargetReg);
67
68     /// emitIntegerCast, emitFPToIntegerCast - Helper methods for
69     /// emitCastOperation.
70     ///
71     unsigned emitIntegerCast (MachineBasicBlock *BB,
72                               MachineBasicBlock::iterator IP,
73                               const Type *oldTy, unsigned SrcReg,
74                               const Type *newTy, unsigned DestReg);
75     void emitFPToIntegerCast (MachineBasicBlock *BB,
76                               MachineBasicBlock::iterator IP, const Type *oldTy,
77                               unsigned SrcReg, const Type *newTy,
78                               unsigned DestReg);
79
80     /// visitBasicBlock - This method is called when we are visiting a new basic
81     /// block.  This simply creates a new MachineBasicBlock to emit code into
82     /// and adds it to the current MachineFunction.  Subsequent visit* for
83     /// instructions will be invoked for all instructions in the basic block.
84     ///
85     void visitBasicBlock(BasicBlock &LLVM_BB) {
86       BB = MBBMap[&LLVM_BB];
87     }
88
89     void emitOp64LibraryCall (MachineBasicBlock *MBB,
90                               MachineBasicBlock::iterator IP,
91                               unsigned DestReg, const char *FuncName,
92                               unsigned Op0Reg, unsigned Op1Reg);
93     void emitShift64 (MachineBasicBlock *MBB, MachineBasicBlock::iterator IP,
94                       Instruction &I, unsigned DestReg, unsigned Op0Reg,
95                       unsigned Op1Reg);
96     void visitBinaryOperator(Instruction &I);
97     void visitShiftInst (ShiftInst &SI) { visitBinaryOperator (SI); }
98     void visitSetCondInst(SetCondInst &I);
99     void visitCallInst(CallInst &I);
100     void visitReturnInst(ReturnInst &I);
101     void visitBranchInst(BranchInst &I);
102     void visitUnreachableInst(UnreachableInst &I) {}
103     void visitCastInst(CastInst &I);
104     void visitVANextInst(VANextInst &I);
105     void visitVAArgInst(VAArgInst &I);
106     void visitLoadInst(LoadInst &I);
107     void visitStoreInst(StoreInst &I);
108     void visitPHINode(PHINode &I) {}      // PHI nodes handled by second pass
109     void visitGetElementPtrInst(GetElementPtrInst &I);
110     void visitAllocaInst(AllocaInst &I);
111
112     void visitInstruction(Instruction &I) {
113       std::cerr << "Unhandled instruction: " << I;
114       abort();
115     }
116
117     /// LowerUnknownIntrinsicFunctionCalls - This performs a prepass over the
118     /// function, lowering any calls to unknown intrinsic functions into the
119     /// equivalent LLVM code.
120     void LowerUnknownIntrinsicFunctionCalls(Function &F);
121     void visitIntrinsicCall(Intrinsic::ID ID, CallInst &CI);
122
123     void LoadArgumentsToVirtualRegs(Function *F);
124
125     /// SelectPHINodes - Insert machine code to generate phis.  This is tricky
126     /// because we have to generate our sources into the source basic blocks,
127     /// not the current one.
128     ///
129     void SelectPHINodes();
130
131     /// copyConstantToRegister - Output the instructions required to put the
132     /// specified constant into the specified register.
133     ///
134     void copyConstantToRegister(MachineBasicBlock *MBB,
135                                 MachineBasicBlock::iterator IP,
136                                 Constant *C, unsigned R);
137
138     /// makeAnotherReg - This method returns the next register number we haven't
139     /// yet used.
140     ///
141     /// Long values are handled somewhat specially.  They are always allocated
142     /// as pairs of 32 bit integer values.  The register number returned is the
143     /// lower 32 bits of the long value, and the regNum+1 is the upper 32 bits
144     /// of the long value.
145     ///
146     unsigned makeAnotherReg(const Type *Ty) {
147       assert(dynamic_cast<const SparcV8RegisterInfo*>(TM.getRegisterInfo()) &&
148              "Current target doesn't have SparcV8 reg info??");
149       const SparcV8RegisterInfo *MRI =
150         static_cast<const SparcV8RegisterInfo*>(TM.getRegisterInfo());
151       if (Ty == Type::LongTy || Ty == Type::ULongTy) {
152         const TargetRegisterClass *RC = MRI->getRegClassForType(Type::IntTy);
153         // Create the lower part
154         F->getSSARegMap()->createVirtualRegister(RC);
155         // Create the upper part.
156         return F->getSSARegMap()->createVirtualRegister(RC)-1;
157       }
158
159       // Add the mapping of regnumber => reg class to MachineFunction
160       const TargetRegisterClass *RC = MRI->getRegClassForType(Ty);
161       return F->getSSARegMap()->createVirtualRegister(RC);
162     }
163
164     unsigned getReg(Value &V) { return getReg (&V); } // allow refs.
165     unsigned getReg(Value *V) {
166       // Just append to the end of the current bb.
167       MachineBasicBlock::iterator It = BB->end();
168       return getReg(V, BB, It);
169     }
170     unsigned getReg(Value *V, MachineBasicBlock *MBB,
171                     MachineBasicBlock::iterator IPt) {
172       unsigned &Reg = RegMap[V];
173       if (Reg == 0) {
174         Reg = makeAnotherReg(V->getType());
175         RegMap[V] = Reg;
176       }
177       // If this operand is a constant, emit the code to copy the constant into
178       // the register here...
179       //
180       if (Constant *C = dyn_cast<Constant>(V)) {
181         copyConstantToRegister(MBB, IPt, C, Reg);
182         RegMap.erase(V);  // Assign a new name to this constant if ref'd again
183       } else if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
184         // Move the address of the global into the register
185         unsigned TmpReg = makeAnotherReg(V->getType());
186         BuildMI (*MBB, IPt, V8::SETHIi, 1, TmpReg).addGlobalAddress (GV);
187         BuildMI (*MBB, IPt, V8::ORri, 2, Reg).addReg (TmpReg)
188           .addGlobalAddress (GV);
189         RegMap.erase(V);  // Assign a new name to this address if ref'd again
190       }
191
192       return Reg;
193     }
194
195   };
196 }
197
198 FunctionPass *llvm::createSparcV8SimpleInstructionSelector(TargetMachine &TM) {
199   return new V8ISel(TM);
200 }
201
202 enum TypeClass {
203   cByte, cShort, cInt, cLong, cFloat, cDouble
204 };
205
206 static TypeClass getClass (const Type *T) {
207   switch (T->getTypeID()) {
208     case Type::UByteTyID:  case Type::SByteTyID:  return cByte;
209     case Type::UShortTyID: case Type::ShortTyID:  return cShort;
210     case Type::PointerTyID:
211     case Type::UIntTyID:   case Type::IntTyID:    return cInt;
212     case Type::ULongTyID:  case Type::LongTyID:   return cLong;
213     case Type::FloatTyID:                         return cFloat;
214     case Type::DoubleTyID:                        return cDouble;
215     default:
216       assert (0 && "Type of unknown class passed to getClass?");
217       return cByte;
218   }
219 }
220
221 static TypeClass getClassB(const Type *T) {
222   if (T == Type::BoolTy) return cByte;
223   return getClass(T);
224 }
225
226 /// copyConstantToRegister - Output the instructions required to put the
227 /// specified constant into the specified register.
228 ///
229 void V8ISel::copyConstantToRegister(MachineBasicBlock *MBB,
230                                     MachineBasicBlock::iterator IP,
231                                     Constant *C, unsigned R) {
232   if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C)) {
233     switch (CE->getOpcode()) {
234     case Instruction::GetElementPtr:
235       emitGEPOperation(MBB, IP, CE->getOperand(0),
236                        CE->op_begin()+1, CE->op_end(), R);
237       return;
238     case Instruction::Cast:
239       emitCastOperation(MBB, IP, CE->getOperand(0), CE->getType(), R);
240       return;
241     default:
242       std::cerr << "Copying this constant expr not yet handled: " << *CE;
243       abort();
244     }
245   } else if (isa<UndefValue>(C)) {
246     BuildMI(*MBB, IP, V8::IMPLICIT_DEF, 0, R);
247     if (getClassB (C->getType ()) == cLong)
248       BuildMI(*MBB, IP, V8::IMPLICIT_DEF, 0, R+1);
249     return;
250   }
251
252   if (C->getType()->isIntegral ()) {
253     uint64_t Val;
254     unsigned Class = getClassB (C->getType ());
255     if (Class == cLong) {
256       unsigned TmpReg = makeAnotherReg (Type::IntTy);
257       unsigned TmpReg2 = makeAnotherReg (Type::IntTy);
258       // Copy the value into the register pair.
259       // R = top(more-significant) half, R+1 = bottom(less-significant) half
260       uint64_t Val = cast<ConstantInt>(C)->getRawValue();
261       copyConstantToRegister(MBB, IP, ConstantUInt::get(Type::UIntTy,
262                              Val >> 32), R);
263       copyConstantToRegister(MBB, IP, ConstantUInt::get(Type::UIntTy,
264                              Val & 0xffffffffU), R+1);
265       return;
266     }
267
268     assert(Class <= cInt && "Type not handled yet!");
269
270     if (C->getType() == Type::BoolTy) {
271       Val = (C == ConstantBool::True);
272     } else {
273       ConstantInt *CI = cast<ConstantInt> (C);
274       Val = CI->getRawValue ();
275     }
276     switch (Class) {
277       case cByte:  Val =  (int8_t) Val; break;
278       case cShort: Val = (int16_t) Val; break;
279       case cInt:   Val = (int32_t) Val; break;
280       default:
281         std::cerr << "Offending constant: " << *C << "\n";
282         assert (0 && "Can't copy this kind of constant into register yet");
283         return;
284     }
285     if (Val == 0) {
286       BuildMI (*MBB, IP, V8::ORrr, 2, R).addReg (V8::G0).addReg(V8::G0);
287     } else if (((int64_t)Val >= -4096) && ((int64_t)Val <= 4095)) {
288       BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (V8::G0).addSImm(Val);
289     } else {
290       unsigned TmpReg = makeAnotherReg (C->getType ());
291       BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg)
292         .addSImm (((uint32_t) Val) >> 10);
293       BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (TmpReg)
294         .addSImm (((uint32_t) Val) & 0x03ff);
295       return;
296     }
297   } else if (ConstantFP *CFP = dyn_cast<ConstantFP>(C)) {
298     // We need to spill the constant to memory...
299     MachineConstantPool *CP = F->getConstantPool();
300     unsigned CPI = CP->getConstantPoolIndex(CFP);
301     const Type *Ty = CFP->getType();
302     unsigned TmpReg = makeAnotherReg (Type::UIntTy);
303     unsigned AddrReg = makeAnotherReg (Type::UIntTy);
304
305     assert(Ty == Type::FloatTy || Ty == Type::DoubleTy && "Unknown FP type!");
306     unsigned LoadOpcode = Ty == Type::FloatTy ? V8::LDFri : V8::LDDFri;
307     BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg).addConstantPoolIndex (CPI);
308     BuildMI (*MBB, IP, V8::ORri, 2, AddrReg).addReg (TmpReg)
309       .addConstantPoolIndex (CPI);
310     BuildMI (*MBB, IP, LoadOpcode, 2, R).addReg (AddrReg).addSImm (0);
311   } else if (isa<ConstantPointerNull>(C)) {
312     // Copy zero (null pointer) to the register.
313     BuildMI (*MBB, IP, V8::ORri, 2, R).addReg (V8::G0).addSImm (0);
314   } else if (GlobalValue *GV = dyn_cast<GlobalValue>(C)) {
315     // Copy it with a SETHI/OR pair; the JIT + asmwriter should recognize
316     // that SETHI %reg,global == SETHI %reg,%hi(global) and 
317     // OR %reg,global,%reg == OR %reg,%lo(global),%reg.
318     unsigned TmpReg = makeAnotherReg (C->getType ());
319     BuildMI (*MBB, IP, V8::SETHIi, 1, TmpReg).addGlobalAddress(GV);
320     BuildMI (*MBB, IP, V8::ORri, 2, R).addReg(TmpReg).addGlobalAddress(GV);
321   } else {
322     std::cerr << "Offending constant: " << *C << "\n";
323     assert (0 && "Can't copy this kind of constant into register yet");
324   }
325 }
326
327 void V8ISel::LoadArgumentsToVirtualRegs (Function *LF) {
328   static const unsigned IncomingArgRegs[] = { V8::I0, V8::I1, V8::I2,
329     V8::I3, V8::I4, V8::I5 };
330
331   // Add IMPLICIT_DEFs of input regs.
332   unsigned ArgNo = 0;
333   for (Function::aiterator I = LF->abegin(), E = LF->aend();
334        I != E && ArgNo < 6; ++I, ++ArgNo) {
335     switch (getClassB(I->getType())) {
336     case cByte:
337     case cShort:
338     case cInt:
339     case cFloat:
340       BuildMI(BB, V8::IMPLICIT_DEF, 0, IncomingArgRegs[ArgNo]);
341       break;
342     case cDouble:
343     case cLong:
344       // Double and Long use register pairs.
345       BuildMI(BB, V8::IMPLICIT_DEF, 0, IncomingArgRegs[ArgNo]);
346       ++ArgNo;
347       if (ArgNo < 6)
348         BuildMI(BB, V8::IMPLICIT_DEF, 0, IncomingArgRegs[ArgNo]);
349       break;
350     default:
351       assert (0 && "type not handled");
352       return;
353     }
354   }
355
356   const unsigned *IAREnd = &IncomingArgRegs[6];
357   const unsigned *IAR = &IncomingArgRegs[0];
358   unsigned ArgOffset = 68;
359
360   // Store registers onto stack if this is a varargs function. 
361   // FIXME: This doesn't really pertain to "loading arguments into
362   // virtual registers", so it's not clear that it really belongs here.
363   // FIXME: We could avoid storing any args onto the stack that don't 
364   // need to be in memory, because they come before the ellipsis in the
365   // parameter list (and thus could never be accessed through va_arg).
366   if (LF->getFunctionType ()->isVarArg ()) {
367     for (unsigned i = 0; i < 6; ++i) {
368       int FI = F->getFrameInfo()->CreateFixedObject(4, ArgOffset);
369       assert (IAR != IAREnd
370               && "About to dereference past end of IncomingArgRegs");
371       BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (0).addReg (*IAR++);
372       ArgOffset += 4;
373     }
374     // Reset the pointers now that we're done.
375     ArgOffset = 68;
376     IAR = &IncomingArgRegs[0];
377   }
378
379   // Copy args out of their incoming hard regs or stack slots into virtual regs.
380   for (Function::aiterator I = LF->abegin(), E = LF->aend(); I != E; ++I) {
381     Argument &A = *I;
382     unsigned ArgReg = getReg (A);
383     if (getClassB (A.getType ()) < cLong) {
384       // Get it out of the incoming arg register
385       if (ArgOffset < 92) {
386         assert (IAR != IAREnd
387                 && "About to dereference past end of IncomingArgRegs");
388         BuildMI (BB, V8::ORrr, 2, ArgReg).addReg (V8::G0).addReg (*IAR++);
389       } else {
390         int FI = F->getFrameInfo()->CreateFixedObject(4, ArgOffset);
391         BuildMI (BB, V8::LD, 3, ArgReg).addFrameIndex (FI).addSImm (0);
392       }
393       ArgOffset += 4;
394     } else if (getClassB (A.getType ()) == cFloat) {
395       if (ArgOffset < 92) {
396         // Single-fp args are passed in integer registers; go through
397         // memory to get them out of integer registers and back into fp. (Bleh!)
398         unsigned FltAlign = TM.getTargetData().getFloatAlignment();
399         int FI = F->getFrameInfo()->CreateStackObject(4, FltAlign);
400         assert (IAR != IAREnd
401                 && "About to dereference past end of IncomingArgRegs");
402         BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (0).addReg (*IAR++);
403         BuildMI (BB, V8::LDFri, 2, ArgReg).addFrameIndex (FI).addSImm (0);
404       } else {
405         int FI = F->getFrameInfo()->CreateFixedObject(4, ArgOffset);
406         BuildMI (BB, V8::LDFri, 3, ArgReg).addFrameIndex (FI).addSImm (0);
407       }
408       ArgOffset += 4;
409     } else if (getClassB (A.getType ()) == cDouble) {
410       // Double-fp args are passed in pairs of integer registers; go through
411       // memory to get them out of integer registers and back into fp. (Bleh!)
412       // We'd like to 'ldd' these right out of the incoming-args area,
413       // but it might not be 8-byte aligned (e.g., call x(int x, double d)).
414       unsigned DblAlign = TM.getTargetData().getDoubleAlignment();
415       int FI = F->getFrameInfo()->CreateStackObject(8, DblAlign);
416       if (ArgOffset < 92 && IAR != IAREnd) {
417         BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (0).addReg (*IAR++);
418       } else {
419         unsigned TempReg = makeAnotherReg (Type::IntTy);
420         BuildMI (BB, V8::LD, 2, TempReg).addFrameIndex (FI).addSImm (0);
421         BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (0).addReg (TempReg);
422       }
423       ArgOffset += 4;
424       if (ArgOffset < 92 && IAR != IAREnd) {
425         BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (4).addReg (*IAR++);
426       } else {
427         unsigned TempReg = makeAnotherReg (Type::IntTy);
428         BuildMI (BB, V8::LD, 2, TempReg).addFrameIndex (FI).addSImm (4);
429         BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (4).addReg (TempReg);
430       }
431       ArgOffset += 4;
432       BuildMI (BB, V8::LDDFri, 2, ArgReg).addFrameIndex (FI).addSImm (0);
433     } else if (getClassB (A.getType ()) == cLong) {
434       // do the first half...
435       if (ArgOffset < 92) {
436         assert (IAR != IAREnd
437                 && "About to dereference past end of IncomingArgRegs");
438         BuildMI (BB, V8::ORrr, 2, ArgReg).addReg (V8::G0).addReg (*IAR++);
439       } else {
440         int FI = F->getFrameInfo()->CreateFixedObject(4, ArgOffset);
441         BuildMI (BB, V8::LD, 2, ArgReg).addFrameIndex (FI).addSImm (0);
442       }
443       ArgOffset += 4;
444       // ...then do the second half
445       if (ArgOffset < 92) {
446         assert (IAR != IAREnd
447                 && "About to dereference past end of IncomingArgRegs");
448         BuildMI (BB, V8::ORrr, 2, ArgReg+1).addReg (V8::G0).addReg (*IAR++);
449       } else {
450         int FI = F->getFrameInfo()->CreateFixedObject(4, ArgOffset);
451         BuildMI (BB, V8::LD, 2, ArgReg+1).addFrameIndex (FI).addSImm (0);
452       }
453       ArgOffset += 4;
454     } else {
455       assert (0 && "Unknown class?!");
456     }
457   }
458
459   // If the function takes variable number of arguments, remember the fp
460   // offset for the start of the first vararg value... this is used to expand
461   // llvm.va_start.
462   if (LF->getFunctionType ()->isVarArg ())
463     VarArgsOffset = ArgOffset;
464 }
465
466 void V8ISel::SelectPHINodes() {
467   const TargetInstrInfo &TII = *TM.getInstrInfo();
468   const Function &LF = *F->getFunction();  // The LLVM function...
469   for (Function::const_iterator I = LF.begin(), E = LF.end(); I != E; ++I) {
470     const BasicBlock *BB = I;
471     MachineBasicBlock &MBB = *MBBMap[I];
472
473     // Loop over all of the PHI nodes in the LLVM basic block...
474     MachineBasicBlock::iterator PHIInsertPoint = MBB.begin();
475     for (BasicBlock::const_iterator I = BB->begin();
476          PHINode *PN = const_cast<PHINode*>(dyn_cast<PHINode>(I)); ++I) {
477
478       // Create a new machine instr PHI node, and insert it.
479       unsigned PHIReg = getReg(*PN);
480       MachineInstr *PhiMI = BuildMI(MBB, PHIInsertPoint,
481                                     V8::PHI, PN->getNumOperands(), PHIReg);
482
483       MachineInstr *LongPhiMI = 0;
484       if (PN->getType() == Type::LongTy || PN->getType() == Type::ULongTy)
485         LongPhiMI = BuildMI(MBB, PHIInsertPoint,
486                             V8::PHI, PN->getNumOperands(), PHIReg+1);
487
488       // PHIValues - Map of blocks to incoming virtual registers.  We use this
489       // so that we only initialize one incoming value for a particular block,
490       // even if the block has multiple entries in the PHI node.
491       //
492       std::map<MachineBasicBlock*, unsigned> PHIValues;
493
494       for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i) {
495         MachineBasicBlock *PredMBB = 0;
496         for (MachineBasicBlock::pred_iterator PI = MBB.pred_begin (),
497              PE = MBB.pred_end (); PI != PE; ++PI)
498           if (PN->getIncomingBlock(i) == (*PI)->getBasicBlock()) {
499             PredMBB = *PI;
500             break;
501           }
502         assert (PredMBB && "Couldn't find incoming machine-cfg edge for phi");
503         
504         unsigned ValReg;
505         std::map<MachineBasicBlock*, unsigned>::iterator EntryIt =
506           PHIValues.lower_bound(PredMBB);
507
508         if (EntryIt != PHIValues.end() && EntryIt->first == PredMBB) {
509           // We already inserted an initialization of the register for this
510           // predecessor.  Recycle it.
511           ValReg = EntryIt->second;
512
513         } else {        
514           // Get the incoming value into a virtual register.
515           //
516           Value *Val = PN->getIncomingValue(i);
517
518           // If this is a constant or GlobalValue, we may have to insert code
519           // into the basic block to compute it into a virtual register.
520           if ((isa<Constant>(Val) && !isa<ConstantExpr>(Val)) ||
521               isa<GlobalValue>(Val)) {
522             // Simple constants get emitted at the end of the basic block,
523             // before any terminator instructions.  We "know" that the code to
524             // move a constant into a register will never clobber any flags.
525             ValReg = getReg(Val, PredMBB, PredMBB->getFirstTerminator());
526           } else {
527             // Because we don't want to clobber any values which might be in
528             // physical registers with the computation of this constant (which
529             // might be arbitrarily complex if it is a constant expression),
530             // just insert the computation at the top of the basic block.
531             MachineBasicBlock::iterator PI = PredMBB->begin();
532             
533             // Skip over any PHI nodes though!
534             while (PI != PredMBB->end() && PI->getOpcode() == V8::PHI)
535               ++PI;
536             
537             ValReg = getReg(Val, PredMBB, PI);
538           }
539
540           // Remember that we inserted a value for this PHI for this predecessor
541           PHIValues.insert(EntryIt, std::make_pair(PredMBB, ValReg));
542         }
543
544         PhiMI->addRegOperand(ValReg);
545         PhiMI->addMachineBasicBlockOperand(PredMBB);
546         if (LongPhiMI) {
547           LongPhiMI->addRegOperand(ValReg+1);
548           LongPhiMI->addMachineBasicBlockOperand(PredMBB);
549         }
550       }
551
552       // Now that we emitted all of the incoming values for the PHI node, make
553       // sure to reposition the InsertPoint after the PHI that we just added.
554       // This is needed because we might have inserted a constant into this
555       // block, right after the PHI's which is before the old insert point!
556       PHIInsertPoint = LongPhiMI ? LongPhiMI : PhiMI;
557       ++PHIInsertPoint;
558     }
559   }
560 }
561
562 bool V8ISel::runOnFunction(Function &Fn) {
563   // First pass over the function, lower any unknown intrinsic functions
564   // with the IntrinsicLowering class.
565   LowerUnknownIntrinsicFunctionCalls(Fn);
566   
567   F = &MachineFunction::construct(&Fn, TM);
568   
569   // Create all of the machine basic blocks for the function...
570   for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I)
571     F->getBasicBlockList().push_back(MBBMap[I] = new MachineBasicBlock(I));
572   
573   BB = &F->front();
574   
575   // Set up a frame object for the return address.  This is used by the
576   // llvm.returnaddress & llvm.frameaddress intrinisics.
577   //ReturnAddressIndex = F->getFrameInfo()->CreateFixedObject(4, -4);
578   
579   // Copy incoming arguments off of the stack and out of fixed registers.
580   LoadArgumentsToVirtualRegs(&Fn);
581   
582   // Instruction select everything except PHI nodes
583   visit(Fn);
584   
585   // Select the PHI nodes
586   SelectPHINodes();
587   
588   RegMap.clear();
589   MBBMap.clear();
590   F = 0;
591   // We always build a machine code representation for the function
592   return true;
593 }
594
595 void V8ISel::visitCastInst(CastInst &I) {
596   Value *Op = I.getOperand(0);
597   unsigned DestReg = getReg(I);
598   MachineBasicBlock::iterator MI = BB->end();
599   emitCastOperation(BB, MI, Op, I.getType(), DestReg);
600 }
601
602 unsigned V8ISel::emitIntegerCast (MachineBasicBlock *BB,
603                               MachineBasicBlock::iterator IP, const Type *oldTy,
604                               unsigned SrcReg, const Type *newTy,
605                               unsigned DestReg) {
606   if (oldTy == newTy) {
607     // No-op cast - just emit a copy; assume the reg. allocator will zap it.
608     BuildMI (*BB, IP, V8::ORrr, 2, DestReg).addReg (V8::G0).addReg(SrcReg);
609     return SrcReg;
610   }
611   // Emit left-shift, then right-shift to sign- or zero-extend.
612   unsigned TmpReg = makeAnotherReg (newTy);
613   unsigned shiftWidth = 32 - (8 * TM.getTargetData ().getTypeSize (newTy));
614   BuildMI (*BB, IP, V8::SLLri, 2, TmpReg).addZImm (shiftWidth).addReg(SrcReg);
615   if (newTy->isSigned ()) { // sign-extend with SRA
616     BuildMI(*BB, IP, V8::SRAri, 2, DestReg).addZImm (shiftWidth).addReg(TmpReg);
617   } else { // zero-extend with SRL
618     BuildMI(*BB, IP, V8::SRLri, 2, DestReg).addZImm (shiftWidth).addReg(TmpReg);
619   }
620   // Return the temp reg. in case this is one half of a cast to long.
621   return TmpReg;
622 }
623
624 void V8ISel::emitFPToIntegerCast (MachineBasicBlock *BB,
625                                   MachineBasicBlock::iterator IP,
626                                   const Type *oldTy, unsigned SrcReg,
627                                   const Type *newTy, unsigned DestReg) {
628   unsigned FPCastOpcode, FPStoreOpcode, FPSize, FPAlign;
629   unsigned oldTyClass = getClassB(oldTy);
630   if (oldTyClass == cFloat) { 
631     FPCastOpcode = V8::FSTOI; FPStoreOpcode = V8::STFri; FPSize = 4; 
632     FPAlign = TM.getTargetData().getFloatAlignment();
633   } else { // it's a double
634     FPCastOpcode = V8::FDTOI; FPStoreOpcode = V8::STDFri; FPSize = 8; 
635     FPAlign = TM.getTargetData().getDoubleAlignment();
636   }
637   unsigned TempReg = makeAnotherReg (oldTy);
638   BuildMI (*BB, IP, FPCastOpcode, 1, TempReg).addReg (SrcReg);
639   int FI = F->getFrameInfo()->CreateStackObject(FPSize, FPAlign);
640   BuildMI (*BB, IP, FPStoreOpcode, 3).addFrameIndex (FI).addSImm (0)
641     .addReg (TempReg);
642   unsigned TempReg2 = makeAnotherReg (newTy);
643   BuildMI (*BB, IP, V8::LD, 3, TempReg2).addFrameIndex (FI).addSImm (0);
644   emitIntegerCast (BB, IP, Type::IntTy, TempReg2, newTy, DestReg);
645 }
646
647 /// emitCastOperation - Common code shared between visitCastInst and constant
648 /// expression cast support.
649 ///
650 void V8ISel::emitCastOperation(MachineBasicBlock *BB,
651                                MachineBasicBlock::iterator IP, Value *Src,
652                                const Type *DestTy, unsigned DestReg) {
653   const Type *SrcTy = Src->getType();
654   unsigned SrcClass = getClassB(SrcTy);
655   unsigned DestClass = getClassB(DestTy);
656   unsigned SrcReg = getReg(Src, BB, IP);
657
658   const Type *oldTy = SrcTy;
659   const Type *newTy = DestTy;
660   unsigned oldTyClass = SrcClass;
661   unsigned newTyClass = DestClass;
662
663   if (oldTyClass < cLong && newTyClass < cLong) {
664     emitIntegerCast (BB, IP, oldTy, SrcReg, newTy, DestReg);
665   } else switch (newTyClass) {
666     case cByte:
667     case cShort:
668     case cInt:
669       switch (oldTyClass) {
670       case cLong: 
671         // Treat it like a cast from the lower half of the value.
672         emitIntegerCast (BB, IP, Type::IntTy, SrcReg+1, newTy, DestReg);
673         break;
674       case cFloat: 
675       case cDouble:
676         emitFPToIntegerCast (BB, IP, oldTy, SrcReg, newTy, DestReg);
677         break;
678       default: goto not_yet;
679       }
680       return;
681
682     case cFloat:
683       switch (oldTyClass) {
684       case cLong: goto not_yet;
685       case cFloat:
686         BuildMI (*BB, IP, V8::FMOVS, 1, DestReg).addReg (SrcReg);
687         break;
688       case cDouble:
689         BuildMI (*BB, IP, V8::FDTOS, 1, DestReg).addReg (SrcReg);
690         break;
691       default: {
692         unsigned FltAlign = TM.getTargetData().getFloatAlignment();
693         // cast integer type to float.  Store it to a stack slot and then load
694         // it using ldf into a floating point register. then do fitos.
695         unsigned TmpReg = makeAnotherReg (newTy);
696         int FI = F->getFrameInfo()->CreateStackObject(4, FltAlign);
697         BuildMI (*BB, IP, V8::ST, 3).addFrameIndex (FI).addSImm (0)
698           .addReg (SrcReg);
699         BuildMI (*BB, IP, V8::LDFri, 2, TmpReg).addFrameIndex (FI).addSImm (0);
700         BuildMI (*BB, IP, V8::FITOS, 1, DestReg).addReg(TmpReg);
701         break;
702       }
703       }
704       return;
705
706     case cDouble:
707       switch (oldTyClass) {
708       case cLong: goto not_yet;
709       case cFloat:
710         BuildMI (*BB, IP, V8::FSTOD, 1, DestReg).addReg (SrcReg);
711         break;
712       case cDouble: // use double move pseudo-instr
713         BuildMI (*BB, IP, V8::FpMOVD, 1, DestReg).addReg (SrcReg);
714         break;
715       default: {
716         unsigned DoubleAlignment = TM.getTargetData().getDoubleAlignment();
717         unsigned TmpReg = makeAnotherReg (newTy);
718         int FI = F->getFrameInfo()->CreateStackObject(8, DoubleAlignment);
719         BuildMI (*BB, IP, V8::ST, 3).addFrameIndex (FI).addSImm (0)
720           .addReg (SrcReg);
721         BuildMI (*BB, IP, V8::LDDFri, 2, TmpReg).addFrameIndex (FI).addSImm (0);
722         BuildMI (*BB, IP, V8::FITOD, 1, DestReg).addReg(TmpReg);
723         break;
724       }
725       }
726       return;
727
728     case cLong:
729       switch (oldTyClass) {
730       case cByte:
731       case cShort:
732       case cInt: {
733         // Cast to (u)int in the bottom half, and sign(zero) extend in the top
734         // half.
735         const Type *OldHalfTy = oldTy->isSigned() ? Type::IntTy : Type::UIntTy;
736         const Type *NewHalfTy = newTy->isSigned() ? Type::IntTy : Type::UIntTy;
737         unsigned TempReg = emitIntegerCast (BB, IP, OldHalfTy, SrcReg,
738                                             NewHalfTy, DestReg+1);
739         if (newTy->isSigned ()) {
740           BuildMI (*BB, IP, V8::SRAri, 2, DestReg).addReg (TempReg) 
741             .addZImm (31);
742         } else {
743           BuildMI (*BB, IP, V8::ORrr, 2, DestReg).addReg (V8::G0) 
744             .addReg (V8::G0);
745         }
746         break;
747       }
748       case cLong:
749         // Just copy both halves.
750         BuildMI (*BB, IP, V8::ORrr, 2, DestReg).addReg (V8::G0).addReg (SrcReg);
751         BuildMI (*BB, IP, V8::ORrr, 2, DestReg+1).addReg (V8::G0)
752           .addReg (SrcReg+1);
753         break;
754       default: goto not_yet;
755       }
756       return;
757
758     default: goto not_yet;
759   }
760   return;
761 not_yet:
762   std::cerr << "Sorry, cast still unsupported: SrcTy = " << *SrcTy
763             << ", DestTy = " << *DestTy << "\n";
764   abort ();
765 }
766
767 void V8ISel::visitLoadInst(LoadInst &I) {
768   unsigned DestReg = getReg (I);
769   unsigned PtrReg = getReg (I.getOperand (0));
770   switch (getClassB (I.getType ())) {
771    case cByte:
772     if (I.getType ()->isSigned ())
773       BuildMI (BB, V8::LDSB, 2, DestReg).addReg (PtrReg).addSImm(0);
774     else
775       BuildMI (BB, V8::LDUB, 2, DestReg).addReg (PtrReg).addSImm(0);
776     return;
777    case cShort:
778     if (I.getType ()->isSigned ())
779       BuildMI (BB, V8::LDSH, 2, DestReg).addReg (PtrReg).addSImm(0);
780     else
781       BuildMI (BB, V8::LDUH, 2, DestReg).addReg (PtrReg).addSImm(0);
782     return;
783    case cInt:
784     BuildMI (BB, V8::LD, 2, DestReg).addReg (PtrReg).addSImm(0);
785     return;
786    case cLong:
787     BuildMI (BB, V8::LD, 2, DestReg).addReg (PtrReg).addSImm(0);
788     BuildMI (BB, V8::LD, 2, DestReg+1).addReg (PtrReg).addSImm(4);
789     return;
790    case cFloat:
791     BuildMI (BB, V8::LDFri, 2, DestReg).addReg (PtrReg).addSImm(0);
792     return;
793    case cDouble:
794     BuildMI (BB, V8::LDDFri, 2, DestReg).addReg (PtrReg).addSImm(0);
795     return;
796    default:
797     std::cerr << "Load instruction not handled: " << I;
798     abort ();
799     return;
800   }
801 }
802
803 void V8ISel::visitStoreInst(StoreInst &I) {
804   Value *SrcVal = I.getOperand (0);
805   unsigned SrcReg = getReg (SrcVal);
806   unsigned PtrReg = getReg (I.getOperand (1));
807   switch (getClassB (SrcVal->getType ())) {
808    case cByte:
809     BuildMI (BB, V8::STB, 3).addReg (PtrReg).addSImm (0).addReg (SrcReg);
810     return;
811    case cShort:
812     BuildMI (BB, V8::STH, 3).addReg (PtrReg).addSImm (0).addReg (SrcReg);
813     return;
814    case cInt:
815     BuildMI (BB, V8::ST, 3).addReg (PtrReg).addSImm (0).addReg (SrcReg);
816     return;
817    case cLong:
818     BuildMI (BB, V8::ST, 3).addReg (PtrReg).addSImm (0).addReg (SrcReg);
819     BuildMI (BB, V8::ST, 3).addReg (PtrReg).addSImm (4).addReg (SrcReg+1);
820     return;
821    case cFloat:
822     BuildMI (BB, V8::STFri, 3).addReg (PtrReg).addSImm (0).addReg (SrcReg);
823     return;
824    case cDouble:
825     BuildMI (BB, V8::STDFri, 3).addReg (PtrReg).addSImm (0).addReg (SrcReg);
826     return;
827    default:
828     std::cerr << "Store instruction not handled: " << I;
829     abort ();
830     return;
831   }
832 }
833
834 void V8ISel::visitCallInst(CallInst &I) {
835   MachineInstr *TheCall;
836   // Is it an intrinsic function call?
837   if (Function *F = I.getCalledFunction()) {
838     if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID()) {
839       visitIntrinsicCall(ID, I);   // Special intrinsics are not handled here
840       return;
841     }
842   }
843
844   // How much extra call stack will we need?
845   int extraStack = 0;
846   for (unsigned i = 0; i < I.getNumOperands (); ++i) {
847     switch (getClassB (I.getOperand (i)->getType ())) {
848       case cLong: extraStack += 8; break;
849       case cFloat: extraStack += 4; break;
850       case cDouble: extraStack += 8; break;
851       default: extraStack += 4; break;
852     }
853   }
854   extraStack -= 24;
855   if (extraStack < 0) {
856     extraStack = 0;
857   } else {
858     // Round up extra stack size to the nearest doubleword.
859     extraStack = (extraStack + 7) & ~7;
860   }
861
862   // Deal with args
863   static const unsigned OutgoingArgRegs[] = { V8::O0, V8::O1, V8::O2, V8::O3,
864     V8::O4, V8::O5 };
865   const unsigned *OAREnd = &OutgoingArgRegs[6];
866   const unsigned *OAR = &OutgoingArgRegs[0];
867   unsigned ArgOffset = 68;
868   if (extraStack) BuildMI (BB, V8::ADJCALLSTACKDOWN, 1).addImm (extraStack);
869   for (unsigned i = 1; i < I.getNumOperands (); ++i) {
870     unsigned ArgReg = getReg (I.getOperand (i));
871     if (getClassB (I.getOperand (i)->getType ()) < cLong) {
872       // Schlep it over into the incoming arg register
873       if (ArgOffset < 92) {
874         assert (OAR != OAREnd && "About to dereference past end of OutgoingArgRegs");
875         BuildMI (BB, V8::ORrr, 2, *OAR++).addReg (V8::G0).addReg (ArgReg);
876       } else {
877         BuildMI (BB, V8::ST, 3).addReg (V8::SP).addSImm (ArgOffset).addReg (ArgReg);
878       }
879       ArgOffset += 4;
880     } else if (getClassB (I.getOperand (i)->getType ()) == cFloat) {
881       if (ArgOffset < 92) {
882         // Single-fp args are passed in integer registers; go through
883         // memory to get them out of FP registers. (Bleh!)
884         unsigned FltAlign = TM.getTargetData().getFloatAlignment();
885         int FI = F->getFrameInfo()->CreateStackObject(4, FltAlign);
886         BuildMI (BB, V8::STFri, 3).addFrameIndex (FI).addSImm (0).addReg (ArgReg);
887         assert (OAR != OAREnd && "About to dereference past end of OutgoingArgRegs");
888         BuildMI (BB, V8::LD, 2, *OAR++).addFrameIndex (FI).addSImm (0);
889       } else {
890         BuildMI (BB, V8::STFri, 3).addReg (V8::SP).addSImm (ArgOffset).addReg (ArgReg);
891       }
892       ArgOffset += 4;
893     } else if (getClassB (I.getOperand (i)->getType ()) == cDouble) {
894       // Double-fp args are passed in pairs of integer registers; go through
895       // memory to get them out of FP registers. (Bleh!)
896       // We'd like to 'std' these right onto the outgoing-args area, but it might
897       // not be 8-byte aligned (e.g., call x(int x, double d)). sigh.
898       unsigned DblAlign = TM.getTargetData().getDoubleAlignment();
899       int FI = F->getFrameInfo()->CreateStackObject(8, DblAlign);
900       BuildMI (BB, V8::STDFri, 3).addFrameIndex (FI).addSImm (0).addReg (ArgReg);
901       if (ArgOffset < 92 && OAR != OAREnd) {
902         assert (OAR != OAREnd && "About to dereference past end of OutgoingArgRegs");
903         BuildMI (BB, V8::LD, 2, *OAR++).addFrameIndex (FI).addSImm (0);
904       } else {
905         unsigned TempReg = makeAnotherReg (Type::IntTy);
906         BuildMI (BB, V8::LD, 2, TempReg).addFrameIndex (FI).addSImm (0);
907         BuildMI (BB, V8::ST, 3).addReg (V8::SP).addSImm (ArgOffset).addReg (TempReg);
908       }
909       ArgOffset += 4;
910       if (ArgOffset < 92 && OAR != OAREnd) {
911         assert (OAR != OAREnd && "About to dereference past end of OutgoingArgRegs");
912         BuildMI (BB, V8::LD, 2, *OAR++).addFrameIndex (FI).addSImm (4);
913       } else {
914         unsigned TempReg = makeAnotherReg (Type::IntTy);
915         BuildMI (BB, V8::LD, 2, TempReg).addFrameIndex (FI).addSImm (4);
916         BuildMI (BB, V8::ST, 3).addReg (V8::SP).addSImm (ArgOffset).addReg (TempReg);
917       }
918       ArgOffset += 4;
919     } else if (getClassB (I.getOperand (i)->getType ()) == cLong) {
920       // do the first half...
921       if (ArgOffset < 92) {
922         assert (OAR != OAREnd && "About to dereference past end of OutgoingArgRegs");
923         BuildMI (BB, V8::ORrr, 2, *OAR++).addReg (V8::G0).addReg (ArgReg);
924       } else {
925         BuildMI (BB, V8::ST, 3).addReg (V8::SP).addSImm (ArgOffset).addReg (ArgReg);
926       }
927       ArgOffset += 4;
928       // ...then do the second half
929       if (ArgOffset < 92) {
930         assert (OAR != OAREnd && "About to dereference past end of OutgoingArgRegs");
931         BuildMI (BB, V8::ORrr, 2, *OAR++).addReg (V8::G0).addReg (ArgReg+1);
932       } else {
933         BuildMI (BB, V8::ST, 3).addReg (V8::SP).addSImm (ArgOffset).addReg (ArgReg+1);
934       }
935       ArgOffset += 4;
936     } else {
937       assert (0 && "Unknown class?!");
938     }
939   }
940
941   // Emit call instruction
942   if (Function *F = I.getCalledFunction ()) {
943     BuildMI (BB, V8::CALL, 1).addGlobalAddress (F, true);
944   } else {  // Emit an indirect call...
945     unsigned Reg = getReg (I.getCalledValue ());
946     BuildMI (BB, V8::JMPLrr, 3, V8::O7).addReg (Reg).addReg (V8::G0);
947   }
948
949   if (extraStack) BuildMI (BB, V8::ADJCALLSTACKUP, 1).addImm (extraStack);
950
951   // Deal w/ return value: schlep it over into the destination register
952   if (I.getType () == Type::VoidTy)
953     return;
954   unsigned DestReg = getReg (I);
955   switch (getClassB (I.getType ())) {
956     case cByte:
957     case cShort:
958     case cInt:
959       BuildMI (BB, V8::ORrr, 2, DestReg).addReg(V8::G0).addReg(V8::O0);
960       break;
961     case cFloat:
962       BuildMI (BB, V8::FMOVS, 2, DestReg).addReg(V8::F0);
963       break;
964     case cDouble:
965       BuildMI (BB, V8::FpMOVD, 2, DestReg).addReg(V8::D0);
966       break;
967     case cLong:
968       BuildMI (BB, V8::ORrr, 2, DestReg).addReg(V8::G0).addReg(V8::O0);
969       BuildMI (BB, V8::ORrr, 2, DestReg+1).addReg(V8::G0).addReg(V8::O1);
970       break;
971     default:
972       std::cerr << "Return type of call instruction not handled: " << I;
973       abort ();
974   }
975 }
976
977 void V8ISel::visitReturnInst(ReturnInst &I) {
978   if (I.getNumOperands () == 1) {
979     unsigned RetValReg = getReg (I.getOperand (0));
980     switch (getClassB (I.getOperand (0)->getType ())) {
981       case cByte:
982       case cShort:
983       case cInt:
984         // Schlep it over into i0 (where it will become o0 after restore).
985         BuildMI (BB, V8::ORrr, 2, V8::I0).addReg(V8::G0).addReg(RetValReg);
986         break;
987       case cFloat:
988         BuildMI (BB, V8::FMOVS, 1, V8::F0).addReg(RetValReg);
989         break;
990       case cDouble:
991         BuildMI (BB, V8::FpMOVD, 1, V8::D0).addReg(RetValReg);
992         break;
993       case cLong:
994         BuildMI (BB, V8::ORrr, 2, V8::I0).addReg(V8::G0).addReg(RetValReg);
995         BuildMI (BB, V8::ORrr, 2, V8::I1).addReg(V8::G0).addReg(RetValReg+1);
996         break;
997       default:
998         std::cerr << "Return instruction of this type not handled: " << I;
999         abort ();
1000     }
1001   }
1002
1003   // Just emit a 'retl' instruction to return.
1004   BuildMI(BB, V8::RETL, 0);
1005   return;
1006 }
1007
1008 static inline BasicBlock *getBlockAfter(BasicBlock *BB) {
1009   Function::iterator I = BB; ++I;  // Get iterator to next block
1010   return I != BB->getParent()->end() ? &*I : 0;
1011 }
1012
1013 /// visitBranchInst - Handles conditional and unconditional branches.
1014 ///
1015 void V8ISel::visitBranchInst(BranchInst &I) {
1016   BasicBlock *takenSucc = I.getSuccessor (0);
1017   MachineBasicBlock *takenSuccMBB = MBBMap[takenSucc];
1018   BB->addSuccessor (takenSuccMBB);
1019   if (I.isConditional()) {  // conditional branch
1020     BasicBlock *notTakenSucc = I.getSuccessor (1);
1021     MachineBasicBlock *notTakenSuccMBB = MBBMap[notTakenSucc];
1022     BB->addSuccessor (notTakenSuccMBB);
1023
1024     // CondReg=(<condition>);
1025     // If (CondReg==0) goto notTakenSuccMBB;
1026     unsigned CondReg = getReg (I.getCondition ());
1027     BuildMI (BB, V8::CMPri, 2).addSImm (0).addReg (CondReg);
1028     BuildMI (BB, V8::BE, 1).addMBB (notTakenSuccMBB);
1029   }
1030   // goto takenSuccMBB;
1031   BuildMI (BB, V8::BA, 1).addMBB (takenSuccMBB);
1032 }
1033
1034 /// emitGEPOperation - Common code shared between visitGetElementPtrInst and
1035 /// constant expression GEP support.
1036 ///
1037 void V8ISel::emitGEPOperation (MachineBasicBlock *MBB,
1038                                MachineBasicBlock::iterator IP,
1039                                Value *Src, User::op_iterator IdxBegin,
1040                                User::op_iterator IdxEnd, unsigned TargetReg) {
1041   const TargetData &TD = TM.getTargetData ();
1042   const Type *Ty = Src->getType ();
1043   unsigned basePtrReg = getReg (Src, MBB, IP);
1044
1045   // GEPs have zero or more indices; we must perform a struct access
1046   // or array access for each one.
1047   for (GetElementPtrInst::op_iterator oi = IdxBegin, oe = IdxEnd; oi != oe;
1048        ++oi) {
1049     Value *idx = *oi;
1050     unsigned nextBasePtrReg = makeAnotherReg (Type::UIntTy);
1051     if (const StructType *StTy = dyn_cast<StructType> (Ty)) {
1052       // It's a struct access.  idx is the index into the structure,
1053       // which names the field. Use the TargetData structure to
1054       // pick out what the layout of the structure is in memory.
1055       // Use the (constant) structure index's value to find the
1056       // right byte offset from the StructLayout class's list of
1057       // structure member offsets.
1058       unsigned fieldIndex = cast<ConstantUInt> (idx)->getValue ();
1059       unsigned memberOffset =
1060         TD.getStructLayout (StTy)->MemberOffsets[fieldIndex];
1061       // Emit an ADD to add memberOffset to the basePtr.
1062       BuildMI (*MBB, IP, V8::ADDri, 2,
1063                nextBasePtrReg).addReg (basePtrReg).addZImm (memberOffset);
1064       // The next type is the member of the structure selected by the
1065       // index.
1066       Ty = StTy->getElementType (fieldIndex);
1067     } else if (const SequentialType *SqTy = dyn_cast<SequentialType> (Ty)) {
1068       // It's an array or pointer access: [ArraySize x ElementType].
1069       // We want to add basePtrReg to (idxReg * sizeof ElementType). First, we
1070       // must find the size of the pointed-to type (Not coincidentally, the next
1071       // type is the type of the elements in the array).
1072       Ty = SqTy->getElementType ();
1073       unsigned elementSize = TD.getTypeSize (Ty);
1074       unsigned idxReg = getReg (idx, MBB, IP);
1075       unsigned OffsetReg = makeAnotherReg (Type::IntTy);
1076       unsigned elementSizeReg = makeAnotherReg (Type::UIntTy);
1077       copyConstantToRegister (MBB, IP,
1078         ConstantUInt::get(Type::UIntTy, elementSize), elementSizeReg);
1079       // Emit a SMUL to multiply the register holding the index by
1080       // elementSize, putting the result in OffsetReg.
1081       BuildMI (*MBB, IP, V8::SMULrr, 2,
1082                OffsetReg).addReg (elementSizeReg).addReg (idxReg);
1083       // Emit an ADD to add OffsetReg to the basePtr.
1084       BuildMI (*MBB, IP, V8::ADDrr, 2,
1085                nextBasePtrReg).addReg (basePtrReg).addReg (OffsetReg);
1086     }
1087     basePtrReg = nextBasePtrReg;
1088   }
1089   // After we have processed all the indices, the result is left in
1090   // basePtrReg.  Move it to the register where we were expected to
1091   // put the answer.
1092   BuildMI (BB, V8::ORrr, 1, TargetReg).addReg (V8::G0).addReg (basePtrReg);
1093 }
1094
1095 void V8ISel::visitGetElementPtrInst (GetElementPtrInst &I) {
1096   unsigned outputReg = getReg (I);
1097   emitGEPOperation (BB, BB->end (), I.getOperand (0),
1098                     I.op_begin ()+1, I.op_end (), outputReg);
1099 }
1100
1101 void V8ISel::emitOp64LibraryCall (MachineBasicBlock *MBB,
1102                                   MachineBasicBlock::iterator IP,
1103                                   unsigned DestReg,
1104                                   const char *FuncName,
1105                                   unsigned Op0Reg, unsigned Op1Reg) {
1106   BuildMI (*MBB, IP, V8::ORrr, 2, V8::O0).addReg (V8::G0).addReg (Op0Reg);
1107   BuildMI (*MBB, IP, V8::ORrr, 2, V8::O1).addReg (V8::G0).addReg (Op0Reg+1);
1108   BuildMI (*MBB, IP, V8::ORrr, 2, V8::O2).addReg (V8::G0).addReg (Op1Reg);
1109   BuildMI (*MBB, IP, V8::ORrr, 2, V8::O3).addReg (V8::G0).addReg (Op1Reg+1);
1110   BuildMI (*MBB, IP, V8::CALL, 1).addExternalSymbol (FuncName, true);
1111   BuildMI (*MBB, IP, V8::ORrr, 2, DestReg).addReg (V8::G0).addReg (V8::O0);
1112   BuildMI (*MBB, IP, V8::ORrr, 2, DestReg+1).addReg (V8::G0).addReg (V8::O1);
1113 }
1114
1115 void V8ISel::emitShift64 (MachineBasicBlock *MBB,
1116                           MachineBasicBlock::iterator IP, Instruction &I,
1117                           unsigned DestReg, unsigned SrcReg,
1118                           unsigned ShiftAmtReg) {
1119   bool isSigned = I.getType()->isSigned();
1120
1121   switch (I.getOpcode ()) {
1122   case Instruction::Shr: {
1123     unsigned CarryReg = makeAnotherReg (Type::IntTy),
1124              ThirtyTwo = makeAnotherReg (Type::IntTy),
1125              HalfShiftReg = makeAnotherReg (Type::IntTy),
1126              NegHalfShiftReg = makeAnotherReg (Type::IntTy),
1127              TempReg = makeAnotherReg (Type::IntTy);
1128     unsigned OneShiftOutReg = makeAnotherReg (Type::ULongTy),
1129              TwoShiftsOutReg = makeAnotherReg (Type::ULongTy);
1130
1131     MachineBasicBlock *thisMBB = BB;
1132     const BasicBlock *LLVM_BB = BB->getBasicBlock ();
1133     MachineBasicBlock *shiftMBB = new MachineBasicBlock (LLVM_BB);
1134     F->getBasicBlockList ().push_back (shiftMBB);
1135     MachineBasicBlock *oneShiftMBB = new MachineBasicBlock (LLVM_BB);
1136     F->getBasicBlockList ().push_back (oneShiftMBB);
1137     MachineBasicBlock *twoShiftsMBB = new MachineBasicBlock (LLVM_BB);
1138     F->getBasicBlockList ().push_back (twoShiftsMBB);
1139     MachineBasicBlock *continueMBB = new MachineBasicBlock (LLVM_BB);
1140     F->getBasicBlockList ().push_back (continueMBB);
1141
1142     // .lshr_begin:
1143     //   ...
1144     //   subcc %g0, ShiftAmtReg, %g0                   ! Is ShAmt == 0?
1145     //   be .lshr_continue                             ! Then don't shift.
1146     //   ba .lshr_shift                                ! else shift.
1147
1148     BuildMI (BB, V8::SUBCCrr, 2, V8::G0).addReg (V8::G0)
1149       .addReg (ShiftAmtReg);
1150     BuildMI (BB, V8::BE, 1).addMBB (continueMBB);
1151     BuildMI (BB, V8::BA, 1).addMBB (shiftMBB);
1152
1153     // Update machine-CFG edges
1154     BB->addSuccessor (continueMBB);
1155     BB->addSuccessor (shiftMBB);
1156
1157     // .lshr_shift: ! [preds: begin]
1158     //   or %g0, 32, ThirtyTwo
1159     //   subcc ThirtyTwo, ShiftAmtReg, HalfShiftReg    ! Calculate 32 - shamt
1160     //   bg .lshr_two_shifts                           ! If >0, b two_shifts
1161     //   ba .lshr_one_shift                            ! else one_shift.
1162
1163     BB = shiftMBB;
1164
1165     BuildMI (BB, V8::ORri, 2, ThirtyTwo).addReg (V8::G0).addSImm (32);
1166     BuildMI (BB, V8::SUBCCrr, 2, HalfShiftReg).addReg (ThirtyTwo)
1167       .addReg (ShiftAmtReg);
1168     BuildMI (BB, V8::BG, 1).addMBB (twoShiftsMBB);
1169     BuildMI (BB, V8::BA, 1).addMBB (oneShiftMBB);
1170
1171     // Update machine-CFG edges
1172     BB->addSuccessor (twoShiftsMBB);
1173     BB->addSuccessor (oneShiftMBB);
1174
1175     // .lshr_two_shifts: ! [preds: shift]
1176     //   sll SrcReg, HalfShiftReg, CarryReg            ! Save the borrows
1177     //  ! <SHIFT> in following is sra if signed, srl if unsigned
1178     //   <SHIFT> SrcReg, ShiftAmtReg, TwoShiftsOutReg  ! Shift top half
1179     //   srl SrcReg+1, ShiftAmtReg, TempReg            ! Shift bottom half
1180     //   or TempReg, CarryReg, TwoShiftsOutReg+1       ! Restore the borrows
1181     //   ba .lshr_continue
1182     unsigned ShiftOpcode = (isSigned ? V8::SRArr : V8::SRLrr);
1183
1184     BB = twoShiftsMBB;
1185
1186     BuildMI (BB, V8::SLLrr, 2, CarryReg).addReg (SrcReg)
1187       .addReg (HalfShiftReg);
1188     BuildMI (BB, ShiftOpcode, 2, TwoShiftsOutReg).addReg (SrcReg)
1189       .addReg (ShiftAmtReg);
1190     BuildMI (BB, V8::SRLrr, 2, TempReg).addReg (SrcReg+1)
1191       .addReg (ShiftAmtReg);
1192     BuildMI (BB, V8::ORrr, 2, TwoShiftsOutReg+1).addReg (TempReg)
1193       .addReg (CarryReg);
1194     BuildMI (BB, V8::BA, 1).addMBB (continueMBB);
1195
1196     // Update machine-CFG edges
1197     BB->addSuccessor (continueMBB);
1198
1199     // .lshr_one_shift: ! [preds: shift]
1200     //  ! if unsigned:
1201     //   or %g0, %g0, OneShiftOutReg                       ! Zero top half
1202     //  ! or, if signed:
1203     //   sra SrcReg, 31, OneShiftOutReg                    ! Sign-ext top half
1204     //   sub %g0, HalfShiftReg, NegHalfShiftReg            ! Make ShiftAmt >0
1205     //   <SHIFT> SrcReg, NegHalfShiftReg, OneShiftOutReg+1 ! Shift bottom half
1206     //   ba .lshr_continue
1207
1208     BB = oneShiftMBB;
1209     
1210     if (isSigned)
1211       BuildMI (BB, V8::SRAri, 2, OneShiftOutReg).addReg (SrcReg).addZImm (31);
1212     else
1213       BuildMI (BB, V8::ORrr, 2, OneShiftOutReg).addReg (V8::G0)
1214         .addReg (V8::G0);
1215     BuildMI (BB, V8::SUBrr, 2, NegHalfShiftReg).addReg (V8::G0)
1216       .addReg (HalfShiftReg);
1217     BuildMI (BB, ShiftOpcode, 2, OneShiftOutReg+1).addReg (SrcReg)
1218       .addReg (NegHalfShiftReg);
1219     BuildMI (BB, V8::BA, 1).addMBB (continueMBB);
1220
1221     // Update machine-CFG edges
1222     BB->addSuccessor (continueMBB);
1223
1224     // .lshr_continue: ! [preds: begin, do_one_shift, do_two_shifts]
1225     //   phi (SrcReg, begin), (TwoShiftsOutReg, two_shifts),
1226     //       (OneShiftOutReg, one_shift), DestReg      ! Phi top half...
1227     //   phi (SrcReg+1, begin), (TwoShiftsOutReg+1, two_shifts),
1228     //       (OneShiftOutReg+1, one_shift), DestReg+1  ! And phi bottom half.
1229
1230     BB = continueMBB;
1231     BuildMI (BB, V8::PHI, 6, DestReg).addReg (SrcReg).addMBB (thisMBB)
1232       .addReg (TwoShiftsOutReg).addMBB (twoShiftsMBB)
1233       .addReg (OneShiftOutReg).addMBB (oneShiftMBB);
1234     BuildMI (BB, V8::PHI, 6, DestReg+1).addReg (SrcReg+1).addMBB (thisMBB)
1235       .addReg (TwoShiftsOutReg+1).addMBB (twoShiftsMBB)
1236       .addReg (OneShiftOutReg+1).addMBB (oneShiftMBB);
1237     return;
1238   }
1239   case Instruction::Shl:
1240   default:
1241     std::cerr << "Sorry, 64-bit shifts are not yet supported:\n" << I;
1242     abort ();
1243   }
1244 }
1245
1246 void V8ISel::visitBinaryOperator (Instruction &I) {
1247   unsigned DestReg = getReg (I);
1248   unsigned Op0Reg = getReg (I.getOperand (0));
1249   unsigned Op1Reg = getReg (I.getOperand (1));
1250
1251   unsigned Class = getClassB (I.getType());
1252   unsigned OpCase = ~0;
1253
1254   if (Class > cLong) {
1255     switch (I.getOpcode ()) {
1256     case Instruction::Add: OpCase = 0; break;
1257     case Instruction::Sub: OpCase = 1; break;
1258     case Instruction::Mul: OpCase = 2; break;
1259     case Instruction::Div: OpCase = 3; break;
1260     default: visitInstruction (I); return;
1261     }
1262     static unsigned Opcodes[] = { V8::FADDS, V8::FADDD,
1263                                   V8::FSUBS, V8::FSUBD,
1264                                   V8::FMULS, V8::FMULD,
1265                                   V8::FDIVS, V8::FDIVD };
1266     BuildMI (BB, Opcodes[2*OpCase + (Class - cFloat)], 2, DestReg)
1267       .addReg (Op0Reg).addReg (Op1Reg);
1268     return;
1269   }
1270
1271   unsigned ResultReg = DestReg;
1272   if (Class != cInt && Class != cLong)
1273     ResultReg = makeAnotherReg (I.getType ());
1274
1275   if (Class == cLong) {
1276     const char *FuncName;
1277     DEBUG (std::cerr << "Class = cLong\n");
1278     DEBUG (std::cerr << "Op0Reg = " << Op0Reg << ", " << Op0Reg+1 << "\n");
1279     DEBUG (std::cerr << "Op1Reg = " << Op1Reg << ", " << Op1Reg+1 << "\n");
1280     DEBUG (std::cerr << "ResultReg = " << ResultReg << ", " << ResultReg+1 << "\n");
1281     DEBUG (std::cerr << "DestReg = " << DestReg << ", " << DestReg+1 <<  "\n");
1282     switch (I.getOpcode ()) {
1283     case Instruction::Add:
1284       BuildMI (BB, V8::ADDCCrr, 2, ResultReg+1).addReg (Op0Reg+1)
1285         .addReg (Op1Reg+1);
1286       BuildMI (BB, V8::ADDXrr, 2, ResultReg).addReg (Op0Reg).addReg (Op1Reg);
1287       return;
1288     case Instruction::Sub:
1289       BuildMI (BB, V8::SUBCCrr, 2, ResultReg+1).addReg (Op0Reg+1)
1290         .addReg (Op1Reg+1);
1291       BuildMI (BB, V8::SUBXrr, 2, ResultReg).addReg (Op0Reg).addReg (Op1Reg);
1292       return;
1293     case Instruction::Mul:
1294       FuncName = I.getType ()->isSigned () ? "__mul64" : "__umul64";
1295       emitOp64LibraryCall (BB, BB->end (), DestReg, FuncName, Op0Reg, Op1Reg);
1296       return;
1297     case Instruction::Div:
1298       FuncName = I.getType ()->isSigned () ? "__div64" : "__udiv64";
1299       emitOp64LibraryCall (BB, BB->end (), DestReg, FuncName, Op0Reg, Op1Reg);
1300       return;
1301     case Instruction::Rem:
1302       FuncName = I.getType ()->isSigned () ? "__rem64" : "__urem64";
1303       emitOp64LibraryCall (BB, BB->end (), DestReg, FuncName, Op0Reg, Op1Reg);
1304       return;
1305     case Instruction::Shl:
1306     case Instruction::Shr:
1307       emitShift64 (BB, BB->end (), I, DestReg, Op0Reg, Op1Reg);
1308       return;
1309     }
1310   }
1311
1312   // FIXME: support long, ulong.
1313   switch (I.getOpcode ()) {
1314   case Instruction::Add: OpCase = 0; break;
1315   case Instruction::Sub: OpCase = 1; break;
1316   case Instruction::Mul: OpCase = 2; break;
1317   case Instruction::And: OpCase = 3; break;
1318   case Instruction::Or:  OpCase = 4; break;
1319   case Instruction::Xor: OpCase = 5; break;
1320   case Instruction::Shl: OpCase = 6; break;
1321   case Instruction::Shr: OpCase = 7+I.getType()->isSigned(); break;
1322
1323   case Instruction::Div:
1324   case Instruction::Rem: {
1325     unsigned Dest = ResultReg;
1326     if (I.getOpcode() == Instruction::Rem)
1327       Dest = makeAnotherReg(I.getType());
1328
1329     // FIXME: this is probably only right for 32 bit operands.
1330     if (I.getType ()->isSigned()) {
1331       unsigned Tmp = makeAnotherReg (I.getType ());
1332       // Sign extend into the Y register
1333       BuildMI (BB, V8::SRAri, 2, Tmp).addReg (Op0Reg).addZImm (31);
1334       BuildMI (BB, V8::WRrr, 2, V8::Y).addReg (Tmp).addReg (V8::G0);
1335       BuildMI (BB, V8::SDIVrr, 2, Dest).addReg (Op0Reg).addReg (Op1Reg);
1336     } else {
1337       // Zero extend into the Y register, ie, just set it to zero
1338       BuildMI (BB, V8::WRrr, 2, V8::Y).addReg (V8::G0).addReg (V8::G0);
1339       BuildMI (BB, V8::UDIVrr, 2, Dest).addReg (Op0Reg).addReg (Op1Reg);
1340     }
1341
1342     if (I.getOpcode() == Instruction::Rem) {
1343       unsigned Tmp = makeAnotherReg (I.getType ());
1344       BuildMI (BB, V8::SMULrr, 2, Tmp).addReg(Dest).addReg(Op1Reg);
1345       BuildMI (BB, V8::SUBrr, 2, ResultReg).addReg(Op0Reg).addReg(Tmp);
1346     }
1347     break;
1348   }
1349   default:
1350     visitInstruction (I);
1351     return;
1352   }
1353
1354   static const unsigned Opcodes[] = {
1355     V8::ADDrr, V8::SUBrr, V8::SMULrr, V8::ANDrr, V8::ORrr, V8::XORrr,
1356     V8::SLLrr, V8::SRLrr, V8::SRArr
1357   };
1358   if (OpCase != ~0U) {
1359     BuildMI (BB, Opcodes[OpCase], 2, ResultReg).addReg (Op0Reg).addReg (Op1Reg);
1360   }
1361
1362   switch (getClassB (I.getType ())) {
1363     case cByte: 
1364       if (I.getType ()->isSigned ()) { // add byte
1365         BuildMI (BB, V8::ANDri, 2, DestReg).addReg (ResultReg).addZImm (0xff);
1366       } else { // add ubyte
1367         unsigned TmpReg = makeAnotherReg (I.getType ());
1368         BuildMI (BB, V8::SLLri, 2, TmpReg).addReg (ResultReg).addZImm (24);
1369         BuildMI (BB, V8::SRAri, 2, DestReg).addReg (TmpReg).addZImm (24);
1370       }
1371       break;
1372     case cShort:
1373       if (I.getType ()->isSigned ()) { // add short
1374         unsigned TmpReg = makeAnotherReg (I.getType ());
1375         BuildMI (BB, V8::SLLri, 2, TmpReg).addReg (ResultReg).addZImm (16);
1376         BuildMI (BB, V8::SRAri, 2, DestReg).addReg (TmpReg).addZImm (16);
1377       } else { // add ushort
1378         unsigned TmpReg = makeAnotherReg (I.getType ());
1379         BuildMI (BB, V8::SLLri, 2, TmpReg).addReg (ResultReg).addZImm (16);
1380         BuildMI (BB, V8::SRLri, 2, DestReg).addReg (TmpReg).addZImm (16);
1381       }
1382       break;
1383     case cInt:
1384       // Nothing to do here.
1385       break;
1386     case cLong:
1387       // Only support and, or, xor here - others taken care of above.
1388       if (OpCase < 3 || OpCase > 5) {
1389         visitInstruction (I);
1390         return;
1391       }
1392       // Do the other half of the value:
1393       BuildMI (BB, Opcodes[OpCase], 2, ResultReg+1).addReg (Op0Reg+1)
1394         .addReg (Op1Reg+1);
1395       break;
1396     default:
1397       visitInstruction (I);
1398   }
1399 }
1400
1401 void V8ISel::visitSetCondInst(SetCondInst &I) {
1402   unsigned Op0Reg = getReg (I.getOperand (0));
1403   unsigned Op1Reg = getReg (I.getOperand (1));
1404   unsigned DestReg = getReg (I);
1405   const Type *Ty = I.getOperand (0)->getType ();
1406   
1407   // Compare the two values.
1408   if (getClass (Ty) < cLong) {
1409     BuildMI(BB, V8::SUBCCrr, 2, V8::G0).addReg(Op0Reg).addReg(Op1Reg);
1410   } else if (getClass (Ty) == cLong) {
1411     switch (I.getOpcode()) {
1412     default: assert(0 && "Unknown setcc instruction!");
1413     case Instruction::SetEQ:
1414     case Instruction::SetNE: {
1415       unsigned TempReg0 = makeAnotherReg (Type::IntTy),
1416                TempReg1 = makeAnotherReg (Type::IntTy),
1417                TempReg2 = makeAnotherReg (Type::IntTy),
1418                TempReg3 = makeAnotherReg (Type::IntTy);
1419       MachineOpCode Opcode;
1420       int Immed;
1421       // These guys are special - no branches needed!
1422       BuildMI (BB, V8::XORrr, 2, TempReg0).addReg (Op0Reg+1).addReg (Op1Reg+1);
1423       BuildMI (BB, V8::XORrr, 2, TempReg1).addReg (Op0Reg).addReg (Op1Reg);
1424       BuildMI (BB, V8::SUBCCrr, 2, V8::G0).addReg (V8::G0).addReg (TempReg1);
1425       Opcode = I.getOpcode() == Instruction::SetEQ ? V8::SUBXri : V8::ADDXri;
1426       Immed  = I.getOpcode() == Instruction::SetEQ ? -1         : 0;
1427       BuildMI (BB, Opcode, 2, TempReg2).addReg (V8::G0).addSImm (Immed);
1428       BuildMI (BB, V8::SUBCCrr, 2, V8::G0).addReg (V8::G0).addReg (TempReg0);
1429       BuildMI (BB, Opcode, 2, TempReg3).addReg (V8::G0).addSImm (Immed);
1430       Opcode = I.getOpcode() == Instruction::SetEQ ? V8::ANDrr  : V8::ORrr;
1431       BuildMI (BB, Opcode, 2, DestReg).addReg (TempReg2).addReg (TempReg3);
1432       return;
1433     }
1434     case Instruction::SetLT:
1435     case Instruction::SetGE:
1436       BuildMI (BB, V8::SUBCCrr, 2, V8::G0).addReg (Op0Reg+1).addReg (Op1Reg+1);
1437       BuildMI (BB, V8::SUBXCCrr, 2, V8::G0).addReg (Op0Reg).addReg (Op1Reg);
1438       break;
1439     case Instruction::SetGT:
1440     case Instruction::SetLE:
1441       BuildMI (BB, V8::SUBCCri, 2, V8::G0).addReg (V8::G0).addSImm (1);
1442       BuildMI (BB, V8::SUBXCCrr, 2, V8::G0).addReg (Op0Reg+1).addReg (Op1Reg+1);
1443       BuildMI (BB, V8::SUBXCCrr, 2, V8::G0).addReg (Op0Reg).addReg (Op1Reg);
1444       break;
1445     }
1446   } else if (getClass (Ty) == cFloat) {
1447     BuildMI(BB, V8::FCMPS, 2).addReg(Op0Reg).addReg(Op1Reg);
1448   } else if (getClass (Ty) == cDouble) {
1449     BuildMI(BB, V8::FCMPD, 2).addReg(Op0Reg).addReg(Op1Reg);
1450   }
1451
1452   unsigned BranchIdx;
1453   switch (I.getOpcode()) {
1454   default: assert(0 && "Unknown setcc instruction!");
1455   case Instruction::SetEQ: BranchIdx = 0; break;
1456   case Instruction::SetNE: BranchIdx = 1; break;
1457   case Instruction::SetLT: BranchIdx = 2; break;
1458   case Instruction::SetGT: BranchIdx = 3; break;
1459   case Instruction::SetLE: BranchIdx = 4; break;
1460   case Instruction::SetGE: BranchIdx = 5; break;
1461   }
1462
1463   unsigned Column = 0;
1464   if (Ty->isSigned() && !Ty->isFloatingPoint()) Column = 1;
1465   if (Ty->isFloatingPoint()) Column = 2;
1466   static unsigned OpcodeTab[3*6] = {
1467                                  // LLVM            SparcV8
1468                                  //        unsigned signed  fp
1469     V8::BE,   V8::BE,  V8::FBE,  // seteq = be      be      fbe
1470     V8::BNE,  V8::BNE, V8::FBNE, // setne = bne     bne     fbne
1471     V8::BCS,  V8::BL,  V8::FBL,  // setlt = bcs     bl      fbl
1472     V8::BGU,  V8::BG,  V8::FBG,  // setgt = bgu     bg      fbg
1473     V8::BLEU, V8::BLE, V8::FBLE, // setle = bleu    ble     fble
1474     V8::BCC,  V8::BGE, V8::FBGE  // setge = bcc     bge     fbge
1475   };
1476   unsigned Opcode = OpcodeTab[3*BranchIdx + Column];
1477
1478   MachineBasicBlock *thisMBB = BB;
1479   const BasicBlock *LLVM_BB = BB->getBasicBlock ();
1480   //  thisMBB:
1481   //  ...
1482   //   subcc %reg0, %reg1, %g0
1483   //   bCC copy1MBB
1484   //   ba copy0MBB
1485
1486   // FIXME: we wouldn't need copy0MBB (we could fold it into thisMBB)
1487   // if we could insert other, non-terminator instructions after the
1488   // bCC. But MBB->getFirstTerminator() can't understand this.
1489   MachineBasicBlock *copy1MBB = new MachineBasicBlock (LLVM_BB);
1490   F->getBasicBlockList ().push_back (copy1MBB);
1491   BuildMI (BB, Opcode, 1).addMBB (copy1MBB);
1492   MachineBasicBlock *copy0MBB = new MachineBasicBlock (LLVM_BB);
1493   F->getBasicBlockList ().push_back (copy0MBB);
1494   BuildMI (BB, V8::BA, 1).addMBB (copy0MBB);
1495   // Update machine-CFG edges
1496   BB->addSuccessor (copy1MBB);
1497   BB->addSuccessor (copy0MBB);
1498
1499   //  copy0MBB:
1500   //   %FalseValue = or %G0, 0
1501   //   ba sinkMBB
1502   BB = copy0MBB;
1503   unsigned FalseValue = makeAnotherReg (I.getType ());
1504   BuildMI (BB, V8::ORri, 2, FalseValue).addReg (V8::G0).addZImm (0);
1505   MachineBasicBlock *sinkMBB = new MachineBasicBlock (LLVM_BB);
1506   F->getBasicBlockList ().push_back (sinkMBB);
1507   BuildMI (BB, V8::BA, 1).addMBB (sinkMBB);
1508   // Update machine-CFG edges
1509   BB->addSuccessor (sinkMBB);
1510
1511   DEBUG (std::cerr << "thisMBB is at " << (void*)thisMBB << "\n");
1512   DEBUG (std::cerr << "copy1MBB is at " << (void*)copy1MBB << "\n");
1513   DEBUG (std::cerr << "copy0MBB is at " << (void*)copy0MBB << "\n");
1514   DEBUG (std::cerr << "sinkMBB is at " << (void*)sinkMBB << "\n");
1515
1516   //  copy1MBB:
1517   //   %TrueValue = or %G0, 1
1518   //   ba sinkMBB
1519   BB = copy1MBB;
1520   unsigned TrueValue = makeAnotherReg (I.getType ());
1521   BuildMI (BB, V8::ORri, 2, TrueValue).addReg (V8::G0).addZImm (1);
1522   BuildMI (BB, V8::BA, 1).addMBB (sinkMBB);
1523   // Update machine-CFG edges
1524   BB->addSuccessor (sinkMBB);
1525
1526   //  sinkMBB:
1527   //   %Result = phi [ %FalseValue, copy0MBB ], [ %TrueValue, copy1MBB ]
1528   //  ...
1529   BB = sinkMBB;
1530   BuildMI (BB, V8::PHI, 4, DestReg).addReg (FalseValue)
1531     .addMBB (copy0MBB).addReg (TrueValue).addMBB (copy1MBB);
1532 }
1533
1534 void V8ISel::visitAllocaInst(AllocaInst &I) {
1535   // Find the data size of the alloca inst's getAllocatedType.
1536   const Type *Ty = I.getAllocatedType();
1537   unsigned TySize = TM.getTargetData().getTypeSize(Ty);
1538
1539   unsigned ArraySizeReg = getReg (I.getArraySize ());
1540   unsigned TySizeReg = getReg (ConstantUInt::get (Type::UIntTy, TySize));
1541   unsigned TmpReg1 = makeAnotherReg (Type::UIntTy);
1542   unsigned TmpReg2 = makeAnotherReg (Type::UIntTy);
1543   unsigned StackAdjReg = makeAnotherReg (Type::UIntTy);
1544
1545   // StackAdjReg = (ArraySize * TySize) rounded up to nearest
1546   // doubleword boundary.
1547   BuildMI (BB, V8::UMULrr, 2, TmpReg1).addReg (ArraySizeReg).addReg (TySizeReg);
1548
1549   // Round up TmpReg1 to nearest doubleword boundary:
1550   BuildMI (BB, V8::ADDri, 2, TmpReg2).addReg (TmpReg1).addSImm (7);
1551   BuildMI (BB, V8::ANDri, 2, StackAdjReg).addReg (TmpReg2).addSImm (-8);
1552
1553   // Subtract size from stack pointer, thereby allocating some space.
1554   BuildMI (BB, V8::SUBrr, 2, V8::SP).addReg (V8::SP).addReg (StackAdjReg);
1555
1556   // Put a pointer to the space into the result register, by copying
1557   // the stack pointer.
1558   BuildMI (BB, V8::ADDri, 2, getReg(I)).addReg (V8::SP).addSImm (96);
1559
1560   // Inform the Frame Information that we have just allocated a variable-sized
1561   // object.
1562   F->getFrameInfo()->CreateVariableSizedObject();
1563 }
1564
1565 /// LowerUnknownIntrinsicFunctionCalls - This performs a prepass over the
1566 /// function, lowering any calls to unknown intrinsic functions into the
1567 /// equivalent LLVM code.
1568 void V8ISel::LowerUnknownIntrinsicFunctionCalls(Function &F) {
1569   for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
1570     for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; )
1571       if (CallInst *CI = dyn_cast<CallInst>(I++))
1572         if (Function *F = CI->getCalledFunction())
1573           switch (F->getIntrinsicID()) {
1574           case Intrinsic::vastart:
1575           case Intrinsic::vacopy:
1576           case Intrinsic::vaend:
1577             // We directly implement these intrinsics
1578           case Intrinsic::not_intrinsic: break;
1579           default:
1580             // All other intrinsic calls we must lower.
1581             Instruction *Before = CI->getPrev();
1582             TM.getIntrinsicLowering().LowerIntrinsicCall(CI);
1583             if (Before) {        // Move iterator to instruction after call
1584               I = Before;  ++I;
1585             } else {
1586               I = BB->begin();
1587             }
1588           }
1589 }
1590
1591
1592 void V8ISel::visitIntrinsicCall(Intrinsic::ID ID, CallInst &CI) {
1593   switch (ID) {
1594   default:
1595     std::cerr << "Sorry, unknown intrinsic function call:\n" << CI; abort ();
1596
1597   case Intrinsic::vastart: {
1598     // Add the VarArgsOffset to the frame pointer, and copy it to the result.
1599     unsigned DestReg = getReg (CI);
1600     BuildMI (BB, V8::ADDri, 2, DestReg).addReg (V8::FP).addSImm (VarArgsOffset);
1601     return;
1602   }
1603
1604   case Intrinsic::vaend:
1605     // va_end is a no-op on SparcV8.
1606     return;
1607
1608   case Intrinsic::vacopy: {
1609     // Copy the va_list ptr (arg1) to the result.
1610     unsigned DestReg = getReg (CI), SrcReg = getReg (CI.getOperand (1));
1611     BuildMI (BB, V8::ORrr, 2, DestReg).addReg (V8::G0).addReg (SrcReg);
1612     return;
1613   }
1614   }
1615 }
1616
1617 void V8ISel::visitVANextInst (VANextInst &I) {
1618   // Add the type size to the vararg pointer (arg0).
1619   unsigned DestReg = getReg (I);
1620   unsigned SrcReg = getReg (I.getOperand (0));
1621   unsigned TySize = TM.getTargetData ().getTypeSize (I.getArgType ());
1622   BuildMI (BB, V8::ADDri, 2, DestReg).addReg (SrcReg).addSImm (TySize);
1623 }
1624
1625 void V8ISel::visitVAArgInst (VAArgInst &I) {
1626   unsigned VAList = getReg (I.getOperand (0));
1627   unsigned DestReg = getReg (I);
1628
1629   switch (I.getType ()->getTypeID ()) {
1630   case Type::PointerTyID:
1631   case Type::UIntTyID:
1632   case Type::IntTyID:
1633         BuildMI (BB, V8::LD, 2, DestReg).addReg (VAList).addSImm (0);
1634     return;
1635
1636   case Type::ULongTyID:
1637   case Type::LongTyID:
1638         BuildMI (BB, V8::LD, 2, DestReg).addReg (VAList).addSImm (0);
1639         BuildMI (BB, V8::LD, 2, DestReg+1).addReg (VAList).addSImm (4);
1640     return;
1641
1642   case Type::DoubleTyID: {
1643     unsigned DblAlign = TM.getTargetData().getDoubleAlignment();
1644     unsigned TempReg = makeAnotherReg (Type::IntTy);
1645     unsigned TempReg2 = makeAnotherReg (Type::IntTy);
1646     int FI = F->getFrameInfo()->CreateStackObject(8, DblAlign);
1647     BuildMI (BB, V8::LD, 2, TempReg).addReg (VAList).addSImm (0);
1648     BuildMI (BB, V8::LD, 2, TempReg2).addReg (VAList).addSImm (4);
1649     BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (0).addReg (TempReg);
1650     BuildMI (BB, V8::ST, 3).addFrameIndex (FI).addSImm (4).addReg (TempReg2);
1651     BuildMI (BB, V8::LDDFri, 2, DestReg).addFrameIndex (FI).addSImm (0);
1652     return;
1653   }
1654
1655   default:
1656     std::cerr << "Sorry, vaarg instruction of this type still unsupported:\n"
1657               << I;
1658     abort ();
1659     return;
1660   }
1661 }