Calculates the immediate dominators of all CFG nodes reachable from cfgEntry. Since the cfgEntry does not have an
immediate dominator, it has no entry in the return map.
Calculates the immediate dominators of all CFG nodes reachable from cfgEntry. Since the cfgEntry does not have an
immediate dominator, it has no entry in the return map.
The algorithm is from: "A Simple, Fast Dominance Algorithm" from "Keith D. Cooper, Timothy J. Harvey, and Ken
Kennedy".