Cleanup and include code selection for some frame index cases.
[oota-llvm.git] / lib / Target / ARM / ARMISelDAGToDAG.cpp
1 //===-- ARMISelDAGToDAG.cpp - A dag to dag inst selector for ARM ----------===//
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 an instruction selector for the ARM target.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "ARM.h"
15 #include "ARMAddressingModes.h"
16 #include "ARMConstantPoolValue.h"
17 #include "ARMISelLowering.h"
18 #include "ARMTargetMachine.h"
19 #include "llvm/CallingConv.h"
20 #include "llvm/Constants.h"
21 #include "llvm/DerivedTypes.h"
22 #include "llvm/Function.h"
23 #include "llvm/Intrinsics.h"
24 #include "llvm/LLVMContext.h"
25 #include "llvm/CodeGen/MachineFrameInfo.h"
26 #include "llvm/CodeGen/MachineFunction.h"
27 #include "llvm/CodeGen/MachineInstrBuilder.h"
28 #include "llvm/CodeGen/SelectionDAG.h"
29 #include "llvm/CodeGen/SelectionDAGISel.h"
30 #include "llvm/Target/TargetLowering.h"
31 #include "llvm/Target/TargetOptions.h"
32 #include "llvm/Support/Compiler.h"
33 #include "llvm/Support/Debug.h"
34 #include "llvm/Support/ErrorHandling.h"
35 #include "llvm/Support/raw_ostream.h"
36
37 using namespace llvm;
38
39 static const unsigned arm_dsubreg_0 = 5;
40 static const unsigned arm_dsubreg_1 = 6;
41
42 //===--------------------------------------------------------------------===//
43 /// ARMDAGToDAGISel - ARM specific code to select ARM machine
44 /// instructions for SelectionDAG operations.
45 ///
46 namespace {
47 class ARMDAGToDAGISel : public SelectionDAGISel {
48   ARMBaseTargetMachine &TM;
49
50   /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
51   /// make the right decision when generating code for different targets.
52   const ARMSubtarget *Subtarget;
53
54 public:
55   explicit ARMDAGToDAGISel(ARMBaseTargetMachine &tm)
56     : SelectionDAGISel(tm), TM(tm),
57     Subtarget(&TM.getSubtarget<ARMSubtarget>()) {
58   }
59
60   virtual const char *getPassName() const {
61     return "ARM Instruction Selection";
62   }
63
64  /// getI32Imm - Return a target constant with the specified value, of type i32.
65   inline SDValue getI32Imm(unsigned Imm) {
66     return CurDAG->getTargetConstant(Imm, MVT::i32);
67   }
68
69   SDNode *Select(SDValue Op);
70   virtual void InstructionSelect();
71   bool SelectShifterOperandReg(SDValue Op, SDValue N, SDValue &A,
72                                SDValue &B, SDValue &C);
73   bool SelectAddrMode2(SDValue Op, SDValue N, SDValue &Base,
74                        SDValue &Offset, SDValue &Opc);
75   bool SelectAddrMode2Offset(SDValue Op, SDValue N,
76                              SDValue &Offset, SDValue &Opc);
77   bool SelectAddrMode3(SDValue Op, SDValue N, SDValue &Base,
78                        SDValue &Offset, SDValue &Opc);
79   bool SelectAddrMode3Offset(SDValue Op, SDValue N,
80                              SDValue &Offset, SDValue &Opc);
81   bool SelectAddrMode5(SDValue Op, SDValue N, SDValue &Base,
82                        SDValue &Offset);
83   bool SelectAddrMode6(SDValue Op, SDValue N, SDValue &Addr, SDValue &Update,
84                        SDValue &Opc);
85
86   bool SelectAddrModePC(SDValue Op, SDValue N, SDValue &Offset,
87                         SDValue &Label);
88
89   bool SelectThumbAddrModeRR(SDValue Op, SDValue N, SDValue &Base,
90                              SDValue &Offset);
91   bool SelectThumbAddrModeRI5(SDValue Op, SDValue N, unsigned Scale,
92                               SDValue &Base, SDValue &OffImm,
93                               SDValue &Offset);
94   bool SelectThumbAddrModeS1(SDValue Op, SDValue N, SDValue &Base,
95                              SDValue &OffImm, SDValue &Offset);
96   bool SelectThumbAddrModeS2(SDValue Op, SDValue N, SDValue &Base,
97                              SDValue &OffImm, SDValue &Offset);
98   bool SelectThumbAddrModeS4(SDValue Op, SDValue N, SDValue &Base,
99                              SDValue &OffImm, SDValue &Offset);
100   bool SelectThumbAddrModeSP(SDValue Op, SDValue N, SDValue &Base,
101                              SDValue &OffImm);
102
103   bool SelectT2ShifterOperandReg(SDValue Op, SDValue N,
104                                  SDValue &BaseReg, SDValue &Opc);
105   bool SelectT2AddrModeImm12(SDValue Op, SDValue N, SDValue &Base,
106                              SDValue &OffImm);
107   bool SelectT2AddrModeImm8(SDValue Op, SDValue N, SDValue &Base,
108                             SDValue &OffImm);
109   bool SelectT2AddrModeImm8Offset(SDValue Op, SDValue N,
110                                  SDValue &OffImm);
111   bool SelectT2AddrModeImm8s4(SDValue Op, SDValue N, SDValue &Base,
112                               SDValue &OffImm);
113   bool SelectT2AddrModeSoReg(SDValue Op, SDValue N, SDValue &Base,
114                              SDValue &OffReg, SDValue &ShImm);
115
116   // Include the pieces autogenerated from the target description.
117 #include "ARMGenDAGISel.inc"
118
119 private:
120   /// SelectARMIndexedLoad - Indexed (pre/post inc/dec) load matching code for
121   /// ARM.
122   SDNode *SelectARMIndexedLoad(SDValue Op);
123   SDNode *SelectT2IndexedLoad(SDValue Op);
124
125
126   /// SelectInlineAsmMemoryOperand - Implement addressing mode selection for
127   /// inline asm expressions.
128   virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op,
129                                             char ConstraintCode,
130                                             std::vector<SDValue> &OutOps);
131 };
132 }
133
134 void ARMDAGToDAGISel::InstructionSelect() {
135   DEBUG(BB->dump());
136
137   SelectRoot(*CurDAG);
138   CurDAG->RemoveDeadNodes();
139 }
140
141 bool ARMDAGToDAGISel::SelectShifterOperandReg(SDValue Op,
142                                               SDValue N,
143                                               SDValue &BaseReg,
144                                               SDValue &ShReg,
145                                               SDValue &Opc) {
146   ARM_AM::ShiftOpc ShOpcVal = ARM_AM::getShiftOpcForNode(N);
147
148   // Don't match base register only case. That is matched to a separate
149   // lower complexity pattern with explicit register operand.
150   if (ShOpcVal == ARM_AM::no_shift) return false;
151   
152   BaseReg = N.getOperand(0);
153   unsigned ShImmVal = 0;
154   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
155     ShReg = CurDAG->getRegister(0, MVT::i32);
156     ShImmVal = RHS->getZExtValue() & 31;
157   } else {
158     ShReg = N.getOperand(1);
159   }
160   Opc = CurDAG->getTargetConstant(ARM_AM::getSORegOpc(ShOpcVal, ShImmVal),
161                                   MVT::i32);
162   return true;
163 }
164
165 bool ARMDAGToDAGISel::SelectAddrMode2(SDValue Op, SDValue N,
166                                       SDValue &Base, SDValue &Offset,
167                                       SDValue &Opc) {
168   if (N.getOpcode() == ISD::MUL) {
169     if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
170       // X * [3,5,9] -> X + X * [2,4,8] etc.
171       int RHSC = (int)RHS->getZExtValue();
172       if (RHSC & 1) {
173         RHSC = RHSC & ~1;
174         ARM_AM::AddrOpc AddSub = ARM_AM::add;
175         if (RHSC < 0) {
176           AddSub = ARM_AM::sub;
177           RHSC = - RHSC;
178         }
179         if (isPowerOf2_32(RHSC)) {
180           unsigned ShAmt = Log2_32(RHSC);
181           Base = Offset = N.getOperand(0);
182           Opc = CurDAG->getTargetConstant(ARM_AM::getAM2Opc(AddSub, ShAmt,
183                                                             ARM_AM::lsl),
184                                           MVT::i32);
185           return true;
186         }
187       }
188     }
189   }
190
191   if (N.getOpcode() != ISD::ADD && N.getOpcode() != ISD::SUB) {
192     Base = N;
193     if (N.getOpcode() == ISD::FrameIndex) {
194       int FI = cast<FrameIndexSDNode>(N)->getIndex();
195       Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
196     } else if (N.getOpcode() == ARMISD::Wrapper) {
197       Base = N.getOperand(0);
198     }
199     Offset = CurDAG->getRegister(0, MVT::i32);
200     Opc = CurDAG->getTargetConstant(ARM_AM::getAM2Opc(ARM_AM::add, 0,
201                                                       ARM_AM::no_shift),
202                                     MVT::i32);
203     return true;
204   }
205   
206   // Match simple R +/- imm12 operands.
207   if (N.getOpcode() == ISD::ADD)
208     if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
209       int RHSC = (int)RHS->getZExtValue();
210       if ((RHSC >= 0 && RHSC < 0x1000) ||
211           (RHSC < 0 && RHSC > -0x1000)) { // 12 bits.
212         Base = N.getOperand(0);
213         if (Base.getOpcode() == ISD::FrameIndex) {
214           int FI = cast<FrameIndexSDNode>(Base)->getIndex();
215           Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
216         }
217         Offset = CurDAG->getRegister(0, MVT::i32);
218
219         ARM_AM::AddrOpc AddSub = ARM_AM::add;
220         if (RHSC < 0) {
221           AddSub = ARM_AM::sub;
222           RHSC = - RHSC;
223         }
224         Opc = CurDAG->getTargetConstant(ARM_AM::getAM2Opc(AddSub, RHSC,
225                                                           ARM_AM::no_shift),
226                                         MVT::i32);
227         return true;
228       }
229     }
230   
231   // Otherwise this is R +/- [possibly shifted] R
232   ARM_AM::AddrOpc AddSub = N.getOpcode() == ISD::ADD ? ARM_AM::add:ARM_AM::sub;
233   ARM_AM::ShiftOpc ShOpcVal = ARM_AM::getShiftOpcForNode(N.getOperand(1));
234   unsigned ShAmt = 0;
235   
236   Base   = N.getOperand(0);
237   Offset = N.getOperand(1);
238   
239   if (ShOpcVal != ARM_AM::no_shift) {
240     // Check to see if the RHS of the shift is a constant, if not, we can't fold
241     // it.
242     if (ConstantSDNode *Sh =
243            dyn_cast<ConstantSDNode>(N.getOperand(1).getOperand(1))) {
244       ShAmt = Sh->getZExtValue();
245       Offset = N.getOperand(1).getOperand(0);
246     } else {
247       ShOpcVal = ARM_AM::no_shift;
248     }
249   }
250   
251   // Try matching (R shl C) + (R).
252   if (N.getOpcode() == ISD::ADD && ShOpcVal == ARM_AM::no_shift) {
253     ShOpcVal = ARM_AM::getShiftOpcForNode(N.getOperand(0));
254     if (ShOpcVal != ARM_AM::no_shift) {
255       // Check to see if the RHS of the shift is a constant, if not, we can't
256       // fold it.
257       if (ConstantSDNode *Sh =
258           dyn_cast<ConstantSDNode>(N.getOperand(0).getOperand(1))) {
259         ShAmt = Sh->getZExtValue();
260         Offset = N.getOperand(0).getOperand(0);
261         Base = N.getOperand(1);
262       } else {
263         ShOpcVal = ARM_AM::no_shift;
264       }
265     }
266   }
267   
268   Opc = CurDAG->getTargetConstant(ARM_AM::getAM2Opc(AddSub, ShAmt, ShOpcVal),
269                                   MVT::i32);
270   return true;
271 }
272
273 bool ARMDAGToDAGISel::SelectAddrMode2Offset(SDValue Op, SDValue N,
274                                             SDValue &Offset, SDValue &Opc) {
275   unsigned Opcode = Op.getOpcode();
276   ISD::MemIndexedMode AM = (Opcode == ISD::LOAD)
277     ? cast<LoadSDNode>(Op)->getAddressingMode()
278     : cast<StoreSDNode>(Op)->getAddressingMode();
279   ARM_AM::AddrOpc AddSub = (AM == ISD::PRE_INC || AM == ISD::POST_INC)
280     ? ARM_AM::add : ARM_AM::sub;
281   if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(N)) {
282     int Val = (int)C->getZExtValue();
283     if (Val >= 0 && Val < 0x1000) { // 12 bits.
284       Offset = CurDAG->getRegister(0, MVT::i32);
285       Opc = CurDAG->getTargetConstant(ARM_AM::getAM2Opc(AddSub, Val,
286                                                         ARM_AM::no_shift),
287                                       MVT::i32);
288       return true;
289     }
290   }
291
292   Offset = N;
293   ARM_AM::ShiftOpc ShOpcVal = ARM_AM::getShiftOpcForNode(N);
294   unsigned ShAmt = 0;
295   if (ShOpcVal != ARM_AM::no_shift) {
296     // Check to see if the RHS of the shift is a constant, if not, we can't fold
297     // it.
298     if (ConstantSDNode *Sh = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
299       ShAmt = Sh->getZExtValue();
300       Offset = N.getOperand(0);
301     } else {
302       ShOpcVal = ARM_AM::no_shift;
303     }
304   }
305
306   Opc = CurDAG->getTargetConstant(ARM_AM::getAM2Opc(AddSub, ShAmt, ShOpcVal),
307                                   MVT::i32);
308   return true;
309 }
310
311
312 bool ARMDAGToDAGISel::SelectAddrMode3(SDValue Op, SDValue N,
313                                       SDValue &Base, SDValue &Offset,
314                                       SDValue &Opc) {
315   if (N.getOpcode() == ISD::SUB) {
316     // X - C  is canonicalize to X + -C, no need to handle it here.
317     Base = N.getOperand(0);
318     Offset = N.getOperand(1);
319     Opc = CurDAG->getTargetConstant(ARM_AM::getAM3Opc(ARM_AM::sub, 0),MVT::i32);
320     return true;
321   }
322   
323   if (N.getOpcode() != ISD::ADD) {
324     Base = N;
325     if (N.getOpcode() == ISD::FrameIndex) {
326       int FI = cast<FrameIndexSDNode>(N)->getIndex();
327       Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
328     }
329     Offset = CurDAG->getRegister(0, MVT::i32);
330     Opc = CurDAG->getTargetConstant(ARM_AM::getAM3Opc(ARM_AM::add, 0),MVT::i32);
331     return true;
332   }
333   
334   // If the RHS is +/- imm8, fold into addr mode.
335   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
336     int RHSC = (int)RHS->getZExtValue();
337     if ((RHSC >= 0 && RHSC < 256) ||
338         (RHSC < 0 && RHSC > -256)) { // note -256 itself isn't allowed.
339       Base = N.getOperand(0);
340       if (Base.getOpcode() == ISD::FrameIndex) {
341         int FI = cast<FrameIndexSDNode>(Base)->getIndex();
342         Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
343       }
344       Offset = CurDAG->getRegister(0, MVT::i32);
345
346       ARM_AM::AddrOpc AddSub = ARM_AM::add;
347       if (RHSC < 0) {
348         AddSub = ARM_AM::sub;
349         RHSC = - RHSC;
350       }
351       Opc = CurDAG->getTargetConstant(ARM_AM::getAM3Opc(AddSub, RHSC),MVT::i32);
352       return true;
353     }
354   }
355   
356   Base = N.getOperand(0);
357   Offset = N.getOperand(1);
358   Opc = CurDAG->getTargetConstant(ARM_AM::getAM3Opc(ARM_AM::add, 0), MVT::i32);
359   return true;
360 }
361
362 bool ARMDAGToDAGISel::SelectAddrMode3Offset(SDValue Op, SDValue N,
363                                             SDValue &Offset, SDValue &Opc) {
364   unsigned Opcode = Op.getOpcode();
365   ISD::MemIndexedMode AM = (Opcode == ISD::LOAD)
366     ? cast<LoadSDNode>(Op)->getAddressingMode()
367     : cast<StoreSDNode>(Op)->getAddressingMode();
368   ARM_AM::AddrOpc AddSub = (AM == ISD::PRE_INC || AM == ISD::POST_INC)
369     ? ARM_AM::add : ARM_AM::sub;
370   if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(N)) {
371     int Val = (int)C->getZExtValue();
372     if (Val >= 0 && Val < 256) {
373       Offset = CurDAG->getRegister(0, MVT::i32);
374       Opc = CurDAG->getTargetConstant(ARM_AM::getAM3Opc(AddSub, Val), MVT::i32);
375       return true;
376     }
377   }
378
379   Offset = N;
380   Opc = CurDAG->getTargetConstant(ARM_AM::getAM3Opc(AddSub, 0), MVT::i32);
381   return true;
382 }
383
384
385 bool ARMDAGToDAGISel::SelectAddrMode5(SDValue Op, SDValue N,
386                                       SDValue &Base, SDValue &Offset) {
387   if (N.getOpcode() != ISD::ADD) {
388     Base = N;
389     if (N.getOpcode() == ISD::FrameIndex) {
390       int FI = cast<FrameIndexSDNode>(N)->getIndex();
391       Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
392     } else if (N.getOpcode() == ARMISD::Wrapper) {
393       Base = N.getOperand(0);
394     }
395     Offset = CurDAG->getTargetConstant(ARM_AM::getAM5Opc(ARM_AM::add, 0),
396                                        MVT::i32);
397     return true;
398   }
399   
400   // If the RHS is +/- imm8, fold into addr mode.
401   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
402     int RHSC = (int)RHS->getZExtValue();
403     if ((RHSC & 3) == 0) {  // The constant is implicitly multiplied by 4.
404       RHSC >>= 2;
405       if ((RHSC >= 0 && RHSC < 256) ||
406           (RHSC < 0 && RHSC > -256)) { // note -256 itself isn't allowed.
407         Base = N.getOperand(0);
408         if (Base.getOpcode() == ISD::FrameIndex) {
409           int FI = cast<FrameIndexSDNode>(Base)->getIndex();
410           Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
411         }
412
413         ARM_AM::AddrOpc AddSub = ARM_AM::add;
414         if (RHSC < 0) {
415           AddSub = ARM_AM::sub;
416           RHSC = - RHSC;
417         }
418         Offset = CurDAG->getTargetConstant(ARM_AM::getAM5Opc(AddSub, RHSC),
419                                            MVT::i32);
420         return true;
421       }
422     }
423   }
424   
425   Base = N;
426   Offset = CurDAG->getTargetConstant(ARM_AM::getAM5Opc(ARM_AM::add, 0),
427                                      MVT::i32);
428   return true;
429 }
430
431 bool ARMDAGToDAGISel::SelectAddrMode6(SDValue Op, SDValue N,
432                                       SDValue &Addr, SDValue &Update,
433                                       SDValue &Opc) {
434   Addr = N;
435   // The optional writeback is handled in ARMLoadStoreOpt.
436   Update = CurDAG->getRegister(0, MVT::i32);
437   Opc = CurDAG->getTargetConstant(ARM_AM::getAM6Opc(false), MVT::i32);
438   return true;
439 }
440
441 bool ARMDAGToDAGISel::SelectAddrModePC(SDValue Op, SDValue N,
442                                         SDValue &Offset, SDValue &Label) {
443   if (N.getOpcode() == ARMISD::PIC_ADD && N.hasOneUse()) {
444     Offset = N.getOperand(0);
445     SDValue N1 = N.getOperand(1);
446     Label  = CurDAG->getTargetConstant(cast<ConstantSDNode>(N1)->getZExtValue(),
447                                        MVT::i32);
448     return true;
449   }
450   return false;
451 }
452
453 bool ARMDAGToDAGISel::SelectThumbAddrModeRR(SDValue Op, SDValue N,
454                                             SDValue &Base, SDValue &Offset){
455   // FIXME dl should come from the parent load or store, not the address
456   DebugLoc dl = Op.getDebugLoc();
457   if (N.getOpcode() != ISD::ADD) {
458     ConstantSDNode *NC = dyn_cast<ConstantSDNode>(N);
459     if (!NC || NC->getZExtValue() != 0)
460       return false;
461
462     Base = Offset = N;
463     return true;
464   }
465
466   Base = N.getOperand(0);
467   Offset = N.getOperand(1);
468   return true;
469 }
470
471 bool
472 ARMDAGToDAGISel::SelectThumbAddrModeRI5(SDValue Op, SDValue N,
473                                         unsigned Scale, SDValue &Base,
474                                         SDValue &OffImm, SDValue &Offset) {
475   if (Scale == 4) {
476     SDValue TmpBase, TmpOffImm;
477     if (SelectThumbAddrModeSP(Op, N, TmpBase, TmpOffImm))
478       return false;  // We want to select tLDRspi / tSTRspi instead.
479     if (N.getOpcode() == ARMISD::Wrapper &&
480         N.getOperand(0).getOpcode() == ISD::TargetConstantPool)
481       return false;  // We want to select tLDRpci instead.
482   }
483
484   if (N.getOpcode() != ISD::ADD) {
485     Base = (N.getOpcode() == ARMISD::Wrapper) ? N.getOperand(0) : N;
486     Offset = CurDAG->getRegister(0, MVT::i32);
487     OffImm = CurDAG->getTargetConstant(0, MVT::i32);
488     return true;
489   }
490
491   // Thumb does not have [sp, r] address mode.
492   RegisterSDNode *LHSR = dyn_cast<RegisterSDNode>(N.getOperand(0));
493   RegisterSDNode *RHSR = dyn_cast<RegisterSDNode>(N.getOperand(1));
494   if ((LHSR && LHSR->getReg() == ARM::SP) ||
495       (RHSR && RHSR->getReg() == ARM::SP)) {
496     Base = N;
497     Offset = CurDAG->getRegister(0, MVT::i32);
498     OffImm = CurDAG->getTargetConstant(0, MVT::i32);
499     return true;
500   }
501
502   // If the RHS is + imm5 * scale, fold into addr mode.
503   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
504     int RHSC = (int)RHS->getZExtValue();
505     if ((RHSC & (Scale-1)) == 0) {  // The constant is implicitly multiplied.
506       RHSC /= Scale;
507       if (RHSC >= 0 && RHSC < 32) {
508         Base = N.getOperand(0);
509         Offset = CurDAG->getRegister(0, MVT::i32);
510         OffImm = CurDAG->getTargetConstant(RHSC, MVT::i32);
511         return true;
512       }
513     }
514   }
515
516   Base = N.getOperand(0);
517   Offset = N.getOperand(1);
518   OffImm = CurDAG->getTargetConstant(0, MVT::i32);
519   return true;
520 }
521
522 bool ARMDAGToDAGISel::SelectThumbAddrModeS1(SDValue Op, SDValue N,
523                                             SDValue &Base, SDValue &OffImm,
524                                             SDValue &Offset) {
525   return SelectThumbAddrModeRI5(Op, N, 1, Base, OffImm, Offset);
526 }
527
528 bool ARMDAGToDAGISel::SelectThumbAddrModeS2(SDValue Op, SDValue N,
529                                             SDValue &Base, SDValue &OffImm,
530                                             SDValue &Offset) {
531   return SelectThumbAddrModeRI5(Op, N, 2, Base, OffImm, Offset);
532 }
533
534 bool ARMDAGToDAGISel::SelectThumbAddrModeS4(SDValue Op, SDValue N,
535                                             SDValue &Base, SDValue &OffImm,
536                                             SDValue &Offset) {
537   return SelectThumbAddrModeRI5(Op, N, 4, Base, OffImm, Offset);
538 }
539
540 bool ARMDAGToDAGISel::SelectThumbAddrModeSP(SDValue Op, SDValue N,
541                                            SDValue &Base, SDValue &OffImm) {
542   if (N.getOpcode() == ISD::FrameIndex) {
543     int FI = cast<FrameIndexSDNode>(N)->getIndex();
544     Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
545     OffImm = CurDAG->getTargetConstant(0, MVT::i32);
546     return true;
547   }
548
549   if (N.getOpcode() != ISD::ADD)
550     return false;
551
552   RegisterSDNode *LHSR = dyn_cast<RegisterSDNode>(N.getOperand(0));
553   if (N.getOperand(0).getOpcode() == ISD::FrameIndex ||
554       (LHSR && LHSR->getReg() == ARM::SP)) {
555     // If the RHS is + imm8 * scale, fold into addr mode.
556     if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
557       int RHSC = (int)RHS->getZExtValue();
558       if ((RHSC & 3) == 0) {  // The constant is implicitly multiplied.
559         RHSC >>= 2;
560         if (RHSC >= 0 && RHSC < 256) {
561           Base = N.getOperand(0);
562           if (Base.getOpcode() == ISD::FrameIndex) {
563             int FI = cast<FrameIndexSDNode>(Base)->getIndex();
564             Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
565           }
566           OffImm = CurDAG->getTargetConstant(RHSC, MVT::i32);
567           return true;
568         }
569       }
570     }
571   }
572   
573   return false;
574 }
575
576 bool ARMDAGToDAGISel::SelectT2ShifterOperandReg(SDValue Op, SDValue N,
577                                                 SDValue &BaseReg,
578                                                 SDValue &Opc) {
579   ARM_AM::ShiftOpc ShOpcVal = ARM_AM::getShiftOpcForNode(N);
580
581   // Don't match base register only case. That is matched to a separate
582   // lower complexity pattern with explicit register operand.
583   if (ShOpcVal == ARM_AM::no_shift) return false;
584
585   BaseReg = N.getOperand(0);
586   unsigned ShImmVal = 0;
587   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
588     ShImmVal = RHS->getZExtValue() & 31;
589     Opc = getI32Imm(ARM_AM::getSORegOpc(ShOpcVal, ShImmVal));
590     return true;
591   }
592
593   return false;
594 }
595
596 bool ARMDAGToDAGISel::SelectT2AddrModeImm12(SDValue Op, SDValue N,
597                                             SDValue &Base, SDValue &OffImm) {
598   // Match simple R + imm12 operands.
599
600   // Match frame index...
601   if ((N.getOpcode() != ISD::ADD) && (N.getOpcode() != ISD::SUB)) {
602     if (N.getOpcode() == ISD::FrameIndex) {
603       int FI = cast<FrameIndexSDNode>(N)->getIndex();
604       Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
605       OffImm  = CurDAG->getTargetConstant(0, MVT::i32);
606       return true;
607     }
608     return false;
609   }
610
611   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
612     int RHSC = (int)RHS->getZExtValue();
613     if (N.getOpcode() == ISD::SUB)
614       RHSC = -RHSC;
615
616     if (RHSC >= 0 && RHSC < 0x1000) { // 12 bits (unsigned)
617       Base   = N.getOperand(0);
618       if (Base.getOpcode() == ISD::FrameIndex) {
619         int FI = cast<FrameIndexSDNode>(Base)->getIndex();
620         Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
621       }
622       OffImm = CurDAG->getTargetConstant(RHSC, MVT::i32);
623       return true;
624     }
625   }
626
627   return false;
628 }
629
630 bool ARMDAGToDAGISel::SelectT2AddrModeImm8(SDValue Op, SDValue N,
631                                            SDValue &Base, SDValue &OffImm) {
632   // Match simple R - imm8 operands.
633
634   // Match frame index...
635   if ((N.getOpcode() != ISD::ADD) && (N.getOpcode() != ISD::SUB)) {
636     if (N.getOpcode() == ISD::FrameIndex) {
637       int FI = cast<FrameIndexSDNode>(N)->getIndex();
638       Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
639       OffImm  = CurDAG->getTargetConstant(0, MVT::i32);
640       return true;
641     }
642     return false;
643   }
644
645   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
646     int RHSC = (int)RHS->getSExtValue();
647     if (N.getOpcode() == ISD::SUB)
648       RHSC = -RHSC;
649     
650     if ((RHSC >= -255) && (RHSC <= 0)) { // 8 bits (always negative)
651       Base   = N.getOperand(0);
652       if (Base.getOpcode() == ISD::FrameIndex) {
653         int FI = cast<FrameIndexSDNode>(Base)->getIndex();
654         Base = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
655       }
656       OffImm = CurDAG->getTargetConstant(RHSC, MVT::i32);
657       return true;
658     }
659   }
660
661   return false;
662 }
663
664 bool ARMDAGToDAGISel::SelectT2AddrModeImm8Offset(SDValue Op, SDValue N,
665                                                  SDValue &OffImm){
666   unsigned Opcode = Op.getOpcode();
667   ISD::MemIndexedMode AM = (Opcode == ISD::LOAD)
668     ? cast<LoadSDNode>(Op)->getAddressingMode()
669     : cast<StoreSDNode>(Op)->getAddressingMode();
670   if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N)) {
671     int RHSC = (int)RHS->getZExtValue();
672     if (RHSC >= 0 && RHSC < 0x100) { // 8 bits.
673       OffImm = ((AM == ISD::PRE_INC) || (AM == ISD::POST_INC))
674         ? CurDAG->getTargetConstant(RHSC, MVT::i32)
675         : CurDAG->getTargetConstant(-RHSC, MVT::i32);
676       return true;
677     }
678   }
679
680   return false;
681 }
682
683 bool ARMDAGToDAGISel::SelectT2AddrModeImm8s4(SDValue Op, SDValue N,
684                                              SDValue &Base, SDValue &OffImm) {
685   if (N.getOpcode() == ISD::ADD) {
686     if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
687       int RHSC = (int)RHS->getZExtValue();
688       if (((RHSC & 0x3) == 0) &&
689           ((RHSC >= 0 && RHSC < 0x400) || (RHSC < 0 && RHSC > -0x400))) { // 8 bits.
690         Base   = N.getOperand(0);
691         OffImm = CurDAG->getTargetConstant(RHSC, MVT::i32);
692         return true;
693       }
694     }
695   } else if (N.getOpcode() == ISD::SUB) {
696     if (ConstantSDNode *RHS = dyn_cast<ConstantSDNode>(N.getOperand(1))) {
697       int RHSC = (int)RHS->getZExtValue();
698       if (((RHSC & 0x3) == 0) && (RHSC >= 0 && RHSC < 0x400)) { // 8 bits.
699         Base   = N.getOperand(0);
700         OffImm = CurDAG->getTargetConstant(-RHSC, MVT::i32);
701         return true;
702       }
703     }
704   }
705
706   return false;
707 }
708
709 bool ARMDAGToDAGISel::SelectT2AddrModeSoReg(SDValue Op, SDValue N,
710                                             SDValue &Base,
711                                             SDValue &OffReg, SDValue &ShImm) {
712   // Base only.
713   if (N.getOpcode() != ISD::ADD && N.getOpcode() != ISD::SUB) {
714     Base = N;
715     if (N.getOpcode() == ISD::FrameIndex) {
716       return false;  // we want to select t2LDRri12 instead
717     } else if (N.getOpcode() == ARMISD::Wrapper) {
718       Base = N.getOperand(0);
719       if (Base.getOpcode() == ISD::TargetConstantPool)
720         return false;  // We want to select t2LDRpci instead.
721     }
722     OffReg = CurDAG->getRegister(0, MVT::i32);
723     ShImm  = CurDAG->getTargetConstant(0, MVT::i32);
724     return true;
725   }
726
727   // Leave (R +/- imm) for other address modes... unless they can't
728   // handle them
729   if (dyn_cast<ConstantSDNode>(N.getOperand(1)) != NULL) {
730     SDValue OffImm; 
731     if (SelectT2AddrModeImm12(Op, N, Base, OffImm) ||
732         SelectT2AddrModeImm8 (Op, N, Base, OffImm))
733       return false;
734   }
735
736   // Thumb2 does not support (R - R) or (R - (R << [1,2,3])).
737   if (N.getOpcode() == ISD::SUB) {
738     Base = N;
739     OffReg = CurDAG->getRegister(0, MVT::i32);
740     ShImm  = CurDAG->getTargetConstant(0, MVT::i32);
741     return true;
742   }
743
744   assert(N.getOpcode() == ISD::ADD);
745
746   // Look for (R + R) or (R + (R << [1,2,3])).
747   unsigned ShAmt = 0;
748   Base   = N.getOperand(0);
749   OffReg = N.getOperand(1);
750
751   // Swap if it is ((R << c) + R).
752   ARM_AM::ShiftOpc ShOpcVal = ARM_AM::getShiftOpcForNode(OffReg);
753   if (ShOpcVal != ARM_AM::lsl) {
754     ShOpcVal = ARM_AM::getShiftOpcForNode(Base);
755     if (ShOpcVal == ARM_AM::lsl)
756       std::swap(Base, OffReg);
757   }  
758   
759   if (ShOpcVal == ARM_AM::lsl) {
760     // Check to see if the RHS of the shift is a constant, if not, we can't fold
761     // it.
762     if (ConstantSDNode *Sh = dyn_cast<ConstantSDNode>(OffReg.getOperand(1))) {
763       ShAmt = Sh->getZExtValue();
764       if (ShAmt >= 4) {
765         ShAmt = 0;
766         ShOpcVal = ARM_AM::no_shift;
767       } else
768         OffReg = OffReg.getOperand(0);
769     } else {
770       ShOpcVal = ARM_AM::no_shift;
771     }
772   }
773   
774   ShImm = CurDAG->getTargetConstant(ShAmt, MVT::i32);
775
776   return true;
777 }
778
779 //===--------------------------------------------------------------------===//
780
781 /// getAL - Returns a ARMCC::AL immediate node.
782 static inline SDValue getAL(SelectionDAG *CurDAG) {
783   return CurDAG->getTargetConstant((uint64_t)ARMCC::AL, MVT::i32);
784 }
785
786 SDNode *ARMDAGToDAGISel::SelectARMIndexedLoad(SDValue Op) {
787   LoadSDNode *LD = cast<LoadSDNode>(Op);
788   ISD::MemIndexedMode AM = LD->getAddressingMode();
789   if (AM == ISD::UNINDEXED)
790     return NULL;
791
792   MVT LoadedVT = LD->getMemoryVT();
793   SDValue Offset, AMOpc;
794   bool isPre = (AM == ISD::PRE_INC) || (AM == ISD::PRE_DEC);
795   unsigned Opcode = 0;
796   bool Match = false;
797   if (LoadedVT == MVT::i32 &&
798       SelectAddrMode2Offset(Op, LD->getOffset(), Offset, AMOpc)) {
799     Opcode = isPre ? ARM::LDR_PRE : ARM::LDR_POST;
800     Match = true;
801   } else if (LoadedVT == MVT::i16 &&
802              SelectAddrMode3Offset(Op, LD->getOffset(), Offset, AMOpc)) {
803     Match = true;
804     Opcode = (LD->getExtensionType() == ISD::SEXTLOAD)
805       ? (isPre ? ARM::LDRSH_PRE : ARM::LDRSH_POST)
806       : (isPre ? ARM::LDRH_PRE : ARM::LDRH_POST);
807   } else if (LoadedVT == MVT::i8 || LoadedVT == MVT::i1) {
808     if (LD->getExtensionType() == ISD::SEXTLOAD) {
809       if (SelectAddrMode3Offset(Op, LD->getOffset(), Offset, AMOpc)) {
810         Match = true;
811         Opcode = isPre ? ARM::LDRSB_PRE : ARM::LDRSB_POST;
812       }
813     } else {
814       if (SelectAddrMode2Offset(Op, LD->getOffset(), Offset, AMOpc)) {
815         Match = true;
816         Opcode = isPre ? ARM::LDRB_PRE : ARM::LDRB_POST;
817       }
818     }
819   }
820
821   if (Match) {
822     SDValue Chain = LD->getChain();
823     SDValue Base = LD->getBasePtr();
824     SDValue Ops[]= { Base, Offset, AMOpc, getAL(CurDAG),
825                      CurDAG->getRegister(0, MVT::i32), Chain };
826     return CurDAG->getTargetNode(Opcode, Op.getDebugLoc(), MVT::i32, MVT::i32,
827                                  MVT::Other, Ops, 6);
828   }
829
830   return NULL;
831 }
832
833 SDNode *ARMDAGToDAGISel::SelectT2IndexedLoad(SDValue Op) {
834   LoadSDNode *LD = cast<LoadSDNode>(Op);
835   ISD::MemIndexedMode AM = LD->getAddressingMode();
836   if (AM == ISD::UNINDEXED)
837     return NULL;
838
839   MVT LoadedVT = LD->getMemoryVT();
840   bool isSExtLd = LD->getExtensionType() == ISD::SEXTLOAD;
841   SDValue Offset;
842   bool isPre = (AM == ISD::PRE_INC) || (AM == ISD::PRE_DEC);
843   unsigned Opcode = 0;
844   bool Match = false;
845   if (SelectT2AddrModeImm8Offset(Op, LD->getOffset(), Offset)) {
846     switch (LoadedVT.getSimpleVT()) {
847     case MVT::i32:
848       Opcode = isPre ? ARM::t2LDR_PRE : ARM::t2LDR_POST;
849       break;
850     case MVT::i16:
851       if (isSExtLd)
852         Opcode = isPre ? ARM::t2LDRSH_PRE : ARM::t2LDRSH_POST;
853       else
854         Opcode = isPre ? ARM::t2LDRH_PRE : ARM::t2LDRH_POST;
855       break;
856     case MVT::i8:
857     case MVT::i1:
858       if (isSExtLd)
859         Opcode = isPre ? ARM::t2LDRSB_PRE : ARM::t2LDRSB_POST;
860       else
861         Opcode = isPre ? ARM::t2LDRB_PRE : ARM::t2LDRB_POST;
862       break;
863     default:
864       return NULL;
865     }
866     Match = true;
867   }
868
869   if (Match) {
870     SDValue Chain = LD->getChain();
871     SDValue Base = LD->getBasePtr();
872     SDValue Ops[]= { Base, Offset, getAL(CurDAG),
873                      CurDAG->getRegister(0, MVT::i32), Chain };
874     return CurDAG->getTargetNode(Opcode, Op.getDebugLoc(), MVT::i32, MVT::i32,
875                                  MVT::Other, Ops, 5);
876   }
877
878   return NULL;
879 }
880
881
882 SDNode *ARMDAGToDAGISel::Select(SDValue Op) {
883   SDNode *N = Op.getNode();
884   DebugLoc dl = N->getDebugLoc();
885
886   if (N->isMachineOpcode())
887     return NULL;   // Already selected.
888
889   switch (N->getOpcode()) {
890   default: break;
891   case ISD::Constant: {
892     unsigned Val = cast<ConstantSDNode>(N)->getZExtValue();
893     bool UseCP = true;
894     if (Subtarget->isThumb()) {
895       if (Subtarget->hasThumb2())
896         // Thumb2 has the MOVT instruction, so all immediates can
897         // be done with MOV + MOVT, at worst.
898         UseCP = 0;
899       else
900         UseCP = (Val > 255 &&                          // MOV
901                  ~Val > 255 &&                         // MOV + MVN
902                  !ARM_AM::isThumbImmShiftedVal(Val));  // MOV + LSL
903     } else
904       UseCP = (ARM_AM::getSOImmVal(Val) == -1 &&     // MOV
905                ARM_AM::getSOImmVal(~Val) == -1 &&    // MVN
906                !ARM_AM::isSOImmTwoPartVal(Val));     // two instrs.
907     if (UseCP) {
908       SDValue CPIdx =
909         CurDAG->getTargetConstantPool(ConstantInt::get(Type::Int32Ty, Val),
910                                       TLI.getPointerTy());
911
912       SDNode *ResNode;
913       if (Subtarget->isThumb1Only()) {
914         SDValue Pred = CurDAG->getTargetConstant(0xEULL, MVT::i32);
915         SDValue PredReg = CurDAG->getRegister(0, MVT::i32);
916         SDValue Ops[] = { CPIdx, Pred, PredReg, CurDAG->getEntryNode() };
917         ResNode = CurDAG->getTargetNode(ARM::tLDRcp, dl, MVT::i32, MVT::Other,
918                                         Ops, 4);
919       } else {
920         SDValue Ops[] = {
921           CPIdx, 
922           CurDAG->getRegister(0, MVT::i32),
923           CurDAG->getTargetConstant(0, MVT::i32),
924           getAL(CurDAG),
925           CurDAG->getRegister(0, MVT::i32),
926           CurDAG->getEntryNode()
927         };
928         ResNode=CurDAG->getTargetNode(ARM::LDRcp, dl, MVT::i32, MVT::Other,
929                                       Ops, 6);
930       }
931       ReplaceUses(Op, SDValue(ResNode, 0));
932       return NULL;
933     }
934       
935     // Other cases are autogenerated.
936     break;
937   }
938   case ISD::FrameIndex: {
939     // Selects to ADDri FI, 0 which in turn will become ADDri SP, imm.
940     int FI = cast<FrameIndexSDNode>(N)->getIndex();
941     SDValue TFI = CurDAG->getTargetFrameIndex(FI, TLI.getPointerTy());
942     if (Subtarget->isThumb1Only()) {
943       return CurDAG->SelectNodeTo(N, ARM::tADDrSPi, MVT::i32, TFI,
944                                   CurDAG->getTargetConstant(0, MVT::i32));
945     } else {
946       unsigned Opc = ((Subtarget->isThumb() && Subtarget->hasThumb2()) ?
947                       ARM::t2ADDri : ARM::ADDri);
948       SDValue Ops[] = { TFI, CurDAG->getTargetConstant(0, MVT::i32),
949                         getAL(CurDAG), CurDAG->getRegister(0, MVT::i32),
950                         CurDAG->getRegister(0, MVT::i32) };
951       return CurDAG->SelectNodeTo(N, Opc, MVT::i32, Ops, 5);
952     }
953   }
954   case ISD::ADD: {
955     if (!Subtarget->isThumb1Only())
956       break;
957     // Select add sp, c to tADDhirr.
958     SDValue N0 = Op.getOperand(0);
959     SDValue N1 = Op.getOperand(1);
960     RegisterSDNode *LHSR = dyn_cast<RegisterSDNode>(Op.getOperand(0));
961     RegisterSDNode *RHSR = dyn_cast<RegisterSDNode>(Op.getOperand(1));
962     if (LHSR && LHSR->getReg() == ARM::SP) {
963       std::swap(N0, N1);
964       std::swap(LHSR, RHSR);
965     }
966     if (RHSR && RHSR->getReg() == ARM::SP) {
967       SDValue Val = SDValue(CurDAG->getTargetNode(ARM::tMOVtgpr2gpr, dl,
968                                                   Op.getValueType(), N0, N0),0);
969       return CurDAG->SelectNodeTo(N, ARM::tADDhirr, Op.getValueType(), Val, N1);
970     }
971     break;
972   }
973   case ISD::MUL:
974     if (Subtarget->isThumb1Only())
975       break;
976     if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Op.getOperand(1))) {
977       unsigned RHSV = C->getZExtValue();
978       if (!RHSV) break;
979       if (isPowerOf2_32(RHSV-1)) {  // 2^n+1?
980         unsigned ShImm = Log2_32(RHSV-1);
981         if (ShImm >= 32)
982           break;
983         SDValue V = Op.getOperand(0);
984         ShImm = ARM_AM::getSORegOpc(ARM_AM::lsl, ShImm);
985         SDValue ShImmOp = CurDAG->getTargetConstant(ShImm, MVT::i32);
986         SDValue Reg0 = CurDAG->getRegister(0, MVT::i32);
987         if (Subtarget->isThumb()) {
988           SDValue Ops[] = { V, V, ShImmOp, getAL(CurDAG), Reg0, Reg0 };
989           return CurDAG->SelectNodeTo(N, ARM::t2ADDrs, MVT::i32, Ops, 6);
990         } else {
991           SDValue Ops[] = { V, V, Reg0, ShImmOp, getAL(CurDAG), Reg0, Reg0 };
992           return CurDAG->SelectNodeTo(N, ARM::ADDrs, MVT::i32, Ops, 7);
993         }
994       }
995       if (isPowerOf2_32(RHSV+1)) {  // 2^n-1?
996         unsigned ShImm = Log2_32(RHSV+1);
997         if (ShImm >= 32)
998           break;
999         SDValue V = Op.getOperand(0);
1000         ShImm = ARM_AM::getSORegOpc(ARM_AM::lsl, ShImm);
1001         SDValue ShImmOp = CurDAG->getTargetConstant(ShImm, MVT::i32);
1002         SDValue Reg0 = CurDAG->getRegister(0, MVT::i32);
1003         if (Subtarget->isThumb()) {
1004           SDValue Ops[] = { V, V, ShImmOp, getAL(CurDAG), Reg0 };
1005           return CurDAG->SelectNodeTo(N, ARM::t2RSBrs, MVT::i32, Ops, 5);
1006         } else {
1007           SDValue Ops[] = { V, V, Reg0, ShImmOp, getAL(CurDAG), Reg0, Reg0 };
1008           return CurDAG->SelectNodeTo(N, ARM::RSBrs, MVT::i32, Ops, 7);
1009         }
1010       }
1011     }
1012     break;
1013   case ARMISD::FMRRD:
1014     return CurDAG->getTargetNode(ARM::FMRRD, dl, MVT::i32, MVT::i32,
1015                                  Op.getOperand(0), getAL(CurDAG),
1016                                  CurDAG->getRegister(0, MVT::i32));
1017   case ISD::UMUL_LOHI: {
1018     if (Subtarget->isThumb1Only())
1019       break;
1020     if (Subtarget->isThumb()) {
1021       SDValue Ops[] = { Op.getOperand(0), Op.getOperand(1),
1022                         getAL(CurDAG), CurDAG->getRegister(0, MVT::i32),
1023                         CurDAG->getRegister(0, MVT::i32) };
1024       return CurDAG->getTargetNode(ARM::t2UMULL, dl, MVT::i32, MVT::i32, Ops,4);
1025     } else {
1026       SDValue Ops[] = { Op.getOperand(0), Op.getOperand(1),
1027                         getAL(CurDAG), CurDAG->getRegister(0, MVT::i32),
1028                         CurDAG->getRegister(0, MVT::i32) };
1029       return CurDAG->getTargetNode(ARM::UMULL, dl, MVT::i32, MVT::i32, Ops, 5);
1030     }
1031   }
1032   case ISD::SMUL_LOHI: {
1033     if (Subtarget->isThumb1Only())
1034       break;
1035     if (Subtarget->isThumb()) {
1036       SDValue Ops[] = { Op.getOperand(0), Op.getOperand(1),
1037                         getAL(CurDAG), CurDAG->getRegister(0, MVT::i32) };
1038       return CurDAG->getTargetNode(ARM::t2SMULL, dl, MVT::i32, MVT::i32, Ops,4);
1039     } else {
1040       SDValue Ops[] = { Op.getOperand(0), Op.getOperand(1),
1041                         getAL(CurDAG), CurDAG->getRegister(0, MVT::i32),
1042                         CurDAG->getRegister(0, MVT::i32) };
1043       return CurDAG->getTargetNode(ARM::SMULL, dl, MVT::i32, MVT::i32, Ops, 5);
1044     }
1045   }
1046   case ISD::LOAD: {
1047     SDNode *ResNode = 0;
1048     if (Subtarget->isThumb() && Subtarget->hasThumb2())
1049       ResNode = SelectT2IndexedLoad(Op);
1050     else
1051       ResNode = SelectARMIndexedLoad(Op);
1052     if (ResNode)
1053       return ResNode;
1054     // Other cases are autogenerated.
1055     break;
1056   }
1057   case ARMISD::BRCOND: {
1058     // Pattern: (ARMbrcond:void (bb:Other):$dst, (imm:i32):$cc)
1059     // Emits: (Bcc:void (bb:Other):$dst, (imm:i32):$cc)
1060     // Pattern complexity = 6  cost = 1  size = 0
1061
1062     // Pattern: (ARMbrcond:void (bb:Other):$dst, (imm:i32):$cc)
1063     // Emits: (tBcc:void (bb:Other):$dst, (imm:i32):$cc)
1064     // Pattern complexity = 6  cost = 1  size = 0
1065
1066     // Pattern: (ARMbrcond:void (bb:Other):$dst, (imm:i32):$cc)
1067     // Emits: (t2Bcc:void (bb:Other):$dst, (imm:i32):$cc)
1068     // Pattern complexity = 6  cost = 1  size = 0
1069
1070     unsigned Opc = Subtarget->isThumb() ? 
1071       ((Subtarget->hasThumb2()) ? ARM::t2Bcc : ARM::tBcc) : ARM::Bcc;
1072     SDValue Chain = Op.getOperand(0);
1073     SDValue N1 = Op.getOperand(1);
1074     SDValue N2 = Op.getOperand(2);
1075     SDValue N3 = Op.getOperand(3);
1076     SDValue InFlag = Op.getOperand(4);
1077     assert(N1.getOpcode() == ISD::BasicBlock);
1078     assert(N2.getOpcode() == ISD::Constant);
1079     assert(N3.getOpcode() == ISD::Register);
1080
1081     SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1082                                cast<ConstantSDNode>(N2)->getZExtValue()),
1083                                MVT::i32);
1084     SDValue Ops[] = { N1, Tmp2, N3, Chain, InFlag };
1085     SDNode *ResNode = CurDAG->getTargetNode(Opc, dl, MVT::Other, 
1086                                             MVT::Flag, Ops, 5);
1087     Chain = SDValue(ResNode, 0);
1088     if (Op.getNode()->getNumValues() == 2) {
1089       InFlag = SDValue(ResNode, 1);
1090       ReplaceUses(SDValue(Op.getNode(), 1), InFlag);
1091     }
1092     ReplaceUses(SDValue(Op.getNode(), 0), SDValue(Chain.getNode(), Chain.getResNo()));
1093     return NULL;
1094   }
1095   case ARMISD::CMOV: {
1096     MVT VT = Op.getValueType();
1097     SDValue N0 = Op.getOperand(0);
1098     SDValue N1 = Op.getOperand(1);
1099     SDValue N2 = Op.getOperand(2);
1100     SDValue N3 = Op.getOperand(3);
1101     SDValue InFlag = Op.getOperand(4);
1102     assert(N2.getOpcode() == ISD::Constant);
1103     assert(N3.getOpcode() == ISD::Register);
1104
1105     if (!Subtarget->isThumb1Only() && VT == MVT::i32) {
1106       // Pattern: (ARMcmov:i32 GPR:i32:$false, so_reg:i32:$true, (imm:i32):$cc)
1107       // Emits: (MOVCCs:i32 GPR:i32:$false, so_reg:i32:$true, (imm:i32):$cc)
1108       // Pattern complexity = 18  cost = 1  size = 0
1109       SDValue CPTmp0;
1110       SDValue CPTmp1;
1111       SDValue CPTmp2;
1112       if (Subtarget->isThumb()) {
1113         if (SelectT2ShifterOperandReg(Op, N1, CPTmp0, CPTmp1)) {
1114           SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1115                                    cast<ConstantSDNode>(N2)->getZExtValue()),
1116                                    MVT::i32);
1117           SDValue Ops[] = { N0, CPTmp0, CPTmp1, Tmp2, N3, InFlag };
1118           return CurDAG->SelectNodeTo(Op.getNode(),
1119                                       ARM::t2MOVCCs, MVT::i32,Ops, 6);
1120         }
1121       } else {
1122         if (SelectShifterOperandReg(Op, N1, CPTmp0, CPTmp1, CPTmp2)) {
1123           SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1124                                    cast<ConstantSDNode>(N2)->getZExtValue()),
1125                                    MVT::i32);
1126           SDValue Ops[] = { N0, CPTmp0, CPTmp1, CPTmp2, Tmp2, N3, InFlag };
1127           return CurDAG->SelectNodeTo(Op.getNode(),
1128                                       ARM::MOVCCs, MVT::i32, Ops, 7);
1129         }
1130       }
1131
1132       // Pattern: (ARMcmov:i32 GPR:i32:$false,
1133       //             (imm:i32)<<P:Predicate_so_imm>>:$true,
1134       //             (imm:i32):$cc)
1135       // Emits: (MOVCCi:i32 GPR:i32:$false,
1136       //           (so_imm:i32 (imm:i32):$true), (imm:i32):$cc)
1137       // Pattern complexity = 10  cost = 1  size = 0
1138       if (N3.getOpcode() == ISD::Constant) {
1139         if (Subtarget->isThumb()) {
1140           if (Predicate_t2_so_imm(N3.getNode())) {
1141             SDValue Tmp1 = CurDAG->getTargetConstant(((unsigned)
1142                                      cast<ConstantSDNode>(N1)->getZExtValue()),
1143                                      MVT::i32);
1144             SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1145                                      cast<ConstantSDNode>(N2)->getZExtValue()),
1146                                      MVT::i32);
1147             SDValue Ops[] = { N0, Tmp1, Tmp2, N3, InFlag };
1148             return CurDAG->SelectNodeTo(Op.getNode(),
1149                                         ARM::t2MOVCCi, MVT::i32, Ops, 5);
1150           }
1151         } else {
1152           if (Predicate_so_imm(N3.getNode())) {
1153             SDValue Tmp1 = CurDAG->getTargetConstant(((unsigned)
1154                                      cast<ConstantSDNode>(N1)->getZExtValue()),
1155                                      MVT::i32);
1156             SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1157                                      cast<ConstantSDNode>(N2)->getZExtValue()),
1158                                      MVT::i32);
1159             SDValue Ops[] = { N0, Tmp1, Tmp2, N3, InFlag };
1160             return CurDAG->SelectNodeTo(Op.getNode(),
1161                                         ARM::MOVCCi, MVT::i32, Ops, 5);
1162           }
1163         }
1164       }
1165     }
1166
1167     // Pattern: (ARMcmov:i32 GPR:i32:$false, GPR:i32:$true, (imm:i32):$cc)
1168     // Emits: (MOVCCr:i32 GPR:i32:$false, GPR:i32:$true, (imm:i32):$cc)
1169     // Pattern complexity = 6  cost = 1  size = 0
1170     //
1171     // Pattern: (ARMcmov:i32 GPR:i32:$false, GPR:i32:$true, (imm:i32):$cc)
1172     // Emits: (tMOVCCr:i32 GPR:i32:$false, GPR:i32:$true, (imm:i32):$cc)
1173     // Pattern complexity = 6  cost = 11  size = 0
1174     //
1175     // Also FCPYScc and FCPYDcc.
1176     SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1177                                cast<ConstantSDNode>(N2)->getZExtValue()),
1178                                MVT::i32);
1179     SDValue Ops[] = { N0, N1, Tmp2, N3, InFlag };
1180     unsigned Opc = 0;
1181     switch (VT.getSimpleVT()) {
1182     default: assert(false && "Illegal conditional move type!");
1183       break;
1184     case MVT::i32:
1185       Opc = Subtarget->isThumb()
1186         ? (Subtarget->hasThumb2() ? ARM::t2MOVCCr : ARM::tMOVCCr)
1187         : ARM::MOVCCr;
1188       break;
1189     case MVT::f32:
1190       Opc = ARM::FCPYScc;
1191       break;
1192     case MVT::f64:
1193       Opc = ARM::FCPYDcc;
1194       break; 
1195     }
1196     return CurDAG->SelectNodeTo(Op.getNode(), Opc, VT, Ops, 5);
1197   }
1198   case ARMISD::CNEG: {
1199     MVT VT = Op.getValueType();
1200     SDValue N0 = Op.getOperand(0);
1201     SDValue N1 = Op.getOperand(1);
1202     SDValue N2 = Op.getOperand(2);
1203     SDValue N3 = Op.getOperand(3);
1204     SDValue InFlag = Op.getOperand(4);
1205     assert(N2.getOpcode() == ISD::Constant);
1206     assert(N3.getOpcode() == ISD::Register);
1207
1208     SDValue Tmp2 = CurDAG->getTargetConstant(((unsigned)
1209                                cast<ConstantSDNode>(N2)->getZExtValue()),
1210                                MVT::i32);
1211     SDValue Ops[] = { N0, N1, Tmp2, N3, InFlag };
1212     unsigned Opc = 0;
1213     switch (VT.getSimpleVT()) {
1214     default: assert(false && "Illegal conditional move type!");
1215       break;
1216     case MVT::f32:
1217       Opc = ARM::FNEGScc;
1218       break;
1219     case MVT::f64:
1220       Opc = ARM::FNEGDcc;
1221       break;
1222     }
1223     return CurDAG->SelectNodeTo(Op.getNode(), Opc, VT, Ops, 5);
1224   }
1225
1226   case ISD::DECLARE: {
1227     SDValue Chain = Op.getOperand(0);
1228     SDValue N1 = Op.getOperand(1);
1229     SDValue N2 = Op.getOperand(2);
1230     FrameIndexSDNode *FINode = dyn_cast<FrameIndexSDNode>(N1);
1231     // FIXME: handle VLAs.
1232     if (!FINode) {
1233       ReplaceUses(Op.getValue(0), Chain);
1234       return NULL;
1235     }
1236     if (N2.getOpcode() == ARMISD::PIC_ADD && isa<LoadSDNode>(N2.getOperand(0)))
1237       N2 = N2.getOperand(0);
1238     LoadSDNode *Ld = dyn_cast<LoadSDNode>(N2);
1239     if (!Ld) {
1240       ReplaceUses(Op.getValue(0), Chain);
1241       return NULL;
1242     }
1243     SDValue BasePtr = Ld->getBasePtr();
1244     assert(BasePtr.getOpcode() == ARMISD::Wrapper &&
1245            isa<ConstantPoolSDNode>(BasePtr.getOperand(0)) &&
1246            "llvm.dbg.variable should be a constantpool node");
1247     ConstantPoolSDNode *CP = cast<ConstantPoolSDNode>(BasePtr.getOperand(0));
1248     GlobalValue *GV = 0;
1249     if (CP->isMachineConstantPoolEntry()) {
1250       ARMConstantPoolValue *ACPV = (ARMConstantPoolValue*)CP->getMachineCPVal();
1251       GV = ACPV->getGV();
1252     } else
1253       GV = dyn_cast<GlobalValue>(CP->getConstVal());
1254     if (!GV) {
1255       ReplaceUses(Op.getValue(0), Chain);
1256       return NULL;
1257     }
1258     
1259     SDValue Tmp1 = CurDAG->getTargetFrameIndex(FINode->getIndex(),
1260                                                TLI.getPointerTy());
1261     SDValue Tmp2 = CurDAG->getTargetGlobalAddress(GV, TLI.getPointerTy());
1262     SDValue Ops[] = { Tmp1, Tmp2, Chain };
1263     return CurDAG->getTargetNode(TargetInstrInfo::DECLARE, dl,
1264                                  MVT::Other, Ops, 3);
1265   }
1266
1267   case ISD::CONCAT_VECTORS: {
1268     MVT VT = Op.getValueType();
1269     assert(VT.is128BitVector() && Op.getNumOperands() == 2 &&
1270            "unexpected CONCAT_VECTORS");
1271     SDValue N0 = Op.getOperand(0);
1272     SDValue N1 = Op.getOperand(1);
1273     SDNode *Result =
1274       CurDAG->getTargetNode(TargetInstrInfo::IMPLICIT_DEF, dl, VT);
1275     if (N0.getOpcode() != ISD::UNDEF)
1276       Result = CurDAG->getTargetNode(TargetInstrInfo::INSERT_SUBREG, dl, VT,
1277                                      SDValue(Result, 0), N0,
1278                                      CurDAG->getTargetConstant(arm_dsubreg_0,
1279                                                                MVT::i32));
1280     if (N1.getOpcode() != ISD::UNDEF)
1281       Result = CurDAG->getTargetNode(TargetInstrInfo::INSERT_SUBREG, dl, VT,
1282                                      SDValue(Result, 0), N1,
1283                                      CurDAG->getTargetConstant(arm_dsubreg_1,
1284                                                                MVT::i32));
1285     return Result;
1286   }
1287
1288   case ISD::VECTOR_SHUFFLE: {
1289     MVT VT = Op.getValueType();
1290
1291     // Match 128-bit splat to VDUPLANEQ.  (This could be done with a Pat in
1292     // ARMInstrNEON.td but it is awkward because the shuffle mask needs to be
1293     // transformed first into a lane number and then to both a subregister
1294     // index and an adjusted lane number.)  If the source operand is a
1295     // SCALAR_TO_VECTOR, leave it so it will be matched later as a VDUP.
1296     ShuffleVectorSDNode *SVOp = cast<ShuffleVectorSDNode>(N);
1297     if (VT.is128BitVector() && SVOp->isSplat() &&
1298         Op.getOperand(0).getOpcode() != ISD::SCALAR_TO_VECTOR &&
1299         Op.getOperand(1).getOpcode() == ISD::UNDEF) {
1300       unsigned LaneVal = SVOp->getSplatIndex();
1301
1302       MVT HalfVT;
1303       unsigned Opc = 0;
1304       switch (VT.getVectorElementType().getSimpleVT()) {
1305       default: assert(false && "unhandled VDUP splat type");
1306       case MVT::i8:  Opc = ARM::VDUPLN8q;  HalfVT = MVT::v8i8; break;
1307       case MVT::i16: Opc = ARM::VDUPLN16q; HalfVT = MVT::v4i16; break;
1308       case MVT::i32: Opc = ARM::VDUPLN32q; HalfVT = MVT::v2i32; break;
1309       case MVT::f32: Opc = ARM::VDUPLNfq;  HalfVT = MVT::v2f32; break;
1310       }
1311
1312       // The source operand needs to be changed to a subreg of the original
1313       // 128-bit operand, and the lane number needs to be adjusted accordingly.
1314       unsigned NumElts = VT.getVectorNumElements() / 2;
1315       unsigned SRVal = (LaneVal < NumElts ? arm_dsubreg_0 : arm_dsubreg_1);
1316       SDValue SR = CurDAG->getTargetConstant(SRVal, MVT::i32);
1317       SDValue NewLane = CurDAG->getTargetConstant(LaneVal % NumElts, MVT::i32);
1318       SDNode *SubReg = CurDAG->getTargetNode(TargetInstrInfo::EXTRACT_SUBREG,
1319                                              dl, HalfVT, N->getOperand(0), SR);
1320       return CurDAG->SelectNodeTo(N, Opc, VT, SDValue(SubReg, 0), NewLane);
1321     }
1322
1323     break;
1324   }
1325   }
1326
1327   return SelectCode(Op);
1328 }
1329
1330 bool ARMDAGToDAGISel::
1331 SelectInlineAsmMemoryOperand(const SDValue &Op, char ConstraintCode,
1332                              std::vector<SDValue> &OutOps) {
1333   assert(ConstraintCode == 'm' && "unexpected asm memory constraint");
1334
1335   SDValue Base, Offset, Opc;
1336   if (!SelectAddrMode2(Op, Op, Base, Offset, Opc))
1337     return true;
1338   
1339   OutOps.push_back(Base);
1340   OutOps.push_back(Offset);
1341   OutOps.push_back(Opc);
1342   return false;
1343 }
1344
1345 /// createARMISelDag - This pass converts a legalized DAG into a
1346 /// ARM-specific DAG, ready for instruction scheduling.
1347 ///
1348 FunctionPass *llvm::createARMISelDag(ARMBaseTargetMachine &TM) {
1349   return new ARMDAGToDAGISel(TM);
1350 }