Reachability info in LLVM?

Project Infrastructure LLVM Dev List Archives
#1

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

#2

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

-Chris

#3

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

#4

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