What is a post dominator tree? What's the difference between it and the dominator tree?

Questions
#1

What is a post dominator tree? What’s the difference between it and the dominator tree?

#3

The post dominator means that in the forward graph, where the paths from current node will join together at the first time. The first join node is the post dominator of the current node.

For example，in the forward graph, A is the input of the model, F is the output of the model,

       A
   /   |    \
 B     C     D
  \   /     /
    E      /
     \    /
       F

All path from A wil join at F. So F is the post-dominator of A.

In the other words, A is the dominator of F, since all paths to F contain A.

1 Like
#4

so， A is the dominator of F ， F is the post-dominator of A ？

           A
        /      \
      B         C
        \       / 
           D
         /     \
      E          F
        \       /  
            G

so. dominator tree:

            A
         /  |  \
       B    D   C
          / | \
        E   G   F

post-dominator tree

          A
    B     |     C
     \    |    /
          D
    E     |     F
     \    |    /
          G

Am I right ？？？