SelectionDAGISel.cpp revision e1f188fe27050ec812e5b64cc996e6bb93300392
11c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//===-- SelectionDAGISel.cpp - Implement the SelectionDAGISel class -------===//
2edf128a7fa90f2b0b7ee24741a04a7ae1ecd6f7eMisha Brukman//
31c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//                     The LLVM Compiler Infrastructure
41c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//
54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source
64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details.
7edf128a7fa90f2b0b7ee24741a04a7ae1ecd6f7eMisha Brukman//
81c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//===----------------------------------------------------------------------===//
91c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//
101c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner// This implements the SelectionDAGISel class.
111c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//
121c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner//===----------------------------------------------------------------------===//
131c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
141c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#define DEBUG_TYPE "isel"
1584fbac580941548a6ab1121ed3b0ffdc4e2bc080Dan Gohman#include "ScheduleDAGSDNodes.h"
16f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman#include "SelectionDAGBuild.h"
1784fbac580941548a6ab1121ed3b0ffdc4e2bc080Dan Gohman#include "llvm/CodeGen/SelectionDAGISel.h"
18c7c3f110eda0ff8040e4bd99e38d3112b910810fJim Laskey#include "llvm/Analysis/AliasAnalysis.h"
19713f043c16220b746804f668a72f4e0344cbe4d1Devang Patel#include "llvm/Analysis/DebugInfo.h"
205502bf67cd49221583c15472150905ce13184d36Anton Korobeynikov#include "llvm/Constants.h"
21adf6a965a321372c640845407195594835921eb4Chris Lattner#include "llvm/CallingConv.h"
221c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/DerivedTypes.h"
231c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Function.h"
2436ce69195ed488034d0bb11180cc2ebd923679c8Chris Lattner#include "llvm/GlobalVariable.h"
25ce7518ce92f45568dc7d4cbb863284afb962fec5Chris Lattner#include "llvm/InlineAsm.h"
261c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Instructions.h"
271c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Intrinsics.h"
2843970fec322d9e0153ca513de41d80af1c79bddeJim Laskey#include "llvm/IntrinsicInst.h"
2975c478a96a542dc386152e00518441e63d22058dChris Lattner#include "llvm/LLVMContext.h"
3078eca170e9ac5db7fd525f9bbf27090fefcbb646Dan Gohman#include "llvm/CodeGen/FastISel.h"
315a29c9eed157af51a8d338b5a225b146881819e8Gordon Henriksen#include "llvm/CodeGen/GCStrategy.h"
325eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen#include "llvm/CodeGen/GCMetadata.h"
331c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/CodeGen/MachineFunction.h"
34ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman#include "llvm/CodeGen/MachineFunctionAnalysis.h"
351c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/CodeGen/MachineFrameInfo.h"
361c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/CodeGen/MachineInstrBuilder.h"
3784bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineJumpTableInfo.h"
3884bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineModuleInfo.h"
3984bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner#include "llvm/CodeGen/MachineRegisterInfo.h"
40fc54c552963545a81e4ea38e60460590afb2d5aeDan Gohman#include "llvm/CodeGen/ScheduleHazardRecognizer.h"
41eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey#include "llvm/CodeGen/SchedulerRegistry.h"
421c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/CodeGen/SelectionDAG.h"
436e7a1617ac4a34792d9097b8d3644b72f57a45f7Devang Patel#include "llvm/CodeGen/DwarfWriter.h"
446f0d024a534af18d9e60b3ea757376cd8a3a980eDan Gohman#include "llvm/Target/TargetRegisterInfo.h"
451c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Target/TargetData.h"
461c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Target/TargetFrameInfo.h"
47e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman#include "llvm/Target/TargetIntrinsicInfo.h"
481c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Target/TargetInstrInfo.h"
491c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Target/TargetLowering.h"
501c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner#include "llvm/Target/TargetMachine.h"
51124729155d860a0850eb4ef2a7cea4145e13a057Vladimir Prus#include "llvm/Target/TargetOptions.h"
52a4f0b3a084d120cfc5b5bb06f64b222f5cb72740Chris Lattner#include "llvm/Support/Compiler.h"
53db8d56b825efeb576d67b9dbe39d736d93306222Evan Cheng#include "llvm/Support/Debug.h"
547d696d80409aad20bb5da0fc4eccab941dd371d4Torok Edwin#include "llvm/Support/ErrorHandling.h"
55db8d56b825efeb576d67b9dbe39d736d93306222Evan Cheng#include "llvm/Support/MathExtras.h"
56db8d56b825efeb576d67b9dbe39d736d93306222Evan Cheng#include "llvm/Support/Timer.h"
57ce63ffb52f249b62cdf2d250c128007b13f27e71Daniel Dunbar#include "llvm/Support/raw_ostream.h"
587e88103cdea8c36b2229dae8c60def14e3816512Jeff Cohen#include <algorithm>
591c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattnerusing namespace llvm;
601c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
61ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattnerstatic cl::opt<bool>
627cb07874dcadaa9a5082a80959cd15d44ba3a133Duncan SandsDisableLegalizeTypes("disable-legalize-types", cl::Hidden);
6378eca170e9ac5db7fd525f9bbf27090fefcbb646Dan Gohmanstatic cl::opt<bool>
64293d5f8bc02a9148238b2c79484637f56de65b9cDan GohmanEnableFastISelVerbose("fast-isel-verbose", cl::Hidden,
65d659d50482e2f9edf8f436e4a1aa30c68c6d020bDan Gohman          cl::desc("Enable verbose messages in the \"fast\" "
66293d5f8bc02a9148238b2c79484637f56de65b9cDan Gohman                   "instruction selector"));
67293d5f8bc02a9148238b2c79484637f56de65b9cDan Gohmanstatic cl::opt<bool>
684344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan GohmanEnableFastISelAbort("fast-isel-abort", cl::Hidden,
694344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman          cl::desc("Enable abort calls when \"fast\" instruction fails"));
708a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohmanstatic cl::opt<bool>
718a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan GohmanSchedLiveInCopies("schedule-livein-copies",
728a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                  cl::desc("Schedule copies of livein registers"),
738a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                  cl::init(false));
74ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner
75da8abb02397d7cd62a1e16e7c534edd7096ac873Chris Lattner#ifndef NDEBUG
767944d9d9957db1efe085d9df3ea89826f50029b7Chris Lattnerstatic cl::opt<bool>
77462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan GohmanViewDAGCombine1("view-dag-combine1-dags", cl::Hidden,
78462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman          cl::desc("Pop up a window to show dags before the first "
79462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman                   "dag combine pass"));
80462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohmanstatic cl::opt<bool>
81462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan GohmanViewLegalizeTypesDAGs("view-legalize-types-dags", cl::Hidden,
82462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman          cl::desc("Pop up a window to show dags before legalize types"));
83462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohmanstatic cl::opt<bool>
84462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan GohmanViewLegalizeDAGs("view-legalize-dags", cl::Hidden,
85462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman          cl::desc("Pop up a window to show dags before legalize"));
86462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohmanstatic cl::opt<bool>
87462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan GohmanViewDAGCombine2("view-dag-combine2-dags", cl::Hidden,
88462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman          cl::desc("Pop up a window to show dags before the second "
89462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman                   "dag combine pass"));
90462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohmanstatic cl::opt<bool>
9125cf2275ff7de3de3bc0e508abaf457413d74725Duncan SandsViewDAGCombineLT("view-dag-combine-lt-dags", cl::Hidden,
9225cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands          cl::desc("Pop up a window to show dags before the post legalize types"
9325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands                   " dag combine pass"));
9425cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sandsstatic cl::opt<bool>
95a9c2091cd38e401c846391c9951ff416e709b65eEvan ChengViewISelDAGs("view-isel-dags", cl::Hidden,
96a9c2091cd38e401c846391c9951ff416e709b65eEvan Cheng          cl::desc("Pop up a window to show isel dags as they are selected"));
97a9c2091cd38e401c846391c9951ff416e709b65eEvan Chengstatic cl::opt<bool>
98a9c2091cd38e401c846391c9951ff416e709b65eEvan ChengViewSchedDAGs("view-sched-dags", cl::Hidden,
99a9c2091cd38e401c846391c9951ff416e709b65eEvan Cheng          cl::desc("Pop up a window to show sched dags as they are processed"));
1003e1a7aef17575d9c7058a035449d57e3c7295ed0Dan Gohmanstatic cl::opt<bool>
1013e1a7aef17575d9c7058a035449d57e3c7295ed0Dan GohmanViewSUnitDAGs("view-sunit-dags", cl::Hidden,
1025bab78527a946632cd9614daa0b9a82ee7b5e1ccChris Lattner      cl::desc("Pop up a window to show SUnit dags after they are processed"));
1037944d9d9957db1efe085d9df3ea89826f50029b7Chris Lattner#else
104462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohmanstatic const bool ViewDAGCombine1 = false,
105462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman                  ViewLegalizeTypesDAGs = false, ViewLegalizeDAGs = false,
106462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman                  ViewDAGCombine2 = false,
10725cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands                  ViewDAGCombineLT = false,
108462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman                  ViewISelDAGs = false, ViewSchedDAGs = false,
109462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman                  ViewSUnitDAGs = false;
1107944d9d9957db1efe085d9df3ea89826f50029b7Chris Lattner#endif
1117944d9d9957db1efe085d9df3ea89826f50029b7Chris Lattner
112eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey//===---------------------------------------------------------------------===//
113eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey///
114eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey/// RegisterScheduler class - Track the registration of instruction schedulers.
115eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey///
116eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey//===---------------------------------------------------------------------===//
117eb577ba3b815a1fa4627b060dd2345d17abf672dJim LaskeyMachinePassRegistry RegisterScheduler::Registry;
118eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey
119eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey//===---------------------------------------------------------------------===//
120eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey///
121eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey/// ISHeuristic command line option for instruction schedulers.
122eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey///
123eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey//===---------------------------------------------------------------------===//
124844731a7f1909f55935e3514c9e713a62d67662eDan Gohmanstatic cl::opt<RegisterScheduler::FunctionPassCtor, false,
125844731a7f1909f55935e3514c9e713a62d67662eDan Gohman               RegisterPassParser<RegisterScheduler> >
126844731a7f1909f55935e3514c9e713a62d67662eDan GohmanISHeuristic("pre-RA-sched",
127844731a7f1909f55935e3514c9e713a62d67662eDan Gohman            cl::init(&createDefaultScheduler),
128844731a7f1909f55935e3514c9e713a62d67662eDan Gohman            cl::desc("Instruction schedulers available (before register"
129844731a7f1909f55935e3514c9e713a62d67662eDan Gohman                     " allocation):"));
13013ec702c430b91ee49b9e6d9581cd95412f216c8Jim Laskey
131844731a7f1909f55935e3514c9e713a62d67662eDan Gohmanstatic RegisterScheduler
132b8cab9227a0f6ffbdaae33e3c64268e265008a6aDan GohmandefaultListDAGScheduler("default", "Best scheduler for the target",
133844731a7f1909f55935e3514c9e713a62d67662eDan Gohman                        createDefaultScheduler);
1344ef10867499aa146cd819c78d8d37a8353d4f0ffEvan Cheng
135f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohmannamespace llvm {
136f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman  //===--------------------------------------------------------------------===//
137f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman  /// createDefaultScheduler - This creates an instruction scheduler appropriate
138f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman  /// for the target.
13947ac0f0c7c39289f5970688154e385be22b7f293Dan Gohman  ScheduleDAGSDNodes* createDefaultScheduler(SelectionDAGISel *IS,
14098a366d547772010e94609e4584489b3e5ce0043Bill Wendling                                             CodeGenOpt::Level OptLevel) {
141e9530ecae4897fe8157bd4d7616043bd8c0484e2Dan Gohman    const TargetLowering &TLI = IS->getTargetLowering();
142e9530ecae4897fe8157bd4d7616043bd8c0484e2Dan Gohman
14398a366d547772010e94609e4584489b3e5ce0043Bill Wendling    if (OptLevel == CodeGenOpt::None)
144be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling      return createFastDAGScheduler(IS, OptLevel);
1459e76fea3abd4229749e6ead46a0016cabff4a056Dan Gohman    if (TLI.getSchedulingPreference() == TargetLowering::SchedulingForLatency)
146be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling      return createTDListDAGScheduler(IS, OptLevel);
1479e76fea3abd4229749e6ead46a0016cabff4a056Dan Gohman    assert(TLI.getSchedulingPreference() ==
1489e76fea3abd4229749e6ead46a0016cabff4a056Dan Gohman         TargetLowering::SchedulingForRegPressure && "Unknown sched type!");
149be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    return createBURRListDAGScheduler(IS, OptLevel);
1503a508c94a6c6f124e8b0549358ce76deb92ab662Chris Lattner  }
1511c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner}
1521c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
153ff9b373e8f5006c629af81e2619778b4c4f5249eEvan Cheng// EmitInstrWithCustomInserter - This method should be implemented by targets
154533297b58da8c74bec65551e1aface9801fc2259Dan Gohman// that mark instructions with the 'usesCustomInserter' flag.  These
155025c39bf36b6bc2f35a5544338de6cf96fa511a9Chris Lattner// instructions are special in various ways, which require special support to
156025c39bf36b6bc2f35a5544338de6cf96fa511a9Chris Lattner// insert.  The specified MachineInstr is created but not inserted into any
157533297b58da8c74bec65551e1aface9801fc2259Dan Gohman// basic blocks, and this method is called to expand it into a sequence of
158533297b58da8c74bec65551e1aface9801fc2259Dan Gohman// instructions, potentially also creating new basic blocks and control flow.
159533297b58da8c74bec65551e1aface9801fc2259Dan Gohman// When new basic blocks are inserted and the edges from MBB to its successors
160533297b58da8c74bec65551e1aface9801fc2259Dan Gohman// are modified, the method should insert pairs of <OldSucc, NewSucc> into the
161533297b58da8c74bec65551e1aface9801fc2259Dan Gohman// DenseMap.
162ff9b373e8f5006c629af81e2619778b4c4f5249eEvan ChengMachineBasicBlock *TargetLowering::EmitInstrWithCustomInserter(MachineInstr *MI,
163fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng                                                         MachineBasicBlock *MBB,
164fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng                   DenseMap<MachineBasicBlock*, MachineBasicBlock*> *EM) const {
165f36892335b4919b9120e48a792e6b3630b9de978Torok Edwin#ifndef NDEBUG
1664437ae213d5435390f0750213b53ec807c047f22Chris Lattner  errs() << "If a target marks an instruction with "
167533297b58da8c74bec65551e1aface9801fc2259Dan Gohman          "'usesCustomInserter', it must implement "
168f36892335b4919b9120e48a792e6b3630b9de978Torok Edwin          "TargetLowering::EmitInstrWithCustomInserter!";
169f36892335b4919b9120e48a792e6b3630b9de978Torok Edwin#endif
170c23197a26f34f559ea9797de51e187087c039c42Torok Edwin  llvm_unreachable(0);
171a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar  return 0;
172025c39bf36b6bc2f35a5544338de6cf96fa511a9Chris Lattner}
173025c39bf36b6bc2f35a5544338de6cf96fa511a9Chris Lattner
1748a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman/// EmitLiveInCopy - Emit a copy for a live in physical register. If the
1758a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman/// physical register has only a single copy use, then coalesced the copy
1768a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman/// if possible.
1778a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohmanstatic void EmitLiveInCopy(MachineBasicBlock *MBB,
1788a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           MachineBasicBlock::iterator &InsertPos,
1798a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           unsigned VirtReg, unsigned PhysReg,
1808a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           const TargetRegisterClass *RC,
1818a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           DenseMap<MachineInstr*, unsigned> &CopyRegMap,
1828a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           const MachineRegisterInfo &MRI,
1838a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           const TargetRegisterInfo &TRI,
1848a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                           const TargetInstrInfo &TII) {
1858a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  unsigned NumUses = 0;
1868a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  MachineInstr *UseMI = NULL;
1878a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  for (MachineRegisterInfo::use_iterator UI = MRI.use_begin(VirtReg),
1888a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman         UE = MRI.use_end(); UI != UE; ++UI) {
1898a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    UseMI = &*UI;
1908a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    if (++NumUses > 1)
1918a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      break;
1928a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  }
1938a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
1948a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // If the number of uses is not one, or the use is not a move instruction,
1958a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // don't coalesce. Also, only coalesce away a virtual register to virtual
1968a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // register copy.
1978a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  bool Coalesced = false;
19804ee5a1d9267e5e6fab8f088095fcb83c3c5cbd1Evan Cheng  unsigned SrcReg, DstReg, SrcSubReg, DstSubReg;
1998a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  if (NumUses == 1 &&
20004ee5a1d9267e5e6fab8f088095fcb83c3c5cbd1Evan Cheng      TII.isMoveInstr(*UseMI, SrcReg, DstReg, SrcSubReg, DstSubReg) &&
2018a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      TargetRegisterInfo::isVirtualRegister(DstReg)) {
2028a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    VirtReg = DstReg;
2038a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    Coalesced = true;
2048a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  }
2058a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
2068a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // Now find an ideal location to insert the copy.
2078a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  MachineBasicBlock::iterator Pos = InsertPos;
2088a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  while (Pos != MBB->begin()) {
2098a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    MachineInstr *PrevMI = prior(Pos);
2108a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    DenseMap<MachineInstr*, unsigned>::iterator RI = CopyRegMap.find(PrevMI);
2118a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    // copyRegToReg might emit multiple instructions to do a copy.
2128a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    unsigned CopyDstReg = (RI == CopyRegMap.end()) ? 0 : RI->second;
2138a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    if (CopyDstReg && !TRI.regsOverlap(CopyDstReg, PhysReg))
2148a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // This is what the BB looks like right now:
2158a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // r1024 = mov r0
2168a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // ...
2178a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // r1    = mov r1024
2188a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      //
2198a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // We want to insert "r1025 = mov r1". Inserting this copy below the
2208a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // move to r1024 makes it impossible for that move to be coalesced.
2218a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      //
2228a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // r1025 = mov r1
2238a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // r1024 = mov r0
2248a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // ...
2258a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // r1    = mov 1024
2268a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      // r2    = mov 1025
2278a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      break; // Woot! Found a good location.
2288a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    --Pos;
2298a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  }
2308a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
231f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin  bool Emitted = TII.copyRegToReg(*MBB, Pos, VirtReg, PhysReg, RC, RC);
232f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin  assert(Emitted && "Unable to issue a live-in copy instruction!\n");
233f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin  (void) Emitted;
234a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
235931424a7d8b8b15ddda7308d6c5b08277d8bdc0eZhongxing Xu  CopyRegMap.insert(std::make_pair(prior(Pos), VirtReg));
2368a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  if (Coalesced) {
2378a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    if (&*InsertPos == UseMI) ++InsertPos;
2388a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    MBB->erase(UseMI);
2398a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  }
2408a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman}
2418a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
2428a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman/// EmitLiveInCopies - If this is the first basic block in the function,
2438a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman/// and if it has live ins that need to be copied into vregs, emit the
2448a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman/// copies into the block.
2458a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohmanstatic void EmitLiveInCopies(MachineBasicBlock *EntryMBB,
2468a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                             const MachineRegisterInfo &MRI,
2478a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                             const TargetRegisterInfo &TRI,
2488a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                             const TargetInstrInfo &TII) {
2498a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  if (SchedLiveInCopies) {
2508a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    // Emit the copies at a heuristically-determined location in the block.
2518a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    DenseMap<MachineInstr*, unsigned> CopyRegMap;
2528a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    MachineBasicBlock::iterator InsertPos = EntryMBB->begin();
2538a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
2548a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman           E = MRI.livein_end(); LI != E; ++LI)
2558a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      if (LI->second) {
2568a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman        const TargetRegisterClass *RC = MRI.getRegClass(LI->second);
2578a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman        EmitLiveInCopy(EntryMBB, InsertPos, LI->second, LI->first,
2588a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman                       RC, CopyRegMap, MRI, TRI, TII);
2598a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      }
2608a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  } else {
2618a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    // Emit the copies into the top of the block.
2628a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman    for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
2638a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman           E = MRI.livein_end(); LI != E; ++LI)
2648a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      if (LI->second) {
2658a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman        const TargetRegisterClass *RC = MRI.getRegClass(LI->second);
266f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin        bool Emitted = TII.copyRegToReg(*EntryMBB, EntryMBB->begin(),
267f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin                                        LI->second, LI->first, RC, RC);
268f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin        assert(Emitted && "Unable to issue a live-in copy instruction!\n");
269f1daf7d8abebd6e0104a6b41a774ccbb19a51c60David Goodwin        (void) Emitted;
2708a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman      }
2718a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  }
2728a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman}
2738a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
2747041ee35adecb864e3e8df490aa73b0605fbfb5aChris Lattner//===----------------------------------------------------------------------===//
2757041ee35adecb864e3e8df490aa73b0605fbfb5aChris Lattner// SelectionDAGISel code
2767041ee35adecb864e3e8df490aa73b0605fbfb5aChris Lattner//===----------------------------------------------------------------------===//
2771c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
27898a366d547772010e94609e4584489b3e5ce0043Bill WendlingSelectionDAGISel::SelectionDAGISel(TargetMachine &tm, CodeGenOpt::Level OL) :
279ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  MachineFunctionPass(&ID), TM(tm), TLI(*tm.getTargetLowering()),
2807c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  FuncInfo(new FunctionLoweringInfo(TLI)),
2817c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  CurDAG(new SelectionDAG(TLI, *FuncInfo)),
282be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  SDL(new SelectionDAGLowering(*CurDAG, TLI, *FuncInfo, OL)),
2837c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  GFI(),
284be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  OptLevel(OL),
2857c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  DAGSize(0)
2867c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman{}
2877c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman
2887c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan GohmanSelectionDAGISel::~SelectionDAGISel() {
2897c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  delete SDL;
2907c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  delete CurDAG;
2917c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  delete FuncInfo;
2927c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman}
2937c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman
294e50ed30282bb5b4a9ed952580523f2dda16215acOwen Andersonunsigned SelectionDAGISel::MakeReg(EVT VT) {
29584bc5427d6883f73cfeae3da640acd011d35c006Chris Lattner  return RegInfo->createVirtualRegister(TLI.getRegClassFor(VT));
2961c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner}
2971c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
298495a0b51915eb763576874f29192820b731edc22Chris Lattnervoid SelectionDAGISel::getAnalysisUsage(AnalysisUsage &AU) const {
299c7c3f110eda0ff8040e4bd99e38d3112b910810fJim Laskey  AU.addRequired<AliasAnalysis>();
300a3477fe06df794e0eae26ea243f25912c619a6c4Dan Gohman  AU.addPreserved<AliasAnalysis>();
3015eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen  AU.addRequired<GCModuleInfo>();
302a3477fe06df794e0eae26ea243f25912c619a6c4Dan Gohman  AU.addPreserved<GCModuleInfo>();
3036e7a1617ac4a34792d9097b8d3644b72f57a45f7Devang Patel  AU.addRequired<DwarfWriter>();
304a3477fe06df794e0eae26ea243f25912c619a6c4Dan Gohman  AU.addPreserved<DwarfWriter>();
305ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  MachineFunctionPass::getAnalysisUsage(AU);
306495a0b51915eb763576874f29192820b731edc22Chris Lattner}
3071c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
308ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohmanbool SelectionDAGISel::runOnMachineFunction(MachineFunction &mf) {
309ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  Function &Fn = *mf.getFunction();
310ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman
3114344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman  // Do some sanity-checking on the command-line options.
3124344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman  assert((!EnableFastISelVerbose || EnableFastISel) &&
3134344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman         "-fast-isel-verbose requires -fast-isel");
3144344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman  assert((!EnableFastISelAbort || EnableFastISel) &&
3154344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman         "-fast-isel-abort requires -fast-isel");
3164344a5d0d7b280f0b891e0e6a4413b059d9080b3Dan Gohman
3175f43f92c69aae9837064cf08291db1b36a82789fDan Gohman  // Get alias analysis for load/store combining.
3185f43f92c69aae9837064cf08291db1b36a82789fDan Gohman  AA = &getAnalysis<AliasAnalysis>();
3195f43f92c69aae9837064cf08291db1b36a82789fDan Gohman
320ad2afc2a421a0e41603d5eee412d4d8c77e9bc1cDan Gohman  MF = &mf;
3218a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  const TargetInstrInfo &TII = *TM.getInstrInfo();
3228a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  const TargetRegisterInfo &TRI = *TM.getRegisterInfo();
3238a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
324f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman  if (Fn.hasGC())
325f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman    GFI = &getAnalysis<GCModuleInfo>().getFunctionInfo(Fn);
326ce2247755e56f99a2377b64a1a9d393726582b85Gordon Henriksen  else
3275eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen    GFI = 0;
32879ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohman  RegInfo = &MF->getRegInfo();
329ce63ffb52f249b62cdf2d250c128007b13f27e71Daniel Dunbar  DEBUG(errs() << "\n\n\n=== " << Fn.getName() << "\n");
3301c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
3311465d61bdd36cfd6021036a527895f0dd358e97dDuncan Sands  MachineModuleInfo *MMI = getAnalysisIfAvailable<MachineModuleInfo>();
3321465d61bdd36cfd6021036a527895f0dd358e97dDuncan Sands  DwarfWriter *DW = getAnalysisIfAvailable<DwarfWriter>();
3335dcaceb0a6a7fcf508d9898547e10d374b0e4cd1Owen Anderson  CurDAG->init(*MF, MMI, DW);
334b51d40cf40eac676dda3ae9dfeb55822fa403394Devang Patel  FuncInfo->set(Fn, *MF, *CurDAG, EnableFastISel);
3357c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->init(GFI, *AA);
3361c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
3371532f3ddd77c362dd5f613af06b4de636e3c5b0eDale Johannesen  for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I)
3381532f3ddd77c362dd5f613af06b4de636e3c5b0eDale Johannesen    if (InvokeInst *Invoke = dyn_cast<InvokeInst>(I->getTerminator()))
3391532f3ddd77c362dd5f613af06b4de636e3c5b0eDale Johannesen      // Mark landing pad.
3407c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      FuncInfo->MBBMap[Invoke->getSuccessor(1)]->setIsLandingPad();
3419fac0b5ff24e733072bdde68c7f34590c1892922Duncan Sands
34279ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohman  SelectAllBasicBlocks(Fn, *MF, MMI, DW, TII);
343edf128a7fa90f2b0b7ee24741a04a7ae1ecd6f7eMisha Brukman
3448a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // If the first basic block in the function has live ins that need to be
3458a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // copied into vregs, emit the copies into the top of the block before
3468a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  // emitting the code for the block.
34779ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohman  EmitLiveInCopies(MF->begin(), *RegInfo, TRI, TII);
3488a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman
349ad2070c667ebabf1650be63e6b3e0b411da86918Evan Cheng  // Add function live-ins to entry block live-in set.
3508a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman  for (MachineRegisterInfo::livein_iterator I = RegInfo->livein_begin(),
3518a11053f3ca7efb29312c4293c4fdb5d2ca3e20fDan Gohman         E = RegInfo->livein_end(); I != E; ++I)
35279ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohman    MF->begin()->addLiveIn(I->first);
353ad2070c667ebabf1650be63e6b3e0b411da86918Evan Cheng
354f40708223e409a152834b1553c6883ff2035b957Duncan Sands#ifndef NDEBUG
3557c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  assert(FuncInfo->CatchInfoFound.size() == FuncInfo->CatchInfoLost.size() &&
356f40708223e409a152834b1553c6883ff2035b957Duncan Sands         "Not all catch info was assigned to a landing pad!");
357f40708223e409a152834b1553c6883ff2035b957Duncan Sands#endif
358f40708223e409a152834b1553c6883ff2035b957Duncan Sands
3597c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  FuncInfo->clear();
3607c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman
3611c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner  return true;
3621c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner}
3631c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
364f40708223e409a152834b1553c6883ff2035b957Duncan Sandsstatic void copyCatchInfo(BasicBlock *SrcBB, BasicBlock *DestBB,
365f40708223e409a152834b1553c6883ff2035b957Duncan Sands                          MachineModuleInfo *MMI, FunctionLoweringInfo &FLI) {
366f40708223e409a152834b1553c6883ff2035b957Duncan Sands  for (BasicBlock::iterator I = SrcBB->begin(), E = --SrcBB->end(); I != E; ++I)
367f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman    if (EHSelectorInst *EHSel = dyn_cast<EHSelectorInst>(I)) {
368f40708223e409a152834b1553c6883ff2035b957Duncan Sands      // Apply the catch info to DestBB.
369f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman      AddCatchInfo(*EHSel, MMI, FLI.MBBMap[DestBB]);
370f40708223e409a152834b1553c6883ff2035b957Duncan Sands#ifndef NDEBUG
371560a737e073788463b9275c5e92ebc12f0ea62a2Duncan Sands      if (!FLI.MBBMap[SrcBB]->isLandingPad())
372f0cbcd48804961b05359ee41859bbd7774f41fe0Dan Gohman        FLI.CatchInfoFound.insert(EHSel);
373f40708223e409a152834b1553c6883ff2035b957Duncan Sands#endif
374f40708223e409a152834b1553c6883ff2035b957Duncan Sands    }
375f40708223e409a152834b1553c6883ff2035b957Duncan Sands}
376f40708223e409a152834b1553c6883ff2035b957Duncan Sands
377f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohmanvoid SelectionDAGISel::SelectBasicBlock(BasicBlock *LLVMBB,
378f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman                                        BasicBlock::iterator Begin,
3795edd361497f4c78a20fcbb75c6e7e94ff8046ed1Dan Gohman                                        BasicBlock::iterator End) {
3807c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->setCurrentBasicBlock(BB);
381e30e678865b8dc1b69ef1c26e7567ffd1300553cDevang Patel  MetadataContext &TheMetadata = LLVMBB->getParent()->getContext().getMetadata();
382a2148402ce39fb3aad09e98a32078d3853a01ae9Devang Patel  unsigned MDDbgKind = TheMetadata.getMDKind("dbg");
383f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
38498ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman  // Lower all of the non-terminator instructions. If a call is emitted
38598ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman  // as a tail call, cease emitting nodes for this block.
386123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel  for (BasicBlock::iterator I = Begin; I != End && !SDL->HasTailCall; ++I) {
387123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel    if (MDDbgKind) {
388a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar      // Update DebugLoc if debug information is attached with this
389123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel      // instruction.
3909dddf9748025cb65a951e6807bc156cf5bcd046dDevang Patel      if (MDNode *Dbg = TheMetadata.getMD(MDDbgKind, I)) {
391a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar        DILocation DILoc(Dbg);
392a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar        DebugLoc Loc = ExtractDebugLocation(DILoc, MF->getDebugLocInfo());
393a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar        SDL->setCurDebugLoc(Loc);
3941f03471a2dfb02fa39f7168244bb8c0891a56ab9Devang Patel        if (MF->getDefaultDebugLoc().isUnknown())
3951f03471a2dfb02fa39f7168244bb8c0891a56ab9Devang Patel          MF->setDefaultDebugLoc(Loc);
396123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel      }
397123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel    }
398f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    if (!isa<TerminatorInst>(I))
3997c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->visit(*I);
400123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel  }
401f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
40298ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman  if (!SDL->HasTailCall) {
40398ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman    // Ensure that all instructions which are used outside of their defining
40498ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman    // blocks are available as virtual registers.  Invoke is handled elsewhere.
40598ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman    for (BasicBlock::iterator I = Begin; I != End; ++I)
40698ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman      if (!isa<PHINode>(I) && !isa<InvokeInst>(I))
40798ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman        SDL->CopyToExportRegsIfNeeded(I);
408f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
40998ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman    // Handle PHI nodes in successor blocks.
41098ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman    if (End == LLVMBB->end()) {
41198ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman      HandlePHINodesInSuccessorBlocks(LLVMBB);
4123df24e667f04a7003342b534310919abc9c87418Dan Gohman
41398ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman      // Lower the terminator after the copies are emitted.
41498ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman      SDL->visit(*LLVMBB->getTerminator());
41598ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman    }
4163df24e667f04a7003342b534310919abc9c87418Dan Gohman  }
417a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
418a651cf67b77cd477dd7da4baa8688af2ccd4f7f6Chris Lattner  // Make sure the root of the DAG is up-to-date.
4197c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  CurDAG->setRoot(SDL->getControlRoot());
420c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer
421f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  // Final step, emit the lowered DAG as machine code.
422f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  CodeGenAndEmitDAG();
4237c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->clear();
4241c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner}
4251c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
426f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohmanvoid SelectionDAGISel::ComputeLiveOutVRegInfo() {
427ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  SmallPtrSet<SDNode*, 128> VisitedNodes;
428ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  SmallVector<SDNode*, 128> Worklist;
429a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
430ba36cb5242eb02b12b277f82b9efe497f7da4d7fGabor Greif  Worklist.push_back(CurDAG->getRoot().getNode());
431a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
432ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  APInt Mask;
433ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  APInt KnownZero;
434ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  APInt KnownOne;
435a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
436ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  while (!Worklist.empty()) {
437ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    SDNode *N = Worklist.back();
438ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    Worklist.pop_back();
439a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
440ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    // If we've already seen this node, ignore it.
441ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    if (!VisitedNodes.insert(N))
442ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner      continue;
443a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
444ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    // Otherwise, add all chain operands to the worklist.
445ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i)
446825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson      if (N->getOperand(i).getValueType() == MVT::Other)
447ba36cb5242eb02b12b277f82b9efe497f7da4d7fGabor Greif        Worklist.push_back(N->getOperand(i).getNode());
448a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
449ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    // If this is a CopyToReg with a vreg dest, process it.
450ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    if (N->getOpcode() != ISD::CopyToReg)
451ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner      continue;
452a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
453ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    unsigned DestReg = cast<RegisterSDNode>(N->getOperand(1))->getReg();
454ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    if (!TargetRegisterInfo::isVirtualRegister(DestReg))
455ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner      continue;
456a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
457ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    // Ignore non-scalar or non-integer values.
458475871a144eb604ddaf37503397ba0941442e5fbDan Gohman    SDValue Src = N->getOperand(2);
459e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson    EVT SrcVT = Src.getValueType();
460ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    if (!SrcVT.isInteger() || SrcVT.isVector())
461ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner      continue;
462a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
463f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    unsigned NumSignBits = CurDAG->ComputeNumSignBits(Src);
464ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    Mask = APInt::getAllOnesValue(SrcVT.getSizeInBits());
465f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    CurDAG->ComputeMaskedBits(Src, Mask, KnownZero, KnownOne);
466a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
467ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    // Only install this information if it tells us something.
468ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    if (NumSignBits != 1 || KnownZero != 0 || KnownOne != 0) {
469ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner      DestReg -= TargetRegisterInfo::FirstVirtualRegister;
470f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman      if (DestReg >= FuncInfo->LiveOutRegInfo.size())
471f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman        FuncInfo->LiveOutRegInfo.resize(DestReg+1);
472f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman      FunctionLoweringInfo::LiveOutInfo &LOI =
473f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman        FuncInfo->LiveOutRegInfo[DestReg];
474ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner      LOI.NumSignBits = NumSignBits;
475a80efceb93211a22e13dfc68198da4a25c1a7762Dan Gohman      LOI.KnownOne = KnownOne;
476a80efceb93211a22e13dfc68198da4a25c1a7762Dan Gohman      LOI.KnownZero = KnownZero;
477ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner    }
478ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner  }
479ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner}
480ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner
481f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohmanvoid SelectionDAGISel::CodeGenAndEmitDAG() {
482462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman  std::string GroupName;
483462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman  if (TimePassesIsEnabled)
484462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman    GroupName = "Instruction Selection and Scheduling";
485462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman  std::string BlockName;
486462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman  if (ViewDAGCombine1 || ViewLegalizeTypesDAGs || ViewLegalizeDAGs ||
48725cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      ViewDAGCombine2 || ViewDAGCombineLT || ViewISelDAGs || ViewSchedDAGs ||
48825cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      ViewSUnitDAGs)
489f7d6cd46e920776bb33913b2498347cf99358dc4Dan Gohman    BlockName = MF->getFunction()->getNameStr() + ":" +
490f6ccee5a9d2b9573f679bca6266ade3eb8cd3f88Daniel Dunbar                BB->getBasicBlock()->getNameStr();
491462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
492bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Initial selection DAG:\n");
493f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  DEBUG(CurDAG->dump());
494462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
495f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  if (ViewDAGCombine1) CurDAG->viewGraph("dag-combine1 input for " + BlockName);
496417e11b9bf625b3626f8765d44248927fb200906Dan Gohman
497af21d55aee8d6852fedfd630395a3c7c95df8f12Chris Lattner  // Run the DAG combiner in pre-legalize mode.
498ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  if (TimePassesIsEnabled) {
4995e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("DAG Combining 1", GroupName);
500be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    CurDAG->Combine(Unrestricted, *AA, OptLevel);
501ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  } else {
502be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    CurDAG->Combine(Unrestricted, *AA, OptLevel);
503ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  }
504a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
505bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Optimized lowered selection DAG:\n");
506f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  DEBUG(CurDAG->dump());
507a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
5081c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner  // Second step, hack on the DAG until it only uses operations and types that
5091c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner  // the target supports.
5107cb07874dcadaa9a5082a80959cd15d44ba3a133Duncan Sands  if (!DisableLegalizeTypes) {
511f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    if (ViewLegalizeTypesDAGs) CurDAG->viewGraph("legalize-types input for " +
512f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman                                                 BlockName);
513462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
51425cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands    bool Changed;
515462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman    if (TimePassesIsEnabled) {
516462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman      NamedRegionTimer T("Type Legalization", GroupName);
51725cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      Changed = CurDAG->LegalizeTypes();
518462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman    } else {
51925cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      Changed = CurDAG->LegalizeTypes();
520462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman    }
521462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
522bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner    DEBUG(errs() << "Type-legalized selection DAG:\n");
523f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    DEBUG(CurDAG->dump());
524462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
52525cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands    if (Changed) {
52625cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      if (ViewDAGCombineLT)
52725cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands        CurDAG->viewGraph("dag-combine-lt input for " + BlockName);
52825cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands
52925cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      // Run the DAG combiner in post-type-legalize mode.
53025cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      if (TimePassesIsEnabled) {
53125cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands        NamedRegionTimer T("DAG Combining after legalize types", GroupName);
532be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling        CurDAG->Combine(NoIllegalTypes, *AA, OptLevel);
53325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      } else {
534be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling        CurDAG->Combine(NoIllegalTypes, *AA, OptLevel);
53525cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      }
53625cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands
537bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner      DEBUG(errs() << "Optimized type-legalized selection DAG:\n");
53825cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands      DEBUG(CurDAG->dump());
53925cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands    }
5405c22c8074404797f1313b1334757254fb5c6487aEli Friedman
5415c22c8074404797f1313b1334757254fb5c6487aEli Friedman    if (TimePassesIsEnabled) {
5425c22c8074404797f1313b1334757254fb5c6487aEli Friedman      NamedRegionTimer T("Vector Legalization", GroupName);
5435c22c8074404797f1313b1334757254fb5c6487aEli Friedman      Changed = CurDAG->LegalizeVectors();
5445c22c8074404797f1313b1334757254fb5c6487aEli Friedman    } else {
5455c22c8074404797f1313b1334757254fb5c6487aEli Friedman      Changed = CurDAG->LegalizeVectors();
5465c22c8074404797f1313b1334757254fb5c6487aEli Friedman    }
5475c22c8074404797f1313b1334757254fb5c6487aEli Friedman
5485c22c8074404797f1313b1334757254fb5c6487aEli Friedman    if (Changed) {
5495c22c8074404797f1313b1334757254fb5c6487aEli Friedman      if (TimePassesIsEnabled) {
5505c22c8074404797f1313b1334757254fb5c6487aEli Friedman        NamedRegionTimer T("Type Legalization 2", GroupName);
5515c22c8074404797f1313b1334757254fb5c6487aEli Friedman        Changed = CurDAG->LegalizeTypes();
5525c22c8074404797f1313b1334757254fb5c6487aEli Friedman      } else {
5535c22c8074404797f1313b1334757254fb5c6487aEli Friedman        Changed = CurDAG->LegalizeTypes();
5545c22c8074404797f1313b1334757254fb5c6487aEli Friedman      }
5555c22c8074404797f1313b1334757254fb5c6487aEli Friedman
5565c22c8074404797f1313b1334757254fb5c6487aEli Friedman      if (ViewDAGCombineLT)
5575c22c8074404797f1313b1334757254fb5c6487aEli Friedman        CurDAG->viewGraph("dag-combine-lv input for " + BlockName);
5585c22c8074404797f1313b1334757254fb5c6487aEli Friedman
5595c22c8074404797f1313b1334757254fb5c6487aEli Friedman      // Run the DAG combiner in post-type-legalize mode.
5605c22c8074404797f1313b1334757254fb5c6487aEli Friedman      if (TimePassesIsEnabled) {
5615c22c8074404797f1313b1334757254fb5c6487aEli Friedman        NamedRegionTimer T("DAG Combining after legalize vectors", GroupName);
5625c22c8074404797f1313b1334757254fb5c6487aEli Friedman        CurDAG->Combine(NoIllegalOperations, *AA, OptLevel);
5635c22c8074404797f1313b1334757254fb5c6487aEli Friedman      } else {
5645c22c8074404797f1313b1334757254fb5c6487aEli Friedman        CurDAG->Combine(NoIllegalOperations, *AA, OptLevel);
5655c22c8074404797f1313b1334757254fb5c6487aEli Friedman      }
5665c22c8074404797f1313b1334757254fb5c6487aEli Friedman
567bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner      DEBUG(errs() << "Optimized vector-legalized selection DAG:\n");
5685c22c8074404797f1313b1334757254fb5c6487aEli Friedman      DEBUG(CurDAG->dump());
5695c22c8074404797f1313b1334757254fb5c6487aEli Friedman    }
57070587ea813986bb0dbef71610091d496e28c22a6Chris Lattner  }
571a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
572f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  if (ViewLegalizeDAGs) CurDAG->viewGraph("legalize input for " + BlockName);
573462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
574ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  if (TimePassesIsEnabled) {
5755e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("DAG Legalization", GroupName);
576be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    CurDAG->Legalize(DisableLegalizeTypes, OptLevel);
577ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  } else {
578be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    CurDAG->Legalize(DisableLegalizeTypes, OptLevel);
579ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  }
580a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
581bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Legalized selection DAG:\n");
582f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  DEBUG(CurDAG->dump());
583a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
584f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  if (ViewDAGCombine2) CurDAG->viewGraph("dag-combine2 input for " + BlockName);
585462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
586af21d55aee8d6852fedfd630395a3c7c95df8f12Chris Lattner  // Run the DAG combiner in post-legalize mode.
587ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  if (TimePassesIsEnabled) {
5885e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("DAG Combining 2", GroupName);
589be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    CurDAG->Combine(NoIllegalOperations, *AA, OptLevel);
590ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  } else {
591be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling    CurDAG->Combine(NoIllegalOperations, *AA, OptLevel);
592ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  }
593a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
594bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Optimized legalized selection DAG:\n");
595f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  DEBUG(CurDAG->dump());
596417e11b9bf625b3626f8765d44248927fb200906Dan Gohman
597f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  if (ViewISelDAGs) CurDAG->viewGraph("isel input for " + BlockName);
598a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
59998a366d547772010e94609e4584489b3e5ce0043Bill Wendling  if (OptLevel != CodeGenOpt::None)
600f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    ComputeLiveOutVRegInfo();
601552c4a849422ad91fa9988255ae35aebbf3acf7bEvan Cheng
602a33ef4816d2c192e36e7c025d18c66e89ef9d311Chris Lattner  // Third, instruction select all of the operations to machine code, adding the
603a33ef4816d2c192e36e7c025d18c66e89ef9d311Chris Lattner  // code to the MachineBasicBlock.
604ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  if (TimePassesIsEnabled) {
6055e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("Instruction Selection", GroupName);
606f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    InstructionSelect();
607ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  } else {
608f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    InstructionSelect();
609ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  }
610db8d56b825efeb576d67b9dbe39d736d93306222Evan Cheng
611bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Selected selection DAG:\n");
612f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  DEBUG(CurDAG->dump());
613462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
614f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  if (ViewSchedDAGs) CurDAG->viewGraph("scheduler input for " + BlockName);
615462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
6165e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  // Schedule machine code.
61747ac0f0c7c39289f5970688154e385be22b7f293Dan Gohman  ScheduleDAGSDNodes *Scheduler = CreateScheduler();
6185e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  if (TimePassesIsEnabled) {
6195e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("Instruction Scheduling", GroupName);
62047ac0f0c7c39289f5970688154e385be22b7f293Dan Gohman    Scheduler->Run(CurDAG, BB, BB->end());
6215e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  } else {
62247ac0f0c7c39289f5970688154e385be22b7f293Dan Gohman    Scheduler->Run(CurDAG, BB, BB->end());
6235e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  }
6245e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman
625462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman  if (ViewSUnitDAGs) Scheduler->viewGraph();
626462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman
627a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar  // Emit machine code to BB.  This can change 'BB' to the last block being
628db8d56b825efeb576d67b9dbe39d736d93306222Evan Cheng  // inserted into.
629ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  if (TimePassesIsEnabled) {
6305e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("Instruction Creation", GroupName);
631fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng    BB = Scheduler->EmitSchedule(&SDL->EdgeMapping);
632ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  } else {
633fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng    BB = Scheduler->EmitSchedule(&SDL->EdgeMapping);
6345e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  }
6355e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman
6365e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  // Free the scheduler state.
6375e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  if (TimePassesIsEnabled) {
6385e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    NamedRegionTimer T("Instruction Scheduling Cleanup", GroupName);
6395e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    delete Scheduler;
6405e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman  } else {
6415e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman    delete Scheduler;
642ebffb660a68384dd8b5e2ff36d68e94a3920611bEvan Cheng  }
643db8d56b825efeb576d67b9dbe39d736d93306222Evan Cheng
644bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Selected machine code:\n");
6451c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner  DEBUG(BB->dump());
646a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar}
647f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman
64879ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohmanvoid SelectionDAGISel::SelectAllBasicBlocks(Function &Fn,
64979ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohman                                            MachineFunction &MF,
650dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman                                            MachineModuleInfo *MMI,
65183489bb7700c69b7a4a8da59365c42d3f5c8129bDevang Patel                                            DwarfWriter *DW,
652dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman                                            const TargetInstrInfo &TII) {
653a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman  // Initialize the Fast-ISel state, if needed.
654a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman  FastISel *FastIS = 0;
655a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman  if (EnableFastISel)
65679ce276083ced01256a0eb7d80731e4948ca6e87Dan Gohman    FastIS = TLI.createFastISel(MF, MMI, DW,
657a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman                                FuncInfo->ValueMap,
658a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman                                FuncInfo->MBBMap,
659dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman                                FuncInfo->StaticAllocaMap
660dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman#ifndef NDEBUG
661dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman                                , FuncInfo->CatchInfoLost
662dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman#endif
663dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman                                );
664a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman
665e30e678865b8dc1b69ef1c26e7567ffd1300553cDevang Patel  MetadataContext &TheMetadata = Fn.getContext().getMetadata();
666a2148402ce39fb3aad09e98a32078d3853a01ae9Devang Patel  unsigned MDDbgKind = TheMetadata.getMDKind("dbg");
667123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel
668a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman  // Iterate over all basic blocks in the function.
66939fd6e81b1b0de8b820155dc6a0dae226c109de6Evan Cheng  for (Function::iterator I = Fn.begin(), E = Fn.end(); I != E; ++I) {
67039fd6e81b1b0de8b820155dc6a0dae226c109de6Evan Cheng    BasicBlock *LLVMBB = &*I;
6717c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    BB = FuncInfo->MBBMap[LLVMBB];
672f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
6733df24e667f04a7003342b534310919abc9c87418Dan Gohman    BasicBlock::iterator const Begin = LLVMBB->begin();
6743df24e667f04a7003342b534310919abc9c87418Dan Gohman    BasicBlock::iterator const End = LLVMBB->end();
6759f1185076d60153fd35feb3cadb1b4cd8debc0b6Evan Cheng    BasicBlock::iterator BI = Begin;
6765edd361497f4c78a20fcbb75c6e7e94ff8046ed1Dan Gohman
6775edd361497f4c78a20fcbb75c6e7e94ff8046ed1Dan Gohman    // Lower any arguments needed in this block if this is the entry block.
67833134c4a75558288d663267c8991f6bd37a530afDan Gohman    bool SuppressFastISel = false;
67933134c4a75558288d663267c8991f6bd37a530afDan Gohman    if (LLVMBB == &Fn.getEntryBlock()) {
6805edd361497f4c78a20fcbb75c6e7e94ff8046ed1Dan Gohman      LowerArguments(LLVMBB);
681f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
68233134c4a75558288d663267c8991f6bd37a530afDan Gohman      // If any of the arguments has the byval attribute, forgo
68333134c4a75558288d663267c8991f6bd37a530afDan Gohman      // fast-isel in the entry block.
684a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      if (FastIS) {
68533134c4a75558288d663267c8991f6bd37a530afDan Gohman        unsigned j = 1;
68633134c4a75558288d663267c8991f6bd37a530afDan Gohman        for (Function::arg_iterator I = Fn.arg_begin(), E = Fn.arg_end();
68733134c4a75558288d663267c8991f6bd37a530afDan Gohman             I != E; ++I, ++j)
6880598866c052147c31b808391f58434ce3dbfb838Devang Patel          if (Fn.paramHasAttr(j, Attribute::ByVal)) {
68977ca41e5c3f99ee8962b21a7d90bb251a594a65eDan Gohman            if (EnableFastISelVerbose || EnableFastISelAbort)
6904437ae213d5435390f0750213b53ec807c047f22Chris Lattner              errs() << "FastISel skips entry block due to byval argument\n";
69133134c4a75558288d663267c8991f6bd37a530afDan Gohman            SuppressFastISel = true;
69233134c4a75558288d663267c8991f6bd37a530afDan Gohman            break;
69333134c4a75558288d663267c8991f6bd37a530afDan Gohman          }
69433134c4a75558288d663267c8991f6bd37a530afDan Gohman      }
69533134c4a75558288d663267c8991f6bd37a530afDan Gohman    }
69633134c4a75558288d663267c8991f6bd37a530afDan Gohman
697dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman    if (MMI && BB->isLandingPad()) {
698dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // Add a label to mark the beginning of the landing pad.  Deletion of the
699dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // landing pad can thus be detected via the MachineModuleInfo.
700dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      unsigned LabelID = MMI->addLandingPad(BB);
701dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
702dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      const TargetInstrDesc &II = TII.get(TargetInstrInfo::EH_LABEL);
703b288487a8e2291dd802e19b1a9bc930368f448bfBill Wendling      BuildMI(BB, SDL->getCurDebugLoc(), II).addImm(LabelID);
704dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
705dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // Mark exception register as live in.
706dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      unsigned Reg = TLI.getExceptionAddressRegister();
707dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      if (Reg) BB->addLiveIn(Reg);
708dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
709dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // Mark exception selector register as live in.
710dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      Reg = TLI.getExceptionSelectorRegister();
711dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      if (Reg) BB->addLiveIn(Reg);
712dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
713dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // FIXME: Hack around an exception handling flaw (PR1508): the personality
714dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // function and list of typeids logically belong to the invoke (or, if you
715dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // like, the basic block containing the invoke), and need to be associated
716dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // with it in the dwarf exception handling tables.  Currently however the
717dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // information is provided by an intrinsic (eh.selector) that can be moved
718dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // to unexpected places by the optimizers: if the unwind edge is critical,
719dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // then breaking it can result in the intrinsics being in the successor of
720dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // the landing pad, not the landing pad itself.  This results in exceptions
721dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // not being caught because no typeids are associated with the invoke.
722dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // This may not be the only way things can go wrong, but it is the only way
723dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      // we try to work around for the moment.
724dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      BranchInst *Br = dyn_cast<BranchInst>(LLVMBB->getTerminator());
725dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
726dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      if (Br && Br->isUnconditional()) { // Critical edge?
727dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman        BasicBlock::iterator I, E;
728dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman        for (I = LLVMBB->begin(), E = --LLVMBB->end(); I != E; ++I)
729dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman          if (isa<EHSelectorInst>(I))
730dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman            break;
731dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
732dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman        if (I == E)
733dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman          // No catch info found - try to extract some from the successor.
734dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman          copyCatchInfo(Br->getSuccessor(0), LLVMBB, MMI, *FuncInfo);
735dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman      }
736dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman    }
737dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman
738f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    // Before doing SelectionDAG ISel, see if FastISel has been requested.
739dd5b58ad7be78be90390074f0df138778af5c895Dan Gohman    if (FastIS && !SuppressFastISel) {
740a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      // Emit code for any incoming arguments. This must happen before
741a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      // beginning FastISel on the entry block.
742a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      if (LLVMBB == &Fn.getEntryBlock()) {
743a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        CurDAG->setRoot(SDL->getControlRoot());
744a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        CodeGenAndEmitDAG();
745a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        SDL->clear();
746a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      }
747241f464d24a6c22721607841069bbeb17b3f71e6Dan Gohman      FastIS->startNewBlock(BB);
748a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      // Do FastISel on as many instructions as possible.
749a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman      for (; BI != End; ++BI) {
750a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar        if (MDDbgKind) {
751a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar          // Update DebugLoc if debug information is attached with this
752a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar          // instruction.
7539dddf9748025cb65a951e6807bc156cf5bcd046dDevang Patel          if (MDNode *Dbg = TheMetadata.getMD(MDDbgKind, BI)) {
754a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar            DILocation DILoc(Dbg);
755a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar            DebugLoc Loc = ExtractDebugLocation(DILoc,
756a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar                                                MF.getDebugLocInfo());
757a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar            FastIS->setCurDebugLoc(Loc);
758454e957979727bd29d75ec70623e50795f5824d9Devang Patel            if (MF.getDefaultDebugLoc().isUnknown())
759454e957979727bd29d75ec70623e50795f5824d9Devang Patel              MF.setDefaultDebugLoc(Loc);
760a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar          }
761a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar        }
762123eaa71b50f5ac2ea2233685baedddbb72f387bDevang Patel
763a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // Just before the terminator instruction, insert instructions to
764a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // feed PHI nodes in successor blocks.
765a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        if (isa<TerminatorInst>(BI))
766a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          if (!HandlePHINodesInSuccessorBlocksFast(LLVMBB, FastIS)) {
76777ca41e5c3f99ee8962b21a7d90bb251a594a65eDan Gohman            if (EnableFastISelVerbose || EnableFastISelAbort) {
7684437ae213d5435390f0750213b53ec807c047f22Chris Lattner              errs() << "FastISel miss: ";
76977ca41e5c3f99ee8962b21a7d90bb251a594a65eDan Gohman              BI->dump();
77077ca41e5c3f99ee8962b21a7d90bb251a594a65eDan Gohman            }
771a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar            assert(!EnableFastISelAbort &&
772f36892335b4919b9120e48a792e6b3630b9de978Torok Edwin                   "FastISel didn't handle a PHI in a successor");
773a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            break;
774a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          }
77533134c4a75558288d663267c8991f6bd37a530afDan Gohman
776a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // First try normal tablegen-generated "fast" selection.
777a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        if (FastIS->SelectInstruction(BI))
778a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          continue;
779a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman
780a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // Next, try calling the target to attempt to handle the instruction.
781a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        if (FastIS->TargetSelectInstruction(BI))
782a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          continue;
783f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
784a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // Then handle certain instructions as single-LLVM-Instruction blocks.
785a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        if (isa<CallInst>(BI)) {
786a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          if (EnableFastISelVerbose || EnableFastISelAbort) {
7874437ae213d5435390f0750213b53ec807c047f22Chris Lattner            errs() << "FastISel missed call: ";
788a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            BI->dump();
789f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman          }
790f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
7911d0be15f89cb5056e20e2d24faa8d6afb1573bcaOwen Anderson          if (BI->getType() != Type::getVoidTy(*CurDAG->getContext())) {
792a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            unsigned &R = FuncInfo->ValueMap[BI];
793a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            if (!R)
794a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman              R = FuncInfo->CreateRegForValue(BI);
795f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman          }
796a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman
797390f3ace34855a3d4c9e0adf468976375f8c6dc1Devang Patel          SDL->setCurDebugLoc(FastIS->getCurDebugLoc());
798a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          SelectBasicBlock(LLVMBB, BI, next(BI));
799241f464d24a6c22721607841069bbeb17b3f71e6Dan Gohman          // If the instruction was codegen'd with multiple blocks,
800241f464d24a6c22721607841069bbeb17b3f71e6Dan Gohman          // inform the FastISel object where to resume inserting.
801241f464d24a6c22721607841069bbeb17b3f71e6Dan Gohman          FastIS->setCurrentBlock(BB);
802a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          continue;
803f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman        }
804a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman
805a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // Otherwise, give up on FastISel for the rest of the block.
806a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        // For now, be a little lenient about non-branch terminators.
807a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        if (!isa<TerminatorInst>(BI) || isa<BranchInst>(BI)) {
808a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          if (EnableFastISelVerbose || EnableFastISelAbort) {
8094437ae213d5435390f0750213b53ec807c047f22Chris Lattner            errs() << "FastISel miss: ";
810a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            BI->dump();
811a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          }
812a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman          if (EnableFastISelAbort)
813a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            // The "fast" selector couldn't handle something and bailed.
814a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman            // For the purpose of debugging, just abort.
815c23197a26f34f559ea9797de51e187087c039c42Torok Edwin            llvm_unreachable("FastISel didn't select the entire block");
816a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        }
817a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman        break;
818f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman      }
819f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    }
820f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman
821d2ff647964ed242e67ac12f7d21a58c864309d95Dan Gohman    // Run SelectionDAG instruction selection on the remainder of the block
822d2ff647964ed242e67ac12f7d21a58c864309d95Dan Gohman    // not handled by FastISel. If FastISel is not run, this is the entire
8233df24e667f04a7003342b534310919abc9c87418Dan Gohman    // block.
824390f3ace34855a3d4c9e0adf468976375f8c6dc1Devang Patel    if (BI != End) {
825390f3ace34855a3d4c9e0adf468976375f8c6dc1Devang Patel      // If FastISel is run and it has known DebugLoc then use it.
826390f3ace34855a3d4c9e0adf468976375f8c6dc1Devang Patel      if (FastIS && !FastIS->getCurDebugLoc().isUnknown())
827390f3ace34855a3d4c9e0adf468976375f8c6dc1Devang Patel        SDL->setCurDebugLoc(FastIS->getCurDebugLoc());
8289f1185076d60153fd35feb3cadb1b4cd8debc0b6Evan Cheng      SelectBasicBlock(LLVMBB, BI, End);
829390f3ace34855a3d4c9e0adf468976375f8c6dc1Devang Patel    }
830381cb07544a2bc119e39969d7d508a6247773e1cEvan Cheng
8317c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    FinishBasicBlock();
83239fd6e81b1b0de8b820155dc6a0dae226c109de6Evan Cheng  }
833a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman
834a43abd102f123f6d3bd9ad92045f8119e3fb6153Dan Gohman  delete FastIS;
8350e5f1306b059b62d7725f324e087efbc8e7a782dDan Gohman}
8360e5f1306b059b62d7725f324e087efbc8e7a782dDan Gohman
837fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanvoid
8387c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan GohmanSelectionDAGISel::FinishBasicBlock() {
8391c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner
840bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Target-post-processed machine code:\n");
841f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman  DEBUG(BB->dump());
8424198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov
843bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner  DEBUG(errs() << "Total amount of phi nodes to update: "
844bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner               << SDL->PHINodesToUpdate.size() << "\n");
8457c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  DEBUG(for (unsigned i = 0, e = SDL->PHINodesToUpdate.size(); i != e; ++i)
846bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner          errs() << "Node " << i << " : ("
847bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner                 << SDL->PHINodesToUpdate[i].first
848bbbfa99d3d18fe9f20265305e833666645ada528Chris Lattner                 << ", " << SDL->PHINodesToUpdate[i].second << ")\n");
849a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
850a33ef4816d2c192e36e7c025d18c66e89ef9d311Chris Lattner  // Next, now that we know what the last MBB the LLVM BB expanded is, update
8511c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner  // PHI nodes in successors.
8527c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  if (SDL->SwitchCases.empty() &&
8537c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->JTCases.empty() &&
8547c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->BitTestCases.empty()) {
8557c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    for (unsigned i = 0, e = SDL->PHINodesToUpdate.size(); i != e; ++i) {
8567c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      MachineInstr *PHI = SDL->PHINodesToUpdate[i].first;
857f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman      assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
858f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman             "This is not a machine PHI node that we are updating!");
8597c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[i].second,
8609ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner                                                false));
8619ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner      PHI->addOperand(MachineOperand::CreateMBB(BB));
862f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman    }
8637c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    SDL->PHINodesToUpdate.clear();
864f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman    return;
8651c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner  }
8664198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov
8677c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  for (unsigned i = 0, e = SDL->BitTestCases.size(); i != e; ++i) {
8684198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov    // Lower header first, if it wasn't already lowered
8697c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    if (!SDL->BitTestCases[i].Emitted) {
8704198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // Set the current basic block to the mbb we wish to insert the code into
8717c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      BB = SDL->BitTestCases[i].Parent;
8727c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->setCurrentBasicBlock(BB);
8734198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // Emit the code
8747c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->visitBitTestHeader(SDL->BitTestCases[i]);
8757c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      CurDAG->setRoot(SDL->getRoot());
876f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman      CodeGenAndEmitDAG();
8777c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->clear();
878a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar    }
8794198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov
8807c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    for (unsigned j = 0, ej = SDL->BitTestCases[i].Cases.size(); j != ej; ++j) {
8814198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // Set the current basic block to the mbb we wish to insert the code into
8827c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      BB = SDL->BitTestCases[i].Cases[j].ThisBB;
8837c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->setCurrentBasicBlock(BB);
8844198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // Emit the code
8854198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      if (j+1 != ej)
8867c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        SDL->visitBitTestCase(SDL->BitTestCases[i].Cases[j+1].ThisBB,
8877c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman                              SDL->BitTestCases[i].Reg,
8887c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman                              SDL->BitTestCases[i].Cases[j]);
8894198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      else
8907c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        SDL->visitBitTestCase(SDL->BitTestCases[i].Default,
8917c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman                              SDL->BitTestCases[i].Reg,
8927c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman                              SDL->BitTestCases[i].Cases[j]);
893a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
894a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
8957c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      CurDAG->setRoot(SDL->getRoot());
896f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman      CodeGenAndEmitDAG();
8977c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->clear();
8984198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov    }
8994198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov
9004198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov    // Update PHI Nodes
9017c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    for (unsigned pi = 0, pe = SDL->PHINodesToUpdate.size(); pi != pe; ++pi) {
9027c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      MachineInstr *PHI = SDL->PHINodesToUpdate[pi].first;
9034198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      MachineBasicBlock *PHIBB = PHI->getParent();
9044198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
9054198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov             "This is not a machine PHI node that we are updating!");
9064198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // This is "default" BB. We have two jumps to it. From "header" BB and
9074198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // from last "case" BB.
9087c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      if (PHIBB == SDL->BitTestCases[i].Default) {
9097c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
9109ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner                                                  false));
9117c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        PHI->addOperand(MachineOperand::CreateMBB(SDL->BitTestCases[i].Parent));
9127c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
9139ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner                                                  false));
9147c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        PHI->addOperand(MachineOperand::CreateMBB(SDL->BitTestCases[i].Cases.
9159ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner                                                  back().ThisBB));
9164198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      }
9174198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // One of "cases" BB.
9187c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      for (unsigned j = 0, ej = SDL->BitTestCases[i].Cases.size();
9197c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman           j != ej; ++j) {
9207c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        MachineBasicBlock* cBB = SDL->BitTestCases[i].Cases[j].ThisBB;
9214198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov        if (cBB->succ_end() !=
9224198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov            std::find(cBB->succ_begin(),cBB->succ_end(), PHIBB)) {
9237c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman          PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second,
9249ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner                                                    false));
9259ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner          PHI->addOperand(MachineOperand::CreateMBB(cBB));
9264198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov        }
9274198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      }
9284198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov    }
9294198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov  }
9307c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->BitTestCases.clear();
9314198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov
9329453eea49bca1c3904047db495855c93e001d1cdNate Begeman  // If the JumpTable record is filled in, then we need to emit a jump table.
9339453eea49bca1c3904047db495855c93e001d1cdNate Begeman  // Updating the PHI nodes is tricky in this case, since we need to determine
9349453eea49bca1c3904047db495855c93e001d1cdNate Begeman  // whether the PHI is a successor of the range check MBB or the jump table MBB
9357c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  for (unsigned i = 0, e = SDL->JTCases.size(); i != e; ++i) {
9363a84b9baf67c938454840d10d9e53269c755cd3eAnton Korobeynikov    // Lower header first, if it wasn't already lowered
9377c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    if (!SDL->JTCases[i].first.Emitted) {
9383a84b9baf67c938454840d10d9e53269c755cd3eAnton Korobeynikov      // Set the current basic block to the mbb we wish to insert the code into
9397c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      BB = SDL->JTCases[i].first.HeaderBB;
9407c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->setCurrentBasicBlock(BB);
9413a84b9baf67c938454840d10d9e53269c755cd3eAnton Korobeynikov      // Emit the code
9427c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->visitJumpTableHeader(SDL->JTCases[i].second, SDL->JTCases[i].first);
9437c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      CurDAG->setRoot(SDL->getRoot());
944f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman      CodeGenAndEmitDAG();
9457c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->clear();
9464198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov    }
947a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
94837efe6764568a3829fee26aba532283131d1a104Nate Begeman    // Set the current basic block to the mbb we wish to insert the code into
9497c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    BB = SDL->JTCases[i].second.MBB;
9507c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    SDL->setCurrentBasicBlock(BB);
95137efe6764568a3829fee26aba532283131d1a104Nate Begeman    // Emit the code
9527c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    SDL->visitJumpTable(SDL->JTCases[i].second);
9537c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    CurDAG->setRoot(SDL->getRoot());
954f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    CodeGenAndEmitDAG();
9557c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    SDL->clear();
956a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
95737efe6764568a3829fee26aba532283131d1a104Nate Begeman    // Update PHI Nodes
9587c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    for (unsigned pi = 0, pe = SDL->PHINodesToUpdate.size(); pi != pe; ++pi) {
9597c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      MachineInstr *PHI = SDL->PHINodesToUpdate[pi].first;
96037efe6764568a3829fee26aba532283131d1a104Nate Begeman      MachineBasicBlock *PHIBB = PHI->getParent();
96137efe6764568a3829fee26aba532283131d1a104Nate Begeman      assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
96237efe6764568a3829fee26aba532283131d1a104Nate Begeman             "This is not a machine PHI node that we are updating!");
9634198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // "default" BB. We can go there only from header BB.
9647c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      if (PHIBB == SDL->JTCases[i].second.Default) {
965ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng        PHI->addOperand
966ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng          (MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second, false));
967ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng        PHI->addOperand
968ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng          (MachineOperand::CreateMBB(SDL->JTCases[i].first.HeaderBB));
969f4360a478944af45d5f851a0903fbbfa44f520dcNate Begeman      }
9704198c58c716cbe4516ac3a1a407a3cd52548bc3bAnton Korobeynikov      // JT BB. Just iterate over successors here
971f4360a478944af45d5f851a0903fbbfa44f520dcNate Begeman      if (BB->succ_end() != std::find(BB->succ_begin(),BB->succ_end(), PHIBB)) {
972ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng        PHI->addOperand
973ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng          (MachineOperand::CreateReg(SDL->PHINodesToUpdate[pi].second, false));
9749ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner        PHI->addOperand(MachineOperand::CreateMBB(BB));
97537efe6764568a3829fee26aba532283131d1a104Nate Begeman      }
97637efe6764568a3829fee26aba532283131d1a104Nate Begeman    }
97737efe6764568a3829fee26aba532283131d1a104Nate Begeman  }
9787c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->JTCases.clear();
979a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
980b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner  // If the switch block involved a branch to one of the actual successors, we
981b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner  // need to update PHI nodes in that block.
9827c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  for (unsigned i = 0, e = SDL->PHINodesToUpdate.size(); i != e; ++i) {
9837c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    MachineInstr *PHI = SDL->PHINodesToUpdate[i].first;
984b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner    assert(PHI->getOpcode() == TargetInstrInfo::PHI &&
985b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner           "This is not a machine PHI node that we are updating!");
986b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner    if (BB->isSuccessor(PHI->getParent())) {
9877c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      PHI->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[i].second,
9889ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner                                                false));
9899ce2e9d5a07cb3e0176cb32838231243829d67c5Chris Lattner      PHI->addOperand(MachineOperand::CreateMBB(BB));
990b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner    }
991b2e806eecd85c98367f038817e742ef183dd9f87Chris Lattner  }
992a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
993f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman  // If we generated any switch lowering information, build and codegen any
994f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman  // additional DAGs necessary.
9957c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  for (unsigned i = 0, e = SDL->SwitchCases.size(); i != e; ++i) {
996f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman    // Set the current basic block to the mbb we wish to insert the code into
997fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng    MachineBasicBlock *ThisBB = BB = SDL->SwitchCases[i].ThisBB;
9987c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    SDL->setCurrentBasicBlock(BB);
999a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1000f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman    // Emit the code
10017c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    SDL->visitSwitchCase(SDL->SwitchCases[i]);
10027c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    CurDAG->setRoot(SDL->getRoot());
1003f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman    CodeGenAndEmitDAG();
1004a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1005d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner    // Handle any PHI nodes in successors of this chunk, as if we were coming
1006d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner    // from the original BB before switch expansion.  Note that PHI nodes can
1007d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner    // occur multiple times in PHINodesToUpdate.  We have to be very careful to
1008d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner    // handle them the right number of times.
10097c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    while ((BB = SDL->SwitchCases[i].TrueBB)) {  // Handle LHS and RHS.
1010fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng      // If new BB's are created during scheduling, the edges may have been
1011ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng      // updated. That is, the edge from ThisBB to BB may have been split and
1012ce31910eae5bd4896fa6c27798e7b26885691d3bEvan Cheng      // BB's predecessor is now another block.
1013fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng      DenseMap<MachineBasicBlock*, MachineBasicBlock*>::iterator EI =
1014fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng        SDL->EdgeMapping.find(BB);
1015fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng      if (EI != SDL->EdgeMapping.end())
1016fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng        ThisBB = EI->second;
1017d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner      for (MachineBasicBlock::iterator Phi = BB->begin();
1018d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner           Phi != BB->end() && Phi->getOpcode() == TargetInstrInfo::PHI; ++Phi){
1019d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner        // This value for this PHI node is recorded in PHINodesToUpdate, get it.
1020d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner        for (unsigned pn = 0; ; ++pn) {
10217c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman          assert(pn != SDL->PHINodesToUpdate.size() &&
10227c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman                 "Didn't find PHI entry!");
10238be58a11868ae081c195c107cd39a07f1f523877Evan Cheng          if (SDL->PHINodesToUpdate[pn].first == Phi) {
10248be58a11868ae081c195c107cd39a07f1f523877Evan Cheng            Phi->addOperand(MachineOperand::CreateReg(SDL->PHINodesToUpdate[pn].
10258be58a11868ae081c195c107cd39a07f1f523877Evan Cheng                                                      second, false));
1026fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng            Phi->addOperand(MachineOperand::CreateMBB(ThisBB));
1027d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner            break;
10288be58a11868ae081c195c107cd39a07f1f523877Evan Cheng          }
1029d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner        }
1030f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman      }
1031a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1032d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner      // Don't process RHS if same block as LHS.
10337c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      if (BB == SDL->SwitchCases[i].FalseBB)
10347c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman        SDL->SwitchCases[i].FalseBB = 0;
1035a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1036d5e93c07957844e3086fb12d686b93dbbd2524c2Chris Lattner      // If we haven't handled the RHS, do so now.  Otherwise, we're done.
10377c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->SwitchCases[i].TrueBB = SDL->SwitchCases[i].FalseBB;
10387c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman      SDL->SwitchCases[i].FalseBB = 0;
1039f15485a8d0dff5f720b7ad27346129ac5c3ec503Nate Begeman    }
10407c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman    assert(SDL->SwitchCases[i].TrueBB == 0 && SDL->SwitchCases[i].FalseBB == 0);
1041fb2e752e4175920d0531f2afc93a23d0cdf4db14Evan Cheng    SDL->clear();
1042a33ef4816d2c192e36e7c025d18c66e89ef9d311Chris Lattner  }
10437c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->SwitchCases.clear();
10447c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman
10457c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman  SDL->PHINodesToUpdate.clear();
10461c08c714bb3d07c3b39f06bfcbb4559fefca73f9Chris Lattner}
1047a9c2091cd38e401c846391c9951ff416e709b65eEvan Cheng
104813ec702c430b91ee49b9e6d9581cd95412f216c8Jim Laskey
10490a3776dc6f702d4e3f4a189df7f43d8f99957773Dan Gohman/// Create the scheduler. If a specific scheduler was specified
10500a3776dc6f702d4e3f4a189df7f43d8f99957773Dan Gohman/// via the SchedulerRegistry, use it, otherwise select the
10510a3776dc6f702d4e3f4a189df7f43d8f99957773Dan Gohman/// one preferred by the target.
10525e84368b26415b3bb7f3f8d9cff3e05938dd82d0Dan Gohman///
105347ac0f0c7c39289f5970688154e385be22b7f293Dan GohmanScheduleDAGSDNodes *SelectionDAGISel::CreateScheduler() {
1054eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey  RegisterScheduler::FunctionPassCtor Ctor = RegisterScheduler::getDefault();
1055a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
105613ec702c430b91ee49b9e6d9581cd95412f216c8Jim Laskey  if (!Ctor) {
1057eb577ba3b815a1fa4627b060dd2345d17abf672dJim Laskey    Ctor = ISHeuristic;
10589373beba6010dd34316a801c3a9b37ab9e048031Jim Laskey    RegisterScheduler::setDefault(Ctor);
10594ef10867499aa146cd819c78d8d37a8353d4f0ffEvan Cheng  }
1060a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1061be8cc2a3dedeb7685f07e68cdc4b9502eb97eb2bBill Wendling  return Ctor(this, OptLevel);
1062a9c2091cd38e401c846391c9951ff416e709b65eEvan Cheng}
10630e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner
1064fc54c552963545a81e4ea38e60460590afb2d5aeDan GohmanScheduleHazardRecognizer *SelectionDAGISel::CreateTargetHazardRecognizer() {
1065fc54c552963545a81e4ea38e60460590afb2d5aeDan Gohman  return new ScheduleHazardRecognizer();
10669ff542f2cce5bf7bf3cf9f692cf3ec0690ad2b3bJim Laskey}
10679ff542f2cce5bf7bf3cf9f692cf3ec0690ad2b3bJim Laskey
1068755480681c795d585c73556c028b6143c46bda86Chris Lattner//===----------------------------------------------------------------------===//
1069755480681c795d585c73556c028b6143c46bda86Chris Lattner// Helper functions used by the generated instruction selector.
1070755480681c795d585c73556c028b6143c46bda86Chris Lattner//===----------------------------------------------------------------------===//
1071755480681c795d585c73556c028b6143c46bda86Chris Lattner// Calls to these methods are generated by tblgen.
1072755480681c795d585c73556c028b6143c46bda86Chris Lattner
1073755480681c795d585c73556c028b6143c46bda86Chris Lattner/// CheckAndMask - The isel is trying to match something like (and X, 255).  If
1074755480681c795d585c73556c028b6143c46bda86Chris Lattner/// the dag combiner simplified the 255, we still want to match.  RHS is the
1075755480681c795d585c73556c028b6143c46bda86Chris Lattner/// actual value in the DAG on the RHS of an AND, and DesiredMaskS is the value
1076755480681c795d585c73556c028b6143c46bda86Chris Lattner/// specified in the .td file (e.g. 255).
1077a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarbool SelectionDAGISel::CheckAndMask(SDValue LHS, ConstantSDNode *RHS,
1078dc9b3d0bb5ed3a3f59cad61e264f0ec43c946459Dan Gohman                                    int64_t DesiredMaskS) const {
10792e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  const APInt &ActualMask = RHS->getAPIntValue();
10802e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  const APInt &DesiredMask = APInt(LHS.getValueSizeInBits(), DesiredMaskS);
1081a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1082755480681c795d585c73556c028b6143c46bda86Chris Lattner  // If the actual mask exactly matches, success!
1083755480681c795d585c73556c028b6143c46bda86Chris Lattner  if (ActualMask == DesiredMask)
1084755480681c795d585c73556c028b6143c46bda86Chris Lattner    return true;
1085a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1086755480681c795d585c73556c028b6143c46bda86Chris Lattner  // If the actual AND mask is allowing unallowed bits, this doesn't match.
10872e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  if (ActualMask.intersects(~DesiredMask))
1088755480681c795d585c73556c028b6143c46bda86Chris Lattner    return false;
1089a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1090755480681c795d585c73556c028b6143c46bda86Chris Lattner  // Otherwise, the DAG Combiner may have proven that the value coming in is
1091755480681c795d585c73556c028b6143c46bda86Chris Lattner  // either already zero or is not demanded.  Check for known zero input bits.
10922e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  APInt NeededMask = DesiredMask & ~ActualMask;
1093ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman  if (CurDAG->MaskedValueIsZero(LHS, NeededMask))
1094755480681c795d585c73556c028b6143c46bda86Chris Lattner    return true;
1095a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1096755480681c795d585c73556c028b6143c46bda86Chris Lattner  // TODO: check to see if missing bits are just not demanded.
1097755480681c795d585c73556c028b6143c46bda86Chris Lattner
1098755480681c795d585c73556c028b6143c46bda86Chris Lattner  // Otherwise, this pattern doesn't match.
1099755480681c795d585c73556c028b6143c46bda86Chris Lattner  return false;
1100755480681c795d585c73556c028b6143c46bda86Chris Lattner}
1101755480681c795d585c73556c028b6143c46bda86Chris Lattner
1102755480681c795d585c73556c028b6143c46bda86Chris Lattner/// CheckOrMask - The isel is trying to match something like (or X, 255).  If
1103755480681c795d585c73556c028b6143c46bda86Chris Lattner/// the dag combiner simplified the 255, we still want to match.  RHS is the
1104755480681c795d585c73556c028b6143c46bda86Chris Lattner/// actual value in the DAG on the RHS of an OR, and DesiredMaskS is the value
1105755480681c795d585c73556c028b6143c46bda86Chris Lattner/// specified in the .td file (e.g. 255).
1106a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbarbool SelectionDAGISel::CheckOrMask(SDValue LHS, ConstantSDNode *RHS,
11072e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman                                   int64_t DesiredMaskS) const {
11082e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  const APInt &ActualMask = RHS->getAPIntValue();
11092e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  const APInt &DesiredMask = APInt(LHS.getValueSizeInBits(), DesiredMaskS);
1110a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1111755480681c795d585c73556c028b6143c46bda86Chris Lattner  // If the actual mask exactly matches, success!
1112755480681c795d585c73556c028b6143c46bda86Chris Lattner  if (ActualMask == DesiredMask)
1113755480681c795d585c73556c028b6143c46bda86Chris Lattner    return true;
1114a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1115755480681c795d585c73556c028b6143c46bda86Chris Lattner  // If the actual AND mask is allowing unallowed bits, this doesn't match.
11162e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  if (ActualMask.intersects(~DesiredMask))
1117755480681c795d585c73556c028b6143c46bda86Chris Lattner    return false;
1118a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1119755480681c795d585c73556c028b6143c46bda86Chris Lattner  // Otherwise, the DAG Combiner may have proven that the value coming in is
1120755480681c795d585c73556c028b6143c46bda86Chris Lattner  // either already zero or is not demanded.  Check for known zero input bits.
11212e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  APInt NeededMask = DesiredMask & ~ActualMask;
1122a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
11232e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman  APInt KnownZero, KnownOne;
1124ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman  CurDAG->ComputeMaskedBits(LHS, NeededMask, KnownZero, KnownOne);
1125a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1126755480681c795d585c73556c028b6143c46bda86Chris Lattner  // If all the missing bits in the or are already known to be set, match!
1127755480681c795d585c73556c028b6143c46bda86Chris Lattner  if ((NeededMask & KnownOne) == NeededMask)
1128755480681c795d585c73556c028b6143c46bda86Chris Lattner    return true;
1129a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1130755480681c795d585c73556c028b6143c46bda86Chris Lattner  // TODO: check to see if missing bits are just not demanded.
1131a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
1132755480681c795d585c73556c028b6143c46bda86Chris Lattner  // Otherwise, this pattern doesn't match.
1133755480681c795d585c73556c028b6143c46bda86Chris Lattner  return false;
1134755480681c795d585c73556c028b6143c46bda86Chris Lattner}
1135755480681c795d585c73556c028b6143c46bda86Chris Lattner
11369ff542f2cce5bf7bf3cf9f692cf3ec0690ad2b3bJim Laskey
11370e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner/// SelectInlineAsmMemoryOperands - Calls to this are automatically generated
11380e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner/// by tblgen.  Others should not call it.
11390e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattnervoid SelectionDAGISel::
1140f350b277f32d7d47f86c0e54f4aec4d470500618Dan GohmanSelectInlineAsmMemoryOperands(std::vector<SDValue> &Ops) {
1141475871a144eb604ddaf37503397ba0941442e5fbDan Gohman  std::vector<SDValue> InOps;
11420e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  std::swap(InOps, Ops);
11430e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner
11440e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  Ops.push_back(InOps[0]);  // input chain.
11450e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  Ops.push_back(InOps[1]);  // input asm string.
11460e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner
11470e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  unsigned i = 2, e = InOps.size();
1148825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  if (InOps[e-1].getValueType() == MVT::Flag)
11490e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner    --e;  // Don't process a flag operand if it is here.
1150a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
11510e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  while (i != e) {
1152f5aeb1a8e4cf272c7348376d185ef8d8267653e0Dan Gohman    unsigned Flags = cast<ConstantSDNode>(InOps[i])->getZExtValue();
115386b49f8e2de796cb46c7c8b6a4c4900533fd53f4Dale Johannesen    if ((Flags & 7) != 4 /*MEM*/) {
11540e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner      // Just skip over this operand, copying the operands verbatim.
1155697cbbfb00c318f98d6eb51945f077e2bfe8781eEvan Cheng      Ops.insert(Ops.end(), InOps.begin()+i,
1156697cbbfb00c318f98d6eb51945f077e2bfe8781eEvan Cheng                 InOps.begin()+i+InlineAsm::getNumOperandRegisters(Flags) + 1);
1157697cbbfb00c318f98d6eb51945f077e2bfe8781eEvan Cheng      i += InlineAsm::getNumOperandRegisters(Flags) + 1;
11580e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner    } else {
1159697cbbfb00c318f98d6eb51945f077e2bfe8781eEvan Cheng      assert(InlineAsm::getNumOperandRegisters(Flags) == 1 &&
1160697cbbfb00c318f98d6eb51945f077e2bfe8781eEvan Cheng             "Memory operand with multiple values?");
11610e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner      // Otherwise, this is a memory operand.  Ask the target to select it.
1162475871a144eb604ddaf37503397ba0941442e5fbDan Gohman      std::vector<SDValue> SelOps;
1163f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman      if (SelectInlineAsmMemoryOperand(InOps[i+1], 'm', SelOps)) {
11647d696d80409aad20bb5da0fc4eccab941dd371d4Torok Edwin        llvm_report_error("Could not match memory address.  Inline asm"
11657d696d80409aad20bb5da0fc4eccab941dd371d4Torok Edwin                          " failure!");
11660e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner      }
1167a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
11680e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner      // Add this to the output node.
1169e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson      EVT IntPtrTy = TLI.getPointerTy();
117086b49f8e2de796cb46c7c8b6a4c4900533fd53f4Dale Johannesen      Ops.push_back(CurDAG->getTargetConstant(4/*MEM*/ | (SelOps.size()<< 3),
1171f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman                                              IntPtrTy));
11720e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner      Ops.insert(Ops.end(), SelOps.begin(), SelOps.end());
11730e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner      i += 2;
11740e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner    }
11750e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  }
1176a279bc3da55691784064cb47200a1c584408b8abDaniel Dunbar
11770e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  // Add the flag input back if present.
11780e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner  if (e != InOps.size())
11790e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner    Ops.push_back(InOps.back());
11800e43f2ba114df7bfc1f70d0ef62b663f6ea4c09dChris Lattner}
1181794fd75c67a2cdc128d67342c6d88a504d186896Devang Patel
1182e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson/// findFlagUse - Return use of EVT::Flag value produced by the specified
1183c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// SDNode.
1184c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov///
1185c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikovstatic SDNode *findFlagUse(SDNode *N) {
1186c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  unsigned FlagResNo = N->getNumValues()-1;
1187c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  for (SDNode::use_iterator I = N->use_begin(), E = N->use_end(); I != E; ++I) {
1188c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    SDUse &Use = I.getUse();
1189c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    if (Use.getResNo() == FlagResNo)
1190c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      return Use.getUser();
1191c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  }
1192c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  return NULL;
1193c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov}
1194c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1195c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// findNonImmUse - Return true if "Use" is a non-immediate use of "Def".
1196c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// This function recursively traverses up the operand chain, ignoring
1197c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// certain nodes.
1198c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikovstatic bool findNonImmUse(SDNode *Use, SDNode* Def, SDNode *ImmedUse,
1199c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov                          SDNode *Root,
1200c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov                          SmallPtrSet<SDNode*, 16> &Visited) {
1201c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  if (Use->getNodeId() < Def->getNodeId() ||
1202c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      !Visited.insert(Use))
1203c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    return false;
1204c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1205c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  for (unsigned i = 0, e = Use->getNumOperands(); i != e; ++i) {
1206c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    SDNode *N = Use->getOperand(i).getNode();
1207c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    if (N == Def) {
1208c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      if (Use == ImmedUse || Use == Root)
1209c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov        continue;  // We are not looking for immediate use.
1210c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      assert(N != Root);
1211c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      return true;
1212c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    }
1213c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1214c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    // Traverse up the operand chain.
1215c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    if (findNonImmUse(N, Def, ImmedUse, Root, Visited))
1216c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      return true;
1217c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  }
1218c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  return false;
1219c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov}
1220c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1221c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// isNonImmUse - Start searching from Root up the DAG to check is Def can
1222c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// be reached. Return true if that's the case. However, ignore direct uses
1223c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// by ImmedUse (which would be U in the example illustrated in
1224c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// IsLegalAndProfitableToFold) and by Root (which can happen in the store
1225c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// case).
1226c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// FIXME: to be really generic, we should allow direct use by any node
1227c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// that is being folded. But realisticly since we only fold loads which
1228c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// have one non-chain use, we only need to watch out for load/op/store
1229c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// and load/op/cmp case where the root (store / cmp) may reach the load via
1230c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// its chain operand.
1231c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikovstatic inline bool isNonImmUse(SDNode *Root, SDNode *Def, SDNode *ImmedUse) {
1232c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  SmallPtrSet<SDNode*, 16> Visited;
1233c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  return findNonImmUse(Root, Def, ImmedUse, Root, Visited);
1234c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov}
1235c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1236c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// IsLegalAndProfitableToFold - Returns true if the specific operand node N of
1237c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// U can be folded during instruction selection that starts at Root and
1238c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov/// folding N is profitable.
1239c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikovbool SelectionDAGISel::IsLegalAndProfitableToFold(SDNode *N, SDNode *U,
1240c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov                                                  SDNode *Root) const {
1241c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  if (OptLevel == CodeGenOpt::None) return false;
1242c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1243c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // If Root use can somehow reach N through a path that that doesn't contain
1244c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // U then folding N would create a cycle. e.g. In the following
1245c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // diagram, Root can reach N through X. If N is folded into into Root, then
1246c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // X is both a predecessor and a successor of U.
1247c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //
1248c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          [N*]           //
1249c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         ^   ^           //
1250c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //        /     \          //
1251c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //      [U*]    [X]?       //
1252c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //        ^     ^          //
1253c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         \   /           //
1254c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          \ /            //
1255c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         [Root*]         //
1256c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //
1257c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // * indicates nodes to be folded together.
1258c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //
1259c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // If Root produces a flag, then it gets (even more) interesting. Since it
1260c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // will be "glued" together with its flag use in the scheduler, we need to
1261c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // check if it might reach N.
1262c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //
1263c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          [N*]           //
1264c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         ^   ^           //
1265c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //        /     \          //
1266c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //      [U*]    [X]?       //
1267c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //        ^       ^        //
1268c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         \       \       //
1269c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          \      |       //
1270c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         [Root*] |       //
1271c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          ^      |       //
1272c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          f      |       //
1273c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          |      /       //
1274c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //         [Y]    /        //
1275c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //           ^   /         //
1276c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //           f  /          //
1277c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //           | /           //
1278c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //          [FU]           //
1279c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  //
1280c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // If FU (flag use) indirectly reaches N (the load), and Root folds N
1281c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // (call it Fold), then X is a predecessor of FU and a successor of
1282c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // Fold. But since Fold and FU are flagged together, this will create
1283c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  // a cycle in the scheduling graph.
1284c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1285e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson  EVT VT = Root->getValueType(Root->getNumValues()-1);
1286825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson  while (VT == MVT::Flag) {
1287c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    SDNode *FU = findFlagUse(Root);
1288c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    if (FU == NULL)
1289c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov      break;
1290c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    Root = FU;
1291c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov    VT = Root->getValueType(Root->getNumValues()-1);
1292c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  }
1293c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1294c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov  return !isNonImmUse(Root, N, U);
1295c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov}
1296c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
1297e1f188fe27050ec812e5b64cc996e6bb93300392Dan GohmanSDNode *SelectionDAGISel::Select_INLINEASM(SDValue N) {
1298e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  std::vector<SDValue> Ops(N.getNode()->op_begin(), N.getNode()->op_end());
1299e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  SelectInlineAsmMemoryOperands(Ops);
1300e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman
1301e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  std::vector<EVT> VTs;
1302e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  VTs.push_back(MVT::Other);
1303e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  VTs.push_back(MVT::Flag);
1304e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  SDValue New = CurDAG->getNode(ISD::INLINEASM, N.getDebugLoc(),
1305e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman                                VTs, &Ops[0], Ops.size());
1306e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  return New.getNode();
1307e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman}
1308e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman
1309e1f188fe27050ec812e5b64cc996e6bb93300392Dan GohmanSDNode *SelectionDAGISel::Select_UNDEF(const SDValue &N) {
1310e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  return CurDAG->SelectNodeTo(N.getNode(), TargetInstrInfo::IMPLICIT_DEF,
1311e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman                              N.getValueType());
1312e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman}
1313e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman
1314e1f188fe27050ec812e5b64cc996e6bb93300392Dan GohmanSDNode *SelectionDAGISel::Select_DBG_LABEL(const SDValue &N) {
1315e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  SDValue Chain = N.getOperand(0);
1316e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  unsigned C = cast<LabelSDNode>(N)->getLabelID();
1317e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  SDValue Tmp = CurDAG->getTargetConstant(C, MVT::i32);
1318e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  return CurDAG->SelectNodeTo(N.getNode(), TargetInstrInfo::DBG_LABEL,
1319e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman                              MVT::Other, Tmp, Chain);
1320e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman}
1321e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman
1322e1f188fe27050ec812e5b64cc996e6bb93300392Dan GohmanSDNode *SelectionDAGISel::Select_EH_LABEL(const SDValue &N) {
1323e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  SDValue Chain = N.getOperand(0);
1324e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  unsigned C = cast<LabelSDNode>(N)->getLabelID();
1325e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  SDValue Tmp = CurDAG->getTargetConstant(C, MVT::i32);
1326e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  return CurDAG->SelectNodeTo(N.getNode(), TargetInstrInfo::EH_LABEL,
1327e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman                              MVT::Other, Tmp, Chain);
1328e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman}
1329e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman
1330e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohmanvoid SelectionDAGISel::CannotYetSelect(SDValue N) {
1331e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  std::string msg;
1332e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  raw_string_ostream Msg(msg);
1333e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  Msg << "Cannot yet select: ";
1334e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  N.getNode()->print(Msg, CurDAG);
1335e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  llvm_report_error(Msg.str());
1336e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman}
1337e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman
1338e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohmanvoid SelectionDAGISel::CannotYetSelectIntrinsic(SDValue N) {
1339e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  errs() << "Cannot yet select: ";
1340e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  unsigned iid =
1341e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman    cast<ConstantSDNode>(N.getOperand(N.getOperand(0).getValueType() == MVT::Other))->getZExtValue();
1342e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  if (iid < Intrinsic::num_intrinsics)
1343e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman    llvm_report_error("Cannot yet select: intrinsic %" + Intrinsic::getName((Intrinsic::ID)iid));
1344e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman  else if (const TargetIntrinsicInfo *tii = TM.getIntrinsicInfo())
1345e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman    llvm_report_error(Twine("Cannot yet select: target intrinsic %") +
1346e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman                      tii->getName(iid));
1347e1f188fe27050ec812e5b64cc996e6bb93300392Dan Gohman}
1348c1c6ef8f74fc550f29cfec1f2fb699dd8c2fb94eAnton Korobeynikov
13491997473cf72957d0e70322e2fe6fe2ab141c58a6Devang Patelchar SelectionDAGISel::ID = 0;
1350