factor/basis/compiler/cfg/checker/checker.factor

! Copyright (C) 2009, 2010 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: kernel combinators.short-circuit accessors math sequences
sets assocs compiler.cfg.instructions compiler.cfg.rpo
compiler.cfg.def-use compiler.cfg.linearization
compiler.cfg.utilities compiler.cfg.finalization
compiler.utilities ;
IN: compiler.cfg.checker

ERROR: bad-successors ;

: check-successors ( bb -- )
    dup successors>> [ predecessors>> member-eq? ] with all?
    [ bad-successors ] unless ;

: check-cfg ( cfg -- )
    [ check-successors ] each-basic-block ;
Change how non-volatile register preservation is done in alien callbacks, with the aim of fixing callbacks on PowerPC, and to eventually eliminate assembly code from VM - Simplify calculation of offset in relocation table - Open-code %alien-callback - Remove magic_frame hack from context objects - Move magical return instruction from optimizing compiler backend into callback entry stub 2010-01-02 07:03:30 -05:00			`! Copyright (C) 2009, 2010 Slava Pestov.`
compiler.cfg.checker: new vocabulary for checking CFG invariants 2009-05-25 20:16:58 -04:00			`! See http://factorcode.org/license.txt for BSD license.`
Fix the build 2009-09-09 14:44:54 -04:00			`USING: kernel combinators.short-circuit accessors math sequences`
			`sets assocs compiler.cfg.instructions compiler.cfg.rpo`
			`compiler.cfg.def-use compiler.cfg.linearization`
compiler: remove flat machine representation and generate code directly from the CFG 2010-05-02 18:48:41 -04:00			`compiler.cfg.utilities compiler.cfg.finalization`
compiler.cfg: remove unused 'reps' slot from compiler.cfg, and re-organize things in preparation for SSA register allocation 2010-04-28 04:47:38 -04:00			`compiler.utilities ;`
compiler.cfg.checker: new vocabulary for checking CFG invariants 2009-05-25 20:16:58 -04:00			`IN: compiler.cfg.checker`

CFG checker now checks consistency of successors and predecessors lists; fix long-standing bug in useless-blocks optimization 2009-05-28 03:49:51 -04:00			`ERROR: bad-successors ;`

			`: check-successors ( bb -- )`
memq? -> member-eq?, sorted-memq? -> sorted-member-eq? 2009-10-28 16:02:00 -04:00			`dup successors>> [ predecessors>> member-eq? ] with all?`
CFG checker now checks consistency of successors and predecessors lists; fix long-standing bug in useless-blocks optimization 2009-05-28 03:49:51 -04:00			`[ bad-successors ] unless ;`

compiler.cfg.checker: new vocabulary for checking CFG invariants 2009-05-25 20:16:58 -04:00			`: check-cfg ( cfg -- )`
FFI rewrite part 1: split up ##alien-invoke and friends into smaller instructions 2010-05-09 21:36:52 -04:00			`[ check-successors ] each-basic-block ;`