1 //===- LowerSelect.cpp - Transform select insts to branches ---------------===//
3 // The LLVM Compiler Infrastructure
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This pass lowers select instructions into conditional branches for targets
11 // that do not have conditional moves or that have not implemented the select
14 // Note that this pass could be improved. In particular it turns every select
15 // instruction into a new conditional branch, even though some common cases have
16 // select instructions on the same predicate next to each other. It would be
17 // better to use the same branch for the whole group of selects.
19 //===----------------------------------------------------------------------===//
21 #include "llvm/Transforms/Scalar.h"
22 #include "llvm/Transforms/Utils/UnifyFunctionExitNodes.h"
23 #include "llvm/Function.h"
24 #include "llvm/Instructions.h"
25 #include "llvm/Pass.h"
26 #include "llvm/Type.h"
27 #include "llvm/ADT/Statistic.h"
31 Statistic<> NumLowered("lowerselect","Number of select instructions lowered");
33 /// LowerSelect - Turn select instructions into conditional branches.
35 class LowerSelect : public FunctionPass {
36 bool OnlyFP; // Only lower FP select instructions?
38 LowerSelect(bool onlyfp = false) : OnlyFP(onlyfp) {}
40 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
41 // This certainly destroys the CFG.
42 // This is a cluster of orthogonal Transforms:
43 AU.addPreserved<UnifyFunctionExitNodes>();
44 AU.addPreservedID(PromoteMemoryToRegisterID);
45 AU.addPreservedID(LowerSwitchID);
46 AU.addPreservedID(LowerInvokePassID);
47 AU.addPreservedID(LowerAllocationsID);
50 bool runOnFunction(Function &F);
53 RegisterPass<LowerSelect>
54 X("lowerselect", "Lower select instructions to branches");
57 // Publically exposed interface to pass...
58 const PassInfo *llvm::LowerSelectID = X.getPassInfo();
59 //===----------------------------------------------------------------------===//
60 // This pass converts SelectInst instructions into conditional branch and PHI
61 // instructions. If the OnlyFP flag is set to true, then only floating point
62 // select instructions are lowered.
64 FunctionPass *llvm::createLowerSelectPass(bool OnlyFP) {
65 return new LowerSelect(OnlyFP);
69 bool LowerSelect::runOnFunction(Function &F) {
71 for (Function::iterator BB = F.begin(), E = F.end(); BB != E; ++BB)
72 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
73 if (SelectInst *SI = dyn_cast<SelectInst>(I))
74 if (!OnlyFP || SI->getType()->isFloatingPoint()) {
75 // Split this basic block in half right before the select instruction.
77 BB->splitBasicBlock(I, BB->getName()+".selectcont");
79 // Make the true block, and make it branch to the continue block.
80 BasicBlock *NewTrue = new BasicBlock(BB->getName()+".selecttrue",
81 BB->getParent(), NewCont);
82 new BranchInst(NewCont, NewTrue);
84 // Make the unconditional branch in the incoming block be a
85 // conditional branch on the select predicate.
86 BB->getInstList().erase(BB->getTerminator());
87 new BranchInst(NewTrue, NewCont, SI->getCondition(), BB);
89 // Create a new PHI node in the cont block with the entries we need.
90 std::string Name = SI->getName(); SI->setName("");
91 PHINode *PN = new PHINode(SI->getType(), Name, NewCont->begin());
92 PN->addIncoming(SI->getTrueValue(), NewTrue);
93 PN->addIncoming(SI->getFalseValue(), BB);
95 // Use the PHI instead of the select.
96 SI->replaceAllUsesWith(PN);
97 NewCont->getInstList().erase(SI);
100 break; // This block is done with.