blob: f502247680d9f49baf567c2d05da123961346ff9 [file] [log] [blame]
Chris Lattner1c08c712005-01-07 07:47:53 +00001//===-- SelectionDAGISel.cpp - Implement the SelectionDAGISel class -------===//
Misha Brukmanedf128a2005-04-21 22:36:52 +00002//
Chris Lattner1c08c712005-01-07 07:47:53 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanedf128a2005-04-21 22:36:52 +00007//
Chris Lattner1c08c712005-01-07 07:47:53 +00008//===----------------------------------------------------------------------===//
9//
10// This implements the SelectionDAGISel class.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "isel"
Evan Cheng381cb072008-08-08 07:27:28 +000015#include "llvm/CodeGen/SelectionDAGISel.h"
Dan Gohmanf0cbcd42008-09-03 16:12:24 +000016#include "SelectionDAGBuild.h"
Anton Korobeynikov5502bf62007-04-04 21:14:49 +000017#include "llvm/ADT/BitVector.h"
Jim Laskeyc7c3f112006-10-16 20:52:31 +000018#include "llvm/Analysis/AliasAnalysis.h"
Anton Korobeynikov5502bf62007-04-04 21:14:49 +000019#include "llvm/Constants.h"
Chris Lattneradf6a962005-05-13 18:50:42 +000020#include "llvm/CallingConv.h"
Chris Lattner1c08c712005-01-07 07:47:53 +000021#include "llvm/DerivedTypes.h"
22#include "llvm/Function.h"
Chris Lattner36ce6912005-11-29 06:21:05 +000023#include "llvm/GlobalVariable.h"
Chris Lattnerce7518c2006-01-26 22:24:51 +000024#include "llvm/InlineAsm.h"
Chris Lattner1c08c712005-01-07 07:47:53 +000025#include "llvm/Instructions.h"
26#include "llvm/Intrinsics.h"
Jim Laskey43970fe2006-03-23 18:06:46 +000027#include "llvm/IntrinsicInst.h"
Dan Gohman78eca172008-08-19 22:33:34 +000028#include "llvm/CodeGen/FastISel.h"
Gordon Henriksen5a29c9e2008-08-17 12:56:54 +000029#include "llvm/CodeGen/GCStrategy.h"
Gordon Henriksen5eca0752008-08-17 18:44:35 +000030#include "llvm/CodeGen/GCMetadata.h"
Chris Lattner1c08c712005-01-07 07:47:53 +000031#include "llvm/CodeGen/MachineFunction.h"
32#include "llvm/CodeGen/MachineFrameInfo.h"
33#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattner84bc5422007-12-31 04:13:23 +000034#include "llvm/CodeGen/MachineJumpTableInfo.h"
35#include "llvm/CodeGen/MachineModuleInfo.h"
36#include "llvm/CodeGen/MachineRegisterInfo.h"
Evan Cheng381cb072008-08-08 07:27:28 +000037#include "llvm/CodeGen/ScheduleDAG.h"
Jim Laskeyeb577ba2006-08-02 12:30:23 +000038#include "llvm/CodeGen/SchedulerRegistry.h"
Chris Lattner1c08c712005-01-07 07:47:53 +000039#include "llvm/CodeGen/SelectionDAG.h"
Dan Gohman6f0d0242008-02-10 18:45:23 +000040#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner1c08c712005-01-07 07:47:53 +000041#include "llvm/Target/TargetData.h"
42#include "llvm/Target/TargetFrameInfo.h"
43#include "llvm/Target/TargetInstrInfo.h"
44#include "llvm/Target/TargetLowering.h"
45#include "llvm/Target/TargetMachine.h"
Vladimir Prus12472912006-05-23 13:43:15 +000046#include "llvm/Target/TargetOptions.h"
Chris Lattnera4f0b3a2006-08-27 12:54:02 +000047#include "llvm/Support/Compiler.h"
Evan Chengdb8d56b2008-06-30 20:45:06 +000048#include "llvm/Support/Debug.h"
49#include "llvm/Support/MathExtras.h"
50#include "llvm/Support/Timer.h"
Jeff Cohen7e881032006-02-24 02:52:40 +000051#include <algorithm>
Chris Lattner1c08c712005-01-07 07:47:53 +000052using namespace llvm;
53
Chris Lattneread0d882008-06-17 06:09:18 +000054static cl::opt<bool>
Chris Lattner70587ea2008-07-10 23:37:50 +000055EnableValueProp("enable-value-prop", cl::Hidden);
56static cl::opt<bool>
Duncan Sands7cb07872008-10-27 08:42:46 +000057DisableLegalizeTypes("disable-legalize-types", cl::Hidden);
Dan Gohman727809a2008-10-28 19:08:46 +000058#ifndef NDEBUG
Dan Gohman78eca172008-08-19 22:33:34 +000059static cl::opt<bool>
Dan Gohman293d5f82008-09-09 22:06:46 +000060EnableFastISelVerbose("fast-isel-verbose", cl::Hidden,
Dan Gohmand659d502008-10-20 21:30:12 +000061 cl::desc("Enable verbose messages in the \"fast\" "
Dan Gohman293d5f82008-09-09 22:06:46 +000062 "instruction selector"));
63static cl::opt<bool>
Dan Gohman4344a5d2008-09-09 23:05:00 +000064EnableFastISelAbort("fast-isel-abort", cl::Hidden,
65 cl::desc("Enable abort calls when \"fast\" instruction fails"));
Dan Gohman727809a2008-10-28 19:08:46 +000066#endif
Dan Gohman8a110532008-09-05 22:59:21 +000067static cl::opt<bool>
68SchedLiveInCopies("schedule-livein-copies",
69 cl::desc("Schedule copies of livein registers"),
70 cl::init(false));
Chris Lattneread0d882008-06-17 06:09:18 +000071
Chris Lattnerda8abb02005-09-01 18:44:10 +000072#ifndef NDEBUG
Chris Lattner7944d9d2005-01-12 03:41:21 +000073static cl::opt<bool>
Dan Gohman462dc7f2008-07-21 20:00:07 +000074ViewDAGCombine1("view-dag-combine1-dags", cl::Hidden,
75 cl::desc("Pop up a window to show dags before the first "
76 "dag combine pass"));
77static cl::opt<bool>
78ViewLegalizeTypesDAGs("view-legalize-types-dags", cl::Hidden,
79 cl::desc("Pop up a window to show dags before legalize types"));
80static cl::opt<bool>
81ViewLegalizeDAGs("view-legalize-dags", cl::Hidden,
82 cl::desc("Pop up a window to show dags before legalize"));
83static cl::opt<bool>
84ViewDAGCombine2("view-dag-combine2-dags", cl::Hidden,
85 cl::desc("Pop up a window to show dags before the second "
86 "dag combine pass"));
87static cl::opt<bool>
Evan Chenga9c20912006-01-21 02:32:06 +000088ViewISelDAGs("view-isel-dags", cl::Hidden,
89 cl::desc("Pop up a window to show isel dags as they are selected"));
90static cl::opt<bool>
91ViewSchedDAGs("view-sched-dags", cl::Hidden,
92 cl::desc("Pop up a window to show sched dags as they are processed"));
Dan Gohman3e1a7ae2007-08-28 20:32:58 +000093static cl::opt<bool>
94ViewSUnitDAGs("view-sunit-dags", cl::Hidden,
Chris Lattner5bab7852008-01-25 17:24:52 +000095 cl::desc("Pop up a window to show SUnit dags after they are processed"));
Chris Lattner7944d9d2005-01-12 03:41:21 +000096#else
Dan Gohman462dc7f2008-07-21 20:00:07 +000097static const bool ViewDAGCombine1 = false,
98 ViewLegalizeTypesDAGs = false, ViewLegalizeDAGs = false,
99 ViewDAGCombine2 = false,
100 ViewISelDAGs = false, ViewSchedDAGs = false,
101 ViewSUnitDAGs = false;
Chris Lattner7944d9d2005-01-12 03:41:21 +0000102#endif
103
Jim Laskeyeb577ba2006-08-02 12:30:23 +0000104//===---------------------------------------------------------------------===//
105///
106/// RegisterScheduler class - Track the registration of instruction schedulers.
107///
108//===---------------------------------------------------------------------===//
109MachinePassRegistry RegisterScheduler::Registry;
110
111//===---------------------------------------------------------------------===//
112///
113/// ISHeuristic command line option for instruction schedulers.
114///
115//===---------------------------------------------------------------------===//
Dan Gohman844731a2008-05-13 00:00:25 +0000116static cl::opt<RegisterScheduler::FunctionPassCtor, false,
117 RegisterPassParser<RegisterScheduler> >
118ISHeuristic("pre-RA-sched",
119 cl::init(&createDefaultScheduler),
120 cl::desc("Instruction schedulers available (before register"
121 " allocation):"));
Jim Laskey13ec7022006-08-01 14:21:23 +0000122
Dan Gohman844731a2008-05-13 00:00:25 +0000123static RegisterScheduler
Dan Gohmanb8cab922008-10-14 20:25:08 +0000124defaultListDAGScheduler("default", "Best scheduler for the target",
Dan Gohman844731a2008-05-13 00:00:25 +0000125 createDefaultScheduler);
Evan Cheng4ef10862006-01-23 07:01:07 +0000126
Chris Lattner1c08c712005-01-07 07:47:53 +0000127namespace llvm {
128 //===--------------------------------------------------------------------===//
Jim Laskey9373beb2006-08-01 19:14:14 +0000129 /// createDefaultScheduler - This creates an instruction scheduler appropriate
130 /// for the target.
131 ScheduleDAG* createDefaultScheduler(SelectionDAGISel *IS,
132 SelectionDAG *DAG,
Evan Cheng4576f6d2008-07-01 18:05:03 +0000133 MachineBasicBlock *BB,
134 bool Fast) {
Jim Laskey9373beb2006-08-01 19:14:14 +0000135 TargetLowering &TLI = IS->getTargetLowering();
136
137 if (TLI.getSchedulingPreference() == TargetLowering::SchedulingForLatency) {
Evan Cheng4576f6d2008-07-01 18:05:03 +0000138 return createTDListDAGScheduler(IS, DAG, BB, Fast);
Jim Laskey9373beb2006-08-01 19:14:14 +0000139 } else {
140 assert(TLI.getSchedulingPreference() ==
141 TargetLowering::SchedulingForRegPressure && "Unknown sched type!");
Evan Cheng4576f6d2008-07-01 18:05:03 +0000142 return createBURRListDAGScheduler(IS, DAG, BB, Fast);
Jim Laskey9373beb2006-08-01 19:14:14 +0000143 }
144 }
Chris Lattner1c08c712005-01-07 07:47:53 +0000145}
146
Evan Chengff9b3732008-01-30 18:18:23 +0000147// EmitInstrWithCustomInserter - This method should be implemented by targets
148// that mark instructions with the 'usesCustomDAGSchedInserter' flag. These
Chris Lattner025c39b2005-08-26 20:54:47 +0000149// instructions are special in various ways, which require special support to
150// insert. The specified MachineInstr is created but not inserted into any
151// basic blocks, and the scheduler passes ownership of it to this method.
Evan Chengff9b3732008-01-30 18:18:23 +0000152MachineBasicBlock *TargetLowering::EmitInstrWithCustomInserter(MachineInstr *MI,
Chris Lattner025c39b2005-08-26 20:54:47 +0000153 MachineBasicBlock *MBB) {
Bill Wendling832171c2006-12-07 20:04:42 +0000154 cerr << "If a target marks an instruction with "
155 << "'usesCustomDAGSchedInserter', it must implement "
Evan Chengff9b3732008-01-30 18:18:23 +0000156 << "TargetLowering::EmitInstrWithCustomInserter!\n";
Chris Lattner025c39b2005-08-26 20:54:47 +0000157 abort();
158 return 0;
159}
160
Dan Gohman8a110532008-09-05 22:59:21 +0000161/// EmitLiveInCopy - Emit a copy for a live in physical register. If the
162/// physical register has only a single copy use, then coalesced the copy
163/// if possible.
164static void EmitLiveInCopy(MachineBasicBlock *MBB,
165 MachineBasicBlock::iterator &InsertPos,
166 unsigned VirtReg, unsigned PhysReg,
167 const TargetRegisterClass *RC,
168 DenseMap<MachineInstr*, unsigned> &CopyRegMap,
169 const MachineRegisterInfo &MRI,
170 const TargetRegisterInfo &TRI,
171 const TargetInstrInfo &TII) {
172 unsigned NumUses = 0;
173 MachineInstr *UseMI = NULL;
174 for (MachineRegisterInfo::use_iterator UI = MRI.use_begin(VirtReg),
175 UE = MRI.use_end(); UI != UE; ++UI) {
176 UseMI = &*UI;
177 if (++NumUses > 1)
178 break;
179 }
180
181 // If the number of uses is not one, or the use is not a move instruction,
182 // don't coalesce. Also, only coalesce away a virtual register to virtual
183 // register copy.
184 bool Coalesced = false;
185 unsigned SrcReg, DstReg;
186 if (NumUses == 1 &&
187 TII.isMoveInstr(*UseMI, SrcReg, DstReg) &&
188 TargetRegisterInfo::isVirtualRegister(DstReg)) {
189 VirtReg = DstReg;
190 Coalesced = true;
191 }
192
193 // Now find an ideal location to insert the copy.
194 MachineBasicBlock::iterator Pos = InsertPos;
195 while (Pos != MBB->begin()) {
196 MachineInstr *PrevMI = prior(Pos);
197 DenseMap<MachineInstr*, unsigned>::iterator RI = CopyRegMap.find(PrevMI);
198 // copyRegToReg might emit multiple instructions to do a copy.
199 unsigned CopyDstReg = (RI == CopyRegMap.end()) ? 0 : RI->second;
200 if (CopyDstReg && !TRI.regsOverlap(CopyDstReg, PhysReg))
201 // This is what the BB looks like right now:
202 // r1024 = mov r0
203 // ...
204 // r1 = mov r1024
205 //
206 // We want to insert "r1025 = mov r1". Inserting this copy below the
207 // move to r1024 makes it impossible for that move to be coalesced.
208 //
209 // r1025 = mov r1
210 // r1024 = mov r0
211 // ...
212 // r1 = mov 1024
213 // r2 = mov 1025
214 break; // Woot! Found a good location.
215 --Pos;
216 }
217
218 TII.copyRegToReg(*MBB, Pos, VirtReg, PhysReg, RC, RC);
219 CopyRegMap.insert(std::make_pair(prior(Pos), VirtReg));
220 if (Coalesced) {
221 if (&*InsertPos == UseMI) ++InsertPos;
222 MBB->erase(UseMI);
223 }
224}
225
226/// EmitLiveInCopies - If this is the first basic block in the function,
227/// and if it has live ins that need to be copied into vregs, emit the
228/// copies into the block.
229static void EmitLiveInCopies(MachineBasicBlock *EntryMBB,
230 const MachineRegisterInfo &MRI,
231 const TargetRegisterInfo &TRI,
232 const TargetInstrInfo &TII) {
233 if (SchedLiveInCopies) {
234 // Emit the copies at a heuristically-determined location in the block.
235 DenseMap<MachineInstr*, unsigned> CopyRegMap;
236 MachineBasicBlock::iterator InsertPos = EntryMBB->begin();
237 for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
238 E = MRI.livein_end(); LI != E; ++LI)
239 if (LI->second) {
240 const TargetRegisterClass *RC = MRI.getRegClass(LI->second);
241 EmitLiveInCopy(EntryMBB, InsertPos, LI->second, LI->first,
242 RC, CopyRegMap, MRI, TRI, TII);
243 }
244 } else {
245 // Emit the copies into the top of the block.
246 for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
247 E = MRI.livein_end(); LI != E; ++LI)
248 if (LI->second) {
249 const TargetRegisterClass *RC = MRI.getRegClass(LI->second);
250 TII.copyRegToReg(*EntryMBB, EntryMBB->begin(),
251 LI->second, LI->first, RC, RC);
252 }
253 }
254}
255
Chris Lattner7041ee32005-01-11 05:56:49 +0000256//===----------------------------------------------------------------------===//
257// SelectionDAGISel code
258//===----------------------------------------------------------------------===//
Chris Lattner1c08c712005-01-07 07:47:53 +0000259
Dan Gohman7c3234c2008-08-27 23:52:12 +0000260SelectionDAGISel::SelectionDAGISel(TargetLowering &tli, bool fast) :
Dan Gohmanae73dc12008-09-04 17:05:41 +0000261 FunctionPass(&ID), TLI(tli),
Dan Gohman7c3234c2008-08-27 23:52:12 +0000262 FuncInfo(new FunctionLoweringInfo(TLI)),
263 CurDAG(new SelectionDAG(TLI, *FuncInfo)),
264 SDL(new SelectionDAGLowering(*CurDAG, TLI, *FuncInfo)),
265 GFI(),
266 Fast(fast),
267 DAGSize(0)
268{}
269
270SelectionDAGISel::~SelectionDAGISel() {
271 delete SDL;
272 delete CurDAG;
273 delete FuncInfo;
274}
275
Duncan Sands83ec4b62008-06-06 12:08:01 +0000276unsigned SelectionDAGISel::MakeReg(MVT VT) {
Chris Lattner84bc5422007-12-31 04:13:23 +0000277 return RegInfo->createVirtualRegister(TLI.getRegClassFor(VT));
Chris Lattner1c08c712005-01-07 07:47:53 +0000278}
279
Chris Lattner495a0b52005-08-17 06:37:43 +0000280void SelectionDAGISel::getAnalysisUsage(AnalysisUsage &AU) const {
Jim Laskeyc7c3f112006-10-16 20:52:31 +0000281 AU.addRequired<AliasAnalysis>();
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000282 AU.addRequired<GCModuleInfo>();
Chris Lattnerc8d288f2007-03-31 04:18:03 +0000283 AU.setPreservesAll();
Chris Lattner495a0b52005-08-17 06:37:43 +0000284}
Chris Lattner1c08c712005-01-07 07:47:53 +0000285
Chris Lattner1c08c712005-01-07 07:47:53 +0000286bool SelectionDAGISel::runOnFunction(Function &Fn) {
Dan Gohman4344a5d2008-09-09 23:05:00 +0000287 // Do some sanity-checking on the command-line options.
288 assert((!EnableFastISelVerbose || EnableFastISel) &&
289 "-fast-isel-verbose requires -fast-isel");
290 assert((!EnableFastISelAbort || EnableFastISel) &&
291 "-fast-isel-abort requires -fast-isel");
292
Dan Gohman5f43f922007-08-27 16:26:13 +0000293 // Get alias analysis for load/store combining.
294 AA = &getAnalysis<AliasAnalysis>();
295
Dan Gohman8a110532008-09-05 22:59:21 +0000296 TargetMachine &TM = TLI.getTargetMachine();
297 MachineFunction &MF = MachineFunction::construct(&Fn, TM);
298 const MachineRegisterInfo &MRI = MF.getRegInfo();
299 const TargetInstrInfo &TII = *TM.getInstrInfo();
300 const TargetRegisterInfo &TRI = *TM.getRegisterInfo();
301
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000302 if (MF.getFunction()->hasGC())
303 GFI = &getAnalysis<GCModuleInfo>().getFunctionInfo(*MF.getFunction());
Gordon Henriksence224772008-01-07 01:30:38 +0000304 else
Gordon Henriksen5eca0752008-08-17 18:44:35 +0000305 GFI = 0;
Chris Lattner84bc5422007-12-31 04:13:23 +0000306 RegInfo = &MF.getRegInfo();
Bill Wendling832171c2006-12-07 20:04:42 +0000307 DOUT << "\n\n\n=== " << Fn.getName() << "\n";
Chris Lattner1c08c712005-01-07 07:47:53 +0000308
Dan Gohmanf0cbcd42008-09-03 16:12:24 +0000309 FuncInfo->set(Fn, MF, EnableFastISel);
Dan Gohmand57dd5f2008-09-23 21:53:34 +0000310 MachineModuleInfo *MMI = getAnalysisToUpdate<MachineModuleInfo>();
311 CurDAG->init(MF, MMI);
Dan Gohman7c3234c2008-08-27 23:52:12 +0000312 SDL->init(GFI, *AA);
Chris Lattner1c08c712005-01-07 07:47:53 +0000313
Dale Johannesen1532f3d2008-04-02 00:25:04 +0000314 for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I)
315 if (InvokeInst *Invoke = dyn_cast<InvokeInst>(I->getTerminator()))
316 // Mark landing pad.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000317 FuncInfo->MBBMap[Invoke->getSuccessor(1)]->setIsLandingPad();
Duncan Sands9fac0b52007-06-06 10:05:18 +0000318
Dan Gohmandd5b58a2008-10-14 23:54:11 +0000319 SelectAllBasicBlocks(Fn, MF, MMI, TII);
Misha Brukmanedf128a2005-04-21 22:36:52 +0000320
Dan Gohman8a110532008-09-05 22:59:21 +0000321 // If the first basic block in the function has live ins that need to be
322 // copied into vregs, emit the copies into the top of the block before
323 // emitting the code for the block.
324 EmitLiveInCopies(MF.begin(), MRI, TRI, TII);
325
Evan Chengad2070c2007-02-10 02:43:39 +0000326 // Add function live-ins to entry block live-in set.
Dan Gohman8a110532008-09-05 22:59:21 +0000327 for (MachineRegisterInfo::livein_iterator I = RegInfo->livein_begin(),
328 E = RegInfo->livein_end(); I != E; ++I)
329 MF.begin()->addLiveIn(I->first);
Evan Chengad2070c2007-02-10 02:43:39 +0000330
Duncan Sandsf4070822007-06-15 19:04:19 +0000331#ifndef NDEBUG
Dan Gohman7c3234c2008-08-27 23:52:12 +0000332 assert(FuncInfo->CatchInfoFound.size() == FuncInfo->CatchInfoLost.size() &&
Duncan Sandsf4070822007-06-15 19:04:19 +0000333 "Not all catch info was assigned to a landing pad!");
334#endif
335
Dan Gohman7c3234c2008-08-27 23:52:12 +0000336 FuncInfo->clear();
337
Chris Lattner1c08c712005-01-07 07:47:53 +0000338 return true;
339}
340
Duncan Sandsf4070822007-06-15 19:04:19 +0000341static void copyCatchInfo(BasicBlock *SrcBB, BasicBlock *DestBB,
342 MachineModuleInfo *MMI, FunctionLoweringInfo &FLI) {
Duncan Sandsf4070822007-06-15 19:04:19 +0000343 for (BasicBlock::iterator I = SrcBB->begin(), E = --SrcBB->end(); I != E; ++I)
Dan Gohmanf0cbcd42008-09-03 16:12:24 +0000344 if (EHSelectorInst *EHSel = dyn_cast<EHSelectorInst>(I)) {
Duncan Sandsf4070822007-06-15 19:04:19 +0000345 // Apply the catch info to DestBB.
Dan Gohmanf0cbcd42008-09-03 16:12:24 +0000346 AddCatchInfo(*EHSel, MMI, FLI.MBBMap[DestBB]);
Duncan Sandsf4070822007-06-15 19:04:19 +0000347#ifndef NDEBUG
Duncan Sands560a7372007-11-15 09:54:37 +0000348 if (!FLI.MBBMap[SrcBB]->isLandingPad())
Dan Gohmanf0cbcd42008-09-03 16:12:24 +0000349 FLI.CatchInfoFound.insert(EHSel);
Duncan Sandsf4070822007-06-15 19:04:19 +0000350#endif
351 }
352}
353
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000354/// IsFixedFrameObjectWithPosOffset - Check if object is a fixed frame object and
355/// whether object offset >= 0.
356static bool
Dan Gohman475871a2008-07-27 21:46:04 +0000357IsFixedFrameObjectWithPosOffset(MachineFrameInfo * MFI, SDValue Op) {
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000358 if (!isa<FrameIndexSDNode>(Op)) return false;
359
360 FrameIndexSDNode * FrameIdxNode = dyn_cast<FrameIndexSDNode>(Op);
361 int FrameIdx = FrameIdxNode->getIndex();
362 return MFI->isFixedObjectIndex(FrameIdx) &&
363 MFI->getObjectOffset(FrameIdx) >= 0;
364}
365
366/// IsPossiblyOverwrittenArgumentOfTailCall - Check if the operand could
367/// possibly be overwritten when lowering the outgoing arguments in a tail
368/// call. Currently the implementation of this call is very conservative and
369/// assumes all arguments sourcing from FORMAL_ARGUMENTS or a CopyFromReg with
370/// virtual registers would be overwritten by direct lowering.
Dan Gohman475871a2008-07-27 21:46:04 +0000371static bool IsPossiblyOverwrittenArgumentOfTailCall(SDValue Op,
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000372 MachineFrameInfo * MFI) {
373 RegisterSDNode * OpReg = NULL;
374 if (Op.getOpcode() == ISD::FORMAL_ARGUMENTS ||
375 (Op.getOpcode()== ISD::CopyFromReg &&
376 (OpReg = dyn_cast<RegisterSDNode>(Op.getOperand(1))) &&
377 (OpReg->getReg() >= TargetRegisterInfo::FirstVirtualRegister)) ||
378 (Op.getOpcode() == ISD::LOAD &&
379 IsFixedFrameObjectWithPosOffset(MFI, Op.getOperand(1))) ||
380 (Op.getOpcode() == ISD::MERGE_VALUES &&
Gabor Greif99a6cb92008-08-26 22:36:50 +0000381 Op.getOperand(Op.getResNo()).getOpcode() == ISD::LOAD &&
382 IsFixedFrameObjectWithPosOffset(MFI, Op.getOperand(Op.getResNo()).
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000383 getOperand(1))))
384 return true;
385 return false;
386}
387
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000388/// CheckDAGForTailCallsAndFixThem - This Function looks for CALL nodes in the
Arnold Schwaighofer48abc5c2007-10-12 21:30:57 +0000389/// DAG and fixes their tailcall attribute operand.
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000390static void CheckDAGForTailCallsAndFixThem(SelectionDAG &DAG,
391 TargetLowering& TLI) {
392 SDNode * Ret = NULL;
Dan Gohman475871a2008-07-27 21:46:04 +0000393 SDValue Terminator = DAG.getRoot();
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000394
395 // Find RET node.
396 if (Terminator.getOpcode() == ISD::RET) {
Gabor Greifba36cb52008-08-28 21:40:38 +0000397 Ret = Terminator.getNode();
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000398 }
399
400 // Fix tail call attribute of CALL nodes.
401 for (SelectionDAG::allnodes_iterator BE = DAG.allnodes_begin(),
Dan Gohman0e5f1302008-07-07 23:02:41 +0000402 BI = DAG.allnodes_end(); BI != BE; ) {
403 --BI;
Dan Gohman095cc292008-09-13 01:54:27 +0000404 if (CallSDNode *TheCall = dyn_cast<CallSDNode>(BI)) {
Dan Gohman475871a2008-07-27 21:46:04 +0000405 SDValue OpRet(Ret, 0);
406 SDValue OpCall(BI, 0);
Dan Gohman095cc292008-09-13 01:54:27 +0000407 bool isMarkedTailCall = TheCall->isTailCall();
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000408 // If CALL node has tail call attribute set to true and the call is not
409 // eligible (no RET or the target rejects) the attribute is fixed to
Arnold Schwaighofer48abc5c2007-10-12 21:30:57 +0000410 // false. The TargetLowering::IsEligibleForTailCallOptimization function
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000411 // must correctly identify tail call optimizable calls.
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000412 if (!isMarkedTailCall) continue;
413 if (Ret==NULL ||
Dan Gohman095cc292008-09-13 01:54:27 +0000414 !TLI.IsEligibleForTailCallOptimization(TheCall, OpRet, DAG)) {
415 // Not eligible. Mark CALL node as non tail call. Note that we
416 // can modify the call node in place since calls are not CSE'd.
417 TheCall->setNotTailCall();
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000418 } else {
419 // Look for tail call clobbered arguments. Emit a series of
420 // copyto/copyfrom virtual register nodes to protect them.
Dan Gohman475871a2008-07-27 21:46:04 +0000421 SmallVector<SDValue, 32> Ops;
Dan Gohman095cc292008-09-13 01:54:27 +0000422 SDValue Chain = TheCall->getChain(), InFlag;
423 Ops.push_back(Chain);
424 Ops.push_back(TheCall->getCallee());
425 for (unsigned i = 0, e = TheCall->getNumArgs(); i != e; ++i) {
426 SDValue Arg = TheCall->getArg(i);
427 bool isByVal = TheCall->getArgFlags(i).isByVal();
428 MachineFunction &MF = DAG.getMachineFunction();
429 MachineFrameInfo *MFI = MF.getFrameInfo();
430 if (!isByVal &&
431 IsPossiblyOverwrittenArgumentOfTailCall(Arg, MFI)) {
432 MVT VT = Arg.getValueType();
433 unsigned VReg = MF.getRegInfo().
434 createVirtualRegister(TLI.getRegClassFor(VT));
435 Chain = DAG.getCopyToReg(Chain, VReg, Arg, InFlag);
436 InFlag = Chain.getValue(1);
437 Arg = DAG.getCopyFromReg(Chain, VReg, VT, InFlag);
438 Chain = Arg.getValue(1);
439 InFlag = Arg.getValue(2);
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000440 }
441 Ops.push_back(Arg);
Dan Gohman095cc292008-09-13 01:54:27 +0000442 Ops.push_back(TheCall->getArgFlagsVal(i));
Arnold Schwaighofer30e62c02008-04-30 09:16:33 +0000443 }
444 // Link in chain of CopyTo/CopyFromReg.
445 Ops[0] = Chain;
446 DAG.UpdateNodeOperands(OpCall, Ops.begin(), Ops.size());
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000447 }
448 }
449 }
450}
451
Dan Gohmanf350b272008-08-23 02:25:05 +0000452void SelectionDAGISel::SelectBasicBlock(BasicBlock *LLVMBB,
453 BasicBlock::iterator Begin,
Dan Gohman5edd3612008-08-28 20:28:56 +0000454 BasicBlock::iterator End) {
Dan Gohman7c3234c2008-08-27 23:52:12 +0000455 SDL->setCurrentBasicBlock(BB);
Dan Gohmanf350b272008-08-23 02:25:05 +0000456
Dan Gohmanf350b272008-08-23 02:25:05 +0000457 // Lower all of the non-terminator instructions.
458 for (BasicBlock::iterator I = Begin; I != End; ++I)
459 if (!isa<TerminatorInst>(I))
Dan Gohman7c3234c2008-08-27 23:52:12 +0000460 SDL->visit(*I);
Dan Gohmanf350b272008-08-23 02:25:05 +0000461
462 // Ensure that all instructions which are used outside of their defining
463 // blocks are available as virtual registers. Invoke is handled elsewhere.
464 for (BasicBlock::iterator I = Begin; I != End; ++I)
465 if (!I->use_empty() && !isa<PHINode>(I) && !isa<InvokeInst>(I)) {
Dan Gohman7c3234c2008-08-27 23:52:12 +0000466 DenseMap<const Value*,unsigned>::iterator VMI =FuncInfo->ValueMap.find(I);
467 if (VMI != FuncInfo->ValueMap.end())
468 SDL->CopyValueToVirtualRegister(I, VMI->second);
Dan Gohmanf350b272008-08-23 02:25:05 +0000469 }
470
471 // Handle PHI nodes in successor blocks.
Dan Gohman3df24e62008-09-03 23:12:08 +0000472 if (End == LLVMBB->end()) {
Dan Gohman7c3234c2008-08-27 23:52:12 +0000473 HandlePHINodesInSuccessorBlocks(LLVMBB);
Dan Gohman3df24e62008-09-03 23:12:08 +0000474
475 // Lower the terminator after the copies are emitted.
476 SDL->visit(*LLVMBB->getTerminator());
477 }
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000478
Chris Lattnera651cf62005-01-17 19:43:36 +0000479 // Make sure the root of the DAG is up-to-date.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000480 CurDAG->setRoot(SDL->getControlRoot());
Arnold Schwaighoferc85e1712007-10-11 19:40:01 +0000481
482 // Check whether calls in this block are real tail calls. Fix up CALL nodes
483 // with correct tailcall attribute so that the target can rely on the tailcall
484 // attribute indicating whether the call is really eligible for tail call
485 // optimization.
Dan Gohman1937e2f2008-09-16 01:42:28 +0000486 if (PerformTailCallOpt)
487 CheckDAGForTailCallsAndFixThem(*CurDAG, TLI);
Dan Gohmanf350b272008-08-23 02:25:05 +0000488
489 // Final step, emit the lowered DAG as machine code.
490 CodeGenAndEmitDAG();
Dan Gohman7c3234c2008-08-27 23:52:12 +0000491 SDL->clear();
Chris Lattner1c08c712005-01-07 07:47:53 +0000492}
493
Dan Gohmanf350b272008-08-23 02:25:05 +0000494void SelectionDAGISel::ComputeLiveOutVRegInfo() {
Chris Lattneread0d882008-06-17 06:09:18 +0000495 SmallPtrSet<SDNode*, 128> VisitedNodes;
496 SmallVector<SDNode*, 128> Worklist;
497
Gabor Greifba36cb52008-08-28 21:40:38 +0000498 Worklist.push_back(CurDAG->getRoot().getNode());
Chris Lattneread0d882008-06-17 06:09:18 +0000499
500 APInt Mask;
501 APInt KnownZero;
502 APInt KnownOne;
503
504 while (!Worklist.empty()) {
505 SDNode *N = Worklist.back();
506 Worklist.pop_back();
507
508 // If we've already seen this node, ignore it.
509 if (!VisitedNodes.insert(N))
510 continue;
511
512 // Otherwise, add all chain operands to the worklist.
513 for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i)
514 if (N->getOperand(i).getValueType() == MVT::Other)
Gabor Greifba36cb52008-08-28 21:40:38 +0000515 Worklist.push_back(N->getOperand(i).getNode());
Chris Lattneread0d882008-06-17 06:09:18 +0000516
517 // If this is a CopyToReg with a vreg dest, process it.
518 if (N->getOpcode() != ISD::CopyToReg)
519 continue;
520
521 unsigned DestReg = cast<RegisterSDNode>(N->getOperand(1))->getReg();
522 if (!TargetRegisterInfo::isVirtualRegister(DestReg))
523 continue;
524
525 // Ignore non-scalar or non-integer values.
Dan Gohman475871a2008-07-27 21:46:04 +0000526 SDValue Src = N->getOperand(2);
Chris Lattneread0d882008-06-17 06:09:18 +0000527 MVT SrcVT = Src.getValueType();
528 if (!SrcVT.isInteger() || SrcVT.isVector())
529 continue;
530
Dan Gohmanf350b272008-08-23 02:25:05 +0000531 unsigned NumSignBits = CurDAG->ComputeNumSignBits(Src);
Chris Lattneread0d882008-06-17 06:09:18 +0000532 Mask = APInt::getAllOnesValue(SrcVT.getSizeInBits());
Dan Gohmanf350b272008-08-23 02:25:05 +0000533 CurDAG->ComputeMaskedBits(Src, Mask, KnownZero, KnownOne);
Chris Lattneread0d882008-06-17 06:09:18 +0000534
535 // Only install this information if it tells us something.
536 if (NumSignBits != 1 || KnownZero != 0 || KnownOne != 0) {
537 DestReg -= TargetRegisterInfo::FirstVirtualRegister;
Dan Gohmanf350b272008-08-23 02:25:05 +0000538 FunctionLoweringInfo &FLI = CurDAG->getFunctionLoweringInfo();
Chris Lattneread0d882008-06-17 06:09:18 +0000539 if (DestReg >= FLI.LiveOutRegInfo.size())
540 FLI.LiveOutRegInfo.resize(DestReg+1);
541 FunctionLoweringInfo::LiveOutInfo &LOI = FLI.LiveOutRegInfo[DestReg];
542 LOI.NumSignBits = NumSignBits;
543 LOI.KnownOne = NumSignBits;
544 LOI.KnownZero = NumSignBits;
545 }
546 }
547}
548
Dan Gohmanf350b272008-08-23 02:25:05 +0000549void SelectionDAGISel::CodeGenAndEmitDAG() {
Dan Gohman462dc7f2008-07-21 20:00:07 +0000550 std::string GroupName;
551 if (TimePassesIsEnabled)
552 GroupName = "Instruction Selection and Scheduling";
553 std::string BlockName;
554 if (ViewDAGCombine1 || ViewLegalizeTypesDAGs || ViewLegalizeDAGs ||
555 ViewDAGCombine2 || ViewISelDAGs || ViewSchedDAGs || ViewSUnitDAGs)
Dan Gohmanf350b272008-08-23 02:25:05 +0000556 BlockName = CurDAG->getMachineFunction().getFunction()->getName() + ':' +
Dan Gohman462dc7f2008-07-21 20:00:07 +0000557 BB->getBasicBlock()->getName();
558
559 DOUT << "Initial selection DAG:\n";
Dan Gohmanf350b272008-08-23 02:25:05 +0000560 DEBUG(CurDAG->dump());
Dan Gohman462dc7f2008-07-21 20:00:07 +0000561
Dan Gohmanf350b272008-08-23 02:25:05 +0000562 if (ViewDAGCombine1) CurDAG->viewGraph("dag-combine1 input for " + BlockName);
Dan Gohman417e11b2007-10-08 15:12:17 +0000563
Chris Lattneraf21d552005-10-10 16:47:10 +0000564 // Run the DAG combiner in pre-legalize mode.
Evan Chengebffb662008-07-01 17:59:20 +0000565 if (TimePassesIsEnabled) {
Dan Gohman5e843682008-07-14 18:19:29 +0000566 NamedRegionTimer T("DAG Combining 1", GroupName);
Dan Gohmanf350b272008-08-23 02:25:05 +0000567 CurDAG->Combine(false, *AA, Fast);
Evan Chengebffb662008-07-01 17:59:20 +0000568 } else {
Dan Gohmanf350b272008-08-23 02:25:05 +0000569 CurDAG->Combine(false, *AA, Fast);
Evan Chengebffb662008-07-01 17:59:20 +0000570 }
Nate Begeman2300f552005-09-07 00:15:36 +0000571
Dan Gohman417e11b2007-10-08 15:12:17 +0000572 DOUT << "Optimized lowered selection DAG:\n";
Dan Gohmanf350b272008-08-23 02:25:05 +0000573 DEBUG(CurDAG->dump());
Duncan Sandsf00e74f2008-07-17 17:06:03 +0000574
Chris Lattner1c08c712005-01-07 07:47:53 +0000575 // Second step, hack on the DAG until it only uses operations and types that
576 // the target supports.
Duncan Sands7cb07872008-10-27 08:42:46 +0000577 if (!DisableLegalizeTypes) {
Dan Gohmanf350b272008-08-23 02:25:05 +0000578 if (ViewLegalizeTypesDAGs) CurDAG->viewGraph("legalize-types input for " +
579 BlockName);
Dan Gohman462dc7f2008-07-21 20:00:07 +0000580
581 if (TimePassesIsEnabled) {
582 NamedRegionTimer T("Type Legalization", GroupName);
Dan Gohmanf350b272008-08-23 02:25:05 +0000583 CurDAG->LegalizeTypes();
Dan Gohman462dc7f2008-07-21 20:00:07 +0000584 } else {
Dan Gohmanf350b272008-08-23 02:25:05 +0000585 CurDAG->LegalizeTypes();
Dan Gohman462dc7f2008-07-21 20:00:07 +0000586 }
587
588 DOUT << "Type-legalized selection DAG:\n";
Dan Gohmanf350b272008-08-23 02:25:05 +0000589 DEBUG(CurDAG->dump());
Dan Gohman462dc7f2008-07-21 20:00:07 +0000590
Chris Lattner70587ea2008-07-10 23:37:50 +0000591 // TODO: enable a dag combine pass here.
592 }
Duncan Sandsf00e74f2008-07-17 17:06:03 +0000593
Dan Gohmanf350b272008-08-23 02:25:05 +0000594 if (ViewLegalizeDAGs) CurDAG->viewGraph("legalize input for " + BlockName);
Dan Gohman462dc7f2008-07-21 20:00:07 +0000595
Evan Chengebffb662008-07-01 17:59:20 +0000596 if (TimePassesIsEnabled) {
Dan Gohman5e843682008-07-14 18:19:29 +0000597 NamedRegionTimer T("DAG Legalization", GroupName);
Dan Gohmanf350b272008-08-23 02:25:05 +0000598 CurDAG->Legalize();
Evan Chengebffb662008-07-01 17:59:20 +0000599 } else {
Dan Gohmanf350b272008-08-23 02:25:05 +0000600 CurDAG->Legalize();
Evan Chengebffb662008-07-01 17:59:20 +0000601 }
Nate Begemanf15485a2006-03-27 01:32:24 +0000602
Bill Wendling832171c2006-12-07 20:04:42 +0000603 DOUT << "Legalized selection DAG:\n";
Dan Gohmanf350b272008-08-23 02:25:05 +0000604 DEBUG(CurDAG->dump());
Nate Begemanf15485a2006-03-27 01:32:24 +0000605
Dan Gohmanf350b272008-08-23 02:25:05 +0000606 if (ViewDAGCombine2) CurDAG->viewGraph("dag-combine2 input for " + BlockName);
Dan Gohman462dc7f2008-07-21 20:00:07 +0000607
Chris Lattneraf21d552005-10-10 16:47:10 +0000608 // Run the DAG combiner in post-legalize mode.
Evan Chengebffb662008-07-01 17:59:20 +0000609 if (TimePassesIsEnabled) {
Dan Gohman5e843682008-07-14 18:19:29 +0000610 NamedRegionTimer T("DAG Combining 2", GroupName);
Dan Gohmanf350b272008-08-23 02:25:05 +0000611 CurDAG->Combine(true, *AA, Fast);
Evan Chengebffb662008-07-01 17:59:20 +0000612 } else {
Dan Gohmanf350b272008-08-23 02:25:05 +0000613 CurDAG->Combine(true, *AA, Fast);
Evan Chengebffb662008-07-01 17:59:20 +0000614 }
Nate Begeman2300f552005-09-07 00:15:36 +0000615
Dan Gohman417e11b2007-10-08 15:12:17 +0000616 DOUT << "Optimized legalized selection DAG:\n";
Dan Gohmanf350b272008-08-23 02:25:05 +0000617 DEBUG(CurDAG->dump());
Dan Gohman417e11b2007-10-08 15:12:17 +0000618
Dan Gohmanf350b272008-08-23 02:25:05 +0000619 if (ViewISelDAGs) CurDAG->viewGraph("isel input for " + BlockName);
Chris Lattneread0d882008-06-17 06:09:18 +0000620
Dan Gohman925a7e82008-08-13 19:47:40 +0000621 if (!Fast && EnableValueProp)
Dan Gohmanf350b272008-08-23 02:25:05 +0000622 ComputeLiveOutVRegInfo();
Evan Cheng552c4a82006-04-28 02:09:19 +0000623
Chris Lattnera33ef482005-03-30 01:10:47 +0000624 // Third, instruction select all of the operations to machine code, adding the
625 // code to the MachineBasicBlock.
Evan Chengebffb662008-07-01 17:59:20 +0000626 if (TimePassesIsEnabled) {
Dan Gohman5e843682008-07-14 18:19:29 +0000627 NamedRegionTimer T("Instruction Selection", GroupName);
Dan Gohmanf350b272008-08-23 02:25:05 +0000628 InstructionSelect();
Evan Chengebffb662008-07-01 17:59:20 +0000629 } else {
Dan Gohmanf350b272008-08-23 02:25:05 +0000630 InstructionSelect();
Evan Chengebffb662008-07-01 17:59:20 +0000631 }
Evan Chengdb8d56b2008-06-30 20:45:06 +0000632
Dan Gohman462dc7f2008-07-21 20:00:07 +0000633 DOUT << "Selected selection DAG:\n";
Dan Gohmanf350b272008-08-23 02:25:05 +0000634 DEBUG(CurDAG->dump());
Dan Gohman462dc7f2008-07-21 20:00:07 +0000635
Dan Gohmanf350b272008-08-23 02:25:05 +0000636 if (ViewSchedDAGs) CurDAG->viewGraph("scheduler input for " + BlockName);
Dan Gohman462dc7f2008-07-21 20:00:07 +0000637
Dan Gohman5e843682008-07-14 18:19:29 +0000638 // Schedule machine code.
639 ScheduleDAG *Scheduler;
640 if (TimePassesIsEnabled) {
641 NamedRegionTimer T("Instruction Scheduling", GroupName);
Dan Gohmanf350b272008-08-23 02:25:05 +0000642 Scheduler = Schedule();
Dan Gohman5e843682008-07-14 18:19:29 +0000643 } else {
Dan Gohmanf350b272008-08-23 02:25:05 +0000644 Scheduler = Schedule();
Dan Gohman5e843682008-07-14 18:19:29 +0000645 }
646
Dan Gohman462dc7f2008-07-21 20:00:07 +0000647 if (ViewSUnitDAGs) Scheduler->viewGraph();
648
Evan Chengdb8d56b2008-06-30 20:45:06 +0000649 // Emit machine code to BB. This can change 'BB' to the last block being
650 // inserted into.
Evan Chengebffb662008-07-01 17:59:20 +0000651 if (TimePassesIsEnabled) {
Dan Gohman5e843682008-07-14 18:19:29 +0000652 NamedRegionTimer T("Instruction Creation", GroupName);
653 BB = Scheduler->EmitSchedule();
Evan Chengebffb662008-07-01 17:59:20 +0000654 } else {
Dan Gohman5e843682008-07-14 18:19:29 +0000655 BB = Scheduler->EmitSchedule();
656 }
657
658 // Free the scheduler state.
659 if (TimePassesIsEnabled) {
660 NamedRegionTimer T("Instruction Scheduling Cleanup", GroupName);
661 delete Scheduler;
662 } else {
663 delete Scheduler;
Evan Chengebffb662008-07-01 17:59:20 +0000664 }
Evan Chengdb8d56b2008-06-30 20:45:06 +0000665
Bill Wendling832171c2006-12-07 20:04:42 +0000666 DOUT << "Selected machine code:\n";
Chris Lattner1c08c712005-01-07 07:47:53 +0000667 DEBUG(BB->dump());
Nate Begemanf15485a2006-03-27 01:32:24 +0000668}
Chris Lattner1c08c712005-01-07 07:47:53 +0000669
Dan Gohmand57dd5f2008-09-23 21:53:34 +0000670void SelectionDAGISel::SelectAllBasicBlocks(Function &Fn, MachineFunction &MF,
Dan Gohmandd5b58a2008-10-14 23:54:11 +0000671 MachineModuleInfo *MMI,
672 const TargetInstrInfo &TII) {
Dan Gohmana43abd12008-09-29 21:55:50 +0000673 // Initialize the Fast-ISel state, if needed.
674 FastISel *FastIS = 0;
675 if (EnableFastISel)
676 FastIS = TLI.createFastISel(*FuncInfo->MF, MMI,
677 FuncInfo->ValueMap,
678 FuncInfo->MBBMap,
Dan Gohmandd5b58a2008-10-14 23:54:11 +0000679 FuncInfo->StaticAllocaMap
680#ifndef NDEBUG
681 , FuncInfo->CatchInfoLost
682#endif
683 );
Dan Gohmana43abd12008-09-29 21:55:50 +0000684
685 // Iterate over all basic blocks in the function.
Evan Cheng39fd6e82008-08-07 00:43:25 +0000686 for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I) {
687 BasicBlock *LLVMBB = &*I;
Dan Gohman7c3234c2008-08-27 23:52:12 +0000688 BB = FuncInfo->MBBMap[LLVMBB];
Dan Gohmanf350b272008-08-23 02:25:05 +0000689
Dan Gohman3df24e62008-09-03 23:12:08 +0000690 BasicBlock::iterator const Begin = LLVMBB->begin();
691 BasicBlock::iterator const End = LLVMBB->end();
Evan Cheng9f118502008-09-08 16:01:27 +0000692 BasicBlock::iterator BI = Begin;
Dan Gohman5edd3612008-08-28 20:28:56 +0000693
694 // Lower any arguments needed in this block if this is the entry block.
Dan Gohman33134c42008-09-25 17:05:24 +0000695 bool SuppressFastISel = false;
696 if (LLVMBB == &Fn.getEntryBlock()) {
Dan Gohman5edd3612008-08-28 20:28:56 +0000697 LowerArguments(LLVMBB);
Dan Gohmanf350b272008-08-23 02:25:05 +0000698
Dan Gohman33134c42008-09-25 17:05:24 +0000699 // If any of the arguments has the byval attribute, forgo
700 // fast-isel in the entry block.
Dan Gohmana43abd12008-09-29 21:55:50 +0000701 if (FastIS) {
Dan Gohman33134c42008-09-25 17:05:24 +0000702 unsigned j = 1;
703 for (Function::arg_iterator I = Fn.arg_begin(), E = Fn.arg_end();
704 I != E; ++I, ++j)
Devang Patel05988662008-09-25 21:00:45 +0000705 if (Fn.paramHasAttr(j, Attribute::ByVal)) {
Dan Gohman727809a2008-10-28 19:08:46 +0000706#ifndef NDEBUG
Dan Gohman77ca41e2008-09-25 17:21:42 +0000707 if (EnableFastISelVerbose || EnableFastISelAbort)
708 cerr << "FastISel skips entry block due to byval argument\n";
Dan Gohman727809a2008-10-28 19:08:46 +0000709#endif
Dan Gohman33134c42008-09-25 17:05:24 +0000710 SuppressFastISel = true;
711 break;
712 }
713 }
714 }
715
Dan Gohmandd5b58a2008-10-14 23:54:11 +0000716 if (MMI && BB->isLandingPad()) {
717 // Add a label to mark the beginning of the landing pad. Deletion of the
718 // landing pad can thus be detected via the MachineModuleInfo.
719 unsigned LabelID = MMI->addLandingPad(BB);
720
721 const TargetInstrDesc &II = TII.get(TargetInstrInfo::EH_LABEL);
722 BuildMI(BB, II).addImm(LabelID);
723
724 // Mark exception register as live in.
725 unsigned Reg = TLI.getExceptionAddressRegister();
726 if (Reg) BB->addLiveIn(Reg);
727
728 // Mark exception selector register as live in.
729 Reg = TLI.getExceptionSelectorRegister();
730 if (Reg) BB->addLiveIn(Reg);
731
732 // FIXME: Hack around an exception handling flaw (PR1508): the personality
733 // function and list of typeids logically belong to the invoke (or, if you
734 // like, the basic block containing the invoke), and need to be associated
735 // with it in the dwarf exception handling tables. Currently however the
736 // information is provided by an intrinsic (eh.selector) that can be moved
737 // to unexpected places by the optimizers: if the unwind edge is critical,
738 // then breaking it can result in the intrinsics being in the successor of
739 // the landing pad, not the landing pad itself. This results in exceptions
740 // not being caught because no typeids are associated with the invoke.
741 // This may not be the only way things can go wrong, but it is the only way
742 // we try to work around for the moment.
743 BranchInst *Br = dyn_cast<BranchInst>(LLVMBB->getTerminator());
744
745 if (Br && Br->isUnconditional()) { // Critical edge?
746 BasicBlock::iterator I, E;
747 for (I = LLVMBB->begin(), E = --LLVMBB->end(); I != E; ++I)
748 if (isa<EHSelectorInst>(I))
749 break;
750
751 if (I == E)
752 // No catch info found - try to extract some from the successor.
753 copyCatchInfo(Br->getSuccessor(0), LLVMBB, MMI, *FuncInfo);
754 }
755 }
756
Dan Gohmanf350b272008-08-23 02:25:05 +0000757 // Before doing SelectionDAG ISel, see if FastISel has been requested.
Dan Gohmandd5b58a2008-10-14 23:54:11 +0000758 if (FastIS && !SuppressFastISel) {
Dan Gohmana43abd12008-09-29 21:55:50 +0000759 // Emit code for any incoming arguments. This must happen before
760 // beginning FastISel on the entry block.
761 if (LLVMBB == &Fn.getEntryBlock()) {
762 CurDAG->setRoot(SDL->getControlRoot());
763 CodeGenAndEmitDAG();
764 SDL->clear();
765 }
Dan Gohman241f4642008-10-04 00:56:36 +0000766 FastIS->startNewBlock(BB);
Dan Gohmana43abd12008-09-29 21:55:50 +0000767 // Do FastISel on as many instructions as possible.
768 for (; BI != End; ++BI) {
769 // Just before the terminator instruction, insert instructions to
770 // feed PHI nodes in successor blocks.
771 if (isa<TerminatorInst>(BI))
772 if (!HandlePHINodesInSuccessorBlocksFast(LLVMBB, FastIS)) {
Dan Gohman727809a2008-10-28 19:08:46 +0000773#ifndef NDEBUG
Dan Gohman4344a5d2008-09-09 23:05:00 +0000774 if (EnableFastISelVerbose || EnableFastISelAbort) {
Dan Gohman293d5f82008-09-09 22:06:46 +0000775 cerr << "FastISel miss: ";
776 BI->dump();
777 }
Dan Gohman4344a5d2008-09-09 23:05:00 +0000778 if (EnableFastISelAbort)
Dan Gohmana43abd12008-09-29 21:55:50 +0000779 assert(0 && "FastISel didn't handle a PHI in a successor");
Dan Gohman727809a2008-10-28 19:08:46 +0000780#endif
Dan Gohmana43abd12008-09-29 21:55:50 +0000781 break;
Dan Gohmanf350b272008-08-23 02:25:05 +0000782 }
Dan Gohmana43abd12008-09-29 21:55:50 +0000783
784 // First try normal tablegen-generated "fast" selection.
785 if (FastIS->SelectInstruction(BI))
786 continue;
787
788 // Next, try calling the target to attempt to handle the instruction.
789 if (FastIS->TargetSelectInstruction(BI))
790 continue;
791
792 // Then handle certain instructions as single-LLVM-Instruction blocks.
793 if (isa<CallInst>(BI)) {
Dan Gohman727809a2008-10-28 19:08:46 +0000794#ifndef NDEBUG
Dan Gohmana43abd12008-09-29 21:55:50 +0000795 if (EnableFastISelVerbose || EnableFastISelAbort) {
796 cerr << "FastISel missed call: ";
797 BI->dump();
798 }
Dan Gohman727809a2008-10-28 19:08:46 +0000799#endif
Dan Gohmana43abd12008-09-29 21:55:50 +0000800
801 if (BI->getType() != Type::VoidTy) {
802 unsigned &R = FuncInfo->ValueMap[BI];
803 if (!R)
804 R = FuncInfo->CreateRegForValue(BI);
805 }
806
807 SelectBasicBlock(LLVMBB, BI, next(BI));
Dan Gohman241f4642008-10-04 00:56:36 +0000808 // If the instruction was codegen'd with multiple blocks,
809 // inform the FastISel object where to resume inserting.
810 FastIS->setCurrentBlock(BB);
Dan Gohmana43abd12008-09-29 21:55:50 +0000811 continue;
Dan Gohmanf350b272008-08-23 02:25:05 +0000812 }
Dan Gohmana43abd12008-09-29 21:55:50 +0000813
Dan Gohman727809a2008-10-28 19:08:46 +0000814#ifndef NDEBUG
Dan Gohmana43abd12008-09-29 21:55:50 +0000815 // Otherwise, give up on FastISel for the rest of the block.
816 // For now, be a little lenient about non-branch terminators.
817 if (!isa<TerminatorInst>(BI) || isa<BranchInst>(BI)) {
818 if (EnableFastISelVerbose || EnableFastISelAbort) {
819 cerr << "FastISel miss: ";
820 BI->dump();
821 }
822 if (EnableFastISelAbort)
823 // The "fast" selector couldn't handle something and bailed.
824 // For the purpose of debugging, just abort.
825 assert(0 && "FastISel didn't select the entire block");
826 }
Dan Gohman727809a2008-10-28 19:08:46 +0000827#endif
Dan Gohmana43abd12008-09-29 21:55:50 +0000828 break;
Dan Gohmanf350b272008-08-23 02:25:05 +0000829 }
830 }
831
Dan Gohmand2ff6472008-09-02 20:17:56 +0000832 // Run SelectionDAG instruction selection on the remainder of the block
833 // not handled by FastISel. If FastISel is not run, this is the entire
Dan Gohman3df24e62008-09-03 23:12:08 +0000834 // block.
Evan Cheng9f118502008-09-08 16:01:27 +0000835 if (BI != End)
836 SelectBasicBlock(LLVMBB, BI, End);
Dan Gohmanf350b272008-08-23 02:25:05 +0000837
Dan Gohman7c3234c2008-08-27 23:52:12 +0000838 FinishBasicBlock();
Evan Cheng39fd6e82008-08-07 00:43:25 +0000839 }
Dan Gohmana43abd12008-09-29 21:55:50 +0000840
841 delete FastIS;
Dan Gohman0e5f1302008-07-07 23:02:41 +0000842}
843
Dan Gohmanfed90b62008-07-28 21:51:04 +0000844void
Dan Gohman7c3234c2008-08-27 23:52:12 +0000845SelectionDAGISel::FinishBasicBlock() {
Dan Gohmanf350b272008-08-23 02:25:05 +0000846
847 // Perform target specific isel post processing.
848 InstructionSelectPostProcessing();
Nate Begemanf15485a2006-03-27 01:32:24 +0000849
Dan Gohmanf350b272008-08-23 02:25:05 +0000850 DOUT << "Target-post-processed machine code:\n";
851 DEBUG(BB->dump());
Nate Begemanf15485a2006-03-27 01:32:24 +0000852
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000853 DOUT << "Total amount of phi nodes to update: "
Dan Gohman7c3234c2008-08-27 23:52:12 +0000854 << SDL->PHINodesToUpdate.size() << "\n";
855 DEBUG(for (unsigned i = 0, e = SDL->PHINodesToUpdate.size(); i != e; ++i)
856 DOUT << "Node " << i << " : (" << SDL->PHINodesToUpdate[i].first
857 << ", " << SDL->PHINodesToUpdate[i].second << ")\n";);
Nate Begemanf15485a2006-03-27 01:32:24 +0000858
Chris Lattnera33ef482005-03-30 01:10:47 +0000859 // Next, now that we know what the last MBB the LLVM BB expanded is, update
Chris Lattner1c08c712005-01-07 07:47:53 +0000860 // PHI nodes in successors.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000861 if (SDL->SwitchCases.empty() &&
862 SDL->JTCases.empty() &&
863 SDL->BitTestCases.empty()) {
864 for (unsigned i = 0, e = SDL->PHINodesToUpdate.size(); i != e; ++i) {
865 MachineInstr *PHI = SDL->PHINodesToUpdate[i].first;
Nate Begemanf15485a2006-03-27 01:32:24 +0000866 assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
867 "This is not a machine PHI node that we are updating!");
Dan Gohman7c3234c2008-08-27 23:52:12 +0000868 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[i].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000869 false));
870 PHI->addOperand(MachineOperand::CreateMBB(BB));
Nate Begemanf15485a2006-03-27 01:32:24 +0000871 }
Dan Gohman7c3234c2008-08-27 23:52:12 +0000872 SDL->PHINodesToUpdate.clear();
Nate Begemanf15485a2006-03-27 01:32:24 +0000873 return;
Chris Lattner1c08c712005-01-07 07:47:53 +0000874 }
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000875
Dan Gohman7c3234c2008-08-27 23:52:12 +0000876 for (unsigned i = 0, e = SDL->BitTestCases.size(); i != e; ++i) {
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000877 // Lower header first, if it wasn't already lowered
Dan Gohman7c3234c2008-08-27 23:52:12 +0000878 if (!SDL->BitTestCases[i].Emitted) {
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000879 // Set the current basic block to the mbb we wish to insert the code into
Dan Gohman7c3234c2008-08-27 23:52:12 +0000880 BB = SDL->BitTestCases[i].Parent;
881 SDL->setCurrentBasicBlock(BB);
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000882 // Emit the code
Dan Gohman7c3234c2008-08-27 23:52:12 +0000883 SDL->visitBitTestHeader(SDL->BitTestCases[i]);
884 CurDAG->setRoot(SDL->getRoot());
Dan Gohmanf350b272008-08-23 02:25:05 +0000885 CodeGenAndEmitDAG();
Dan Gohman7c3234c2008-08-27 23:52:12 +0000886 SDL->clear();
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000887 }
888
Dan Gohman7c3234c2008-08-27 23:52:12 +0000889 for (unsigned j = 0, ej = SDL->BitTestCases[i].Cases.size(); j != ej; ++j) {
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000890 // Set the current basic block to the mbb we wish to insert the code into
Dan Gohman7c3234c2008-08-27 23:52:12 +0000891 BB = SDL->BitTestCases[i].Cases[j].ThisBB;
892 SDL->setCurrentBasicBlock(BB);
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000893 // Emit the code
894 if (j+1 != ej)
Dan Gohman7c3234c2008-08-27 23:52:12 +0000895 SDL->visitBitTestCase(SDL->BitTestCases[i].Cases[j+1].ThisBB,
896 SDL->BitTestCases[i].Reg,
897 SDL->BitTestCases[i].Cases[j]);
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000898 else
Dan Gohman7c3234c2008-08-27 23:52:12 +0000899 SDL->visitBitTestCase(SDL->BitTestCases[i].Default,
900 SDL->BitTestCases[i].Reg,
901 SDL->BitTestCases[i].Cases[j]);
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000902
903
Dan Gohman7c3234c2008-08-27 23:52:12 +0000904 CurDAG->setRoot(SDL->getRoot());
Dan Gohmanf350b272008-08-23 02:25:05 +0000905 CodeGenAndEmitDAG();
Dan Gohman7c3234c2008-08-27 23:52:12 +0000906 SDL->clear();
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000907 }
908
909 // Update PHI Nodes
Dan Gohman7c3234c2008-08-27 23:52:12 +0000910 for (unsigned pi = 0, pe = SDL->PHINodesToUpdate.size(); pi != pe; ++pi) {
911 MachineInstr *PHI = SDL->PHINodesToUpdate[pi].first;
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000912 MachineBasicBlock *PHIBB = PHI->getParent();
913 assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
914 "This is not a machine PHI node that we are updating!");
915 // This is "default" BB. We have two jumps to it. From "header" BB and
916 // from last "case" BB.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000917 if (PHIBB == SDL->BitTestCases[i].Default) {
918 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000919 false));
Dan Gohman7c3234c2008-08-27 23:52:12 +0000920 PHI->addOperand(MachineOperand::CreateMBB(SDL->BitTestCases[i].Parent));
921 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000922 false));
Dan Gohman7c3234c2008-08-27 23:52:12 +0000923 PHI->addOperand(MachineOperand::CreateMBB(SDL->BitTestCases[i].Cases.
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000924 back().ThisBB));
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000925 }
926 // One of "cases" BB.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000927 for (unsigned j = 0, ej = SDL->BitTestCases[i].Cases.size();
928 j != ej; ++j) {
929 MachineBasicBlock* cBB = SDL->BitTestCases[i].Cases[j].ThisBB;
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000930 if (cBB->succ_end() !=
931 std::find(cBB->succ_begin(),cBB->succ_end(), PHIBB)) {
Dan Gohman7c3234c2008-08-27 23:52:12 +0000932 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000933 false));
934 PHI->addOperand(MachineOperand::CreateMBB(cBB));
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000935 }
936 }
937 }
938 }
Dan Gohman7c3234c2008-08-27 23:52:12 +0000939 SDL->BitTestCases.clear();
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000940
Nate Begeman9453eea2006-04-23 06:26:20 +0000941 // If the JumpTable record is filled in, then we need to emit a jump table.
942 // Updating the PHI nodes is tricky in this case, since we need to determine
943 // whether the PHI is a successor of the range check MBB or the jump table MBB
Dan Gohman7c3234c2008-08-27 23:52:12 +0000944 for (unsigned i = 0, e = SDL->JTCases.size(); i != e; ++i) {
Anton Korobeynikov3a84b9b2007-03-25 15:07:15 +0000945 // Lower header first, if it wasn't already lowered
Dan Gohman7c3234c2008-08-27 23:52:12 +0000946 if (!SDL->JTCases[i].first.Emitted) {
Anton Korobeynikov3a84b9b2007-03-25 15:07:15 +0000947 // Set the current basic block to the mbb we wish to insert the code into
Dan Gohman7c3234c2008-08-27 23:52:12 +0000948 BB = SDL->JTCases[i].first.HeaderBB;
949 SDL->setCurrentBasicBlock(BB);
Anton Korobeynikov3a84b9b2007-03-25 15:07:15 +0000950 // Emit the code
Dan Gohman7c3234c2008-08-27 23:52:12 +0000951 SDL->visitJumpTableHeader(SDL->JTCases[i].second, SDL->JTCases[i].first);
952 CurDAG->setRoot(SDL->getRoot());
Dan Gohmanf350b272008-08-23 02:25:05 +0000953 CodeGenAndEmitDAG();
Dan Gohman7c3234c2008-08-27 23:52:12 +0000954 SDL->clear();
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000955 }
Anton Korobeynikov3a84b9b2007-03-25 15:07:15 +0000956
Nate Begeman37efe672006-04-22 18:53:45 +0000957 // Set the current basic block to the mbb we wish to insert the code into
Dan Gohman7c3234c2008-08-27 23:52:12 +0000958 BB = SDL->JTCases[i].second.MBB;
959 SDL->setCurrentBasicBlock(BB);
Nate Begeman37efe672006-04-22 18:53:45 +0000960 // Emit the code
Dan Gohman7c3234c2008-08-27 23:52:12 +0000961 SDL->visitJumpTable(SDL->JTCases[i].second);
962 CurDAG->setRoot(SDL->getRoot());
Dan Gohmanf350b272008-08-23 02:25:05 +0000963 CodeGenAndEmitDAG();
Dan Gohman7c3234c2008-08-27 23:52:12 +0000964 SDL->clear();
Anton Korobeynikov3a84b9b2007-03-25 15:07:15 +0000965
Nate Begeman37efe672006-04-22 18:53:45 +0000966 // Update PHI Nodes
Dan Gohman7c3234c2008-08-27 23:52:12 +0000967 for (unsigned pi = 0, pe = SDL->PHINodesToUpdate.size(); pi != pe; ++pi) {
968 MachineInstr *PHI = SDL->PHINodesToUpdate[pi].first;
Nate Begeman37efe672006-04-22 18:53:45 +0000969 MachineBasicBlock *PHIBB = PHI->getParent();
970 assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
971 "This is not a machine PHI node that we are updating!");
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000972 // "default" BB. We can go there only from header BB.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000973 if (PHIBB == SDL->JTCases[i].second.Default) {
974 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000975 false));
Dan Gohman7c3234c2008-08-27 23:52:12 +0000976 PHI->addOperand(MachineOperand::CreateMBB(SDL->JTCases[i].first.HeaderBB));
Nate Begemanf4360a42006-05-03 03:48:02 +0000977 }
Anton Korobeynikov4198c582007-04-09 12:31:58 +0000978 // JT BB. Just iterate over successors here
Nate Begemanf4360a42006-05-03 03:48:02 +0000979 if (BB->succ_end() != std::find(BB->succ_begin(),BB->succ_end(), PHIBB)) {
Dan Gohman7c3234c2008-08-27 23:52:12 +0000980 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000981 false));
982 PHI->addOperand(MachineOperand::CreateMBB(BB));
Nate Begeman37efe672006-04-22 18:53:45 +0000983 }
984 }
Nate Begeman37efe672006-04-22 18:53:45 +0000985 }
Dan Gohman7c3234c2008-08-27 23:52:12 +0000986 SDL->JTCases.clear();
Nate Begeman37efe672006-04-22 18:53:45 +0000987
Chris Lattnerb2e806e2006-10-22 23:00:53 +0000988 // If the switch block involved a branch to one of the actual successors, we
989 // need to update PHI nodes in that block.
Dan Gohman7c3234c2008-08-27 23:52:12 +0000990 for (unsigned i = 0, e = SDL->PHINodesToUpdate.size(); i != e; ++i) {
991 MachineInstr *PHI = SDL->PHINodesToUpdate[i].first;
Chris Lattnerb2e806e2006-10-22 23:00:53 +0000992 assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
993 "This is not a machine PHI node that we are updating!");
994 if (BB->isSuccessor(PHI->getParent())) {
Dan Gohman7c3234c2008-08-27 23:52:12 +0000995 PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[i].second,
Chris Lattner9ce2e9d2007-12-30 00:57:42 +0000996 false));
997 PHI->addOperand(MachineOperand::CreateMBB(BB));
Chris Lattnerb2e806e2006-10-22 23:00:53 +0000998 }
999 }
1000
Nate Begemanf15485a2006-03-27 01:32:24 +00001001 // If we generated any switch lowering information, build and codegen any
1002 // additional DAGs necessary.
Dan Gohman7c3234c2008-08-27 23:52:12 +00001003 for (unsigned i = 0, e = SDL->SwitchCases.size(); i != e; ++i) {
Nate Begemanf15485a2006-03-27 01:32:24 +00001004 // Set the current basic block to the mbb we wish to insert the code into
Dan Gohman7c3234c2008-08-27 23:52:12 +00001005 BB = SDL->SwitchCases[i].ThisBB;
1006 SDL->setCurrentBasicBlock(BB);
Chris Lattnerd5e93c02006-09-07 01:59:34 +00001007
Nate Begemanf15485a2006-03-27 01:32:24 +00001008 // Emit the code
Dan Gohman7c3234c2008-08-27 23:52:12 +00001009 SDL->visitSwitchCase(SDL->SwitchCases[i]);
1010 CurDAG->setRoot(SDL->getRoot());
Dan Gohmanf350b272008-08-23 02:25:05 +00001011 CodeGenAndEmitDAG();
Dan Gohman7c3234c2008-08-27 23:52:12 +00001012 SDL->clear();
Chris Lattnerd5e93c02006-09-07 01:59:34 +00001013
1014 // Handle any PHI nodes in successors of this chunk, as if we were coming
1015 // from the original BB before switch expansion. Note that PHI nodes can
1016 // occur multiple times in PHINodesToUpdate. We have to be very careful to
1017 // handle them the right number of times.
Dan Gohman7c3234c2008-08-27 23:52:12 +00001018 while ((BB = SDL->SwitchCases[i].TrueBB)) { // Handle LHS and RHS.
Chris Lattnerd5e93c02006-09-07 01:59:34 +00001019 for (MachineBasicBlock::iterator Phi = BB->begin();
1020 Phi != BB->end() && Phi->getOpcode() == TargetInstrInfo::PHI; ++Phi){
1021 // This value for this PHI node is recorded in PHINodesToUpdate, get it.
1022 for (unsigned pn = 0; ; ++pn) {
Dan Gohman7c3234c2008-08-27 23:52:12 +00001023 assert(pn != SDL->PHINodesToUpdate.size() &&
1024 "Didn't find PHI entry!");
1025 if (SDL->PHINodesToUpdate[pn].first == Phi) {
1026 Phi->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pn].
Chris Lattner9ce2e9d2007-12-30 00:57:42 +00001027 second, false));
Dan Gohman7c3234c2008-08-27 23:52:12 +00001028 Phi->addOperand(MachineOperand::CreateMBB(SDL->SwitchCases[i].ThisBB));
Chris Lattnerd5e93c02006-09-07 01:59:34 +00001029 break;
1030 }
1031 }
Nate Begemanf15485a2006-03-27 01:32:24 +00001032 }
Chris Lattnerd5e93c02006-09-07 01:59:34 +00001033
1034 // Don't process RHS if same block as LHS.
Dan Gohman7c3234c2008-08-27 23:52:12 +00001035 if (BB == SDL->SwitchCases[i].FalseBB)
1036 SDL->SwitchCases[i].FalseBB = 0;
Chris Lattnerd5e93c02006-09-07 01:59:34 +00001037
1038 // If we haven't handled the RHS, do so now. Otherwise, we're done.
Dan Gohman7c3234c2008-08-27 23:52:12 +00001039 SDL->SwitchCases[i].TrueBB = SDL->SwitchCases[i].FalseBB;
1040 SDL->SwitchCases[i].FalseBB = 0;
Nate Begemanf15485a2006-03-27 01:32:24 +00001041 }
Dan Gohman7c3234c2008-08-27 23:52:12 +00001042 assert(SDL->SwitchCases[i].TrueBB == 0 && SDL->SwitchCases[i].FalseBB == 0);
Chris Lattnera33ef482005-03-30 01:10:47 +00001043 }
Dan Gohman7c3234c2008-08-27 23:52:12 +00001044 SDL->SwitchCases.clear();
1045
1046 SDL->PHINodesToUpdate.clear();
Chris Lattner1c08c712005-01-07 07:47:53 +00001047}
Evan Chenga9c20912006-01-21 02:32:06 +00001048
Jim Laskey13ec7022006-08-01 14:21:23 +00001049
Dan Gohman5e843682008-07-14 18:19:29 +00001050/// Schedule - Pick a safe ordering for instructions for each
Evan Chenga9c20912006-01-21 02:32:06 +00001051/// target node in the graph.
Dan Gohman5e843682008-07-14 18:19:29 +00001052///
Dan Gohmanf350b272008-08-23 02:25:05 +00001053ScheduleDAG *SelectionDAGISel::Schedule() {
Jim Laskeyeb577ba2006-08-02 12:30:23 +00001054 RegisterScheduler::FunctionPassCtor Ctor = RegisterScheduler::getDefault();
Jim Laskey13ec7022006-08-01 14:21:23 +00001055
1056 if (!Ctor) {
Jim Laskeyeb577ba2006-08-02 12:30:23 +00001057 Ctor = ISHeuristic;
Jim Laskey9373beb2006-08-01 19:14:14 +00001058 RegisterScheduler::setDefault(Ctor);
Evan Cheng4ef10862006-01-23 07:01:07 +00001059 }
Jim Laskey13ec7022006-08-01 14:21:23 +00001060
Dan Gohmanf350b272008-08-23 02:25:05 +00001061 ScheduleDAG *Scheduler = Ctor(this, CurDAG, BB, Fast);
Dan Gohman5e843682008-07-14 18:19:29 +00001062 Scheduler->Run();
Dan Gohman3e1a7ae2007-08-28 20:32:58 +00001063
Dan Gohman5e843682008-07-14 18:19:29 +00001064 return Scheduler;
Evan Chenga9c20912006-01-21 02:32:06 +00001065}
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001066
Chris Lattner03fc53c2006-03-06 00:22:00 +00001067
Jim Laskey9ff542f2006-08-01 18:29:48 +00001068HazardRecognizer *SelectionDAGISel::CreateTargetHazardRecognizer() {
1069 return new HazardRecognizer();
1070}
1071
Chris Lattner75548062006-10-11 03:58:02 +00001072//===----------------------------------------------------------------------===//
1073// Helper functions used by the generated instruction selector.
1074//===----------------------------------------------------------------------===//
1075// Calls to these methods are generated by tblgen.
1076
1077/// CheckAndMask - The isel is trying to match something like (and X, 255). If
1078/// the dag combiner simplified the 255, we still want to match. RHS is the
1079/// actual value in the DAG on the RHS of an AND, and DesiredMaskS is the value
1080/// specified in the .td file (e.g. 255).
Dan Gohman475871a2008-07-27 21:46:04 +00001081bool SelectionDAGISel::CheckAndMask(SDValue LHS, ConstantSDNode *RHS,
Dan Gohmandc9b3d02007-07-24 23:00:27 +00001082 int64_t DesiredMaskS) const {
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001083 const APInt &ActualMask = RHS->getAPIntValue();
1084 const APInt &DesiredMask = APInt(LHS.getValueSizeInBits(), DesiredMaskS);
Chris Lattner75548062006-10-11 03:58:02 +00001085
1086 // If the actual mask exactly matches, success!
1087 if (ActualMask == DesiredMask)
1088 return true;
1089
1090 // If the actual AND mask is allowing unallowed bits, this doesn't match.
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001091 if (ActualMask.intersects(~DesiredMask))
Chris Lattner75548062006-10-11 03:58:02 +00001092 return false;
1093
1094 // Otherwise, the DAG Combiner may have proven that the value coming in is
1095 // either already zero or is not demanded. Check for known zero input bits.
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001096 APInt NeededMask = DesiredMask & ~ActualMask;
Dan Gohmanea859be2007-06-22 14:59:07 +00001097 if (CurDAG->MaskedValueIsZero(LHS, NeededMask))
Chris Lattner75548062006-10-11 03:58:02 +00001098 return true;
1099
1100 // TODO: check to see if missing bits are just not demanded.
1101
1102 // Otherwise, this pattern doesn't match.
1103 return false;
1104}
1105
1106/// CheckOrMask - The isel is trying to match something like (or X, 255). If
1107/// the dag combiner simplified the 255, we still want to match. RHS is the
1108/// actual value in the DAG on the RHS of an OR, and DesiredMaskS is the value
1109/// specified in the .td file (e.g. 255).
Dan Gohman475871a2008-07-27 21:46:04 +00001110bool SelectionDAGISel::CheckOrMask(SDValue LHS, ConstantSDNode *RHS,
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001111 int64_t DesiredMaskS) const {
1112 const APInt &ActualMask = RHS->getAPIntValue();
1113 const APInt &DesiredMask = APInt(LHS.getValueSizeInBits(), DesiredMaskS);
Chris Lattner75548062006-10-11 03:58:02 +00001114
1115 // If the actual mask exactly matches, success!
1116 if (ActualMask == DesiredMask)
1117 return true;
1118
1119 // If the actual AND mask is allowing unallowed bits, this doesn't match.
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001120 if (ActualMask.intersects(~DesiredMask))
Chris Lattner75548062006-10-11 03:58:02 +00001121 return false;
1122
1123 // Otherwise, the DAG Combiner may have proven that the value coming in is
1124 // either already zero or is not demanded. Check for known zero input bits.
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001125 APInt NeededMask = DesiredMask & ~ActualMask;
Chris Lattner75548062006-10-11 03:58:02 +00001126
Dan Gohman2e68b6f2008-02-25 21:11:39 +00001127 APInt KnownZero, KnownOne;
Dan Gohmanea859be2007-06-22 14:59:07 +00001128 CurDAG->ComputeMaskedBits(LHS, NeededMask, KnownZero, KnownOne);
Chris Lattner75548062006-10-11 03:58:02 +00001129
1130 // If all the missing bits in the or are already known to be set, match!
1131 if ((NeededMask & KnownOne) == NeededMask)
1132 return true;
1133
1134 // TODO: check to see if missing bits are just not demanded.
1135
1136 // Otherwise, this pattern doesn't match.
1137 return false;
1138}
1139
Jim Laskey9ff542f2006-08-01 18:29:48 +00001140
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001141/// SelectInlineAsmMemoryOperands - Calls to this are automatically generated
1142/// by tblgen. Others should not call it.
1143void SelectionDAGISel::
Dan Gohmanf350b272008-08-23 02:25:05 +00001144SelectInlineAsmMemoryOperands(std::vector<SDValue> &Ops) {
Dan Gohman475871a2008-07-27 21:46:04 +00001145 std::vector<SDValue> InOps;
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001146 std::swap(InOps, Ops);
1147
1148 Ops.push_back(InOps[0]); // input chain.
1149 Ops.push_back(InOps[1]); // input asm string.
1150
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001151 unsigned i = 2, e = InOps.size();
1152 if (InOps[e-1].getValueType() == MVT::Flag)
1153 --e; // Don't process a flag operand if it is here.
1154
1155 while (i != e) {
Dan Gohmanf5aeb1a2008-09-12 16:56:44 +00001156 unsigned Flags = cast<ConstantSDNode>(InOps[i])->getZExtValue();
Dale Johannesen86b49f82008-09-24 01:07:17 +00001157 if ((Flags & 7) != 4 /*MEM*/) {
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001158 // Just skip over this operand, copying the operands verbatim.
1159 Ops.insert(Ops.end(), InOps.begin()+i, InOps.begin()+i+(Flags >> 3) + 1);
1160 i += (Flags >> 3) + 1;
1161 } else {
1162 assert((Flags >> 3) == 1 && "Memory operand with multiple values?");
1163 // Otherwise, this is a memory operand. Ask the target to select it.
Dan Gohman475871a2008-07-27 21:46:04 +00001164 std::vector<SDValue> SelOps;
Dan Gohmanf350b272008-08-23 02:25:05 +00001165 if (SelectInlineAsmMemoryOperand(InOps[i+1], 'm', SelOps)) {
Bill Wendling832171c2006-12-07 20:04:42 +00001166 cerr << "Could not match memory address. Inline asm failure!\n";
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001167 exit(1);
1168 }
1169
1170 // Add this to the output node.
Dan Gohmanf350b272008-08-23 02:25:05 +00001171 MVT IntPtrTy = CurDAG->getTargetLoweringInfo().getPointerTy();
Dale Johannesen86b49f82008-09-24 01:07:17 +00001172 Ops.push_back(CurDAG->getTargetConstant(4/*MEM*/ | (SelOps.size()<< 3),
Dan Gohmanf350b272008-08-23 02:25:05 +00001173 IntPtrTy));
Chris Lattner0e43f2b2006-02-24 02:13:54 +00001174 Ops.insert(Ops.end(), SelOps.begin(), SelOps.end());
1175 i += 2;
1176 }
1177 }
1178
1179 // Add the flag input back if present.
1180 if (e != InOps.size())
1181 Ops.push_back(InOps.back());
1182}
Devang Patel794fd752007-05-01 21:15:47 +00001183
Devang Patel19974732007-05-03 01:11:54 +00001184char SelectionDAGISel::ID = 0;