Displaying 2 results from an estimated 2 matches for "iscommondomfronti".
Did you mean:
iscommondomfrontier
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
...try but not
> by Exit. So the dominance frontier of Exit is not allowed to contain any
> basic blocks that are dominated by Entry.
>
> The code in lib/Analysis/RegionInfo.cpp matches this description almost
> one-to-one with the only change that derivedDomFrontier was renamed to
> isCommonDomFrontier().
>
> Did you read this text? Does it make sense to you? It is not a nicely
> written mathematical proof but may give an intuition.
>
> Out of interest, why are you interested in the formalization of the
> RegionInfo pass? Do you happen to have a test case where it is
> inco...