DJ graphs

algrant@myrealbox.com (Al Grant)
25 Jan 2003 01:11:54 -0500

          From comp.compilers

Related articles
DJ graphs algrant@myrealbox.com (2003-01-25)
| List of all articles for this month |

From: algrant@myrealbox.com (Al Grant)
Newsgroups: comp.compilers
Date: 25 Jan 2003 01:11:54 -0500
Organization: http://groups.google.com/
Keywords: analysis, question
Posted-Date: 25 Jan 2003 01:11:54 EST

I have a question about DJ graphs. AIUI it is the dominance tree
(D edges) plus J edges for any CFG arcs which aren't already in the
dominance tree. But how does this distinguish


      A A
    / \ /|\
  B C and B | C
    \ / \|/
      D D


The DJ graph of #1 is the dominance tree plus J edges B-D and C-D. In
particular there is a D edge A-D. The constructions I've seen would
produce the same graph for #2. Surely that can't be right?


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.