Reachability info in LLVM?

Dear All,

I am new to LLVM and want to know if LLVM provides any reachability information about the instructions inside a function? For example, is instruction ‘J’ reachable from the instruction ‘I’? (just based on CFG)

Thanks a lot,
::Saman

You can just do a depth first search on the cfg?

-Chris

Thanks. that’s right but I was looking for sth like “successor closure” set for each instruction ‘I’ that includes all reachable instructions from I.
Does LLVM provide such a set?

Thanks alot,
::Saman

Dear All,

I am new to LLVM and want to know if LLVM provides any reachability information about the instructions inside a function? For example, is instruction ‘J’ reachable from the instruction ‘I’? (just based on CFG)

You can just do a depth first search on the cfg?

-Chris

Thanks. that’s right but I was looking for sth like “successor closure” set for each instruction ‘I’ that includes all reachable instructions from I.
Does LLVM provide such a set?

Nope,

-Chris