factor/basis/compiler/cfg/mr/mr.factor

! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: kernel namespaces accessors compiler.cfg
compiler.cfg.linearization compiler.cfg.gc-checks
compiler.cfg.linear-scan compiler.cfg.build-stack-frame ;
IN: compiler.cfg.mr

: build-mr ( cfg -- mr )
    insert-gc-checks
    linear-scan
    flatten-cfg
    build-stack-frame ;
Split off local-optimization combinator into compiler.cfg.local, factor out CFG -> MR into compiler.cfg.mr, split off GC check insertion into a new compiler.cfg.gc-checks pass 2009-05-31 13:20:46 -04:00			`! Copyright (C) 2009 Slava Pestov.`
			`! See http://factorcode.org/license.txt for BSD license.`
compiler.cfg: new system to track when results of analyses need to be recomputed (reverse post order, linear order, predecessors, dominance, loops). Passes can now call needs-predecessors, needs-dominance, needs-loops at the beginning, and cfg-changed, predecessors-changd at the end. Linearization order now takes loop nesting into account, and linear scan now uses linearization order instead of RPO. 2009-08-08 21:02:56 -04:00			`USING: kernel namespaces accessors compiler.cfg`
compiler.cfg: virtual registers are integers now, and representations are stored off to the side. Fix bug in representation selection that would manifest if a value was used as a float and a fixnum in different branches; cannot globally unbox float in this case 2009-08-08 05:02:18 -04:00			`compiler.cfg.linearization compiler.cfg.gc-checks`
			`compiler.cfg.linear-scan compiler.cfg.build-stack-frame ;`
Split off local-optimization combinator into compiler.cfg.local, factor out CFG -> MR into compiler.cfg.mr, split off GC check insertion into a new compiler.cfg.gc-checks pass 2009-05-31 13:20:46 -04:00			`IN: compiler.cfg.mr`

			`: build-mr ( cfg -- mr )`
compiler.cfg: new system to track when results of analyses need to be recomputed (reverse post order, linear order, predecessors, dominance, loops). Passes can now call needs-predecessors, needs-dominance, needs-loops at the beginning, and cfg-changed, predecessors-changd at the end. Linearization order now takes loop nesting into account, and linear scan now uses linearization order instead of RPO. 2009-08-08 21:02:56 -04:00			`insert-gc-checks`
			`linear-scan`
			`flatten-cfg`
			`build-stack-frame ;`