suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Change log message to reflect new behavior.

Browse Source 
original commit: cb706aab9c8ade7b929f7aa9655fe3d302acc67e
This commit is contained in:
Vincent St-Amour 2011-06-02 18:10:30 -04:00
parent db610d44eb
commit f808b49551
14 changed files with 37 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt
View File

@ -4,7 +4,7 @@ unexpected-complex.rkt 16:0 (#%app sqrt (quote 4)) -- unexpected complex type
unexpected-complex.rkt 17:0 (#%app + (quote 1.2+3.4i) (quote 2.0)) -- unboxed float complex
unexpected-complex.rkt 17:1 + -- unboxed binary float complex
unexpected-complex.rkt 17:3 1.2+3.4i -- unboxed literal
unexpected-complex.rkt 17:12 (quote 2.0) -- float-coerce-expr in complex ops
unexpected-complex.rkt 17:12 (quote 2.0) -- float-arg-expr in complex ops
2
3.2+3.4i
)

2
collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt
View File

@ -2,7 +2,7 @@
(
float-complex-fixnum.rkt 15:0 (#%app + (#%app modulo (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-fixnum.rkt 15:1 + -- unboxed binary float complex
float-complex-fixnum.rkt 15:3 (#%app modulo (quote 2) (quote 1)) -- float-coerce-expr in complex ops
float-complex-fixnum.rkt 15:3 (#%app modulo (quote 2) (quote 1)) -- float-arg-expr in complex ops
float-complex-fixnum.rkt 15:4 modulo -- binary nonzero fixnum
float-complex-fixnum.rkt 15:16 1.0+2.0i -- unboxed literal
float-complex-fixnum.rkt 15:25 3.0+6.0i -- unboxed literal

18
collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt
View File

@ -6,36 +6,36 @@ float-complex-float-div.rkt 48:52 imag-part -- unboxed float complex
float-complex-float-div.rkt 48:62 x -- unbox float-complex
float-complex-float-div.rkt 50:6 (#%app / (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-float-div.rkt 50:7 / -- unboxed binary float complex
float-complex-float-div.rkt 50:9 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 50:9 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 50:13 2.0+4.0i -- unboxed literal
float-complex-float-div.rkt 51:6 (#%app / (quote 1.0+2.0i) (quote 2.0)) -- unboxed float complex
float-complex-float-div.rkt 51:7 / -- unboxed binary float complex
float-complex-float-div.rkt 51:9 1.0+2.0i -- unboxed literal
float-complex-float-div.rkt 51:18 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 51:18 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 52:6 (#%app / (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float-div.rkt 52:7 / -- unboxed binary float complex
float-complex-float-div.rkt 52:9 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 52:9 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 52:13 2.0+4.0i -- unboxed literal
float-complex-float-div.rkt 52:22 3.0+6.0i -- unboxed literal
float-complex-float-div.rkt 53:6 (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float-div.rkt 53:7 / -- unboxed binary float complex
float-complex-float-div.rkt 53:9 1.0+2.0i -- unboxed literal
float-complex-float-div.rkt 53:18 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 53:18 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 53:22 3.0+6.0i -- unboxed literal
float-complex-float-div.rkt 54:6 (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex
float-complex-float-div.rkt 54:7 / -- unboxed binary float complex
float-complex-float-div.rkt 54:9 1.0+2.0i -- unboxed literal
float-complex-float-div.rkt 54:18 2.0+4.0i -- unboxed literal
float-complex-float-div.rkt 54:27 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 54:27 (quote 3.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 55:6 (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) -- unboxed float complex
float-complex-float-div.rkt 55:7 / -- unboxed binary float complex
float-complex-float-div.rkt 55:9 1.0+2.0i -- unboxed literal
float-complex-float-div.rkt 55:18 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 55:22 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 55:18 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 55:22 (quote 3.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 56:6 (#%app / (quote 1.0) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float-div.rkt 56:7 / -- unboxed binary float complex
float-complex-float-div.rkt 56:9 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 56:13 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-div.rkt 56:9 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 56:13 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-div.rkt 56:17 3.0+6.0i -- unboxed literal
'("0.1000000000-0.2000000000" "0.50000000001.0000000000" "-0.0200000000-0.0266666667" "0.16666666670.0000000000" "0.16666666670.0000000000" "0.16666666670.3333333333" "0.0333333333-0.0666666667")
)

14
collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt
View File

@ -2,32 +2,32 @@
(
float-complex-float-mul.rkt 42:0 (#%app * (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-float-mul.rkt 42:1 * -- unboxed binary float complex
float-complex-float-mul.rkt 42:3 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 42:3 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-mul.rkt 42:7 2.0+4.0i -- unboxed literal
float-complex-float-mul.rkt 43:0 (#%app * (quote 1.0+2.0i) (quote 2.0)) -- unboxed float complex
float-complex-float-mul.rkt 43:1 * -- unboxed binary float complex
float-complex-float-mul.rkt 43:3 1.0+2.0i -- unboxed literal
float-complex-float-mul.rkt 43:12 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 43:12 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-mul.rkt 44:0 (#%app * (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float-mul.rkt 44:1 * -- unboxed binary float complex
float-complex-float-mul.rkt 44:3 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 44:3 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-mul.rkt 44:7 2.0+4.0i -- unboxed literal
float-complex-float-mul.rkt 44:16 3.0+6.0i -- unboxed literal
float-complex-float-mul.rkt 45:0 (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float-mul.rkt 45:1 * -- unboxed binary float complex
float-complex-float-mul.rkt 45:3 1.0+2.0i -- unboxed literal
float-complex-float-mul.rkt 45:12 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 45:12 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-mul.rkt 45:16 3.0+6.0i -- unboxed literal
float-complex-float-mul.rkt 46:0 (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex
float-complex-float-mul.rkt 46:1 * -- unboxed binary float complex
float-complex-float-mul.rkt 46:3 1.0+2.0i -- unboxed literal
float-complex-float-mul.rkt 46:12 2.0+4.0i -- unboxed literal
float-complex-float-mul.rkt 46:21 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 46:21 (quote 3.0) -- float-arg-expr in complex ops
float-complex-float-mul.rkt 47:0 (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) -- unboxed float complex
float-complex-float-mul.rkt 47:1 * -- unboxed binary float complex
float-complex-float-mul.rkt 47:3 1.0+2.0i -- unboxed literal
float-complex-float-mul.rkt 47:12 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 47:16 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float-mul.rkt 47:12 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float-mul.rkt 47:16 (quote 3.0) -- float-arg-expr in complex ops
2.0+4.0i
2.0+4.0i
-18.0+24.0i

14
collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt
View File

@ -3,26 +3,26 @@
float-complex-float-small.rkt 36:0 (#%app + (quote 1.0+2.0i) (quote 3.0)) -- unboxed float complex
float-complex-float-small.rkt 36:1 + -- unboxed binary float complex
float-complex-float-small.rkt 36:3 1.0+2.0i -- unboxed literal
float-complex-float-small.rkt 36:12 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 36:12 (quote 3.0) -- float-arg-expr in complex ops
float-complex-float-small.rkt 37:0 (#%app + (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-float-small.rkt 37:1 + -- unboxed binary float complex
float-complex-float-small.rkt 37:3 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 37:3 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-small.rkt 37:7 2.0+4.0i -- unboxed literal
float-complex-float-small.rkt 38:0 (#%app - (quote 1.0+2.0i) (quote 3.0)) -- unboxed float complex
float-complex-float-small.rkt 38:1 - -- unboxed binary float complex
float-complex-float-small.rkt 38:3 1.0+2.0i -- unboxed literal
float-complex-float-small.rkt 38:12 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 38:12 (quote 3.0) -- float-arg-expr in complex ops
float-complex-float-small.rkt 39:0 (#%app - (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-float-small.rkt 39:1 - -- unboxed binary float complex
float-complex-float-small.rkt 39:3 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 39:3 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-small.rkt 39:7 2.0+4.0i -- unboxed literal
float-complex-float-small.rkt 40:0 (#%app + (quote 1.0+2.0i) (#%app + (quote 1.0) (quote 2.0))) -- unboxed float complex
float-complex-float-small.rkt 40:1 + -- unboxed binary float complex
float-complex-float-small.rkt 40:3 1.0+2.0i -- unboxed literal
float-complex-float-small.rkt 40:12 (#%app + (quote 1.0) (quote 2.0)) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 40:12 (#%app + (quote 1.0) (quote 2.0)) -- float-arg-expr in complex ops
float-complex-float-small.rkt 40:13 + -- binary float
float-complex-float-small.rkt 40:15 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 40:19 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float-small.rkt 40:15 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float-small.rkt 40:19 (quote 2.0) -- float-arg-expr in complex ops
4.0+2.0i
3.0+4.0i
-2.0+2.0i

8
collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt
View File

@ -3,23 +3,23 @@
float-complex-float.rkt 32:0 (#%app + (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float.rkt 32:1 + -- unboxed binary float complex
float-complex-float.rkt 32:3 1.0+2.0i -- unboxed literal
float-complex-float.rkt 32:12 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float.rkt 32:12 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float.rkt 32:16 3.0+6.0i -- unboxed literal
float-complex-float.rkt 33:0 (#%app - (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float.rkt 33:1 - -- unboxed binary float complex
float-complex-float.rkt 33:3 (quote 1.0) -- float-coerce-expr in complex ops
float-complex-float.rkt 33:3 (quote 1.0) -- float-arg-expr in complex ops
float-complex-float.rkt 33:7 2.0+4.0i -- unboxed literal
float-complex-float.rkt 33:16 3.0+6.0i -- unboxed literal
float-complex-float.rkt 34:0 (#%app - (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-float.rkt 34:1 - -- unboxed binary float complex
float-complex-float.rkt 34:3 1.0+2.0i -- unboxed literal
float-complex-float.rkt 34:12 (quote 2.0) -- float-coerce-expr in complex ops
float-complex-float.rkt 34:12 (quote 2.0) -- float-arg-expr in complex ops
float-complex-float.rkt 34:16 3.0+6.0i -- unboxed literal
float-complex-float.rkt 35:0 (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex
float-complex-float.rkt 35:1 - -- unboxed binary float complex
float-complex-float.rkt 35:3 1.0+2.0i -- unboxed literal
float-complex-float.rkt 35:12 2.0+4.0i -- unboxed literal
float-complex-float.rkt 35:21 (quote 3.0) -- float-coerce-expr in complex ops
float-complex-float.rkt 35:21 (quote 3.0) -- float-arg-expr in complex ops
6.0+8.0i
-4.0-10.0i
-4.0-4.0i

2
collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt
View File

@ -2,7 +2,7 @@
(
float-complex-integer.rkt 13:0 (#%app + (#%app expt (quote 2) (quote 100)) (quote 1.0+2.0i)) -- unboxed float complex
float-complex-integer.rkt 13:1 + -- unboxed binary float complex
float-complex-integer.rkt 13:3 (#%app expt (quote 2) (quote 100)) -- float-coerce-expr in complex ops
float-complex-integer.rkt 13:3 (#%app expt (quote 2) (quote 100)) -- float-arg-expr in complex ops
float-complex-integer.rkt 13:16 1.0+2.0i -- unboxed literal
1.2676506002282294e+30+2.0i
)

2
collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt
View File

@ -2,7 +2,7 @@
(
float-complex-sin.rkt 16:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex
float-complex-sin.rkt 16:11 + -- unboxed binary float complex
float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- float-coerce-expr in complex ops
float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- float-arg-expr in complex ops
float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- unary, arg float-arg-expr, return type not Float
float-complex-sin.rkt 16:18 (#%app * t (quote 6.28)) -- binary, args all float-arg-expr, return type not Float -- caused by: 16:21 t
float-complex-sin.rkt 16:30 0.0+0.0i -- unboxed literal

2
collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt
View File

@ -17,7 +17,7 @@ real-part-loop.rkt 33:7 loop -- call to fun with unboxed args
real-part-loop.rkt 33:7 loop -- unboxed call site
real-part-loop.rkt 33:13 + -- unboxed binary float complex
real-part-loop.rkt 33:15 v -- leave var unboxed
real-part-loop.rkt 33:17 (quote 3.6) -- float-coerce-expr in complex ops
real-part-loop.rkt 33:17 (quote 3.6) -- float-arg-expr in complex ops
0
)

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt
View File

@ -7,7 +7,7 @@ unboxed-let-functions3.rkt 24:18 (#%app + x y) -- unboxed float complex
unboxed-let-functions3.rkt 24:19 + -- unboxed binary float complex
unboxed-let-functions3.rkt 24:21 x -- leave var unboxed
unboxed-let-functions3.rkt 24:21 x -- unbox float-complex
unboxed-let-functions3.rkt 24:23 y -- float-coerce-expr in complex ops
unboxed-let-functions3.rkt 24:23 y -- float-arg-expr in complex ops
unboxed-let-functions3.rkt 25:3 f -- call to fun with unboxed args
unboxed-let-functions3.rkt 25:3 f -- unboxed call site
unboxed-let-functions3.rkt 25:6 + -- unboxed binary float complex

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt
View File

@ -7,7 +7,7 @@ unboxed-let-functions4.rkt 24:18 (#%app + x y) -- unboxed float complex
unboxed-let-functions4.rkt 24:19 + -- unboxed binary float complex
unboxed-let-functions4.rkt 24:21 x -- leave var unboxed
unboxed-let-functions4.rkt 24:21 x -- unbox float-complex
unboxed-let-functions4.rkt 24:23 y -- float-coerce-expr in complex ops
unboxed-let-functions4.rkt 24:23 y -- float-arg-expr in complex ops
unboxed-let-functions4.rkt 25:3 f -- call to fun with unboxed args
unboxed-let-functions4.rkt 25:3 f -- unboxed call site
unboxed-let-functions4.rkt 26:6 + -- unboxed binary float complex

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt
View File

@ -15,7 +15,7 @@ unboxed-let-functions6.rkt 31:11 loop -- call to fun with unboxed args
unboxed-let-functions6.rkt 31:11 loop -- unboxed call site
unboxed-let-functions6.rkt 31:17 + -- unboxed binary float complex
unboxed-let-functions6.rkt 31:19 z -- leave var unboxed
unboxed-let-functions6.rkt 31:21 (#%app car l) -- float-coerce-expr in complex ops
unboxed-let-functions6.rkt 31:21 (#%app car l) -- float-arg-expr in complex ops
unboxed-let-functions6.rkt 31:22 car -- pair
unboxed-let-functions6.rkt 32:17 cdr -- pair
6.0+1.0i

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt
View File

@ -13,7 +13,7 @@ unboxed-let-functions7.rkt 30:12 (#%app + z (#%app car l)) -- unboxed float comp
unboxed-let-functions7.rkt 30:13 + -- unboxed binary float complex
unboxed-let-functions7.rkt 30:15 z -- leave var unboxed
unboxed-let-functions7.rkt 30:15 z -- unbox float-complex
unboxed-let-functions7.rkt 30:17 (#%app car l) -- float-coerce-expr in complex ops
unboxed-let-functions7.rkt 30:17 (#%app car l) -- float-arg-expr in complex ops
unboxed-let-functions7.rkt 30:18 car -- pair
unboxed-let-functions7.rkt 31:13 cdr -- pair
6.0+0.0i

2
collects/typed-scheme/optimizer/float-complex.rkt
View File

@ -244,7 +244,7 @@
(pattern e:float-arg-expr
#:with real-binding (unboxed-gensym 'unboxed-float-)
#:with imag-binding #f
#:when (log-optimization "float-coerce-expr in complex ops" #'e)
#:when (log-optimization "float-arg-expr in complex ops" #'e)
#:with (bindings ...)
#`(((real-binding) e.opt)))