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

compiler.cfg.dependence: keys-for ?first is not deterministic, use tiebreak-parents to get predictable ordering

db4
Björn Lindqvist 2014-11-10 23:20:46 +01:00 committed by Doug Coleman
parent 7ebceb50e5
commit a96fff60af
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
basis/compiler/cfg/dependence/dependence.factor
View File

@ -96,10 +96,14 @@ M: object add-control-edge 2drop ;
: attach-parent ( node parent -- ) : attach-parent ( node parent -- )
[ >>parent drop ] [ [ ?push ] change-children drop ] 2bi ; [ >>parent drop ] [ [ ?push ] change-children drop ] 2bi ;
! Arbitrary tie-breaker to make the ordering deterministic.
: tiebreak-parents ( nodes -- node/f )
[ f ] [ [ insn>> insn#>> ] infimum-by ] if-empty ;
: select-parent ( precedes -- parent/f ) : select-parent ( precedes -- parent/f )
! If a node has no control dependencies, then its parent is its first ! If a node has no control dependencies, then its parent is the tie-breaked
! data dependency, if it has one. Otherwise it is a root node. ! data dependency, if it has one. Otherwise it is a root node.
[ +control+ keys-for empty? ] [ +data+ keys-for ?first ] bi f ? ; [ +control+ keys-for empty? ] [ +data+ keys-for tiebreak-parents ] bi f ? ;
: maybe-set-parent ( node -- ) : maybe-set-parent ( node -- )
dup precedes>> select-parent [ attach-parent ] [ drop ] if* ; dup precedes>> select-parent [ attach-parent ] [ drop ] if* ;