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

Specify opt or missed opt in the TR log format.

Browse Source 
original commit: 86efbc83968ddd0486dea493830f409c05b52e5e
This commit is contained in:
Vincent St-Amour 2011-06-15 17:21:34 -04:00
parent d5ee54a9e9
commit 4180449ead
121 changed files with 847 additions and 845 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt
View File

@ -1,7 +1,7 @@
#;
(
all-real.rkt 24:0 (#%app + (quote 3) (quote 4)) -- binary, args all float-arg-expr, return type not Float -- caused by: 24:8 (quote 3), 24:21 (quote 4)
all-real.rkt 25:0 (#%app * (quote 3) (quote 4)) -- binary, args all float-arg-expr, return type not Float -- caused by: 25:8 (quote 3), 25:21 (quote 4)
TR missed opt: all-real.rkt 24:0 (#%app + (quote 3) (quote 4)) -- binary, args all float-arg-expr, return type not Float -- caused by: 24:8 (quote 3), 24:21 (quote 4)
TR missed opt: all-real.rkt 25:0 (#%app * (quote 3) (quote 4)) -- binary, args all float-arg-expr, return type not Float -- caused by: 25:8 (quote 3), 25:21 (quote 4)
7
12
)

2
collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt
View File

@ -1,6 +1,6 @@
#;
(
multiple-irritants.rkt 9:0 (#%app * (quote 4) (quote 5) (quote 6.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 9:8 (quote 4), 9:24 (quote 5)
TR missed opt: multiple-irritants.rkt 9:0 (#%app * (quote 4) (quote 5) (quote 6.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 9:8 (quote 4), 9:24 (quote 5)
120.0
)

18
collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt
View File

@ -1,14 +1,14 @@
#;
(
nested-same-kind.rkt 25:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4))) -- binary, args all float-arg-expr, return type not Float -- caused by: 25:19 (quote 4)
nested-same-kind.rkt 25:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 25:7 (#%app * (quote 3.0) (quote 4))
nested-same-kind.rkt 26:0 (#%app * (quote 1.0) (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4)))) -- binary, args all float-arg-expr, return type not Float -- caused by: 26:26 (quote 4)
nested-same-kind.rkt 26:0 (#%app * (quote 1.0) (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4)))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 26:14 (#%app * (quote 3.0) (quote 4))
nested-same-kind.rkt 27:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4) (quote 5))) -- binary, args all float-arg-expr, return type not Float -- caused by: 27:19 (quote 4), 27:35 (quote 5)
nested-same-kind.rkt 27:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4) (quote 5))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 27:7 (#%app * (quote 3.0) (quote 4) (quote 5))
nested-same-kind.rkt 28:0 (#%app * (#%app * (quote 3.0) (quote 4)) (#%app * (quote 3.0) (quote 4))) -- binary, args all float-arg-expr, return type not Float -- caused by: 28:15 (quote 4), 28:39 (quote 4)
nested-same-kind.rkt 28:0 (#%app * (#%app * (quote 3.0) (quote 4)) (#%app * (quote 3.0) (quote 4))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:27 (#%app * (quote 3.0) (quote 4))
nested-same-kind.rkt 28:0 (#%app * (#%app * (quote 3.0) (quote 4)) (#%app * (quote 3.0) (quote 4))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:3 (#%app * (quote 3.0) (quote 4))
TR missed opt: nested-same-kind.rkt 25:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4))) -- binary, args all float-arg-expr, return type not Float -- caused by: 25:19 (quote 4)
TR missed opt: nested-same-kind.rkt 25:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 25:7 (#%app * (quote 3.0) (quote 4))
TR missed opt: nested-same-kind.rkt 26:0 (#%app * (quote 1.0) (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4)))) -- binary, args all float-arg-expr, return type not Float -- caused by: 26:26 (quote 4)
TR missed opt: nested-same-kind.rkt 26:0 (#%app * (quote 1.0) (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4)))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 26:14 (#%app * (quote 3.0) (quote 4))
TR missed opt: nested-same-kind.rkt 27:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4) (quote 5))) -- binary, args all float-arg-expr, return type not Float -- caused by: 27:19 (quote 4), 27:35 (quote 5)
TR missed opt: nested-same-kind.rkt 27:0 (#%app * (quote 2.0) (#%app * (quote 3.0) (quote 4) (quote 5))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 27:7 (#%app * (quote 3.0) (quote 4) (quote 5))
TR missed opt: nested-same-kind.rkt 28:0 (#%app * (#%app * (quote 3.0) (quote 4)) (#%app * (quote 3.0) (quote 4))) -- binary, args all float-arg-expr, return type not Float -- caused by: 28:15 (quote 4), 28:39 (quote 4)
TR missed opt: nested-same-kind.rkt 28:0 (#%app * (#%app * (quote 3.0) (quote 4)) (#%app * (quote 3.0) (quote 4))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:27 (#%app * (quote 3.0) (quote 4))
TR missed opt: nested-same-kind.rkt 28:0 (#%app * (#%app * (quote 3.0) (quote 4)) (#%app * (quote 3.0) (quote 4))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:3 (#%app * (quote 3.0) (quote 4))
24.0
24.0
120.0

66
collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt
View File

@ -1,38 +1,38 @@
#;
(
pair.rkt 58:0 (#%app car (#%app list (quote 1) (quote 2) (quote 3))) -- car/cdr on a potentially empty list -- caused by: 58:10 (#%app list (quote 1) (quote 2) (quote 3))
pair.rkt 59:1 car -- pair
pair.rkt 60:0 (#%app cdr (#%app list (quote 1) (quote 2) (quote 3))) -- car/cdr on a potentially empty list -- caused by: 60:10 (#%app list (quote 1) (quote 2) (quote 3))
pair.rkt 61:1 cdr -- pair
pair.rkt 62:1 cdr -- pair
pair.rkt 62:6 cdr -- pair
pair.rkt 63:1 cdr -- pair
pair.rkt 63:6 cdr -- pair
pair.rkt 63:11 cdr -- pair
pair.rkt 64:16 (#%app cdr (#%app cdr (#%app cdr (#%app cdr (#%app list (quote 1) (quote 2) (quote 3)))))) -- car/cdr on a potentially empty list -- caused by: 64:21 (#%app cdr (#%app cdr (#%app cdr (#%app list (quote 1) (quote 2) (quote 3)))))
pair.rkt 64:22 cdr -- pair
pair.rkt 64:27 cdr -- pair
pair.rkt 64:32 cdr -- pair
pair.rkt 67:0 (#%app mcar (#%app mcons (quote 1) null)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 1) null)
pair.rkt 68:1 mcar -- mutable pair
pair.rkt 69:0 (#%app mcdr (#%app mcons (quote 1) null)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 1) null)
pair.rkt 70:1 mcdr -- mutable pair
pair.rkt 71:1 mcdr -- mutable pair
pair.rkt 71:7 mcdr -- mutable pair
pair.rkt 72:1 mcdr -- mutable pair
pair.rkt 72:7 mcdr -- mutable pair
pair.rkt 72:13 mcdr -- mutable pair
pair.rkt 73:0 (#%app set-mcar! (#%app mcons (quote 2) null) (quote 2)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 2) null)
pair.rkt 74:1 set-mcar! -- mutable pair
pair.rkt 75:0 (#%app set-mcdr! (#%app mcons (quote 2) null) (#%app mcons (quote 2) null)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 2) null)
pair.rkt 77:1 mcar -- mutable pair
pair.rkt 78:1 mcdr -- mutable pair
pair.rkt 79:1 set-mcar! -- mutable pair
pair.rkt 80:1 set-mcdr! -- mutable pair
pair.rkt 81:17 (#%app mcar (quote ())) -- mpair op on a potentially empty mlist -- caused by: 81:23 (quote ())
pair.rkt 82:17 (#%app mcdr (quote ())) -- mpair op on a potentially empty mlist -- caused by: 82:23 (quote ())
pair.rkt 83:17 (#%app set-mcar! (quote ()) (quote 2)) -- mpair op on a potentially empty mlist -- caused by: 83:28 (quote ())
pair.rkt 84:17 (#%app set-mcdr! (quote ()) (#%app mcons (quote 3) null)) -- mpair op on a potentially empty mlist -- caused by: 84:33 (quote ())
TR missed opt: pair.rkt 58:0 (#%app car (#%app list (quote 1) (quote 2) (quote 3))) -- car/cdr on a potentially empty list -- caused by: 58:10 (#%app list (quote 1) (quote 2) (quote 3))
TR opt: pair.rkt 59:1 car -- pair
TR missed opt: pair.rkt 60:0 (#%app cdr (#%app list (quote 1) (quote 2) (quote 3))) -- car/cdr on a potentially empty list -- caused by: 60:10 (#%app list (quote 1) (quote 2) (quote 3))
TR opt: pair.rkt 61:1 cdr -- pair
TR opt: pair.rkt 62:1 cdr -- pair
TR opt: pair.rkt 62:6 cdr -- pair
TR opt: pair.rkt 63:1 cdr -- pair
TR opt: pair.rkt 63:6 cdr -- pair
TR opt: pair.rkt 63:11 cdr -- pair
TR missed opt: pair.rkt 64:16 (#%app cdr (#%app cdr (#%app cdr (#%app cdr (#%app list (quote 1) (quote 2) (quote 3)))))) -- car/cdr on a potentially empty list -- caused by: 64:21 (#%app cdr (#%app cdr (#%app cdr (#%app list (quote 1) (quote 2) (quote 3)))))
TR opt: pair.rkt 64:22 cdr -- pair
TR opt: pair.rkt 64:27 cdr -- pair
TR opt: pair.rkt 64:32 cdr -- pair
TR missed opt: pair.rkt 67:0 (#%app mcar (#%app mcons (quote 1) null)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 1) null)
TR opt: pair.rkt 68:1 mcar -- mutable pair
TR missed opt: pair.rkt 69:0 (#%app mcdr (#%app mcons (quote 1) null)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 1) null)
TR opt: pair.rkt 70:1 mcdr -- mutable pair
TR opt: pair.rkt 71:1 mcdr -- mutable pair
TR opt: pair.rkt 71:7 mcdr -- mutable pair
TR opt: pair.rkt 72:1 mcdr -- mutable pair
TR opt: pair.rkt 72:7 mcdr -- mutable pair
TR opt: pair.rkt 72:13 mcdr -- mutable pair
TR missed opt: pair.rkt 73:0 (#%app set-mcar! (#%app mcons (quote 2) null) (quote 2)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 2) null)
TR opt: pair.rkt 74:1 set-mcar! -- mutable pair
TR missed opt: pair.rkt 75:0 (#%app set-mcdr! (#%app mcons (quote 2) null) (#%app mcons (quote 2) null)) -- mpair op on a potentially empty mlist -- caused by: (no location) (#%app mcons (quote 2) null)
TR opt: pair.rkt 77:1 mcar -- mutable pair
TR opt: pair.rkt 78:1 mcdr -- mutable pair
TR opt: pair.rkt 79:1 set-mcar! -- mutable pair
TR opt: pair.rkt 80:1 set-mcdr! -- mutable pair
TR missed opt: pair.rkt 81:17 (#%app mcar (quote ())) -- mpair op on a potentially empty mlist -- caused by: 81:23 (quote ())
TR missed opt: pair.rkt 82:17 (#%app mcdr (quote ())) -- mpair op on a potentially empty mlist -- caused by: 82:23 (quote ())
TR missed opt: pair.rkt 83:17 (#%app set-mcar! (quote ()) (quote 2)) -- mpair op on a potentially empty mlist -- caused by: 83:28 (quote ())
TR missed opt: pair.rkt 84:17 (#%app set-mcdr! (quote ()) (#%app mcons (quote 3) null)) -- mpair op on a potentially empty mlist -- caused by: 84:33 (quote ())
1
1
'(2 3)

16
collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt
View File

@ -1,13 +1,13 @@
#;
(
precision-loss.rkt 24:0 (#%app + (#%app * (quote 3/4) (quote 2/3)) (quote 2.0)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 24:3 (#%app * (quote 3/4) (quote 2/3))
precision-loss.rkt 24:1 + -- binary float
precision-loss.rkt 26:1 + -- binary float
precision-loss.rkt 28:0 (#%app + (#%app - (quote 3/4)) (quote 2.0)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:3 (#%app - (quote 3/4))
precision-loss.rkt 28:1 + -- binary float
precision-loss.rkt 30:1 + -- binary float
precision-loss.rkt 36:0 (#%app * (#%app * (quote 3/4) (quote 2/3)) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 36:11 (quote 3/4), 36:15 (quote 2/3)
precision-loss.rkt 36:0 (#%app * (#%app * (quote 3/4) (quote 2/3)) (quote 2.0)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 36:8 (#%app * (quote 3/4) (quote 2/3))
TR missed opt: precision-loss.rkt 24:0 (#%app + (#%app * (quote 3/4) (quote 2/3)) (quote 2.0)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 24:3 (#%app * (quote 3/4) (quote 2/3))
TR opt: precision-loss.rkt 24:1 + -- binary float
TR opt: precision-loss.rkt 26:1 + -- binary float
TR missed opt: precision-loss.rkt 28:0 (#%app + (#%app - (quote 3/4)) (quote 2.0)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 28:3 (#%app - (quote 3/4))
TR opt: precision-loss.rkt 28:1 + -- binary float
TR opt: precision-loss.rkt 30:1 + -- binary float
TR missed opt: precision-loss.rkt 36:0 (#%app * (#%app * (quote 3/4) (quote 2/3)) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 36:11 (quote 3/4), 36:15 (quote 2/3)
TR missed opt: precision-loss.rkt 36:0 (#%app * (#%app * (quote 3/4) (quote 2/3)) (quote 2.0)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 36:8 (#%app * (quote 3/4) (quote 2/3))
2.5
2.75
1.25

8
collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt
View File

@ -1,9 +1,9 @@
#;
(
real-in-float-expr.rkt 17:0 (#%app * (quote 3) (quote 2.3)) -- binary, args all float-arg-expr, return type not Float -- caused by: 17:8 (quote 3)
real-in-float-expr.rkt 22:1 * -- fixnum bounded expr
real-in-float-expr.rkt 23:1 + -- fixnum bounded expr
real-in-float-expr.rkt 26:0 (#%app * (quote 2) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 26:8 (quote 2)
TR missed opt: real-in-float-expr.rkt 17:0 (#%app * (quote 3) (quote 2.3)) -- binary, args all float-arg-expr, return type not Float -- caused by: 17:8 (quote 3)
TR opt: real-in-float-expr.rkt 22:1 * -- fixnum bounded expr
TR opt: real-in-float-expr.rkt 23:1 + -- fixnum bounded expr
TR missed opt: real-in-float-expr.rkt 26:0 (#%app * (quote 2) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 26:8 (quote 2)
6.8999999999999995
6
5

6
collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt
View File

@ -1,8 +1,8 @@
#;
(
unary-float.rkt 14:0 (#%app sin (quote 3.4)) -- unary, arg float-arg-expr, return type not Float
unary-float.rkt 15:0 (#%app sin (quote 3)) -- unary, arg float-arg-expr, return type not Float
unary-float.rkt 16:0 (#%app abs (quote 3.4)) -- unary, arg float-arg-expr, return type not Float
TR missed opt: unary-float.rkt 14:0 (#%app sin (quote 3.4)) -- unary, arg float-arg-expr, return type not Float
TR missed opt: unary-float.rkt 15:0 (#%app sin (quote 3)) -- unary, arg float-arg-expr, return type not Float
TR missed opt: unary-float.rkt 16:0 (#%app abs (quote 3.4)) -- unary, arg float-arg-expr, return type not Float
-0.2555411020268312
0.1411200080598672
3.4

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

@ -1,10 +1,10 @@
#;
(
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-arg-expr in complex ops
TR missed opt: unexpected-complex.rkt 16:0 (#%app sqrt (quote 4)) -- unexpected complex type
TR opt: unexpected-complex.rkt 17:0 (#%app + (quote 1.2+3.4i) (quote 2.0)) -- unboxed float complex
TR opt: unexpected-complex.rkt 17:1 + -- unboxed binary float complex
TR opt: unexpected-complex.rkt 17:3 1.2+3.4i -- unboxed literal
TR opt: unexpected-complex.rkt 17:12 (quote 2.0) -- float-arg-expr in complex ops
2
3.2+3.4i
)

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

@ -1,9 +1,9 @@
#;
(
add1.rkt 14:6 add1 -- fixnum add1
add1.rkt 15:6 sub1 -- fixnum sub1
add1.rkt 16:6 add1 -- float add1
add1.rkt 17:6 sub1 -- float sub1
TR opt: add1.rkt 14:6 add1 -- fixnum add1
TR opt: add1.rkt 15:6 sub1 -- fixnum sub1
TR opt: add1.rkt 16:6 add1 -- float add1
TR opt: add1.rkt 17:6 sub1 -- float sub1
6
2
3.3

4
collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt
View File

@ -1,7 +1,7 @@
#;
(
apply-plus.rkt 12:7 + -- apply-map
apply-plus.rkt 13:7 * -- apply-map
TR opt: apply-plus.rkt 12:7 + -- apply-map
TR opt: apply-plus.rkt 13:7 * -- apply-map
9
24
)

4
collects/tests/typed-scheme/optimizer/tests/begin-float.rkt
View File

@ -1,7 +1,7 @@
#;
(
begin-float.rkt 12:8 - -- binary float
begin-float.rkt 13:8 * -- binary float
TR opt: begin-float.rkt 12:8 - -- binary float
TR opt: begin-float.rkt 13:8 * -- binary float
-1.0
6.0
)

4
collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt
View File

@ -1,7 +1,7 @@
#;
(
binary-fixnum.rkt 12:3 bitwise-and -- binary fixnum
binary-fixnum.rkt 12:16 vector-length -- vector-length
TR opt: binary-fixnum.rkt 12:3 bitwise-and -- binary fixnum
TR opt: binary-fixnum.rkt 12:16 vector-length -- vector-length
)
#lang typed/scheme

4
collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt
View File

@ -1,7 +1,7 @@
#;
(
binary-nonzero-fixnum.rkt 11:1 modulo -- binary nonzero fixnum
binary-nonzero-fixnum.rkt 11:9 vector-length -- vector-length
TR opt: binary-nonzero-fixnum.rkt 11:1 modulo -- binary nonzero fixnum
TR opt: binary-nonzero-fixnum.rkt 11:9 vector-length -- vector-length
1
)

6
collects/tests/typed-scheme/optimizer/tests/box.rkt
View File

@ -1,8 +1,8 @@
#;
(
box.rkt 17:1 unbox -- box
box.rkt 18:1 set-box! -- box
box.rkt 19:1 unbox -- box
TR opt: box.rkt 17:1 unbox -- box
TR opt: box.rkt 18:1 set-box! -- box
TR opt: box.rkt 19:1 unbox -- box
1
2
)

2
collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt
View File

@ -1,6 +1,6 @@
#;
(
cross-module-struct2.rkt 11:1 x-x -- struct ref
TR opt: cross-module-struct2.rkt 11:1 x-x -- struct ref
1
)

8
collects/tests/typed-scheme/optimizer/tests/dead-else.rkt
View File

@ -1,9 +1,9 @@
#;
(
dead-else.rkt 14:14 + -- binary float
dead-else.rkt 15:13 (#%app + (quote 4.0) (quote 5.0)) -- dead else branch
dead-else.rkt 17:14 + -- binary float
dead-else.rkt 18:13 (#%app + (quote 4.0) (quote 5.0)) -- dead else branch
TR opt: dead-else.rkt 14:14 + -- binary float
TR opt: dead-else.rkt 15:13 (#%app + (quote 4.0) (quote 5.0)) -- dead else branch
TR opt: dead-else.rkt 17:14 + -- binary float
TR opt: dead-else.rkt 18:13 (#%app + (quote 4.0) (quote 5.0)) -- dead else branch
5.05.0
)

8
collects/tests/typed-scheme/optimizer/tests/dead-then.rkt
View File

@ -1,9 +1,9 @@
#;
(
dead-then.rkt 14:13 (#%app + (quote 2.0) (quote 3.0)) -- dead then branch
dead-then.rkt 15:14 + -- binary float
dead-then.rkt 17:13 (#%app + (quote 2.0) (quote 3.0)) -- dead then branch
dead-then.rkt 18:14 + -- binary float
TR opt: dead-then.rkt 14:13 (#%app + (quote 2.0) (quote 3.0)) -- dead then branch
TR opt: dead-then.rkt 15:14 + -- binary float
TR opt: dead-then.rkt 17:13 (#%app + (quote 2.0) (quote 3.0)) -- dead then branch
TR opt: dead-then.rkt 18:14 + -- binary float
9.09.0
)

4
collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt
View File

@ -1,7 +1,7 @@
#;
(
define-begin-float.rkt 11:27 - -- binary float
define-begin-float.rkt 12:18 * -- binary float
TR opt: define-begin-float.rkt 11:27 - -- binary float
TR opt: define-begin-float.rkt 12:18 * -- binary float
-1.0
)

2
collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt
View File

@ -1,6 +1,6 @@
#;
(
define-call-float.rkt 9:17 + -- binary float
TR opt: define-call-float.rkt 9:17 + -- binary float
)
#lang typed/scheme

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

@ -1,6 +1,6 @@
#;
(
define-float.rkt 9:11 + -- binary float
TR opt: define-float.rkt 9:11 + -- binary float
)
#lang typed/scheme

2
collects/tests/typed-scheme/optimizer/tests/define-pair.rkt
View File

@ -1,6 +1,6 @@
#;
(
define-pair.rkt 9:11 car -- pair
TR opt: define-pair.rkt 9:11 car -- pair
)
#lang typed/scheme

20
collects/tests/typed-scheme/optimizer/tests/derived-pair.rkt
View File

@ -1,15 +1,15 @@
#;
(
derived-pair.rkt 21:0 (#%app caar (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3))) -- derived pair
derived-pair.rkt 21:0 car -- pair
derived-pair.rkt 22:0 (#%app cadr (#%app cons (quote 1) (#%app cons (quote 2) (quote 3)))) -- derived pair
derived-pair.rkt 22:0 car -- pair
derived-pair.rkt 22:0 cdr -- pair
derived-pair.rkt 23:0 (#%app cdar (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3))) -- derived pair
derived-pair.rkt 23:0 car -- pair
derived-pair.rkt 23:0 cdr -- pair
derived-pair.rkt 24:0 (#%app cddr (#%app cons (quote 1) (#%app cons (quote 2) (quote 3)))) -- derived pair
derived-pair.rkt 24:0 cdr -- pair
TR opt: derived-pair.rkt 21:0 (#%app caar (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3))) -- derived pair
TR opt: derived-pair.rkt 21:0 car -- pair
TR opt: derived-pair.rkt 22:0 (#%app cadr (#%app cons (quote 1) (#%app cons (quote 2) (quote 3)))) -- derived pair
TR opt: derived-pair.rkt 22:0 car -- pair
TR opt: derived-pair.rkt 22:0 cdr -- pair
TR opt: derived-pair.rkt 23:0 (#%app cdar (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3))) -- derived pair
TR opt: derived-pair.rkt 23:0 car -- pair
TR opt: derived-pair.rkt 23:0 cdr -- pair
TR opt: derived-pair.rkt 24:0 (#%app cddr (#%app cons (quote 1) (#%app cons (quote 2) (quote 3)))) -- derived pair
TR opt: derived-pair.rkt 24:0 cdr -- pair
1
2
2

44
collects/tests/typed-scheme/optimizer/tests/derived-pair2.rkt
View File

@ -1,27 +1,27 @@
#;
(
derived-pair2.rkt 37:0 (#%app caaar (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4))) -- derived pair
derived-pair2.rkt 37:0 car -- pair
derived-pair2.rkt 38:0 (#%app caadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)))) -- derived pair
derived-pair2.rkt 38:0 car -- pair
derived-pair2.rkt 38:0 cdr -- pair
derived-pair2.rkt 39:0 (#%app cadar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4))) -- derived pair
derived-pair2.rkt 39:0 car -- pair
derived-pair2.rkt 39:0 cdr -- pair
derived-pair2.rkt 40:0 (#%app caddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))))) -- derived pair
derived-pair2.rkt 40:0 car -- pair
derived-pair2.rkt 40:0 cdr -- pair
derived-pair2.rkt 41:0 (#%app cdaar (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4))) -- derived pair
derived-pair2.rkt 41:0 car -- pair
derived-pair2.rkt 41:0 cdr -- pair
derived-pair2.rkt 42:0 (#%app cdadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)))) -- derived pair
derived-pair2.rkt 42:0 car -- pair
derived-pair2.rkt 42:0 cdr -- pair
derived-pair2.rkt 43:0 (#%app cddar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4))) -- derived pair
derived-pair2.rkt 43:0 car -- pair
derived-pair2.rkt 43:0 cdr -- pair
derived-pair2.rkt 44:0 (#%app cdddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))))) -- derived pair
derived-pair2.rkt 44:0 cdr -- pair
TR opt: derived-pair2.rkt 37:0 (#%app caaar (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4))) -- derived pair
TR opt: derived-pair2.rkt 37:0 car -- pair
TR opt: derived-pair2.rkt 38:0 (#%app caadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)))) -- derived pair
TR opt: derived-pair2.rkt 38:0 car -- pair
TR opt: derived-pair2.rkt 38:0 cdr -- pair
TR opt: derived-pair2.rkt 39:0 (#%app cadar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4))) -- derived pair
TR opt: derived-pair2.rkt 39:0 car -- pair
TR opt: derived-pair2.rkt 39:0 cdr -- pair
TR opt: derived-pair2.rkt 40:0 (#%app caddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))))) -- derived pair
TR opt: derived-pair2.rkt 40:0 car -- pair
TR opt: derived-pair2.rkt 40:0 cdr -- pair
TR opt: derived-pair2.rkt 41:0 (#%app cdaar (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4))) -- derived pair
TR opt: derived-pair2.rkt 41:0 car -- pair
TR opt: derived-pair2.rkt 41:0 cdr -- pair
TR opt: derived-pair2.rkt 42:0 (#%app cdadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)))) -- derived pair
TR opt: derived-pair2.rkt 42:0 car -- pair
TR opt: derived-pair2.rkt 42:0 cdr -- pair
TR opt: derived-pair2.rkt 43:0 (#%app cddar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4))) -- derived pair
TR opt: derived-pair2.rkt 43:0 car -- pair
TR opt: derived-pair2.rkt 43:0 cdr -- pair
TR opt: derived-pair2.rkt 44:0 (#%app cdddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))))) -- derived pair
TR opt: derived-pair2.rkt 44:0 cdr -- pair
1
2
2

92
collects/tests/typed-scheme/optimizer/tests/derived-pair3.rkt
View File

@ -1,51 +1,51 @@
#;
(
derived-pair3.rkt 69:0 (#%app caaaar (#%app cons (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4)) (quote 5))) -- derived pair
derived-pair3.rkt 69:0 car -- pair
derived-pair3.rkt 70:0 (#%app caaadr (#%app cons (quote 1) (#%app cons (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)) (quote 5)))) -- derived pair
derived-pair3.rkt 70:0 car -- pair
derived-pair3.rkt 70:0 cdr -- pair
derived-pair3.rkt 71:0 (#%app caadar (#%app cons (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4))) (quote 5))) -- derived pair
derived-pair3.rkt 71:0 car -- pair
derived-pair3.rkt 71:0 cdr -- pair
derived-pair3.rkt 72:0 (#%app caaddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (#%app cons (quote 3) (quote 4)) (quote 5))))) -- derived pair
derived-pair3.rkt 72:0 car -- pair
derived-pair3.rkt 72:0 cdr -- pair
derived-pair3.rkt 73:0 (#%app cadaar (#%app cons (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4)) (quote 5))) -- derived pair
derived-pair3.rkt 73:0 car -- pair
derived-pair3.rkt 73:0 cdr -- pair
derived-pair3.rkt 74:0 (#%app cadadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))) (quote 5)))) -- derived pair
derived-pair3.rkt 74:0 car -- pair
derived-pair3.rkt 74:0 cdr -- pair
derived-pair3.rkt 75:0 (#%app caddar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4)))) (quote 5))) -- derived pair
derived-pair3.rkt 75:0 car -- pair
derived-pair3.rkt 75:0 cdr -- pair
derived-pair3.rkt 76:0 (#%app cadddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (#%app cons (quote 4) (quote 5)))))) -- derived pair
derived-pair3.rkt 76:0 car -- pair
derived-pair3.rkt 76:0 cdr -- pair
derived-pair3.rkt 77:0 (#%app cdaaar (#%app cons (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4)) (quote 5))) -- derived pair
derived-pair3.rkt 77:0 car -- pair
derived-pair3.rkt 77:0 cdr -- pair
derived-pair3.rkt 78:0 (#%app cdaadr (#%app cons (quote 1) (#%app cons (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)) (quote 5)))) -- derived pair
derived-pair3.rkt 78:0 car -- pair
derived-pair3.rkt 78:0 cdr -- pair
derived-pair3.rkt 79:0 (#%app cdadar (#%app cons (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4))) (quote 5))) -- derived pair
derived-pair3.rkt 79:0 car -- pair
derived-pair3.rkt 79:0 cdr -- pair
derived-pair3.rkt 80:0 (#%app cdaddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (#%app cons (quote 3) (quote 4)) (quote 5))))) -- derived pair
derived-pair3.rkt 80:0 car -- pair
derived-pair3.rkt 80:0 cdr -- pair
derived-pair3.rkt 81:0 (#%app cddaar (#%app cons (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4)) (quote 5))) -- derived pair
derived-pair3.rkt 81:0 car -- pair
derived-pair3.rkt 81:0 cdr -- pair
derived-pair3.rkt 82:0 (#%app cddadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))) (quote 5)))) -- derived pair
derived-pair3.rkt 82:0 car -- pair
derived-pair3.rkt 82:0 cdr -- pair
derived-pair3.rkt 83:0 (#%app cdddar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4)))) (quote 5))) -- derived pair
derived-pair3.rkt 83:0 car -- pair
derived-pair3.rkt 83:0 cdr -- pair
derived-pair3.rkt 84:0 (#%app cddddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (#%app cons (quote 4) (quote 5)))))) -- derived pair
derived-pair3.rkt 84:0 cdr -- pair
TR opt: derived-pair3.rkt 69:0 (#%app caaaar (#%app cons (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4)) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 69:0 car -- pair
TR opt: derived-pair3.rkt 70:0 (#%app caaadr (#%app cons (quote 1) (#%app cons (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)) (quote 5)))) -- derived pair
TR opt: derived-pair3.rkt 70:0 car -- pair
TR opt: derived-pair3.rkt 70:0 cdr -- pair
TR opt: derived-pair3.rkt 71:0 (#%app caadar (#%app cons (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4))) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 71:0 car -- pair
TR opt: derived-pair3.rkt 71:0 cdr -- pair
TR opt: derived-pair3.rkt 72:0 (#%app caaddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (#%app cons (quote 3) (quote 4)) (quote 5))))) -- derived pair
TR opt: derived-pair3.rkt 72:0 car -- pair
TR opt: derived-pair3.rkt 72:0 cdr -- pair
TR opt: derived-pair3.rkt 73:0 (#%app cadaar (#%app cons (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4)) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 73:0 car -- pair
TR opt: derived-pair3.rkt 73:0 cdr -- pair
TR opt: derived-pair3.rkt 74:0 (#%app cadadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))) (quote 5)))) -- derived pair
TR opt: derived-pair3.rkt 74:0 car -- pair
TR opt: derived-pair3.rkt 74:0 cdr -- pair
TR opt: derived-pair3.rkt 75:0 (#%app caddar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4)))) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 75:0 car -- pair
TR opt: derived-pair3.rkt 75:0 cdr -- pair
TR opt: derived-pair3.rkt 76:0 (#%app cadddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (#%app cons (quote 4) (quote 5)))))) -- derived pair
TR opt: derived-pair3.rkt 76:0 car -- pair
TR opt: derived-pair3.rkt 76:0 cdr -- pair
TR opt: derived-pair3.rkt 77:0 (#%app cdaaar (#%app cons (#%app cons (#%app cons (#%app cons (quote 1) (quote 2)) (quote 3)) (quote 4)) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 77:0 car -- pair
TR opt: derived-pair3.rkt 77:0 cdr -- pair
TR opt: derived-pair3.rkt 78:0 (#%app cdaadr (#%app cons (quote 1) (#%app cons (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4)) (quote 5)))) -- derived pair
TR opt: derived-pair3.rkt 78:0 car -- pair
TR opt: derived-pair3.rkt 78:0 cdr -- pair
TR opt: derived-pair3.rkt 79:0 (#%app cdadar (#%app cons (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (quote 3)) (quote 4))) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 79:0 car -- pair
TR opt: derived-pair3.rkt 79:0 cdr -- pair
TR opt: derived-pair3.rkt 80:0 (#%app cdaddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (#%app cons (quote 3) (quote 4)) (quote 5))))) -- derived pair
TR opt: derived-pair3.rkt 80:0 car -- pair
TR opt: derived-pair3.rkt 80:0 cdr -- pair
TR opt: derived-pair3.rkt 81:0 (#%app cddaar (#%app cons (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (quote 3))) (quote 4)) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 81:0 car -- pair
TR opt: derived-pair3.rkt 81:0 cdr -- pair
TR opt: derived-pair3.rkt 82:0 (#%app cddadr (#%app cons (quote 1) (#%app cons (#%app cons (quote 2) (#%app cons (quote 3) (quote 4))) (quote 5)))) -- derived pair
TR opt: derived-pair3.rkt 82:0 car -- pair
TR opt: derived-pair3.rkt 82:0 cdr -- pair
TR opt: derived-pair3.rkt 83:0 (#%app cdddar (#%app cons (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (quote 4)))) (quote 5))) -- derived pair
TR opt: derived-pair3.rkt 83:0 car -- pair
TR opt: derived-pair3.rkt 83:0 cdr -- pair
TR opt: derived-pair3.rkt 84:0 (#%app cddddr (#%app cons (quote 1) (#%app cons (quote 2) (#%app cons (quote 3) (#%app cons (quote 4) (quote 5)))))) -- derived pair
TR opt: derived-pair3.rkt 84:0 cdr -- pair
1
2
2

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

@ -1,6 +1,6 @@
#;
(
double-float.rkt 10:1 + -- binary float
TR opt: double-float.rkt 10:1 + -- binary float
6.0
)

2
collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt
View File

@ -1,6 +1,6 @@
#;
(
exact-inexact.rkt 10:1 exact->inexact -- int to float
TR opt: exact-inexact.rkt 10:1 exact->inexact -- int to float
1e+100
)

48
collects/tests/typed-scheme/optimizer/tests/fixnum-bounded-expr.rkt
View File

@ -1,29 +1,29 @@
#;
(
fixnum-bounded-expr.rkt 60:3 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 66:3 - -- fixnum bounded expr
fixnum-bounded-expr.rkt 66:8 * -- fixnum bounded expr
fixnum-bounded-expr.rkt 73:3 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 76:3 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 81:1 abs -- fixnum fxabs
fixnum-bounded-expr.rkt 84:1 fx+ -- fixnum fx+
fixnum-bounded-expr.rkt 85:1 fx+ -- fixnum fx+
fixnum-bounded-expr.rkt 85:6 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 85:17 * -- fixnum bounded expr
fixnum-bounded-expr.rkt 86:1 fx+ -- fixnum fx+
fixnum-bounded-expr.rkt 86:6 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 86:9 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 87:1 fx+ -- fixnum fx+
fixnum-bounded-expr.rkt 87:9 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 87:12 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 88:6 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 88:18 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 90:1 fx- -- fixnum fx-
fixnum-bounded-expr.rkt 90:6 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 90:18 + -- fixnum bounded expr
fixnum-bounded-expr.rkt 93:1 fx* -- fixnum fx*
fixnum-bounded-expr.rkt 96:1 fxquotient -- fixnum fxquotient
fixnum-bounded-expr.rkt 99:1 fxabs -- fixnum fxabs
TR opt: fixnum-bounded-expr.rkt 60:3 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 66:3 - -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 66:8 * -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 73:3 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 76:3 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 81:1 abs -- fixnum fxabs
TR opt: fixnum-bounded-expr.rkt 84:1 fx+ -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 85:1 fx+ -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 85:6 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 85:17 * -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 86:1 fx+ -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 86:6 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 86:9 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 87:1 fx+ -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 87:9 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 87:12 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 88:6 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 88:18 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 90:1 fx- -- fixnum fx-
TR opt: fixnum-bounded-expr.rkt 90:6 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 90:18 + -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 93:1 fx* -- fixnum fx*
TR opt: fixnum-bounded-expr.rkt 96:1 fxquotient -- fixnum fxquotient
TR opt: fixnum-bounded-expr.rkt 99:1 fxabs -- fixnum fxabs
28
89525
28

6
collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt
View File

@ -1,8 +1,8 @@
#;
(
#f (no location) op -- string-length
fixnum-comparison.rkt 12:1 < -- binary fixnum
fixnum-comparison.rkt 12:4 vector-length -- vector-length
TR opt: #f (no location) op -- string-length
TR opt: fixnum-comparison.rkt 12:1 < -- binary fixnum
TR opt: fixnum-comparison.rkt 12:4 vector-length -- vector-length
#t
)

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

@ -1,6 +1,6 @@
#;
(
float-comp.rkt 10:1 < -- binary float comp
TR opt: float-comp.rkt 10:1 < -- binary float comp
#t
)

10
collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate-top.rkt
View File

@ -1,10 +1,10 @@
#;
(
float-complex-conjugate-top.rkt 14:0 (#%app conjugate (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) -- unboxed float complex
float-complex-conjugate-top.rkt 14:1 conjugate -- unboxed unary float complex
float-complex-conjugate-top.rkt 14:12 + -- unboxed binary float complex
float-complex-conjugate-top.rkt 14:14 1.0+2.0i -- unboxed literal
float-complex-conjugate-top.rkt 14:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-conjugate-top.rkt 14:0 (#%app conjugate (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) -- unboxed float complex
TR opt: float-complex-conjugate-top.rkt 14:1 conjugate -- unboxed unary float complex
TR opt: float-complex-conjugate-top.rkt 14:12 + -- unboxed binary float complex
TR opt: float-complex-conjugate-top.rkt 14:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-conjugate-top.rkt 14:23 2.0+4.0i -- unboxed literal
3.0-6.0i
)

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

@ -1,11 +1,11 @@
#;
(
float-complex-conjugate.rkt 15:0 (#%app + (#%app conjugate (quote 1.0+2.0i)) (#%app conjugate (quote 2.0+4.0i))) -- unboxed float complex
float-complex-conjugate.rkt 15:1 + -- unboxed binary float complex
float-complex-conjugate.rkt 15:4 conjugate -- unboxed unary float complex
float-complex-conjugate.rkt 15:14 1.0+2.0i -- unboxed literal
float-complex-conjugate.rkt 15:25 conjugate -- unboxed unary float complex
float-complex-conjugate.rkt 15:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-conjugate.rkt 15:0 (#%app + (#%app conjugate (quote 1.0+2.0i)) (#%app conjugate (quote 2.0+4.0i))) -- unboxed float complex
TR opt: float-complex-conjugate.rkt 15:1 + -- unboxed binary float complex
TR opt: float-complex-conjugate.rkt 15:4 conjugate -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 15:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-conjugate.rkt 15:25 conjugate -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 15:35 2.0+4.0i -- unboxed literal
3.0-6.0i
)

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

@ -1,10 +1,10 @@
#;
(
float-complex-div.rkt 14:0 (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-div.rkt 14:1 / -- unboxed binary float complex
float-complex-div.rkt 14:3 1.0+2.0i -- unboxed literal
float-complex-div.rkt 14:12 2.0+4.0i -- unboxed literal
float-complex-div.rkt 14:21 3.0+6.0i -- unboxed literal
TR opt: float-complex-div.rkt 14:0 (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-div.rkt 14:1 / -- unboxed binary float complex
TR opt: float-complex-div.rkt 14:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-div.rkt 14:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-div.rkt 14:21 3.0+6.0i -- unboxed literal
0.03333333333333333-0.06666666666666667i
)

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

@ -1,11 +1,11 @@
#;
(
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-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
TR opt: 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
TR opt: float-complex-fixnum.rkt 15:1 + -- unboxed binary float complex
TR opt: float-complex-fixnum.rkt 15:3 (#%app modulo (quote 2) (quote 1)) -- float-arg-expr in complex ops
TR opt: float-complex-fixnum.rkt 15:4 modulo -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 15:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 15:25 3.0+6.0i -- unboxed literal
4.0+8.0i
)

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

@ -1,42 +1,42 @@
#;
(
float-complex-float-div.rkt 47:52 real-part -- unboxed float complex
float-complex-float-div.rkt 47:62 x -- unbox float-complex
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-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-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-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-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-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-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-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
TR opt: float-complex-float-div.rkt 47:52 real-part -- unboxed float complex
TR opt: float-complex-float-div.rkt 47:62 x -- unbox float-complex
TR opt: float-complex-float-div.rkt 48:52 imag-part -- unboxed float complex
TR opt: float-complex-float-div.rkt 48:62 x -- unbox float-complex
TR opt: float-complex-float-div.rkt 50:6 (#%app / (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 50:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 50:9 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 50:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 51:6 (#%app / (quote 1.0+2.0i) (quote 2.0)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 51:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 51:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 51:18 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 52:6 (#%app / (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 52:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 52:9 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 52:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 52:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 53:6 (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 53:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 53:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 53:18 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 53:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 54:6 (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 54:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 54:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 54:18 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 54:27 (quote 3.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 55:6 (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 55:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 55:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 55:18 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 55:22 (quote 3.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 56:6 (#%app / (quote 1.0) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float-div.rkt 56:7 / -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 56:9 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 56:13 (quote 2.0) -- float-arg-expr in complex ops
TR opt: 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")
)

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

@ -1,33 +1,33 @@
#;
(
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-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-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-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-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-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-arg-expr in complex ops
float-complex-float-mul.rkt 47:16 (quote 3.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 42:0 (#%app * (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-float-mul.rkt 42:1 * -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 42:3 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 42:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 43:0 (#%app * (quote 1.0+2.0i) (quote 2.0)) -- unboxed float complex
TR opt: float-complex-float-mul.rkt 43:1 * -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 43:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 43:12 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 44:0 (#%app * (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float-mul.rkt 44:1 * -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 44:3 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 44:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 44:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 45:0 (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float-mul.rkt 45:1 * -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 45:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 45:12 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 45:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 46:0 (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float-mul.rkt 46:1 * -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 46:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 46:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 46:21 (quote 3.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 47:0 (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float-mul.rkt 47:1 * -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 47:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 47:12 (quote 2.0) -- float-arg-expr in complex ops
TR opt: 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

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

@ -1,28 +1,28 @@
#;
(
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-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-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-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-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-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-arg-expr in complex ops
float-complex-float-small.rkt 40:19 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 36:0 (#%app + (quote 1.0+2.0i) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float-small.rkt 36:1 + -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 36:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 36:12 (quote 3.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 37:0 (#%app + (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-float-small.rkt 37:1 + -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 37:3 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 37:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 38:0 (#%app - (quote 1.0+2.0i) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float-small.rkt 38:1 - -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 38:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 38:12 (quote 3.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 39:0 (#%app - (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-float-small.rkt 39:1 - -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 39:3 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 39:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 40:0 (#%app + (quote 1.0+2.0i) (#%app + (quote 1.0) (quote 2.0))) -- unboxed float complex
TR opt: float-complex-float-small.rkt 40:1 + -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 40:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 40:12 (#%app + (quote 1.0) (quote 2.0)) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 40:13 + -- binary float
TR opt: float-complex-float-small.rkt 40:15 (quote 1.0) -- float-arg-expr in complex ops
TR opt: 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

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

@ -1,25 +1,25 @@
#;
(
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-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-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-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-arg-expr in complex ops
TR opt: float-complex-float.rkt 32:0 (#%app + (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float.rkt 32:1 + -- unboxed binary float complex
TR opt: float-complex-float.rkt 32:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 32:12 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 32:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 33:0 (#%app - (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float.rkt 33:1 - -- unboxed binary float complex
TR opt: float-complex-float.rkt 33:3 (quote 1.0) -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 33:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float.rkt 33:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 34:0 (#%app - (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-float.rkt 34:1 - -- unboxed binary float complex
TR opt: float-complex-float.rkt 34:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 34:12 (quote 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 34:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 35:0 (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex
TR opt: float-complex-float.rkt 35:1 - -- unboxed binary float complex
TR opt: float-complex-float.rkt 35:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 35:12 2.0+4.0i -- unboxed literal
TR opt: 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

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

@ -1,11 +1,11 @@
#;
(
float-complex-i.rkt 15:0 (#%app + (quote 1.0+2.0i) (#%app * (quote 0+1.0i) (quote 2.0+4.0i))) -- unboxed float complex
float-complex-i.rkt 15:1 + -- unboxed binary float complex
float-complex-i.rkt 15:3 1.0+2.0i -- unboxed literal
float-complex-i.rkt 15:13 * -- unboxed binary float complex
float-complex-i.rkt 15:15 0+1.0i -- unboxed literal
float-complex-i.rkt 15:21 2.0+4.0i -- unboxed literal
TR opt: float-complex-i.rkt 15:0 (#%app + (quote 1.0+2.0i) (#%app * (quote 0+1.0i) (quote 2.0+4.0i))) -- unboxed float complex
TR opt: float-complex-i.rkt 15:1 + -- unboxed binary float complex
TR opt: float-complex-i.rkt 15:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-i.rkt 15:13 * -- unboxed binary float complex
TR opt: float-complex-i.rkt 15:15 0+1.0i -- unboxed literal
TR opt: float-complex-i.rkt 15:21 2.0+4.0i -- unboxed literal
-3.0+4.0i
)

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

@ -1,9 +1,9 @@
#;
(
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-arg-expr in complex ops
float-complex-integer.rkt 13:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-integer.rkt 13:0 (#%app + (#%app expt (quote 2) (quote 100)) (quote 1.0+2.0i)) -- unboxed float complex
TR opt: float-complex-integer.rkt 13:1 + -- unboxed binary float complex
TR opt: float-complex-integer.rkt 13:3 (#%app expt (quote 2) (quote 100)) -- float-arg-expr in complex ops
TR opt: float-complex-integer.rkt 13:16 1.0+2.0i -- unboxed literal
1.2676506002282294e+30+2.0i
)

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

@ -1,10 +1,10 @@
#;
(
float-complex-mult.rkt 14:0 (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
float-complex-mult.rkt 14:1 * -- unboxed binary float complex
float-complex-mult.rkt 14:3 1.0+2.0i -- unboxed literal
float-complex-mult.rkt 14:12 2.0+4.0i -- unboxed literal
float-complex-mult.rkt 14:21 3.0+6.0i -- unboxed literal
TR opt: float-complex-mult.rkt 14:0 (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex
TR opt: float-complex-mult.rkt 14:1 * -- unboxed binary float complex
TR opt: float-complex-mult.rkt 14:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-mult.rkt 14:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-mult.rkt 14:21 3.0+6.0i -- unboxed literal
-66.0-12.0i
)

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

@ -1,11 +1,11 @@
#;
(
float-complex-parts.rkt 17:1 real-part -- unboxed float complex
float-complex-parts.rkt 17:11 1.0+2.0i -- unboxed literal
float-complex-parts.rkt 18:1 imag-part -- unboxed float complex
float-complex-parts.rkt 18:11 1.0+2.0i -- unboxed literal
float-complex-parts.rkt 19:1 real-part -- unboxed float complex
float-complex-parts.rkt 19:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 17:1 real-part -- unboxed float complex
TR opt: float-complex-parts.rkt 17:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 18:1 imag-part -- unboxed float complex
TR opt: float-complex-parts.rkt 18:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 19:1 real-part -- unboxed float complex
TR opt: float-complex-parts.rkt 19:11 1.0+2.0i -- unboxed literal
1.0
2.0
1.0

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

@ -1,25 +1,25 @@
#;
(
float-complex-parts2.rkt 34:1 real-part -- unboxed float complex
float-complex-parts2.rkt 34:11 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-parts2.rkt 34:12 + -- unboxed binary float complex
float-complex-parts2.rkt 34:14 1.0+2.0i -- unboxed literal
float-complex-parts2.rkt 34:23 2.0+4.0i -- unboxed literal
float-complex-parts2.rkt 35:1 unsafe-flreal-part -- unboxed float complex
float-complex-parts2.rkt 35:20 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-parts2.rkt 35:21 + -- unboxed binary float complex
float-complex-parts2.rkt 35:23 1.0+2.0i -- unboxed literal
float-complex-parts2.rkt 35:32 2.0+4.0i -- unboxed literal
float-complex-parts2.rkt 36:1 imag-part -- unboxed float complex
float-complex-parts2.rkt 36:11 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-parts2.rkt 36:12 + -- unboxed binary float complex
float-complex-parts2.rkt 36:14 1.0+2.0i -- unboxed literal
float-complex-parts2.rkt 36:23 2.0+4.0i -- unboxed literal
float-complex-parts2.rkt 37:1 unsafe-flimag-part -- unboxed float complex
float-complex-parts2.rkt 37:20 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
float-complex-parts2.rkt 37:21 + -- unboxed binary float complex
float-complex-parts2.rkt 37:23 1.0+2.0i -- unboxed literal
float-complex-parts2.rkt 37:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 34:1 real-part -- unboxed float complex
TR opt: float-complex-parts2.rkt 34:11 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-parts2.rkt 34:12 + -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 34:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 34:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 35:1 unsafe-flreal-part -- unboxed float complex
TR opt: float-complex-parts2.rkt 35:20 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-parts2.rkt 35:21 + -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 35:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 35:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 36:1 imag-part -- unboxed float complex
TR opt: float-complex-parts2.rkt 36:11 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-parts2.rkt 36:12 + -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 36:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 36:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 37:1 unsafe-flimag-part -- unboxed float complex
TR opt: float-complex-parts2.rkt 37:20 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex-parts2.rkt 37:21 + -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 37:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 37:32 2.0+4.0i -- unboxed literal
3.0
3.0
6.0

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

@ -1,33 +1,33 @@
#;
(
float-complex-parts3.rkt 42:0 (#%app + (quote 1.0+2.0i) (#%app real-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
float-complex-parts3.rkt 42:1 + -- unboxed binary float complex
float-complex-parts3.rkt 42:3 1.0+2.0i -- unboxed literal
float-complex-parts3.rkt 42:13 real-part -- unboxed unary float complex
float-complex-parts3.rkt 42:24 + -- unboxed binary float complex
float-complex-parts3.rkt 42:26 2.0+4.0i -- unboxed literal
float-complex-parts3.rkt 42:35 3.0+6.0i -- unboxed literal
float-complex-parts3.rkt 43:0 (#%app + (quote 1.0+2.0i) (#%app unsafe-flreal-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
float-complex-parts3.rkt 43:1 + -- unboxed binary float complex
float-complex-parts3.rkt 43:3 1.0+2.0i -- unboxed literal
float-complex-parts3.rkt 43:13 unsafe-flreal-part -- unboxed unary float complex
float-complex-parts3.rkt 43:33 + -- unboxed binary float complex
float-complex-parts3.rkt 43:35 2.0+4.0i -- unboxed literal
float-complex-parts3.rkt 43:44 3.0+6.0i -- unboxed literal
float-complex-parts3.rkt 44:0 (#%app + (quote 1.0+2.0i) (#%app imag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
float-complex-parts3.rkt 44:1 + -- unboxed binary float complex
float-complex-parts3.rkt 44:3 1.0+2.0i -- unboxed literal
float-complex-parts3.rkt 44:13 imag-part -- unboxed unary float complex
float-complex-parts3.rkt 44:24 + -- unboxed binary float complex
float-complex-parts3.rkt 44:26 2.0+4.0i -- unboxed literal
float-complex-parts3.rkt 44:35 3.0+6.0i -- unboxed literal
float-complex-parts3.rkt 45:0 (#%app + (quote 1.0+2.0i) (#%app unsafe-flimag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
float-complex-parts3.rkt 45:1 + -- unboxed binary float complex
float-complex-parts3.rkt 45:3 1.0+2.0i -- unboxed literal
float-complex-parts3.rkt 45:13 unsafe-flimag-part -- unboxed unary float complex
float-complex-parts3.rkt 45:33 + -- unboxed binary float complex
float-complex-parts3.rkt 45:35 2.0+4.0i -- unboxed literal
float-complex-parts3.rkt 45:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 42:0 (#%app + (quote 1.0+2.0i) (#%app real-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
TR opt: float-complex-parts3.rkt 42:1 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 42:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 42:13 real-part -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 42:24 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 42:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 42:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 43:0 (#%app + (quote 1.0+2.0i) (#%app unsafe-flreal-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
TR opt: float-complex-parts3.rkt 43:1 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 43:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 43:13 unsafe-flreal-part -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 43:33 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 43:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 43:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 44:0 (#%app + (quote 1.0+2.0i) (#%app imag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
TR opt: float-complex-parts3.rkt 44:1 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 44:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 44:13 imag-part -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 44:24 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 44:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 44:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 45:0 (#%app + (quote 1.0+2.0i) (#%app unsafe-flimag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) -- unboxed float complex
TR opt: float-complex-parts3.rkt 45:1 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 45:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 45:13 unsafe-flimag-part -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 45:33 + -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 45:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 45:44 3.0+6.0i -- unboxed literal
6.0+2.0i
6.0+2.0i
11.0+2.0i

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

@ -1,11 +1,11 @@
#;
(
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-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
TR opt: float-complex-sin.rkt 16:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex
TR opt: float-complex-sin.rkt 16:11 + -- unboxed binary float complex
TR missed opt: float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- unary, arg float-arg-expr, return type not Float
TR opt: float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- float-arg-expr in complex ops
TR missed opt: 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
TR opt: float-complex-sin.rkt 16:30 0.0+0.0i -- unboxed literal
-0.0031853017931379904+0.0i
)

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

@ -1,13 +1,13 @@
#;
(
float-complex.rkt 18:0 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
float-complex.rkt 18:1 + -- unboxed binary float complex
float-complex.rkt 18:3 1.0+2.0i -- unboxed literal
float-complex.rkt 18:12 2.0+4.0i -- unboxed literal
float-complex.rkt 19:0 (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
float-complex.rkt 19:1 - -- unboxed binary float complex
float-complex.rkt 19:3 1.0+2.0i -- unboxed literal
float-complex.rkt 19:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 18:0 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex.rkt 18:1 + -- unboxed binary float complex
TR opt: float-complex.rkt 18:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 18:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 19:0 (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: float-complex.rkt 19:1 - -- unboxed binary float complex
TR opt: float-complex.rkt 19:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 19:12 2.0+4.0i -- unboxed literal
3.0+6.0i
-1.0-2.0i
)

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

@ -1,6 +1,6 @@
#;
(
float-fun.rkt 12:3 + -- binary float
TR opt: float-fun.rkt 12:3 + -- binary float
)
#lang typed/racket

6
collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt
View File

@ -1,8 +1,8 @@
#;
(
float-promotion.rkt 13:1 + -- binary float
float-promotion.rkt 13:4 modulo -- binary nonzero fixnum
float-promotion.rkt 14:1 + -- binary float
TR opt: float-promotion.rkt 13:1 + -- binary float
TR opt: float-promotion.rkt 13:4 modulo -- binary nonzero fixnum
TR opt: float-promotion.rkt 14:1 + -- binary float
2.0
1e+200
)

12
collects/tests/typed-scheme/optimizer/tests/float-real.rkt
View File

@ -1,11 +1,11 @@
#;
(
float-real.rkt 18:1 + -- binary float
float-real.rkt 19:0 (#%app + (quote 2.3) (#%app * (quote 2) (quote 3.2))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 19:7 (#%app * (quote 2) (quote 3.2))
float-real.rkt 19:1 + -- binary float
float-real.rkt 19:7 (#%app * (quote 2) (quote 3.2)) -- binary, args all float-arg-expr, return type not Float -- caused by: 19:15 (quote 2)
float-real.rkt 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1))) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:15 (quote 2)
float-real.rkt 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 20:7 (#%app * (quote 2) (quote 3.1))
TR opt: float-real.rkt 18:1 + -- binary float
TR missed opt: float-real.rkt 19:0 (#%app + (quote 2.3) (#%app * (quote 2) (quote 3.2))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 19:7 (#%app * (quote 2) (quote 3.2))
TR opt: float-real.rkt 19:1 + -- binary float
TR missed opt: float-real.rkt 19:7 (#%app * (quote 2) (quote 3.2)) -- binary, args all float-arg-expr, return type not Float -- caused by: 19:15 (quote 2)
TR missed opt: float-real.rkt 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1))) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:15 (quote 2)
TR missed opt: float-real.rkt 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1))) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 20:7 (#%app * (quote 2) (quote 3.1))
5.3
8.7
14.26

2
collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt
View File

@ -1,6 +1,6 @@
#;
(
flvector-length.rkt 10:1 flvector-length -- flvector-length
TR opt: flvector-length.rkt 10:1 flvector-length -- flvector-length
2
)

2
collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt
View File

@ -1,6 +1,6 @@
#;
(
fx-fl.rkt 10:1 exact->inexact -- fixnum to float
TR opt: fx-fl.rkt 10:1 exact->inexact -- fixnum to float
1.0
)

2
collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt
View File

@ -1,6 +1,6 @@
#;
(
#f (no location) make-sequence -- in-bytes
TR opt: #f (no location) make-sequence -- in-bytes
495051)
#lang typed/scheme

2
collects/tests/typed-scheme/optimizer/tests/in-list.rkt
View File

@ -1,6 +1,6 @@
#;
(
#f (no location) make-sequence -- in-list
TR opt: #f (no location) make-sequence -- in-list
123)
#lang typed/scheme

2
collects/tests/typed-scheme/optimizer/tests/in-string.rkt
View File

@ -1,6 +1,6 @@
#;
(
#f (no location) make-sequence -- in-string
TR opt: #f (no location) make-sequence -- in-string
123)
#lang typed/scheme

2
collects/tests/typed-scheme/optimizer/tests/in-vector.rkt
View File

@ -1,6 +1,6 @@
#;
(
#f (no location) make-sequence -- in-vector
TR opt: #f (no location) make-sequence -- in-vector
123)
#lang typed/scheme

4
collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
View File

@ -1,7 +1,7 @@
#;
(
invalid-derived-pair.rkt 12:2 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 12:2 (#%app cdr x)
invalid-derived-pair.rkt 17:6 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 17:6 (#%app cdr x)
TR missed opt: invalid-derived-pair.rkt 12:2 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 12:2 (#%app cdr x)
TR missed opt: invalid-derived-pair.rkt 17:6 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 17:6 (#%app cdr x)
)
#lang typed/racket #:optimize

2
collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt
View File

@ -1,6 +1,6 @@
#;
(
invalid-exact-inexact.rkt 9:1 exact->inexact -- float to float
TR opt: invalid-exact-inexact.rkt 9:1 exact->inexact -- float to float
1.0
)

4
collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt
View File

@ -1,7 +1,7 @@
#;
(
invalid-float-promotion.rkt 12:0 (#%app / (quote 1) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 12:8 (quote 1)
invalid-float-promotion.rkt 13:0 (#%app * (quote 2/3) (quote 3.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 13:8 (quote 2/3)
TR missed opt: invalid-float-promotion.rkt 12:0 (#%app / (quote 1) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 12:8 (quote 1)
TR missed opt: invalid-float-promotion.rkt 13:0 (#%app * (quote 2/3) (quote 3.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 13:8 (quote 2/3)
0.5
2.0
)

2
collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt
View File

@ -1,6 +1,6 @@
#;
(
invalid-log-complex.rkt 10:11 (#%app log (quote 2.0)) -- unexpected complex type
TR missed opt: invalid-log-complex.rkt 10:11 (#%app log (quote 2.0)) -- unexpected complex type
0.6931471805599453
)

2
collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt
View File

@ -1,6 +1,6 @@
#;
(
invalid-mpair.rkt 10:2 (#%app mcar x) -- mpair op on a potentially empty mlist -- caused by: 10:8 x
TR missed opt: invalid-mpair.rkt 10:2 (#%app mcar x) -- mpair op on a potentially empty mlist -- caused by: 10:8 x
)
#lang typed/scheme

2
collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt
View File

@ -1,6 +1,6 @@
#;
(
invalid-sqrt.rkt 9:0 (#%app sqrt (quote -2.0)) -- unexpected complex type
TR missed opt: invalid-sqrt.rkt 9:0 (#%app sqrt (quote -2.0)) -- unexpected complex type
0+1.4142135623730951i
)

28
collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt
View File

@ -1,19 +1,19 @@
#;
(
invalid-unboxed-let.rkt 22:0 (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) ((t2) (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i))) ((t3) (quote 1.0+2.0i)) ((t4) (quote 1))) (#%app display (#%app + t1 t1)) (#%app display t2) (#%app display t3) (#%app display t4)) -- unboxed let bindings
invalid-unboxed-let.rkt 22:11 + -- unboxed binary float complex
invalid-unboxed-let.rkt 22:13 1.0+2.0i -- unboxed literal
invalid-unboxed-let.rkt 22:22 2.0+4.0i -- unboxed literal
invalid-unboxed-let.rkt 23:10 (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) -- unboxed float complex
invalid-unboxed-let.rkt 23:11 + -- unboxed binary float complex
invalid-unboxed-let.rkt 23:13 3.0+6.0i -- unboxed literal
invalid-unboxed-let.rkt 23:22 4.0+8.0i -- unboxed literal
invalid-unboxed-let.rkt 26:11 (#%app + t1 t1) -- unboxed float complex
invalid-unboxed-let.rkt 26:12 + -- unboxed binary float complex
invalid-unboxed-let.rkt 26:14 t1 -- leave var unboxed
invalid-unboxed-let.rkt 26:14 t1 -- unbox float-complex
invalid-unboxed-let.rkt 26:17 t1 -- leave var unboxed
invalid-unboxed-let.rkt 26:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 22:0 (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) ((t2) (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i))) ((t3) (quote 1.0+2.0i)) ((t4) (quote 1))) (#%app display (#%app + t1 t1)) (#%app display t2) (#%app display t3) (#%app display t4)) -- unboxed let bindings
TR opt: invalid-unboxed-let.rkt 22:11 + -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 22:13 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 22:22 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 23:10 (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) -- unboxed float complex
TR opt: invalid-unboxed-let.rkt 23:11 + -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 23:13 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 23:22 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 26:11 (#%app + t1 t1) -- unboxed float complex
TR opt: invalid-unboxed-let.rkt 26:12 + -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 26:14 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 26:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 26:17 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 26:17 t1 -- unbox float-complex
6.0+12.0i7.0+14.0i1.0+2.0i1)
#lang typed/scheme

24
collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt
View File

@ -1,17 +1,17 @@
#;
(
invalid-unboxed-let2.rkt 24:30 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
invalid-unboxed-let2.rkt 24:31 + -- unboxed binary float complex
invalid-unboxed-let2.rkt 24:33 1.0+2.0i -- unboxed literal
invalid-unboxed-let2.rkt 24:42 2.0+4.0i -- unboxed literal
invalid-unboxed-let2.rkt 24:52 (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) -- unboxed float complex
invalid-unboxed-let2.rkt 24:53 + -- unboxed binary float complex
invalid-unboxed-let2.rkt 24:55 3.0+6.0i -- unboxed literal
invalid-unboxed-let2.rkt 24:64 4.0+8.0i -- unboxed literal
invalid-unboxed-let2.rkt 25:2 (#%app + t1 t2) -- unboxed float complex
invalid-unboxed-let2.rkt 25:3 + -- unboxed binary float complex
invalid-unboxed-let2.rkt 25:5 t1 -- unbox float-complex
invalid-unboxed-let2.rkt 25:8 t2 -- unbox float-complex
TR opt: invalid-unboxed-let2.rkt 24:30 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex
TR opt: invalid-unboxed-let2.rkt 24:31 + -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 24:33 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:42 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:52 (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) -- unboxed float complex
TR opt: invalid-unboxed-let2.rkt 24:53 + -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 24:55 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:64 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 25:2 (#%app + t1 t2) -- unboxed float complex
TR opt: invalid-unboxed-let2.rkt 25:3 + -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 25:5 t1 -- unbox float-complex
TR opt: invalid-unboxed-let2.rkt 25:8 t2 -- unbox float-complex
10.0+20.0i
)

4
collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt
View File

@ -1,7 +1,7 @@
#;
(
known-vector-length.rkt 11:1 + -- fixnum bounded expr
known-vector-length.rkt 11:6 vector-length -- known-length vector-length
TR opt: known-vector-length.rkt 11:1 + -- fixnum bounded expr
TR opt: known-vector-length.rkt 11:6 vector-length -- known-length vector-length
4
)

4
collects/tests/typed-scheme/optimizer/tests/let-float.rkt
View File

@ -1,7 +1,7 @@
#;
(
let-float.rkt 11:10 + -- binary float
let-float.rkt 12:3 * -- binary float
TR opt: let-float.rkt 11:10 + -- binary float
TR opt: let-float.rkt 12:3 * -- binary float
45.0
)

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

@ -1,6 +1,6 @@
#;
(
let-rhs.rkt 12:10 + -- binary float
TR opt: let-rhs.rkt 12:10 + -- binary float
3.0
)

2
collects/tests/typed-scheme/optimizer/tests/literal-int.rkt
View File

@ -1,6 +1,6 @@
#;
(
literal-int.rkt 13:1 + -- binary float
TR opt: literal-int.rkt 13:1 + -- binary float
3.0
1
)

6
collects/tests/typed-scheme/optimizer/tests/magnitude.rkt
View File

@ -1,8 +1,8 @@
#;
(
magnitude.rkt 14:0 (#%app magnitude (quote 3.0+4.0i)) -- unboxed float complex->float
magnitude.rkt 14:1 magnitude -- unboxed unary float complex
magnitude.rkt 14:11 3.0+4.0i -- unboxed literal
TR opt: magnitude.rkt 14:0 (#%app magnitude (quote 3.0+4.0i)) -- unboxed float complex->float
TR opt: magnitude.rkt 14:1 magnitude -- unboxed unary float complex
TR opt: magnitude.rkt 14:11 3.0+4.0i -- unboxed literal
5.0
)

4
collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt
View File

@ -1,7 +1,7 @@
#;
(
make-flrectangular.rkt 12:1 make-rectangular -- binary float comp
make-flrectangular.rkt 13:1 make-flrectangular -- binary float comp
TR opt: make-flrectangular.rkt 12:1 make-rectangular -- binary float comp
TR opt: make-flrectangular.rkt 13:1 make-flrectangular -- binary float comp
1.0+2.2i
1.0+2.2i
)

30
collects/tests/typed-scheme/optimizer/tests/make-polar.rkt
View File

@ -1,20 +1,20 @@
#;
(
make-polar.rkt 28:1 make-polar -- make-polar
make-polar.rkt 28:1 make-polar -- make-rectangular elimination
make-polar.rkt 31:0 (let-values (((p) (#%app + (quote 1.0+2.0i) (#%app make-polar (quote 2.0) (quote 4.0))))) (#%app string-append (#%app real->decimal-string (#%app real-part p) (quote 10)) (#%app real->decimal-string (#%app imag-part p) (quote 10)))) -- unboxed let bindings
make-polar.rkt 31:10 + -- unboxed binary float complex
make-polar.rkt 31:12 1.0+2.0i -- unboxed literal
make-polar.rkt 31:22 make-polar -- make-rectangular elimination
make-polar.rkt 32:39 (#%app real-part p) -- unboxed float complex->float
make-polar.rkt 32:40 real-part -- unboxed float complex
make-polar.rkt 32:40 real-part -- unboxed unary float complex
make-polar.rkt 32:50 p -- leave var unboxed
make-polar.rkt 32:50 p -- unbox float-complex
make-polar.rkt 32:50 p -- unboxed complex variable
make-polar.rkt 33:40 imag-part -- unboxed float complex
make-polar.rkt 33:50 p -- leave var unboxed
make-polar.rkt 33:50 p -- unboxed complex variable
TR opt: make-polar.rkt 28:1 make-polar -- make-polar
TR opt: make-polar.rkt 28:1 make-polar -- make-rectangular elimination
TR opt: make-polar.rkt 31:0 (let-values (((p) (#%app + (quote 1.0+2.0i) (#%app make-polar (quote 2.0) (quote 4.0))))) (#%app string-append (#%app real->decimal-string (#%app real-part p) (quote 10)) (#%app real->decimal-string (#%app imag-part p) (quote 10)))) -- unboxed let bindings
TR opt: make-polar.rkt 31:10 + -- unboxed binary float complex
TR opt: make-polar.rkt 31:12 1.0+2.0i -- unboxed literal
TR opt: make-polar.rkt 31:22 make-polar -- make-rectangular elimination
TR opt: make-polar.rkt 32:39 (#%app real-part p) -- unboxed float complex->float
TR opt: make-polar.rkt 32:40 real-part -- unboxed float complex
TR opt: make-polar.rkt 32:40 real-part -- unboxed unary float complex
TR opt: make-polar.rkt 32:50 p -- leave var unboxed
TR opt: make-polar.rkt 32:50 p -- unbox float-complex
TR opt: make-polar.rkt 32:50 p -- unboxed complex variable
TR opt: make-polar.rkt 33:40 imag-part -- unboxed float complex
TR opt: make-polar.rkt 33:50 p -- leave var unboxed
TR opt: make-polar.rkt 33:50 p -- unboxed complex variable
0.5403023058681398+0.8414709848078965i
"-0.30728724170.4863950094"
)

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

@ -1,9 +1,9 @@
#;
(
maybe-exact-complex.rkt 15:0 (#%app + (quote 1.0+2.0i) (quote 2+4i)) -- unboxed float complex
maybe-exact-complex.rkt 15:1 + -- unboxed binary float complex
maybe-exact-complex.rkt 15:3 1.0+2.0i -- unboxed literal
maybe-exact-complex.rkt 15:12 2+4i -- unboxed literal
TR opt: maybe-exact-complex.rkt 15:0 (#%app + (quote 1.0+2.0i) (quote 2+4i)) -- unboxed float complex
TR opt: maybe-exact-complex.rkt 15:1 + -- unboxed binary float complex
TR opt: maybe-exact-complex.rkt 15:3 1.0+2.0i -- unboxed literal
TR opt: maybe-exact-complex.rkt 15:12 2+4i -- unboxed literal
3.0+6.0i
)

14
collects/tests/typed-scheme/optimizer/tests/mpair.rkt
View File

@ -1,12 +1,12 @@
#;
(
mpair.rkt 19:1 mcar -- mutable pair
mpair.rkt 20:1 mcdr -- mutable pair
mpair.rkt 21:1 set-mcar! -- mutable pair
mpair.rkt 21:14 + -- fixnum bounded expr
mpair.rkt 22:1 set-mcdr! -- mutable pair
mpair.rkt 22:14 + -- binary float
mpair.rkt 28:7 mcar -- mutable pair
TR opt: mpair.rkt 19:1 mcar -- mutable pair
TR opt: mpair.rkt 20:1 mcdr -- mutable pair
TR opt: mpair.rkt 21:1 set-mcar! -- mutable pair
TR opt: mpair.rkt 21:14 + -- fixnum bounded expr
TR opt: mpair.rkt 22:1 set-mcdr! -- mutable pair
TR opt: mpair.rkt 22:14 + -- binary float
TR opt: mpair.rkt 28:7 mcar -- mutable pair
1
1.0
)

12
collects/tests/typed-scheme/optimizer/tests/n-ary-float-complex.rkt
View File

@ -1,11 +1,11 @@
#;
(
n-ary-float-complex.rkt 15:0 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i) (quote 4.0+8.0i)) -- unboxed float complex
n-ary-float-complex.rkt 15:1 + -- unboxed binary float complex
n-ary-float-complex.rkt 15:3 1.0+2.0i -- unboxed literal
n-ary-float-complex.rkt 15:12 2.0+4.0i -- unboxed literal
n-ary-float-complex.rkt 15:21 3.0+6.0i -- unboxed literal
n-ary-float-complex.rkt 15:30 4.0+8.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 15:0 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i) (quote 4.0+8.0i)) -- unboxed float complex
TR opt: n-ary-float-complex.rkt 15:1 + -- unboxed binary float complex
TR opt: n-ary-float-complex.rkt 15:3 1.0+2.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 15:12 2.0+4.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 15:21 3.0+6.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 15:30 4.0+8.0i -- unboxed literal
10.0+20.0i
)

2
collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt
View File

@ -1,6 +1,6 @@
#;
(
n-ary-float.rkt 10:1 + -- binary float
TR opt: n-ary-float.rkt 10:1 + -- binary float
6.0
)

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

@ -1,11 +1,11 @@
#;
(
nested-float-complex.rkt 15:0 (#%app + (quote 1.0+2.0i) (#%app - (quote 2.0+4.0i) (quote 3.0+6.0i))) -- unboxed float complex
nested-float-complex.rkt 15:1 + -- unboxed binary float complex
nested-float-complex.rkt 15:3 1.0+2.0i -- unboxed literal
nested-float-complex.rkt 15:13 - -- unboxed binary float complex
nested-float-complex.rkt 15:15 2.0+4.0i -- unboxed literal
nested-float-complex.rkt 15:24 3.0+6.0i -- unboxed literal
TR opt: nested-float-complex.rkt 15:0 (#%app + (quote 1.0+2.0i) (#%app - (quote 2.0+4.0i) (quote 3.0+6.0i))) -- unboxed float complex
TR opt: nested-float-complex.rkt 15:1 + -- unboxed binary float complex
TR opt: nested-float-complex.rkt 15:3 1.0+2.0i -- unboxed literal
TR opt: nested-float-complex.rkt 15:13 - -- unboxed binary float complex
TR opt: nested-float-complex.rkt 15:15 2.0+4.0i -- unboxed literal
TR opt: nested-float-complex.rkt 15:24 3.0+6.0i -- unboxed literal
0.0+0.0i
)

4
collects/tests/typed-scheme/optimizer/tests/nested-float.rkt
View File

@ -1,7 +1,7 @@
#;
(
nested-float.rkt 11:1 + -- binary float
nested-float.rkt 11:8 + -- binary float
TR opt: nested-float.rkt 11:1 + -- binary float
TR opt: nested-float.rkt 11:8 + -- binary float
9.0
)

4
collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt
View File

@ -1,7 +1,7 @@
#;
(
nested-float2.rkt 11:1 + -- binary float
nested-float2.rkt 11:8 * -- binary float
TR opt: nested-float2.rkt 11:1 + -- binary float
TR opt: nested-float2.rkt 11:8 * -- binary float
14.0
)

62
collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt
View File

@ -1,36 +1,36 @@
#;
(
#f (no location) (letrec-values (((loop1) (lambda (x r) (if (#%app null? x) r (#%app (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) (quote (3.0+6.0i 4.0+8.0i)) (quote 0.0+0.0i)))))) loop1) -- unboxed call site
#f (no location) (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) -- unboxed call site
nested-let-loop.rkt 40:6 loop1 -- fun -> unboxed fun
nested-let-loop.rkt 40:6 loop1 -- unboxed function -> table
nested-let-loop.rkt 40:6 loop1 -- unboxed let loop
nested-let-loop.rkt 42:8 r -- unboxed var -> table
nested-let-loop.rkt 42:28 0.0+0.0i -- unboxed literal
nested-let-loop.rkt 44:10 r -- unboxed complex variable
nested-let-loop.rkt 45:16 loop2 -- fun -> unboxed fun
nested-let-loop.rkt 45:16 loop2 -- unboxed function -> table
nested-let-loop.rkt 45:16 loop2 -- unboxed let loop
nested-let-loop.rkt 47:18 s -- unboxed var -> table
nested-let-loop.rkt 47:38 0.0+0.0i -- unboxed literal
nested-let-loop.rkt 49:21 loop1 -- call to fun with unboxed args
nested-let-loop.rkt 49:21 loop1 -- unboxed call site
nested-let-loop.rkt 49:28 cdr -- pair
nested-let-loop.rkt 49:35 (#%app + r s) -- unboxed float complex
nested-let-loop.rkt 49:36 + -- unboxed binary float complex
nested-let-loop.rkt 49:38 r -- leave var unboxed
nested-let-loop.rkt 49:38 r -- unbox float-complex
nested-let-loop.rkt 49:40 s -- leave var unboxed
nested-let-loop.rkt 49:40 s -- unbox float-complex
nested-let-loop.rkt 50:21 loop2 -- call to fun with unboxed args
nested-let-loop.rkt 50:21 loop2 -- unboxed call site
nested-let-loop.rkt 50:28 cdr -- pair
nested-let-loop.rkt 50:36 + -- unboxed binary float complex
nested-let-loop.rkt 50:38 s -- leave var unboxed
nested-let-loop.rkt 50:40 (#%app car x) -- unbox float-complex
nested-let-loop.rkt 50:41 car -- pair
nested-let-loop.rkt 50:48 (#%app car y) -- unbox float-complex
nested-let-loop.rkt 50:49 car -- pair
TR opt: #f (no location) (letrec-values (((loop1) (lambda (x r) (if (#%app null? x) r (#%app (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) (quote (3.0+6.0i 4.0+8.0i)) (quote 0.0+0.0i)))))) loop1) -- unboxed call site
TR opt: #f (no location) (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) -- unboxed call site
TR opt: nested-let-loop.rkt 40:6 loop1 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 40:6 loop1 -- unboxed function -> table
TR opt: nested-let-loop.rkt 40:6 loop1 -- unboxed let loop
TR opt: nested-let-loop.rkt 42:8 r -- unboxed var -> table
TR opt: nested-let-loop.rkt 42:28 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 44:10 r -- unboxed complex variable
TR opt: nested-let-loop.rkt 45:16 loop2 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 45:16 loop2 -- unboxed function -> table
TR opt: nested-let-loop.rkt 45:16 loop2 -- unboxed let loop
TR opt: nested-let-loop.rkt 47:18 s -- unboxed var -> table
TR opt: nested-let-loop.rkt 47:38 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 49:21 loop1 -- call to fun with unboxed args
TR opt: nested-let-loop.rkt 49:21 loop1 -- unboxed call site
TR opt: nested-let-loop.rkt 49:28 cdr -- pair
TR opt: nested-let-loop.rkt 49:35 (#%app + r s) -- unboxed float complex
TR opt: nested-let-loop.rkt 49:36 + -- unboxed binary float complex
TR opt: nested-let-loop.rkt 49:38 r -- leave var unboxed
TR opt: nested-let-loop.rkt 49:38 r -- unbox float-complex
TR opt: nested-let-loop.rkt 49:40 s -- leave var unboxed
TR opt: nested-let-loop.rkt 49:40 s -- unbox float-complex
TR opt: nested-let-loop.rkt 50:21 loop2 -- call to fun with unboxed args
TR opt: nested-let-loop.rkt 50:21 loop2 -- unboxed call site
TR opt: nested-let-loop.rkt 50:28 cdr -- pair
TR opt: nested-let-loop.rkt 50:36 + -- unboxed binary float complex
TR opt: nested-let-loop.rkt 50:38 s -- leave var unboxed
TR opt: nested-let-loop.rkt 50:40 (#%app car x) -- unbox float-complex
TR opt: nested-let-loop.rkt 50:41 car -- pair
TR opt: nested-let-loop.rkt 50:48 (#%app car y) -- unbox float-complex
TR opt: nested-let-loop.rkt 50:49 car -- pair
20.0+40.0i
)

4
collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt
View File

@ -1,7 +1,7 @@
#;
(
nested-pair1.rkt 11:1 car -- pair
nested-pair1.rkt 11:6 cdr -- pair
TR opt: nested-pair1.rkt 11:1 car -- pair
TR opt: nested-pair1.rkt 11:6 cdr -- pair
2
)

4
collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt
View File

@ -1,7 +1,7 @@
#;
(
nested-pair2.rkt 11:1 car -- pair
nested-pair2.rkt 11:6 cdr -- pair
TR opt: nested-pair2.rkt 11:1 car -- pair
TR opt: nested-pair2.rkt 11:6 cdr -- pair
'(2)
)

30
collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt
View File

@ -1,20 +1,20 @@
#;
(
nested-unboxed-let.rkt 24:0 (let-values (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+3.0i)))) (let-values (((x) (#%app + x (quote 2.0+3.0i)))) (#%app + x (quote 3.0+6.0i)))) -- unboxed let bindings
nested-unboxed-let.rkt 24:10 + -- unboxed binary float complex
nested-unboxed-let.rkt 24:12 1.0+2.0i -- unboxed literal
nested-unboxed-let.rkt 24:21 2.0+3.0i -- unboxed literal
nested-unboxed-let.rkt 25:2 (let-values (((x) (#%app + x (quote 2.0+3.0i)))) (#%app + x (quote 3.0+6.0i))) -- unboxed let bindings
nested-unboxed-let.rkt 25:11 (#%app + x (quote 2.0+3.0i)) -- unboxed float complex
nested-unboxed-let.rkt 25:12 + -- unboxed binary float complex
nested-unboxed-let.rkt 25:14 x -- leave var unboxed
nested-unboxed-let.rkt 25:14 x -- unbox float-complex
nested-unboxed-let.rkt 25:16 2.0+3.0i -- unboxed literal
nested-unboxed-let.rkt 26:4 (#%app + x (quote 3.0+6.0i)) -- unboxed float complex
nested-unboxed-let.rkt 26:5 + -- unboxed binary float complex
nested-unboxed-let.rkt 26:7 x -- leave var unboxed
nested-unboxed-let.rkt 26:7 x -- unbox float-complex
nested-unboxed-let.rkt 26:9 3.0+6.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 24:0 (let-values (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+3.0i)))) (let-values (((x) (#%app + x (quote 2.0+3.0i)))) (#%app + x (quote 3.0+6.0i)))) -- unboxed let bindings
TR opt: nested-unboxed-let.rkt 24:10 + -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 24:12 1.0+2.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 24:21 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 25:2 (let-values (((x) (#%app + x (quote 2.0+3.0i)))) (#%app + x (quote 3.0+6.0i))) -- unboxed let bindings
TR opt: nested-unboxed-let.rkt 25:11 (#%app + x (quote 2.0+3.0i)) -- unboxed float complex
TR opt: nested-unboxed-let.rkt 25:12 + -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 25:14 x -- leave var unboxed
TR opt: nested-unboxed-let.rkt 25:14 x -- unbox float-complex
TR opt: nested-unboxed-let.rkt 25:16 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 26:4 (#%app + x (quote 3.0+6.0i)) -- unboxed float complex
TR opt: nested-unboxed-let.rkt 26:5 + -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 26:7 x -- leave var unboxed
TR opt: nested-unboxed-let.rkt 26:7 x -- unbox float-complex
TR opt: nested-unboxed-let.rkt 26:9 3.0+6.0i -- unboxed literal
8.0+14.0i
)

30
collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt
View File

@ -1,20 +1,20 @@
#;
(
one-arg-arith.rkt 40:1 - -- unary fixnum
one-arg-arith.rkt 41:1 - -- unary float
one-arg-arith.rkt 42:1 / -- unary float
one-arg-arith.rkt 44:1 + -- unary number
one-arg-arith.rkt 45:1 + -- unary number
one-arg-arith.rkt 46:1 + -- unary number
one-arg-arith.rkt 47:1 * -- unary number
one-arg-arith.rkt 48:1 * -- unary number
one-arg-arith.rkt 49:1 * -- unary number
one-arg-arith.rkt 50:1 min -- unary number
one-arg-arith.rkt 51:1 min -- unary number
one-arg-arith.rkt 52:1 min -- unary number
one-arg-arith.rkt 53:1 max -- unary number
one-arg-arith.rkt 54:1 max -- unary number
one-arg-arith.rkt 55:1 max -- unary number
TR opt: one-arg-arith.rkt 40:1 - -- unary fixnum
TR opt: one-arg-arith.rkt 41:1 - -- unary float
TR opt: one-arg-arith.rkt 42:1 / -- unary float
TR opt: one-arg-arith.rkt 44:1 + -- unary number
TR opt: one-arg-arith.rkt 45:1 + -- unary number
TR opt: one-arg-arith.rkt 46:1 + -- unary number
TR opt: one-arg-arith.rkt 47:1 * -- unary number
TR opt: one-arg-arith.rkt 48:1 * -- unary number
TR opt: one-arg-arith.rkt 49:1 * -- unary number
TR opt: one-arg-arith.rkt 50:1 min -- unary number
TR opt: one-arg-arith.rkt 51:1 min -- unary number
TR opt: one-arg-arith.rkt 52:1 min -- unary number
TR opt: one-arg-arith.rkt 53:1 max -- unary number
TR opt: one-arg-arith.rkt 54:1 max -- unary number
TR opt: one-arg-arith.rkt 55:1 max -- unary number
-12
-12.0
0.23809523809523808

2
collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt
View File

@ -1,6 +1,6 @@
#;
(
pair-fun.rkt 13:7 car -- pair
TR opt: pair-fun.rkt 13:7 car -- pair
)
#lang typed/scheme

24
collects/tests/typed-scheme/optimizer/tests/pair-known-length-list.rkt
View File

@ -1,17 +1,17 @@
#;
(
pair-known-length-list.rkt 27:1 car -- pair
pair-known-length-list.rkt 28:1 cdr -- pair
pair-known-length-list.rkt 29:1 car -- pair
pair-known-length-list.rkt 29:6 cdr -- pair
pair-known-length-list.rkt 30:1 cdr -- pair
pair-known-length-list.rkt 30:6 cdr -- pair
pair-known-length-list.rkt 31:1 car -- pair
pair-known-length-list.rkt 31:6 cdr -- pair
pair-known-length-list.rkt 31:11 cdr -- pair
pair-known-length-list.rkt 32:1 cdr -- pair
pair-known-length-list.rkt 32:6 cdr -- pair
pair-known-length-list.rkt 32:11 cdr -- pair
TR opt: pair-known-length-list.rkt 27:1 car -- pair
TR opt: pair-known-length-list.rkt 28:1 cdr -- pair
TR opt: pair-known-length-list.rkt 29:1 car -- pair
TR opt: pair-known-length-list.rkt 29:6 cdr -- pair
TR opt: pair-known-length-list.rkt 30:1 cdr -- pair
TR opt: pair-known-length-list.rkt 30:6 cdr -- pair
TR opt: pair-known-length-list.rkt 31:1 car -- pair
TR opt: pair-known-length-list.rkt 31:6 cdr -- pair
TR opt: pair-known-length-list.rkt 31:11 cdr -- pair
TR opt: pair-known-length-list.rkt 32:1 cdr -- pair
TR opt: pair-known-length-list.rkt 32:6 cdr -- pair
TR opt: pair-known-length-list.rkt 32:11 cdr -- pair
1
'(2 3)
2

2
collects/tests/typed-scheme/optimizer/tests/rational-literal.rkt
View File

@ -1,6 +1,6 @@
#;
(
rational-literal.rkt 8:1 + -- binary float
TR opt: rational-literal.rkt 8:1 + -- binary float
1.95
)
#lang typed/racket #:optimize

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

@ -1,23 +1,23 @@
#;
(
real-part-loop.rkt 30:1 (letrec-values (((loop) (lambda (v) (if (#%app > (#%app real-part v) (quote 70000.2)) (quote 0) (#%app loop (#%app + v (quote 3.6))))))) loop) -- unboxed call site
real-part-loop.rkt 30:6 loop -- fun -> unboxed fun
real-part-loop.rkt 30:6 loop -- unboxed function -> table
real-part-loop.rkt 30:6 loop -- unboxed let loop
real-part-loop.rkt 30:13 v -- unboxed var -> table
real-part-loop.rkt 30:15 0.0+1.0i -- unboxed literal
real-part-loop.rkt 31:7 > -- binary float comp
real-part-loop.rkt 31:9 (#%app real-part v) -- unboxed float complex->float
real-part-loop.rkt 31:10 real-part -- unboxed float complex
real-part-loop.rkt 31:10 real-part -- unboxed unary float complex
real-part-loop.rkt 31:20 v -- leave var unboxed
real-part-loop.rkt 31:20 v -- unbox float-complex
real-part-loop.rkt 31:20 v -- unboxed complex variable
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-arg-expr in complex ops
TR opt: real-part-loop.rkt 30:1 (letrec-values (((loop) (lambda (v) (if (#%app > (#%app real-part v) (quote 70000.2)) (quote 0) (#%app loop (#%app + v (quote 3.6))))))) loop) -- unboxed call site
TR opt: real-part-loop.rkt 30:6 loop -- fun -> unboxed fun
TR opt: real-part-loop.rkt 30:6 loop -- unboxed function -> table
TR opt: real-part-loop.rkt 30:6 loop -- unboxed let loop
TR opt: real-part-loop.rkt 30:13 v -- unboxed var -> table
TR opt: real-part-loop.rkt 30:15 0.0+1.0i -- unboxed literal
TR opt: real-part-loop.rkt 31:7 > -- binary float comp
TR opt: real-part-loop.rkt 31:9 (#%app real-part v) -- unboxed float complex->float
TR opt: real-part-loop.rkt 31:10 real-part -- unboxed float complex
TR opt: real-part-loop.rkt 31:10 real-part -- unboxed unary float complex
TR opt: real-part-loop.rkt 31:20 v -- leave var unboxed
TR opt: real-part-loop.rkt 31:20 v -- unbox float-complex
TR opt: real-part-loop.rkt 31:20 v -- unboxed complex variable
TR opt: real-part-loop.rkt 33:7 loop -- call to fun with unboxed args
TR opt: real-part-loop.rkt 33:7 loop -- unboxed call site
TR opt: real-part-loop.rkt 33:13 + -- unboxed binary float complex
TR opt: real-part-loop.rkt 33:15 v -- leave var unboxed
TR opt: real-part-loop.rkt 33:17 (quote 3.6) -- float-arg-expr in complex ops
0
)

2
collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt
View File

@ -1,6 +1,6 @@
#;
(
silent-dead-branch.rkt 12:0 (let-values () (quote 1)) -- dead then branch
TR opt: silent-dead-branch.rkt 12:0 (let-values () (quote 1)) -- dead then branch
)
#lang typed/racket

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

@ -1,6 +1,6 @@
#;
(
simple-float.rkt 10:1 + -- binary float
TR opt: simple-float.rkt 10:1 + -- binary float
5.0
)

2
collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt
View File

@ -1,6 +1,6 @@
#;
(
simple-pair.rkt 10:1 car -- pair
TR opt: simple-pair.rkt 10:1 car -- pair
1
)

6
collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt
View File

@ -1,8 +1,8 @@
#;
(
sqrt-segfault.rkt 18:15 - -- binary float
sqrt-segfault.rkt 19:15 * -- binary float
sqrt-segfault.rkt 20:31 (#%app sqrt dist2) -- unexpected complex type
TR opt: sqrt-segfault.rkt 18:15 - -- binary float
TR opt: sqrt-segfault.rkt 19:15 * -- binary float
TR missed opt: sqrt-segfault.rkt 20:31 (#%app sqrt dist2) -- unexpected complex type
)
#lang typed/scheme

2
collects/tests/typed-scheme/optimizer/tests/sqrt.rkt
View File

@ -1,6 +1,6 @@
#;
(
sqrt.rkt 11:3 sqrt -- unary float
TR opt: sqrt.rkt 11:3 sqrt -- unary float
)
#lang typed/scheme

4
collects/tests/typed-scheme/optimizer/tests/string-length.rkt
View File

@ -1,7 +1,7 @@
#;
(
#f (no location) op -- string-length
#f (no location) op -- bytes-length
TR opt: #f (no location) op -- string-length
TR opt: #f (no location) op -- bytes-length
2
2
)

4
collects/tests/typed-scheme/optimizer/tests/structs.rkt
View File

@ -1,7 +1,7 @@
#;
(
structs.rkt 13:1 pt-x -- struct ref
structs.rkt 14:1 set-pt-y! -- struct set
TR opt: structs.rkt 13:1 pt-x -- struct ref
TR opt: structs.rkt 14:1 set-pt-y! -- struct set
3
)

4
collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt
View File

@ -1,7 +1,7 @@
#;
(
unary-fixnum-nested.rkt 11:1 bitwise-not -- unary fixnum
unary-fixnum-nested.rkt 11:14 bitwise-not -- unary fixnum
TR opt: unary-fixnum-nested.rkt 11:1 bitwise-not -- unary fixnum
TR opt: unary-fixnum-nested.rkt 11:14 bitwise-not -- unary fixnum
3
)

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

@ -1,6 +1,6 @@
#;
(
unary-fixnum.rkt 10:1 bitwise-not -- unary fixnum
TR opt: unary-fixnum.rkt 10:1 bitwise-not -- unary fixnum
-5
)

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

@ -1,6 +1,6 @@
#;
(
unary-float.rkt 10:1 sin -- unary float
TR opt: unary-float.rkt 10:1 sin -- unary float
0.9092974268256817
)

44
collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt
View File

@ -1,27 +1,27 @@
#;
(
#f (no location) (#%app pos->vals pos) -- unbox float-complex
#f (no location) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) -- unboxed let bindings
#f (no location) (let-values (((sum) sum)) (let-values () (#%app + i sum))) -- unboxed let bindings
#f (no location) for-loop -- call to fun with unboxed args
#f (no location) for-loop -- fun -> unboxed fun
#f (no location) for-loop -- unboxed call site
#f (no location) for-loop -- unboxed function -> table
#f (no location) for-loop -- unboxed let loop
#f (no location) make-sequence -- in-list
unboxed-for.rkt 31:0 (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (if pos-cont? (#%app pos-cont? pos) (quote #t))) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) -- unboxed call site
unboxed-for.rkt 31:31 sum -- leave var unboxed
unboxed-for.rkt 31:31 sum -- unbox float-complex
unboxed-for.rkt 31:31 sum -- unboxed complex variable
unboxed-for.rkt 31:31 sum -- unboxed var -> table
unboxed-for.rkt 31:53 0.0+0.0i -- unboxed literal
unboxed-for.rkt 32:13 i -- unboxed complex variable
unboxed-for.rkt 33:6 (#%app + i sum) -- unboxed float complex
unboxed-for.rkt 33:7 + -- unboxed binary float complex
unboxed-for.rkt 33:9 i -- leave var unboxed
unboxed-for.rkt 33:9 i -- unbox float-complex
unboxed-for.rkt 33:11 sum -- leave var unboxed
unboxed-for.rkt 33:11 sum -- unbox float-complex
TR opt: #f (no location) (#%app pos->vals pos) -- unbox float-complex
TR opt: #f (no location) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) -- unboxed let bindings
TR opt: #f (no location) (let-values (((sum) sum)) (let-values () (#%app + i sum))) -- unboxed let bindings
TR opt: #f (no location) for-loop -- call to fun with unboxed args
TR opt: #f (no location) for-loop -- fun -> unboxed fun
TR opt: #f (no location) for-loop -- unboxed call site
TR opt: #f (no location) for-loop -- unboxed function -> table
TR opt: #f (no location) for-loop -- unboxed let loop
TR opt: #f (no location) make-sequence -- in-list
TR opt: unboxed-for.rkt 31:0 (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (if pos-cont? (#%app pos-cont? pos) (quote #t))) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) -- unboxed call site
TR opt: unboxed-for.rkt 31:31 sum -- leave var unboxed
TR opt: unboxed-for.rkt 31:31 sum -- unbox float-complex
TR opt: unboxed-for.rkt 31:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 31:31 sum -- unboxed var -> table
TR opt: unboxed-for.rkt 31:53 0.0+0.0i -- unboxed literal
TR opt: unboxed-for.rkt 32:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 33:6 (#%app + i sum) -- unboxed float complex
TR opt: unboxed-for.rkt 33:7 + -- unboxed binary float complex
TR opt: unboxed-for.rkt 33:9 i -- leave var unboxed
TR opt: unboxed-for.rkt 33:9 i -- unbox float-complex
TR opt: unboxed-for.rkt 33:11 sum -- leave var unboxed
TR opt: unboxed-for.rkt 33:11 sum -- unbox float-complex
3.0+6.0i
)

26
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt
View File

@ -1,18 +1,18 @@
#;
(
unboxed-let-functions1.rkt 23:7 f -- fun -> unboxed fun
unboxed-let-functions1.rkt 23:7 f -- unboxed function -> table
unboxed-let-functions1.rkt 23:20 x -- unboxed var -> table
unboxed-let-functions1.rkt 23:42 (#%app + x (quote 3.0+6.0i)) -- unboxed float complex
unboxed-let-functions1.rkt 23:43 + -- unboxed binary float complex
unboxed-let-functions1.rkt 23:45 x -- leave var unboxed
unboxed-let-functions1.rkt 23:45 x -- unbox float-complex
unboxed-let-functions1.rkt 23:47 3.0+6.0i -- unboxed literal
unboxed-let-functions1.rkt 24:3 f -- call to fun with unboxed args
unboxed-let-functions1.rkt 24:3 f -- unboxed call site
unboxed-let-functions1.rkt 24:6 + -- unboxed binary float complex
unboxed-let-functions1.rkt 24:8 1.0+2.0i -- unboxed literal
unboxed-let-functions1.rkt 24:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 23:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions1.rkt 23:7 f -- unboxed function -> table
TR opt: unboxed-let-functions1.rkt 23:20 x -- unboxed var -> table
TR opt: unboxed-let-functions1.rkt 23:42 (#%app + x (quote 3.0+6.0i)) -- unboxed float complex
TR opt: unboxed-let-functions1.rkt 23:43 + -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 23:45 x -- leave var unboxed
TR opt: unboxed-let-functions1.rkt 23:45 x -- unbox float-complex
TR opt: unboxed-let-functions1.rkt 23:47 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 24:3 f -- call to fun with unboxed args
TR opt: unboxed-let-functions1.rkt 24:3 f -- unboxed call site
TR opt: unboxed-let-functions1.rkt 24:6 + -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 24:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 24:17 2.0+4.0i -- unboxed literal
6.0+12.0i
)

32
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt
View File

@ -1,21 +1,21 @@
#;
(
unboxed-let-functions2.rkt 26:7 f -- fun -> unboxed fun
unboxed-let-functions2.rkt 26:7 f -- unboxed function -> table
unboxed-let-functions2.rkt 26:20 x -- unboxed var -> table
unboxed-let-functions2.rkt 26:42 y -- unboxed var -> table
unboxed-let-functions2.rkt 27:18 (#%app + x y) -- unboxed float complex
unboxed-let-functions2.rkt 27:19 + -- unboxed binary float complex
unboxed-let-functions2.rkt 27:21 x -- leave var unboxed
unboxed-let-functions2.rkt 27:21 x -- unbox float-complex
unboxed-let-functions2.rkt 27:23 y -- leave var unboxed
unboxed-let-functions2.rkt 27:23 y -- unbox float-complex
unboxed-let-functions2.rkt 28:3 f -- call to fun with unboxed args
unboxed-let-functions2.rkt 28:3 f -- unboxed call site
unboxed-let-functions2.rkt 28:6 + -- unboxed binary float complex
unboxed-let-functions2.rkt 28:8 1.0+2.0i -- unboxed literal
unboxed-let-functions2.rkt 28:17 2.0+4.0i -- unboxed literal
unboxed-let-functions2.rkt 29:5 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 26:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions2.rkt 26:7 f -- unboxed function -> table
TR opt: unboxed-let-functions2.rkt 26:20 x -- unboxed var -> table
TR opt: unboxed-let-functions2.rkt 26:42 y -- unboxed var -> table
TR opt: unboxed-let-functions2.rkt 27:18 (#%app + x y) -- unboxed float complex
TR opt: unboxed-let-functions2.rkt 27:19 + -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 27:21 x -- leave var unboxed
TR opt: unboxed-let-functions2.rkt 27:21 x -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 27:23 y -- leave var unboxed
TR opt: unboxed-let-functions2.rkt 27:23 y -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 28:3 f -- call to fun with unboxed args
TR opt: unboxed-let-functions2.rkt 28:3 f -- unboxed call site
TR opt: unboxed-let-functions2.rkt 28:6 + -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 28:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 28:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 29:5 3.0+6.0i -- unboxed literal
6.0+12.0i
)

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

@ -1,18 +1,18 @@
#;
(
unboxed-let-functions3.rkt 23:7 f -- fun -> unboxed fun
unboxed-let-functions3.rkt 23:7 f -- unboxed function -> table
unboxed-let-functions3.rkt 23:20 x -- unboxed var -> table
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-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
unboxed-let-functions3.rkt 25:8 1.0+2.0i -- unboxed literal
unboxed-let-functions3.rkt 25:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions3.rkt 23:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions3.rkt 23:7 f -- unboxed function -> table
TR opt: unboxed-let-functions3.rkt 23:20 x -- unboxed var -> table
TR opt: unboxed-let-functions3.rkt 24:18 (#%app + x y) -- unboxed float complex
TR opt: unboxed-let-functions3.rkt 24:19 + -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 24:21 x -- leave var unboxed
TR opt: unboxed-let-functions3.rkt 24:21 x -- unbox float-complex
TR opt: unboxed-let-functions3.rkt 24:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions3.rkt 25:3 f -- call to fun with unboxed args
TR opt: unboxed-let-functions3.rkt 25:3 f -- unboxed call site
TR opt: unboxed-let-functions3.rkt 25:6 + -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 25:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions3.rkt 25:17 2.0+4.0i -- unboxed literal
6.0+6.0i
)

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

@ -1,18 +1,18 @@
#;
(
unboxed-let-functions4.rkt 23:7 f -- fun -> unboxed fun
unboxed-let-functions4.rkt 23:7 f -- unboxed function -> table
unboxed-let-functions4.rkt 23:32 x -- unboxed var -> table
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-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
unboxed-let-functions4.rkt 26:8 1.0+2.0i -- unboxed literal
unboxed-let-functions4.rkt 26:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions4.rkt 23:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions4.rkt 23:7 f -- unboxed function -> table
TR opt: unboxed-let-functions4.rkt 23:32 x -- unboxed var -> table
TR opt: unboxed-let-functions4.rkt 24:18 (#%app + x y) -- unboxed float complex
TR opt: unboxed-let-functions4.rkt 24:19 + -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 24:21 x -- leave var unboxed
TR opt: unboxed-let-functions4.rkt 24:21 x -- unbox float-complex
TR opt: unboxed-let-functions4.rkt 24:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions4.rkt 25:3 f -- call to fun with unboxed args
TR opt: unboxed-let-functions4.rkt 25:3 f -- unboxed call site
TR opt: unboxed-let-functions4.rkt 26:6 + -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 26:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions4.rkt 26:17 2.0+4.0i -- unboxed literal
6.0+6.0i
)

Some files were not shown because too many files have changed in this diff Show More