From fbf802e61cbc6e0793c6632bc5661534148f0b4e Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 29 Jun 2011 15:33:25 -0400 Subject: [PATCH] Fix tests. --- .../optimizer/missed-optimizations/pair.rkt | 24 ++++++++--------- .../missed-optimizations/precision-loss.rkt | 4 +-- .../optimizer/tests/float-complex-fixnum.rkt | 2 +- .../tests/float-complex-float-small.rkt | 2 +- .../optimizer/tests/float-complex-sin.rkt | 2 +- .../optimizer/tests/float-real.rkt | 2 +- .../optimizer/tests/make-polar.rkt | 2 +- .../typed-scheme/optimizer/tests/mpair.rkt | 10 +++---- .../optimizer/tests/nested-let-loop.rkt | 8 +++--- .../optimizer/tests/real-part-loop.rkt | 4 +-- .../optimizer/tests/unboxed-for.rkt | 26 +++++++++---------- .../tests/unboxed-let-functions6.rkt | 2 +- .../tests/unboxed-let-functions7.rkt | 2 +- 13 files changed, 45 insertions(+), 45 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt index 61ee7ac79c..9250af5555 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/pair.rkt @@ -14,21 +14,21 @@ 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 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)) -- mutable pair +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))) -TR opt: pair.rkt 70:0 (mcdr (mlist 1 2 3)) -- mutable pair -TR opt: pair.rkt 71:0 (mcdr (mcdr (mlist 1 2 3))) -- mutable pair -TR opt: pair.rkt 71:6 (mcdr (mlist 1 2 3)) -- mutable pair -TR opt: pair.rkt 72:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- mutable pair -TR opt: pair.rkt 72:6 (mcdr (mcdr (mlist 1 2 3))) -- mutable pair -TR opt: pair.rkt 72:12 (mcdr (mlist 1 2 3)) -- mutable pair +TR opt: pair.rkt 70:0 (mcdr (mlist 1 2 3)) -- pair +TR opt: pair.rkt 71:0 (mcdr (mcdr (mlist 1 2 3))) -- pair +TR opt: pair.rkt 71:6 (mcdr (mlist 1 2 3)) -- pair +TR opt: pair.rkt 72:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- pair +TR opt: pair.rkt 72:6 (mcdr (mcdr (mlist 1 2 3))) -- pair +TR opt: pair.rkt 72:12 (mcdr (mlist 1 2 3)) -- pair TR missed opt: pair.rkt 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) -- car/cdr on a potentially empty list -- caused by: 73:0 (set-mcar! (ann (mlist 2) (MListof Byte)) 2) -TR opt: pair.rkt 74:0 (set-mcar! (mlist 2 3 4) 2) -- mutable pair +TR opt: pair.rkt 74:0 (set-mcar! (mlist 2 3 4) 2) -- pair TR missed opt: pair.rkt 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 75:0 (set-mcdr! (ann (mlist 2) (MListof Byte)) (ann (mlist 2) (MListof Byte))) -TR opt: pair.rkt 77:0 (mcar (mcons 2 3)) -- mutable pair -TR opt: pair.rkt 78:0 (mcdr (mcons 2 3)) -- mutable pair -TR opt: pair.rkt 79:0 (set-mcar! (mcons 2 3) 3) -- mutable pair -TR opt: pair.rkt 80:0 (set-mcdr! (mcons 2 3) 4) -- mutable pair +TR opt: pair.rkt 77:0 (mcar (mcons 2 3)) -- pair +TR opt: pair.rkt 78:0 (mcdr (mcons 2 3)) -- pair +TR opt: pair.rkt 79:0 (set-mcar! (mcons 2 3) 3) -- pair +TR opt: pair.rkt 80:0 (set-mcdr! (mcons 2 3) 4) -- pair TR missed opt: pair.rkt 81:17 (mcar (quote ())) -- car/cdr on a potentially empty list -- caused by: 81:23 (quote ()) TR missed opt: pair.rkt 82:17 (mcdr (quote ())) -- car/cdr on a potentially empty list -- caused by: 82:23 (quote ()) TR missed opt: pair.rkt 83:17 (set-mcar! (quote ()) 2) -- car/cdr on a potentially empty list -- caused by: 83:28 (quote ()) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt index 8fc0a6c84f..387708171a 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/precision-loss.rkt @@ -1,10 +1,10 @@ #; ( -TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 24:3 (* 3/4 2/3) TR opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- binary float +TR missed opt: precision-loss.rkt 24:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 24:3 (* 3/4 2/3) TR opt: precision-loss.rkt 26:0 (+ 3/4 2.0) -- binary float -TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 28:3 (- 3/4) TR opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- binary float +TR missed opt: precision-loss.rkt 28:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 28:3 (- 3/4) TR opt: precision-loss.rkt 30: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 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- exact ops inside float expr -- caused by: 36:8 (* 3/4 2/3) TR missed opt: precision-loss.rkt 36:0 (* (ann (* 3/4 2/3) Real) 2.0) -- all args float-arg-expr, result not Float -- caused by: 36:11 3/4, 36:15 2/3 (2 times) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt index 080d062def..93f240a8ab 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt @@ -1,8 +1,8 @@ #; ( 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) -- binary nonzero fixnum 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 4.0+8.0i diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt index 929fcc5c69..c0fc52efde 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-small.rkt @@ -14,8 +14,8 @@ 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 35:3 1.0+2.0i -- unboxed literal -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: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 4.0+2.0i diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt index 67d17ddad2..a5dc02fd96 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt @@ -1,8 +1,8 @@ #; ( TR opt: float-complex-sin.rkt 14:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex -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: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 -0.0031853017931379904+0.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt index 3a82f7c540..d2a42daa68 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-real.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-real.rkt @@ -1,8 +1,8 @@ #; ( TR opt: float-real.rkt 18:0 (+ 2.3 (ann 3 Real)) -- binary float -TR missed opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- exact ops inside float expr -- caused by: 19:7 (* (ann 2 Integer) 3.2) TR opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- binary float +TR missed opt: float-real.rkt 19:0 (+ 2.3 (* (ann 2 Integer) 3.2)) -- exact ops inside float expr -- caused by: 19:7 (* (ann 2 Integer) 3.2) TR missed opt: float-real.rkt 19:7 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 19:15 2 TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact ops inside float expr -- caused by: 20:7 (* (ann 2 Integer) 3.1) TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- all args float-arg-expr, result not Float -- caused by: 20:15 2 (2 times) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt index 20612263fa..83145a6df5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt @@ -9,8 +9,8 @@ TR opt: make-polar.rkt 30:21 (make-polar 2.0 4.0) -- make-rectangular eliminatio 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 31:50 p -- unbox float-complex 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 32:50 p -- unboxed complex variable diff --git a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt index 4f61b8f20f..72d66b2376 100644 --- a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt @@ -1,12 +1,12 @@ #; ( -TR opt: mpair.rkt 19:0 (mcar x) -- mutable pair -TR opt: mpair.rkt 20:0 (mcdr x) -- mutable pair -TR opt: mpair.rkt 21:0 (set-mcar! x (+ 1 2)) -- mutable pair +TR opt: mpair.rkt 19:0 (mcar x) -- pair +TR opt: mpair.rkt 20:0 (mcdr x) -- pair +TR opt: mpair.rkt 21:0 (set-mcar! x (+ 1 2)) -- pair TR opt: mpair.rkt 21:13 (+ 1 2) -- fixnum bounded expr -TR opt: mpair.rkt 22:0 (set-mcdr! x (+ 1.0 2.0)) -- mutable pair +TR opt: mpair.rkt 22:0 (set-mcdr! x (+ 1.0 2.0)) -- pair TR opt: mpair.rkt 22:13 (+ 1.0 2.0) -- binary float -TR opt: mpair.rkt 28:6 (mcar x) -- mutable pair +TR opt: mpair.rkt 28:6 (mcar x) -- pair 1 1.0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt index af1bec9b10..2e4bd4ac99 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt @@ -1,16 +1,16 @@ #; ( TR opt: nested-let-loop.rkt 39: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 39:6 loop1 -- unboxed let loop TR opt: nested-let-loop.rkt 39:6 loop1 -- fun -> unboxed fun TR opt: nested-let-loop.rkt 39:6 loop1 -- unboxed function -> table -TR opt: nested-let-loop.rkt 39:6 loop1 -- unboxed let loop TR opt: nested-let-loop.rkt 41:8 r -- unboxed var -> table TR opt: nested-let-loop.rkt 41:28 0.0+0.0i -- unboxed literal TR opt: nested-let-loop.rkt 43:10 r -- unboxed complex variable TR opt: nested-let-loop.rkt 44: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 44:16 loop2 -- unboxed let loop TR opt: nested-let-loop.rkt 44:16 loop2 -- fun -> unboxed fun TR opt: nested-let-loop.rkt 44:16 loop2 -- unboxed function -> table -TR opt: nested-let-loop.rkt 44:16 loop2 -- unboxed let loop TR opt: nested-let-loop.rkt 46:18 s -- unboxed var -> table TR opt: nested-let-loop.rkt 46:38 0.0+0.0i -- unboxed literal TR opt: nested-let-loop.rkt 48:20 (loop1 (cdr x) (+ r s)) -- call to fun with unboxed args @@ -26,10 +26,10 @@ TR opt: nested-let-loop.rkt 49:20 (loop2 (cdr y) (+ s (car x) (car y))) -- unbox TR opt: nested-let-loop.rkt 49:27 (cdr y) -- pair TR opt: nested-let-loop.rkt 49:35 (+ s (car x) (car y)) -- unboxed binary float complex TR opt: nested-let-loop.rkt 49:38 s -- leave var unboxed -TR opt: nested-let-loop.rkt 49:40 (car x) -- pair TR opt: nested-let-loop.rkt 49:40 (car x) -- unbox float-complex -TR opt: nested-let-loop.rkt 49:48 (car y) -- pair +TR opt: nested-let-loop.rkt 49:40 (car x) -- pair TR opt: nested-let-loop.rkt 49:48 (car y) -- unbox float-complex +TR opt: nested-let-loop.rkt 49:48 (car y) -- pair 20.0+40.0i ) diff --git a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt index dd22fe7b20..164c9308e0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt @@ -1,17 +1,17 @@ #; ( TR opt: real-part-loop.rkt 29: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 29:6 loop -- unboxed let loop TR opt: real-part-loop.rkt 29:6 loop -- fun -> unboxed fun TR opt: real-part-loop.rkt 29:6 loop -- unboxed function -> table -TR opt: real-part-loop.rkt 29:6 loop -- unboxed let loop TR opt: real-part-loop.rkt 29:13 v -- unboxed var -> table TR opt: real-part-loop.rkt 29:15 0.0+1.0i -- unboxed literal TR opt: real-part-loop.rkt 30:6 (> (real-part v) 70000.2) -- binary float comp TR opt: real-part-loop.rkt 30:9 (real-part v) -- complex accessor elimination TR opt: real-part-loop.rkt 30:9 (real-part v) -- unboxed unary float complex TR opt: real-part-loop.rkt 30:20 v -- leave var unboxed -TR opt: real-part-loop.rkt 30:20 v -- unbox float-complex TR opt: real-part-loop.rkt 30:20 v -- unboxed complex variable +TR opt: real-part-loop.rkt 30:20 v -- unbox float-complex TR opt: real-part-loop.rkt 32:6 (loop (+ v 3.6)) -- call to fun with unboxed args TR opt: real-part-loop.rkt 32:6 (loop (+ v 3.6)) -- unboxed call site TR opt: real-part-loop.rkt 32:12 (+ v 3.6) -- unboxed binary float complex diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt index d428f28ab9..08e524e092 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt @@ -1,21 +1,21 @@ #; ( -TR opt: unboxed-for.rkt 33: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 33: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 30:0 #%module-begin -- in-list -TR opt: unboxed-for.rkt 33: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 33: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 33: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 function -> table -TR opt: unboxed-for.rkt 33: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 33: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 33: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 33: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 33: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 33: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 33: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 33: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 function -> table +TR opt: unboxed-for.rkt 33: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 33: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 30:0 #%module-begin -- in-list TR opt: unboxed-for.rkt 33: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 33:31 sum -- leave var unboxed -TR opt: unboxed-for.rkt 33:31 sum -- unbox float-complex -TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable -TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable -TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable TR opt: unboxed-for.rkt 33:31 sum -- unboxed var -> table +TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable +TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable +TR opt: unboxed-for.rkt 33:31 sum -- unbox float-complex +TR opt: unboxed-for.rkt 33:31 sum -- leave var unboxed +TR opt: unboxed-for.rkt 33:31 sum -- unboxed complex variable TR opt: unboxed-for.rkt 33:53 0.0+0.0i -- unboxed literal TR opt: unboxed-for.rkt 34:13 i -- unboxed complex variable TR opt: unboxed-for.rkt 34:13 i -- unboxed complex variable diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt index 0cff6cd29b..fcb4767233 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt @@ -1,9 +1,9 @@ #; ( TR opt: unboxed-let-functions6.rkt 26: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 26:6 loop -- unboxed let loop TR opt: unboxed-let-functions6.rkt 26:6 loop -- fun -> unboxed fun TR opt: unboxed-let-functions6.rkt 26:6 loop -- unboxed function -> table -TR opt: unboxed-let-functions6.rkt 26:6 loop -- unboxed let loop TR opt: unboxed-let-functions6.rkt 26:31 z -- unboxed var -> table TR opt: unboxed-let-functions6.rkt 26:51 0.0+0.0i -- unboxed literal TR opt: unboxed-let-functions6.rkt 29:10 (+ z 0.0+1.0i) -- unboxed binary float complex diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt index dc58153c65..54dc0c30ae 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt @@ -1,9 +1,9 @@ #; ( TR opt: unboxed-let-functions7.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 (loop (+ z (car l)) (cdr l)))) -- unboxed call site +TR opt: unboxed-let-functions7.rkt 25:6 loop -- unboxed let loop TR opt: unboxed-let-functions7.rkt 25:6 loop -- fun -> unboxed fun TR opt: unboxed-let-functions7.rkt 25:6 loop -- unboxed function -> table -TR opt: unboxed-let-functions7.rkt 25:6 loop -- unboxed let loop TR opt: unboxed-let-functions7.rkt 25:31 z -- unboxed var -> table TR opt: unboxed-let-functions7.rkt 25:51 0.0+0.0i -- unboxed literal TR opt: unboxed-let-functions7.rkt 28:6 z -- unboxed complex variable