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...