[Mono-list] Question on MonoBURG's DAG-related mechanisms
nkavv at physics.auth.gr
Tue May 9 05:21:02 EDT 2006
-----BEGIN PGP SIGNED MESSAGE-----
i would like to ask you (Mono users :) a few questions regarding MonoBURG.
1. When using the "-e" or "--dag" option for enabling DAG-based
pattern matching, the data structure that the matcher will work on is
an MBState and not an MBTree. It is reasonable that the MBTree would
not suffice since a) it does not support CSEs, b) there is no case for
a multi-output IR tree. Both a),b) occur in DAGs. My question is: how
is the matching algorithm altered when using MBState? Does it have any
relation to the more recent (when compared to BURG 1992 paper) method
of "Finite-State Code Generation"? (PLDI 1999, Fraser-Proebstring). If
we are talking for another technique, is it anywhere documented (e.g.
2. Is there any detailed documentation for MonoBURG? I could only find
the ChangeLog (that doesn't count for documentation :) and the man
page which is helpful but it's just a man page.
3. Is there any toy example (similar to "sample.brg") for a
I would like to thank you in advance.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (MingW32)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the Mono-list