Re: Dominance frontier example in "Engineering a Compiler"

From: Raj <klvnraju@xxxxxxxxx>
Date: Tue, 03 Jul 2007 15:12:51 -0700

B1 cannot be dominance frontier of itself.
See the definition:
A definition at n forces a X-function at m iff
n not DOM(m) but n DOM(p) for some p preds(m)

here, in your case
n=m=B1
and n DOM(m) (according to definition n should not belong to DOM(m))

.

Follow-Ups:
- Re: Dominance frontier example in "Engineering a Compiler"
  - From: Rayiner Hashem

Prev by Date: Re: Grammar for optional elements
Next by Date: Re: bison and/or antlr ?
Previous by thread: Re: Grammar for optional elements
Next by thread: Re: Dominance frontier example in "Engineering a Compiler"
Index(es):
- Date
- Thread