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

! Copyright (C) 2009, 2010 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: accessors compiler.cfg.rpo kernel sequences ;
IN: compiler.cfg.checker

ERROR: bad-successors ;

: check-successors ( bb -- )
    dup successors>> [ predecessors>> member-eq? ] with all?
    [ throw-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.`
compiler: cleanup usings. 2014-12-13 19:10:21 -05:00			`USING: accessors compiler.cfg.rpo kernel sequences ;`
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?`
basis: ERROR: changes. 2015-08-13 06:20:39 -04:00			`[ throw-bad-successors ] unless ;`
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
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 ;`