Displaying 2 results from an estimated 2 matches for "brdsutte".
Did you mean:
birdsuite
2012 Oct 03
0
[LLVMdev] Inter-procedural program flow analysis
Okay thanks for the info. The term program termination was probably a poor
choice of words. I'm really just trying to build an inter-procedural
BasicBlock graph, and then look for postdominance as Scott suggested. I'll
go about making my own since it doesn't sound like there is one out there
already.
Thanks,
-Stephen
On Tue, Oct 2, 2012 at 5:06 PM, Scott Moore <sdmoore at
2012 Oct 03
2
[LLVMdev] Inter-procedural program flow analysis
I think you're looking for an inter-procedural post dominator analysis. I
don't think there is one in LLVM already, but it should be relatively
straightforward.
This gives a sound approximation (i.e. no false positives) of something
sort-of equivalent to the halting problem: if the program terminates, then
block Y was executed.
Cheers,
Scott
On Tue, Oct 2, 2012 at 7:43 PM, Jim Grosbach