steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
factor/basis/compiler/tree/propagation/info/info-tests.factor

80 lines
1.7 KiB
Factor
Raw Normal View History

Working on propagation pass
2008-07-22 05:45:03 -04:00
USING: accessors math math.intervals sequences classes.algebra
Update documentation for stricter vocabulary search path semantics
2009-05-16 01:29:21 -04:00
kernel tools.test compiler.tree.propagation.info arrays ;
Working on propagation pass
2008-07-22 05:45:03 -04:00
IN: compiler.tree.propagation.info.tests
Working on sparse conditional constant propagation and untupling
2008-07-24 00:50:21 -04:00
[ f ] [ 0.0 -0.0 eql? ] unit-test
Working on propagation pass
2008-07-22 05:45:03 -04:00
[ t t ] [
0 10 [a,b] <interval-info>
5 20 [a,b] <interval-info>
value-info-intersect
[ class>> real class= ]
[ interval>> 5 10 [a,b] = ]
bi
] unit-test
[ float 10.0 t ] [
10.0 <literal-info>
10.0 <literal-info>
value-info-intersect
[ class>> ] [ >literal< ] bi
] unit-test
[ null ] [
10 <literal-info>
10.0 <literal-info>
value-info-intersect
class>>
] unit-test
[ fixnum 10 t ] [
10 <literal-info>
10 <literal-info>
value-info-union
[ class>> ] [ >literal< ] bi
] unit-test
[ 3.0 t ] [
3 3 [a,b] <interval-info> float <class-info>
value-info-intersect >literal<
] unit-test
[ 3 t ] [
2 3 (a,b] <interval-info> fixnum <class-info>
value-info-intersect >literal<
] unit-test
Stack checker and propagation now themselves infer, improve propagation pass
2008-07-23 01:17:08 -04:00
compiler: Fix tuple literals in tests.
2013-03-24 04:09:37 -04:00
[ T{ value-info-state f null empty-interval f f } ] [
Stack checker and propagation now themselves infer, improve propagation pass
2008-07-23 01:17:08 -04:00
fixnum -10 0 [a,b] <class/interval-info>
fixnum 19 29 [a,b] <class/interval-info>
value-info-intersect
] unit-test
Improve branch folding
2008-07-24 01:14:13 -04:00
[ 3 t ] [
3 <literal-info>
Working on recursive propagation
2008-07-27 03:32:40 -04:00
null-info value-info-union >literal<
Improve branch folding
2008-07-24 01:14:13 -04:00
] unit-test
Debugging slot propagation, starting recursive propagation
2008-07-26 20:01:43 -04:00
[ ] [ { } value-infos-union drop ] unit-test
Propagation now does method inlining; working on cleanup pass
2008-07-30 04:38:10 -04:00
TUPLE: test-tuple { x read-only } ;
[ t ] [
f f 3 <literal-info> 3array test-tuple <tuple-info> dup
Working on propagation, move some tests that don't apply out of cleanup-tests
2008-07-30 16:37:40 -04:00
object-info value-info-intersect =
Propagation now does method inlining; working on cleanup pass
2008-07-30 04:38:10 -04:00
] unit-test
Intervals now use a special singleton for the full interval to eliminate FP math in the common case; fix a bug in value-info<=
2008-11-11 09:30:14 -05:00
[ t ] [
null-info 3 <literal-info> value-info<=
] unit-test
More accurate interval inference for mod, rem, and propagation can now infer intervals in the case where a value might be f. so, [ [ 127 bitand ] [ drop f ] if dup [ 0 >= ] [ not ] if ] now constant-folds down to 't'!
2009-08-09 00:03:45 -04:00
[ t t ] [
f <literal-info>
fixnum 0 40 [a,b] <class/interval-info>
value-info-union
\ f class-not <class-info>
value-info-intersect
[ class>> fixnum class= ]
[ interval>> 0 40 [a,b] = ] bi
] unit-test