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

Test updates

db4
Slava Pestov 2009-05-28 02:50:07 -05:00
parent ecece1d08b
commit fc5587bda3
2 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
basis/compiler/cfg/optimizer/optimizer-tests.factor
View File

@ -1,8 +1,14 @@
USING: arrays sequences tools.test compiler.cfg.checker compiler.cfg.debugger USING: arrays sequences tools.test compiler.cfg.checker compiler.cfg.debugger
compiler.cfg.def-use sets kernel ; compiler.cfg.def-use sets kernel kernel.private fry slots.private ;
IN: compiler.cfg.optimizer.tests IN: compiler.cfg.optimizer.tests
! Miscellaneous tests ! Miscellaneous tests
[ ] [ [ 1array ] test-mr first check-mr ] unit-test {
[ ] [ [ 1 2 ? ] test-mr first check-mr ] unit-test [ 1array ]
[ 1 2 ? ]
[ { array } declare [ ] map ]
[ { array } declare dup 1 slot [ 1 slot ] when ]
} [
[ [ ] ] dip '[ _ test-mr first check-mr ] unit-test
] each

7
basis/compiler/cfg/stack-analysis/stack-analysis-tests.factor
View File

@ -3,7 +3,8 @@ compiler.cfg.predecessors compiler.cfg.stack-analysis
compiler.cfg.instructions sequences kernel tools.test accessors compiler.cfg.instructions sequences kernel tools.test accessors
sequences.private alien math combinators.private compiler.cfg sequences.private alien math combinators.private compiler.cfg
compiler.cfg.checker compiler.cfg.height compiler.cfg.rpo compiler.cfg.checker compiler.cfg.height compiler.cfg.rpo
compiler.cfg.dce compiler.cfg.registers sets ; compiler.cfg.dce compiler.cfg.registers compiler.cfg.useless-blocks
sets ;
IN: compiler.cfg.stack-analysis.tests IN: compiler.cfg.stack-analysis.tests
! Fundamental invariant: a basic block should not load or store a value more than once ! Fundamental invariant: a basic block should not load or store a value more than once
@ -22,9 +23,11 @@ IN: compiler.cfg.stack-analysis.tests
: test-stack-analysis ( quot -- mr ) : test-stack-analysis ( quot -- mr )
dup cfg? [ test-cfg first ] unless dup cfg? [ test-cfg first ] unless
dup compute-predecessors dup compute-predecessors
dup delete-useless-blocks
dup delete-useless-conditionals
reverse-post-order reverse-post-order
dup stack-analysis
dup normalize-height dup normalize-height
dup stack-analysis
dup check-rpo dup check-rpo
dup check-for-redundant-ops ; dup check-for-redundant-ops ;