From 03ebf0d3dedf8498fe149e86d7503b805fcadeec Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 9 Feb 2012 14:55:47 -0500 Subject: [PATCH] Update tests for new log format. --- .../optimizer/missed-optimizations/fixnum.rkt | 30 ++-- .../missed-optimizations/multi-file2.rkt | 2 +- .../optimizer/missed-optimizations/pair.rkt | 2 +- .../missed-optimizations/precision-loss.rkt | 25 ++-- .../unexpected-complex.rkt | 2 +- .../optimizer/tests/binary-fixnum.rkt | 2 +- .../optimizer/tests/binary-nonzero-fixnum.rkt | 2 +- .../optimizer/tests/dead-else.rkt | 4 +- .../optimizer/tests/derived-pair.rkt | 16 +-- .../optimizer/tests/derived-pair2.rkt | 48 +++---- .../optimizer/tests/derived-pair3.rkt | 128 +++++++++--------- .../optimizer/tests/drop-pure-pred.rkt | 2 +- .../typed-racket/optimizer/tests/expt.rkt | 2 +- .../optimizer/tests/fixnum-bounded-expr.rkt | 60 ++++---- .../optimizer/tests/fixnum-comparison.rkt | 2 +- .../tests/float-complex-conjugate-top.rkt | 4 +- .../tests/float-complex-conjugate.rkt | 6 +- .../optimizer/tests/float-complex-div.rkt | 2 +- .../optimizer/tests/float-complex-fixnum.rkt | 12 +- .../tests/float-complex-float-div.rkt | 18 +-- .../tests/float-complex-float-mul.rkt | 12 +- .../tests/float-complex-float-small.rkt | 14 +- .../optimizer/tests/float-complex-float.rkt | 8 +- .../optimizer/tests/float-complex-i.rkt | 4 +- .../optimizer/tests/float-complex-integer.rkt | 2 +- .../optimizer/tests/float-complex-mult.rkt | 2 +- .../optimizer/tests/float-complex-parts.rkt | 6 +- .../optimizer/tests/float-complex-parts2.rkt | 44 +++--- .../optimizer/tests/float-complex-parts3.rkt | 24 ++-- .../optimizer/tests/float-complex-sin.rkt | 9 +- .../optimizer/tests/float-complex.rkt | 4 +- .../optimizer/tests/float-promotion.rkt | 7 +- .../optimizer/tests/invalid-unboxed-let.rkt | 31 +++-- .../optimizer/tests/invalid-unboxed-let2.rkt | 6 +- .../optimizer/tests/known-vector-length.rkt | 2 +- .../optimizer/tests/magnitude.rkt | 2 +- .../optimizer/tests/make-polar.rkt | 18 +-- .../optimizer/tests/maybe-exact-complex.rkt | 2 +- .../optimizer/tests/multi-flcomp.rkt | 4 +- .../optimizer/tests/n-ary-float-complex.rkt | 2 +- .../optimizer/tests/nested-float-complex.rkt | 4 +- .../optimizer/tests/nested-float.rkt | 2 +- .../optimizer/tests/nested-float2.rkt | 2 +- .../optimizer/tests/nested-let-loop.rkt | 60 ++++---- .../optimizer/tests/nested-unboxed-let.rkt | 30 ++-- .../optimizer/tests/real-part-loop.rkt | 26 ++-- .../optimizer/tests/ternary-equality.rkt | 4 +- .../optimizer/tests/unary-fixnum-nested.rkt | 4 +- .../optimizer/tests/unboxed-for.rkt | 57 ++++---- .../tests/unboxed-let-functions1.rkt | 24 ++-- .../tests/unboxed-let-functions2.rkt | 32 +++-- .../tests/unboxed-let-functions3.rkt | 24 ++-- .../tests/unboxed-let-functions4.rkt | 24 ++-- .../tests/unboxed-let-functions5.rkt | 2 +- .../tests/unboxed-let-functions6.rkt | 34 ++--- .../tests/unboxed-let-functions7.rkt | 31 +++-- .../tests/unboxed-let-functions8.rkt | 2 +- .../optimizer/tests/unboxed-let.rkt | 38 +++--- .../optimizer/tests/unboxed-let2.rkt | 28 ++-- .../optimizer/tests/unboxed-let3.rkt | 20 +-- .../tests/unboxed-letrec-syntaxes+values.rkt | 18 +-- .../optimizer/tests/unboxed-letrec.rkt | 24 ++-- .../tests/unboxed-make-rectangular.rkt | 28 ++-- .../optimizer/tests/vector-sum.rkt | 111 +++++++++++---- .../typed-racket/optimizer/tests/zero.rkt | 2 +- 65 files changed, 678 insertions(+), 525 deletions(-) diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt index a5642281d5..ef7983f156 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt @@ -1,17 +1,23 @@ #; ( -TR opt: fixnum.rkt 29:10 (* x y) -- fixnum bounded expr -TR missed opt: fixnum.rkt 32:0 (+ (ann z Fixnum) 234) -- out of fixnum range -TR missed opt: fixnum.rkt 33:0 (* (ann x Index) (ann y Index)) -- out of fixnum range -TR missed opt: fixnum.rkt 34:0 (fx* (ann x Index) (ann y Index)) -- out of fixnum range -TR missed opt: fixnum.rkt 35:0 (abs (ann -3 Fixnum)) -- out of fixnum range -TR missed opt: fixnum.rkt 36:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range -TR opt: fixnum.rkt 36:3 (+ 300 301) -- fixnum bounded expr -TR opt: fixnum.rkt 36:15 (+ 301 302) -- fixnum bounded expr -TR missed opt: fixnum.rkt 37:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range -TR opt: fixnum.rkt 37:5 (+ 300 301) -- fixnum bounded expr -TR opt: fixnum.rkt 37:17 (+ 301 302) -- fixnum bounded expr -TR missed opt: fixnum.rkt 38:0 (fxquotient -4 -5) -- out of fixnum range +TR opt: fixnum.rkt 35:10 (* x y) -- fixnum bounded expr +TR missed opt: fixnum.rkt 38:0 (+ (ann z Fixnum) 234) -- out of fixnum range +TR missed opt: fixnum.rkt 39:0 (* (ann x Index) (ann y Index)) -- out of fixnum range +TR missed opt: fixnum.rkt 40:0 (fx* (ann x Index) (ann y Index)) -- out of fixnum range +TR missed opt: fixnum.rkt 41:0 (abs (ann -3 Fixnum)) -- out of fixnum range +TR opt: fixnum.rkt 42:3 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum.rkt 42:15 (+ 301 302) -- fixnum bounded expr +TR opt: fixnum.rkt 42:3 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum.rkt 42:15 (+ 301 302) -- fixnum bounded expr +TR opt: fixnum.rkt 42:3 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum.rkt 42:15 (+ 301 302) -- fixnum bounded expr +TR missed opt: fixnum.rkt 42:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range +TR opt: fixnum.rkt 43:5 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum.rkt 43:17 (+ 301 302) -- fixnum bounded expr +TR opt: fixnum.rkt 43:5 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum.rkt 43:17 (+ 301 302) -- fixnum bounded expr +TR missed opt: fixnum.rkt 43:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range +TR missed opt: fixnum.rkt 44:0 (fxquotient -4 -5) -- out of fixnum range 468 234 234 diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt index 16f7749889..2d8c1dffd7 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt @@ -1,8 +1,8 @@ #; ( TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3 -TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr +TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float 81.6 ) diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt index 9250af5555..808df47e34 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt @@ -9,10 +9,10 @@ TR opt: pair.rkt 62:5 (cdr (list 1 2 3)) -- pair TR opt: pair.rkt 63:0 (cdr (cdr (cdr (list 1 2 3)))) -- pair TR opt: pair.rkt 63:5 (cdr (cdr (list 1 2 3))) -- pair TR opt: pair.rkt 63:10 (cdr (list 1 2 3)) -- pair -TR missed opt: pair.rkt 64:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 64:21 (cdr (cdr (cdr (list 1 2 3)))) TR opt: pair.rkt 64:21 (cdr (cdr (cdr (list 1 2 3)))) -- pair TR opt: pair.rkt 64:26 (cdr (cdr (list 1 2 3))) -- pair TR opt: pair.rkt 64:31 (cdr (list 1 2 3)) -- pair +TR missed opt: pair.rkt 64:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 64:21 (cdr (cdr (cdr (list 1 2 3)))) TR missed opt: pair.rkt 67:0 (mcar (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 67:0 (mcar (ann (mlist 1) (MListof Byte))) TR opt: pair.rkt 68:0 (mcar (mlist 1 2 3)) -- pair TR missed opt: pair.rkt 69:0 (mcdr (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 69:0 (mcdr (ann (mlist 1) (MListof Byte))) diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt index aa8aea4a9e..b1504241d4 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt @@ -1,16 +1,19 @@ #; ( -TR opt: precision-loss.rkt 27:0 (+ (* 3/4 2/3) 2.0) -- binary float -TR missed opt: precision-loss.rkt 27:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 27:3 (* 3/4 2/3) -TR opt: precision-loss.rkt 29:0 (+ 3/4 2.0) -- binary float -TR opt: precision-loss.rkt 31:0 (+ (- 3/4) 2.0) -- binary float -TR missed opt: precision-loss.rkt 31:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 31:3 (- 3/4) -TR opt: precision-loss.rkt 33:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float -TR missed opt: precision-loss.rkt 39:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- exact ops inside float expr -- caused by: 39:8 (* 3/4 2/3) -TR missed opt: precision-loss.rkt 39:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 39:11 3/4, 39:15 2/3, 40:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) (2 times) -TR opt: precision-loss.rkt 40:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair -TR missed opt: precision-loss.rkt 40:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 40:26 (* 3/4 2/3) -TR missed opt: precision-loss.rkt 40:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 40:29 3/4, 40:33 2/3 (2 times) +TR opt: precision-loss.rkt 30:0 (+ (* 3/4 2/3) 2.0) -- binary float +TR missed opt: precision-loss.rkt 30:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 30:3 (* 3/4 2/3) +TR opt: precision-loss.rkt 32:0 (+ 3/4 2.0) -- binary float +TR opt: precision-loss.rkt 34:0 (+ (- 3/4) 2.0) -- binary float +TR missed opt: precision-loss.rkt 34:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 34:3 (- 3/4) +TR opt: precision-loss.rkt 36:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float +TR opt: precision-loss.rkt 43:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair +TR opt: precision-loss.rkt 43:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair +TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 43:29 3/4, 43:33 2/3 (2 times) +TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 43:26 (* 3/4 2/3) +TR missed opt: precision-loss.rkt 42:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- exact ops inside float expr -- caused by: 42:8 (* 3/4 2/3) +TR missed opt: precision-loss.rkt 42:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 42:11 3/4, 42:15 2/3, 43:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) (2 times) +TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 43:26 (* 3/4 2/3) +TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 43:29 3/4, 43:33 2/3 (2 times) 2.5 2.75 1.25 diff --git a/collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt b/collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt index 4c6ddbb284..35e13be9b8 100644 --- a/collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt +++ b/collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt @@ -1,9 +1,9 @@ #; ( TR missed opt: unexpected-complex.rkt 15:0 (sqrt (ann 4 Integer)) -- unexpected complex type -TR opt: unexpected-complex.rkt 16:0 (+ 1.2+3.4i 2.0) -- unboxed binary float complex TR opt: unexpected-complex.rkt 16:3 1.2+3.4i -- unboxed literal TR opt: unexpected-complex.rkt 16:12 2.0 -- float-arg-expr in complex ops +TR opt: unexpected-complex.rkt 16:0 (+ 1.2+3.4i 2.0) -- unboxed binary float complex 2 3.2+3.4i ) diff --git a/collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt b/collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt index 0f1c8ab48c..6588e54893 100644 --- a/collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt +++ b/collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: binary-fixnum.rkt 12:2 (bitwise-and (vector-length v) 1) -- binary fixnum TR opt: binary-fixnum.rkt 12:15 (vector-length v) -- vector-length +TR opt: binary-fixnum.rkt 12:2 (bitwise-and (vector-length v) 1) -- binary fixnum ) #lang typed/scheme diff --git a/collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt b/collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt index 4ef8c76cb8..f03522bd69 100644 --- a/collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt +++ b/collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: binary-nonzero-fixnum.rkt 11:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum TR opt: binary-nonzero-fixnum.rkt 11:8 (vector-length (quote #(1 2 3))) -- vector-length +TR opt: binary-nonzero-fixnum.rkt 11:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum 1 ) diff --git a/collects/tests/typed-racket/optimizer/tests/dead-else.rkt b/collects/tests/typed-racket/optimizer/tests/dead-else.rkt index fa0ca8b8a4..cb3f5eb094 100644 --- a/collects/tests/typed-racket/optimizer/tests/dead-else.rkt +++ b/collects/tests/typed-racket/optimizer/tests/dead-else.rkt @@ -1,9 +1,9 @@ #; ( -TR opt: dead-else.rkt 13:13 (+ 2.0 3.0) -- binary float TR opt: dead-else.rkt 14:13 (+ 4.0 5.0) -- dead else branch -TR opt: dead-else.rkt 16:13 (+ 2.0 3.0) -- binary float +TR opt: dead-else.rkt 13:13 (+ 2.0 3.0) -- binary float TR opt: dead-else.rkt 17:13 (+ 4.0 5.0) -- dead else branch +TR opt: dead-else.rkt 16:13 (+ 2.0 3.0) -- binary float 5.05.0) #lang typed/scheme diff --git a/collects/tests/typed-racket/optimizer/tests/derived-pair.rkt b/collects/tests/typed-racket/optimizer/tests/derived-pair.rkt index d3a25c8857..afc342caba 100644 --- a/collects/tests/typed-racket/optimizer/tests/derived-pair.rkt +++ b/collects/tests/typed-racket/optimizer/tests/derived-pair.rkt @@ -1,17 +1,17 @@ #; ( +TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair +TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- derived pair -TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair -TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair +TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair +TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- derived pair -TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair -TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair +TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair +TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- derived pair -TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair -TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair +TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair +TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- derived pair -TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair -TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair 1 2 2 diff --git a/collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt b/collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt index c456d799c2..91125bd2ef 100644 --- a/collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt +++ b/collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt @@ -1,37 +1,37 @@ #; ( +TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair +TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair +TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- derived pair -TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair -TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair -TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair +TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair +TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair +TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- derived pair -TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair -TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair -TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair +TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair +TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair +TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- derived pair -TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair -TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair -TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair +TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair +TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair +TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- derived pair -TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair -TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair -TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair +TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair +TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair +TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- derived pair -TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair -TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair -TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair +TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair +TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair +TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- derived pair -TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair -TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair -TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair +TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair +TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair +TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- derived pair -TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair -TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair -TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair +TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair +TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair +TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- derived pair -TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair -TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair -TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair 1 2 2 diff --git a/collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt b/collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt index 89d5adec65..e928f5fc29 100644 --- a/collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt +++ b/collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt @@ -1,85 +1,85 @@ #; ( +TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- derived pair -TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair -TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair -TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair -TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- derived pair -TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair -TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair -TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair -TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- derived pair -TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair -TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair -TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair -TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- derived pair -TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair -TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair -TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair -TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- derived pair -TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair -TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair -TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair -TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- derived pair -TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair -TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair -TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair -TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- derived pair -TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair -TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair -TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair -TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- derived pair -TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair -TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair -TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair -TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- derived pair -TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair -TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair -TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair -TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair +TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- derived pair -TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair -TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair -TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair -TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair +TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- derived pair -TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair -TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair -TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair -TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair +TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- derived pair -TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair -TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair -TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair -TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair +TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- derived pair -TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair -TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair -TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair -TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair +TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- derived pair -TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair -TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair -TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair -TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair +TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- derived pair -TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair -TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair -TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair -TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair +TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair +TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- derived pair -TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair -TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair -TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair -TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair 1 2 2 diff --git a/collects/tests/typed-racket/optimizer/tests/drop-pure-pred.rkt b/collects/tests/typed-racket/optimizer/tests/drop-pure-pred.rkt index ae2552dd64..f95950d842 100644 --- a/collects/tests/typed-racket/optimizer/tests/drop-pure-pred.rkt +++ b/collects/tests/typed-racket/optimizer/tests/drop-pure-pred.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: drop-pure-pred.rkt 13:6 (exact-integer? x) -- useless pure code TR opt: drop-pure-pred.rkt 15:6 (list 2) -- dead else branch +TR opt: drop-pure-pred.rkt 13:6 (exact-integer? x) -- useless pure code '(1) ) diff --git a/collects/tests/typed-racket/optimizer/tests/expt.rkt b/collects/tests/typed-racket/optimizer/tests/expt.rkt index 1cf3b12f8c..e96d8cc0c6 100644 --- a/collects/tests/typed-racket/optimizer/tests/expt.rkt +++ b/collects/tests/typed-racket/optimizer/tests/expt.rkt @@ -1,7 +1,7 @@ #; ( -TR missed opt: expt.rkt 13:13 (expt (sin 0.25) 1.0) -- unexpected complex type TR opt: expt.rkt 13:19 (sin 0.25) -- unary float +TR missed opt: expt.rkt 13:13 (expt (sin 0.25) 1.0) -- unexpected complex type ) #lang typed/racket diff --git a/collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt b/collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt index 66c923c073..2e498f26f1 100644 --- a/collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt +++ b/collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt @@ -1,36 +1,38 @@ #; ( -TR opt: fixnum-bounded-expr.rkt 67:2 (+ x (sqr y)) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 73:2 (- x (* y y)) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 73:7 (* y y) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 80:2 (+ x y) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 83:2 (+ x y) -- fixnum bounded expr -TR missed opt: fixnum-bounded-expr.rkt 86:2 (+ x y) -- out of fixnum range -TR opt: fixnum-bounded-expr.rkt 88:0 (abs 45) -- fixnum fxabs -TR missed opt: fixnum-bounded-expr.rkt 89:0 (abs (ann -3 Fixnum)) -- out of fixnum range -TR opt: fixnum-bounded-expr.rkt 91:0 (fx+ 5 2) -- fixnum fx+ -TR opt: fixnum-bounded-expr.rkt 92:0 (fx+ (+ 34 231) (* 24 25)) -- fixnum fx+ -TR opt: fixnum-bounded-expr.rkt 92:5 (+ 34 231) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 92:16 (* 24 25) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 93:0 (fx+ (+ (+ 34 231) 23) -4) -- fixnum fx+ -TR opt: fixnum-bounded-expr.rkt 93:5 (+ (+ 34 231) 23) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 93:8 (+ 34 231) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 94:0 (fx+ -4 (+ (+ 34 231) 23)) -- fixnum fx+ -TR opt: fixnum-bounded-expr.rkt 94:8 (+ (+ 34 231) 23) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 94:11 (+ 34 231) -- fixnum bounded expr -TR missed opt: fixnum-bounded-expr.rkt 95:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range -TR opt: fixnum-bounded-expr.rkt 95:5 (+ 300 301) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 95:17 (+ 301 302) -- fixnum bounded expr -TR opt: fixnum-bounded-expr.rkt 97:0 (fx- (+ 300 301) (+ 301 302)) -- fixnum fx- +TR opt: fixnum-bounded-expr.rkt 69:2 (+ x (sqr y)) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 75:7 (* y y) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 75:2 (- x (* y y)) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 82:2 (+ x y) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 85:2 (+ x y) -- fixnum bounded expr +TR missed opt: fixnum-bounded-expr.rkt 88:2 (+ x y) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 90:0 (abs 45) -- fixnum fxabs +TR missed opt: fixnum-bounded-expr.rkt 91:0 (abs (ann -3 Fixnum)) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 93:0 (fx+ 5 2) -- fixnum fx+ +TR opt: fixnum-bounded-expr.rkt 94:5 (+ 34 231) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 94:16 (* 24 25) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 94:0 (fx+ (+ 34 231) (* 24 25)) -- fixnum fx+ +TR opt: fixnum-bounded-expr.rkt 95:8 (+ 34 231) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 95:5 (+ (+ 34 231) 23) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 95:0 (fx+ (+ (+ 34 231) 23) -4) -- fixnum fx+ +TR opt: fixnum-bounded-expr.rkt 96:11 (+ 34 231) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 96:8 (+ (+ 34 231) 23) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 96:0 (fx+ -4 (+ (+ 34 231) 23)) -- fixnum fx+ TR opt: fixnum-bounded-expr.rkt 97:5 (+ 300 301) -- fixnum bounded expr TR opt: fixnum-bounded-expr.rkt 97:17 (+ 301 302) -- fixnum bounded expr -TR missed opt: fixnum-bounded-expr.rkt 98:0 (fx- (ann 3 Fixnum) (ann 4 Fixnum)) -- out of fixnum range -TR opt: fixnum-bounded-expr.rkt 100:0 (fx* 4 5) -- fixnum fx* -TR missed opt: fixnum-bounded-expr.rkt 101:0 (fx* 300 300) -- out of fixnum range -TR opt: fixnum-bounded-expr.rkt 103:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Fixnum)) -- fixnum fxquotient -TR missed opt: fixnum-bounded-expr.rkt 104:0 (fxquotient -4 -5) -- out of fixnum range -TR opt: fixnum-bounded-expr.rkt 106:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs -TR missed opt: fixnum-bounded-expr.rkt 107:0 (fxabs -4) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 97:5 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 97:17 (+ 301 302) -- fixnum bounded expr +TR missed opt: fixnum-bounded-expr.rkt 97:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 99:5 (+ 300 301) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 99:17 (+ 301 302) -- fixnum bounded expr +TR opt: fixnum-bounded-expr.rkt 99:0 (fx- (+ 300 301) (+ 301 302)) -- fixnum fx- +TR missed opt: fixnum-bounded-expr.rkt 100:0 (fx- (ann 3 Fixnum) (ann 4 Fixnum)) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 102:0 (fx* 4 5) -- fixnum fx* +TR missed opt: fixnum-bounded-expr.rkt 103:0 (fx* 300 300) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 105:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Fixnum)) -- fixnum fxquotient +TR missed opt: fixnum-bounded-expr.rkt 106:0 (fxquotient -4 -5) -- out of fixnum range +TR opt: fixnum-bounded-expr.rkt 108:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs +TR missed opt: fixnum-bounded-expr.rkt 109:0 (fxabs -4) -- out of fixnum range 28 89525 28 diff --git a/collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt b/collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt index 4d73af8862..25e1943163 100644 --- a/collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt +++ b/collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: fixnum-comparison.rkt 12:0 (< (vector-length (quote #(1 2 3))) (string-length "asdf")) -- binary fixnum comp TR opt: fixnum-comparison.rkt 12:3 (vector-length (quote #(1 2 3))) -- vector-length TR opt: fixnum-comparison.rkt 12:29 (string-length "asdf") -- string-length +TR opt: fixnum-comparison.rkt 12:0 (< (vector-length (quote #(1 2 3))) (string-length "asdf")) -- binary fixnum comp #t ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate-top.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate-top.rkt index 8830c1b9fb..3f71075a66 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate-top.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate-top.rkt @@ -1,9 +1,9 @@ #; ( -TR opt: float-complex-conjugate-top.rkt 13:0 (conjugate (+ 1.0+2.0i 2.0+4.0i)) -- unboxed unary float complex -TR opt: float-complex-conjugate-top.rkt 13:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-conjugate-top.rkt 13:14 1.0+2.0i -- unboxed literal TR opt: float-complex-conjugate-top.rkt 13:23 2.0+4.0i -- unboxed literal +TR opt: float-complex-conjugate-top.rkt 13:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-conjugate-top.rkt 13:0 (conjugate (+ 1.0+2.0i 2.0+4.0i)) -- unboxed unary float complex 3.0-6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate.rkt index c6bcb8454a..fd1ce816ce 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-conjugate.rkt @@ -1,10 +1,10 @@ #; ( -TR opt: float-complex-conjugate.rkt 14:0 (+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i)) -- unboxed binary float complex -TR opt: float-complex-conjugate.rkt 14:3 (conjugate 1.0+2.0i) -- unboxed unary float complex TR opt: float-complex-conjugate.rkt 14:14 1.0+2.0i -- unboxed literal -TR opt: float-complex-conjugate.rkt 14:24 (conjugate 2.0+4.0i) -- unboxed unary float complex +TR opt: float-complex-conjugate.rkt 14:3 (conjugate 1.0+2.0i) -- unboxed unary float complex TR opt: float-complex-conjugate.rkt 14:35 2.0+4.0i -- unboxed literal +TR opt: float-complex-conjugate.rkt 14:24 (conjugate 2.0+4.0i) -- unboxed unary float complex +TR opt: float-complex-conjugate.rkt 14:0 (+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i)) -- unboxed binary float complex 3.0-6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-div.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-div.rkt index 659cbcae09..a8f570d1ca 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-div.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-div.rkt @@ -1,9 +1,9 @@ #; ( -TR opt: float-complex-div.rkt 13:0 (/ 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-div.rkt 13:3 1.0+2.0i -- unboxed literal TR opt: float-complex-div.rkt 13:12 2.0+4.0i -- unboxed literal TR opt: float-complex-div.rkt 13:21 3.0+6.0i -- unboxed literal +TR opt: float-complex-div.rkt 13:0 (/ 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex 0.03333333333333333-0.06666666666666667i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-fixnum.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-fixnum.rkt index 93f240a8ab..166c4eac4c 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-fixnum.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-fixnum.rkt @@ -1,10 +1,12 @@ #; ( -TR opt: float-complex-fixnum.rkt 14:0 (+ (modulo 2 1) 1.0+2.0i 3.0+6.0i) -- unboxed binary float complex -TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- float-arg-expr in complex ops -TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- binary nonzero fixnum -TR opt: float-complex-fixnum.rkt 14:16 1.0+2.0i -- unboxed literal -TR opt: float-complex-fixnum.rkt 14:25 3.0+6.0i -- unboxed literal +TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- binary nonzero fixnum +TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- binary nonzero fixnum +TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- binary nonzero fixnum +TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- float-arg-expr in complex ops +TR opt: float-complex-fixnum.rkt 16:16 1.0+2.0i -- unboxed literal +TR opt: float-complex-fixnum.rkt 16:25 3.0+6.0i -- unboxed literal +TR opt: float-complex-fixnum.rkt 16:0 (+ (modulo 2 1) 1.0+2.0i 3.0+6.0i) -- unboxed binary float complex 4.0+8.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-float-div.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-float-div.rkt index d1f12ece5d..53fb2734d8 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-float-div.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-float-div.rkt @@ -1,35 +1,35 @@ #; ( -TR opt: float-complex-float-div.rkt 40:51 (real-part x) -- complex accessor elimination TR opt: float-complex-float-div.rkt 40:62 x -- unbox float-complex -TR opt: float-complex-float-div.rkt 41:51 (imag-part x) -- complex accessor elimination +TR opt: float-complex-float-div.rkt 40:51 (real-part x) -- complex accessor elimination TR opt: float-complex-float-div.rkt 41:62 x -- unbox float-complex -TR opt: float-complex-float-div.rkt 43:6 (/ 1.0 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 41:51 (imag-part x) -- complex accessor elimination TR opt: float-complex-float-div.rkt 43:9 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 43:13 2.0+4.0i -- unboxed literal -TR opt: float-complex-float-div.rkt 44:6 (/ 1.0+2.0i 2.0) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 43:6 (/ 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 44:9 1.0+2.0i -- unboxed literal TR opt: float-complex-float-div.rkt 44:18 2.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-div.rkt 45:6 (/ 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 44:6 (/ 1.0+2.0i 2.0) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 45:9 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 45:13 2.0+4.0i -- unboxed literal TR opt: float-complex-float-div.rkt 45:22 3.0+6.0i -- unboxed literal -TR opt: float-complex-float-div.rkt 46:6 (/ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 45:6 (/ 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 46:9 1.0+2.0i -- unboxed literal TR opt: float-complex-float-div.rkt 46:18 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 46:22 3.0+6.0i -- unboxed literal -TR opt: float-complex-float-div.rkt 47:6 (/ 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 46:6 (/ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 47:9 1.0+2.0i -- unboxed literal TR opt: float-complex-float-div.rkt 47:18 2.0+4.0i -- unboxed literal TR opt: float-complex-float-div.rkt 47:27 3.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-div.rkt 48:6 (/ 1.0+2.0i 2.0 3.0) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 47:6 (/ 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 48:9 1.0+2.0i -- unboxed literal TR opt: float-complex-float-div.rkt 48:18 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 48:22 3.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-div.rkt 49:6 (/ 1.0 2.0 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float-div.rkt 48:6 (/ 1.0+2.0i 2.0 3.0) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 49:9 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 49:13 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 49:17 3.0+6.0i -- unboxed literal +TR opt: float-complex-float-div.rkt 49:6 (/ 1.0 2.0 3.0+6.0i) -- unboxed binary float complex '("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-racket/optimizer/tests/float-complex-float-mul.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-float-mul.rkt index c66825df1a..436db6ad82 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-float-mul.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-float-mul.rkt @@ -1,27 +1,27 @@ #; ( -TR opt: float-complex-float-mul.rkt 36:0 (* 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 36:3 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 36:7 2.0+4.0i -- unboxed literal -TR opt: float-complex-float-mul.rkt 37:0 (* 1.0+2.0i 2.0) -- unboxed binary float complex +TR opt: float-complex-float-mul.rkt 36:0 (* 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 37:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 37:12 2.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-mul.rkt 38:0 (* 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float-mul.rkt 37:0 (* 1.0+2.0i 2.0) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 38:3 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 38:7 2.0+4.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 38:16 3.0+6.0i -- unboxed literal -TR opt: float-complex-float-mul.rkt 39:0 (* 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float-mul.rkt 38:0 (* 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 39:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 39:12 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 39:16 3.0+6.0i -- unboxed literal -TR opt: float-complex-float-mul.rkt 40:0 (* 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex +TR opt: float-complex-float-mul.rkt 39:0 (* 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 40:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 40:12 2.0+4.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 40:21 3.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-mul.rkt 41:0 (* 1.0+2.0i 2.0 3.0) -- unboxed binary float complex +TR opt: float-complex-float-mul.rkt 40:0 (* 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 41:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 41:12 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 41:16 3.0 -- float-arg-expr in complex ops +TR opt: float-complex-float-mul.rkt 41:0 (* 1.0+2.0i 2.0 3.0) -- unboxed binary float complex 2.0+4.0i 2.0+4.0i -18.0+24.0i diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-float-small.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-float-small.rkt index c0fc52efde..6d4fc77997 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-float-small.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-float-small.rkt @@ -1,23 +1,23 @@ #; ( -TR opt: float-complex-float-small.rkt 31:0 (+ 1.0+2.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float-small.rkt 31:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-small.rkt 31:12 3.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-small.rkt 32:0 (+ 1.0 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-float-small.rkt 31:0 (+ 1.0+2.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float-small.rkt 32:3 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-small.rkt 32:7 2.0+4.0i -- unboxed literal -TR opt: float-complex-float-small.rkt 33:0 (- 1.0+2.0i 3.0) -- unboxed binary float complex +TR opt: float-complex-float-small.rkt 32:0 (+ 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-small.rkt 33:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-small.rkt 33:12 3.0 -- float-arg-expr in complex ops -TR opt: float-complex-float-small.rkt 34:0 (- 1.0 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-float-small.rkt 33:0 (- 1.0+2.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float-small.rkt 34:3 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-small.rkt 34:7 2.0+4.0i -- unboxed literal -TR opt: float-complex-float-small.rkt 35:0 (+ 1.0+2.0i (+ 1.0 2.0)) -- unboxed binary float complex +TR opt: float-complex-float-small.rkt 34:0 (- 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-small.rkt 35:3 1.0+2.0i -- unboxed literal -TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- float-arg-expr in complex ops -TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- binary float TR opt: float-complex-float-small.rkt 35:15 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-small.rkt 35:19 2.0 -- float-arg-expr in complex ops +TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- binary float +TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- float-arg-expr in complex ops +TR opt: float-complex-float-small.rkt 35:0 (+ 1.0+2.0i (+ 1.0 2.0)) -- unboxed binary float complex 4.0+2.0i 3.0+4.0i -2.0+2.0i diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-float.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-float.rkt index beb0064501..95cb85d6fb 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-float.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-float.rkt @@ -1,21 +1,21 @@ #; ( -TR opt: float-complex-float.rkt 28:0 (+ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float.rkt 28:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float.rkt 28:12 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float.rkt 28:16 3.0+6.0i -- unboxed literal -TR opt: float-complex-float.rkt 29:0 (- 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float.rkt 28:0 (+ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float.rkt 29:3 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float.rkt 29:7 2.0+4.0i -- unboxed literal TR opt: float-complex-float.rkt 29:16 3.0+6.0i -- unboxed literal -TR opt: float-complex-float.rkt 30:0 (- 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-float.rkt 29:0 (- 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float.rkt 30:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float.rkt 30:12 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float.rkt 30:16 3.0+6.0i -- unboxed literal -TR opt: float-complex-float.rkt 31:0 (- 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex +TR opt: float-complex-float.rkt 30:0 (- 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float.rkt 31:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float.rkt 31:12 2.0+4.0i -- unboxed literal TR opt: float-complex-float.rkt 31:21 3.0 -- float-arg-expr in complex ops +TR opt: float-complex-float.rkt 31:0 (- 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex 6.0+8.0i -4.0-10.0i -4.0-4.0i diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-i.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-i.rkt index edfef83388..fa76dae777 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-i.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-i.rkt @@ -1,10 +1,10 @@ #; ( -TR opt: float-complex-i.rkt 14:0 (+ 1.0+2.0i (* 0+1.0i 2.0+4.0i)) -- unboxed binary float complex TR opt: float-complex-i.rkt 14:3 1.0+2.0i -- unboxed literal -TR opt: float-complex-i.rkt 14:12 (* 0+1.0i 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-i.rkt 14:15 0+1.0i -- unboxed literal TR opt: float-complex-i.rkt 14:21 2.0+4.0i -- unboxed literal +TR opt: float-complex-i.rkt 14:12 (* 0+1.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-i.rkt 14:0 (+ 1.0+2.0i (* 0+1.0i 2.0+4.0i)) -- unboxed binary float complex -3.0+4.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-integer.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-integer.rkt index 75015745bb..22535e954c 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-integer.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-integer.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: float-complex-integer.rkt 12:0 (+ (expt 2 100) 1.0+2.0i) -- unboxed binary float complex TR opt: float-complex-integer.rkt 12:3 (expt 2 100) -- float-arg-expr in complex ops TR opt: float-complex-integer.rkt 12:16 1.0+2.0i -- unboxed literal +TR opt: float-complex-integer.rkt 12:0 (+ (expt 2 100) 1.0+2.0i) -- unboxed binary float complex 1.2676506002282294e+30+2.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-mult.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-mult.rkt index 862d80f51e..18d9c4398a 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-mult.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-mult.rkt @@ -1,9 +1,9 @@ #; ( -TR opt: float-complex-mult.rkt 13:0 (* 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-mult.rkt 13:3 1.0+2.0i -- unboxed literal TR opt: float-complex-mult.rkt 13:12 2.0+4.0i -- unboxed literal TR opt: float-complex-mult.rkt 13:21 3.0+6.0i -- unboxed literal +TR opt: float-complex-mult.rkt 13:0 (* 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex -66.0-12.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-parts.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-parts.rkt index 7f97d178dc..41425d400a 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-parts.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-parts.rkt @@ -1,11 +1,11 @@ #; ( -TR opt: float-complex-parts.rkt 17:0 (real-part 1.0+2.0i) -- complex accessor elimination TR opt: float-complex-parts.rkt 17:11 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts.rkt 18:0 (imag-part 1.0+2.0i) -- complex accessor elimination +TR opt: float-complex-parts.rkt 17:0 (real-part 1.0+2.0i) -- complex accessor elimination TR opt: float-complex-parts.rkt 18:11 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts.rkt 19:0 (real-part 1.0+2.0i) -- complex accessor elimination +TR opt: float-complex-parts.rkt 18:0 (imag-part 1.0+2.0i) -- complex accessor elimination TR opt: float-complex-parts.rkt 19:11 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts.rkt 19:0 (real-part 1.0+2.0i) -- complex accessor elimination 1.0 2.0 1.0 diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-parts2.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-parts2.rkt index 011b9e4bcd..6c458dc10b 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-parts2.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-parts2.rkt @@ -1,21 +1,33 @@ #; ( -TR opt: float-complex-parts2.rkt 30:0 (real-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination -TR opt: float-complex-parts2.rkt 30:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: float-complex-parts2.rkt 30:14 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 30:23 2.0+4.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 31:0 (unsafe-flreal-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination -TR opt: float-complex-parts2.rkt 31:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: float-complex-parts2.rkt 31:23 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 31:32 2.0+4.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 32:0 (imag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination -TR opt: float-complex-parts2.rkt 32:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: float-complex-parts2.rkt 32:14 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 32:23 2.0+4.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 33:0 (unsafe-flimag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination -TR opt: float-complex-parts2.rkt 33:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: float-complex-parts2.rkt 33:23 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts2.rkt 33:32 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 42:14 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 42:23 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 42:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 42:14 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 42:23 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 42:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 42:0 (real-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination +TR opt: float-complex-parts2.rkt 43:23 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 43:32 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 43:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 43:23 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 43:32 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 43:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 43:0 (unsafe-flreal-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination +TR opt: float-complex-parts2.rkt 44:14 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 44:23 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 44:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 44:14 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 44:23 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 44:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 44:0 (imag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination +TR opt: float-complex-parts2.rkt 45:23 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 45:32 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 45:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 45:23 1.0+2.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 45:32 2.0+4.0i -- unboxed literal +TR opt: float-complex-parts2.rkt 45:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex-parts2.rkt 45:0 (unsafe-flimag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination 3.0 3.0 6.0 diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-parts3.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-parts3.rkt index 85e197e16f..f95661457c 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-parts3.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-parts3.rkt @@ -1,29 +1,29 @@ #; ( -TR opt: float-complex-parts3.rkt 38:0 (+ 1.0+2.0i (real-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 38:3 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 38:12 (real-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex -TR opt: float-complex-parts3.rkt 38:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 38:26 2.0+4.0i -- unboxed literal TR opt: float-complex-parts3.rkt 38:35 3.0+6.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 39:0 (+ 1.0+2.0i (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 38:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 38:12 (real-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex +TR opt: float-complex-parts3.rkt 38:0 (+ 1.0+2.0i (real-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 39:3 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 39:12 (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex -TR opt: float-complex-parts3.rkt 39:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 39:35 2.0+4.0i -- unboxed literal TR opt: float-complex-parts3.rkt 39:44 3.0+6.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 40:0 (+ 1.0+2.0i (imag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 39:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 39:12 (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex +TR opt: float-complex-parts3.rkt 39:0 (+ 1.0+2.0i (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 40:3 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 40:12 (imag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex -TR opt: float-complex-parts3.rkt 40:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 40:26 2.0+4.0i -- unboxed literal TR opt: float-complex-parts3.rkt 40:35 3.0+6.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 41:0 (+ 1.0+2.0i (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 40:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 40:12 (imag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex +TR opt: float-complex-parts3.rkt 40:0 (+ 1.0+2.0i (imag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 41:3 1.0+2.0i -- unboxed literal -TR opt: float-complex-parts3.rkt 41:12 (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex -TR opt: float-complex-parts3.rkt 41:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-parts3.rkt 41:35 2.0+4.0i -- unboxed literal TR opt: float-complex-parts3.rkt 41:44 3.0+6.0i -- unboxed literal +TR opt: float-complex-parts3.rkt 41:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: float-complex-parts3.rkt 41:12 (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex +TR opt: float-complex-parts3.rkt 41:0 (+ 1.0+2.0i (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex 6.0+2.0i 6.0+2.0i 11.0+2.0i diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex-sin.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex-sin.rkt index a5dc02fd96..b58c9e44ba 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex-sin.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex-sin.rkt @@ -1,9 +1,10 @@ #; ( -TR opt: float-complex-sin.rkt 14:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex -TR opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- float-arg-expr in complex ops -TR missed opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 14:21 t (2 times) -TR opt: float-complex-sin.rkt 14:30 0.0+0.0i -- unboxed literal +TR opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- float-arg-expr in complex ops +TR opt: float-complex-sin.rkt 15:30 0.0+0.0i -- unboxed literal +TR opt: float-complex-sin.rkt 15:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex +TR missed opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 15:21 t (2 times) +TR missed opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 15:21 t (2 times) -0.0031853017931379904+0.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-complex.rkt b/collects/tests/typed-racket/optimizer/tests/float-complex.rkt index 90e1ebde8f..7909364cab 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-complex.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-complex.rkt @@ -1,11 +1,11 @@ #; ( -TR opt: float-complex.rkt 16:0 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex.rkt 16:3 1.0+2.0i -- unboxed literal TR opt: float-complex.rkt 16:12 2.0+4.0i -- unboxed literal -TR opt: float-complex.rkt 17:0 (- 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: float-complex.rkt 16:0 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex.rkt 17:3 1.0+2.0i -- unboxed literal TR opt: float-complex.rkt 17:12 2.0+4.0i -- unboxed literal +TR opt: float-complex.rkt 17:0 (- 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex 3.0+6.0i -1.0-2.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/float-promotion.rkt b/collects/tests/typed-racket/optimizer/tests/float-promotion.rkt index 01c5089fa2..0bc6302765 100644 --- a/collects/tests/typed-racket/optimizer/tests/float-promotion.rkt +++ b/collects/tests/typed-racket/optimizer/tests/float-promotion.rkt @@ -1,8 +1,9 @@ #; ( -TR opt: float-promotion.rkt 13:0 (+ (modulo 1 1) 2.0) -- binary float -TR opt: float-promotion.rkt 13:3 (modulo 1 1) -- binary nonzero fixnum -TR opt: float-promotion.rkt 14:0 (+ (expt 100 100) 2.0) -- binary float +TR opt: float-promotion.rkt 14:3 (modulo 1 1) -- binary nonzero fixnum +TR opt: float-promotion.rkt 14:3 (modulo 1 1) -- binary nonzero fixnum +TR opt: float-promotion.rkt 14:0 (+ (modulo 1 1) 2.0) -- binary float +TR opt: float-promotion.rkt 15:0 (+ (expt 100 100) 2.0) -- binary float 2.0 1e+200 ) diff --git a/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let.rkt b/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let.rkt index ce3d049cf9..82ab482bb1 100644 --- a/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let.rkt +++ b/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let.rkt @@ -1,17 +1,24 @@ #; ( -TR opt: invalid-unboxed-let.rkt 20:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i)) (t3 1.0+2.0i) (t4 1)) (display (+ t1 t1)) (display t2) (display t3) (display t4)) -- unboxed let bindings -TR opt: invalid-unboxed-let.rkt 20:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: invalid-unboxed-let.rkt 20:13 1.0+2.0i -- unboxed literal -TR opt: invalid-unboxed-let.rkt 20:22 2.0+4.0i -- unboxed literal -TR opt: invalid-unboxed-let.rkt 21:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex -TR opt: invalid-unboxed-let.rkt 21:13 3.0+6.0i -- unboxed literal -TR opt: invalid-unboxed-let.rkt 21:22 4.0+8.0i -- unboxed literal -TR opt: invalid-unboxed-let.rkt 24:11 (+ t1 t1) -- unboxed binary float complex -TR opt: invalid-unboxed-let.rkt 24:14 t1 -- leave var unboxed -TR opt: invalid-unboxed-let.rkt 24:14 t1 -- unbox float-complex -TR opt: invalid-unboxed-let.rkt 24:17 t1 -- leave var unboxed -TR opt: invalid-unboxed-let.rkt 24:17 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex +TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex +TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex +TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex +TR opt: invalid-unboxed-let.rkt 27:13 1.0+2.0i -- unboxed literal +TR opt: invalid-unboxed-let.rkt 27:22 2.0+4.0i -- unboxed literal +TR opt: invalid-unboxed-let.rkt 27:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: invalid-unboxed-let.rkt 28:13 3.0+6.0i -- unboxed literal +TR opt: invalid-unboxed-let.rkt 28:22 4.0+8.0i -- unboxed literal +TR opt: invalid-unboxed-let.rkt 28:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex +TR opt: invalid-unboxed-let.rkt 27:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i)) (t3 1.0+2.0i) (t4 1)) (display (+ t1 t1)) (display t2) (display t3) (display t4)) -- unboxed let bindings +TR opt: invalid-unboxed-let.rkt 31:14 t1 -- leave var unboxed +TR opt: invalid-unboxed-let.rkt 31:17 t1 -- leave var unboxed +TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex 6.0+12.0i7.0+14.0i1.0+2.0i1) #lang typed/scheme diff --git a/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let2.rkt b/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let2.rkt index 6f3ef64a10..74b49c5638 100644 --- a/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let2.rkt +++ b/collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let2.rkt @@ -1,14 +1,14 @@ #; ( -TR opt: invalid-unboxed-let2.rkt 21:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: invalid-unboxed-let2.rkt 21:33 1.0+2.0i -- unboxed literal TR opt: invalid-unboxed-let2.rkt 21:42 2.0+4.0i -- unboxed literal -TR opt: invalid-unboxed-let2.rkt 21:52 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex +TR opt: invalid-unboxed-let2.rkt 21:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: invalid-unboxed-let2.rkt 21:55 3.0+6.0i -- unboxed literal TR opt: invalid-unboxed-let2.rkt 21:64 4.0+8.0i -- unboxed literal -TR opt: invalid-unboxed-let2.rkt 22:2 (+ t1 t2) -- unboxed binary float complex +TR opt: invalid-unboxed-let2.rkt 21:52 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex TR opt: invalid-unboxed-let2.rkt 22:5 t1 -- unbox float-complex TR opt: invalid-unboxed-let2.rkt 22:8 t2 -- unbox float-complex +TR opt: invalid-unboxed-let2.rkt 22:2 (+ t1 t2) -- unboxed binary float complex 10.0+20.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/known-vector-length.rkt b/collects/tests/typed-racket/optimizer/tests/known-vector-length.rkt index eb84849287..d56d60dd28 100644 --- a/collects/tests/typed-racket/optimizer/tests/known-vector-length.rkt +++ b/collects/tests/typed-racket/optimizer/tests/known-vector-length.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: known-vector-length.rkt 11:0 (+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))) -- fixnum bounded expr TR opt: known-vector-length.rkt 11:5 (vector-length (ann (vector 1 2) (Vector Integer Integer))) -- known-length vector-length +TR opt: known-vector-length.rkt 11:0 (+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))) -- fixnum bounded expr 4 ) diff --git a/collects/tests/typed-racket/optimizer/tests/magnitude.rkt b/collects/tests/typed-racket/optimizer/tests/magnitude.rkt index 40ed53254b..0ad676e801 100644 --- a/collects/tests/typed-racket/optimizer/tests/magnitude.rkt +++ b/collects/tests/typed-racket/optimizer/tests/magnitude.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: magnitude.rkt 13:0 (magnitude 3.0+4.0i) -- unboxed unary float complex TR opt: magnitude.rkt 13:11 3.0+4.0i -- unboxed literal +TR opt: magnitude.rkt 13:0 (magnitude 3.0+4.0i) -- unboxed unary float complex 5.0 ) diff --git a/collects/tests/typed-racket/optimizer/tests/make-polar.rkt b/collects/tests/typed-racket/optimizer/tests/make-polar.rkt index 845cc3aa89..34c606ce4e 100644 --- a/collects/tests/typed-racket/optimizer/tests/make-polar.rkt +++ b/collects/tests/typed-racket/optimizer/tests/make-polar.rkt @@ -1,19 +1,19 @@ #; ( -TR opt: make-polar.rkt 27:6 (make-polar 1.0 1.0) -- make-polar TR opt: make-polar.rkt 27:6 (make-polar 1.0 1.0) -- make-rectangular elimination -TR opt: make-polar.rkt 30:0 (let ((p (+ 1.0+2.0i (make-polar 2.0 4.0)))) (string-append (real->decimal-string (real-part p) 3) (real->decimal-string (imag-part p) 3))) -- unboxed let bindings -TR opt: make-polar.rkt 30:9 (+ 1.0+2.0i (make-polar 2.0 4.0)) -- unboxed binary float complex +TR opt: make-polar.rkt 27:6 (make-polar 1.0 1.0) -- make-polar +TR opt: make-polar.rkt 31:50 p -- unbox float-complex +TR opt: make-polar.rkt 31:39 (real-part p) -- unboxed unary float complex TR opt: make-polar.rkt 30:12 1.0+2.0i -- unboxed literal TR opt: make-polar.rkt 30:21 (make-polar 2.0 4.0) -- make-rectangular elimination -TR opt: make-polar.rkt 31:39 (real-part p) -- complex accessor elimination -TR opt: make-polar.rkt 31:39 (real-part p) -- unboxed unary float complex -TR opt: make-polar.rkt 31:50 p -- leave var unboxed +TR opt: make-polar.rkt 30:9 (+ 1.0+2.0i (make-polar 2.0 4.0)) -- unboxed binary float complex +TR opt: make-polar.rkt 30:0 (let ((p (+ 1.0+2.0i (make-polar 2.0 4.0)))) (string-append (real->decimal-string (real-part p) 3) (real->decimal-string (imag-part p) 3))) -- unboxed let bindings TR opt: make-polar.rkt 31:50 p -- unboxed complex variable -TR opt: make-polar.rkt 31:50 p -- unbox float-complex -TR opt: make-polar.rkt 32:39 (imag-part p) -- complex accessor elimination -TR opt: make-polar.rkt 32:50 p -- leave var unboxed +TR opt: make-polar.rkt 31:50 p -- leave var unboxed +TR opt: make-polar.rkt 31:39 (real-part p) -- complex accessor elimination TR opt: make-polar.rkt 32:50 p -- unboxed complex variable +TR opt: make-polar.rkt 32:50 p -- leave var unboxed +TR opt: make-polar.rkt 32:39 (imag-part p) -- complex accessor elimination "-0.3070.486" ) diff --git a/collects/tests/typed-racket/optimizer/tests/maybe-exact-complex.rkt b/collects/tests/typed-racket/optimizer/tests/maybe-exact-complex.rkt index df1b53df8a..cd5d9b23a4 100644 --- a/collects/tests/typed-racket/optimizer/tests/maybe-exact-complex.rkt +++ b/collects/tests/typed-racket/optimizer/tests/maybe-exact-complex.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: maybe-exact-complex.rkt 14:0 (+ 1.0+2.0i 2+4i) -- unboxed binary float complex TR opt: maybe-exact-complex.rkt 14:3 1.0+2.0i -- unboxed literal TR opt: maybe-exact-complex.rkt 14:12 2+4i -- unboxed literal +TR opt: maybe-exact-complex.rkt 14:0 (+ 1.0+2.0i 2+4i) -- unboxed binary float complex 3.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/multi-flcomp.rkt b/collects/tests/typed-racket/optimizer/tests/multi-flcomp.rkt index e4c05dce86..24cb510154 100644 --- a/collects/tests/typed-racket/optimizer/tests/multi-flcomp.rkt +++ b/collects/tests/typed-racket/optimizer/tests/multi-flcomp.rkt @@ -2,10 +2,10 @@ ( TR opt: multi-flcomp.rkt 18:0 (<= 1.0 2.0 3.0) -- multi float comp TR opt: multi-flcomp.rkt 20:0 (<= 1.0 2.0 3.0 4.0) -- multi float comp -TR opt: multi-flcomp.rkt 21:0 (<= 1.0 2.0 3.0 (+ 2.0 2.0)) -- multi float comp TR opt: multi-flcomp.rkt 21:16 (+ 2.0 2.0) -- binary float -TR opt: multi-flcomp.rkt 22:0 (<= 1.0 2.0 (+ 2.0 2.0) 3.0) -- multi float comp +TR opt: multi-flcomp.rkt 21:0 (<= 1.0 2.0 3.0 (+ 2.0 2.0)) -- multi float comp TR opt: multi-flcomp.rkt 22:12 (+ 2.0 2.0) -- binary float +TR opt: multi-flcomp.rkt 22:0 (<= 1.0 2.0 (+ 2.0 2.0) 3.0) -- multi float comp #t #t #t diff --git a/collects/tests/typed-racket/optimizer/tests/n-ary-float-complex.rkt b/collects/tests/typed-racket/optimizer/tests/n-ary-float-complex.rkt index 3419ba7b87..01812b689e 100644 --- a/collects/tests/typed-racket/optimizer/tests/n-ary-float-complex.rkt +++ b/collects/tests/typed-racket/optimizer/tests/n-ary-float-complex.rkt @@ -1,10 +1,10 @@ #; ( -TR opt: n-ary-float-complex.rkt 14:0 (+ 1.0+2.0i 2.0+4.0i 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex TR opt: n-ary-float-complex.rkt 14:3 1.0+2.0i -- unboxed literal TR opt: n-ary-float-complex.rkt 14:12 2.0+4.0i -- unboxed literal TR opt: n-ary-float-complex.rkt 14:21 3.0+6.0i -- unboxed literal TR opt: n-ary-float-complex.rkt 14:30 4.0+8.0i -- unboxed literal +TR opt: n-ary-float-complex.rkt 14:0 (+ 1.0+2.0i 2.0+4.0i 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex 10.0+20.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/nested-float-complex.rkt b/collects/tests/typed-racket/optimizer/tests/nested-float-complex.rkt index 2800fbe738..d27e6fb027 100644 --- a/collects/tests/typed-racket/optimizer/tests/nested-float-complex.rkt +++ b/collects/tests/typed-racket/optimizer/tests/nested-float-complex.rkt @@ -1,10 +1,10 @@ #; ( -TR opt: nested-float-complex.rkt 14:0 (+ 1.0+2.0i (- 2.0+4.0i 3.0+6.0i)) -- unboxed binary float complex TR opt: nested-float-complex.rkt 14:3 1.0+2.0i -- unboxed literal -TR opt: nested-float-complex.rkt 14:12 (- 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex TR opt: nested-float-complex.rkt 14:15 2.0+4.0i -- unboxed literal TR opt: nested-float-complex.rkt 14:24 3.0+6.0i -- unboxed literal +TR opt: nested-float-complex.rkt 14:12 (- 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: nested-float-complex.rkt 14:0 (+ 1.0+2.0i (- 2.0+4.0i 3.0+6.0i)) -- unboxed binary float complex 0.0+0.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/nested-float.rkt b/collects/tests/typed-racket/optimizer/tests/nested-float.rkt index ea6de6b83b..eeaad5839c 100644 --- a/collects/tests/typed-racket/optimizer/tests/nested-float.rkt +++ b/collects/tests/typed-racket/optimizer/tests/nested-float.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: nested-float.rkt 11:0 (+ 2.0 (+ 3.0 4.0)) -- binary float TR opt: nested-float.rkt 11:7 (+ 3.0 4.0) -- binary float +TR opt: nested-float.rkt 11:0 (+ 2.0 (+ 3.0 4.0)) -- binary float 9.0 ) diff --git a/collects/tests/typed-racket/optimizer/tests/nested-float2.rkt b/collects/tests/typed-racket/optimizer/tests/nested-float2.rkt index 830df16322..26e483ad23 100644 --- a/collects/tests/typed-racket/optimizer/tests/nested-float2.rkt +++ b/collects/tests/typed-racket/optimizer/tests/nested-float2.rkt @@ -1,7 +1,7 @@ #; ( -TR opt: nested-float2.rkt 11:0 (+ 2.0 (* 3.0 4.0)) -- binary float TR opt: nested-float2.rkt 11:7 (* 3.0 4.0) -- binary float +TR opt: nested-float2.rkt 11:0 (+ 2.0 (* 3.0 4.0)) -- binary float 14.0 ) diff --git a/collects/tests/typed-racket/optimizer/tests/nested-let-loop.rkt b/collects/tests/typed-racket/optimizer/tests/nested-let-loop.rkt index 6169996e75..c2aedaaa43 100644 --- a/collects/tests/typed-racket/optimizer/tests/nested-let-loop.rkt +++ b/collects/tests/typed-racket/optimizer/tests/nested-let-loop.rkt @@ -1,33 +1,37 @@ #; ( -TR opt: nested-let-loop.rkt 37:0 (let: loop1 : Float-Complex ((x : (Listof Float-Complex) (quote (1.0+2.0i 2.0+4.0i))) (r : Float-Complex 0.0+0.0i)) (if (null? x) r (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))))) -- unboxed call site -TR opt: nested-let-loop.rkt 37:6 loop1 -- unboxed let loop -TR opt: nested-let-loop.rkt 37:6 loop1 -- fun -> unboxed fun -TR opt: nested-let-loop.rkt 39:8 r -- unboxed var -> table -TR opt: nested-let-loop.rkt 39:28 0.0+0.0i -- unboxed literal -TR opt: nested-let-loop.rkt 41:10 r -- unboxed complex variable -TR opt: nested-let-loop.rkt 42:10 (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))) -- unboxed call site -TR opt: nested-let-loop.rkt 42:16 loop2 -- unboxed let loop -TR opt: nested-let-loop.rkt 42:16 loop2 -- fun -> unboxed fun -TR opt: nested-let-loop.rkt 44:18 s -- unboxed var -> table -TR opt: nested-let-loop.rkt 44:38 0.0+0.0i -- unboxed literal -TR opt: nested-let-loop.rkt 46:20 (loop1 (cdr x) (+ r s)) -- call to fun with unboxed args -TR opt: nested-let-loop.rkt 46:20 (loop1 (cdr x) (+ r s)) -- unboxed call site -TR opt: nested-let-loop.rkt 46:27 (cdr x) -- pair -TR opt: nested-let-loop.rkt 46:35 (+ r s) -- unboxed binary float complex -TR opt: nested-let-loop.rkt 46:38 r -- leave var unboxed -TR opt: nested-let-loop.rkt 46:38 r -- unbox float-complex -TR opt: nested-let-loop.rkt 46:40 s -- leave var unboxed -TR opt: nested-let-loop.rkt 46:40 s -- unbox float-complex -TR opt: nested-let-loop.rkt 47:20 (loop2 (cdr y) (+ s (car x) (car y))) -- call to fun with unboxed args -TR opt: nested-let-loop.rkt 47:20 (loop2 (cdr y) (+ s (car x) (car y))) -- unboxed call site -TR opt: nested-let-loop.rkt 47:27 (cdr y) -- pair -TR opt: nested-let-loop.rkt 47:35 (+ s (car x) (car y)) -- unboxed binary float complex -TR opt: nested-let-loop.rkt 47:38 s -- leave var unboxed -TR opt: nested-let-loop.rkt 47:40 (car x) -- unbox float-complex -TR opt: nested-let-loop.rkt 47:40 (car x) -- pair -TR opt: nested-let-loop.rkt 47:48 (car y) -- unbox float-complex -TR opt: nested-let-loop.rkt 47:48 (car y) -- pair +TR opt: nested-let-loop.rkt 50:38 r -- unbox float-complex +TR opt: nested-let-loop.rkt 50:40 s -- unbox float-complex +TR opt: nested-let-loop.rkt 50:35 (+ r s) -- unboxed binary float complex +TR opt: nested-let-loop.rkt 43:8 r -- unboxed var -> table +TR opt: nested-let-loop.rkt 41:6 loop1 -- fun -> unboxed fun +TR opt: nested-let-loop.rkt 45:10 r -- unboxed complex variable +TR opt: nested-let-loop.rkt 50:38 r -- leave var unboxed +TR opt: nested-let-loop.rkt 50:40 s -- unbox float-complex +TR opt: nested-let-loop.rkt 50:35 (+ r s) -- unboxed binary float complex +TR opt: nested-let-loop.rkt 48:18 s -- unboxed var -> table +TR opt: nested-let-loop.rkt 46:16 loop2 -- fun -> unboxed fun +TR opt: nested-let-loop.rkt 50:38 r -- leave var unboxed +TR opt: nested-let-loop.rkt 50:40 s -- leave var unboxed +TR opt: nested-let-loop.rkt 50:35 (+ r s) -- unboxed binary float complex +TR opt: nested-let-loop.rkt 50:20 (loop1 (cdr x) (+ r s)) -- unboxed call site +TR opt: nested-let-loop.rkt 50:27 (cdr x) -- pair +TR opt: nested-let-loop.rkt 50:20 (loop1 (cdr x) (+ r s)) -- call to fun with unboxed args +TR opt: nested-let-loop.rkt 51:38 s -- leave var unboxed +TR opt: nested-let-loop.rkt 51:40 (car x) -- unbox float-complex +TR opt: nested-let-loop.rkt 51:40 (car x) -- pair +TR opt: nested-let-loop.rkt 51:48 (car y) -- unbox float-complex +TR opt: nested-let-loop.rkt 51:48 (car y) -- pair +TR opt: nested-let-loop.rkt 51:35 (+ s (car x) (car y)) -- unboxed binary float complex +TR opt: nested-let-loop.rkt 51:20 (loop2 (cdr y) (+ s (car x) (car y))) -- unboxed call site +TR opt: nested-let-loop.rkt 51:27 (cdr y) -- pair +TR opt: nested-let-loop.rkt 51:20 (loop2 (cdr y) (+ s (car x) (car y))) -- call to fun with unboxed args +TR opt: nested-let-loop.rkt 48:38 0.0+0.0i -- unboxed literal +TR opt: nested-let-loop.rkt 46:10 (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))) -- unboxed call site +TR opt: nested-let-loop.rkt 46:16 loop2 -- unboxed let loop +TR opt: nested-let-loop.rkt 43:28 0.0+0.0i -- unboxed literal +TR opt: nested-let-loop.rkt 41:0 (let: loop1 : Float-Complex ((x : (Listof Float-Complex) (quote (1.0+2.0i 2.0+4.0i))) (r : Float-Complex 0.0+0.0i)) (if (null? x) r (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))))) -- unboxed call site +TR opt: nested-let-loop.rkt 41:6 loop1 -- unboxed let loop 20.0+40.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/nested-unboxed-let.rkt b/collects/tests/typed-racket/optimizer/tests/nested-unboxed-let.rkt index 19a87be830..5373a61b32 100644 --- a/collects/tests/typed-racket/optimizer/tests/nested-unboxed-let.rkt +++ b/collects/tests/typed-racket/optimizer/tests/nested-unboxed-let.rkt @@ -1,18 +1,22 @@ #; ( -TR opt: nested-unboxed-let.rkt 22:0 (let ((x (+ 1.0+2.0i 2.0+3.0i))) (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i))) -- unboxed let bindings -TR opt: nested-unboxed-let.rkt 22:9 (+ 1.0+2.0i 2.0+3.0i) -- unboxed binary float complex -TR opt: nested-unboxed-let.rkt 22:12 1.0+2.0i -- unboxed literal -TR opt: nested-unboxed-let.rkt 22:21 2.0+3.0i -- unboxed literal -TR opt: nested-unboxed-let.rkt 23:2 (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i)) -- unboxed let bindings -TR opt: nested-unboxed-let.rkt 23:11 (+ x 2.0+3.0i) -- unboxed binary float complex -TR opt: nested-unboxed-let.rkt 23:14 x -- leave var unboxed -TR opt: nested-unboxed-let.rkt 23:14 x -- unbox float-complex -TR opt: nested-unboxed-let.rkt 23:16 2.0+3.0i -- unboxed literal -TR opt: nested-unboxed-let.rkt 24:4 (+ x 3.0+6.0i) -- unboxed binary float complex -TR opt: nested-unboxed-let.rkt 24:7 x -- leave var unboxed -TR opt: nested-unboxed-let.rkt 24:7 x -- unbox float-complex -TR opt: nested-unboxed-let.rkt 24:9 3.0+6.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 27:14 x -- unbox float-complex +TR opt: nested-unboxed-let.rkt 27:16 2.0+3.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 27:11 (+ x 2.0+3.0i) -- unboxed binary float complex +TR opt: nested-unboxed-let.rkt 26:12 1.0+2.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 26:21 2.0+3.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 26:9 (+ 1.0+2.0i 2.0+3.0i) -- unboxed binary float complex +TR opt: nested-unboxed-let.rkt 26:0 (let ((x (+ 1.0+2.0i 2.0+3.0i))) (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i))) -- unboxed let bindings +TR opt: nested-unboxed-let.rkt 28:7 x -- unbox float-complex +TR opt: nested-unboxed-let.rkt 28:9 3.0+6.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 28:4 (+ x 3.0+6.0i) -- unboxed binary float complex +TR opt: nested-unboxed-let.rkt 27:14 x -- leave var unboxed +TR opt: nested-unboxed-let.rkt 27:16 2.0+3.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 27:11 (+ x 2.0+3.0i) -- unboxed binary float complex +TR opt: nested-unboxed-let.rkt 27:2 (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i)) -- unboxed let bindings +TR opt: nested-unboxed-let.rkt 28:7 x -- leave var unboxed +TR opt: nested-unboxed-let.rkt 28:9 3.0+6.0i -- unboxed literal +TR opt: nested-unboxed-let.rkt 28:4 (+ x 3.0+6.0i) -- unboxed binary float complex 8.0+14.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/real-part-loop.rkt b/collects/tests/typed-racket/optimizer/tests/real-part-loop.rkt index ab763b1db0..2db45aac27 100644 --- a/collects/tests/typed-racket/optimizer/tests/real-part-loop.rkt +++ b/collects/tests/typed-racket/optimizer/tests/real-part-loop.rkt @@ -1,21 +1,21 @@ #; ( -TR opt: real-part-loop.rkt 28:1 (let loop ((v 0.0+1.0i)) (if (> (real-part v) 70000.2) 0 (loop (+ v 3.6)))) -- unboxed call site -TR opt: real-part-loop.rkt 28:6 loop -- unboxed let loop -TR opt: real-part-loop.rkt 28:6 loop -- fun -> unboxed fun -TR opt: real-part-loop.rkt 28:13 v -- unboxed var -> table -TR opt: real-part-loop.rkt 28:15 0.0+1.0i -- unboxed literal -TR opt: real-part-loop.rkt 29:6 (> (real-part v) 70000.2) -- binary float comp -TR opt: real-part-loop.rkt 29:9 (real-part v) -- complex accessor elimination -TR opt: real-part-loop.rkt 29:9 (real-part v) -- unboxed unary float complex -TR opt: real-part-loop.rkt 29:20 v -- leave var unboxed -TR opt: real-part-loop.rkt 29:20 v -- unboxed complex variable TR opt: real-part-loop.rkt 29:20 v -- unbox float-complex -TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- call to fun with unboxed args -TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- unboxed call site -TR opt: real-part-loop.rkt 31:12 (+ v 3.6) -- unboxed binary float complex +TR opt: real-part-loop.rkt 29:9 (real-part v) -- unboxed unary float complex +TR opt: real-part-loop.rkt 28:13 v -- unboxed var -> table +TR opt: real-part-loop.rkt 28:6 loop -- fun -> unboxed fun +TR opt: real-part-loop.rkt 29:20 v -- unboxed complex variable +TR opt: real-part-loop.rkt 29:20 v -- leave var unboxed +TR opt: real-part-loop.rkt 29:9 (real-part v) -- complex accessor elimination +TR opt: real-part-loop.rkt 29:6 (> (real-part v) 70000.2) -- binary float comp TR opt: real-part-loop.rkt 31:15 v -- leave var unboxed TR opt: real-part-loop.rkt 31:17 3.6 -- float-arg-expr in complex ops +TR opt: real-part-loop.rkt 31:12 (+ v 3.6) -- unboxed binary float complex +TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- unboxed call site +TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- call to fun with unboxed args +TR opt: real-part-loop.rkt 28:15 0.0+1.0i -- unboxed literal +TR opt: real-part-loop.rkt 28:1 (let loop ((v 0.0+1.0i)) (if (> (real-part v) 70000.2) 0 (loop (+ v 3.6)))) -- unboxed call site +TR opt: real-part-loop.rkt 28:6 loop -- unboxed let loop 0 ) diff --git a/collects/tests/typed-racket/optimizer/tests/ternary-equality.rkt b/collects/tests/typed-racket/optimizer/tests/ternary-equality.rkt index 6451ba6fb7..78f7b7f3cd 100644 --- a/collects/tests/typed-racket/optimizer/tests/ternary-equality.rkt +++ b/collects/tests/typed-racket/optimizer/tests/ternary-equality.rkt @@ -1,7 +1,7 @@ #; ( - TR opt: ternary-equality.rkt 12:0 (= 1 1 1) -- multi fixnum comp - #t +TR opt: ternary-equality.rkt 12:0 (= 1 1 1) -- multi fixnum comp +#t ) #lang typed/racket/base diff --git a/collects/tests/typed-racket/optimizer/tests/unary-fixnum-nested.rkt b/collects/tests/typed-racket/optimizer/tests/unary-fixnum-nested.rkt index 411b86c62c..999e7b550f 100644 --- a/collects/tests/typed-racket/optimizer/tests/unary-fixnum-nested.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unary-fixnum-nested.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: unary-fixnum-nested.rkt 12:0 (bitwise-not (bitwise-not (length (quote (1 2 3))))) -- unary fixnum -TR opt: unary-fixnum-nested.rkt 12:13 (bitwise-not (length (quote (1 2 3)))) -- unary fixnum TR opt: unary-fixnum-nested.rkt 12:26 (length (quote (1 2 3))) -- known-length list length +TR opt: unary-fixnum-nested.rkt 12:13 (bitwise-not (length (quote (1 2 3)))) -- unary fixnum +TR opt: unary-fixnum-nested.rkt 12:0 (bitwise-not (bitwise-not (length (quote (1 2 3))))) -- unary fixnum 3 ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-for.rkt index 9a39711135..c1811357ab 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-for.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-for.rkt @@ -1,28 +1,39 @@ #; ( -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let loop -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex -TR opt: unboxed-for.rkt 29:0 #%module-begin -- in-list -TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site -TR opt: unboxed-for.rkt 32:31 sum -- unboxed var -> table -TR opt: unboxed-for.rkt 32:31 sum -- unboxed complex variable -TR opt: unboxed-for.rkt 32:31 sum -- unboxed complex variable -TR opt: unboxed-for.rkt 32:31 sum -- unbox float-complex -TR opt: unboxed-for.rkt 32:31 sum -- leave var unboxed -TR opt: unboxed-for.rkt 32:31 sum -- unboxed complex variable -TR opt: unboxed-for.rkt 32:53 0.0+0.0i -- unboxed literal -TR opt: unboxed-for.rkt 33:13 i -- unboxed complex variable -TR opt: unboxed-for.rkt 33:13 i -- unboxed complex variable -TR opt: unboxed-for.rkt 34:6 (+ i sum) -- unboxed binary float complex -TR opt: unboxed-for.rkt 34:9 i -- leave var unboxed -TR opt: unboxed-for.rkt 34:9 i -- unbox float-complex -TR opt: unboxed-for.rkt 34:11 sum -- leave var unboxed -TR opt: unboxed-for.rkt 34:11 sum -- unbox float-complex +TR opt: unboxed-for.rkt 40:0 #%module-begin -- in-list +TR opt: unboxed-for.rkt 45:9 i -- unbox float-complex +TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex +TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex +TR opt: unboxed-for.rkt 45:9 i -- unbox float-complex +TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex +TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex +TR opt: unboxed-for.rkt 43:31 sum -- unboxed var -> table +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun +TR opt: unboxed-for.rkt 43:31 sum -- unboxed complex variable +TR opt: unboxed-for.rkt 45:9 i -- unbox float-complex +TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex +TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings +TR opt: unboxed-for.rkt 44:13 i -- unboxed complex variable +TR opt: unboxed-for.rkt 44:13 i -- unboxed complex variable +TR opt: unboxed-for.rkt 45:9 i -- leave var unboxed +TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex +TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex +TR opt: unboxed-for.rkt 43:31 sum -- leave var unboxed +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings +TR opt: unboxed-for.rkt 45:9 i -- leave var unboxed +TR opt: unboxed-for.rkt 45:11 sum -- leave var unboxed +TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex +TR opt: unboxed-for.rkt 44:13 i -- unboxed complex variable +TR opt: unboxed-for.rkt 43:31 sum -- unbox float-complex +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args +TR opt: unboxed-for.rkt 43:31 sum -- unboxed complex variable +TR opt: unboxed-for.rkt 43:31 sum -- unboxed complex variable +TR opt: unboxed-for.rkt 43:53 0.0+0.0i -- unboxed literal +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site +TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let loop 3.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions1.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions1.rkt index 72abe58d01..78a7f42146 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions1.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions1.rkt @@ -1,16 +1,18 @@ #; ( -TR opt: unboxed-let-functions1.rkt 21:7 f -- fun -> unboxed fun -TR opt: unboxed-let-functions1.rkt 21:20 x -- unboxed var -> table -TR opt: unboxed-let-functions1.rkt 21:42 (+ x 3.0+6.0i) -- unboxed binary float complex -TR opt: unboxed-let-functions1.rkt 21:45 x -- leave var unboxed -TR opt: unboxed-let-functions1.rkt 21:45 x -- unbox float-complex -TR opt: unboxed-let-functions1.rkt 21:47 3.0+6.0i -- unboxed literal -TR opt: unboxed-let-functions1.rkt 22:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args -TR opt: unboxed-let-functions1.rkt 22:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site -TR opt: unboxed-let-functions1.rkt 22:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let-functions1.rkt 22:8 1.0+2.0i -- unboxed literal -TR opt: unboxed-let-functions1.rkt 22:17 2.0+4.0i -- unboxed literal +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 23:42 (+ x 3.0+6.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions1.rkt 23:20 x -- unboxed var -> table +TR opt: unboxed-let-functions1.rkt 23:7 f -- fun -> unboxed fun +TR opt: unboxed-let-functions1.rkt 23:45 x -- leave var unboxed +TR opt: unboxed-let-functions1.rkt 23:47 3.0+6.0i -- unboxed literal +TR opt: unboxed-let-functions1.rkt 23:42 (+ x 3.0+6.0i) -- 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 +TR opt: unboxed-let-functions1.rkt 24:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions1.rkt 24:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site +TR opt: unboxed-let-functions1.rkt 24:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args 6.0+12.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions2.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions2.rkt index e4f282666b..5f068d1f79 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions2.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions2.rkt @@ -1,19 +1,23 @@ #; ( -TR opt: unboxed-let-functions2.rkt 24:7 f -- fun -> unboxed fun -TR opt: unboxed-let-functions2.rkt 24:20 x -- unboxed var -> table -TR opt: unboxed-let-functions2.rkt 24:42 y -- unboxed var -> table -TR opt: unboxed-let-functions2.rkt 25:18 (+ x y) -- unboxed binary float complex -TR opt: unboxed-let-functions2.rkt 25:21 x -- leave var unboxed -TR opt: unboxed-let-functions2.rkt 25:21 x -- unbox float-complex -TR opt: unboxed-let-functions2.rkt 25:23 y -- leave var unboxed -TR opt: unboxed-let-functions2.rkt 25:23 y -- unbox float-complex -TR opt: unboxed-let-functions2.rkt 26:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- call to fun with unboxed args -TR opt: unboxed-let-functions2.rkt 26:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- unboxed call site -TR opt: unboxed-let-functions2.rkt 26:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let-functions2.rkt 26:8 1.0+2.0i -- unboxed literal -TR opt: unboxed-let-functions2.rkt 26:17 2.0+4.0i -- unboxed literal -TR opt: unboxed-let-functions2.rkt 27:5 3.0+6.0i -- unboxed literal +TR opt: unboxed-let-functions2.rkt 29:21 x -- unbox float-complex +TR opt: unboxed-let-functions2.rkt 29:23 y -- unbox float-complex +TR opt: unboxed-let-functions2.rkt 29:18 (+ x y) -- unboxed binary float complex +TR opt: unboxed-let-functions2.rkt 28:20 x -- unboxed var -> table +TR opt: unboxed-let-functions2.rkt 29:21 x -- unbox float-complex +TR opt: unboxed-let-functions2.rkt 29:23 y -- unbox float-complex +TR opt: unboxed-let-functions2.rkt 29:18 (+ x y) -- unboxed binary float complex +TR opt: unboxed-let-functions2.rkt 28:42 y -- unboxed var -> table +TR opt: unboxed-let-functions2.rkt 28:7 f -- fun -> unboxed fun +TR opt: unboxed-let-functions2.rkt 29:21 x -- leave var unboxed +TR opt: unboxed-let-functions2.rkt 29:23 y -- leave var unboxed +TR opt: unboxed-let-functions2.rkt 29:18 (+ x y) -- unboxed binary float complex +TR opt: unboxed-let-functions2.rkt 30:8 1.0+2.0i -- unboxed literal +TR opt: unboxed-let-functions2.rkt 30:17 2.0+4.0i -- unboxed literal +TR opt: unboxed-let-functions2.rkt 30:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions2.rkt 31:5 3.0+6.0i -- unboxed literal +TR opt: unboxed-let-functions2.rkt 30:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- unboxed call site +TR opt: unboxed-let-functions2.rkt 30:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- call to fun with unboxed args 6.0+12.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions3.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions3.rkt index bab51d8325..6f14d02b0c 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions3.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions3.rkt @@ -1,16 +1,18 @@ #; ( -TR opt: unboxed-let-functions3.rkt 21:7 f -- fun -> unboxed fun -TR opt: unboxed-let-functions3.rkt 21:20 x -- unboxed var -> table -TR opt: unboxed-let-functions3.rkt 22:18 (+ x y) -- unboxed binary float complex -TR opt: unboxed-let-functions3.rkt 22:21 x -- leave var unboxed -TR opt: unboxed-let-functions3.rkt 22:21 x -- unbox float-complex -TR opt: unboxed-let-functions3.rkt 22:23 y -- float-arg-expr in complex ops -TR opt: unboxed-let-functions3.rkt 23:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- call to fun with unboxed args -TR opt: unboxed-let-functions3.rkt 23:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- unboxed call site -TR opt: unboxed-let-functions3.rkt 23:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let-functions3.rkt 23:8 1.0+2.0i -- unboxed literal -TR opt: unboxed-let-functions3.rkt 23:17 2.0+4.0i -- unboxed literal +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 24:18 (+ x y) -- unboxed binary float complex +TR opt: unboxed-let-functions3.rkt 23:20 x -- unboxed var -> table +TR opt: unboxed-let-functions3.rkt 23:7 f -- fun -> unboxed fun +TR opt: unboxed-let-functions3.rkt 24:21 x -- leave var unboxed +TR opt: unboxed-let-functions3.rkt 24:23 y -- float-arg-expr in complex ops +TR opt: unboxed-let-functions3.rkt 24:18 (+ x y) -- 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 +TR opt: unboxed-let-functions3.rkt 25:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions3.rkt 25:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- unboxed call site +TR opt: unboxed-let-functions3.rkt 25:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- call to fun with unboxed args 6.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions4.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions4.rkt index 36e30a5e84..e8962494ac 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions4.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions4.rkt @@ -1,16 +1,18 @@ #; ( -TR opt: unboxed-let-functions4.rkt 21:7 f -- fun -> unboxed fun -TR opt: unboxed-let-functions4.rkt 21:32 x -- unboxed var -> table -TR opt: unboxed-let-functions4.rkt 22:18 (+ x y) -- unboxed binary float complex -TR opt: unboxed-let-functions4.rkt 22:21 x -- leave var unboxed -TR opt: unboxed-let-functions4.rkt 22:21 x -- unbox float-complex -TR opt: unboxed-let-functions4.rkt 22:23 y -- float-arg-expr in complex ops -TR opt: unboxed-let-functions4.rkt 23:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args -TR opt: unboxed-let-functions4.rkt 23:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site -TR opt: unboxed-let-functions4.rkt 24:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let-functions4.rkt 24:8 1.0+2.0i -- unboxed literal -TR opt: unboxed-let-functions4.rkt 24:17 2.0+4.0i -- unboxed literal +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 24:18 (+ x y) -- unboxed binary float complex +TR opt: unboxed-let-functions4.rkt 23:32 x -- unboxed var -> table +TR opt: unboxed-let-functions4.rkt 23:7 f -- fun -> unboxed fun +TR opt: unboxed-let-functions4.rkt 24:21 x -- leave var unboxed +TR opt: unboxed-let-functions4.rkt 24:23 y -- float-arg-expr in complex ops +TR opt: unboxed-let-functions4.rkt 24:18 (+ x y) -- 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 +TR opt: unboxed-let-functions4.rkt 26:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions4.rkt 25:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site +TR opt: unboxed-let-functions4.rkt 25:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args 6.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions5.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions5.rkt index b1d30e705e..34340eb9dd 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions5.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions5.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: unboxed-let-functions5.rkt 19:12 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: unboxed-let-functions5.rkt 19:15 1.0+2.0i -- unboxed literal TR opt: unboxed-let-functions5.rkt 19:24 2.0+4.0i -- unboxed literal +TR opt: unboxed-let-functions5.rkt 19:12 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex 3.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions6.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions6.rkt index 0e811fefb7..e0b3daf9ba 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions6.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions6.rkt @@ -1,21 +1,23 @@ #; ( -TR opt: unboxed-let-functions6.rkt 25:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) (+ z 0.0+1.0i) (loop (+ z (car l)) (cdr l)))) -- unboxed call site -TR opt: unboxed-let-functions6.rkt 25:6 loop -- unboxed let loop -TR opt: unboxed-let-functions6.rkt 25:6 loop -- fun -> unboxed fun -TR opt: unboxed-let-functions6.rkt 25:31 z -- unboxed var -> table -TR opt: unboxed-let-functions6.rkt 25:51 0.0+0.0i -- unboxed literal -TR opt: unboxed-let-functions6.rkt 28:10 (+ z 0.0+1.0i) -- unboxed binary float complex -TR opt: unboxed-let-functions6.rkt 28:13 z -- leave var unboxed -TR opt: unboxed-let-functions6.rkt 28:13 z -- unbox float-complex -TR opt: unboxed-let-functions6.rkt 28:15 0.0+1.0i -- unboxed literal -TR opt: unboxed-let-functions6.rkt 29:10 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args -TR opt: unboxed-let-functions6.rkt 29:10 (loop (+ z (car l)) (cdr l)) -- unboxed call site -TR opt: unboxed-let-functions6.rkt 29:16 (+ z (car l)) -- unboxed binary float complex -TR opt: unboxed-let-functions6.rkt 29:19 z -- leave var unboxed -TR opt: unboxed-let-functions6.rkt 29:21 (car l) -- float-arg-expr in complex ops -TR opt: unboxed-let-functions6.rkt 29:21 (car l) -- pair -TR opt: unboxed-let-functions6.rkt 30:16 (cdr l) -- pair +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 30:10 (+ z 0.0+1.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions6.rkt 27:31 z -- unboxed var -> table +TR opt: unboxed-let-functions6.rkt 27:6 loop -- fun -> unboxed fun +TR opt: unboxed-let-functions6.rkt 30:13 z -- leave var unboxed +TR opt: unboxed-let-functions6.rkt 30:15 0.0+1.0i -- unboxed literal +TR opt: unboxed-let-functions6.rkt 30:10 (+ z 0.0+1.0i) -- unboxed binary float complex +TR opt: unboxed-let-functions6.rkt 31:19 z -- leave var unboxed +TR opt: unboxed-let-functions6.rkt 31:21 (car l) -- pair +TR opt: unboxed-let-functions6.rkt 31:21 (car l) -- float-arg-expr in complex ops +TR opt: unboxed-let-functions6.rkt 31:16 (+ z (car l)) -- unboxed binary float complex +TR opt: unboxed-let-functions6.rkt 31:10 (loop (+ z (car l)) (cdr l)) -- unboxed call site +TR opt: unboxed-let-functions6.rkt 32:16 (cdr l) -- pair +TR opt: unboxed-let-functions6.rkt 31:10 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args +TR opt: unboxed-let-functions6.rkt 27:51 0.0+0.0i -- unboxed literal +TR opt: unboxed-let-functions6.rkt 27:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) (+ z 0.0+1.0i) (loop (+ z (car l)) (cdr l)))) -- unboxed call site +TR opt: unboxed-let-functions6.rkt 27:6 loop -- unboxed let loop 6.0+1.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions7.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions7.rkt index e6db1b9ee5..38095dbac9 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions7.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions7.rkt @@ -1,19 +1,22 @@ #; ( -TR opt: unboxed-let-functions7.rkt 24:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) z (loop (+ z (car l)) (cdr l)))) -- unboxed call site -TR opt: unboxed-let-functions7.rkt 24:6 loop -- unboxed let loop -TR opt: unboxed-let-functions7.rkt 24:6 loop -- fun -> unboxed fun -TR opt: unboxed-let-functions7.rkt 24:31 z -- unboxed var -> table -TR opt: unboxed-let-functions7.rkt 24:51 0.0+0.0i -- unboxed literal -TR opt: unboxed-let-functions7.rkt 27:6 z -- unboxed complex variable -TR opt: unboxed-let-functions7.rkt 28:6 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args -TR opt: unboxed-let-functions7.rkt 28:6 (loop (+ z (car l)) (cdr l)) -- unboxed call site -TR opt: unboxed-let-functions7.rkt 28:12 (+ z (car l)) -- unboxed binary float complex -TR opt: unboxed-let-functions7.rkt 28:15 z -- leave var unboxed -TR opt: unboxed-let-functions7.rkt 28:15 z -- unbox float-complex -TR opt: unboxed-let-functions7.rkt 28:17 (car l) -- float-arg-expr in complex ops -TR opt: unboxed-let-functions7.rkt 28:17 (car l) -- pair -TR opt: unboxed-let-functions7.rkt 29:12 (cdr l) -- pair +TR opt: unboxed-let-functions7.rkt 31:15 z -- unbox float-complex +TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- pair +TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- float-arg-expr in complex ops +TR opt: unboxed-let-functions7.rkt 31:12 (+ z (car l)) -- unboxed binary float complex +TR opt: unboxed-let-functions7.rkt 27:31 z -- unboxed var -> table +TR opt: unboxed-let-functions7.rkt 27:6 loop -- fun -> unboxed fun +TR opt: unboxed-let-functions7.rkt 30:6 z -- unboxed complex variable +TR opt: unboxed-let-functions7.rkt 31:15 z -- leave var unboxed +TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- pair +TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- float-arg-expr in complex ops +TR opt: unboxed-let-functions7.rkt 31:12 (+ z (car l)) -- unboxed binary float complex +TR opt: unboxed-let-functions7.rkt 31:6 (loop (+ z (car l)) (cdr l)) -- unboxed call site +TR opt: unboxed-let-functions7.rkt 32:12 (cdr l) -- pair +TR opt: unboxed-let-functions7.rkt 31:6 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args +TR opt: unboxed-let-functions7.rkt 27:51 0.0+0.0i -- unboxed literal +TR opt: unboxed-let-functions7.rkt 27:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) z (loop (+ z (car l)) (cdr l)))) -- unboxed call site +TR opt: unboxed-let-functions7.rkt 27:6 loop -- unboxed let loop 6.0+0.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions8.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions8.rkt index 5152e1c1e9..4748aa1d4f 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions8.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let-functions8.rkt @@ -1,8 +1,8 @@ #; ( -TR opt: unboxed-let-functions8.rkt 14:64 (+ x 2.0+4.0i) -- unboxed binary float complex TR opt: unboxed-let-functions8.rkt 14:67 x -- unbox float-complex TR opt: unboxed-let-functions8.rkt 14:69 2.0+4.0i -- unboxed literal +TR opt: unboxed-let-functions8.rkt 14:64 (+ x 2.0+4.0i) -- unboxed binary float complex 3.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let.rkt index ae81bfeb8d..3170444b36 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let.rkt @@ -1,21 +1,27 @@ #; ( -TR opt: unboxed-let.rkt 27:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings -TR opt: unboxed-let.rkt 27:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings -TR opt: unboxed-let.rkt 27:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings -TR opt: unboxed-let.rkt 27:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let.rkt 27:14 1.0+2.0i -- unboxed literal -TR opt: unboxed-let.rkt 27:23 2.0+4.0i -- unboxed literal -TR opt: unboxed-let.rkt 28:11 (- t1 3.0+6.0i) -- unboxed binary float complex -TR opt: unboxed-let.rkt 28:14 t1 -- leave var unboxed -TR opt: unboxed-let.rkt 28:14 t1 -- unbox float-complex -TR opt: unboxed-let.rkt 28:17 3.0+6.0i -- unboxed literal -TR opt: unboxed-let.rkt 29:11 4.0+8.0i -- unboxed literal -TR opt: unboxed-let.rkt 30:2 (+ t2 t3) -- unboxed binary float complex -TR opt: unboxed-let.rkt 30:5 t2 -- leave var unboxed -TR opt: unboxed-let.rkt 30:5 t2 -- unbox float-complex -TR opt: unboxed-let.rkt 30:8 t3 -- leave var unboxed -TR opt: unboxed-let.rkt 30:8 t3 -- unbox float-complex +TR opt: unboxed-let.rkt 34:14 t1 -- unbox float-complex +TR opt: unboxed-let.rkt 34:17 3.0+6.0i -- unboxed literal +TR opt: unboxed-let.rkt 34:11 (- t1 3.0+6.0i) -- unboxed binary float complex +TR opt: unboxed-let.rkt 33:14 1.0+2.0i -- unboxed literal +TR opt: unboxed-let.rkt 33:23 2.0+4.0i -- unboxed literal +TR opt: unboxed-let.rkt 33:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let.rkt 33:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings +TR opt: unboxed-let.rkt 36:5 t2 -- unbox float-complex +TR opt: unboxed-let.rkt 36:8 t3 -- unbox float-complex +TR opt: unboxed-let.rkt 36:2 (+ t2 t3) -- unboxed binary float complex +TR opt: unboxed-let.rkt 34:14 t1 -- leave var unboxed +TR opt: unboxed-let.rkt 34:17 3.0+6.0i -- unboxed literal +TR opt: unboxed-let.rkt 34:11 (- t1 3.0+6.0i) -- unboxed binary float complex +TR opt: unboxed-let.rkt 33:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings +TR opt: unboxed-let.rkt 36:5 t2 -- leave var unboxed +TR opt: unboxed-let.rkt 36:8 t3 -- unbox float-complex +TR opt: unboxed-let.rkt 36:2 (+ t2 t3) -- unboxed binary float complex +TR opt: unboxed-let.rkt 35:11 4.0+8.0i -- unboxed literal +TR opt: unboxed-let.rkt 33:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings +TR opt: unboxed-let.rkt 36:5 t2 -- leave var unboxed +TR opt: unboxed-let.rkt 36:8 t3 -- leave var unboxed +TR opt: unboxed-let.rkt 36:2 (+ t2 t3) -- unboxed binary float complex 4.0+8.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let2.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let2.rkt index da1f2a5b64..fb9c135326 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let2.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let2.rkt @@ -1,17 +1,21 @@ #; ( -TR opt: unboxed-let2.rkt 21:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i))) (+ t1 t2)) -- unboxed let bindings -TR opt: unboxed-let2.rkt 21:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let2.rkt 21:13 1.0+2.0i -- unboxed literal -TR opt: unboxed-let2.rkt 21:22 2.0+4.0i -- unboxed literal -TR opt: unboxed-let2.rkt 22:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex -TR opt: unboxed-let2.rkt 22:13 3.0+6.0i -- unboxed literal -TR opt: unboxed-let2.rkt 22:22 4.0+8.0i -- unboxed literal -TR opt: unboxed-let2.rkt 23:2 (+ t1 t2) -- unboxed binary float complex -TR opt: unboxed-let2.rkt 23:5 t1 -- leave var unboxed -TR opt: unboxed-let2.rkt 23:5 t1 -- unbox float-complex -TR opt: unboxed-let2.rkt 23:8 t2 -- leave var unboxed -TR opt: unboxed-let2.rkt 23:8 t2 -- unbox float-complex +TR opt: unboxed-let2.rkt 27:5 t1 -- unbox float-complex +TR opt: unboxed-let2.rkt 27:8 t2 -- unbox float-complex +TR opt: unboxed-let2.rkt 27:2 (+ t1 t2) -- unboxed binary float complex +TR opt: unboxed-let2.rkt 27:5 t1 -- unbox float-complex +TR opt: unboxed-let2.rkt 27:8 t2 -- unbox float-complex +TR opt: unboxed-let2.rkt 27:2 (+ t1 t2) -- unboxed binary float complex +TR opt: unboxed-let2.rkt 25:13 1.0+2.0i -- unboxed literal +TR opt: unboxed-let2.rkt 25:22 2.0+4.0i -- unboxed literal +TR opt: unboxed-let2.rkt 25:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let2.rkt 26:13 3.0+6.0i -- unboxed literal +TR opt: unboxed-let2.rkt 26:22 4.0+8.0i -- unboxed literal +TR opt: unboxed-let2.rkt 26:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex +TR opt: unboxed-let2.rkt 25:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i))) (+ t1 t2)) -- unboxed let bindings +TR opt: unboxed-let2.rkt 27:5 t1 -- leave var unboxed +TR opt: unboxed-let2.rkt 27:8 t2 -- leave var unboxed +TR opt: unboxed-let2.rkt 27:2 (+ t1 t2) -- unboxed binary float complex 10.0+20.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-let3.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-let3.rkt index 3e03788130..2db295e3cf 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-let3.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-let3.rkt @@ -1,14 +1,16 @@ #; ( -TR opt: unboxed-let3.rkt 25:0 (let ((x (+ 1.0+2.0i 2.0+4.0i))) (if (even? 2) x (+ x 2.0+4.0i))) -- unboxed let bindings -TR opt: unboxed-let3.rkt 25:9 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let3.rkt 25:12 1.0+2.0i -- unboxed literal -TR opt: unboxed-let3.rkt 25:21 2.0+4.0i -- unboxed literal -TR opt: unboxed-let3.rkt 27:6 x -- unboxed complex variable -TR opt: unboxed-let3.rkt 28:6 (+ x 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-let3.rkt 28:9 x -- leave var unboxed -TR opt: unboxed-let3.rkt 28:9 x -- unbox float-complex -TR opt: unboxed-let3.rkt 28:11 2.0+4.0i -- unboxed literal +TR opt: unboxed-let3.rkt 30:9 x -- unbox float-complex +TR opt: unboxed-let3.rkt 30:11 2.0+4.0i -- unboxed literal +TR opt: unboxed-let3.rkt 30:6 (+ x 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let3.rkt 27:12 1.0+2.0i -- unboxed literal +TR opt: unboxed-let3.rkt 27:21 2.0+4.0i -- unboxed literal +TR opt: unboxed-let3.rkt 27:9 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-let3.rkt 27:0 (let ((x (+ 1.0+2.0i 2.0+4.0i))) (if (even? 2) x (+ x 2.0+4.0i))) -- unboxed let bindings +TR opt: unboxed-let3.rkt 29:6 x -- unboxed complex variable +TR opt: unboxed-let3.rkt 30:9 x -- leave var unboxed +TR opt: unboxed-let3.rkt 30:11 2.0+4.0i -- unboxed literal +TR opt: unboxed-let3.rkt 30:6 (+ x 2.0+4.0i) -- unboxed binary float complex 3.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-letrec-syntaxes+values.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-letrec-syntaxes+values.rkt index 7f5d6aee88..8bfef6bf32 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-letrec-syntaxes+values.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-letrec-syntaxes+values.rkt @@ -1,13 +1,15 @@ #; ( -TR opt: unboxed-letrec-syntaxes+values.rkt 17:0 (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (+ 1.0+2.0i 2.0+4.0i))) (+ x 2.0+4.0i)) -- unboxed let bindings -TR opt: unboxed-letrec-syntaxes+values.rkt 18:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-letrec-syntaxes+values.rkt 18:33 1.0+2.0i -- unboxed literal -TR opt: unboxed-letrec-syntaxes+values.rkt 18:42 2.0+4.0i -- unboxed literal -TR opt: unboxed-letrec-syntaxes+values.rkt 19:24 (+ x 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-letrec-syntaxes+values.rkt 19:27 x -- leave var unboxed -TR opt: unboxed-letrec-syntaxes+values.rkt 19:27 x -- unbox float-complex -TR opt: unboxed-letrec-syntaxes+values.rkt 19:29 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 21:27 x -- unbox float-complex +TR opt: unboxed-letrec-syntaxes+values.rkt 21:29 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 21:24 (+ x 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-letrec-syntaxes+values.rkt 20:33 1.0+2.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 20:42 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 20:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-letrec-syntaxes+values.rkt 19:0 (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (+ 1.0+2.0i 2.0+4.0i))) (+ x 2.0+4.0i)) -- unboxed let bindings +TR opt: unboxed-letrec-syntaxes+values.rkt 21:27 x -- leave var unboxed +TR opt: unboxed-letrec-syntaxes+values.rkt 21:29 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec-syntaxes+values.rkt 21:24 (+ x 2.0+4.0i) -- unboxed binary float complex 5.0+10.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-letrec.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-letrec.rkt index 512a2ba73b..9b94084bd1 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-letrec.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-letrec.rkt @@ -1,15 +1,19 @@ #; ( -TR opt: unboxed-letrec.rkt 21:0 (letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x))) (x : Float-Complex 1.0+2.0i) (y : Float-Complex (+ 2.0+4.0i 3.0+6.0i))) (+ x y)) -- unboxed let bindings -TR opt: unboxed-letrec.rkt 22:31 1.0+2.0i -- unboxed literal -TR opt: unboxed-letrec.rkt 23:31 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex -TR opt: unboxed-letrec.rkt 23:34 2.0+4.0i -- unboxed literal -TR opt: unboxed-letrec.rkt 23:43 3.0+6.0i -- unboxed literal -TR opt: unboxed-letrec.rkt 24:2 (+ x y) -- unboxed binary float complex -TR opt: unboxed-letrec.rkt 24:5 x -- leave var unboxed -TR opt: unboxed-letrec.rkt 24:5 x -- unbox float-complex -TR opt: unboxed-letrec.rkt 24:7 y -- leave var unboxed -TR opt: unboxed-letrec.rkt 24:7 y -- unbox float-complex +TR opt: unboxed-letrec.rkt 28:5 x -- unbox float-complex +TR opt: unboxed-letrec.rkt 28:7 y -- unbox float-complex +TR opt: unboxed-letrec.rkt 28:2 (+ x y) -- unboxed binary float complex +TR opt: unboxed-letrec.rkt 28:5 x -- unbox float-complex +TR opt: unboxed-letrec.rkt 28:7 y -- unbox float-complex +TR opt: unboxed-letrec.rkt 28:2 (+ x y) -- unboxed binary float complex +TR opt: unboxed-letrec.rkt 26:31 1.0+2.0i -- unboxed literal +TR opt: unboxed-letrec.rkt 27:34 2.0+4.0i -- unboxed literal +TR opt: unboxed-letrec.rkt 27:43 3.0+6.0i -- unboxed literal +TR opt: unboxed-letrec.rkt 27:31 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex +TR opt: unboxed-letrec.rkt 25:0 (letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x))) (x : Float-Complex 1.0+2.0i) (y : Float-Complex (+ 2.0+4.0i 3.0+6.0i))) (+ x y)) -- unboxed let bindings +TR opt: unboxed-letrec.rkt 28:5 x -- leave var unboxed +TR opt: unboxed-letrec.rkt 28:7 y -- leave var unboxed +TR opt: unboxed-letrec.rkt 28:2 (+ x y) -- unboxed binary float complex 6.0+12.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/unboxed-make-rectangular.rkt b/collects/tests/typed-racket/optimizer/tests/unboxed-make-rectangular.rkt index 6e6b73c9c6..dbc2b46459 100644 --- a/collects/tests/typed-racket/optimizer/tests/unboxed-make-rectangular.rkt +++ b/collects/tests/typed-racket/optimizer/tests/unboxed-make-rectangular.rkt @@ -1,17 +1,21 @@ #; ( -TR opt: unboxed-make-rectangular.rkt 25:0 (let ((x (make-rectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings -TR opt: unboxed-make-rectangular.rkt 25:9 (make-rectangular 1.0 2.0) -- make-rectangular elimination -TR opt: unboxed-make-rectangular.rkt 26:2 (+ x 2.0+4.0i) -- unboxed binary float complex -TR opt: unboxed-make-rectangular.rkt 26:5 x -- leave var unboxed -TR opt: unboxed-make-rectangular.rkt 26:5 x -- unbox float-complex -TR opt: unboxed-make-rectangular.rkt 26:7 2.0+4.0i -- unboxed literal -TR opt: unboxed-make-rectangular.rkt 27:0 (let ((x (unsafe-make-flrectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings -TR opt: unboxed-make-rectangular.rkt 27:9 (unsafe-make-flrectangular 1.0 2.0) -- make-rectangular elimination -TR opt: unboxed-make-rectangular.rkt 28:2 (+ x 2.0+4.0i) -- 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 30:5 x -- unbox float-complex +TR opt: unboxed-make-rectangular.rkt 30:7 2.0+4.0i -- unboxed literal +TR opt: unboxed-make-rectangular.rkt 30:2 (+ x 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-make-rectangular.rkt 29:9 (make-rectangular 1.0 2.0) -- make-rectangular elimination +TR opt: unboxed-make-rectangular.rkt 29:0 (let ((x (make-rectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings +TR opt: unboxed-make-rectangular.rkt 30:5 x -- leave var unboxed +TR opt: unboxed-make-rectangular.rkt 30:7 2.0+4.0i -- unboxed literal +TR opt: unboxed-make-rectangular.rkt 30:2 (+ x 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-make-rectangular.rkt 32:5 x -- unbox float-complex +TR opt: unboxed-make-rectangular.rkt 32:7 2.0+4.0i -- unboxed literal +TR opt: unboxed-make-rectangular.rkt 32:2 (+ x 2.0+4.0i) -- unboxed binary float complex +TR opt: unboxed-make-rectangular.rkt 31:9 (unsafe-make-flrectangular 1.0 2.0) -- make-rectangular elimination +TR opt: unboxed-make-rectangular.rkt 31:0 (let ((x (unsafe-make-flrectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings +TR opt: unboxed-make-rectangular.rkt 32:5 x -- leave var unboxed +TR opt: unboxed-make-rectangular.rkt 32:7 2.0+4.0i -- unboxed literal +TR opt: unboxed-make-rectangular.rkt 32:2 (+ x 2.0+4.0i) -- unboxed binary float complex 3.0+6.0i 3.0+6.0i ) diff --git a/collects/tests/typed-racket/optimizer/tests/vector-sum.rkt b/collects/tests/typed-racket/optimizer/tests/vector-sum.rkt index adb807c467..67d93dcc43 100644 --- a/collects/tests/typed-racket/optimizer/tests/vector-sum.rkt +++ b/collects/tests/typed-racket/optimizer/tests/vector-sum.rkt @@ -1,29 +1,92 @@ #; ( -TR opt: vector-sum.rkt 41:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr -TR opt: vector-sum.rkt 41:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp -TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr -TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch -TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch -TR opt: vector-sum.rkt 40:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination -TR opt: vector-sum.rkt 40:21 (sin (exact->inexact i)) -- unary float -TR opt: vector-sum.rkt 40:26 (exact->inexact i) -- fixnum to float -TR opt: vector-sum.rkt 41:15 sum -- dead else branch -TR opt: vector-sum.rkt 41:15 sum -- dead else branch -TR opt: vector-sum.rkt 43:4 (+ sum (vector-ref v i)) -- binary float -TR opt: vector-sum.rkt 43:11 (vector-ref v i) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float +TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch +TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination +TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float +TR opt: vector-sum.rkt 104:15 sum -- dead else branch +TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr +TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch ) #lang typed/racket diff --git a/collects/tests/typed-racket/optimizer/tests/zero.rkt b/collects/tests/typed-racket/optimizer/tests/zero.rkt index 3ecfb5a858..37ccf8e08d 100644 --- a/collects/tests/typed-racket/optimizer/tests/zero.rkt +++ b/collects/tests/typed-racket/optimizer/tests/zero.rkt @@ -1,8 +1,8 @@ #; ( TR opt: zero.rkt 13:0 (zero? 1) -- fixnum zero? -TR opt: zero.rkt 14:0 (zero? (sqrt 3.0)) -- float zero? TR opt: zero.rkt 14:7 (sqrt 3.0) -- unary float +TR opt: zero.rkt 14:0 (zero? (sqrt 3.0)) -- float zero? #f #f )