Displaying 2 results from an estimated 2 matches for "deriveddomfrontier".
2014 Jun 27
2
[LLVMdev] The implementation algorithm behind LLVM's RegionInfo class
Hi Tobi,
I have one additional question about the RegionInfo::isRegion
function. In the second case (i.e. Entry dominates Exit), why is checking
the following two conditions are equivalent to checking it's a refined
region:
For any BB in DF(exit), 1) BB should be in DF(entry)
2) BB reachable only from entry through
a path passing exit.
2014 Jun 27
3
[LLVMdev] The implementation algorithm behind LLVM's RegionInfo class
...t; check. First only basic blocks that are part of the dominance frontier
> of Exit are allowed to be element of the dominance frontier of Entry.
> And furthermore it has to be shown that these basic blocks can only be
> reached from Entry through a path passing Exit. To show this the
> derivedDomFrontier() function is used. derivedDomFrontier ( BB, Entry,
> Exit ) checks if there exists a path from Entry to BB that does not pass
> Exit. This is done by checkng for every predecessor of BB, that if it
> is dominated by Entry it is also dominated by Exit. It has still to be
> shown that...