diff options
Diffstat (limited to 'llvm/lib/Target/AMDGPU/SIAnnotateControlFlow.cpp')
| -rw-r--r-- | llvm/lib/Target/AMDGPU/SIAnnotateControlFlow.cpp | 42 |
1 files changed, 27 insertions, 15 deletions
diff --git a/llvm/lib/Target/AMDGPU/SIAnnotateControlFlow.cpp b/llvm/lib/Target/AMDGPU/SIAnnotateControlFlow.cpp index b87cd8c66cc8..932c0d6216ce 100644 --- a/llvm/lib/Target/AMDGPU/SIAnnotateControlFlow.cpp +++ b/llvm/lib/Target/AMDGPU/SIAnnotateControlFlow.cpp @@ -19,6 +19,7 @@ #include "llvm/IR/BasicBlock.h" #include "llvm/IR/Constants.h" #include "llvm/IR/Dominators.h" +#include "llvm/IR/IRBuilder.h" #include "llvm/IR/IntrinsicsAMDGPU.h" #include "llvm/InitializePasses.h" #include "llvm/Target/TargetMachine.h" @@ -206,9 +207,12 @@ bool SIAnnotateControlFlow::openIf(BranchInst *Term) { if (isUniform(Term)) return false; - Value *Ret = CallInst::Create(If, Term->getCondition(), "", Term); - Term->setCondition(ExtractValueInst::Create(Ret, 0, "", Term)); - push(Term->getSuccessor(1), ExtractValueInst::Create(Ret, 1, "", Term)); + IRBuilder<> IRB(Term); + Value *IfCall = IRB.CreateCall(If, {Term->getCondition()}); + Value *Cond = IRB.CreateExtractValue(IfCall, {0}); + Value *Mask = IRB.CreateExtractValue(IfCall, {1}); + Term->setCondition(Cond); + push(Term->getSuccessor(1), Mask); return true; } @@ -217,15 +221,24 @@ bool SIAnnotateControlFlow::insertElse(BranchInst *Term) { if (isUniform(Term)) { return false; } - Value *Ret = CallInst::Create(Else, popSaved(), "", Term); - Term->setCondition(ExtractValueInst::Create(Ret, 0, "", Term)); - push(Term->getSuccessor(1), ExtractValueInst::Create(Ret, 1, "", Term)); + + IRBuilder<> IRB(Term); + Value *ElseCall = IRB.CreateCall(Else, {popSaved()}); + Value *Cond = IRB.CreateExtractValue(ElseCall, {0}); + Value *Mask = IRB.CreateExtractValue(ElseCall, {1}); + Term->setCondition(Cond); + push(Term->getSuccessor(1), Mask); return true; } /// Recursively handle the condition leading to a loop Value *SIAnnotateControlFlow::handleLoopCondition( Value *Cond, PHINode *Broken, llvm::Loop *L, BranchInst *Term) { + + auto CreateBreak = [this, Cond, Broken](Instruction *I) -> CallInst * { + return IRBuilder<>(I).CreateCall(IfBreak, {Cond, Broken}); + }; + if (Instruction *Inst = dyn_cast<Instruction>(Cond)) { BasicBlock *Parent = Inst->getParent(); Instruction *Insert; @@ -235,8 +248,7 @@ Value *SIAnnotateControlFlow::handleLoopCondition( Insert = L->getHeader()->getFirstNonPHIOrDbgOrLifetime(); } - Value *Args[] = { Cond, Broken }; - return CallInst::Create(IfBreak, Args, "", Insert); + return CreateBreak(Insert); } // Insert IfBreak in the loop header TERM for constant COND other than true. @@ -244,14 +256,12 @@ Value *SIAnnotateControlFlow::handleLoopCondition( Instruction *Insert = Cond == BoolTrue ? Term : L->getHeader()->getTerminator(); - Value *Args[] = { Cond, Broken }; - return CallInst::Create(IfBreak, Args, "", Insert); + return CreateBreak(Insert); } if (isa<Argument>(Cond)) { Instruction *Insert = L->getHeader()->getFirstNonPHIOrDbgOrLifetime(); - Value *Args[] = { Cond, Broken }; - return CallInst::Create(IfBreak, Args, "", Insert); + return CreateBreak(Insert); } llvm_unreachable("Unhandled loop condition!"); @@ -268,7 +278,8 @@ bool SIAnnotateControlFlow::handleLoop(BranchInst *Term) { return false; BasicBlock *Target = Term->getSuccessor(1); - PHINode *Broken = PHINode::Create(IntMask, 0, "phi.broken", &Target->front()); + PHINode *Broken = PHINode::Create(IntMask, 0, "phi.broken"); + Broken->insertBefore(Target->begin()); Value *Cond = Term->getCondition(); Term->setCondition(BoolTrue); @@ -286,7 +297,8 @@ bool SIAnnotateControlFlow::handleLoop(BranchInst *Term) { Broken->addIncoming(PHIValue, Pred); } - Term->setCondition(CallInst::Create(Loop, Arg, "", Term)); + CallInst *LoopCall = IRBuilder<>(Term).CreateCall(Loop, {Arg}); + Term->setCondition(LoopCall); push(Term->getSuccessor(0), Arg); @@ -325,7 +337,7 @@ bool SIAnnotateControlFlow::closeControlFlow(BasicBlock *BB) { // Split edge to make Def dominate Use FirstInsertionPt = &*SplitEdge(DefBB, BB, DT, LI)->getFirstInsertionPt(); } - CallInst::Create(EndCf, Exec, "", FirstInsertionPt); + IRBuilder<>(FirstInsertionPt).CreateCall(EndCf, {Exec}); } return true; |
