| OLD | NEW |
| 1 //===-- BranchFolding.cpp - Fold machine code branch instructions ---------===// | 1 //===-- BranchFolding.cpp - Fold machine code branch instructions ---------===// |
| 2 // | 2 // |
| 3 // The LLVM Compiler Infrastructure | 3 // The LLVM Compiler Infrastructure |
| 4 // | 4 // |
| 5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
| 7 // | 7 // |
| 8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
| 9 // | 9 // |
| 10 // This pass forwards branches to unconditional branches to make them branch | 10 // This pass forwards branches to unconditional branches to make them branch |
| 11 // directly to the target block. This pass often results in dead MBB's, which | 11 // directly to the target block. This pass often results in dead MBB's, which |
| 12 // it then removes. | 12 // it then removes. |
| 13 // | 13 // |
| 14 // Note that this pass must be run after register allocation, it cannot handle | 14 // Note that this pass must be run after register allocation, it cannot handle |
| 15 // SSA form. | 15 // SSA form. |
| 16 // | 16 // |
| 17 //===----------------------------------------------------------------------===// | 17 //===----------------------------------------------------------------------===// |
| 18 | 18 |
| 19 #include "BranchFolding.h" | 19 #include "BranchFolding.h" |
| 20 #include "llvm/ADT/STLExtras.h" | 20 #include "llvm/ADT/STLExtras.h" |
| 21 #include "llvm/ADT/SmallSet.h" | 21 #include "llvm/ADT/SmallSet.h" |
| 22 #include "llvm/ADT/Statistic.h" | 22 #include "llvm/ADT/Statistic.h" |
| 23 #include "llvm/CodeGen/MachineBlockFrequencyInfo.h" | 23 #include "llvm/CodeGen/MachineBlockFrequencyInfo.h" |
| 24 #include "llvm/CodeGen/MachineBranchProbabilityInfo.h" | 24 #include "llvm/CodeGen/MachineBranchProbabilityInfo.h" |
| 25 #include "llvm/CodeGen/MachineConstantPool.h" // @LOCALMOD |
| 25 #include "llvm/CodeGen/MachineFunctionPass.h" | 26 #include "llvm/CodeGen/MachineFunctionPass.h" |
| 26 #include "llvm/CodeGen/MachineJumpTableInfo.h" | 27 #include "llvm/CodeGen/MachineJumpTableInfo.h" |
| 27 #include "llvm/CodeGen/MachineModuleInfo.h" | 28 #include "llvm/CodeGen/MachineModuleInfo.h" |
| 28 #include "llvm/CodeGen/MachineRegisterInfo.h" | 29 #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 29 #include "llvm/CodeGen/Passes.h" | 30 #include "llvm/CodeGen/Passes.h" |
| 30 #include "llvm/CodeGen/RegisterScavenging.h" | 31 #include "llvm/CodeGen/RegisterScavenging.h" |
| 31 #include "llvm/IR/Function.h" | 32 #include "llvm/IR/Function.h" |
| 32 #include "llvm/Support/CommandLine.h" | 33 #include "llvm/Support/CommandLine.h" |
| 33 #include "llvm/Support/Debug.h" | 34 #include "llvm/Support/Debug.h" |
| 34 #include "llvm/Support/ErrorHandling.h" | 35 #include "llvm/Support/ErrorHandling.h" |
| (...skipping 205 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 240 I != E; ++I) | 241 I != E; ++I) |
| 241 for (unsigned op = 0, e = I->getNumOperands(); op != e; ++op) { | 242 for (unsigned op = 0, e = I->getNumOperands(); op != e; ++op) { |
| 242 MachineOperand &Op = I->getOperand(op); | 243 MachineOperand &Op = I->getOperand(op); |
| 243 if (!Op.isJTI()) continue; | 244 if (!Op.isJTI()) continue; |
| 244 | 245 |
| 245 // Remember that this JT is live. | 246 // Remember that this JT is live. |
| 246 JTIsLive.set(Op.getIndex()); | 247 JTIsLive.set(Op.getIndex()); |
| 247 } | 248 } |
| 248 } | 249 } |
| 249 | 250 |
| 251 // @LOCALMOD-START |
| 252 // This currently only used on ARM targets where the ConstantPool |
| 253 // subclass is overloading getJumpTableIndex() |
| 254 const std::vector<MachineConstantPoolEntry>& CPs = |
| 255 MF.getConstantPool()->getConstants(); |
| 256 for (unsigned i = 0, e = CPs.size(); i != e; ++i) { |
| 257 if (!CPs[i].isMachineConstantPoolEntry()) continue; |
| 258 unsigned *JTIndex = CPs[i].Val.MachineCPVal->getJumpTableIndex(); |
| 259 if (!JTIndex) continue; |
| 260 // Remember that this JT is live. |
| 261 JTIsLive.set(*JTIndex); |
| 262 } |
| 263 // @LOCALMOD-END |
| 264 |
| 250 // Finally, remove dead jump tables. This happens when the | 265 // Finally, remove dead jump tables. This happens when the |
| 251 // indirect jump was unreachable (and thus deleted). | 266 // indirect jump was unreachable (and thus deleted). |
| 252 for (unsigned i = 0, e = JTIsLive.size(); i != e; ++i) | 267 for (unsigned i = 0, e = JTIsLive.size(); i != e; ++i) |
| 253 if (!JTIsLive.test(i)) { | 268 if (!JTIsLive.test(i)) { |
| 254 JTI->RemoveJumpTable(i); | 269 JTI->RemoveJumpTable(i); |
| 255 MadeChange = true; | 270 MadeChange = true; |
| 256 } | 271 } |
| 257 | 272 |
| 258 delete RS; | 273 delete RS; |
| 259 return MadeChange; | 274 return MadeChange; |
| (...skipping 1543 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1803 unsigned Def = LocalDefs[i]; | 1818 unsigned Def = LocalDefs[i]; |
| 1804 if (LocalDefsSet.count(Def)) { | 1819 if (LocalDefsSet.count(Def)) { |
| 1805 TBB->addLiveIn(Def); | 1820 TBB->addLiveIn(Def); |
| 1806 FBB->addLiveIn(Def); | 1821 FBB->addLiveIn(Def); |
| 1807 } | 1822 } |
| 1808 } | 1823 } |
| 1809 | 1824 |
| 1810 ++NumHoist; | 1825 ++NumHoist; |
| 1811 return true; | 1826 return true; |
| 1812 } | 1827 } |
| OLD | NEW |