From: Andrei Alexandrescu (andrei@cs.washington.edu)
Date: Sat Feb 08 2003 - 20:31:23 PST
I was just thinking of an interesting analogy between combining analyses in
whirlwind and the way operator precedence is defined in Cecil (the best
approach I've seen btw).
The idea is that maybe new analyses can be positioned relatively to the
existing ones. So someone who introduces a new analysis can specify some
precendence requirements, and then let the framework combine freely the
analyses of the same "strength".
For example, cfg_constant_prop can specify that it must always run before
constant_prop. This does introduce a little dependency between different
analyses, but only between those of which order is important anyway. Then,
analyses that can be combined arbitrarily would not depend on each other at
all.
Would this work?
Andrei
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://mailman.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Sat Feb 08 2003 - 20:31:30 PST