ControlFlowUtils.cpp File Reference

#include "llvm/Transforms/Utils/ControlFlowUtils.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/Analysis/DomTreeUpdater.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/ValueHandle.h"
#include "llvm/Transforms/Utils/Local.h"

Go to the source code of this file.

Macros
#define	DEBUG_TYPE   "control-flow-hub"

Typedefs
using	BBPredicates = DenseMap< BasicBlock *, Instruction * >
using	EdgeDescriptor = ControlFlowHub::BranchDescriptor

Functions
static Value *	redirectToHub (BasicBlock *BB, BasicBlock *Succ0, BasicBlock *Succ1, BasicBlock *FirstGuardBlock)
static void	setupBranchForGuard (ArrayRef< BasicBlock * > GuardBlocks, ArrayRef< BasicBlock * > Outgoing, BBPredicates &GuardPredicates)
static void	calcPredicateUsingInteger (ArrayRef< EdgeDescriptor > Branches, ArrayRef< BasicBlock * > Outgoing, ArrayRef< BasicBlock * > GuardBlocks, BBPredicates &GuardPredicates)
static void	calcPredicateUsingBooleans (ArrayRef< EdgeDescriptor > Branches, ArrayRef< BasicBlock * > Outgoing, SmallVectorImpl< BasicBlock * > &GuardBlocks, BBPredicates &GuardPredicates, SmallVectorImpl< WeakVH > &DeletionCandidates)
static void	convertToGuardPredicates (ArrayRef< EdgeDescriptor > Branches, ArrayRef< BasicBlock * > Outgoing, SmallVectorImpl< BasicBlock * > &GuardBlocks, SmallVectorImpl< WeakVH > &DeletionCandidates, const StringRef Prefix, std::optional< unsigned > MaxControlFlowBooleans)
static void	reconnectPhis (BasicBlock *Out, BasicBlock *GuardBlock, ArrayRef< EdgeDescriptor > Incoming, BasicBlock *FirstGuardBlock)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "control-flow-hub"

Definition at line 22 of file ControlFlowUtils.cpp.

Typedef Documentation

BBPredicates

using BBPredicates = DenseMap<BasicBlock *, Instruction *>

Definition at line 26 of file ControlFlowUtils.cpp.

EdgeDescriptor

using EdgeDescriptor = ControlFlowHub::BranchDescriptor

Definition at line 27 of file ControlFlowUtils.cpp.

Function Documentation

calcPredicateUsingBooleans()

static void calcPredicateUsingBooleans ( ArrayRef< EdgeDescriptor >  Branches, ArrayRef< BasicBlock * >  Outgoing, SmallVectorImpl< BasicBlock * > &  GuardBlocks, BBPredicates &  GuardPredicates, SmallVectorImpl< WeakVH > &  DeletionCandidates  )

static

Definition at line 131 of file ControlFlowUtils.cpp.

References assert(), llvm::PHINode::Create(), llvm::dbgs(), llvm::SmallVectorTemplateCommon< T, typename >::front(), llvm::ConstantInt::getFalse(), llvm::Type::getInt1Ty(), llvm::Value::getName(), llvm::ConstantInt::getTrue(), I, llvm::invertCondition(), LLVM_DEBUG, llvm::SmallVectorTemplateBase< T, bool >::push_back(), redirectToHub(), and llvm::ArrayRef< T >::size().

Referenced by convertToGuardPredicates().

calcPredicateUsingInteger()

static void calcPredicateUsingInteger ( ArrayRef< EdgeDescriptor >  Branches, ArrayRef< BasicBlock * >  Outgoing, ArrayRef< BasicBlock * >  GuardBlocks, BBPredicates &  GuardPredicates  )

static

Definition at line 86 of file ControlFlowUtils.cpp.

References llvm::ArrayRef< T >::begin(), llvm::PHINode::Create(), llvm::SelectInst::Create(), llvm::dbgs(), llvm::find(), llvm::ArrayRef< T >::front(), llvm::Type::getInt32Ty(), llvm::Value::getName(), I, LLVM_DEBUG, redirectToHub(), and llvm::ArrayRef< T >::size().

Referenced by convertToGuardPredicates().

convertToGuardPredicates()

static void convertToGuardPredicates ( ArrayRef< EdgeDescriptor >  Branches, ArrayRef< BasicBlock * >  Outgoing, SmallVectorImpl< BasicBlock * > &  GuardBlocks, SmallVectorImpl< WeakVH > &  DeletionCandidates, const StringRef  Prefix, std::optional< unsigned >  MaxControlFlowBooleans  )

static

Definition at line 202 of file ControlFlowUtils.cpp.

References calcPredicateUsingBooleans(), calcPredicateUsingInteger(), llvm::BasicBlock::Create(), F, llvm::ArrayRef< T >::front(), I, llvm::SmallVectorTemplateBase< T, bool >::push_back(), setupBranchForGuard(), and llvm::ArrayRef< T >::size().

Referenced by llvm::ControlFlowHub::finalize().

reconnectPhis()

static void reconnectPhis ( BasicBlock *  Out, BasicBlock *  GuardBlock, ArrayRef< EdgeDescriptor >  Incoming, BasicBlock *  FirstGuardBlock  )

static

Definition at line 237 of file ControlFlowUtils.cpp.

References assert(), llvm::BasicBlock::begin(), llvm::PHINode::Create(), llvm::BasicBlock::end(), llvm::PoisonValue::get(), and I.

Referenced by llvm::ControlFlowHub::finalize().

redirectToHub()

static Value * redirectToHub ( BasicBlock *  BB, BasicBlock *  Succ0, BasicBlock *  Succ1, BasicBlock *  FirstGuardBlock  )

static

Definition at line 35 of file ControlFlowUtils.cpp.

References assert(), llvm::BranchInst::Create(), and llvm::BasicBlock::getTerminator().

Referenced by calcPredicateUsingBooleans(), and calcPredicateUsingInteger().

setupBranchForGuard()

static void setupBranchForGuard ( ArrayRef< BasicBlock * >  GuardBlocks, ArrayRef< BasicBlock * >  Outgoing, BBPredicates &  GuardPredicates  )

static

Definition at line 68 of file ControlFlowUtils.cpp.

References assert(), llvm::BranchInst::Create(), I, and llvm::ArrayRef< T >::size().

Referenced by convertToGuardPredicates().