blob: edc464c39b702df0188fa5ac2f42a3f265b29816 [file] [log] [blame]
Dan Gohman1adf1b02008-08-19 21:45:35 +00001//===-- X86FastISel.cpp - X86 FastISel implementation ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines the X86-specific support for the FastISel class. Much
11// of the target-specific code is generated by tablegen in the file
12// X86GenFastISel.inc, which is #included here.
13//
14//===----------------------------------------------------------------------===//
15
16#include "X86.h"
Evan Cheng8b19e562008-09-03 06:44:39 +000017#include "X86InstrBuilder.h"
Dan Gohman1adf1b02008-08-19 21:45:35 +000018#include "X86ISelLowering.h"
Evan Cheng88e30412008-09-03 01:04:47 +000019#include "X86RegisterInfo.h"
20#include "X86Subtarget.h"
Dan Gohman22bb3112008-08-22 00:20:26 +000021#include "X86TargetMachine.h"
Evan Chengf3d4efe2008-09-07 09:09:33 +000022#include "llvm/CallingConv.h"
Dan Gohman6e3f05f2008-09-04 23:26:51 +000023#include "llvm/DerivedTypes.h"
Dan Gohmane9865942009-02-23 22:03:08 +000024#include "llvm/GlobalVariable.h"
Evan Chengf3d4efe2008-09-07 09:09:33 +000025#include "llvm/Instructions.h"
Chris Lattnera9a42252009-04-12 07:36:01 +000026#include "llvm/IntrinsicInst.h"
Evan Chengc3f44b02008-09-03 00:03:49 +000027#include "llvm/CodeGen/FastISel.h"
Owen Anderson95267a12008-09-05 00:06:23 +000028#include "llvm/CodeGen/MachineConstantPool.h"
Evan Chengf3d4efe2008-09-07 09:09:33 +000029#include "llvm/CodeGen/MachineFrameInfo.h"
Owen Anderson667d8f72008-08-29 17:45:56 +000030#include "llvm/CodeGen/MachineRegisterInfo.h"
Evan Chengf3d4efe2008-09-07 09:09:33 +000031#include "llvm/Support/CallSite.h"
Dan Gohman35893082008-09-18 23:23:44 +000032#include "llvm/Support/GetElementPtrTypeIterator.h"
Dan Gohman7d04e4a2009-05-04 19:50:33 +000033#include "llvm/Target/TargetOptions.h"
Evan Chengc3f44b02008-09-03 00:03:49 +000034using namespace llvm;
35
Chris Lattner087fcf32009-03-08 18:44:31 +000036namespace {
37
Evan Chengc3f44b02008-09-03 00:03:49 +000038class X86FastISel : public FastISel {
39 /// Subtarget - Keep a pointer to the X86Subtarget around so that we can
40 /// make the right decision when generating code for different targets.
41 const X86Subtarget *Subtarget;
Evan Chengf3d4efe2008-09-07 09:09:33 +000042
43 /// StackPtr - Register used as the stack pointer.
44 ///
45 unsigned StackPtr;
46
47 /// X86ScalarSSEf32, X86ScalarSSEf64 - Select between SSE or x87
48 /// floating point ops.
49 /// When SSE is available, use it for f32 operations.
50 /// When SSE2 is available, use it for f64 operations.
51 bool X86ScalarSSEf64;
52 bool X86ScalarSSEf32;
53
Evan Cheng8b19e562008-09-03 06:44:39 +000054public:
Dan Gohman3df24e62008-09-03 23:12:08 +000055 explicit X86FastISel(MachineFunction &mf,
Dan Gohmand57dd5f2008-09-23 21:53:34 +000056 MachineModuleInfo *mmi,
Devang Patel83489bb2009-01-13 00:35:13 +000057 DwarfWriter *dw,
Dan Gohman3df24e62008-09-03 23:12:08 +000058 DenseMap<const Value *, unsigned> &vm,
Dan Gohman0586d912008-09-10 20:11:02 +000059 DenseMap<const BasicBlock *, MachineBasicBlock *> &bm,
Dan Gohmandd5b58a2008-10-14 23:54:11 +000060 DenseMap<const AllocaInst *, int> &am
61#ifndef NDEBUG
62 , SmallSet<Instruction*, 8> &cil
63#endif
64 )
Devang Patel83489bb2009-01-13 00:35:13 +000065 : FastISel(mf, mmi, dw, vm, bm, am
Dan Gohmandd5b58a2008-10-14 23:54:11 +000066#ifndef NDEBUG
67 , cil
68#endif
69 ) {
Evan Cheng88e30412008-09-03 01:04:47 +000070 Subtarget = &TM.getSubtarget<X86Subtarget>();
Evan Chengf3d4efe2008-09-07 09:09:33 +000071 StackPtr = Subtarget->is64Bit() ? X86::RSP : X86::ESP;
72 X86ScalarSSEf64 = Subtarget->hasSSE2();
73 X86ScalarSSEf32 = Subtarget->hasSSE1();
Evan Cheng88e30412008-09-03 01:04:47 +000074 }
Evan Chengc3f44b02008-09-03 00:03:49 +000075
Dan Gohman3df24e62008-09-03 23:12:08 +000076 virtual bool TargetSelectInstruction(Instruction *I);
Evan Chengc3f44b02008-09-03 00:03:49 +000077
Dan Gohman1adf1b02008-08-19 21:45:35 +000078#include "X86GenFastISel.inc"
Evan Cheng8b19e562008-09-03 06:44:39 +000079
80private:
Chris Lattner9a08a612008-10-15 04:26:38 +000081 bool X86FastEmitCompare(Value *LHS, Value *RHS, MVT VT);
82
Dan Gohman0586d912008-09-10 20:11:02 +000083 bool X86FastEmitLoad(MVT VT, const X86AddressMode &AM, unsigned &RR);
Evan Cheng0de588f2008-09-05 21:00:03 +000084
Chris Lattner438949a2008-10-15 05:30:52 +000085 bool X86FastEmitStore(MVT VT, Value *Val,
86 const X86AddressMode &AM);
Evan Chengf3d4efe2008-09-07 09:09:33 +000087 bool X86FastEmitStore(MVT VT, unsigned Val,
Dan Gohman0586d912008-09-10 20:11:02 +000088 const X86AddressMode &AM);
Evan Cheng24e3a902008-09-08 06:35:17 +000089
90 bool X86FastEmitExtend(ISD::NodeType Opc, MVT DstVT, unsigned Src, MVT SrcVT,
91 unsigned &ResultReg);
Evan Cheng0de588f2008-09-05 21:00:03 +000092
Chris Lattner0aa43de2009-07-10 05:33:42 +000093 bool X86SelectAddress(Value *V, X86AddressMode &AM);
94 bool X86SelectCallAddress(Value *V, X86AddressMode &AM);
Dan Gohman0586d912008-09-10 20:11:02 +000095
Dan Gohman3df24e62008-09-03 23:12:08 +000096 bool X86SelectLoad(Instruction *I);
Owen Andersona3971df2008-09-04 07:08:58 +000097
98 bool X86SelectStore(Instruction *I);
Dan Gohman6e3f05f2008-09-04 23:26:51 +000099
100 bool X86SelectCmp(Instruction *I);
Dan Gohmand89ae992008-09-05 01:06:14 +0000101
102 bool X86SelectZExt(Instruction *I);
103
104 bool X86SelectBranch(Instruction *I);
Dan Gohmanc39f4db2008-09-05 18:30:08 +0000105
106 bool X86SelectShift(Instruction *I);
107
108 bool X86SelectSelect(Instruction *I);
Evan Cheng0de588f2008-09-05 21:00:03 +0000109
Evan Cheng10a8d9c2008-09-07 08:47:42 +0000110 bool X86SelectTrunc(Instruction *I);
Dan Gohmand98d6202008-10-02 22:15:21 +0000111
Dan Gohman78efce62008-09-10 21:02:08 +0000112 bool X86SelectFPExt(Instruction *I);
113 bool X86SelectFPTrunc(Instruction *I);
114
Bill Wendling52370a12008-12-09 02:42:50 +0000115 bool X86SelectExtractValue(Instruction *I);
116
Chris Lattnera9a42252009-04-12 07:36:01 +0000117 bool X86VisitIntrinsicCall(IntrinsicInst &I);
Evan Chengf3d4efe2008-09-07 09:09:33 +0000118 bool X86SelectCall(Instruction *I);
119
120 CCAssignFn *CCAssignFnForCall(unsigned CC, bool isTailCall = false);
121
Dan Gohman2cc3aa42008-09-25 15:24:26 +0000122 const X86InstrInfo *getInstrInfo() const {
Dan Gohman97135e12008-09-26 19:15:30 +0000123 return getTargetMachine()->getInstrInfo();
124 }
125 const X86TargetMachine *getTargetMachine() const {
126 return static_cast<const X86TargetMachine *>(&TM);
Dan Gohman2cc3aa42008-09-25 15:24:26 +0000127 }
128
Dan Gohman0586d912008-09-10 20:11:02 +0000129 unsigned TargetMaterializeConstant(Constant *C);
130
131 unsigned TargetMaterializeAlloca(AllocaInst *C);
Evan Chengf3d4efe2008-09-07 09:09:33 +0000132
133 /// isScalarFPTypeInSSEReg - Return true if the specified scalar FP type is
134 /// computed in an SSE register, not on the X87 floating point stack.
135 bool isScalarFPTypeInSSEReg(MVT VT) const {
136 return (VT == MVT::f64 && X86ScalarSSEf64) || // f64 is when SSE2
137 (VT == MVT::f32 && X86ScalarSSEf32); // f32 is when SSE1
138 }
139
Chris Lattner160f6cc2008-10-15 05:07:36 +0000140 bool isTypeLegal(const Type *Ty, MVT &VT, bool AllowI1 = false);
Evan Chengc3f44b02008-09-03 00:03:49 +0000141};
Chris Lattner087fcf32009-03-08 18:44:31 +0000142
143} // end anonymous namespace.
Dan Gohman99b21822008-08-28 23:21:34 +0000144
Chris Lattner160f6cc2008-10-15 05:07:36 +0000145bool X86FastISel::isTypeLegal(const Type *Ty, MVT &VT, bool AllowI1) {
146 VT = TLI.getValueType(Ty, /*HandleUnknown=*/true);
Evan Chengf3d4efe2008-09-07 09:09:33 +0000147 if (VT == MVT::Other || !VT.isSimple())
148 // Unhandled type. Halt "fast" selection and bail.
149 return false;
Chris Lattner160f6cc2008-10-15 05:07:36 +0000150
Dan Gohman9b66d732008-09-30 00:48:39 +0000151 // For now, require SSE/SSE2 for performing floating-point operations,
152 // since x87 requires additional work.
153 if (VT == MVT::f64 && !X86ScalarSSEf64)
154 return false;
155 if (VT == MVT::f32 && !X86ScalarSSEf32)
156 return false;
157 // Similarly, no f80 support yet.
158 if (VT == MVT::f80)
159 return false;
Evan Chengf3d4efe2008-09-07 09:09:33 +0000160 // We only handle legal types. For example, on x86-32 the instruction
161 // selector contains all of the 64-bit instructions from x86-64,
162 // under the assumption that i64 won't be used if the target doesn't
163 // support it.
Evan Chengdebdea02008-09-08 17:15:42 +0000164 return (AllowI1 && VT == MVT::i1) || TLI.isTypeLegal(VT);
Evan Chengf3d4efe2008-09-07 09:09:33 +0000165}
166
167#include "X86GenCallingConv.inc"
168
169/// CCAssignFnForCall - Selects the correct CCAssignFn for a given calling
170/// convention.
171CCAssignFn *X86FastISel::CCAssignFnForCall(unsigned CC, bool isTaillCall) {
172 if (Subtarget->is64Bit()) {
173 if (Subtarget->isTargetWin64())
174 return CC_X86_Win64_C;
Evan Chengf3d4efe2008-09-07 09:09:33 +0000175 else
176 return CC_X86_64_C;
177 }
178
179 if (CC == CallingConv::X86_FastCall)
180 return CC_X86_32_FastCall;
Evan Chengf3d4efe2008-09-07 09:09:33 +0000181 else if (CC == CallingConv::Fast)
182 return CC_X86_32_FastCC;
183 else
184 return CC_X86_32_C;
185}
186
Evan Cheng0de588f2008-09-05 21:00:03 +0000187/// X86FastEmitLoad - Emit a machine instruction to load a value of type VT.
Evan Chengf3d4efe2008-09-07 09:09:33 +0000188/// The address is either pre-computed, i.e. Ptr, or a GlobalAddress, i.e. GV.
Evan Cheng0de588f2008-09-05 21:00:03 +0000189/// Return true and the result register by reference if it is possible.
Dan Gohman0586d912008-09-10 20:11:02 +0000190bool X86FastISel::X86FastEmitLoad(MVT VT, const X86AddressMode &AM,
Evan Cheng0de588f2008-09-05 21:00:03 +0000191 unsigned &ResultReg) {
192 // Get opcode and regclass of the output for the given load instruction.
193 unsigned Opc = 0;
194 const TargetRegisterClass *RC = NULL;
195 switch (VT.getSimpleVT()) {
196 default: return false;
197 case MVT::i8:
198 Opc = X86::MOV8rm;
199 RC = X86::GR8RegisterClass;
200 break;
201 case MVT::i16:
202 Opc = X86::MOV16rm;
203 RC = X86::GR16RegisterClass;
204 break;
205 case MVT::i32:
206 Opc = X86::MOV32rm;
207 RC = X86::GR32RegisterClass;
208 break;
209 case MVT::i64:
210 // Must be in x86-64 mode.
211 Opc = X86::MOV64rm;
212 RC = X86::GR64RegisterClass;
213 break;
214 case MVT::f32:
215 if (Subtarget->hasSSE1()) {
216 Opc = X86::MOVSSrm;
217 RC = X86::FR32RegisterClass;
218 } else {
219 Opc = X86::LD_Fp32m;
220 RC = X86::RFP32RegisterClass;
221 }
222 break;
223 case MVT::f64:
224 if (Subtarget->hasSSE2()) {
225 Opc = X86::MOVSDrm;
226 RC = X86::FR64RegisterClass;
227 } else {
228 Opc = X86::LD_Fp64m;
229 RC = X86::RFP64RegisterClass;
230 }
231 break;
232 case MVT::f80:
Dan Gohman5af29c22008-09-26 01:39:32 +0000233 // No f80 support yet.
234 return false;
Evan Cheng0de588f2008-09-05 21:00:03 +0000235 }
236
237 ResultReg = createResultReg(RC);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000238 addFullAddress(BuildMI(MBB, DL, TII.get(Opc), ResultReg), AM);
Evan Cheng0de588f2008-09-05 21:00:03 +0000239 return true;
240}
241
Evan Chengf3d4efe2008-09-07 09:09:33 +0000242/// X86FastEmitStore - Emit a machine instruction to store a value Val of
243/// type VT. The address is either pre-computed, consisted of a base ptr, Ptr
244/// and a displacement offset, or a GlobalAddress,
Evan Cheng0de588f2008-09-05 21:00:03 +0000245/// i.e. V. Return true if it is possible.
246bool
Evan Chengf3d4efe2008-09-07 09:09:33 +0000247X86FastISel::X86FastEmitStore(MVT VT, unsigned Val,
Dan Gohman0586d912008-09-10 20:11:02 +0000248 const X86AddressMode &AM) {
Dan Gohman863890e2008-09-08 16:31:35 +0000249 // Get opcode and regclass of the output for the given store instruction.
Evan Cheng0de588f2008-09-05 21:00:03 +0000250 unsigned Opc = 0;
Evan Cheng0de588f2008-09-05 21:00:03 +0000251 switch (VT.getSimpleVT()) {
Chris Lattner241ab472008-10-15 05:38:32 +0000252 case MVT::f80: // No f80 support yet.
Evan Cheng0de588f2008-09-05 21:00:03 +0000253 default: return false;
Chris Lattner241ab472008-10-15 05:38:32 +0000254 case MVT::i8: Opc = X86::MOV8mr; break;
255 case MVT::i16: Opc = X86::MOV16mr; break;
256 case MVT::i32: Opc = X86::MOV32mr; break;
257 case MVT::i64: Opc = X86::MOV64mr; break; // Must be in x86-64 mode.
Evan Cheng0de588f2008-09-05 21:00:03 +0000258 case MVT::f32:
Chris Lattner438949a2008-10-15 05:30:52 +0000259 Opc = Subtarget->hasSSE1() ? X86::MOVSSmr : X86::ST_Fp32m;
Evan Cheng0de588f2008-09-05 21:00:03 +0000260 break;
261 case MVT::f64:
Chris Lattner438949a2008-10-15 05:30:52 +0000262 Opc = Subtarget->hasSSE2() ? X86::MOVSDmr : X86::ST_Fp64m;
Evan Cheng0de588f2008-09-05 21:00:03 +0000263 break;
Evan Cheng0de588f2008-09-05 21:00:03 +0000264 }
Chris Lattner438949a2008-10-15 05:30:52 +0000265
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000266 addFullAddress(BuildMI(MBB, DL, TII.get(Opc)), AM).addReg(Val);
Evan Cheng0de588f2008-09-05 21:00:03 +0000267 return true;
268}
269
Chris Lattner438949a2008-10-15 05:30:52 +0000270bool X86FastISel::X86FastEmitStore(MVT VT, Value *Val,
271 const X86AddressMode &AM) {
272 // Handle 'null' like i32/i64 0.
273 if (isa<ConstantPointerNull>(Val))
274 Val = Constant::getNullValue(TD.getIntPtrType());
275
276 // If this is a store of a simple constant, fold the constant into the store.
277 if (ConstantInt *CI = dyn_cast<ConstantInt>(Val)) {
278 unsigned Opc = 0;
279 switch (VT.getSimpleVT()) {
280 default: break;
281 case MVT::i8: Opc = X86::MOV8mi; break;
282 case MVT::i16: Opc = X86::MOV16mi; break;
283 case MVT::i32: Opc = X86::MOV32mi; break;
284 case MVT::i64:
285 // Must be a 32-bit sign extended value.
286 if ((int)CI->getSExtValue() == CI->getSExtValue())
287 Opc = X86::MOV64mi32;
288 break;
289 }
290
291 if (Opc) {
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000292 addFullAddress(BuildMI(MBB, DL, TII.get(Opc)), AM)
293 .addImm(CI->getSExtValue());
Chris Lattner438949a2008-10-15 05:30:52 +0000294 return true;
295 }
296 }
297
298 unsigned ValReg = getRegForValue(Val);
299 if (ValReg == 0)
Chris Lattner438949a2008-10-15 05:30:52 +0000300 return false;
301
302 return X86FastEmitStore(VT, ValReg, AM);
303}
304
Evan Cheng24e3a902008-09-08 06:35:17 +0000305/// X86FastEmitExtend - Emit a machine instruction to extend a value Src of
306/// type SrcVT to type DstVT using the specified extension opcode Opc (e.g.
307/// ISD::SIGN_EXTEND).
308bool X86FastISel::X86FastEmitExtend(ISD::NodeType Opc, MVT DstVT,
309 unsigned Src, MVT SrcVT,
310 unsigned &ResultReg) {
Owen Andersonac34a002008-09-11 19:44:55 +0000311 unsigned RR = FastEmit_r(SrcVT.getSimpleVT(), DstVT.getSimpleVT(), Opc, Src);
312
313 if (RR != 0) {
314 ResultReg = RR;
315 return true;
316 } else
317 return false;
Evan Cheng24e3a902008-09-08 06:35:17 +0000318}
319
Dan Gohman0586d912008-09-10 20:11:02 +0000320/// X86SelectAddress - Attempt to fill in an address from the given value.
321///
Chris Lattner0aa43de2009-07-10 05:33:42 +0000322bool X86FastISel::X86SelectAddress(Value *V, X86AddressMode &AM) {
Duncan Sands12513882009-06-03 12:05:18 +0000323 User *U = NULL;
Dan Gohman35893082008-09-18 23:23:44 +0000324 unsigned Opcode = Instruction::UserOp1;
325 if (Instruction *I = dyn_cast<Instruction>(V)) {
326 Opcode = I->getOpcode();
327 U = I;
328 } else if (ConstantExpr *C = dyn_cast<ConstantExpr>(V)) {
329 Opcode = C->getOpcode();
330 U = C;
331 }
Dan Gohman0586d912008-09-10 20:11:02 +0000332
Dan Gohman35893082008-09-18 23:23:44 +0000333 switch (Opcode) {
334 default: break;
335 case Instruction::BitCast:
336 // Look past bitcasts.
Chris Lattner0aa43de2009-07-10 05:33:42 +0000337 return X86SelectAddress(U->getOperand(0), AM);
Dan Gohman35893082008-09-18 23:23:44 +0000338
339 case Instruction::IntToPtr:
340 // Look past no-op inttoptrs.
341 if (TLI.getValueType(U->getOperand(0)->getType()) == TLI.getPointerTy())
Chris Lattner0aa43de2009-07-10 05:33:42 +0000342 return X86SelectAddress(U->getOperand(0), AM);
Dan Gohman55fdaec2008-12-08 23:50:06 +0000343 break;
Dan Gohman35893082008-09-18 23:23:44 +0000344
345 case Instruction::PtrToInt:
346 // Look past no-op ptrtoints.
347 if (TLI.getValueType(U->getType()) == TLI.getPointerTy())
Chris Lattner0aa43de2009-07-10 05:33:42 +0000348 return X86SelectAddress(U->getOperand(0), AM);
Dan Gohman55fdaec2008-12-08 23:50:06 +0000349 break;
Dan Gohman35893082008-09-18 23:23:44 +0000350
351 case Instruction::Alloca: {
352 // Do static allocas.
353 const AllocaInst *A = cast<AllocaInst>(V);
Dan Gohman0586d912008-09-10 20:11:02 +0000354 DenseMap<const AllocaInst*, int>::iterator SI = StaticAllocaMap.find(A);
Dan Gohman97135e12008-09-26 19:15:30 +0000355 if (SI != StaticAllocaMap.end()) {
356 AM.BaseType = X86AddressMode::FrameIndexBase;
357 AM.Base.FrameIndex = SI->second;
358 return true;
359 }
360 break;
Dan Gohman35893082008-09-18 23:23:44 +0000361 }
362
363 case Instruction::Add: {
364 // Adds of constants are common and easy enough.
365 if (ConstantInt *CI = dyn_cast<ConstantInt>(U->getOperand(1))) {
Dan Gohman09aae462008-09-26 20:04:15 +0000366 uint64_t Disp = (int32_t)AM.Disp + (uint64_t)CI->getSExtValue();
367 // They have to fit in the 32-bit signed displacement field though.
368 if (isInt32(Disp)) {
369 AM.Disp = (uint32_t)Disp;
Chris Lattner0aa43de2009-07-10 05:33:42 +0000370 return X86SelectAddress(U->getOperand(0), AM);
Dan Gohman09aae462008-09-26 20:04:15 +0000371 }
Dan Gohman0586d912008-09-10 20:11:02 +0000372 }
Dan Gohman35893082008-09-18 23:23:44 +0000373 break;
374 }
375
376 case Instruction::GetElementPtr: {
377 // Pattern-match simple GEPs.
Dan Gohman09aae462008-09-26 20:04:15 +0000378 uint64_t Disp = (int32_t)AM.Disp;
Dan Gohman35893082008-09-18 23:23:44 +0000379 unsigned IndexReg = AM.IndexReg;
380 unsigned Scale = AM.Scale;
381 gep_type_iterator GTI = gep_type_begin(U);
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +0000382 // Iterate through the indices, folding what we can. Constants can be
383 // folded, and one dynamic index can be handled, if the scale is supported.
Dan Gohman35893082008-09-18 23:23:44 +0000384 for (User::op_iterator i = U->op_begin() + 1, e = U->op_end();
385 i != e; ++i, ++GTI) {
386 Value *Op = *i;
387 if (const StructType *STy = dyn_cast<StructType>(*GTI)) {
388 const StructLayout *SL = TD.getStructLayout(STy);
389 unsigned Idx = cast<ConstantInt>(Op)->getZExtValue();
390 Disp += SL->getElementOffset(Idx);
391 } else {
Duncan Sands777d2302009-05-09 07:06:46 +0000392 uint64_t S = TD.getTypeAllocSize(GTI.getIndexedType());
Dan Gohman35893082008-09-18 23:23:44 +0000393 if (ConstantInt *CI = dyn_cast<ConstantInt>(Op)) {
394 // Constant-offset addressing.
Dan Gohman09aae462008-09-26 20:04:15 +0000395 Disp += CI->getSExtValue() * S;
Dan Gohman35893082008-09-18 23:23:44 +0000396 } else if (IndexReg == 0 &&
Chris Lattner4c1b6062009-06-27 05:24:12 +0000397 (!AM.GV || !Subtarget->isPICStyleRIPRel()) &&
Dan Gohman35893082008-09-18 23:23:44 +0000398 (S == 1 || S == 2 || S == 4 || S == 8)) {
399 // Scaled-index addressing.
400 Scale = S;
Dan Gohmanc8a1a3c2008-12-08 07:57:47 +0000401 IndexReg = getRegForGEPIndex(Op);
Dan Gohman35893082008-09-18 23:23:44 +0000402 if (IndexReg == 0)
403 return false;
404 } else
405 // Unsupported.
406 goto unsupported_gep;
407 }
408 }
Dan Gohman09aae462008-09-26 20:04:15 +0000409 // Check for displacement overflow.
410 if (!isInt32(Disp))
411 break;
Dan Gohman35893082008-09-18 23:23:44 +0000412 // Ok, the GEP indices were covered by constant-offset and scaled-index
413 // addressing. Update the address state and move on to examining the base.
414 AM.IndexReg = IndexReg;
415 AM.Scale = Scale;
Dan Gohman09aae462008-09-26 20:04:15 +0000416 AM.Disp = (uint32_t)Disp;
Chris Lattner0aa43de2009-07-10 05:33:42 +0000417 return X86SelectAddress(U->getOperand(0), AM);
Dan Gohman35893082008-09-18 23:23:44 +0000418 unsupported_gep:
419 // Ok, the GEP indices weren't all covered.
420 break;
421 }
422 }
423
424 // Handle constant address.
Dan Gohman2ff7fd12008-09-19 22:16:54 +0000425 if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
Dan Gohman2cc3aa42008-09-25 15:24:26 +0000426 // Can't handle alternate code models yet.
427 if (TM.getCodeModel() != CodeModel::Default &&
428 TM.getCodeModel() != CodeModel::Small)
429 return false;
430
Dan Gohman97135e12008-09-26 19:15:30 +0000431 // RIP-relative addresses can't have additional register operands.
Chris Lattner4c1b6062009-06-27 05:24:12 +0000432 if (Subtarget->isPICStyleRIPRel() &&
Dan Gohman97135e12008-09-26 19:15:30 +0000433 (AM.Base.Reg != 0 || AM.IndexReg != 0))
434 return false;
435
Dan Gohmane9865942009-02-23 22:03:08 +0000436 // Can't handle TLS yet.
437 if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
438 if (GVar->isThreadLocal())
439 return false;
440
Chris Lattnerff7727f2009-07-09 06:41:35 +0000441 // Okay, we've committed to selecting this global. Set up the basic address.
Dan Gohman2cc3aa42008-09-25 15:24:26 +0000442 AM.GV = GV;
Chris Lattner18c59872009-06-27 04:16:01 +0000443
Chris Lattner0aa43de2009-07-10 05:33:42 +0000444 if (TM.getRelocationModel() == Reloc::PIC_ &&
Chris Lattner75cdf272009-07-09 06:59:17 +0000445 !Subtarget->is64Bit()) {
446 // FIXME: How do we know Base.Reg is free??
Dan Gohman57c3dac2008-09-30 00:58:23 +0000447 AM.Base.Reg = getInstrInfo()->getGlobalBaseReg(&MF);
Chris Lattner75cdf272009-07-09 06:59:17 +0000448 }
Dan Gohman2cc3aa42008-09-25 15:24:26 +0000449
Chris Lattnerff7727f2009-07-09 06:41:35 +0000450 // If the ABI doesn't require an extra load, return a direct reference to
451 // the global.
Chris Lattner0aa43de2009-07-10 05:33:42 +0000452 if (!Subtarget->GVRequiresExtraLoad(GV, TM, false)) {
Chris Lattnerff7727f2009-07-09 06:41:35 +0000453 if (Subtarget->isPICStyleRIPRel()) {
454 // Use rip-relative addressing if we can. Above we verified that the
455 // base and index registers are unused.
456 assert(AM.Base.Reg == 0 && AM.IndexReg == 0);
457 AM.Base.Reg = X86::RIP;
Chris Lattner75cdf272009-07-09 06:59:17 +0000458 } else if (Subtarget->isPICStyleStub() &&
459 TM.getRelocationModel() == Reloc::PIC_) {
460 AM.GVOpFlags = X86II::MO_PIC_BASE_OFFSET;
461 } else if (Subtarget->isPICStyleGOT()) {
462 AM.GVOpFlags = X86II::MO_GOTOFF;
Dan Gohman7e8ef602008-09-19 23:42:04 +0000463 }
Chris Lattner35c28ec2009-07-01 03:27:19 +0000464
Chris Lattnerff7727f2009-07-09 06:41:35 +0000465 return true;
466 }
467
468 // Check to see if we've already materialized this stub loaded value into a
469 // register in this block. If so, just reuse it.
470 DenseMap<const Value*, unsigned>::iterator I = LocalValueMap.find(V);
471 unsigned LoadReg;
472 if (I != LocalValueMap.end() && I->second != 0) {
473 LoadReg = I->second;
474 } else {
Chris Lattner35c28ec2009-07-01 03:27:19 +0000475 // Issue load from stub.
Dan Gohman2ff7fd12008-09-19 22:16:54 +0000476 unsigned Opc = 0;
477 const TargetRegisterClass *RC = NULL;
Dan Gohman789ce772008-09-25 23:34:02 +0000478 X86AddressMode StubAM;
479 StubAM.Base.Reg = AM.Base.Reg;
Chris Lattner75cdf272009-07-09 06:59:17 +0000480 StubAM.GV = GV;
Chris Lattner35c28ec2009-07-01 03:27:19 +0000481
Chris Lattner75cdf272009-07-09 06:59:17 +0000482 if (TLI.getPointerTy() == MVT::i64) {
483 Opc = X86::MOV64rm;
484 RC = X86::GR64RegisterClass;
485
486 if (Subtarget->isPICStyleRIPRel()) {
487 StubAM.GVOpFlags = X86II::MO_GOTPCREL;
488 StubAM.Base.Reg = X86::RIP;
489 }
490
491 } else {
Chris Lattner35c28ec2009-07-01 03:27:19 +0000492 Opc = X86::MOV32rm;
493 RC = X86::GR32RegisterClass;
494
Chris Lattner15a380a2009-07-09 04:39:06 +0000495 if (Subtarget->isPICStyleGOT())
Chris Lattner35c28ec2009-07-01 03:27:19 +0000496 StubAM.GVOpFlags = X86II::MO_GOT;
Chris Lattner75cdf272009-07-09 06:59:17 +0000497 else if (Subtarget->isPICStyleStub()) {
498 // In darwin, we have multiple different stub types, and we have both
499 // PIC and -mdynamic-no-pic. Determine whether we have a stub
500 // reference and/or whether the reference is relative to the PIC base
501 // or not.
502 bool IsPIC = TM.getRelocationModel() == Reloc::PIC_;
503
504 if (!GV->hasHiddenVisibility()) {
505 // Non-hidden $non_lazy_ptr reference.
506 StubAM.GVOpFlags = IsPIC ? X86II::MO_DARWIN_NONLAZY_PIC_BASE :
507 X86II::MO_DARWIN_NONLAZY;
508 } else {
509 // Hidden $non_lazy_ptr reference.
510 StubAM.GVOpFlags = IsPIC ? X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
511 X86II::MO_DARWIN_HIDDEN_NONLAZY;
512 }
Chris Lattnercd714b12009-07-02 04:22:01 +0000513 }
Chris Lattner35c28ec2009-07-01 03:27:19 +0000514 }
Chris Lattnerff7727f2009-07-09 06:41:35 +0000515
516 LoadReg = createResultReg(RC);
517 addFullAddress(BuildMI(MBB, DL, TII.get(Opc), LoadReg), StubAM);
518
Dan Gohman2ff7fd12008-09-19 22:16:54 +0000519 // Prevent loading GV stub multiple times in same MBB.
Chris Lattnerff7727f2009-07-09 06:41:35 +0000520 LocalValueMap[V] = LoadReg;
Dan Gohman2ff7fd12008-09-19 22:16:54 +0000521 }
Chris Lattner18c59872009-06-27 04:16:01 +0000522
Chris Lattnerff7727f2009-07-09 06:41:35 +0000523 // Now construct the final address. Note that the Disp, Scale,
524 // and Index values may already be set here.
525 AM.Base.Reg = LoadReg;
526 AM.GV = 0;
Dan Gohman2ff7fd12008-09-19 22:16:54 +0000527 return true;
Dan Gohman0586d912008-09-10 20:11:02 +0000528 }
529
Dan Gohman97135e12008-09-26 19:15:30 +0000530 // If all else fails, try to materialize the value in a register.
Chris Lattner4c1b6062009-06-27 05:24:12 +0000531 if (!AM.GV || !Subtarget->isPICStyleRIPRel()) {
Dan Gohman97135e12008-09-26 19:15:30 +0000532 if (AM.Base.Reg == 0) {
533 AM.Base.Reg = getRegForValue(V);
534 return AM.Base.Reg != 0;
535 }
536 if (AM.IndexReg == 0) {
537 assert(AM.Scale == 1 && "Scale with no index!");
538 AM.IndexReg = getRegForValue(V);
539 return AM.IndexReg != 0;
540 }
541 }
542
543 return false;
Dan Gohman0586d912008-09-10 20:11:02 +0000544}
545
Chris Lattner0aa43de2009-07-10 05:33:42 +0000546/// X86SelectCallAddress - Attempt to fill in an address from the given value.
547///
548bool X86FastISel::X86SelectCallAddress(Value *V, X86AddressMode &AM) {
549 User *U = NULL;
550 unsigned Opcode = Instruction::UserOp1;
551 if (Instruction *I = dyn_cast<Instruction>(V)) {
552 Opcode = I->getOpcode();
553 U = I;
554 } else if (ConstantExpr *C = dyn_cast<ConstantExpr>(V)) {
555 Opcode = C->getOpcode();
556 U = C;
557 }
558
559 switch (Opcode) {
560 default: break;
561 case Instruction::BitCast:
562 // Look past bitcasts.
563 return X86SelectCallAddress(U->getOperand(0), AM);
564
565 case Instruction::IntToPtr:
566 // Look past no-op inttoptrs.
567 if (TLI.getValueType(U->getOperand(0)->getType()) == TLI.getPointerTy())
568 return X86SelectCallAddress(U->getOperand(0), AM);
569 break;
570
571 case Instruction::PtrToInt:
572 // Look past no-op ptrtoints.
573 if (TLI.getValueType(U->getType()) == TLI.getPointerTy())
574 return X86SelectCallAddress(U->getOperand(0), AM);
575 break;
576 }
577
578 // Handle constant address.
579 if (GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
580 // Can't handle alternate code models yet.
581 if (TM.getCodeModel() != CodeModel::Default &&
582 TM.getCodeModel() != CodeModel::Small)
583 return false;
584
585 // RIP-relative addresses can't have additional register operands.
586 if (Subtarget->isPICStyleRIPRel() &&
587 (AM.Base.Reg != 0 || AM.IndexReg != 0))
588 return false;
589
590 // Can't handle TLS yet.
591 if (GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
592 if (GVar->isThreadLocal())
593 return false;
594
595 // Okay, we've committed to selecting this global. Set up the basic address.
596 AM.GV = GV;
597
598 // If the ABI doesn't require an extra load, return a direct reference to
599 // the global.
600 if (!Subtarget->GVRequiresExtraLoad(GV, TM, true)) {
601 if (Subtarget->isPICStyleRIPRel()) {
602 // Use rip-relative addressing if we can. Above we verified that the
603 // base and index registers are unused.
604 assert(AM.Base.Reg == 0 && AM.IndexReg == 0);
605 AM.Base.Reg = X86::RIP;
606 } else if (Subtarget->isPICStyleStub() &&
607 TM.getRelocationModel() == Reloc::PIC_) {
608 AM.GVOpFlags = X86II::MO_PIC_BASE_OFFSET;
609 } else if (Subtarget->isPICStyleGOT()) {
610 AM.GVOpFlags = X86II::MO_GOTOFF;
611 }
612
613 return true;
614 }
615
616 // Check to see if we've already materialized this stub loaded value into a
617 // register in this block. If so, just reuse it.
618 DenseMap<const Value*, unsigned>::iterator I = LocalValueMap.find(V);
619 unsigned LoadReg;
620 if (I != LocalValueMap.end() && I->second != 0) {
621 LoadReg = I->second;
622 } else {
623 // Issue load from stub.
624 unsigned Opc = 0;
625 const TargetRegisterClass *RC = NULL;
626 X86AddressMode StubAM;
627 StubAM.Base.Reg = AM.Base.Reg;
628 StubAM.GV = GV;
629
630 if (TLI.getPointerTy() == MVT::i64) {
631 Opc = X86::MOV64rm;
632 RC = X86::GR64RegisterClass;
633
634 if (Subtarget->isPICStyleRIPRel()) {
635 StubAM.GVOpFlags = X86II::MO_GOTPCREL;
636 StubAM.Base.Reg = X86::RIP;
637 }
638
639 } else {
640 Opc = X86::MOV32rm;
641 RC = X86::GR32RegisterClass;
642
643 if (Subtarget->isPICStyleGOT())
644 StubAM.GVOpFlags = X86II::MO_GOT;
645 else if (Subtarget->isPICStyleStub()) {
646 // In darwin, we have multiple different stub types, and we have both
647 // PIC and -mdynamic-no-pic. Determine whether we have a stub
648 // reference and/or whether the reference is relative to the PIC base
649 // or not.
650 bool IsPIC = TM.getRelocationModel() == Reloc::PIC_;
651
652 if (!GV->hasHiddenVisibility()) {
653 // Non-hidden $non_lazy_ptr reference.
654 StubAM.GVOpFlags = IsPIC ? X86II::MO_DARWIN_NONLAZY_PIC_BASE :
655 X86II::MO_DARWIN_NONLAZY;
656 } else {
657 // Hidden $non_lazy_ptr reference.
658 StubAM.GVOpFlags = IsPIC ? X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
659 X86II::MO_DARWIN_HIDDEN_NONLAZY;
660 }
661 }
662 }
663
664 LoadReg = createResultReg(RC);
665 addFullAddress(BuildMI(MBB, DL, TII.get(Opc), LoadReg), StubAM);
666
667 // Prevent loading GV stub multiple times in same MBB.
668 LocalValueMap[V] = LoadReg;
669 }
670
671 // Now construct the final address. Note that the Disp, Scale,
672 // and Index values may already be set here.
673 AM.Base.Reg = LoadReg;
674 AM.GV = 0;
675 return true;
676 }
677
678 // If all else fails, try to materialize the value in a register.
679 if (!AM.GV || !Subtarget->isPICStyleRIPRel()) {
680 if (AM.Base.Reg == 0) {
681 AM.Base.Reg = getRegForValue(V);
682 return AM.Base.Reg != 0;
683 }
684 if (AM.IndexReg == 0) {
685 assert(AM.Scale == 1 && "Scale with no index!");
686 AM.IndexReg = getRegForValue(V);
687 return AM.IndexReg != 0;
688 }
689 }
690
691 return false;
692}
693
694
Owen Andersona3971df2008-09-04 07:08:58 +0000695/// X86SelectStore - Select and emit code to implement store instructions.
696bool X86FastISel::X86SelectStore(Instruction* I) {
Evan Cheng24e3a902008-09-08 06:35:17 +0000697 MVT VT;
Chris Lattner160f6cc2008-10-15 05:07:36 +0000698 if (!isTypeLegal(I->getOperand(0)->getType(), VT))
Owen Andersona3971df2008-09-04 07:08:58 +0000699 return false;
Owen Andersona3971df2008-09-04 07:08:58 +0000700
Dan Gohman0586d912008-09-10 20:11:02 +0000701 X86AddressMode AM;
Chris Lattner0aa43de2009-07-10 05:33:42 +0000702 if (!X86SelectAddress(I->getOperand(1), AM))
Dan Gohman0586d912008-09-10 20:11:02 +0000703 return false;
Owen Andersona3971df2008-09-04 07:08:58 +0000704
Chris Lattner438949a2008-10-15 05:30:52 +0000705 return X86FastEmitStore(VT, I->getOperand(0), AM);
Owen Andersona3971df2008-09-04 07:08:58 +0000706}
707
Evan Cheng8b19e562008-09-03 06:44:39 +0000708/// X86SelectLoad - Select and emit code to implement load instructions.
709///
Dan Gohman3df24e62008-09-03 23:12:08 +0000710bool X86FastISel::X86SelectLoad(Instruction *I) {
Evan Chengf3d4efe2008-09-07 09:09:33 +0000711 MVT VT;
Chris Lattner160f6cc2008-10-15 05:07:36 +0000712 if (!isTypeLegal(I->getType(), VT))
Evan Cheng8b19e562008-09-03 06:44:39 +0000713 return false;
714
Dan Gohman0586d912008-09-10 20:11:02 +0000715 X86AddressMode AM;
Chris Lattner0aa43de2009-07-10 05:33:42 +0000716 if (!X86SelectAddress(I->getOperand(0), AM))
Dan Gohman0586d912008-09-10 20:11:02 +0000717 return false;
Evan Cheng8b19e562008-09-03 06:44:39 +0000718
Evan Cheng0de588f2008-09-05 21:00:03 +0000719 unsigned ResultReg = 0;
Dan Gohman0586d912008-09-10 20:11:02 +0000720 if (X86FastEmitLoad(VT, AM, ResultReg)) {
Evan Cheng0de588f2008-09-05 21:00:03 +0000721 UpdateValueMap(I, ResultReg);
722 return true;
Evan Cheng8b19e562008-09-03 06:44:39 +0000723 }
Evan Cheng0de588f2008-09-05 21:00:03 +0000724 return false;
Evan Cheng8b19e562008-09-03 06:44:39 +0000725}
726
Chris Lattner51ccb3d2008-10-15 04:29:23 +0000727static unsigned X86ChooseCmpOpcode(MVT VT) {
Dan Gohmand98d6202008-10-02 22:15:21 +0000728 switch (VT.getSimpleVT()) {
Chris Lattner45ac17f2008-10-15 04:32:45 +0000729 default: return 0;
730 case MVT::i8: return X86::CMP8rr;
Dan Gohmand98d6202008-10-02 22:15:21 +0000731 case MVT::i16: return X86::CMP16rr;
732 case MVT::i32: return X86::CMP32rr;
733 case MVT::i64: return X86::CMP64rr;
734 case MVT::f32: return X86::UCOMISSrr;
735 case MVT::f64: return X86::UCOMISDrr;
Dan Gohmand98d6202008-10-02 22:15:21 +0000736 }
Dan Gohmand98d6202008-10-02 22:15:21 +0000737}
738
Chris Lattner0e13c782008-10-15 04:13:29 +0000739/// X86ChooseCmpImmediateOpcode - If we have a comparison with RHS as the RHS
740/// of the comparison, return an opcode that works for the compare (e.g.
741/// CMP32ri) otherwise return 0.
Chris Lattner45ac17f2008-10-15 04:32:45 +0000742static unsigned X86ChooseCmpImmediateOpcode(MVT VT, ConstantInt *RHSC) {
743 switch (VT.getSimpleVT()) {
Chris Lattner0e13c782008-10-15 04:13:29 +0000744 // Otherwise, we can't fold the immediate into this comparison.
Chris Lattner45ac17f2008-10-15 04:32:45 +0000745 default: return 0;
746 case MVT::i8: return X86::CMP8ri;
747 case MVT::i16: return X86::CMP16ri;
748 case MVT::i32: return X86::CMP32ri;
749 case MVT::i64:
750 // 64-bit comparisons are only valid if the immediate fits in a 32-bit sext
751 // field.
Chris Lattner438949a2008-10-15 05:30:52 +0000752 if ((int)RHSC->getSExtValue() == RHSC->getSExtValue())
Chris Lattner45ac17f2008-10-15 04:32:45 +0000753 return X86::CMP64ri32;
754 return 0;
755 }
Chris Lattner0e13c782008-10-15 04:13:29 +0000756}
757
Chris Lattner9a08a612008-10-15 04:26:38 +0000758bool X86FastISel::X86FastEmitCompare(Value *Op0, Value *Op1, MVT VT) {
759 unsigned Op0Reg = getRegForValue(Op0);
760 if (Op0Reg == 0) return false;
761
Chris Lattnerd53886b2008-10-15 05:18:04 +0000762 // Handle 'null' like i32/i64 0.
763 if (isa<ConstantPointerNull>(Op1))
764 Op1 = Constant::getNullValue(TD.getIntPtrType());
765
Chris Lattner9a08a612008-10-15 04:26:38 +0000766 // We have two options: compare with register or immediate. If the RHS of
767 // the compare is an immediate that we can fold into this compare, use
768 // CMPri, otherwise use CMPrr.
769 if (ConstantInt *Op1C = dyn_cast<ConstantInt>(Op1)) {
Chris Lattner45ac17f2008-10-15 04:32:45 +0000770 if (unsigned CompareImmOpc = X86ChooseCmpImmediateOpcode(VT, Op1C)) {
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000771 BuildMI(MBB, DL, TII.get(CompareImmOpc)).addReg(Op0Reg)
Chris Lattner9a08a612008-10-15 04:26:38 +0000772 .addImm(Op1C->getSExtValue());
773 return true;
774 }
775 }
776
777 unsigned CompareOpc = X86ChooseCmpOpcode(VT);
778 if (CompareOpc == 0) return false;
779
780 unsigned Op1Reg = getRegForValue(Op1);
781 if (Op1Reg == 0) return false;
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000782 BuildMI(MBB, DL, TII.get(CompareOpc)).addReg(Op0Reg).addReg(Op1Reg);
Chris Lattner9a08a612008-10-15 04:26:38 +0000783
784 return true;
785}
786
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000787bool X86FastISel::X86SelectCmp(Instruction *I) {
788 CmpInst *CI = cast<CmpInst>(I);
789
Dan Gohman9b66d732008-09-30 00:48:39 +0000790 MVT VT;
Chris Lattner160f6cc2008-10-15 05:07:36 +0000791 if (!isTypeLegal(I->getOperand(0)->getType(), VT))
Dan Gohman4f22bb02008-09-05 01:33:56 +0000792 return false;
793
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000794 unsigned ResultReg = createResultReg(&X86::GR8RegClass);
Chris Lattner54aebde2008-10-15 03:47:17 +0000795 unsigned SetCCOpc;
Chris Lattner8aeeeb92008-10-15 03:52:54 +0000796 bool SwapArgs; // false -> compare Op0, Op1. true -> compare Op1, Op0.
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000797 switch (CI->getPredicate()) {
798 case CmpInst::FCMP_OEQ: {
Chris Lattner51ccb3d2008-10-15 04:29:23 +0000799 if (!X86FastEmitCompare(CI->getOperand(0), CI->getOperand(1), VT))
800 return false;
Chris Lattner9a08a612008-10-15 04:26:38 +0000801
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000802 unsigned EReg = createResultReg(&X86::GR8RegClass);
803 unsigned NPReg = createResultReg(&X86::GR8RegClass);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000804 BuildMI(MBB, DL, TII.get(X86::SETEr), EReg);
805 BuildMI(MBB, DL, TII.get(X86::SETNPr), NPReg);
806 BuildMI(MBB, DL,
807 TII.get(X86::AND8rr), ResultReg).addReg(NPReg).addReg(EReg);
Chris Lattner54aebde2008-10-15 03:47:17 +0000808 UpdateValueMap(I, ResultReg);
809 return true;
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000810 }
811 case CmpInst::FCMP_UNE: {
Chris Lattner51ccb3d2008-10-15 04:29:23 +0000812 if (!X86FastEmitCompare(CI->getOperand(0), CI->getOperand(1), VT))
813 return false;
814
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000815 unsigned NEReg = createResultReg(&X86::GR8RegClass);
816 unsigned PReg = createResultReg(&X86::GR8RegClass);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000817 BuildMI(MBB, DL, TII.get(X86::SETNEr), NEReg);
818 BuildMI(MBB, DL, TII.get(X86::SETPr), PReg);
819 BuildMI(MBB, DL, TII.get(X86::OR8rr), ResultReg).addReg(PReg).addReg(NEReg);
Chris Lattner54aebde2008-10-15 03:47:17 +0000820 UpdateValueMap(I, ResultReg);
821 return true;
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000822 }
Chris Lattner8aeeeb92008-10-15 03:52:54 +0000823 case CmpInst::FCMP_OGT: SwapArgs = false; SetCCOpc = X86::SETAr; break;
824 case CmpInst::FCMP_OGE: SwapArgs = false; SetCCOpc = X86::SETAEr; break;
825 case CmpInst::FCMP_OLT: SwapArgs = true; SetCCOpc = X86::SETAr; break;
826 case CmpInst::FCMP_OLE: SwapArgs = true; SetCCOpc = X86::SETAEr; break;
827 case CmpInst::FCMP_ONE: SwapArgs = false; SetCCOpc = X86::SETNEr; break;
828 case CmpInst::FCMP_ORD: SwapArgs = false; SetCCOpc = X86::SETNPr; break;
829 case CmpInst::FCMP_UNO: SwapArgs = false; SetCCOpc = X86::SETPr; break;
830 case CmpInst::FCMP_UEQ: SwapArgs = false; SetCCOpc = X86::SETEr; break;
831 case CmpInst::FCMP_UGT: SwapArgs = true; SetCCOpc = X86::SETBr; break;
832 case CmpInst::FCMP_UGE: SwapArgs = true; SetCCOpc = X86::SETBEr; break;
833 case CmpInst::FCMP_ULT: SwapArgs = false; SetCCOpc = X86::SETBr; break;
834 case CmpInst::FCMP_ULE: SwapArgs = false; SetCCOpc = X86::SETBEr; break;
835
836 case CmpInst::ICMP_EQ: SwapArgs = false; SetCCOpc = X86::SETEr; break;
837 case CmpInst::ICMP_NE: SwapArgs = false; SetCCOpc = X86::SETNEr; break;
838 case CmpInst::ICMP_UGT: SwapArgs = false; SetCCOpc = X86::SETAr; break;
839 case CmpInst::ICMP_UGE: SwapArgs = false; SetCCOpc = X86::SETAEr; break;
840 case CmpInst::ICMP_ULT: SwapArgs = false; SetCCOpc = X86::SETBr; break;
841 case CmpInst::ICMP_ULE: SwapArgs = false; SetCCOpc = X86::SETBEr; break;
842 case CmpInst::ICMP_SGT: SwapArgs = false; SetCCOpc = X86::SETGr; break;
843 case CmpInst::ICMP_SGE: SwapArgs = false; SetCCOpc = X86::SETGEr; break;
844 case CmpInst::ICMP_SLT: SwapArgs = false; SetCCOpc = X86::SETLr; break;
845 case CmpInst::ICMP_SLE: SwapArgs = false; SetCCOpc = X86::SETLEr; break;
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000846 default:
847 return false;
848 }
849
Chris Lattner9a08a612008-10-15 04:26:38 +0000850 Value *Op0 = CI->getOperand(0), *Op1 = CI->getOperand(1);
Chris Lattner8aeeeb92008-10-15 03:52:54 +0000851 if (SwapArgs)
Chris Lattner9a08a612008-10-15 04:26:38 +0000852 std::swap(Op0, Op1);
Chris Lattner8aeeeb92008-10-15 03:52:54 +0000853
Chris Lattner9a08a612008-10-15 04:26:38 +0000854 // Emit a compare of Op0/Op1.
Chris Lattner51ccb3d2008-10-15 04:29:23 +0000855 if (!X86FastEmitCompare(Op0, Op1, VT))
856 return false;
Chris Lattner9a08a612008-10-15 04:26:38 +0000857
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000858 BuildMI(MBB, DL, TII.get(SetCCOpc), ResultReg);
Dan Gohman6e3f05f2008-09-04 23:26:51 +0000859 UpdateValueMap(I, ResultReg);
860 return true;
861}
Evan Cheng8b19e562008-09-03 06:44:39 +0000862
Dan Gohmand89ae992008-09-05 01:06:14 +0000863bool X86FastISel::X86SelectZExt(Instruction *I) {
Dan Gohman14ea1ec2009-03-13 20:42:20 +0000864 // Handle zero-extension from i1 to i8, which is common.
Dan Gohmand89ae992008-09-05 01:06:14 +0000865 if (I->getType() == Type::Int8Ty &&
866 I->getOperand(0)->getType() == Type::Int1Ty) {
867 unsigned ResultReg = getRegForValue(I->getOperand(0));
Dan Gohmanf52550b2008-09-05 01:15:35 +0000868 if (ResultReg == 0) return false;
Dan Gohman14ea1ec2009-03-13 20:42:20 +0000869 // Set the high bits to zero.
870 ResultReg = FastEmitZExtFromI1(MVT::i8, ResultReg);
871 if (ResultReg == 0) return false;
Dan Gohmand89ae992008-09-05 01:06:14 +0000872 UpdateValueMap(I, ResultReg);
873 return true;
874 }
875
876 return false;
877}
878
Chris Lattner9a08a612008-10-15 04:26:38 +0000879
Dan Gohmand89ae992008-09-05 01:06:14 +0000880bool X86FastISel::X86SelectBranch(Instruction *I) {
Dan Gohmand89ae992008-09-05 01:06:14 +0000881 // Unconditional branches are selected by tablegen-generated code.
Dan Gohmand98d6202008-10-02 22:15:21 +0000882 // Handle a conditional branch.
883 BranchInst *BI = cast<BranchInst>(I);
Dan Gohmand89ae992008-09-05 01:06:14 +0000884 MachineBasicBlock *TrueMBB = MBBMap[BI->getSuccessor(0)];
885 MachineBasicBlock *FalseMBB = MBBMap[BI->getSuccessor(1)];
886
Dan Gohmand98d6202008-10-02 22:15:21 +0000887 // Fold the common case of a conditional branch with a comparison.
888 if (CmpInst *CI = dyn_cast<CmpInst>(BI->getCondition())) {
889 if (CI->hasOneUse()) {
890 MVT VT = TLI.getValueType(CI->getOperand(0)->getType());
Dan Gohmand89ae992008-09-05 01:06:14 +0000891
Dan Gohmand98d6202008-10-02 22:15:21 +0000892 // Try to take advantage of fallthrough opportunities.
893 CmpInst::Predicate Predicate = CI->getPredicate();
894 if (MBB->isLayoutSuccessor(TrueMBB)) {
895 std::swap(TrueMBB, FalseMBB);
896 Predicate = CmpInst::getInversePredicate(Predicate);
897 }
898
Chris Lattner871d2462008-10-15 03:58:05 +0000899 bool SwapArgs; // false -> compare Op0, Op1. true -> compare Op1, Op0.
900 unsigned BranchOpc; // Opcode to jump on, e.g. "X86::JA"
901
Dan Gohmand98d6202008-10-02 22:15:21 +0000902 switch (Predicate) {
Dan Gohman7b66e042008-10-21 18:24:51 +0000903 case CmpInst::FCMP_OEQ:
904 std::swap(TrueMBB, FalseMBB);
905 Predicate = CmpInst::FCMP_UNE;
906 // FALL THROUGH
907 case CmpInst::FCMP_UNE: SwapArgs = false; BranchOpc = X86::JNE; break;
Chris Lattner871d2462008-10-15 03:58:05 +0000908 case CmpInst::FCMP_OGT: SwapArgs = false; BranchOpc = X86::JA; break;
909 case CmpInst::FCMP_OGE: SwapArgs = false; BranchOpc = X86::JAE; break;
910 case CmpInst::FCMP_OLT: SwapArgs = true; BranchOpc = X86::JA; break;
911 case CmpInst::FCMP_OLE: SwapArgs = true; BranchOpc = X86::JAE; break;
912 case CmpInst::FCMP_ONE: SwapArgs = false; BranchOpc = X86::JNE; break;
913 case CmpInst::FCMP_ORD: SwapArgs = false; BranchOpc = X86::JNP; break;
914 case CmpInst::FCMP_UNO: SwapArgs = false; BranchOpc = X86::JP; break;
915 case CmpInst::FCMP_UEQ: SwapArgs = false; BranchOpc = X86::JE; break;
916 case CmpInst::FCMP_UGT: SwapArgs = true; BranchOpc = X86::JB; break;
917 case CmpInst::FCMP_UGE: SwapArgs = true; BranchOpc = X86::JBE; break;
918 case CmpInst::FCMP_ULT: SwapArgs = false; BranchOpc = X86::JB; break;
919 case CmpInst::FCMP_ULE: SwapArgs = false; BranchOpc = X86::JBE; break;
Chris Lattner9a08a612008-10-15 04:26:38 +0000920
Chris Lattner871d2462008-10-15 03:58:05 +0000921 case CmpInst::ICMP_EQ: SwapArgs = false; BranchOpc = X86::JE; break;
922 case CmpInst::ICMP_NE: SwapArgs = false; BranchOpc = X86::JNE; break;
923 case CmpInst::ICMP_UGT: SwapArgs = false; BranchOpc = X86::JA; break;
924 case CmpInst::ICMP_UGE: SwapArgs = false; BranchOpc = X86::JAE; break;
925 case CmpInst::ICMP_ULT: SwapArgs = false; BranchOpc = X86::JB; break;
926 case CmpInst::ICMP_ULE: SwapArgs = false; BranchOpc = X86::JBE; break;
927 case CmpInst::ICMP_SGT: SwapArgs = false; BranchOpc = X86::JG; break;
928 case CmpInst::ICMP_SGE: SwapArgs = false; BranchOpc = X86::JGE; break;
929 case CmpInst::ICMP_SLT: SwapArgs = false; BranchOpc = X86::JL; break;
930 case CmpInst::ICMP_SLE: SwapArgs = false; BranchOpc = X86::JLE; break;
Dan Gohmand98d6202008-10-02 22:15:21 +0000931 default:
932 return false;
933 }
Chris Lattner54aebde2008-10-15 03:47:17 +0000934
Chris Lattner709d8292008-10-15 04:02:26 +0000935 Value *Op0 = CI->getOperand(0), *Op1 = CI->getOperand(1);
936 if (SwapArgs)
937 std::swap(Op0, Op1);
938
Chris Lattner9a08a612008-10-15 04:26:38 +0000939 // Emit a compare of the LHS and RHS, setting the flags.
940 if (!X86FastEmitCompare(Op0, Op1, VT))
941 return false;
Chris Lattner0e13c782008-10-15 04:13:29 +0000942
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000943 BuildMI(MBB, DL, TII.get(BranchOpc)).addMBB(TrueMBB);
Dan Gohman7b66e042008-10-21 18:24:51 +0000944
945 if (Predicate == CmpInst::FCMP_UNE) {
946 // X86 requires a second branch to handle UNE (and OEQ,
947 // which is mapped to UNE above).
Dale Johannesen8d13f8f2009-02-13 02:33:27 +0000948 BuildMI(MBB, DL, TII.get(X86::JP)).addMBB(TrueMBB);
Dan Gohman7b66e042008-10-21 18:24:51 +0000949 }
950
Dan Gohmand98d6202008-10-02 22:15:21 +0000951 FastEmitBranch(FalseMBB);
Dan Gohman8c3f8b62008-10-07 22:10:33 +0000952 MBB->addSuccessor(TrueMBB);
Dan Gohmand98d6202008-10-02 22:15:21 +0000953 return true;
954 }
Bill Wendling30a64a72008-12-09 23:19:12 +0000955 } else if (ExtractValueInst *EI =
956 dyn_cast<ExtractValueInst>(BI->getCondition())) {
957 // Check to see if the branch instruction is from an "arithmetic with
958 // overflow" intrinsic. The main way these intrinsics are used is:
959 //
960 // %t = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
961 // %sum = extractvalue { i32, i1 } %t, 0
962 // %obit = extractvalue { i32, i1 } %t, 1
963 // br i1 %obit, label %overflow, label %normal
964 //
Dan Gohman653456c2009-01-07 00:15:08 +0000965 // The %sum and %obit are converted in an ADD and a SETO/SETB before
Bill Wendling30a64a72008-12-09 23:19:12 +0000966 // reaching the branch. Therefore, we search backwards through the MBB
Dan Gohman653456c2009-01-07 00:15:08 +0000967 // looking for the SETO/SETB instruction. If an instruction modifies the
968 // EFLAGS register before we reach the SETO/SETB instruction, then we can't
969 // convert the branch into a JO/JB instruction.
Chris Lattnera9a42252009-04-12 07:36:01 +0000970 if (IntrinsicInst *CI = dyn_cast<IntrinsicInst>(EI->getAggregateOperand())){
971 if (CI->getIntrinsicID() == Intrinsic::sadd_with_overflow ||
972 CI->getIntrinsicID() == Intrinsic::uadd_with_overflow) {
973 const MachineInstr *SetMI = 0;
974 unsigned Reg = lookUpRegForValue(EI);
Bill Wendling30a64a72008-12-09 23:19:12 +0000975
Chris Lattnera9a42252009-04-12 07:36:01 +0000976 for (MachineBasicBlock::const_reverse_iterator
977 RI = MBB->rbegin(), RE = MBB->rend(); RI != RE; ++RI) {
978 const MachineInstr &MI = *RI;
Bill Wendling30a64a72008-12-09 23:19:12 +0000979
Chris Lattnera9a42252009-04-12 07:36:01 +0000980 if (MI.modifiesRegister(Reg)) {
981 unsigned Src, Dst, SrcSR, DstSR;
Bill Wendling30a64a72008-12-09 23:19:12 +0000982
Chris Lattnera9a42252009-04-12 07:36:01 +0000983 if (getInstrInfo()->isMoveInstr(MI, Src, Dst, SrcSR, DstSR)) {
984 Reg = Src;
985 continue;
Bill Wendling9a901322008-12-10 19:44:24 +0000986 }
Bill Wendling30a64a72008-12-09 23:19:12 +0000987
Chris Lattnera9a42252009-04-12 07:36:01 +0000988 SetMI = &MI;
989 break;
Bill Wendling30a64a72008-12-09 23:19:12 +0000990 }
Bill Wendling30a64a72008-12-09 23:19:12 +0000991
Chris Lattnera9a42252009-04-12 07:36:01 +0000992 const TargetInstrDesc &TID = MI.getDesc();
993 if (TID.hasUnmodeledSideEffects() ||
994 TID.hasImplicitDefOfPhysReg(X86::EFLAGS))
995 break;
Bill Wendling9a901322008-12-10 19:44:24 +0000996 }
Chris Lattnera9a42252009-04-12 07:36:01 +0000997
998 if (SetMI) {
999 unsigned OpCode = SetMI->getOpcode();
1000
1001 if (OpCode == X86::SETOr || OpCode == X86::SETBr) {
Chris Lattner8d57b772009-04-12 07:51:14 +00001002 BuildMI(MBB, DL, TII.get(OpCode == X86::SETOr ? X86::JO : X86::JB))
1003 .addMBB(TrueMBB);
Chris Lattnera9a42252009-04-12 07:36:01 +00001004 FastEmitBranch(FalseMBB);
1005 MBB->addSuccessor(TrueMBB);
1006 return true;
1007 }
Bill Wendling9a901322008-12-10 19:44:24 +00001008 }
Bill Wendling30a64a72008-12-09 23:19:12 +00001009 }
1010 }
Dan Gohmand98d6202008-10-02 22:15:21 +00001011 }
1012
1013 // Otherwise do a clumsy setcc and re-test it.
1014 unsigned OpReg = getRegForValue(BI->getCondition());
1015 if (OpReg == 0) return false;
1016
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001017 BuildMI(MBB, DL, TII.get(X86::TEST8rr)).addReg(OpReg).addReg(OpReg);
1018 BuildMI(MBB, DL, TII.get(X86::JNE)).addMBB(TrueMBB);
Dan Gohmand98d6202008-10-02 22:15:21 +00001019 FastEmitBranch(FalseMBB);
Dan Gohman8c3f8b62008-10-07 22:10:33 +00001020 MBB->addSuccessor(TrueMBB);
Dan Gohmand89ae992008-09-05 01:06:14 +00001021 return true;
1022}
1023
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001024bool X86FastISel::X86SelectShift(Instruction *I) {
Chris Lattner743922e2008-09-21 21:44:29 +00001025 unsigned CReg = 0, OpReg = 0, OpImm = 0;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001026 const TargetRegisterClass *RC = NULL;
1027 if (I->getType() == Type::Int8Ty) {
1028 CReg = X86::CL;
1029 RC = &X86::GR8RegClass;
1030 switch (I->getOpcode()) {
Chris Lattner743922e2008-09-21 21:44:29 +00001031 case Instruction::LShr: OpReg = X86::SHR8rCL; OpImm = X86::SHR8ri; break;
1032 case Instruction::AShr: OpReg = X86::SAR8rCL; OpImm = X86::SAR8ri; break;
1033 case Instruction::Shl: OpReg = X86::SHL8rCL; OpImm = X86::SHL8ri; break;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001034 default: return false;
1035 }
1036 } else if (I->getType() == Type::Int16Ty) {
1037 CReg = X86::CX;
1038 RC = &X86::GR16RegClass;
1039 switch (I->getOpcode()) {
Chris Lattner743922e2008-09-21 21:44:29 +00001040 case Instruction::LShr: OpReg = X86::SHR16rCL; OpImm = X86::SHR16ri; break;
1041 case Instruction::AShr: OpReg = X86::SAR16rCL; OpImm = X86::SAR16ri; break;
1042 case Instruction::Shl: OpReg = X86::SHL16rCL; OpImm = X86::SHL16ri; break;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001043 default: return false;
1044 }
1045 } else if (I->getType() == Type::Int32Ty) {
1046 CReg = X86::ECX;
1047 RC = &X86::GR32RegClass;
1048 switch (I->getOpcode()) {
Chris Lattner743922e2008-09-21 21:44:29 +00001049 case Instruction::LShr: OpReg = X86::SHR32rCL; OpImm = X86::SHR32ri; break;
1050 case Instruction::AShr: OpReg = X86::SAR32rCL; OpImm = X86::SAR32ri; break;
1051 case Instruction::Shl: OpReg = X86::SHL32rCL; OpImm = X86::SHL32ri; break;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001052 default: return false;
1053 }
1054 } else if (I->getType() == Type::Int64Ty) {
1055 CReg = X86::RCX;
1056 RC = &X86::GR64RegClass;
1057 switch (I->getOpcode()) {
Chris Lattner743922e2008-09-21 21:44:29 +00001058 case Instruction::LShr: OpReg = X86::SHR64rCL; OpImm = X86::SHR64ri; break;
1059 case Instruction::AShr: OpReg = X86::SAR64rCL; OpImm = X86::SAR64ri; break;
1060 case Instruction::Shl: OpReg = X86::SHL64rCL; OpImm = X86::SHL64ri; break;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001061 default: return false;
1062 }
1063 } else {
1064 return false;
1065 }
1066
Chris Lattner160f6cc2008-10-15 05:07:36 +00001067 MVT VT = TLI.getValueType(I->getType(), /*HandleUnknown=*/true);
1068 if (VT == MVT::Other || !isTypeLegal(I->getType(), VT))
Dan Gohmanf58cb6d2008-09-05 21:27:34 +00001069 return false;
1070
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001071 unsigned Op0Reg = getRegForValue(I->getOperand(0));
1072 if (Op0Reg == 0) return false;
Chris Lattner743922e2008-09-21 21:44:29 +00001073
1074 // Fold immediate in shl(x,3).
1075 if (ConstantInt *CI = dyn_cast<ConstantInt>(I->getOperand(1))) {
1076 unsigned ResultReg = createResultReg(RC);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001077 BuildMI(MBB, DL, TII.get(OpImm),
Dan Gohmanb12b1a22008-12-20 17:19:40 +00001078 ResultReg).addReg(Op0Reg).addImm(CI->getZExtValue() & 0xff);
Chris Lattner743922e2008-09-21 21:44:29 +00001079 UpdateValueMap(I, ResultReg);
1080 return true;
1081 }
1082
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001083 unsigned Op1Reg = getRegForValue(I->getOperand(1));
1084 if (Op1Reg == 0) return false;
1085 TII.copyRegToReg(*MBB, MBB->end(), CReg, Op1Reg, RC, RC);
Dan Gohman145b8282008-10-07 21:50:36 +00001086
1087 // The shift instruction uses X86::CL. If we defined a super-register
1088 // of X86::CL, emit an EXTRACT_SUBREG to precisely describe what
1089 // we're doing here.
1090 if (CReg != X86::CL)
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001091 BuildMI(MBB, DL, TII.get(TargetInstrInfo::EXTRACT_SUBREG), X86::CL)
Dan Gohman145b8282008-10-07 21:50:36 +00001092 .addReg(CReg).addImm(X86::SUBREG_8BIT);
1093
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001094 unsigned ResultReg = createResultReg(RC);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001095 BuildMI(MBB, DL, TII.get(OpReg), ResultReg).addReg(Op0Reg);
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001096 UpdateValueMap(I, ResultReg);
1097 return true;
1098}
1099
1100bool X86FastISel::X86SelectSelect(Instruction *I) {
Chris Lattner160f6cc2008-10-15 05:07:36 +00001101 MVT VT = TLI.getValueType(I->getType(), /*HandleUnknown=*/true);
1102 if (VT == MVT::Other || !isTypeLegal(I->getType(), VT))
1103 return false;
1104
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001105 unsigned Opc = 0;
1106 const TargetRegisterClass *RC = NULL;
Chris Lattner160f6cc2008-10-15 05:07:36 +00001107 if (VT.getSimpleVT() == MVT::i16) {
Dan Gohman31d26912008-09-05 21:13:04 +00001108 Opc = X86::CMOVE16rr;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001109 RC = &X86::GR16RegClass;
Chris Lattner160f6cc2008-10-15 05:07:36 +00001110 } else if (VT.getSimpleVT() == MVT::i32) {
Dan Gohman31d26912008-09-05 21:13:04 +00001111 Opc = X86::CMOVE32rr;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001112 RC = &X86::GR32RegClass;
Chris Lattner160f6cc2008-10-15 05:07:36 +00001113 } else if (VT.getSimpleVT() == MVT::i64) {
Dan Gohman31d26912008-09-05 21:13:04 +00001114 Opc = X86::CMOVE64rr;
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001115 RC = &X86::GR64RegClass;
1116 } else {
1117 return false;
1118 }
1119
1120 unsigned Op0Reg = getRegForValue(I->getOperand(0));
1121 if (Op0Reg == 0) return false;
1122 unsigned Op1Reg = getRegForValue(I->getOperand(1));
1123 if (Op1Reg == 0) return false;
1124 unsigned Op2Reg = getRegForValue(I->getOperand(2));
1125 if (Op2Reg == 0) return false;
1126
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001127 BuildMI(MBB, DL, TII.get(X86::TEST8rr)).addReg(Op0Reg).addReg(Op0Reg);
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001128 unsigned ResultReg = createResultReg(RC);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001129 BuildMI(MBB, DL, TII.get(Opc), ResultReg).addReg(Op1Reg).addReg(Op2Reg);
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001130 UpdateValueMap(I, ResultReg);
1131 return true;
1132}
1133
Dan Gohman78efce62008-09-10 21:02:08 +00001134bool X86FastISel::X86SelectFPExt(Instruction *I) {
Chris Lattner160f6cc2008-10-15 05:07:36 +00001135 // fpext from float to double.
1136 if (Subtarget->hasSSE2() && I->getType() == Type::DoubleTy) {
1137 Value *V = I->getOperand(0);
1138 if (V->getType() == Type::FloatTy) {
1139 unsigned OpReg = getRegForValue(V);
1140 if (OpReg == 0) return false;
1141 unsigned ResultReg = createResultReg(X86::FR64RegisterClass);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001142 BuildMI(MBB, DL, TII.get(X86::CVTSS2SDrr), ResultReg).addReg(OpReg);
Chris Lattner160f6cc2008-10-15 05:07:36 +00001143 UpdateValueMap(I, ResultReg);
1144 return true;
Dan Gohman78efce62008-09-10 21:02:08 +00001145 }
1146 }
1147
1148 return false;
1149}
1150
1151bool X86FastISel::X86SelectFPTrunc(Instruction *I) {
1152 if (Subtarget->hasSSE2()) {
1153 if (I->getType() == Type::FloatTy) {
1154 Value *V = I->getOperand(0);
1155 if (V->getType() == Type::DoubleTy) {
1156 unsigned OpReg = getRegForValue(V);
1157 if (OpReg == 0) return false;
1158 unsigned ResultReg = createResultReg(X86::FR32RegisterClass);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001159 BuildMI(MBB, DL, TII.get(X86::CVTSD2SSrr), ResultReg).addReg(OpReg);
Dan Gohman78efce62008-09-10 21:02:08 +00001160 UpdateValueMap(I, ResultReg);
1161 return true;
1162 }
1163 }
1164 }
1165
1166 return false;
1167}
1168
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001169bool X86FastISel::X86SelectTrunc(Instruction *I) {
1170 if (Subtarget->is64Bit())
1171 // All other cases should be handled by the tblgen generated code.
1172 return false;
1173 MVT SrcVT = TLI.getValueType(I->getOperand(0)->getType());
1174 MVT DstVT = TLI.getValueType(I->getType());
Chris Lattner44ceb8a2009-03-13 16:36:42 +00001175
1176 // This code only handles truncation to byte right now.
1177 if (DstVT != MVT::i8 && DstVT != MVT::i1)
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001178 // All other cases should be handled by the tblgen generated code.
1179 return false;
1180 if (SrcVT != MVT::i16 && SrcVT != MVT::i32)
1181 // All other cases should be handled by the tblgen generated code.
1182 return false;
1183
1184 unsigned InputReg = getRegForValue(I->getOperand(0));
1185 if (!InputReg)
1186 // Unhandled operand. Halt "fast" selection and bail.
1187 return false;
1188
Dan Gohman62417622009-04-27 16:33:14 +00001189 // First issue a copy to GR16_ABCD or GR32_ABCD.
Dan Gohman21e3dfb2009-04-13 16:09:41 +00001190 unsigned CopyOpc = (SrcVT == MVT::i16) ? X86::MOV16rr : X86::MOV32rr;
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001191 const TargetRegisterClass *CopyRC = (SrcVT == MVT::i16)
Dan Gohman62417622009-04-27 16:33:14 +00001192 ? X86::GR16_ABCDRegisterClass : X86::GR32_ABCDRegisterClass;
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001193 unsigned CopyReg = createResultReg(CopyRC);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001194 BuildMI(MBB, DL, TII.get(CopyOpc), CopyReg).addReg(InputReg);
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001195
1196 // Then issue an extract_subreg.
Chris Lattner44ceb8a2009-03-13 16:36:42 +00001197 unsigned ResultReg = FastEmitInst_extractsubreg(MVT::i8,
Evan Cheng536ab132009-01-22 09:10:11 +00001198 CopyReg, X86::SUBREG_8BIT);
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001199 if (!ResultReg)
1200 return false;
1201
1202 UpdateValueMap(I, ResultReg);
1203 return true;
1204}
1205
Bill Wendling52370a12008-12-09 02:42:50 +00001206bool X86FastISel::X86SelectExtractValue(Instruction *I) {
1207 ExtractValueInst *EI = cast<ExtractValueInst>(I);
1208 Value *Agg = EI->getAggregateOperand();
1209
Chris Lattnera9a42252009-04-12 07:36:01 +00001210 if (IntrinsicInst *CI = dyn_cast<IntrinsicInst>(Agg)) {
1211 switch (CI->getIntrinsicID()) {
1212 default: break;
1213 case Intrinsic::sadd_with_overflow:
1214 case Intrinsic::uadd_with_overflow:
1215 // Cheat a little. We know that the registers for "add" and "seto" are
1216 // allocated sequentially. However, we only keep track of the register
1217 // for "add" in the value map. Use extractvalue's index to get the
1218 // correct register for "seto".
1219 UpdateValueMap(I, lookUpRegForValue(Agg) + *EI->idx_begin());
1220 return true;
Bill Wendling52370a12008-12-09 02:42:50 +00001221 }
1222 }
1223
1224 return false;
1225}
1226
Chris Lattnera9a42252009-04-12 07:36:01 +00001227bool X86FastISel::X86VisitIntrinsicCall(IntrinsicInst &I) {
Bill Wendling52370a12008-12-09 02:42:50 +00001228 // FIXME: Handle more intrinsics.
Chris Lattnera9a42252009-04-12 07:36:01 +00001229 switch (I.getIntrinsicID()) {
Bill Wendling52370a12008-12-09 02:42:50 +00001230 default: return false;
1231 case Intrinsic::sadd_with_overflow:
1232 case Intrinsic::uadd_with_overflow: {
Bill Wendlingc065b3f2008-12-09 07:55:31 +00001233 // Replace "add with overflow" intrinsics with an "add" instruction followed
1234 // by a seto/setc instruction. Later on, when the "extractvalue"
1235 // instructions are encountered, we use the fact that two registers were
1236 // created sequentially to get the correct registers for the "sum" and the
1237 // "overflow bit".
Bill Wendling52370a12008-12-09 02:42:50 +00001238 const Function *Callee = I.getCalledFunction();
1239 const Type *RetTy =
1240 cast<StructType>(Callee->getReturnType())->getTypeAtIndex(unsigned(0));
1241
Chris Lattnera9a42252009-04-12 07:36:01 +00001242 MVT VT;
Bill Wendling52370a12008-12-09 02:42:50 +00001243 if (!isTypeLegal(RetTy, VT))
1244 return false;
1245
1246 Value *Op1 = I.getOperand(1);
1247 Value *Op2 = I.getOperand(2);
1248 unsigned Reg1 = getRegForValue(Op1);
1249 unsigned Reg2 = getRegForValue(Op2);
1250
1251 if (Reg1 == 0 || Reg2 == 0)
1252 // FIXME: Handle values *not* in registers.
1253 return false;
1254
1255 unsigned OpC = 0;
Bill Wendling52370a12008-12-09 02:42:50 +00001256 if (VT == MVT::i32)
1257 OpC = X86::ADD32rr;
1258 else if (VT == MVT::i64)
1259 OpC = X86::ADD64rr;
1260 else
1261 return false;
1262
1263 unsigned ResultReg = createResultReg(TLI.getRegClassFor(VT));
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001264 BuildMI(MBB, DL, TII.get(OpC), ResultReg).addReg(Reg1).addReg(Reg2);
Chris Lattner8d57b772009-04-12 07:51:14 +00001265 unsigned DestReg1 = UpdateValueMap(&I, ResultReg);
Bill Wendling52370a12008-12-09 02:42:50 +00001266
Chris Lattner8d57b772009-04-12 07:51:14 +00001267 // If the add with overflow is an intra-block value then we just want to
1268 // create temporaries for it like normal. If it is a cross-block value then
1269 // UpdateValueMap will return the cross-block register used. Since we
1270 // *really* want the value to be live in the register pair known by
1271 // UpdateValueMap, we have to use DestReg1+1 as the destination register in
1272 // the cross block case. In the non-cross-block case, we should just make
1273 // another register for the value.
1274 if (DestReg1 != ResultReg)
1275 ResultReg = DestReg1+1;
1276 else
1277 ResultReg = createResultReg(TLI.getRegClassFor(MVT::i8));
1278
Chris Lattnera9a42252009-04-12 07:36:01 +00001279 unsigned Opc = X86::SETBr;
1280 if (I.getIntrinsicID() == Intrinsic::sadd_with_overflow)
1281 Opc = X86::SETOr;
1282 BuildMI(MBB, DL, TII.get(Opc), ResultReg);
Bill Wendling52370a12008-12-09 02:42:50 +00001283 return true;
1284 }
1285 }
1286}
1287
Evan Chengf3d4efe2008-09-07 09:09:33 +00001288bool X86FastISel::X86SelectCall(Instruction *I) {
1289 CallInst *CI = cast<CallInst>(I);
1290 Value *Callee = I->getOperand(0);
1291
1292 // Can't handle inline asm yet.
1293 if (isa<InlineAsm>(Callee))
1294 return false;
1295
Bill Wendling52370a12008-12-09 02:42:50 +00001296 // Handle intrinsic calls.
Chris Lattnera9a42252009-04-12 07:36:01 +00001297 if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CI))
1298 return X86VisitIntrinsicCall(*II);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001299
Evan Chengf3d4efe2008-09-07 09:09:33 +00001300 // Handle only C and fastcc calling conventions for now.
1301 CallSite CS(CI);
1302 unsigned CC = CS.getCallingConv();
1303 if (CC != CallingConv::C &&
1304 CC != CallingConv::Fast &&
1305 CC != CallingConv::X86_FastCall)
1306 return false;
1307
Dan Gohman7d04e4a2009-05-04 19:50:33 +00001308 // On X86, -tailcallopt changes the fastcc ABI. FastISel doesn't
1309 // handle this for now.
1310 if (CC == CallingConv::Fast && PerformTailCallOpt)
1311 return false;
1312
Evan Chengf3d4efe2008-09-07 09:09:33 +00001313 // Let SDISel handle vararg functions.
1314 const PointerType *PT = cast<PointerType>(CS.getCalledValue()->getType());
1315 const FunctionType *FTy = cast<FunctionType>(PT->getElementType());
1316 if (FTy->isVarArg())
1317 return false;
1318
1319 // Handle *simple* calls for now.
1320 const Type *RetTy = CS.getType();
1321 MVT RetVT;
Dan Gohmanb5b6ec62008-09-17 21:18:49 +00001322 if (RetTy == Type::VoidTy)
1323 RetVT = MVT::isVoid;
Chris Lattner160f6cc2008-10-15 05:07:36 +00001324 else if (!isTypeLegal(RetTy, RetVT, true))
Evan Chengf3d4efe2008-09-07 09:09:33 +00001325 return false;
1326
Dan Gohmanb5b6ec62008-09-17 21:18:49 +00001327 // Materialize callee address in a register. FIXME: GV address can be
1328 // handled with a CALLpcrel32 instead.
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001329 X86AddressMode CalleeAM;
Chris Lattner0aa43de2009-07-10 05:33:42 +00001330 if (!X86SelectCallAddress(Callee, CalleeAM))
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001331 return false;
Dan Gohmanb5b6ec62008-09-17 21:18:49 +00001332 unsigned CalleeOp = 0;
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001333 GlobalValue *GV = 0;
Chris Lattner553e5712009-06-27 04:50:14 +00001334 if (CalleeAM.GV != 0) {
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001335 GV = CalleeAM.GV;
Chris Lattner553e5712009-06-27 04:50:14 +00001336 } else if (CalleeAM.Base.Reg != 0) {
1337 CalleeOp = CalleeAM.Base.Reg;
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001338 } else
1339 return false;
Dan Gohmanb5b6ec62008-09-17 21:18:49 +00001340
Evan Chengdebdea02008-09-08 17:15:42 +00001341 // Allow calls which produce i1 results.
1342 bool AndToI1 = false;
1343 if (RetVT == MVT::i1) {
1344 RetVT = MVT::i8;
1345 AndToI1 = true;
1346 }
1347
Evan Chengf3d4efe2008-09-07 09:09:33 +00001348 // Deal with call operands first.
Chris Lattner241ab472008-10-15 05:38:32 +00001349 SmallVector<Value*, 8> ArgVals;
1350 SmallVector<unsigned, 8> Args;
1351 SmallVector<MVT, 8> ArgVTs;
1352 SmallVector<ISD::ArgFlagsTy, 8> ArgFlags;
Evan Chengf3d4efe2008-09-07 09:09:33 +00001353 Args.reserve(CS.arg_size());
Chris Lattner241ab472008-10-15 05:38:32 +00001354 ArgVals.reserve(CS.arg_size());
Evan Chengf3d4efe2008-09-07 09:09:33 +00001355 ArgVTs.reserve(CS.arg_size());
1356 ArgFlags.reserve(CS.arg_size());
1357 for (CallSite::arg_iterator i = CS.arg_begin(), e = CS.arg_end();
1358 i != e; ++i) {
1359 unsigned Arg = getRegForValue(*i);
1360 if (Arg == 0)
1361 return false;
1362 ISD::ArgFlagsTy Flags;
1363 unsigned AttrInd = i - CS.arg_begin() + 1;
Devang Patel05988662008-09-25 21:00:45 +00001364 if (CS.paramHasAttr(AttrInd, Attribute::SExt))
Evan Chengf3d4efe2008-09-07 09:09:33 +00001365 Flags.setSExt();
Devang Patel05988662008-09-25 21:00:45 +00001366 if (CS.paramHasAttr(AttrInd, Attribute::ZExt))
Evan Chengf3d4efe2008-09-07 09:09:33 +00001367 Flags.setZExt();
1368
1369 // FIXME: Only handle *easy* calls for now.
Devang Patel05988662008-09-25 21:00:45 +00001370 if (CS.paramHasAttr(AttrInd, Attribute::InReg) ||
1371 CS.paramHasAttr(AttrInd, Attribute::StructRet) ||
1372 CS.paramHasAttr(AttrInd, Attribute::Nest) ||
1373 CS.paramHasAttr(AttrInd, Attribute::ByVal))
Evan Chengf3d4efe2008-09-07 09:09:33 +00001374 return false;
1375
1376 const Type *ArgTy = (*i)->getType();
1377 MVT ArgVT;
Chris Lattner160f6cc2008-10-15 05:07:36 +00001378 if (!isTypeLegal(ArgTy, ArgVT))
Evan Chengf3d4efe2008-09-07 09:09:33 +00001379 return false;
1380 unsigned OriginalAlignment = TD.getABITypeAlignment(ArgTy);
1381 Flags.setOrigAlign(OriginalAlignment);
1382
1383 Args.push_back(Arg);
Chris Lattner241ab472008-10-15 05:38:32 +00001384 ArgVals.push_back(*i);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001385 ArgVTs.push_back(ArgVT);
1386 ArgFlags.push_back(Flags);
1387 }
1388
1389 // Analyze operands of the call, assigning locations to each operand.
1390 SmallVector<CCValAssign, 16> ArgLocs;
Owen Andersond1474d02009-07-09 17:57:24 +00001391 CCState CCInfo(CC, false, TM, ArgLocs, I->getParent()->getContext());
Evan Chengf3d4efe2008-09-07 09:09:33 +00001392 CCInfo.AnalyzeCallOperands(ArgVTs, ArgFlags, CCAssignFnForCall(CC));
1393
1394 // Get a count of how many bytes are to be pushed on the stack.
1395 unsigned NumBytes = CCInfo.getNextStackOffset();
1396
1397 // Issue CALLSEQ_START
Dan Gohman6d4b0522008-10-01 18:28:06 +00001398 unsigned AdjStackDown = TM.getRegisterInfo()->getCallFrameSetupOpcode();
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001399 BuildMI(MBB, DL, TII.get(AdjStackDown)).addImm(NumBytes);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001400
Chris Lattner438949a2008-10-15 05:30:52 +00001401 // Process argument: walk the register/memloc assignments, inserting
Evan Chengf3d4efe2008-09-07 09:09:33 +00001402 // copies / loads.
1403 SmallVector<unsigned, 4> RegArgs;
1404 for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
1405 CCValAssign &VA = ArgLocs[i];
1406 unsigned Arg = Args[VA.getValNo()];
1407 MVT ArgVT = ArgVTs[VA.getValNo()];
1408
1409 // Promote the value if needed.
1410 switch (VA.getLocInfo()) {
1411 default: assert(0 && "Unknown loc info!");
1412 case CCValAssign::Full: break;
Evan Cheng24e3a902008-09-08 06:35:17 +00001413 case CCValAssign::SExt: {
1414 bool Emitted = X86FastEmitExtend(ISD::SIGN_EXTEND, VA.getLocVT(),
1415 Arg, ArgVT, Arg);
Chris Lattnera33649e2008-12-19 17:03:38 +00001416 assert(Emitted && "Failed to emit a sext!"); Emitted=Emitted;
Devang Patelfd1c6c32008-12-23 21:56:28 +00001417 Emitted = true;
Evan Cheng24e3a902008-09-08 06:35:17 +00001418 ArgVT = VA.getLocVT();
Evan Chengf3d4efe2008-09-07 09:09:33 +00001419 break;
Evan Cheng24e3a902008-09-08 06:35:17 +00001420 }
1421 case CCValAssign::ZExt: {
1422 bool Emitted = X86FastEmitExtend(ISD::ZERO_EXTEND, VA.getLocVT(),
1423 Arg, ArgVT, Arg);
Chris Lattnera33649e2008-12-19 17:03:38 +00001424 assert(Emitted && "Failed to emit a zext!"); Emitted=Emitted;
Devang Patelfd1c6c32008-12-23 21:56:28 +00001425 Emitted = true;
Evan Cheng24e3a902008-09-08 06:35:17 +00001426 ArgVT = VA.getLocVT();
Evan Chengf3d4efe2008-09-07 09:09:33 +00001427 break;
Evan Cheng24e3a902008-09-08 06:35:17 +00001428 }
1429 case CCValAssign::AExt: {
1430 bool Emitted = X86FastEmitExtend(ISD::ANY_EXTEND, VA.getLocVT(),
1431 Arg, ArgVT, Arg);
Owen Andersonb6369132008-09-11 02:41:37 +00001432 if (!Emitted)
1433 Emitted = X86FastEmitExtend(ISD::ZERO_EXTEND, VA.getLocVT(),
Chris Lattner160f6cc2008-10-15 05:07:36 +00001434 Arg, ArgVT, Arg);
Owen Andersonb6369132008-09-11 02:41:37 +00001435 if (!Emitted)
1436 Emitted = X86FastEmitExtend(ISD::SIGN_EXTEND, VA.getLocVT(),
1437 Arg, ArgVT, Arg);
1438
Chris Lattnera33649e2008-12-19 17:03:38 +00001439 assert(Emitted && "Failed to emit a aext!"); Emitted=Emitted;
Evan Cheng24e3a902008-09-08 06:35:17 +00001440 ArgVT = VA.getLocVT();
Evan Chengf3d4efe2008-09-07 09:09:33 +00001441 break;
1442 }
Evan Cheng24e3a902008-09-08 06:35:17 +00001443 }
Evan Chengf3d4efe2008-09-07 09:09:33 +00001444
1445 if (VA.isRegLoc()) {
1446 TargetRegisterClass* RC = TLI.getRegClassFor(ArgVT);
1447 bool Emitted = TII.copyRegToReg(*MBB, MBB->end(), VA.getLocReg(),
1448 Arg, RC, RC);
Chris Lattnera33649e2008-12-19 17:03:38 +00001449 assert(Emitted && "Failed to emit a copy instruction!"); Emitted=Emitted;
Devang Patelfd1c6c32008-12-23 21:56:28 +00001450 Emitted = true;
Evan Chengf3d4efe2008-09-07 09:09:33 +00001451 RegArgs.push_back(VA.getLocReg());
1452 } else {
1453 unsigned LocMemOffset = VA.getLocMemOffset();
Dan Gohman0586d912008-09-10 20:11:02 +00001454 X86AddressMode AM;
1455 AM.Base.Reg = StackPtr;
1456 AM.Disp = LocMemOffset;
Chris Lattner241ab472008-10-15 05:38:32 +00001457 Value *ArgVal = ArgVals[VA.getValNo()];
1458
1459 // If this is a really simple value, emit this with the Value* version of
1460 // X86FastEmitStore. If it isn't simple, we don't want to do this, as it
1461 // can cause us to reevaluate the argument.
1462 if (isa<ConstantInt>(ArgVal) || isa<ConstantPointerNull>(ArgVal))
1463 X86FastEmitStore(ArgVT, ArgVal, AM);
1464 else
1465 X86FastEmitStore(ArgVT, Arg, AM);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001466 }
1467 }
1468
Dan Gohman2cc3aa42008-09-25 15:24:26 +00001469 // ELF / PIC requires GOT in the EBX register before function calls via PLT
1470 // GOT pointer.
Chris Lattner15a380a2009-07-09 04:39:06 +00001471 if (Subtarget->isPICStyleGOT()) {
Dan Gohman2cc3aa42008-09-25 15:24:26 +00001472 TargetRegisterClass *RC = X86::GR32RegisterClass;
Dan Gohman57c3dac2008-09-30 00:58:23 +00001473 unsigned Base = getInstrInfo()->getGlobalBaseReg(&MF);
Dan Gohman2cc3aa42008-09-25 15:24:26 +00001474 bool Emitted = TII.copyRegToReg(*MBB, MBB->end(), X86::EBX, Base, RC, RC);
Chris Lattnera33649e2008-12-19 17:03:38 +00001475 assert(Emitted && "Failed to emit a copy instruction!"); Emitted=Emitted;
Devang Patelfd1c6c32008-12-23 21:56:28 +00001476 Emitted = true;
Dan Gohman2cc3aa42008-09-25 15:24:26 +00001477 }
Chris Lattner51e8eab2009-07-09 06:34:26 +00001478
Evan Chengf3d4efe2008-09-07 09:09:33 +00001479 // Issue the call.
Chris Lattner51e8eab2009-07-09 06:34:26 +00001480 MachineInstrBuilder MIB;
1481 if (CalleeOp) {
1482 // Register-indirect call.
1483 unsigned CallOpc = Subtarget->is64Bit() ? X86::CALL64r : X86::CALL32r;
1484 MIB = BuildMI(MBB, DL, TII.get(CallOpc)).addReg(CalleeOp);
1485
1486 } else {
1487 // Direct call.
1488 assert(GV && "Not a direct call");
1489 unsigned CallOpc =
1490 Subtarget->is64Bit() ? X86::CALL64pcrel32 : X86::CALLpcrel32;
1491
1492 // See if we need any target-specific flags on the GV operand.
1493 unsigned char OpFlags = 0;
1494
1495 // On ELF targets, in both X86-64 and X86-32 mode, direct calls to
1496 // external symbols most go through the PLT in PIC mode. If the symbol
1497 // has hidden or protected visibility, or if it is static or local, then
1498 // we don't need to use the PLT - we can directly call it.
1499 if (Subtarget->isTargetELF() &&
1500 TM.getRelocationModel() == Reloc::PIC_ &&
1501 GV->hasDefaultVisibility() && !GV->hasLocalLinkage()) {
1502 OpFlags = X86II::MO_PLT;
1503 } else if (Subtarget->isPICStyleStub() &&
1504 (GV->isDeclaration() || GV->isWeakForLinker()) &&
1505 Subtarget->getDarwinVers() < 9) {
1506 // PC-relative references to external symbols should go through $stub,
1507 // unless we're building with the leopard linker or later, which
1508 // automatically synthesizes these stubs.
1509 OpFlags = X86II::MO_DARWIN_STUB;
1510 }
1511
1512
1513 MIB = BuildMI(MBB, DL, TII.get(CallOpc)).addGlobalAddress(GV, 0, OpFlags);
1514 }
Dan Gohman2cc3aa42008-09-25 15:24:26 +00001515
1516 // Add an implicit use GOT pointer in EBX.
Chris Lattner15a380a2009-07-09 04:39:06 +00001517 if (Subtarget->isPICStyleGOT())
Dan Gohman2cc3aa42008-09-25 15:24:26 +00001518 MIB.addReg(X86::EBX);
1519
Evan Chengf3d4efe2008-09-07 09:09:33 +00001520 // Add implicit physical register uses to the call.
Dan Gohman8c3f8b62008-10-07 22:10:33 +00001521 for (unsigned i = 0, e = RegArgs.size(); i != e; ++i)
1522 MIB.addReg(RegArgs[i]);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001523
1524 // Issue CALLSEQ_END
Dan Gohman6d4b0522008-10-01 18:28:06 +00001525 unsigned AdjStackUp = TM.getRegisterInfo()->getCallFrameDestroyOpcode();
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001526 BuildMI(MBB, DL, TII.get(AdjStackUp)).addImm(NumBytes).addImm(0);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001527
1528 // Now handle call return value (if any).
Evan Chengf3d4efe2008-09-07 09:09:33 +00001529 if (RetVT.getSimpleVT() != MVT::isVoid) {
1530 SmallVector<CCValAssign, 16> RVLocs;
Owen Andersond1474d02009-07-09 17:57:24 +00001531 CCState CCInfo(CC, false, TM, RVLocs, I->getParent()->getContext());
Evan Chengf3d4efe2008-09-07 09:09:33 +00001532 CCInfo.AnalyzeCallResult(RetVT, RetCC_X86);
1533
1534 // Copy all of the result registers out of their specified physreg.
1535 assert(RVLocs.size() == 1 && "Can't handle multi-value calls!");
1536 MVT CopyVT = RVLocs[0].getValVT();
1537 TargetRegisterClass* DstRC = TLI.getRegClassFor(CopyVT);
1538 TargetRegisterClass *SrcRC = DstRC;
1539
1540 // If this is a call to a function that returns an fp value on the x87 fp
1541 // stack, but where we prefer to use the value in xmm registers, copy it
1542 // out as F80 and use a truncate to move it from fp stack reg to xmm reg.
1543 if ((RVLocs[0].getLocReg() == X86::ST0 ||
1544 RVLocs[0].getLocReg() == X86::ST1) &&
1545 isScalarFPTypeInSSEReg(RVLocs[0].getValVT())) {
1546 CopyVT = MVT::f80;
1547 SrcRC = X86::RSTRegisterClass;
1548 DstRC = X86::RFP80RegisterClass;
1549 }
1550
1551 unsigned ResultReg = createResultReg(DstRC);
1552 bool Emitted = TII.copyRegToReg(*MBB, MBB->end(), ResultReg,
1553 RVLocs[0].getLocReg(), DstRC, SrcRC);
Chris Lattnera33649e2008-12-19 17:03:38 +00001554 assert(Emitted && "Failed to emit a copy instruction!"); Emitted=Emitted;
Devang Patelfd1c6c32008-12-23 21:56:28 +00001555 Emitted = true;
Evan Chengf3d4efe2008-09-07 09:09:33 +00001556 if (CopyVT != RVLocs[0].getValVT()) {
1557 // Round the F80 the right size, which also moves to the appropriate xmm
1558 // register. This is accomplished by storing the F80 value in memory and
1559 // then loading it back. Ewww...
1560 MVT ResVT = RVLocs[0].getValVT();
1561 unsigned Opc = ResVT == MVT::f32 ? X86::ST_Fp80m32 : X86::ST_Fp80m64;
1562 unsigned MemSize = ResVT.getSizeInBits()/8;
Dan Gohman0586d912008-09-10 20:11:02 +00001563 int FI = MFI.CreateStackObject(MemSize, MemSize);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001564 addFrameReference(BuildMI(MBB, DL, TII.get(Opc)), FI).addReg(ResultReg);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001565 DstRC = ResVT == MVT::f32
1566 ? X86::FR32RegisterClass : X86::FR64RegisterClass;
1567 Opc = ResVT == MVT::f32 ? X86::MOVSSrm : X86::MOVSDrm;
1568 ResultReg = createResultReg(DstRC);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001569 addFrameReference(BuildMI(MBB, DL, TII.get(Opc), ResultReg), FI);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001570 }
1571
Evan Chengdebdea02008-09-08 17:15:42 +00001572 if (AndToI1) {
1573 // Mask out all but lowest bit for some call which produces an i1.
1574 unsigned AndResult = createResultReg(X86::GR8RegisterClass);
Dale Johannesen8d13f8f2009-02-13 02:33:27 +00001575 BuildMI(MBB, DL,
1576 TII.get(X86::AND8ri), AndResult).addReg(ResultReg).addImm(1);
Evan Chengdebdea02008-09-08 17:15:42 +00001577 ResultReg = AndResult;
1578 }
1579
Evan Chengf3d4efe2008-09-07 09:09:33 +00001580 UpdateValueMap(I, ResultReg);
1581 }
1582
1583 return true;
1584}
1585
1586
Dan Gohman99b21822008-08-28 23:21:34 +00001587bool
Dan Gohman3df24e62008-09-03 23:12:08 +00001588X86FastISel::TargetSelectInstruction(Instruction *I) {
Dan Gohman99b21822008-08-28 23:21:34 +00001589 switch (I->getOpcode()) {
1590 default: break;
Evan Cheng8b19e562008-09-03 06:44:39 +00001591 case Instruction::Load:
Dan Gohman3df24e62008-09-03 23:12:08 +00001592 return X86SelectLoad(I);
Owen Anderson79924eb2008-09-04 16:48:33 +00001593 case Instruction::Store:
1594 return X86SelectStore(I);
Dan Gohman6e3f05f2008-09-04 23:26:51 +00001595 case Instruction::ICmp:
1596 case Instruction::FCmp:
1597 return X86SelectCmp(I);
Dan Gohmand89ae992008-09-05 01:06:14 +00001598 case Instruction::ZExt:
1599 return X86SelectZExt(I);
1600 case Instruction::Br:
1601 return X86SelectBranch(I);
Evan Chengf3d4efe2008-09-07 09:09:33 +00001602 case Instruction::Call:
1603 return X86SelectCall(I);
Dan Gohmanc39f4db2008-09-05 18:30:08 +00001604 case Instruction::LShr:
1605 case Instruction::AShr:
1606 case Instruction::Shl:
1607 return X86SelectShift(I);
1608 case Instruction::Select:
1609 return X86SelectSelect(I);
Evan Cheng10a8d9c2008-09-07 08:47:42 +00001610 case Instruction::Trunc:
1611 return X86SelectTrunc(I);
Dan Gohman78efce62008-09-10 21:02:08 +00001612 case Instruction::FPExt:
1613 return X86SelectFPExt(I);
1614 case Instruction::FPTrunc:
1615 return X86SelectFPTrunc(I);
Bill Wendling52370a12008-12-09 02:42:50 +00001616 case Instruction::ExtractValue:
1617 return X86SelectExtractValue(I);
Dan Gohman474d3b32009-03-13 23:53:06 +00001618 case Instruction::IntToPtr: // Deliberate fall-through.
1619 case Instruction::PtrToInt: {
1620 MVT SrcVT = TLI.getValueType(I->getOperand(0)->getType());
1621 MVT DstVT = TLI.getValueType(I->getType());
1622 if (DstVT.bitsGT(SrcVT))
1623 return X86SelectZExt(I);
1624 if (DstVT.bitsLT(SrcVT))
1625 return X86SelectTrunc(I);
1626 unsigned Reg = getRegForValue(I->getOperand(0));
1627 if (Reg == 0) return false;
1628 UpdateValueMap(I, Reg);
1629 return true;
1630 }
Dan Gohman99b21822008-08-28 23:21:34 +00001631 }
1632
1633 return false;
1634}
1635
Dan Gohman0586d912008-09-10 20:11:02 +00001636unsigned X86FastISel::TargetMaterializeConstant(Constant *C) {
Evan Cheng59fbc802008-09-09 01:26:59 +00001637 MVT VT;
Chris Lattner160f6cc2008-10-15 05:07:36 +00001638 if (!isTypeLegal(C->getType(), VT))
Owen Anderson95267a12008-09-05 00:06:23 +00001639 return false;
1640
1641 // Get opcode and regclass of the output for the given load instruction.
1642 unsigned Opc = 0;
1643 const TargetRegisterClass *RC = NULL;
1644 switch (VT.getSimpleVT()) {
1645 default: return false;
1646 case MVT::i8:
1647 Opc = X86::MOV8rm;
1648 RC = X86::GR8RegisterClass;
1649 break;
1650 case MVT::i16:
1651 Opc = X86::MOV16rm;
1652 RC = X86::GR16RegisterClass;
1653 break;
1654 case MVT::i32:
1655 Opc = X86::MOV32rm;
1656 RC = X86::GR32RegisterClass;
1657 break;
1658 case MVT::i64:
1659 // Must be in x86-64 mode.
1660 Opc = X86::MOV64rm;
1661 RC = X86::GR64RegisterClass;
1662 break;
1663 case MVT::f32:
1664 if (Subtarget->hasSSE1()) {
1665 Opc = X86::MOVSSrm;
1666 RC = X86::FR32RegisterClass;
1667 } else {
1668 Opc = X86::LD_Fp32m;
1669 RC = X86::RFP32RegisterClass;
1670 }
1671 break;
1672 case MVT::f64:
1673 if (Subtarget->hasSSE2()) {
1674 Opc = X86::MOVSDrm;
1675 RC = X86::FR64RegisterClass;
1676 } else {
1677 Opc = X86::LD_Fp64m;
1678 RC = X86::RFP64RegisterClass;
1679 }
1680 break;
1681 case MVT::f80:
Dan Gohman5af29c22008-09-26 01:39:32 +00001682 // No f80 support yet.
1683 return false;
Owen Anderson95267a12008-09-05 00:06:23 +00001684 }
1685
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001686 // Materialize addresses with LEA instructions.
Owen Anderson95267a12008-09-05 00:06:23 +00001687 if (isa<GlobalValue>(C)) {
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001688 X86AddressMode AM;
Chris Lattner0aa43de2009-07-10 05:33:42 +00001689 if (X86SelectAddress(C, AM)) {
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001690 if (TLI.getPointerTy() == MVT::i32)
1691 Opc = X86::LEA32r;
1692 else
1693 Opc = X86::LEA64r;
1694 unsigned ResultReg = createResultReg(RC);
Rafael Espindola094fad32009-04-08 21:14:34 +00001695 addLeaAddress(BuildMI(MBB, DL, TII.get(Opc), ResultReg), AM);
Owen Anderson95267a12008-09-05 00:06:23 +00001696 return ResultReg;
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001697 }
Evan Cheng0de588f2008-09-05 21:00:03 +00001698 return 0;
Owen Anderson95267a12008-09-05 00:06:23 +00001699 }
1700
Owen Anderson3b217c62008-09-06 01:11:01 +00001701 // MachineConstantPool wants an explicit alignment.
Evan Cheng1606e8e2009-03-13 07:51:59 +00001702 unsigned Align = TD.getPrefTypeAlignment(C->getType());
Owen Anderson3b217c62008-09-06 01:11:01 +00001703 if (Align == 0) {
1704 // Alignment of vector types. FIXME!
Duncan Sands777d2302009-05-09 07:06:46 +00001705 Align = TD.getTypeAllocSize(C->getType());
Owen Anderson3b217c62008-09-06 01:11:01 +00001706 }
Owen Anderson95267a12008-09-05 00:06:23 +00001707
Dan Gohman5396c992008-09-30 01:21:32 +00001708 // x86-32 PIC requires a PIC base register for constant pools.
1709 unsigned PICBase = 0;
Chris Lattner89da6992009-06-27 01:31:51 +00001710 unsigned char OpFlag = 0;
Chris Lattner15a380a2009-07-09 04:39:06 +00001711 if (Subtarget->isPICStyleStub() &&
1712 TM.getRelocationModel() == Reloc::PIC_) { // Not dynamic-no-pic
1713 OpFlag = X86II::MO_PIC_BASE_OFFSET;
1714 PICBase = getInstrInfo()->getGlobalBaseReg(&MF);
1715 } else if (Subtarget->isPICStyleGOT()) {
1716 OpFlag = X86II::MO_GOTOFF;
1717 PICBase = getInstrInfo()->getGlobalBaseReg(&MF);
1718 } else if (Subtarget->isPICStyleRIPRel() &&
1719 TM.getCodeModel() == CodeModel::Small) {
1720 PICBase = X86::RIP;
Chris Lattner89da6992009-06-27 01:31:51 +00001721 }
Dan Gohman5396c992008-09-30 01:21:32 +00001722
1723 // Create the load from the constant pool.
Dan Gohman0586d912008-09-10 20:11:02 +00001724 unsigned MCPOffset = MCP.getConstantPoolIndex(C, Align);
Dan Gohman2ff7fd12008-09-19 22:16:54 +00001725 unsigned ResultReg = createResultReg(RC);
Chris Lattner89da6992009-06-27 01:31:51 +00001726 addConstantPoolReference(BuildMI(MBB, DL, TII.get(Opc), ResultReg),
1727 MCPOffset, PICBase, OpFlag);
Dan Gohman5396c992008-09-30 01:21:32 +00001728
Owen Anderson95267a12008-09-05 00:06:23 +00001729 return ResultReg;
1730}
1731
Dan Gohman0586d912008-09-10 20:11:02 +00001732unsigned X86FastISel::TargetMaterializeAlloca(AllocaInst *C) {
Dan Gohman4e6ed5e2008-10-03 01:27:49 +00001733 // Fail on dynamic allocas. At this point, getRegForValue has already
1734 // checked its CSE maps, so if we're here trying to handle a dynamic
1735 // alloca, we're not going to succeed. X86SelectAddress has a
1736 // check for dynamic allocas, because it's called directly from
1737 // various places, but TargetMaterializeAlloca also needs a check
1738 // in order to avoid recursion between getRegForValue,
1739 // X86SelectAddrss, and TargetMaterializeAlloca.
1740 if (!StaticAllocaMap.count(C))
1741 return 0;
1742
Dan Gohman0586d912008-09-10 20:11:02 +00001743 X86AddressMode AM;
Chris Lattner0aa43de2009-07-10 05:33:42 +00001744 if (!X86SelectAddress(C, AM))
Dan Gohman0586d912008-09-10 20:11:02 +00001745 return 0;
1746 unsigned Opc = Subtarget->is64Bit() ? X86::LEA64r : X86::LEA32r;
1747 TargetRegisterClass* RC = TLI.getRegClassFor(TLI.getPointerTy());
1748 unsigned ResultReg = createResultReg(RC);
Rafael Espindola094fad32009-04-08 21:14:34 +00001749 addLeaAddress(BuildMI(MBB, DL, TII.get(Opc), ResultReg), AM);
Dan Gohman0586d912008-09-10 20:11:02 +00001750 return ResultReg;
1751}
1752
Evan Chengc3f44b02008-09-03 00:03:49 +00001753namespace llvm {
Dan Gohman3df24e62008-09-03 23:12:08 +00001754 llvm::FastISel *X86::createFastISel(MachineFunction &mf,
Dan Gohmand57dd5f2008-09-23 21:53:34 +00001755 MachineModuleInfo *mmi,
Devang Patel83489bb2009-01-13 00:35:13 +00001756 DwarfWriter *dw,
Dan Gohman3df24e62008-09-03 23:12:08 +00001757 DenseMap<const Value *, unsigned> &vm,
Dan Gohman0586d912008-09-10 20:11:02 +00001758 DenseMap<const BasicBlock *, MachineBasicBlock *> &bm,
Dan Gohmandd5b58a2008-10-14 23:54:11 +00001759 DenseMap<const AllocaInst *, int> &am
1760#ifndef NDEBUG
1761 , SmallSet<Instruction*, 8> &cil
1762#endif
1763 ) {
Devang Patel83489bb2009-01-13 00:35:13 +00001764 return new X86FastISel(mf, mmi, dw, vm, bm, am
Dan Gohmandd5b58a2008-10-14 23:54:11 +00001765#ifndef NDEBUG
1766 , cil
1767#endif
1768 );
Evan Chengc3f44b02008-09-03 00:03:49 +00001769 }
Dan Gohman99b21822008-08-28 23:21:34 +00001770}