search for: deriveddomfronti

Displaying 2 results from an estimated 2 matches for "deriveddomfronti".

Did you mean: 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 tha...