ΒΆvoid setWidenableBranchCond(
llvm::BranchInst* WidenableBR,
llvm::Value* Cond)
void setWidenableBranchCond(
llvm::BranchInst* WidenableBR,
llvm::Value* Cond)
Description
Given a branch we know is widenable (defined per Analysis/GuardUtils.h), *set* it's condition such that (only) 'Cond' is known to hold on the taken path and that the branch remains widenable after transform.
Declared at: llvm/include/llvm/Transforms/Utils/GuardUtils.h:40
Parameters
- llvm::BranchInst* WidenableBR
- llvm::Value* Cond