[dylan-lang/opendylan] 03e8de: dfmc: Improve identification of local block exits

  Branch: refs/heads/master
  Home:   https://github.com/dylan-lang/opendylan
  Commit: 03e8de7a01e6701ca6b78209861358906f6f09e5
      https://github.com/dylan-lang/opendylan/commit/03e8de7a01e6701ca6b78209861358906f6f09e5
  Author: Peter S. Housel <[email protected]>
  Date:   2015-04-06 (Mon, 06 Apr 2015)

  Changed paths:
    M sources/dfmc/flow-graph/closure.dylan

  Log Message:
  -----------
  dfmc: Improve identification of local block exits

Replace an overly simplistic criterion for identifying a local block
exit with a more sophisticated (but still not perfect) estimate. A full
solution would likely require performing data-flow analysis, but the DFM
structures are poorly equipped to support this type of check.

* sources/dfmc/flow-graph/closure.dylan
  (analyze-block): Replace the original "overly conservative" check with
   one using computations-exit-with-intervening-block?().
  (computations-exit-with-intervening-block?,
   exit-with-intervening-block?): New methods for identifying <block>
   computations whose exits cross other blocks.

_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter