48 struct MakeGuardsExplicitLegacyPass :
public FunctionPass {
71 auto *GuardDecl =
F.getParent()->getFunction(
73 if (!GuardDecl || GuardDecl->use_empty())
81 if (GuardIntrinsics.
empty())
85 F.getParent(), Intrinsic::experimental_deoptimize, {
F.getReturnType()});
88 for (
auto *Guard : GuardIntrinsics)
100 "Lower the guard intrinsic to explicit control flow form",
bool isWidenableBranch(const User *U)
Returns true iff U is a widenable branch (that is, parseWidenableBranch returns true).
SymbolTableList< Instruction >::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
This class represents lattice values for constants.
LLVM_NODISCARD bool empty() const
void push_back(const T &Elt)
This class represents a function call, abstracting a target machine's calling convention.
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction if the block is well formed or null if the block is not well forme...
StringRef getName(ID id)
Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
Function * getDeclaration(Module *M, ID id, ArrayRef< Type * > Tys=None)
Create or insert an LLVM Function declaration for an intrinsic, and return it.
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
static bool runOnFunction(Function &F, bool PostInlining)
void setCallingConv(CallingConv::ID CC)
A set of analyses that are preserved following a run of a transformation pass.
LLVM Basic Block Representation.
FunctionPass class - This class is used to implement most global optimizations.
void initializeMakeGuardsExplicitLegacyPassPass(PassRegistry &)
static bool explicifyGuards(Function &F)
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
bool isGuard(const User *U)
Returns true iff U has semantics of a guard expressed in a form of call of llvm.experimental....
void makeGuardControlFlowExplicit(Function *DeoptIntrinsic, CallInst *Guard, bool UseWC)
Splits control flow at point of Guard, replacing it with explicit branch by the condition of guard's ...
static void turnToExplicitForm(CallInst *Guard, Function *DeoptIntrinsic)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
INITIALIZE_PASS(MakeGuardsExplicitLegacyPass, "make-guards-explicit", "Lower the guard intrinsic to explicit control flow form", false, false) PreservedAnalyses MakeGuardsExplicitPass
inst_range instructions(Function *F)
A container for analyses that lazily runs them and caches their results.
const BasicBlock * getParent() const