llvm::setWidenableBranchCond

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.

Synopsis

Declared in <llvm/Transforms/Utils/GuardUtils.h>

void
setWidenableBranchCond(
    CondBrInst* WidenableBR,
    Value* Cond);

Parameters

NameDescription
WidenableBRConditional Branch instruction.
CondLLVM Value Representation