|DJ graphs email@example.com (2003-01-25)|
|From:||firstname.lastname@example.org (Al Grant)|
|Date:||25 Jan 2003 01:11:54 -0500|
|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
/ \ /|\
B C and B | C
\ / \|/
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?
Return to the
Search the comp.compilers archives again.