Rllvm (version 0.7-0)

getSuccessor: Get different aspects of a Branch Instruction

Description

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.

Usage

getSuccessor(x, i = 1L)
getNumSuccessors(x)
getCondition(x)

Arguments

x

the BranchInst object

i

an integer

Value