From f808b49551da7040e3a00774b5b469f9f02b259c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 2 Jun 2011 18:10:30 -0400 Subject: [PATCH] Change log message to reflect new behavior. original commit: cb706aab9c8ade7b929f7aa9655fe3d302acc67e --- .../unexpected-complex.rkt | 2 +- .../optimizer/tests/float-complex-fixnum.rkt | 2 +- .../tests/float-complex-float-div.rkt | 18 +++++++++--------- .../tests/float-complex-float-mul.rkt | 14 +++++++------- .../tests/float-complex-float-small.rkt | 14 +++++++------- .../optimizer/tests/float-complex-float.rkt | 8 ++++---- .../optimizer/tests/float-complex-integer.rkt | 2 +- .../optimizer/tests/float-complex-sin.rkt | 2 +- .../optimizer/tests/real-part-loop.rkt | 2 +- .../optimizer/tests/unboxed-let-functions3.rkt | 2 +- .../optimizer/tests/unboxed-let-functions4.rkt | 2 +- .../optimizer/tests/unboxed-let-functions6.rkt | 2 +- .../optimizer/tests/unboxed-let-functions7.rkt | 2 +- .../typed-scheme/optimizer/float-complex.rkt | 2 +- 14 files changed, 37 insertions(+), 37 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt b/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt index e9da7de6..4680c0db 100644 --- a/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/missed-optimizations/unexpected-complex.rkt @@ -4,7 +4,7 @@ unexpected-complex.rkt 16:0 (#%app sqrt (quote 4)) -- unexpected complex type unexpected-complex.rkt 17:0 (#%app + (quote 1.2+3.4i) (quote 2.0)) -- unboxed float complex unexpected-complex.rkt 17:1 + -- unboxed binary float complex unexpected-complex.rkt 17:3 1.2+3.4i -- unboxed literal -unexpected-complex.rkt 17:12 (quote 2.0) -- float-coerce-expr in complex ops +unexpected-complex.rkt 17:12 (quote 2.0) -- float-arg-expr in complex ops 2 3.2+3.4i ) 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 08f275ab..880de826 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-fixnum.rkt @@ -2,7 +2,7 @@ ( float-complex-fixnum.rkt 15:0 (#%app + (#%app modulo (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) -- unboxed float complex float-complex-fixnum.rkt 15:1 + -- unboxed binary float complex -float-complex-fixnum.rkt 15:3 (#%app modulo (quote 2) (quote 1)) -- float-coerce-expr in complex ops +float-complex-fixnum.rkt 15:3 (#%app modulo (quote 2) (quote 1)) -- float-arg-expr in complex ops float-complex-fixnum.rkt 15:4 modulo -- binary nonzero fixnum float-complex-fixnum.rkt 15:16 1.0+2.0i -- unboxed literal float-complex-fixnum.rkt 15:25 3.0+6.0i -- unboxed literal diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt index 587ccff1..770da1a1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-div.rkt @@ -6,36 +6,36 @@ float-complex-float-div.rkt 48:52 imag-part -- unboxed float complex float-complex-float-div.rkt 48:62 x -- unbox float-complex float-complex-float-div.rkt 50:6 (#%app / (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex float-complex-float-div.rkt 50:7 / -- unboxed binary float complex -float-complex-float-div.rkt 50:9 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 50:9 (quote 1.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 50:13 2.0+4.0i -- unboxed literal float-complex-float-div.rkt 51:6 (#%app / (quote 1.0+2.0i) (quote 2.0)) -- unboxed float complex float-complex-float-div.rkt 51:7 / -- unboxed binary float complex float-complex-float-div.rkt 51:9 1.0+2.0i -- unboxed literal -float-complex-float-div.rkt 51:18 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 51:18 (quote 2.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 52:6 (#%app / (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float-div.rkt 52:7 / -- unboxed binary float complex -float-complex-float-div.rkt 52:9 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 52:9 (quote 1.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 52:13 2.0+4.0i -- unboxed literal float-complex-float-div.rkt 52:22 3.0+6.0i -- unboxed literal float-complex-float-div.rkt 53:6 (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float-div.rkt 53:7 / -- unboxed binary float complex float-complex-float-div.rkt 53:9 1.0+2.0i -- unboxed literal -float-complex-float-div.rkt 53:18 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 53:18 (quote 2.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 53:22 3.0+6.0i -- unboxed literal float-complex-float-div.rkt 54:6 (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex float-complex-float-div.rkt 54:7 / -- unboxed binary float complex float-complex-float-div.rkt 54:9 1.0+2.0i -- unboxed literal float-complex-float-div.rkt 54:18 2.0+4.0i -- unboxed literal -float-complex-float-div.rkt 54:27 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 54:27 (quote 3.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 55:6 (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) -- unboxed float complex float-complex-float-div.rkt 55:7 / -- unboxed binary float complex float-complex-float-div.rkt 55:9 1.0+2.0i -- unboxed literal -float-complex-float-div.rkt 55:18 (quote 2.0) -- float-coerce-expr in complex ops -float-complex-float-div.rkt 55:22 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 55:18 (quote 2.0) -- float-arg-expr in complex ops +float-complex-float-div.rkt 55:22 (quote 3.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 56:6 (#%app / (quote 1.0) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float-div.rkt 56:7 / -- unboxed binary float complex -float-complex-float-div.rkt 56:9 (quote 1.0) -- float-coerce-expr in complex ops -float-complex-float-div.rkt 56:13 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float-div.rkt 56:9 (quote 1.0) -- float-arg-expr in complex ops +float-complex-float-div.rkt 56:13 (quote 2.0) -- float-arg-expr in complex ops float-complex-float-div.rkt 56:17 3.0+6.0i -- unboxed literal '("0.1000000000-0.2000000000" "0.50000000001.0000000000" "-0.0200000000-0.0266666667" "0.16666666670.0000000000" "0.16666666670.0000000000" "0.16666666670.3333333333" "0.0333333333-0.0666666667") ) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt index 358222c2..ef5e7d0e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float-mul.rkt @@ -2,32 +2,32 @@ ( float-complex-float-mul.rkt 42:0 (#%app * (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex float-complex-float-mul.rkt 42:1 * -- unboxed binary float complex -float-complex-float-mul.rkt 42:3 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float-mul.rkt 42:3 (quote 1.0) -- float-arg-expr in complex ops float-complex-float-mul.rkt 42:7 2.0+4.0i -- unboxed literal float-complex-float-mul.rkt 43:0 (#%app * (quote 1.0+2.0i) (quote 2.0)) -- unboxed float complex float-complex-float-mul.rkt 43:1 * -- unboxed binary float complex float-complex-float-mul.rkt 43:3 1.0+2.0i -- unboxed literal -float-complex-float-mul.rkt 43:12 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float-mul.rkt 43:12 (quote 2.0) -- float-arg-expr in complex ops float-complex-float-mul.rkt 44:0 (#%app * (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float-mul.rkt 44:1 * -- unboxed binary float complex -float-complex-float-mul.rkt 44:3 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float-mul.rkt 44:3 (quote 1.0) -- float-arg-expr in complex ops float-complex-float-mul.rkt 44:7 2.0+4.0i -- unboxed literal float-complex-float-mul.rkt 44:16 3.0+6.0i -- unboxed literal float-complex-float-mul.rkt 45:0 (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float-mul.rkt 45:1 * -- unboxed binary float complex float-complex-float-mul.rkt 45:3 1.0+2.0i -- unboxed literal -float-complex-float-mul.rkt 45:12 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float-mul.rkt 45:12 (quote 2.0) -- float-arg-expr in complex ops float-complex-float-mul.rkt 45:16 3.0+6.0i -- unboxed literal float-complex-float-mul.rkt 46:0 (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex float-complex-float-mul.rkt 46:1 * -- unboxed binary float complex float-complex-float-mul.rkt 46:3 1.0+2.0i -- unboxed literal float-complex-float-mul.rkt 46:12 2.0+4.0i -- unboxed literal -float-complex-float-mul.rkt 46:21 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float-mul.rkt 46:21 (quote 3.0) -- float-arg-expr in complex ops float-complex-float-mul.rkt 47:0 (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) -- unboxed float complex float-complex-float-mul.rkt 47:1 * -- unboxed binary float complex float-complex-float-mul.rkt 47:3 1.0+2.0i -- unboxed literal -float-complex-float-mul.rkt 47:12 (quote 2.0) -- float-coerce-expr in complex ops -float-complex-float-mul.rkt 47:16 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float-mul.rkt 47:12 (quote 2.0) -- float-arg-expr in complex ops +float-complex-float-mul.rkt 47:16 (quote 3.0) -- float-arg-expr in complex ops 2.0+4.0i 2.0+4.0i -18.0+24.0i 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 521e923a..daadb306 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 @@ -3,26 +3,26 @@ float-complex-float-small.rkt 36:0 (#%app + (quote 1.0+2.0i) (quote 3.0)) -- unboxed float complex float-complex-float-small.rkt 36:1 + -- unboxed binary float complex float-complex-float-small.rkt 36:3 1.0+2.0i -- unboxed literal -float-complex-float-small.rkt 36:12 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float-small.rkt 36:12 (quote 3.0) -- float-arg-expr in complex ops float-complex-float-small.rkt 37:0 (#%app + (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex float-complex-float-small.rkt 37:1 + -- unboxed binary float complex -float-complex-float-small.rkt 37:3 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float-small.rkt 37:3 (quote 1.0) -- float-arg-expr in complex ops float-complex-float-small.rkt 37:7 2.0+4.0i -- unboxed literal float-complex-float-small.rkt 38:0 (#%app - (quote 1.0+2.0i) (quote 3.0)) -- unboxed float complex float-complex-float-small.rkt 38:1 - -- unboxed binary float complex float-complex-float-small.rkt 38:3 1.0+2.0i -- unboxed literal -float-complex-float-small.rkt 38:12 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float-small.rkt 38:12 (quote 3.0) -- float-arg-expr in complex ops float-complex-float-small.rkt 39:0 (#%app - (quote 1.0) (quote 2.0+4.0i)) -- unboxed float complex float-complex-float-small.rkt 39:1 - -- unboxed binary float complex -float-complex-float-small.rkt 39:3 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float-small.rkt 39:3 (quote 1.0) -- float-arg-expr in complex ops float-complex-float-small.rkt 39:7 2.0+4.0i -- unboxed literal float-complex-float-small.rkt 40:0 (#%app + (quote 1.0+2.0i) (#%app + (quote 1.0) (quote 2.0))) -- unboxed float complex float-complex-float-small.rkt 40:1 + -- unboxed binary float complex float-complex-float-small.rkt 40:3 1.0+2.0i -- unboxed literal -float-complex-float-small.rkt 40:12 (#%app + (quote 1.0) (quote 2.0)) -- float-coerce-expr in complex ops +float-complex-float-small.rkt 40:12 (#%app + (quote 1.0) (quote 2.0)) -- float-arg-expr in complex ops float-complex-float-small.rkt 40:13 + -- binary float -float-complex-float-small.rkt 40:15 (quote 1.0) -- float-coerce-expr in complex ops -float-complex-float-small.rkt 40:19 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float-small.rkt 40:15 (quote 1.0) -- float-arg-expr in complex ops +float-complex-float-small.rkt 40:19 (quote 2.0) -- float-arg-expr in complex ops 4.0+2.0i 3.0+4.0i -2.0+2.0i diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt index e309ea69..f3ef0ef7 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-float.rkt @@ -3,23 +3,23 @@ float-complex-float.rkt 32:0 (#%app + (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float.rkt 32:1 + -- unboxed binary float complex float-complex-float.rkt 32:3 1.0+2.0i -- unboxed literal -float-complex-float.rkt 32:12 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float.rkt 32:12 (quote 2.0) -- float-arg-expr in complex ops float-complex-float.rkt 32:16 3.0+6.0i -- unboxed literal float-complex-float.rkt 33:0 (#%app - (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float.rkt 33:1 - -- unboxed binary float complex -float-complex-float.rkt 33:3 (quote 1.0) -- float-coerce-expr in complex ops +float-complex-float.rkt 33:3 (quote 1.0) -- float-arg-expr in complex ops float-complex-float.rkt 33:7 2.0+4.0i -- unboxed literal float-complex-float.rkt 33:16 3.0+6.0i -- unboxed literal float-complex-float.rkt 34:0 (#%app - (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) -- unboxed float complex float-complex-float.rkt 34:1 - -- unboxed binary float complex float-complex-float.rkt 34:3 1.0+2.0i -- unboxed literal -float-complex-float.rkt 34:12 (quote 2.0) -- float-coerce-expr in complex ops +float-complex-float.rkt 34:12 (quote 2.0) -- float-arg-expr in complex ops float-complex-float.rkt 34:16 3.0+6.0i -- unboxed literal float-complex-float.rkt 35:0 (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) -- unboxed float complex float-complex-float.rkt 35:1 - -- unboxed binary float complex float-complex-float.rkt 35:3 1.0+2.0i -- unboxed literal float-complex-float.rkt 35:12 2.0+4.0i -- unboxed literal -float-complex-float.rkt 35:21 (quote 3.0) -- float-coerce-expr in complex ops +float-complex-float.rkt 35:21 (quote 3.0) -- float-arg-expr in complex ops 6.0+8.0i -4.0-10.0i -4.0-4.0i diff --git a/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt b/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt index a72b8c39..cbbeed70 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-integer.rkt @@ -2,7 +2,7 @@ ( float-complex-integer.rkt 13:0 (#%app + (#%app expt (quote 2) (quote 100)) (quote 1.0+2.0i)) -- unboxed float complex float-complex-integer.rkt 13:1 + -- unboxed binary float complex -float-complex-integer.rkt 13:3 (#%app expt (quote 2) (quote 100)) -- float-coerce-expr in complex ops +float-complex-integer.rkt 13:3 (#%app expt (quote 2) (quote 100)) -- float-arg-expr in complex ops float-complex-integer.rkt 13:16 1.0+2.0i -- unboxed literal 1.2676506002282294e+30+2.0i ) 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 fb4222eb..df354592 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt @@ -2,7 +2,7 @@ ( float-complex-sin.rkt 16:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex float-complex-sin.rkt 16:11 + -- unboxed binary float complex -float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- float-coerce-expr in complex ops +float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- float-arg-expr in complex ops float-complex-sin.rkt 16:13 (#%app sin (#%app * t (quote 6.28))) -- unary, arg float-arg-expr, return type not Float float-complex-sin.rkt 16:18 (#%app * t (quote 6.28)) -- binary, args all float-arg-expr, return type not Float -- caused by: 16:21 t float-complex-sin.rkt 16:30 0.0+0.0i -- unboxed literal 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 1636e959..7eb135e2 100644 --- a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt @@ -17,7 +17,7 @@ real-part-loop.rkt 33:7 loop -- call to fun with unboxed args real-part-loop.rkt 33:7 loop -- unboxed call site real-part-loop.rkt 33:13 + -- unboxed binary float complex real-part-loop.rkt 33:15 v -- leave var unboxed -real-part-loop.rkt 33:17 (quote 3.6) -- float-coerce-expr in complex ops +real-part-loop.rkt 33:17 (quote 3.6) -- float-arg-expr in complex ops 0 ) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt index b0ed1b8b..e752deb3 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt @@ -7,7 +7,7 @@ unboxed-let-functions3.rkt 24:18 (#%app + x y) -- unboxed float complex unboxed-let-functions3.rkt 24:19 + -- unboxed binary float complex unboxed-let-functions3.rkt 24:21 x -- leave var unboxed unboxed-let-functions3.rkt 24:21 x -- unbox float-complex -unboxed-let-functions3.rkt 24:23 y -- float-coerce-expr in complex ops +unboxed-let-functions3.rkt 24:23 y -- float-arg-expr in complex ops unboxed-let-functions3.rkt 25:3 f -- call to fun with unboxed args unboxed-let-functions3.rkt 25:3 f -- unboxed call site unboxed-let-functions3.rkt 25:6 + -- unboxed binary float complex diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt index a27b8edc..6c7c3d4a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt @@ -7,7 +7,7 @@ unboxed-let-functions4.rkt 24:18 (#%app + x y) -- unboxed float complex unboxed-let-functions4.rkt 24:19 + -- unboxed binary float complex unboxed-let-functions4.rkt 24:21 x -- leave var unboxed unboxed-let-functions4.rkt 24:21 x -- unbox float-complex -unboxed-let-functions4.rkt 24:23 y -- float-coerce-expr in complex ops +unboxed-let-functions4.rkt 24:23 y -- float-arg-expr in complex ops unboxed-let-functions4.rkt 25:3 f -- call to fun with unboxed args unboxed-let-functions4.rkt 25:3 f -- unboxed call site unboxed-let-functions4.rkt 26:6 + -- unboxed binary float complex 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 fc15dd67..9db3f373 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt @@ -15,7 +15,7 @@ unboxed-let-functions6.rkt 31:11 loop -- call to fun with unboxed args unboxed-let-functions6.rkt 31:11 loop -- unboxed call site unboxed-let-functions6.rkt 31:17 + -- unboxed binary float complex unboxed-let-functions6.rkt 31:19 z -- leave var unboxed -unboxed-let-functions6.rkt 31:21 (#%app car l) -- float-coerce-expr in complex ops +unboxed-let-functions6.rkt 31:21 (#%app car l) -- float-arg-expr in complex ops unboxed-let-functions6.rkt 31:22 car -- pair unboxed-let-functions6.rkt 32:17 cdr -- pair 6.0+1.0i 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 529bbace..eb3b9b61 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt @@ -13,7 +13,7 @@ unboxed-let-functions7.rkt 30:12 (#%app + z (#%app car l)) -- unboxed float comp unboxed-let-functions7.rkt 30:13 + -- unboxed binary float complex unboxed-let-functions7.rkt 30:15 z -- leave var unboxed unboxed-let-functions7.rkt 30:15 z -- unbox float-complex -unboxed-let-functions7.rkt 30:17 (#%app car l) -- float-coerce-expr in complex ops +unboxed-let-functions7.rkt 30:17 (#%app car l) -- float-arg-expr in complex ops unboxed-let-functions7.rkt 30:18 car -- pair unboxed-let-functions7.rkt 31:13 cdr -- pair 6.0+0.0i diff --git a/collects/typed-scheme/optimizer/float-complex.rkt b/collects/typed-scheme/optimizer/float-complex.rkt index 3ec8740b..4ce6797a 100644 --- a/collects/typed-scheme/optimizer/float-complex.rkt +++ b/collects/typed-scheme/optimizer/float-complex.rkt @@ -244,7 +244,7 @@ (pattern e:float-arg-expr #:with real-binding (unboxed-gensym 'unboxed-float-) #:with imag-binding #f - #:when (log-optimization "float-coerce-expr in complex ops" #'e) + #:when (log-optimization "float-arg-expr in complex ops" #'e) #:with (bindings ...) #`(((real-binding) e.opt)))