steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.tree.propagation.recursive: more fine-grained generalize-counter-interval eliminates overflow checks from binary-search

db4
Slava Pestov 2010-04-18 15:26:59 -05:00
parent 2aaf24412a
commit bc9241d2b7
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
basis/compiler/tree/propagation/recursive/recursive.factor
View File

@ -1,7 +1,7 @@
! Copyright (C) 2008, 2009 Slava Pestov. ! Copyright (C) 2008, 2010 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: kernel sequences accessors arrays fry math math.intervals USING: kernel classes.algebra sequences accessors arrays fry
layouts combinators namespaces locals math math.intervals layouts combinators namespaces locals
stack-checker.inlining stack-checker.inlining
compiler.tree compiler.tree
compiler.tree.combinators compiler.tree.combinators
@ -11,6 +11,7 @@ compiler.tree.propagation.nodes
compiler.tree.propagation.simple compiler.tree.propagation.simple
compiler.tree.propagation.branches compiler.tree.propagation.branches
compiler.tree.propagation.constraints ; compiler.tree.propagation.constraints ;
FROM: sequences.private => array-capacity ;
IN: compiler.tree.propagation.recursive IN: compiler.tree.propagation.recursive
: check-fixed-point ( node infos1 infos2 -- ) : check-fixed-point ( node infos1 infos2 -- )
@ -24,7 +25,14 @@ IN: compiler.tree.propagation.recursive
[ label>> calls>> [ node>> node-input-infos ] map flip ] [ label>> calls>> [ node>> node-input-infos ] map flip ]
[ latest-input-infos ] bi ; [ latest-input-infos ] bi ;
: counter-class ( interval class -- class' )
dup fixnum class<= [
swap array-capacity-interval interval-subset?
[ drop array-capacity ] when
] [ nip ] if ;
:: generalize-counter-interval ( interval initial-interval class -- interval' ) :: generalize-counter-interval ( interval initial-interval class -- interval' )
interval class counter-class :> class
{ {
{ [ interval initial-interval interval-subset? ] [ initial-interval ] } { [ interval initial-interval interval-subset? ] [ initial-interval ] }
{ [ interval empty-interval eq? ] [ initial-interval ] } { [ interval empty-interval eq? ] [ initial-interval ] }