ΒΆ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