Sets a widenable branch's condition to Cond while keeping it widenable.
Declared in <llvm/Transforms/Utils/GuardUtils.h>
void
setWidenableBranchCond(
CondBrInst* WidenableBR,
Value* Cond);Given a branch we know is widenable (defined per Analysis/GuardUtils.h), set its condition such that (only) Cond is known to hold on the taken path and that the branch remains widenable after the transform.
| Name | Description |
|---|---|
| WidenableBR | Widenable conditional branch whose condition is set. |
| Cond | Condition that must hold on the taken path. |