From 5197aca215a1be80d8f00cd458a32d7f684a8fa7 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 20 Aug 2009 18:15:41 -0500 Subject: [PATCH] compiler.cfg.dataflow-analysis: when intersecting sets, treat uninitialized sets as universal rather than empty; reduces number of stack instructions generated by 1% --- .../compiler/cfg/dataflow-analysis/dataflow-analysis.factor | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/basis/compiler/cfg/dataflow-analysis/dataflow-analysis.factor b/basis/compiler/cfg/dataflow-analysis/dataflow-analysis.factor index 275a4585b0..dde44fd15d 100644 --- a/basis/compiler/cfg/dataflow-analysis/dataflow-analysis.factor +++ b/basis/compiler/cfg/dataflow-analysis/dataflow-analysis.factor @@ -23,7 +23,11 @@ GENERIC# compute-in-set 2 ( bb out-sets dfa -- set ) M: kill-block compute-in-set 3drop f ; M:: basic-block compute-in-set ( bb out-sets dfa -- set ) - bb dfa predecessors [ out-sets at ] map bb dfa join-sets ; + ! Only consider initialized sets. + bb dfa predecessors + [ out-sets key? ] filter + [ out-sets at ] map + bb dfa join-sets ; :: update-in-set ( bb in-sets out-sets dfa -- ? ) bb out-sets dfa compute-in-set