Widens a widenable branch so that NewCond also holds on the taken path.
Declared in <llvm/Transforms/Utils/GuardUtils.h>
void
widenWidenableBranch(
CondBrInst* WidenableBR,
Value* NewCond);Given a branch we know is widenable (defined per Analysis/GuardUtils.h), widen it such that condition NewCond is also known to hold on the taken path. The branch remains widenable after the transform.
| Name | Description |
|---|---|
| WidenableBR | Widenable conditional branch to widen. |
| NewCond | Additional condition that must hold on the taken path. |