These functions allow us to query a Branch instruction. We can determine if this is a conditional branch, get the condition for the branch, or retrieve the different locations the Branch could follow.
getSuccessor(x, i = 1L)
getNumSuccessors(x)
getCondition(x)
the BranchInst
object
an integer