From 4180449ead10c82558c4e6a8de0d2eeec73dc97b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 15 Jun 2011 17:21:34 -0400 Subject: [PATCH] Specify opt or missed opt in the TR log format. original commit: 86efbc83968ddd0486dea493830f409c05b52e5e --- .../missed-optimizations/all-real.rkt | 4 +- .../multiple-irritants.rkt | 2 +- .../missed-optimizations/nested-same-kind.rkt | 18 ++-- .../optimizer/missed-optimizations/pair.rkt | 66 ++++++------- .../missed-optimizations/precision-loss.rkt | 16 ++-- .../real-in-float-expr.rkt | 8 +- .../missed-optimizations/unary-float.rkt | 6 +- .../unexpected-complex.rkt | 10 +- .../typed-scheme/optimizer/tests/add1.rkt | 8 +- .../optimizer/tests/apply-plus.rkt | 4 +- .../optimizer/tests/begin-float.rkt | 4 +- .../optimizer/tests/binary-fixnum.rkt | 4 +- .../optimizer/tests/binary-nonzero-fixnum.rkt | 4 +- .../typed-scheme/optimizer/tests/box.rkt | 6 +- .../optimizer/tests/cross-module-struct2.rkt | 2 +- .../optimizer/tests/dead-else.rkt | 8 +- .../optimizer/tests/dead-then.rkt | 8 +- .../optimizer/tests/define-begin-float.rkt | 4 +- .../optimizer/tests/define-call-float.rkt | 2 +- .../optimizer/tests/define-float.rkt | 2 +- .../optimizer/tests/define-pair.rkt | 2 +- .../optimizer/tests/derived-pair.rkt | 20 ++-- .../optimizer/tests/derived-pair2.rkt | 44 ++++----- .../optimizer/tests/derived-pair3.rkt | 92 +++++++++---------- .../optimizer/tests/double-float.rkt | 2 +- .../optimizer/tests/exact-inexact.rkt | 2 +- .../optimizer/tests/fixnum-bounded-expr.rkt | 48 +++++----- .../optimizer/tests/fixnum-comparison.rkt | 6 +- .../optimizer/tests/float-comp.rkt | 2 +- .../tests/float-complex-conjugate-top.rkt | 10 +- .../tests/float-complex-conjugate.rkt | 12 +-- .../optimizer/tests/float-complex-div.rkt | 10 +- .../optimizer/tests/float-complex-fixnum.rkt | 12 +-- .../tests/float-complex-float-div.rkt | 74 +++++++-------- .../tests/float-complex-float-mul.rkt | 56 +++++------ .../tests/float-complex-float-small.rkt | 46 +++++----- .../optimizer/tests/float-complex-float.rkt | 40 ++++---- .../optimizer/tests/float-complex-i.rkt | 12 +-- .../optimizer/tests/float-complex-integer.rkt | 8 +- .../optimizer/tests/float-complex-mult.rkt | 10 +- .../optimizer/tests/float-complex-parts.rkt | 12 +-- .../optimizer/tests/float-complex-parts2.rkt | 40 ++++---- .../optimizer/tests/float-complex-parts3.rkt | 56 +++++------ .../optimizer/tests/float-complex-sin.rkt | 12 +-- .../optimizer/tests/float-complex.rkt | 16 ++-- .../optimizer/tests/float-fun.rkt | 2 +- .../optimizer/tests/float-promotion.rkt | 6 +- .../optimizer/tests/float-real.rkt | 12 +-- .../optimizer/tests/flvector-length.rkt | 2 +- .../typed-scheme/optimizer/tests/fx-fl.rkt | 2 +- .../typed-scheme/optimizer/tests/in-bytes.rkt | 2 +- .../typed-scheme/optimizer/tests/in-list.rkt | 2 +- .../optimizer/tests/in-string.rkt | 2 +- .../optimizer/tests/in-vector.rkt | 2 +- .../optimizer/tests/invalid-derived-pair.rkt | 4 +- .../optimizer/tests/invalid-exact-inexact.rkt | 2 +- .../tests/invalid-float-promotion.rkt | 4 +- .../optimizer/tests/invalid-log-complex.rkt | 2 +- .../optimizer/tests/invalid-mpair.rkt | 2 +- .../optimizer/tests/invalid-sqrt.rkt | 2 +- .../optimizer/tests/invalid-unboxed-let.rkt | 28 +++--- .../optimizer/tests/invalid-unboxed-let2.rkt | 24 ++--- .../optimizer/tests/known-vector-length.rkt | 4 +- .../optimizer/tests/let-float.rkt | 4 +- .../typed-scheme/optimizer/tests/let-rhs.rkt | 2 +- .../optimizer/tests/literal-int.rkt | 2 +- .../optimizer/tests/magnitude.rkt | 6 +- .../optimizer/tests/make-flrectangular.rkt | 4 +- .../optimizer/tests/make-polar.rkt | 30 +++--- .../optimizer/tests/maybe-exact-complex.rkt | 8 +- .../typed-scheme/optimizer/tests/mpair.rkt | 14 +-- .../optimizer/tests/n-ary-float-complex.rkt | 12 +-- .../optimizer/tests/n-ary-float.rkt | 2 +- .../optimizer/tests/nested-float-complex.rkt | 12 +-- .../optimizer/tests/nested-float.rkt | 4 +- .../optimizer/tests/nested-float2.rkt | 4 +- .../optimizer/tests/nested-let-loop.rkt | 62 ++++++------- .../optimizer/tests/nested-pair1.rkt | 4 +- .../optimizer/tests/nested-pair2.rkt | 4 +- .../optimizer/tests/nested-unboxed-let.rkt | 30 +++--- .../optimizer/tests/one-arg-arith.rkt | 30 +++--- .../typed-scheme/optimizer/tests/pair-fun.rkt | 2 +- .../tests/pair-known-length-list.rkt | 24 ++--- .../optimizer/tests/rational-literal.rkt | 2 +- .../optimizer/tests/real-part-loop.rkt | 36 ++++---- .../optimizer/tests/silent-dead-branch.rkt | 2 +- .../optimizer/tests/simple-float.rkt | 2 +- .../optimizer/tests/simple-pair.rkt | 2 +- .../optimizer/tests/sqrt-segfault.rkt | 6 +- .../typed-scheme/optimizer/tests/sqrt.rkt | 2 +- .../optimizer/tests/string-length.rkt | 4 +- .../typed-scheme/optimizer/tests/structs.rkt | 4 +- .../optimizer/tests/unary-fixnum-nested.rkt | 4 +- .../optimizer/tests/unary-fixnum.rkt | 2 +- .../optimizer/tests/unary-float.rkt | 2 +- .../optimizer/tests/unboxed-for.rkt | 44 ++++----- .../tests/unboxed-let-functions1.rkt | 26 +++--- .../tests/unboxed-let-functions2.rkt | 32 +++---- .../tests/unboxed-let-functions3.rkt | 26 +++--- .../tests/unboxed-let-functions4.rkt | 26 +++--- .../tests/unboxed-let-functions5.rkt | 8 +- .../tests/unboxed-let-functions6.rkt | 36 ++++---- .../tests/unboxed-let-functions7.rkt | 32 +++---- .../tests/unboxed-let-functions8.rkt | 8 +- .../optimizer/tests/unboxed-let.rkt | 36 ++++---- .../optimizer/tests/unboxed-let2.rkt | 26 +++--- .../optimizer/tests/unboxed-let3.rkt | 20 ++-- .../tests/unboxed-letrec-syntaxes+values.rkt | 18 ++-- .../optimizer/tests/unboxed-letrec.rkt | 22 ++--- .../tests/unboxed-make-rectangular.rkt | 28 +++--- .../optimizer/tests/vector-length-nested.rkt | 4 +- .../optimizer/tests/vector-length.rkt | 2 +- .../optimizer/tests/vector-ref-set-ref.rkt | 6 +- .../optimizer/tests/vector-ref.rkt | 2 +- .../optimizer/tests/vector-ref2.rkt | 2 +- .../optimizer/tests/vector-set-quote.rkt | 2 +- .../optimizer/tests/vector-set.rkt | 2 +- .../optimizer/tests/vector-set2.rkt | 2 +- .../optimizer/tests/with-type.rkt | 2 +- .../typed-scheme/optimizer/tests/zero.rkt | 6 +- collects/typed-scheme/optimizer/logging.rkt | 12 ++- 121 files changed, 847 insertions(+), 845 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt index 34943a5e..dfd5d252 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/all-real.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt index f1fa3c4c..f9f0a66a 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/multiple-irritants.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt index 0955615c..3fcfaacc 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/nested-same-kind.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt index 1252fcbe..889f3e0c 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt @@ -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) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt index be995e98..450d5b16 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt index 483a3c76..f02ccc63 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/real-in-float-expr.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt index 3ad437d2..f55ad271 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/unary-float.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt index 4680c0db..b6902908 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/add1.rkt b/collects/tests/typed-scheme/optimizer/tests/add1.rkt index 9b40c03b..b831427e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/add1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/add1.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt b/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt index 0082d6a1..b3f9b862 100644 --- a/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt b/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt index 4eb2485c..467250b3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt index 2a14ed2f..2fe6ba05 100644 --- a/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt index f4e1be83..d60fa184 100644 --- a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/box.rkt b/collects/tests/typed-scheme/optimizer/tests/box.rkt index 57415e0e..c1a4f4f5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/box.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/box.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt index 2f7b5e91..4a99e16f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt index bb2fab59..495e1396 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt index ef575971..f97ce838 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt index 391e329d..5db4dc5d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt index 57a9d250..5c368b84 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/define-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-float.rkt index 8c8ec582..7c5740a3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-float.rkt @@ -1,6 +1,6 @@ #; ( -define-float.rkt 9:11 + -- binary float +TR opt: define-float.rkt 9:11 + -- binary float ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt index 655d3b4b..86b691e8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt @@ -1,6 +1,6 @@ #; ( -define-pair.rkt 9:11 car -- pair +TR opt: define-pair.rkt 9:11 car -- pair ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/derived-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/derived-pair.rkt index 898d032d..9bd521f8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/derived-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/derived-pair.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/derived-pair2.rkt b/collects/tests/typed-scheme/optimizer/tests/derived-pair2.rkt index 580376be..98bd0c75 100644 --- a/collects/tests/typed-scheme/optimizer/tests/derived-pair2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/derived-pair2.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/derived-pair3.rkt b/collects/tests/typed-scheme/optimizer/tests/derived-pair3.rkt index 7672f4c5..1ca5c696 100644 --- a/collects/tests/typed-scheme/optimizer/tests/derived-pair3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/derived-pair3.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/double-float.rkt b/collects/tests/typed-scheme/optimizer/tests/double-float.rkt index 4db0ee04..0e5ebdaa 100644 --- a/collects/tests/typed-scheme/optimizer/tests/double-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/double-float.rkt @@ -1,6 +1,6 @@ #; ( -double-float.rkt 10:1 + -- binary float +TR opt: double-float.rkt 10:1 + -- binary float 6.0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt index a41e7d03..db3296e2 100644 --- a/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/fixnum-bounded-expr.rkt b/collects/tests/typed-scheme/optimizer/tests/fixnum-bounded-expr.rkt index 4e71c0c1..b77a1344 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fixnum-bounded-expr.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fixnum-bounded-expr.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt b/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt index cf6d40c1..7b1cd4e2 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt b/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt index 6ad0dc32..e6b178e6 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt @@ -1,6 +1,6 @@ #; ( -float-comp.rkt 10:1 < -- binary float comp +TR opt: float-comp.rkt 10:1 < -- binary float comp #t ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate-top.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate-top.rkt index 37ae70a5..935434d5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate-top.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate-top.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate.rkt index af7aff2d..e817be69 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-conjugate.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-div.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-div.rkt index d457c986..a619420e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-div.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-div.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt index 880de826..955608c3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt index 770da1a1..abc170d2 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt @@ -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") ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt index ef5e7d0e..97aa83ed 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt index daadb306..0084341a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt index f3ef0ef7..a0fa96a5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-i.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-i.rkt index 48f3c35d..48c5cbcd 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-i.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-i.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt index cbbeed70..b80eef16 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-mult.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-mult.rkt index bf24aef1..dd8c8df8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-mult.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-mult.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-parts.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-parts.rkt index 5ccb460b..a8c8b181 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-parts.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-parts.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-parts2.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-parts2.rkt index f2d19cfe..851dc709 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-parts2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-parts2.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-parts3.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-parts3.rkt index 182cdbcf..4ade1692 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-parts3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-parts3.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt index df354592..4ab37918 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex.rkt index 60be39ec..ad704cf0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt b/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt index 9f8c823d..a574595c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt @@ -1,6 +1,6 @@ #; ( -float-fun.rkt 12:3 + -- binary float +TR opt: float-fun.rkt 12:3 + -- binary float ) #lang typed/racket diff --git a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt index 1911b402..3c8c2451 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt index 2e8bb522..1f5f876b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt index 49c2e9ed..473544c8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt b/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt index c9d97c50..2f3d5eec 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt index c4197f56..70778915 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt @@ -1,6 +1,6 @@ #; ( -#f (no location) make-sequence -- in-bytes +TR opt: #f (no location) make-sequence -- in-bytes 495051) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt index 4691f6a6..f3afda24 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt @@ -1,6 +1,6 @@ #; ( -#f (no location) make-sequence -- in-list +TR opt: #f (no location) make-sequence -- in-list 123) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt index d0440960..042291a0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt @@ -1,6 +1,6 @@ #; ( -#f (no location) make-sequence -- in-string +TR opt: #f (no location) make-sequence -- in-string 123) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt index b7b895af..eb933b44 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt @@ -1,6 +1,6 @@ #; ( -#f (no location) make-sequence -- in-vector +TR opt: #f (no location) make-sequence -- in-vector 123) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt index 6cdae68d..f31b32c0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt index 7ba6df1b..9b852711 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt index 35aa3bb7..5b0d36ce 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt index 81fb2cc7..e5e74a03 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt index 12c859e3..98d5d86a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt index dae45be1..03a7dc02 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt index 8af6857b..44326979 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt index 73d21179..ec23a672 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt index e677c5b9..1a194416 100644 --- a/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/let-float.rkt b/collects/tests/typed-scheme/optimizer/tests/let-float.rkt index 23324b35..d338f66f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/let-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/let-float.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt index 2d5cd420..2074a0b6 100644 --- a/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt @@ -1,6 +1,6 @@ #; ( -let-rhs.rkt 12:10 + -- binary float +TR opt: let-rhs.rkt 12:10 + -- binary float 3.0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt b/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt index 11033cbe..09d35ffe 100644 --- a/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt @@ -1,6 +1,6 @@ #; ( -literal-int.rkt 13:1 + -- binary float +TR opt: literal-int.rkt 13:1 + -- binary float 3.0 1 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt b/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt index f441a482..6ce23ab9 100644 --- a/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt b/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt index 7d00a41f..5b04e616 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt index 423d43ba..6ea147b1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt @@ -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" ) diff --git a/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt index 6630f1ff..50fe344d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt index 3a4c9af7..863a6f77 100644 --- a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/n-ary-float-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/n-ary-float-complex.rkt index d960dd30..5bf26bec 100644 --- a/collects/tests/typed-scheme/optimizer/tests/n-ary-float-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/n-ary-float-complex.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt b/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt index 9e163993..82604a3c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt @@ -1,6 +1,6 @@ #; ( -n-ary-float.rkt 10:1 + -- binary float +TR opt: n-ary-float.rkt 10:1 + -- binary float 6.0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float-complex.rkt index 0a88ddfb..5bc5244f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float-complex.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt index 2d4daf1b..51928b09 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt index 89ff7e6a..a9cd1ce5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt index 06f6eb70..5fff0cb7 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt index c1836b01..307a0a36 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt index 8ff67ad4..3c5fd996 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt @@ -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) ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt index 5beee615..d2e6058e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt b/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt index 27141722..cee2973a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt b/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt index be042547..1a2b2f38 100644 --- a/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt @@ -1,6 +1,6 @@ #; ( -pair-fun.rkt 13:7 car -- pair +TR opt: pair-fun.rkt 13:7 car -- pair ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/pair-known-length-list.rkt b/collects/tests/typed-scheme/optimizer/tests/pair-known-length-list.rkt index 5f138e42..6c4d66e3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/pair-known-length-list.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/pair-known-length-list.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/rational-literal.rkt b/collects/tests/typed-scheme/optimizer/tests/rational-literal.rkt index 3a9b4543..72d2daf0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/rational-literal.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/rational-literal.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt index 7eb135e2..6ad36b6d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt b/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt index b4cd4a0a..d51b1774 100644 --- a/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/silent-dead-branch.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt b/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt index 8a94e1f2..bf5d5c92 100644 --- a/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt @@ -1,6 +1,6 @@ #; ( -simple-float.rkt 10:1 + -- binary float +TR opt: simple-float.rkt 10:1 + -- binary float 5.0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt index 20dc52e5..3ae082fb 100644 --- a/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt @@ -1,6 +1,6 @@ #; ( -simple-pair.rkt 10:1 car -- pair +TR opt: simple-pair.rkt 10:1 car -- pair 1 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt index 1ce55a12..306e49ee 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt index 6bf60a82..e9e8d9e0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt @@ -1,6 +1,6 @@ #; ( -sqrt.rkt 11:3 sqrt -- unary float +TR opt: sqrt.rkt 11:3 sqrt -- unary float ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/string-length.rkt b/collects/tests/typed-scheme/optimizer/tests/string-length.rkt index 0e788b60..c924d7bb 100644 --- a/collects/tests/typed-scheme/optimizer/tests/string-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/string-length.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/structs.rkt b/collects/tests/typed-scheme/optimizer/tests/structs.rkt index 2922ab30..b5746228 100644 --- a/collects/tests/typed-scheme/optimizer/tests/structs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/structs.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt index 9fc849ee..b5e00708 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt index 9dda413e..bfc6435c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt index ca78e7b5..e57b4083 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt @@ -1,6 +1,6 @@ #; ( -unary-float.rkt 10:1 sin -- unary float +TR opt: unary-float.rkt 10:1 sin -- unary float 0.9092974268256817 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt index b221ab8b..31cfba89 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt index cde1fade..63b0e2f3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt index c9970e4f..21e0dd7f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt index e752deb3..ff010132 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt index 6c7c3d4a..ba5532fe 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt @@ -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 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt index d39f983b..9c1e6099 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt @@ -1,9 +1,9 @@ #; ( -unboxed-let-functions5.rkt 20:12 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex -unboxed-let-functions5.rkt 20:13 + -- unboxed binary float complex -unboxed-let-functions5.rkt 20:15 1.0+2.0i -- unboxed literal -unboxed-let-functions5.rkt 20:24 2.0+4.0i -- unboxed literal +TR opt: unboxed-let-functions5.rkt 20:12 (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) -- unboxed float complex +TR opt: unboxed-let-functions5.rkt 20:13 + -- unboxed binary float complex +TR opt: unboxed-let-functions5.rkt 20:15 1.0+2.0i -- unboxed literal +TR opt: unboxed-let-functions5.rkt 20:24 2.0+4.0i -- unboxed literal 3.0+6.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt index 9db3f373..ab05c5af 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt @@ -1,23 +1,23 @@ #; ( -#f (no location) (letrec-values (((loop) (lambda (z l) (if (#%app null? l) (#%app + z (quote 0.0+1.0i)) (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) -- unboxed call site -unboxed-let-functions6.rkt 27:6 loop -- fun -> unboxed fun -unboxed-let-functions6.rkt 27:6 loop -- unboxed function -> table -unboxed-let-functions6.rkt 27:6 loop -- unboxed let loop -unboxed-let-functions6.rkt 27:31 z -- unboxed var -> table -unboxed-let-functions6.rkt 27:51 0.0+0.0i -- unboxed literal -unboxed-let-functions6.rkt 30:10 (#%app + z (quote 0.0+1.0i)) -- unboxed float complex -unboxed-let-functions6.rkt 30:11 + -- unboxed binary float complex -unboxed-let-functions6.rkt 30:13 z -- leave var unboxed -unboxed-let-functions6.rkt 30:13 z -- unbox float-complex -unboxed-let-functions6.rkt 30:15 0.0+1.0i -- unboxed literal -unboxed-let-functions6.rkt 31:11 loop -- call to fun with unboxed args -unboxed-let-functions6.rkt 31:11 loop -- unboxed call site -unboxed-let-functions6.rkt 31:17 + -- unboxed binary float complex -unboxed-let-functions6.rkt 31:19 z -- leave var unboxed -unboxed-let-functions6.rkt 31:21 (#%app car l) -- float-arg-expr in complex ops -unboxed-let-functions6.rkt 31:22 car -- pair -unboxed-let-functions6.rkt 32:17 cdr -- pair +TR opt: #f (no location) (letrec-values (((loop) (lambda (z l) (if (#%app null? l) (#%app + z (quote 0.0+1.0i)) (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) -- unboxed call site +TR opt: unboxed-let-functions6.rkt 27:6 loop -- fun -> unboxed fun +TR opt: unboxed-let-functions6.rkt 27:6 loop -- unboxed function -> table +TR opt: unboxed-let-functions6.rkt 27:6 loop -- unboxed let loop +TR opt: unboxed-let-functions6.rkt 27:31 z -- unboxed var -> table +TR opt: unboxed-let-functions6.rkt 27:51 0.0+0.0i -- unboxed literal +TR opt: unboxed-let-functions6.rkt 30:10 (#%app + z (quote 0.0+1.0i)) -- unboxed float complex +TR opt: unboxed-let-functions6.rkt 30:11 + -- unboxed binary float complex +TR opt: unboxed-let-functions6.rkt 30:13 z -- leave var unboxed +TR opt: unboxed-let-functions6.rkt 30:13 z -- unbox float-complex +TR opt: unboxed-let-functions6.rkt 30:15 0.0+1.0i -- unboxed literal +TR opt: unboxed-let-functions6.rkt 31:11 loop -- call to fun with unboxed args +TR opt: unboxed-let-functions6.rkt 31:11 loop -- unboxed call site +TR opt: unboxed-let-functions6.rkt 31:17 + -- unboxed binary float complex +TR opt: unboxed-let-functions6.rkt 31:19 z -- leave var unboxed +TR opt: unboxed-let-functions6.rkt 31:21 (#%app car l) -- float-arg-expr in complex ops +TR opt: unboxed-let-functions6.rkt 31:22 car -- pair +TR opt: unboxed-let-functions6.rkt 32:17 cdr -- pair 6.0+1.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt index eb3b9b61..c6f1b842 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt @@ -1,21 +1,21 @@ #; ( -#f (no location) (letrec-values (((loop) (lambda (z l) (if (#%app null? l) z (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) -- unboxed call site -unboxed-let-functions7.rkt 26:6 loop -- fun -> unboxed fun -unboxed-let-functions7.rkt 26:6 loop -- unboxed function -> table -unboxed-let-functions7.rkt 26:6 loop -- unboxed let loop -unboxed-let-functions7.rkt 26:31 z -- unboxed var -> table -unboxed-let-functions7.rkt 26:51 0.0+0.0i -- unboxed literal -unboxed-let-functions7.rkt 29:6 z -- unboxed complex variable -unboxed-let-functions7.rkt 30:7 loop -- call to fun with unboxed args -unboxed-let-functions7.rkt 30:7 loop -- unboxed call site -unboxed-let-functions7.rkt 30:12 (#%app + z (#%app car l)) -- unboxed float complex -unboxed-let-functions7.rkt 30:13 + -- unboxed binary float complex -unboxed-let-functions7.rkt 30:15 z -- leave var unboxed -unboxed-let-functions7.rkt 30:15 z -- unbox float-complex -unboxed-let-functions7.rkt 30:17 (#%app car l) -- float-arg-expr in complex ops -unboxed-let-functions7.rkt 30:18 car -- pair -unboxed-let-functions7.rkt 31:13 cdr -- pair +TR opt: #f (no location) (letrec-values (((loop) (lambda (z l) (if (#%app null? l) z (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) -- unboxed call site +TR opt: unboxed-let-functions7.rkt 26:6 loop -- fun -> unboxed fun +TR opt: unboxed-let-functions7.rkt 26:6 loop -- unboxed function -> table +TR opt: unboxed-let-functions7.rkt 26:6 loop -- unboxed let loop +TR opt: unboxed-let-functions7.rkt 26:31 z -- unboxed var -> table +TR opt: unboxed-let-functions7.rkt 26:51 0.0+0.0i -- unboxed literal +TR opt: unboxed-let-functions7.rkt 29:6 z -- unboxed complex variable +TR opt: unboxed-let-functions7.rkt 30:7 loop -- call to fun with unboxed args +TR opt: unboxed-let-functions7.rkt 30:7 loop -- unboxed call site +TR opt: unboxed-let-functions7.rkt 30:12 (#%app + z (#%app car l)) -- unboxed float complex +TR opt: unboxed-let-functions7.rkt 30:13 + -- unboxed binary float complex +TR opt: unboxed-let-functions7.rkt 30:15 z -- leave var unboxed +TR opt: unboxed-let-functions7.rkt 30:15 z -- unbox float-complex +TR opt: unboxed-let-functions7.rkt 30:17 (#%app car l) -- float-arg-expr in complex ops +TR opt: unboxed-let-functions7.rkt 30:18 car -- pair +TR opt: unboxed-let-functions7.rkt 31:13 cdr -- pair 6.0+0.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt index 46db2643..ca264282 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt @@ -1,9 +1,9 @@ #; ( -unboxed-let-functions8.rkt 15:64 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex -unboxed-let-functions8.rkt 15:65 + -- unboxed binary float complex -unboxed-let-functions8.rkt 15:67 x -- unbox float-complex -unboxed-let-functions8.rkt 15:69 2.0+4.0i -- unboxed literal +TR opt: unboxed-let-functions8.rkt 15:64 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex +TR opt: unboxed-let-functions8.rkt 15:65 + -- unboxed binary float complex +TR opt: unboxed-let-functions8.rkt 15:67 x -- unbox float-complex +TR opt: unboxed-let-functions8.rkt 15:69 2.0+4.0i -- unboxed literal 3.0+6.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt index 9e4d00ae..3e50cb87 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt @@ -1,23 +1,23 @@ #; ( -unboxed-let.rkt 29:0 (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (let-values (((t2) (#%app - t1 (quote 3.0+6.0i)))) (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)))) -- unboxed let bindings -unboxed-let.rkt 29:0 (let-values (((t2) (#%app - t1 (quote 3.0+6.0i)))) (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3))) -- unboxed let bindings -unboxed-let.rkt 29:0 (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)) -- unboxed let bindings -unboxed-let.rkt 29:12 + -- unboxed binary float complex -unboxed-let.rkt 29:14 1.0+2.0i -- unboxed literal -unboxed-let.rkt 29:23 2.0+4.0i -- unboxed literal -unboxed-let.rkt 30:11 (#%app - t1 (quote 3.0+6.0i)) -- unboxed float complex -unboxed-let.rkt 30:12 - -- unboxed binary float complex -unboxed-let.rkt 30:14 t1 -- leave var unboxed -unboxed-let.rkt 30:14 t1 -- unbox float-complex -unboxed-let.rkt 30:17 3.0+6.0i -- unboxed literal -unboxed-let.rkt 31:11 4.0+8.0i -- unboxed literal -unboxed-let.rkt 32:2 (#%app + t2 t3) -- unboxed float complex -unboxed-let.rkt 32:3 + -- unboxed binary float complex -unboxed-let.rkt 32:5 t2 -- leave var unboxed -unboxed-let.rkt 32:5 t2 -- unbox float-complex -unboxed-let.rkt 32:8 t3 -- leave var unboxed -unboxed-let.rkt 32:8 t3 -- unbox float-complex +TR opt: unboxed-let.rkt 29:0 (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (let-values (((t2) (#%app - t1 (quote 3.0+6.0i)))) (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)))) -- unboxed let bindings +TR opt: unboxed-let.rkt 29:0 (let-values (((t2) (#%app - t1 (quote 3.0+6.0i)))) (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3))) -- unboxed let bindings +TR opt: unboxed-let.rkt 29:0 (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)) -- unboxed let bindings +TR opt: unboxed-let.rkt 29:12 + -- unboxed binary float complex +TR opt: unboxed-let.rkt 29:14 1.0+2.0i -- unboxed literal +TR opt: unboxed-let.rkt 29:23 2.0+4.0i -- unboxed literal +TR opt: unboxed-let.rkt 30:11 (#%app - t1 (quote 3.0+6.0i)) -- unboxed float complex +TR opt: unboxed-let.rkt 30:12 - -- unboxed binary float complex +TR opt: unboxed-let.rkt 30:14 t1 -- leave var unboxed +TR opt: unboxed-let.rkt 30:14 t1 -- unbox float-complex +TR opt: unboxed-let.rkt 30:17 3.0+6.0i -- unboxed literal +TR opt: unboxed-let.rkt 31:11 4.0+8.0i -- unboxed literal +TR opt: unboxed-let.rkt 32:2 (#%app + t2 t3) -- unboxed float complex +TR opt: unboxed-let.rkt 32:3 + -- unboxed binary float complex +TR opt: unboxed-let.rkt 32:5 t2 -- leave var unboxed +TR opt: unboxed-let.rkt 32:5 t2 -- unbox float-complex +TR opt: unboxed-let.rkt 32:8 t3 -- leave var unboxed +TR opt: unboxed-let.rkt 32:8 t3 -- unbox float-complex 4.0+8.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt index 6293817b..4c74c683 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt @@ -1,18 +1,18 @@ #; ( -unboxed-let2.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)))) (#%app + t1 t2)) -- unboxed let bindings -unboxed-let2.rkt 22:11 + -- unboxed binary float complex -unboxed-let2.rkt 22:13 1.0+2.0i -- unboxed literal -unboxed-let2.rkt 22:22 2.0+4.0i -- unboxed literal -unboxed-let2.rkt 23:11 + -- unboxed binary float complex -unboxed-let2.rkt 23:13 3.0+6.0i -- unboxed literal -unboxed-let2.rkt 23:22 4.0+8.0i -- unboxed literal -unboxed-let2.rkt 24:2 (#%app + t1 t2) -- unboxed float complex -unboxed-let2.rkt 24:3 + -- unboxed binary float complex -unboxed-let2.rkt 24:5 t1 -- leave var unboxed -unboxed-let2.rkt 24:5 t1 -- unbox float-complex -unboxed-let2.rkt 24:8 t2 -- leave var unboxed -unboxed-let2.rkt 24:8 t2 -- unbox float-complex +TR opt: unboxed-let2.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)))) (#%app + t1 t2)) -- unboxed let bindings +TR opt: unboxed-let2.rkt 22:11 + -- unboxed binary float complex +TR opt: unboxed-let2.rkt 22:13 1.0+2.0i -- unboxed literal +TR opt: unboxed-let2.rkt 22:22 2.0+4.0i -- unboxed literal +TR opt: unboxed-let2.rkt 23:11 + -- unboxed binary float complex +TR opt: unboxed-let2.rkt 23:13 3.0+6.0i -- unboxed literal +TR opt: unboxed-let2.rkt 23:22 4.0+8.0i -- unboxed literal +TR opt: unboxed-let2.rkt 24:2 (#%app + t1 t2) -- unboxed float complex +TR opt: unboxed-let2.rkt 24:3 + -- unboxed binary float complex +TR opt: unboxed-let2.rkt 24:5 t1 -- leave var unboxed +TR opt: unboxed-let2.rkt 24:5 t1 -- unbox float-complex +TR opt: unboxed-let2.rkt 24:8 t2 -- leave var unboxed +TR opt: unboxed-let2.rkt 24:8 t2 -- unbox float-complex 10.0+20.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt index 62c7d11a..3d372091 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt @@ -1,15 +1,15 @@ #; ( -unboxed-let3.rkt 26:0 (let-values (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (if (#%app even? (quote 2)) x (#%app + x (quote 2.0+4.0i)))) -- unboxed let bindings -unboxed-let3.rkt 26:10 + -- unboxed binary float complex -unboxed-let3.rkt 26:12 1.0+2.0i -- unboxed literal -unboxed-let3.rkt 26:21 2.0+4.0i -- unboxed literal -unboxed-let3.rkt 28:6 x -- unboxed complex variable -unboxed-let3.rkt 29:6 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex -unboxed-let3.rkt 29:7 + -- unboxed binary float complex -unboxed-let3.rkt 29:9 x -- leave var unboxed -unboxed-let3.rkt 29:9 x -- unbox float-complex -unboxed-let3.rkt 29:11 2.0+4.0i -- unboxed literal +TR opt: unboxed-let3.rkt 26:0 (let-values (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (if (#%app even? (quote 2)) x (#%app + x (quote 2.0+4.0i)))) -- unboxed let bindings +TR opt: unboxed-let3.rkt 26:10 + -- unboxed binary float complex +TR opt: unboxed-let3.rkt 26:12 1.0+2.0i -- unboxed literal +TR opt: unboxed-let3.rkt 26:21 2.0+4.0i -- unboxed literal +TR opt: unboxed-let3.rkt 28:6 x -- unboxed complex variable +TR opt: unboxed-let3.rkt 29:6 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex +TR opt: unboxed-let3.rkt 29:7 + -- unboxed binary float complex +TR opt: unboxed-let3.rkt 29:9 x -- leave var unboxed +TR opt: unboxed-let3.rkt 29:9 x -- unbox float-complex +TR opt: unboxed-let3.rkt 29:11 2.0+4.0i -- unboxed literal 3.0+6.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt index 508b6a73..ed0c4d41 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt @@ -1,14 +1,14 @@ #; ( -unboxed-letrec-syntaxes+values.rkt 18:0 (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (#%app + x (quote 2.0+4.0i))) -- unboxed let bindings -unboxed-letrec-syntaxes+values.rkt 19:31 + -- unboxed binary float complex -unboxed-letrec-syntaxes+values.rkt 19:33 1.0+2.0i -- unboxed literal -unboxed-letrec-syntaxes+values.rkt 19:42 2.0+4.0i -- unboxed literal -unboxed-letrec-syntaxes+values.rkt 20:24 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex -unboxed-letrec-syntaxes+values.rkt 20:25 + -- unboxed binary float complex -unboxed-letrec-syntaxes+values.rkt 20:27 x -- leave var unboxed -unboxed-letrec-syntaxes+values.rkt 20:27 x -- unbox float-complex -unboxed-letrec-syntaxes+values.rkt 20:29 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 18:0 (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (#%app + x (quote 2.0+4.0i))) -- unboxed let bindings +TR opt: unboxed-letrec-syntaxes+values.rkt 19:31 + -- unboxed binary float complex +TR opt: unboxed-letrec-syntaxes+values.rkt 19:33 1.0+2.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 19:42 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 20:24 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex +TR opt: unboxed-letrec-syntaxes+values.rkt 20:25 + -- unboxed binary float complex +TR opt: unboxed-letrec-syntaxes+values.rkt 20:27 x -- leave var unboxed +TR opt: unboxed-letrec-syntaxes+values.rkt 20:27 x -- unbox float-complex +TR opt: unboxed-letrec-syntaxes+values.rkt 20:29 2.0+4.0i -- unboxed literal 5.0+10.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt index 4bbf88b8..212bf640 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt @@ -1,16 +1,16 @@ #; ( -unboxed-letrec.rkt 22:0 (letrec-values (((f) (lambda (x) (#%app f x))) ((x) (quote 1.0+2.0i)) ((y) (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) (#%app + x y)) -- unboxed let bindings -unboxed-letrec.rkt 23:31 1.0+2.0i -- unboxed literal -unboxed-letrec.rkt 24:32 + -- unboxed binary float complex -unboxed-letrec.rkt 24:34 2.0+4.0i -- unboxed literal -unboxed-letrec.rkt 24:43 3.0+6.0i -- unboxed literal -unboxed-letrec.rkt 25:2 (#%app + x y) -- unboxed float complex -unboxed-letrec.rkt 25:3 + -- unboxed binary float complex -unboxed-letrec.rkt 25:5 x -- leave var unboxed -unboxed-letrec.rkt 25:5 x -- unbox float-complex -unboxed-letrec.rkt 25:7 y -- leave var unboxed -unboxed-letrec.rkt 25:7 y -- unbox float-complex +TR opt: unboxed-letrec.rkt 22:0 (letrec-values (((f) (lambda (x) (#%app f x))) ((x) (quote 1.0+2.0i)) ((y) (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) (#%app + x y)) -- unboxed let bindings +TR opt: unboxed-letrec.rkt 23:31 1.0+2.0i -- unboxed literal +TR opt: unboxed-letrec.rkt 24:32 + -- unboxed binary float complex +TR opt: unboxed-letrec.rkt 24:34 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec.rkt 24:43 3.0+6.0i -- unboxed literal +TR opt: unboxed-letrec.rkt 25:2 (#%app + x y) -- unboxed float complex +TR opt: unboxed-letrec.rkt 25:3 + -- unboxed binary float complex +TR opt: unboxed-letrec.rkt 25:5 x -- leave var unboxed +TR opt: unboxed-letrec.rkt 25:5 x -- unbox float-complex +TR opt: unboxed-letrec.rkt 25:7 y -- leave var unboxed +TR opt: unboxed-letrec.rkt 25:7 y -- unbox float-complex 6.0+12.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt index 6bdb0648..1c12dfcf 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt @@ -1,19 +1,19 @@ #; ( -unboxed-make-rectangular.rkt 27:0 (let-values (((x) (#%app make-rectangular (quote 1.0) (quote 2.0)))) (#%app + x (quote 2.0+4.0i))) -- unboxed let bindings -unboxed-make-rectangular.rkt 27:10 make-rectangular -- make-rectangular elimination -unboxed-make-rectangular.rkt 28:2 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex -unboxed-make-rectangular.rkt 28:3 + -- unboxed binary float complex -unboxed-make-rectangular.rkt 28:5 x -- leave var unboxed -unboxed-make-rectangular.rkt 28:5 x -- unbox float-complex -unboxed-make-rectangular.rkt 28:7 2.0+4.0i -- unboxed literal -unboxed-make-rectangular.rkt 29:0 (let-values (((x) (#%app unsafe-make-flrectangular (quote 1.0) (quote 2.0)))) (#%app + x (quote 2.0+4.0i))) -- unboxed let bindings -unboxed-make-rectangular.rkt 29:10 unsafe-make-flrectangular -- make-rectangular elimination -unboxed-make-rectangular.rkt 30:2 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex -unboxed-make-rectangular.rkt 30:3 + -- unboxed binary float complex -unboxed-make-rectangular.rkt 30:5 x -- leave var unboxed -unboxed-make-rectangular.rkt 30:5 x -- unbox float-complex -unboxed-make-rectangular.rkt 30:7 2.0+4.0i -- unboxed literal +TR opt: unboxed-make-rectangular.rkt 27:0 (let-values (((x) (#%app make-rectangular (quote 1.0) (quote 2.0)))) (#%app + x (quote 2.0+4.0i))) -- unboxed let bindings +TR opt: unboxed-make-rectangular.rkt 27:10 make-rectangular -- make-rectangular elimination +TR opt: unboxed-make-rectangular.rkt 28:2 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex +TR opt: unboxed-make-rectangular.rkt 28:3 + -- unboxed binary float complex +TR opt: unboxed-make-rectangular.rkt 28:5 x -- leave var unboxed +TR opt: unboxed-make-rectangular.rkt 28:5 x -- unbox float-complex +TR opt: unboxed-make-rectangular.rkt 28:7 2.0+4.0i -- unboxed literal +TR opt: unboxed-make-rectangular.rkt 29:0 (let-values (((x) (#%app unsafe-make-flrectangular (quote 1.0) (quote 2.0)))) (#%app + x (quote 2.0+4.0i))) -- unboxed let bindings +TR opt: unboxed-make-rectangular.rkt 29:10 unsafe-make-flrectangular -- make-rectangular elimination +TR opt: unboxed-make-rectangular.rkt 30:2 (#%app + x (quote 2.0+4.0i)) -- unboxed float complex +TR opt: unboxed-make-rectangular.rkt 30:3 + -- unboxed binary float complex +TR opt: unboxed-make-rectangular.rkt 30:5 x -- leave var unboxed +TR opt: unboxed-make-rectangular.rkt 30:5 x -- unbox float-complex +TR opt: unboxed-make-rectangular.rkt 30:7 2.0+4.0i -- unboxed literal 3.0+6.0i 3.0+6.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt index 6d092dc7..563c3d49 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt @@ -1,7 +1,7 @@ #; ( -vector-length-nested.rkt 11:1 vector-length -- vector-length -vector-length-nested.rkt 12:2 vector-ref -- vector +TR opt: vector-length-nested.rkt 11:1 vector-length -- vector-length +TR opt: vector-length-nested.rkt 12:2 vector-ref -- vector 2 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt index 42b8ef70..57c4b8b0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt @@ -1,6 +1,6 @@ #; ( -vector-length.rkt 10:1 vector-length -- vector-length +TR opt: vector-length.rkt 10:1 vector-length -- vector-length 3 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt index 1d1a2ce8..9f173e8e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt @@ -1,8 +1,8 @@ #; ( -vector-ref-set-ref.rkt 15:1 vector-ref -- vector -vector-ref-set-ref.rkt 16:1 vector-set! -- vector -vector-ref-set-ref.rkt 17:1 vector-ref -- vector +TR opt: vector-ref-set-ref.rkt 15:1 vector-ref -- vector +TR opt: vector-ref-set-ref.rkt 16:1 vector-set! -- vector +TR opt: vector-ref-set-ref.rkt 17:1 vector-ref -- vector 1 "2" ) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt index 72569033..d225aaf7 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt @@ -1,6 +1,6 @@ #; ( -vector-ref.rkt 10:1 vector-ref -- vector +TR opt: vector-ref.rkt 10:1 vector-ref -- vector 1 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt index b0f67da1..aa303c35 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt @@ -1,6 +1,6 @@ #; ( -vector-ref2.rkt 10:1 vector-ref -- vector +TR opt: vector-ref2.rkt 10:1 vector-ref -- vector 1 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt index 9a6a8345..6ec9ab7f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt @@ -1,6 +1,6 @@ #; ( -vector-set-quote.rkt 9:1 vector-set! -- vector +TR opt: vector-set-quote.rkt 9:1 vector-set! -- vector ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt index 7ebdb241..bc0392c5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt @@ -1,6 +1,6 @@ #; ( -vector-set.rkt 9:1 vector-set! -- vector +TR opt: vector-set.rkt 9:1 vector-set! -- vector ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt index b02d5961..57ad2a9a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt @@ -1,6 +1,6 @@ #; ( -vector-set2.rkt 9:1 vector-set! -- vector +TR opt: vector-set2.rkt 9:1 vector-set! -- vector ) #lang typed/scheme diff --git a/collects/tests/typed-scheme/optimizer/tests/with-type.rkt b/collects/tests/typed-scheme/optimizer/tests/with-type.rkt index d68e3c2d..82ebe1dd 100644 --- a/collects/tests/typed-scheme/optimizer/tests/with-type.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/with-type.rkt @@ -1,6 +1,6 @@ #; ( -with-type.rkt 13:19 + -- binary float +TR opt: with-type.rkt 13:19 + -- binary float 34.6 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/zero.rkt b/collects/tests/typed-scheme/optimizer/tests/zero.rkt index 7382651a..1eca9c92 100644 --- a/collects/tests/typed-scheme/optimizer/tests/zero.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/zero.rkt @@ -1,8 +1,8 @@ #; ( -zero.rkt 13:1 zero? -- fixnum zero? -zero.rkt 14:1 zero? -- float zero? -zero.rkt 14:8 sqrt -- unary float +TR opt: zero.rkt 13:1 zero? -- fixnum zero? +TR opt: zero.rkt 14:1 zero? -- float zero? +TR opt: zero.rkt 14:8 sqrt -- unary float #f #f ) diff --git a/collects/typed-scheme/optimizer/logging.rkt b/collects/typed-scheme/optimizer/logging.rkt index ae7bc680..cc201c1d 100644 --- a/collects/typed-scheme/optimizer/logging.rkt +++ b/collects/typed-scheme/optimizer/logging.rkt @@ -27,15 +27,16 @@ ;; a problem per se) (define log-so-far (set)) -(define (gen-log-message msg stx) - (format "~a ~a ~a -- ~a" +(define (gen-log-message msg stx from) + (format "~a: ~a ~a ~a -- ~a" + from (syntax-source-file-name stx) (line+col->string stx) (syntax->datum stx) msg)) -(define (log-optimization msg stx) - (let* ([new-message (gen-log-message msg stx)] +(define (log-optimization msg stx #:from [from "TR opt"]) + (let* ([new-message (gen-log-message msg stx from)] [new-entry (log-entry new-message (syntax-position stx))]) (unless (set-member? log-so-far new-entry) (set! log-so-far (set-add log-so-far new-entry))))) @@ -46,7 +47,8 @@ (define logger (current-logger)) ;; add missed optimizations messages to the log, now that we know all of them (for-each (lambda (x) (log-optimization (format-missed-optimization x) - (missed-optimization-stx x))) + (missed-optimization-stx x) + #:from "TR missed opt")) missed-optimizations-log) (for-each (lambda (x) (log-message logger 'warning (log-entry-msg x) optimization-log-key))