blob: 895aaa4115dd54344f20d75380f244f8981993f8 [file] [log] [blame]
Lang Hamesfae02a22009-07-21 23:47:33 +00001//===-- lib/CodeGen/PHIElimination.h ----------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef LLVM_CODEGEN_PHIELIMINATION_HPP
11#define LLVM_CODEGEN_PHIELIMINATION_HPP
12
Lang Hames287b8b02009-07-23 04:34:03 +000013#include "llvm/ADT/DenseMap.h"
14#include "llvm/ADT/SmallSet.h"
Lang Hamesfae02a22009-07-21 23:47:33 +000015#include "llvm/ADT/SmallPtrSet.h"
16#include "llvm/CodeGen/MachineFunctionPass.h"
Chris Lattner518bb532010-02-09 19:54:29 +000017#include "llvm/CodeGen/MachineRegisterInfo.h"
Lang Hamesfae02a22009-07-21 23:47:33 +000018
Lang Hamesfae02a22009-07-21 23:47:33 +000019namespace llvm {
Chris Lattner518bb532010-02-09 19:54:29 +000020 class LiveVariables;
21
Lang Hamesfae02a22009-07-21 23:47:33 +000022 /// Lower PHI instructions to copies.
23 class PHIElimination : public MachineFunctionPass {
24 MachineRegisterInfo *MRI; // Machine register information
Lang Hames287b8b02009-07-23 04:34:03 +000025 private:
26
27 typedef SmallSet<MachineBasicBlock*, 4> PHIKillList;
28 typedef DenseMap<unsigned, PHIKillList> PHIKillMap;
29 typedef DenseMap<unsigned, MachineBasicBlock*> PHIDefMap;
Lang Hamesfae02a22009-07-21 23:47:33 +000030
31 public:
Lang Hames287b8b02009-07-23 04:34:03 +000032
33 typedef PHIKillList::iterator phi_kill_iterator;
34 typedef PHIKillList::const_iterator const_phi_kill_iterator;
35
Lang Hamesfae02a22009-07-21 23:47:33 +000036 static char ID; // Pass identification, replacement for typeid
37 PHIElimination() : MachineFunctionPass(&ID) {}
38
39 virtual bool runOnMachineFunction(MachineFunction &Fn);
40
41 virtual void getAnalysisUsage(AnalysisUsage &AU) const;
42
Lang Hames287b8b02009-07-23 04:34:03 +000043 /// Return true if the given vreg was defined by a PHI intsr prior to
44 /// lowering.
45 bool hasPHIDef(unsigned vreg) const {
46 return PHIDefs.count(vreg);
47 }
48
49 /// Returns the block in which the PHI instruction which defined the
50 /// given vreg used to reside.
51 MachineBasicBlock* getPHIDefBlock(unsigned vreg) {
52 PHIDefMap::iterator phiDefItr = PHIDefs.find(vreg);
53 assert(phiDefItr != PHIDefs.end() && "vreg has no phi-def.");
54 return phiDefItr->second;
55 }
56
57 /// Returns true if the given vreg was killed by a PHI instr.
58 bool hasPHIKills(unsigned vreg) const {
59 return PHIKills.count(vreg);
60 }
61
62 /// Returns an iterator over the BasicBlocks which contained PHI
63 /// kills of this register prior to lowering.
64 phi_kill_iterator phiKillsBegin(unsigned vreg) {
65 PHIKillMap::iterator phiKillItr = PHIKills.find(vreg);
66 assert(phiKillItr != PHIKills.end() && "vreg has no phi-kills.");
67 return phiKillItr->second.begin();
68 }
69 phi_kill_iterator phiKillsEnd(unsigned vreg) {
70 PHIKillMap::iterator phiKillItr = PHIKills.find(vreg);
71 assert(phiKillItr != PHIKills.end() && "vreg has no phi-kills.");
72 return phiKillItr->second.end();
73 }
74
Lang Hamesfae02a22009-07-21 23:47:33 +000075 private:
76 /// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions
77 /// in predecessor basic blocks.
78 ///
79 bool EliminatePHINodes(MachineFunction &MF, MachineBasicBlock &MBB);
80 void LowerAtomicPHINode(MachineBasicBlock &MBB,
81 MachineBasicBlock::iterator AfterPHIsIt);
82
83 /// analyzePHINodes - Gather information about the PHI nodes in
84 /// here. In particular, we want to map the number of uses of a virtual
85 /// register which is used in a PHI node. We map that to the BB the
86 /// vreg is coming from. This is used later to determine when the vreg
87 /// is killed in the BB.
88 ///
89 void analyzePHINodes(const MachineFunction& Fn);
90
Jakob Stoklund Olesenf235f132009-11-10 22:01:05 +000091 /// Split critical edges where necessary for good coalescer performance.
Jakob Stoklund Olesen0257dd32009-11-18 18:01:35 +000092 bool SplitPHIEdges(MachineFunction &MF, MachineBasicBlock &MBB,
93 LiveVariables &LV);
Jakob Stoklund Olesenf235f132009-11-10 22:01:05 +000094
Jakob Stoklund Olesenf235f132009-11-10 22:01:05 +000095 /// SplitCriticalEdge - Split a critical edge from A to B by
96 /// inserting a new MBB. Update branches in A and PHI instructions
97 /// in B. Return the new block.
98 MachineBasicBlock *SplitCriticalEdge(MachineBasicBlock *A,
99 MachineBasicBlock *B);
100
Jakob Stoklund Olesen12222872009-11-13 21:56:15 +0000101 /// FindCopyInsertPoint - Find a safe place in MBB to insert a copy from
102 /// SrcReg when following the CFG edge to SuccMBB. This needs to be after
103 /// any def of SrcReg, but before any subsequent point where control flow
104 /// might jump out of the basic block.
Lang Hamesfae02a22009-07-21 23:47:33 +0000105 MachineBasicBlock::iterator FindCopyInsertPoint(MachineBasicBlock &MBB,
Jakob Stoklund Olesen12222872009-11-13 21:56:15 +0000106 MachineBasicBlock &SuccMBB,
Lang Hamesfae02a22009-07-21 23:47:33 +0000107 unsigned SrcReg);
108
109 // SkipPHIsAndLabels - Copies need to be inserted after phi nodes and
110 // also after any exception handling labels: in landing pads execution
111 // starts at the label, so any copies placed before it won't be executed!
112 MachineBasicBlock::iterator SkipPHIsAndLabels(MachineBasicBlock &MBB,
113 MachineBasicBlock::iterator I) {
114 // Rather than assuming that EH labels come before other kinds of labels,
115 // just skip all labels.
Chris Lattner518bb532010-02-09 19:54:29 +0000116 while (I != MBB.end() && (I->isPHI() || I->isLabel()))
Lang Hamesfae02a22009-07-21 23:47:33 +0000117 ++I;
118 return I;
119 }
120
Jakob Stoklund Olesen74215fc2009-12-16 18:55:53 +0000121 typedef std::pair<unsigned, unsigned> BBVRegPair;
122 typedef DenseMap<BBVRegPair, unsigned> VRegPHIUse;
Lang Hamesfae02a22009-07-21 23:47:33 +0000123
124 VRegPHIUse VRegPHIUseCount;
Lang Hames287b8b02009-07-23 04:34:03 +0000125 PHIDefMap PHIDefs;
126 PHIKillMap PHIKills;
Lang Hamesfae02a22009-07-21 23:47:33 +0000127
128 // Defs of PHI sources which are implicit_def.
129 SmallPtrSet<MachineInstr*, 4> ImpDefs;
Jakob Stoklund Olesen74215fc2009-12-16 18:55:53 +0000130
131 // Lowered PHI nodes may be reused. We provide special DenseMap traits to
132 // match PHI nodes with identical arguments.
133 struct PHINodeTraits : public DenseMapInfo<MachineInstr*> {
134 static unsigned getHashValue(const MachineInstr *PtrVal);
135 static bool isEqual(const MachineInstr *LHS, const MachineInstr *RHS);
136 };
137
138 // Map reusable lowered PHI node -> incoming join register.
139 typedef DenseMap<MachineInstr*, unsigned, PHINodeTraits> LoweredPHIMap;
140 LoweredPHIMap LoweredPHIs;
Lang Hamesfae02a22009-07-21 23:47:33 +0000141 };
142
143}
144
Evan Chenge9390912009-09-04 07:46:30 +0000145#endif /* LLVM_CODEGEN_PHIELIMINATION_HPP */