search for: checkng

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

Did you mean: checking
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
...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 there are no edges entering the region. As all basic blocks > are dominated by Entry the only case where edges enter the region is if > Exit is dominated by En...