Whirlwind - composing analyses automatically

From: Andrei Alexandrescu (andrei@cs.washington.edu)
Date: Sat Feb 08 2003 - 20:31:23 PST

  • Next message: Diane: "1/2 OFF VIAGRA!"

    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