From ca16ac4db50032324c2886766f477909f38b983c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 27 Aug 2010 12:22:19 -0400 Subject: [PATCH] Improved logging since it's now used for testing. --- .../optimizer/generic/binary-fixnum.rkt.log | 2 +- .../generic/binary-nonzero-fixnum.rkt.log | 2 +- .../generic/fixnum-comparison.rkt.log | 4 +- .../optimizer/generic/flvector-length.rkt.log | 2 +- .../inexact-complex-conjugate-top.rkt.log | 2 + .../generic/inexact-complex-conjugate.rkt.log | 2 + .../generic/inexact-complex-div.rkt.log | 3 ++ .../generic/inexact-complex-fixnum.rkt.log | 4 +- .../generic/inexact-complex-float-div.rkt.log | 30 ++++++++---- .../generic/inexact-complex-float-mul.rkt.log | 23 ++++++--- .../inexact-complex-float-small.rkt.log | 19 ++++--- .../generic/inexact-complex-float.rkt.log | 16 ++++-- .../generic/inexact-complex-i.rkt.log | 3 ++ .../generic/inexact-complex-integer.rkt.log | 3 +- .../generic/inexact-complex-mult.rkt.log | 3 ++ .../generic/inexact-complex-parts.rkt.log | 3 ++ .../generic/inexact-complex-parts2.rkt.log | 16 ++++++ .../generic/inexact-complex-parts3.rkt.log | 16 +++++- .../generic/inexact-complex-sin.rkt.log | 3 +- .../optimizer/generic/inexact-complex.rkt.log | 4 ++ .../generic/invalid-unboxed-let.rkt.log | 12 +++++ .../generic/invalid-unboxed-let2.rkt.log | 6 +++ .../generic/known-vector-length.rkt.log | 4 +- .../optimizer/generic/magnitude.rkt.log | 1 + .../optimizer/generic/make-polar.rkt.log | 1 + .../generic/maybe-exact-complex.rkt.log | 2 + .../generic/n-ary-inexact-complex.rkt.log | 4 ++ .../generic/nested-inexact-complex.rkt.log | 3 ++ .../optimizer/generic/nested-let-loop.rkt.log | 23 ++++++++- .../generic/nested-unboxed-let.rkt.log | 10 ++++ .../optimizer/generic/real-part-loop.rkt.log | 15 ++++-- .../optimizer/generic/string-length.rkt.log | 4 +- .../optimizer/generic/unboxed-for.rkt.log | 31 +++++++++--- .../generic/unboxed-let-functions1.rkt.log | 10 ++++ .../generic/unboxed-let-functions2.rkt.log | 14 ++++++ .../generic/unboxed-let-functions3.rkt.log | 12 ++++- .../generic/unboxed-let-functions4.rkt.log | 12 ++++- .../generic/unboxed-let-functions5.rkt.log | 2 + .../generic/unboxed-let-functions6.rkt.log | 13 ++++- .../generic/unboxed-let-functions7.rkt.log | 14 ++++-- .../generic/unboxed-let-functions8.rkt.log | 2 + .../optimizer/generic/unboxed-let.rkt.log | 13 +++++ .../optimizer/generic/unboxed-let2.rkt.log | 10 ++++ .../optimizer/generic/unboxed-let3.rkt.log | 8 ++- .../unboxed-letrec-syntaxes+values.rkt.log | 6 +++ .../optimizer/generic/unboxed-letrec.rkt.log | 9 ++++ .../generic/unboxed-make-rectangular.rkt.log | 8 +++ .../generic/vector-length-nested.rkt.log | 2 +- .../optimizer/generic/vector-length.rkt.log | 2 +- .../optimizer/inexact-complex.rkt | 49 +++++++++++-------- collects/typed-scheme/optimizer/string.rkt | 4 +- .../typed-scheme/optimizer/unboxed-let.rkt | 10 +++- collects/typed-scheme/optimizer/vector.rkt | 6 +-- 53 files changed, 393 insertions(+), 89 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log index a87037e32c..93ecec61d9 100644 --- a/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log @@ -1,2 +1,2 @@ -binary-fixnum.rkt line 6 col 16 - vector-length - vector +binary-fixnum.rkt line 6 col 16 - vector-length - vector-length binary-fixnum.rkt line 6 col 3 - bitwise-and - binary fixnum diff --git a/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log index e9de9abcb5..631f3e506d 100644 --- a/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log @@ -1,3 +1,3 @@ -binary-nonzero-fixnum.rkt line 4 col 11 - vector-length - vector +binary-nonzero-fixnum.rkt line 4 col 11 - vector-length - vector-length binary-nonzero-fixnum.rkt line 4 col 1 - quotient - binary nonzero fixnum 1 diff --git a/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log b/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log index d52f91eb49..f40fcf9321 100644 --- a/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log @@ -1,4 +1,4 @@ -fixnum-comparison.rkt line 4 col 4 - vector-length - vector -#f line #f col #f - op - string +fixnum-comparison.rkt line 4 col 4 - vector-length - vector-length +#f line #f col #f - op - string-length fixnum-comparison.rkt line 4 col 1 - < - binary fixnum #t diff --git a/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log index 0cf9cb01f9..1a908efd74 100644 --- a/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log @@ -1,2 +1,2 @@ -flvector-length.rkt line 4 col 1 - flvector-length - flvector +flvector-length.rkt line 4 col 1 - flvector-length - flvector-length 2 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log index 3a2a9a0b4a..c32d440e29 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log @@ -1,3 +1,5 @@ +inexact-complex-conjugate-top.rkt line 4 col 14 - 1.0+2.0i - unboxed literal +inexact-complex-conjugate-top.rkt line 4 col 23 - 2.0+4.0i - unboxed literal inexact-complex-conjugate-top.rkt line 4 col 12 - + - unboxed binary inexact complex inexact-complex-conjugate-top.rkt line 4 col 1 - conjugate - unboxed unary inexact complex inexact-complex-conjugate-top.rkt line 4 col 0 - (#%app conjugate (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) - unboxed inexact complex diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log index 59741b7241..02fe881a04 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log @@ -1,4 +1,6 @@ +inexact-complex-conjugate.rkt line 4 col 14 - 1.0+2.0i - unboxed literal inexact-complex-conjugate.rkt line 4 col 4 - conjugate - unboxed unary inexact complex +inexact-complex-conjugate.rkt line 4 col 35 - 2.0+4.0i - unboxed literal inexact-complex-conjugate.rkt line 4 col 25 - conjugate - unboxed unary inexact complex inexact-complex-conjugate.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex-conjugate.rkt line 4 col 0 - (#%app + (#%app conjugate (quote 1.0+2.0i)) (#%app conjugate (quote 2.0+4.0i))) - unboxed inexact complex diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log index 5ded3cf052..bb8d333a39 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log @@ -1,3 +1,6 @@ +inexact-complex-div.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-div.rkt line 4 col 12 - 2.0+4.0i - unboxed literal +inexact-complex-div.rkt line 4 col 21 - 3.0+6.0i - unboxed literal inexact-complex-div.rkt line 4 col 1 - / - unboxed binary inexact complex inexact-complex-div.rkt line 4 col 0 - (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex 0.03333333333333333-0.06666666666666667i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log index 158029dae9..b772e2f28b 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log @@ -1,6 +1,8 @@ inexact-complex-fixnum.rkt line 4 col 4 - quotient - binary nonzero fixnum inexact-complex-fixnum.rkt line 4 col 4 - quotient - binary nonzero fixnum -inexact-complex-fixnum.rkt line 4 col 3 - (#%app quotient (quote 2) (quote 1)) - float-coerce-expr +inexact-complex-fixnum.rkt line 4 col 3 - (#%app quotient (quote 2) (quote 1)) - float-coerce-expr in complex ops +inexact-complex-fixnum.rkt line 4 col 18 - 1.0+2.0i - unboxed literal +inexact-complex-fixnum.rkt line 4 col 27 - 3.0+6.0i - unboxed literal inexact-complex-fixnum.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex-fixnum.rkt line 4 col 0 - (#%app + (#%app quotient (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex 6.0+8.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log index 14023391d8..66974f7510 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log @@ -1,26 +1,38 @@ +inexact-complex-float-div.rkt line 5 col 62 - x - unbox inexact-complex inexact-complex-float-div.rkt line 5 col 52 - real-part - unboxed inexact complex +inexact-complex-float-div.rkt line 6 col 62 - x - unbox inexact-complex inexact-complex-float-div.rkt line 6 col 52 - imag-part - unboxed inexact complex -inexact-complex-float-div.rkt line 8 col 9 - (quote 1.0) - float-coerce-expr +inexact-complex-float-div.rkt line 8 col 9 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-div.rkt line 8 col 13 - 2.0+4.0i - unboxed literal inexact-complex-float-div.rkt line 8 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 8 col 6 - (#%app / (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex -inexact-complex-float-div.rkt line 9 col 18 - (quote 2.0) - float-coerce-expr +inexact-complex-float-div.rkt line 9 col 9 - 1.0+2.0i - unboxed literal +inexact-complex-float-div.rkt line 9 col 18 - (quote 2.0) - float-coerce-expr in complex ops inexact-complex-float-div.rkt line 9 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 9 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0)) - unboxed inexact complex -inexact-complex-float-div.rkt line 10 col 9 - (quote 1.0) - float-coerce-expr +inexact-complex-float-div.rkt line 10 col 9 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-div.rkt line 10 col 13 - 2.0+4.0i - unboxed literal +inexact-complex-float-div.rkt line 10 col 22 - 3.0+6.0i - unboxed literal inexact-complex-float-div.rkt line 10 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 10 col 6 - (#%app / (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float-div.rkt line 11 col 18 - (quote 2.0) - float-coerce-expr +inexact-complex-float-div.rkt line 11 col 9 - 1.0+2.0i - unboxed literal +inexact-complex-float-div.rkt line 11 col 18 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float-div.rkt line 11 col 22 - 3.0+6.0i - unboxed literal inexact-complex-float-div.rkt line 11 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 11 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float-div.rkt line 12 col 27 - (quote 3.0) - float-coerce-expr +inexact-complex-float-div.rkt line 12 col 9 - 1.0+2.0i - unboxed literal +inexact-complex-float-div.rkt line 12 col 18 - 2.0+4.0i - unboxed literal +inexact-complex-float-div.rkt line 12 col 27 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float-div.rkt line 12 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 12 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex -inexact-complex-float-div.rkt line 13 col 18 - (quote 2.0) - float-coerce-expr -inexact-complex-float-div.rkt line 13 col 22 - (quote 3.0) - float-coerce-expr +inexact-complex-float-div.rkt line 13 col 9 - 1.0+2.0i - unboxed literal +inexact-complex-float-div.rkt line 13 col 18 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float-div.rkt line 13 col 22 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float-div.rkt line 13 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 13 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) - unboxed inexact complex -inexact-complex-float-div.rkt line 14 col 9 - (quote 1.0) - float-coerce-expr -inexact-complex-float-div.rkt line 14 col 13 - (quote 2.0) - float-coerce-expr +inexact-complex-float-div.rkt line 14 col 9 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-div.rkt line 14 col 13 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float-div.rkt line 14 col 17 - 3.0+6.0i - unboxed literal inexact-complex-float-div.rkt line 14 col 7 - / - unboxed binary inexact complex inexact-complex-float-div.rkt line 14 col 6 - (#%app / (quote 1.0) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact 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-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log index f9a74fb51e..8df845cb0f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log @@ -1,20 +1,29 @@ -inexact-complex-float-mul.rkt line 4 col 3 - (quote 1.0) - float-coerce-expr +inexact-complex-float-mul.rkt line 4 col 3 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-mul.rkt line 4 col 7 - 2.0+4.0i - unboxed literal inexact-complex-float-mul.rkt line 4 col 1 - * - unboxed binary inexact complex inexact-complex-float-mul.rkt line 4 col 0 - (#%app * (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex -inexact-complex-float-mul.rkt line 5 col 12 - (quote 2.0) - float-coerce-expr +inexact-complex-float-mul.rkt line 5 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-mul.rkt line 5 col 12 - (quote 2.0) - float-coerce-expr in complex ops inexact-complex-float-mul.rkt line 5 col 1 - * - unboxed binary inexact complex inexact-complex-float-mul.rkt line 5 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0)) - unboxed inexact complex -inexact-complex-float-mul.rkt line 6 col 3 - (quote 1.0) - float-coerce-expr +inexact-complex-float-mul.rkt line 6 col 3 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-mul.rkt line 6 col 7 - 2.0+4.0i - unboxed literal +inexact-complex-float-mul.rkt line 6 col 16 - 3.0+6.0i - unboxed literal inexact-complex-float-mul.rkt line 6 col 1 - * - unboxed binary inexact complex inexact-complex-float-mul.rkt line 6 col 0 - (#%app * (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float-mul.rkt line 7 col 12 - (quote 2.0) - float-coerce-expr +inexact-complex-float-mul.rkt line 7 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-mul.rkt line 7 col 12 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float-mul.rkt line 7 col 16 - 3.0+6.0i - unboxed literal inexact-complex-float-mul.rkt line 7 col 1 - * - unboxed binary inexact complex inexact-complex-float-mul.rkt line 7 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float-mul.rkt line 8 col 21 - (quote 3.0) - float-coerce-expr +inexact-complex-float-mul.rkt line 8 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-mul.rkt line 8 col 12 - 2.0+4.0i - unboxed literal +inexact-complex-float-mul.rkt line 8 col 21 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float-mul.rkt line 8 col 1 - * - unboxed binary inexact complex inexact-complex-float-mul.rkt line 8 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex -inexact-complex-float-mul.rkt line 9 col 12 - (quote 2.0) - float-coerce-expr -inexact-complex-float-mul.rkt line 9 col 16 - (quote 3.0) - float-coerce-expr +inexact-complex-float-mul.rkt line 9 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-mul.rkt line 9 col 12 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float-mul.rkt line 9 col 16 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float-mul.rkt line 9 col 1 - * - unboxed binary inexact complex inexact-complex-float-mul.rkt line 9 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) - unboxed inexact complex 2.0+4.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log index 6c47f2cfee..2af438d5b4 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log @@ -1,19 +1,24 @@ -inexact-complex-float-small.rkt line 4 col 12 - (quote 3.0) - float-coerce-expr +inexact-complex-float-small.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-small.rkt line 4 col 12 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float-small.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex-float-small.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 3.0)) - unboxed inexact complex -inexact-complex-float-small.rkt line 5 col 3 - (quote 1.0) - float-coerce-expr +inexact-complex-float-small.rkt line 5 col 3 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-small.rkt line 5 col 7 - 2.0+4.0i - unboxed literal inexact-complex-float-small.rkt line 5 col 1 - + - unboxed binary inexact complex inexact-complex-float-small.rkt line 5 col 0 - (#%app + (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex -inexact-complex-float-small.rkt line 6 col 12 - (quote 3.0) - float-coerce-expr +inexact-complex-float-small.rkt line 6 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-small.rkt line 6 col 12 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float-small.rkt line 6 col 1 - - - unboxed binary inexact complex inexact-complex-float-small.rkt line 6 col 0 - (#%app - (quote 1.0+2.0i) (quote 3.0)) - unboxed inexact complex -inexact-complex-float-small.rkt line 7 col 3 - (quote 1.0) - float-coerce-expr +inexact-complex-float-small.rkt line 7 col 3 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-small.rkt line 7 col 7 - 2.0+4.0i - unboxed literal inexact-complex-float-small.rkt line 7 col 1 - - - unboxed binary inexact complex inexact-complex-float-small.rkt line 7 col 0 - (#%app - (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex -inexact-complex-float-small.rkt line 8 col 15 - (quote 1.0) - float-coerce-expr -inexact-complex-float-small.rkt line 8 col 19 - (quote 2.0) - float-coerce-expr +inexact-complex-float-small.rkt line 8 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float-small.rkt line 8 col 15 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float-small.rkt line 8 col 19 - (quote 2.0) - float-coerce-expr in complex ops inexact-complex-float-small.rkt line 8 col 13 - + - binary float -inexact-complex-float-small.rkt line 8 col 12 - (#%app + (quote 1.0) (quote 2.0)) - float-coerce-expr +inexact-complex-float-small.rkt line 8 col 12 - (#%app + (quote 1.0) (quote 2.0)) - float-coerce-expr in complex ops inexact-complex-float-small.rkt line 8 col 1 - + - unboxed binary inexact complex inexact-complex-float-small.rkt line 8 col 0 - (#%app + (quote 1.0+2.0i) (#%app + (quote 1.0) (quote 2.0))) - unboxed inexact complex 4.0+2.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log index d2b064394d..ccf9a57c4c 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log @@ -1,13 +1,21 @@ -inexact-complex-float.rkt line 4 col 12 - (quote 2.0) - float-coerce-expr +inexact-complex-float.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float.rkt line 4 col 12 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float.rkt line 4 col 16 - 3.0+6.0i - unboxed literal inexact-complex-float.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex-float.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float.rkt line 5 col 3 - (quote 1.0) - float-coerce-expr +inexact-complex-float.rkt line 5 col 3 - (quote 1.0) - float-coerce-expr in complex ops +inexact-complex-float.rkt line 5 col 7 - 2.0+4.0i - unboxed literal +inexact-complex-float.rkt line 5 col 16 - 3.0+6.0i - unboxed literal inexact-complex-float.rkt line 5 col 1 - - - unboxed binary inexact complex inexact-complex-float.rkt line 5 col 0 - (#%app - (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float.rkt line 6 col 12 - (quote 2.0) - float-coerce-expr +inexact-complex-float.rkt line 6 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float.rkt line 6 col 12 - (quote 2.0) - float-coerce-expr in complex ops +inexact-complex-float.rkt line 6 col 16 - 3.0+6.0i - unboxed literal inexact-complex-float.rkt line 6 col 1 - - - unboxed binary inexact complex inexact-complex-float.rkt line 6 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex -inexact-complex-float.rkt line 7 col 21 - (quote 3.0) - float-coerce-expr +inexact-complex-float.rkt line 7 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-float.rkt line 7 col 12 - 2.0+4.0i - unboxed literal +inexact-complex-float.rkt line 7 col 21 - (quote 3.0) - float-coerce-expr in complex ops inexact-complex-float.rkt line 7 col 1 - - - unboxed binary inexact complex inexact-complex-float.rkt line 7 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex 6.0+8.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log index d02bbc492e..657af7ca2f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log @@ -1,3 +1,6 @@ +inexact-complex-i.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-i.rkt line 4 col 15 - 0+1.0i - unboxed literal +inexact-complex-i.rkt line 4 col 21 - 2.0+4.0i - unboxed literal inexact-complex-i.rkt line 4 col 13 - * - unboxed binary inexact complex inexact-complex-i.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex-i.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (#%app * (quote 0+1.0i) (quote 2.0+4.0i))) - unboxed inexact complex diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log index f0776d9543..594060afe7 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log @@ -1,4 +1,5 @@ -inexact-complex-integer.rkt line 4 col 3 - (#%app expt (quote 2) (quote 100)) - float-coerce-expr +inexact-complex-integer.rkt line 4 col 3 - (#%app expt (quote 2) (quote 100)) - float-coerce-expr in complex ops +inexact-complex-integer.rkt line 4 col 16 - 1.0+2.0i - unboxed literal inexact-complex-integer.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex-integer.rkt line 4 col 0 - (#%app + (#%app expt (quote 2) (quote 100)) (quote 1.0+2.0i)) - unboxed inexact complex 1.2676506002282294e+30+2.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log index abbd1b398c..ced7da3caf 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log @@ -1,3 +1,6 @@ +inexact-complex-mult.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-mult.rkt line 4 col 12 - 2.0+4.0i - unboxed literal +inexact-complex-mult.rkt line 4 col 21 - 3.0+6.0i - unboxed literal inexact-complex-mult.rkt line 4 col 1 - * - unboxed binary inexact complex inexact-complex-mult.rkt line 4 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex -66.0-12.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log index 213bb2b6bf..2b4cd97e4f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log @@ -1,5 +1,8 @@ +inexact-complex-parts.rkt line 4 col 11 - 1.0+2.0i - unboxed literal inexact-complex-parts.rkt line 4 col 1 - real-part - unboxed inexact complex +inexact-complex-parts.rkt line 5 col 11 - 1.0+2.0i - unboxed literal inexact-complex-parts.rkt line 5 col 1 - imag-part - unboxed inexact complex +inexact-complex-parts.rkt line 6 col 11 - 1.0+2.0i - unboxed literal inexact-complex-parts.rkt line 6 col 1 - real-part - unboxed inexact complex 1.0 2.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log index 332cdcdaa2..a1b668c70f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log @@ -1,17 +1,33 @@ +inexact-complex-parts2.rkt line 6 col 14 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 6 col 23 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 6 col 12 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 6 col 11 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +inexact-complex-parts2.rkt line 6 col 14 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 6 col 23 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 6 col 12 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 6 col 1 - real-part - unboxed inexact complex +inexact-complex-parts2.rkt line 7 col 23 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 7 col 32 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 7 col 21 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 7 col 20 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +inexact-complex-parts2.rkt line 7 col 23 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 7 col 32 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 7 col 21 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 7 col 1 - unsafe-flreal-part - unboxed inexact complex +inexact-complex-parts2.rkt line 8 col 14 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 8 col 23 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 8 col 12 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 8 col 11 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +inexact-complex-parts2.rkt line 8 col 14 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 8 col 23 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 8 col 12 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 8 col 1 - imag-part - unboxed inexact complex +inexact-complex-parts2.rkt line 9 col 23 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 9 col 32 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 9 col 21 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 9 col 20 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +inexact-complex-parts2.rkt line 9 col 23 - 1.0+2.0i - unboxed literal +inexact-complex-parts2.rkt line 9 col 32 - 2.0+4.0i - unboxed literal inexact-complex-parts2.rkt line 9 col 21 - + - unboxed binary inexact complex inexact-complex-parts2.rkt line 9 col 1 - unsafe-flimag-part - unboxed inexact complex 3.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log index e4fb7bc9e0..083899bbd6 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log @@ -1,15 +1,27 @@ +inexact-complex-parts3.rkt line 6 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-parts3.rkt line 6 col 26 - 2.0+4.0i - unboxed literal +inexact-complex-parts3.rkt line 6 col 35 - 3.0+6.0i - unboxed literal inexact-complex-parts3.rkt line 6 col 24 - + - unboxed binary inexact complex -inexact-complex-parts3.rkt line 6 col 13 - real-part - unboxed unary inexact complex** +inexact-complex-parts3.rkt line 6 col 13 - real-part - unboxed unary inexact complex inexact-complex-parts3.rkt line 6 col 1 - + - unboxed binary inexact complex inexact-complex-parts3.rkt line 6 col 0 - (#%app + (quote 1.0+2.0i) (#%app real-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex +inexact-complex-parts3.rkt line 7 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-parts3.rkt line 7 col 35 - 2.0+4.0i - unboxed literal +inexact-complex-parts3.rkt line 7 col 44 - 3.0+6.0i - unboxed literal inexact-complex-parts3.rkt line 7 col 33 - + - unboxed binary inexact complex -inexact-complex-parts3.rkt line 7 col 13 - unsafe-flreal-part - unboxed unary inexact complex** +inexact-complex-parts3.rkt line 7 col 13 - unsafe-flreal-part - unboxed unary inexact complex inexact-complex-parts3.rkt line 7 col 1 - + - unboxed binary inexact complex inexact-complex-parts3.rkt line 7 col 0 - (#%app + (quote 1.0+2.0i) (#%app unsafe-flreal-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex +inexact-complex-parts3.rkt line 8 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-parts3.rkt line 8 col 26 - 2.0+4.0i - unboxed literal +inexact-complex-parts3.rkt line 8 col 35 - 3.0+6.0i - unboxed literal inexact-complex-parts3.rkt line 8 col 24 - + - unboxed binary inexact complex inexact-complex-parts3.rkt line 8 col 13 - imag-part - unboxed unary inexact complex inexact-complex-parts3.rkt line 8 col 1 - + - unboxed binary inexact complex inexact-complex-parts3.rkt line 8 col 0 - (#%app + (quote 1.0+2.0i) (#%app imag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex +inexact-complex-parts3.rkt line 9 col 3 - 1.0+2.0i - unboxed literal +inexact-complex-parts3.rkt line 9 col 35 - 2.0+4.0i - unboxed literal +inexact-complex-parts3.rkt line 9 col 44 - 3.0+6.0i - unboxed literal inexact-complex-parts3.rkt line 9 col 33 - + - unboxed binary inexact complex inexact-complex-parts3.rkt line 9 col 13 - unsafe-flimag-part - unboxed unary inexact complex inexact-complex-parts3.rkt line 9 col 1 - + - unboxed binary inexact complex diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log index ee0f755d64..f1084edef3 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log @@ -1,4 +1,5 @@ -inexact-complex-sin.rkt line 5 col 13 - (#%app sin (#%app * t (quote 6.28))) - float-coerce-expr +inexact-complex-sin.rkt line 5 col 13 - (#%app sin (#%app * t (quote 6.28))) - float-coerce-expr in complex ops +inexact-complex-sin.rkt line 5 col 30 - 0.0+0.0i - unboxed literal inexact-complex-sin.rkt line 5 col 11 - + - unboxed binary inexact complex inexact-complex-sin.rkt line 5 col 10 - (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) - unboxed inexact complex -0.0031853017931379904+0.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log index 1bd0d237e8..d8b7ac6b38 100644 --- a/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log @@ -1,5 +1,9 @@ +inexact-complex.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +inexact-complex.rkt line 4 col 12 - 2.0+4.0i - unboxed literal inexact-complex.rkt line 4 col 1 - + - unboxed binary inexact complex inexact-complex.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +inexact-complex.rkt line 5 col 3 - 1.0+2.0i - unboxed literal +inexact-complex.rkt line 5 col 12 - 2.0+4.0i - unboxed literal inexact-complex.rkt line 5 col 1 - - - unboxed binary inexact complex inexact-complex.rkt line 5 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex 3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log index 81adef3af7..09434f3a11 100644 --- a/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log @@ -1,13 +1,25 @@ +invalid-unboxed-let.rkt line 10 col 14 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 10 col 17 - t1 - unbox inexact-complex invalid-unboxed-let.rkt line 10 col 12 - + - unboxed binary inexact complex invalid-unboxed-let.rkt line 10 col 11 - (#%app + t1 t1) - unboxed inexact complex +invalid-unboxed-let.rkt line 10 col 14 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 10 col 17 - t1 - unbox inexact-complex invalid-unboxed-let.rkt line 10 col 12 - + - unboxed binary inexact complex invalid-unboxed-let.rkt line 10 col 11 - (#%app + t1 t1) - unboxed inexact complex +invalid-unboxed-let.rkt line 10 col 14 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 10 col 17 - t1 - unbox inexact-complex invalid-unboxed-let.rkt line 10 col 12 - + - unboxed binary inexact complex invalid-unboxed-let.rkt line 10 col 11 - (#%app + t1 t1) - unboxed inexact complex +invalid-unboxed-let.rkt line 6 col 13 - 1.0+2.0i - unboxed literal +invalid-unboxed-let.rkt line 6 col 22 - 2.0+4.0i - unboxed literal invalid-unboxed-let.rkt line 6 col 11 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 7 col 13 - 3.0+6.0i - unboxed literal +invalid-unboxed-let.rkt line 7 col 22 - 4.0+8.0i - unboxed literal invalid-unboxed-let.rkt line 7 col 11 - + - unboxed binary inexact complex invalid-unboxed-let.rkt line 7 col 10 - (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) - unboxed inexact complex invalid-unboxed-let.rkt line 6 col 0 - (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) ((t2) (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i))) ((t3) (quote 1.0+2.0i)) ((t4) (quote 1))) (#%app display (#%app + t1 t1)) (#%app display t2) (#%app display t3) (#%app display t4)) - unboxed let bindings +invalid-unboxed-let.rkt line 10 col 14 - t1 - leave var unboxed +invalid-unboxed-let.rkt line 10 col 17 - t1 - leave var unboxed invalid-unboxed-let.rkt line 10 col 12 - + - unboxed binary inexact complex invalid-unboxed-let.rkt line 10 col 11 - (#%app + t1 t1) - unboxed inexact complex 6.0+12.0i7.0+14.0i1.0+2.0i1 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log index 75df9e1064..dfc04e3e0e 100644 --- a/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log @@ -1,8 +1,14 @@ +invalid-unboxed-let2.rkt line 7 col 33 - 1.0+2.0i - unboxed literal +invalid-unboxed-let2.rkt line 7 col 42 - 2.0+4.0i - unboxed literal invalid-unboxed-let2.rkt line 7 col 31 - + - unboxed binary inexact complex invalid-unboxed-let2.rkt line 7 col 30 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +invalid-unboxed-let2.rkt line 7 col 55 - 3.0+6.0i - unboxed literal +invalid-unboxed-let2.rkt line 7 col 64 - 4.0+8.0i - unboxed literal invalid-unboxed-let2.rkt line 7 col 53 - + - unboxed binary inexact complex invalid-unboxed-let2.rkt line 7 col 52 - (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) - unboxed inexact complex invalid-unboxed-let2.rkt line 7 col 0 - (let-values (((t1 t2) (#%app values (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i))))) (#%app + t1 t2)) - unboxed let bindings +invalid-unboxed-let2.rkt line 8 col 5 - t1 - unbox inexact-complex +invalid-unboxed-let2.rkt line 8 col 8 - t2 - unbox inexact-complex invalid-unboxed-let2.rkt line 8 col 3 - + - unboxed binary inexact complex invalid-unboxed-let2.rkt line 8 col 2 - (#%app + t1 t2) - unboxed inexact complex 10.0+20.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log index 437c9de8f5..cf549a4595 100644 --- a/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log @@ -1,3 +1,3 @@ -known-vector-length.rkt line 4 col 6 - vector-length - known-length vector -known-vector-length.rkt line 4 col 6 - vector-length - known-length vector +known-vector-length.rkt line 4 col 6 - vector-length - known-length vector-length +known-vector-length.rkt line 4 col 6 - vector-length - known-length vector-length 4 diff --git a/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log index c5949b51c6..39d9a00701 100644 --- a/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log @@ -1,3 +1,4 @@ +magnitude.rkt line 6 col 11 - 3.0+4.0i - unboxed literal magnitude.rkt line 6 col 1 - magnitude - unboxed unary inexact complex magnitude.rkt line 6 col 0 - (#%app magnitude (quote 3.0+4.0i)) - unboxed inexact complex->float 5.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log b/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log index 611be68291..69a189550f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log @@ -1,5 +1,6 @@ make-polar.rkt line 7 col 1 - make-polar - make-rectangular elimination make-polar.rkt line 7 col 1 - make-polar - make-polar +make-polar.rkt line 10 col 3 - 1.0+2.0i - unboxed literal make-polar.rkt line 10 col 13 - make-polar - make-rectangular elimination make-polar.rkt line 10 col 1 - + - unboxed binary inexact complex make-polar.rkt line 10 col 0 - (#%app + (quote 1.0+2.0i) (#%app make-polar (quote 2.0) (quote 4.0))) - unboxed inexact complex diff --git a/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log index f55046939f..0ba4731628 100644 --- a/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log @@ -1,3 +1,5 @@ +maybe-exact-complex.rkt line 6 col 3 - 1.0+2.0i - unboxed literal +maybe-exact-complex.rkt line 6 col 12 - 2+4i - unboxed literal maybe-exact-complex.rkt line 6 col 1 - + - unboxed binary inexact complex maybe-exact-complex.rkt line 6 col 0 - (#%app + (quote 1.0+2.0i) (quote 2+4i)) - unboxed inexact complex 3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log index d5d7c4eb91..0d2575484a 100644 --- a/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log @@ -1,3 +1,7 @@ +n-ary-inexact-complex.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +n-ary-inexact-complex.rkt line 4 col 12 - 2.0+4.0i - unboxed literal +n-ary-inexact-complex.rkt line 4 col 21 - 3.0+6.0i - unboxed literal +n-ary-inexact-complex.rkt line 4 col 30 - 4.0+8.0i - unboxed literal n-ary-inexact-complex.rkt line 4 col 1 - + - unboxed binary inexact complex n-ary-inexact-complex.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i) (quote 4.0+8.0i)) - unboxed inexact complex 10.0+20.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log index 4684c274c5..2cd986f156 100644 --- a/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log @@ -1,3 +1,6 @@ +nested-inexact-complex.rkt line 4 col 3 - 1.0+2.0i - unboxed literal +nested-inexact-complex.rkt line 4 col 15 - 2.0+4.0i - unboxed literal +nested-inexact-complex.rkt line 4 col 24 - 3.0+6.0i - unboxed literal nested-inexact-complex.rkt line 4 col 13 - - - unboxed binary inexact complex nested-inexact-complex.rkt line 4 col 1 - + - unboxed binary inexact complex nested-inexact-complex.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (#%app - (quote 2.0+4.0i) (quote 3.0+6.0i))) - unboxed inexact complex diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log index eddabe43bc..c3771eb8df 100644 --- a/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log @@ -1,18 +1,39 @@ +nested-let-loop.rkt line 15 col 38 - r - unbox inexact-complex +nested-let-loop.rkt line 15 col 40 - s - unbox inexact-complex nested-let-loop.rkt line 15 col 36 - + - unboxed binary inexact complex nested-let-loop.rkt line 15 col 35 - (#%app + r s) - unboxed inexact complex -nested-let-loop.rkt line 10 col 10 - r - unboxed complex variable +nested-let-loop.rkt line 8 col 8 - r - unboxed var -> table +nested-let-loop.rkt line 6 col 6 - loop1 - unboxed function -> table +nested-let-loop.rkt line 6 col 6 - loop1 - fun -> unboxed fun +nested-let-loop.rkt line 10 col 10 - r - unboxed complex variable +nested-let-loop.rkt line 15 col 38 - r - leave var unboxed +nested-let-loop.rkt line 15 col 40 - s - unbox inexact-complex nested-let-loop.rkt line 15 col 36 - + - unboxed binary inexact complex nested-let-loop.rkt line 15 col 35 - (#%app + r s) - unboxed inexact complex +nested-let-loop.rkt line 13 col 18 - s - unboxed var -> table +nested-let-loop.rkt line 11 col 16 - loop2 - unboxed function -> table +nested-let-loop.rkt line 11 col 16 - loop2 - fun -> unboxed fun +nested-let-loop.rkt line 15 col 38 - r - leave var unboxed +nested-let-loop.rkt line 15 col 40 - s - leave var unboxed nested-let-loop.rkt line 15 col 36 - + - unboxed binary inexact complex nested-let-loop.rkt line 15 col 21 - loop1 - unboxed call site nested-let-loop.rkt line 15 col 28 - cdr - unary pair +nested-let-loop.rkt line 15 col 21 - loop1 - call to fun with unboxed args +nested-let-loop.rkt line 16 col 38 - s - leave var unboxed +nested-let-loop.rkt line 16 col 40 - (#%app car x) - unbox inexact-complex nested-let-loop.rkt line 16 col 41 - car - unary pair +nested-let-loop.rkt line 16 col 48 - (#%app car y) - unbox inexact-complex nested-let-loop.rkt line 16 col 49 - car - unary pair nested-let-loop.rkt line 16 col 36 - + - unboxed binary inexact complex nested-let-loop.rkt line 16 col 21 - loop2 - unboxed call site nested-let-loop.rkt line 16 col 28 - cdr - unary pair +nested-let-loop.rkt line 16 col 21 - loop2 - call to fun with unboxed args #f line #f col #f - (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) - unboxed let bindings +nested-let-loop.rkt line 13 col 38 - 0.0+0.0i - unboxed literal #f line #f col #f - (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) - unboxed call site +nested-let-loop.rkt line 11 col 16 - loop2 - unboxed let loop #f line #f col #f - (letrec-values (((loop1) (lambda (x r) (if (#%app null? x) r (#%app (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) (quote (3.0+6.0i 4.0+8.0i)) (quote 0.0+0.0i)))))) loop1) - unboxed let bindings +nested-let-loop.rkt line 8 col 28 - 0.0+0.0i - unboxed literal #f line #f col #f - (letrec-values (((loop1) (lambda (x r) (if (#%app null? x) r (#%app (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) (quote (3.0+6.0i 4.0+8.0i)) (quote 0.0+0.0i)))))) loop1) - unboxed call site +nested-let-loop.rkt line 6 col 6 - loop1 - unboxed let loop 20.0+40.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log index eee93896ee..6b9704feb4 100644 --- a/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log @@ -1,11 +1,21 @@ +nested-unboxed-let.rkt line 7 col 14 - x - unbox inexact-complex +nested-unboxed-let.rkt line 7 col 16 - 2.0+3.0i - unboxed literal nested-unboxed-let.rkt line 7 col 12 - + - unboxed binary inexact complex nested-unboxed-let.rkt line 7 col 11 - (#%app + x (quote 2.0+3.0i)) - unboxed inexact complex +nested-unboxed-let.rkt line 6 col 12 - 1.0+2.0i - unboxed literal +nested-unboxed-let.rkt line 6 col 21 - 2.0+3.0i - unboxed literal nested-unboxed-let.rkt line 6 col 10 - + - unboxed binary inexact complex nested-unboxed-let.rkt line 6 col 0 - (let-values (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+3.0i)))) (let-values (((x) (#%app + x (quote 2.0+3.0i)))) (#%app + x (quote 3.0+6.0i)))) - unboxed let bindings +nested-unboxed-let.rkt line 8 col 7 - x - unbox inexact-complex +nested-unboxed-let.rkt line 8 col 9 - 3.0+6.0i - unboxed literal nested-unboxed-let.rkt line 8 col 5 - + - unboxed binary inexact complex nested-unboxed-let.rkt line 8 col 4 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex +nested-unboxed-let.rkt line 7 col 14 - x - leave var unboxed +nested-unboxed-let.rkt line 7 col 16 - 2.0+3.0i - unboxed literal nested-unboxed-let.rkt line 7 col 12 - + - unboxed binary inexact complex nested-unboxed-let.rkt line 7 col 2 - (let-values (((x) (#%app + x (quote 2.0+3.0i)))) (#%app + x (quote 3.0+6.0i))) - unboxed let bindings +nested-unboxed-let.rkt line 8 col 7 - x - leave var unboxed +nested-unboxed-let.rkt line 8 col 9 - 3.0+6.0i - unboxed literal nested-unboxed-let.rkt line 8 col 5 - + - unboxed binary inexact complex nested-unboxed-let.rkt line 8 col 4 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex 8.0+14.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log index 0ab1b019f1..de773229f1 100644 --- a/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log @@ -1,11 +1,20 @@ -real-part-loop.rkt line 8 col 10 - real-part - unboxed unary inexact complex** +real-part-loop.rkt line 8 col 20 - v - unbox inexact-complex +real-part-loop.rkt line 8 col 10 - real-part - unboxed unary inexact complex real-part-loop.rkt line 8 col 9 - (#%app real-part v) - unboxed inexact complex->float -real-part-loop.rkt line 8 col 20 - v - unboxed complex variable +real-part-loop.rkt line 7 col 13 - v - unboxed var -> table +real-part-loop.rkt line 7 col 6 - loop - unboxed function -> table +real-part-loop.rkt line 7 col 6 - loop - fun -> unboxed fun +real-part-loop.rkt line 8 col 20 - v - unboxed complex variable +real-part-loop.rkt line 8 col 20 - v - leave var unboxed real-part-loop.rkt line 8 col 10 - real-part - unboxed inexact complex real-part-loop.rkt line 8 col 7 - > - binary float comp -real-part-loop.rkt line 10 col 17 - (quote 3.6) - float-coerce-expr +real-part-loop.rkt line 10 col 15 - v - leave var unboxed +real-part-loop.rkt line 10 col 17 - (quote 3.6) - float-coerce-expr in complex ops real-part-loop.rkt line 10 col 13 - + - unboxed binary inexact complex real-part-loop.rkt line 10 col 7 - loop - unboxed call site +real-part-loop.rkt line 10 col 7 - loop - call to fun with unboxed args real-part-loop.rkt line 7 col 1 - (letrec-values (((loop) (lambda (v) (if (#%app > (#%app real-part v) (quote 70000.2)) (quote 0) (#%app loop (#%app + v (quote 3.6))))))) loop) - unboxed let bindings +real-part-loop.rkt line 7 col 15 - 0.0+1.0i - unboxed literal real-part-loop.rkt line 7 col 1 - (letrec-values (((loop) (lambda (v) (if (#%app > (#%app real-part v) (quote 70000.2)) (quote 0) (#%app loop (#%app + v (quote 3.6))))))) loop) - unboxed call site +real-part-loop.rkt line 7 col 6 - loop - unboxed let loop 0 diff --git a/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log index b8458166f7..2b8e27d9f4 100644 --- a/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log @@ -1,4 +1,4 @@ -#f line #f col #f - op - string -#f line #f col #f - op - bytes +#f line #f col #f - op - string-length +#f line #f col #f - op - bytes-length 2 2 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log index cc2f59a103..71c74c2cb2 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log @@ -1,26 +1,45 @@ #f line #f col #f - make-sequence - in-list #f line #f col #f - (let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) (#%app make-sequence (quote (i)) (quote (1.0+2.0i 2.0+4.0i))))) (#%app void) (#%app (letrec-values (((for-loop) (lambda (sum pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) (quote 0.0+0.0i) init)) - unboxed let bindings +unboxed-for.rkt line 8 col 9 - i - unbox inexact-complex +unboxed-for.rkt line 8 col 11 - sum - unbox inexact-complex unboxed-for.rkt line 8 col 7 - + - unboxed binary inexact complex unboxed-for.rkt line 8 col 6 - (#%app + i sum) - unboxed inexact complex +unboxed-for.rkt line 8 col 9 - i - unbox inexact-complex +unboxed-for.rkt line 8 col 11 - sum - unbox inexact-complex unboxed-for.rkt line 8 col 7 - + - unboxed binary inexact complex unboxed-for.rkt line 8 col 6 - (#%app + i sum) - unboxed inexact complex -unboxed-for.rkt line 6 col 31 - sum - unboxed complex variable +unboxed-for.rkt line 6 col 31 - sum - unboxed var -> table +#f line #f col #f - for-loop - unboxed function -> table +#f line #f col #f - for-loop - fun -> unboxed fun +unboxed-for.rkt line 6 col 31 - sum - unboxed complex variable +unboxed-for.rkt line 8 col 9 - i - unbox inexact-complex +unboxed-for.rkt line 8 col 11 - sum - unbox inexact-complex unboxed-for.rkt line 8 col 7 - + - unboxed binary inexact complex unboxed-for.rkt line 8 col 6 - (#%app + i sum) - unboxed inexact complex +#f line #f col #f - (#%app pos->vals pos) - unbox inexact-complex #f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings -unboxed-for.rkt line 7 col 13 - i - unboxed complex variable -unboxed-for.rkt line 7 col 13 - i - unboxed complex variable +unboxed-for.rkt line 7 col 13 - i - unboxed complex variable +unboxed-for.rkt line 7 col 13 - i - unboxed complex variable +unboxed-for.rkt line 8 col 9 - i - leave var unboxed +unboxed-for.rkt line 8 col 11 - sum - unbox inexact-complex unboxed-for.rkt line 8 col 7 - + - unboxed binary inexact complex unboxed-for.rkt line 8 col 6 - (#%app + i sum) - unboxed inexact complex +unboxed-for.rkt line 6 col 31 - sum - leave var unboxed #f line #f col #f - (let-values (((sum) sum)) (let-values () (#%app + i sum))) - unboxed let bindings #f line #f col #f - (let-values () (#%app + i sum)) - unboxed let bindings +unboxed-for.rkt line 8 col 9 - i - leave var unboxed +unboxed-for.rkt line 8 col 11 - sum - leave var unboxed unboxed-for.rkt line 8 col 7 - + - unboxed binary inexact complex unboxed-for.rkt line 8 col 6 - (#%app + i sum) - unboxed inexact complex #f line #f col #f - (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) - unboxed let bindings -unboxed-for.rkt line 7 col 13 - i - unboxed complex variable +unboxed-for.rkt line 7 col 13 - i - unboxed complex variable +unboxed-for.rkt line 6 col 31 - sum - unbox inexact-complex #f line #f col #f - for-loop - unboxed call site -unboxed-for.rkt line 6 col 31 - sum - unboxed complex variable -unboxed-for.rkt line 6 col 31 - sum - unboxed complex variable +#f line #f col #f - for-loop - call to fun with unboxed args +unboxed-for.rkt line 6 col 31 - sum - unboxed complex variable +unboxed-for.rkt line 6 col 31 - sum - unboxed complex variable unboxed-for.rkt line 6 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed let bindings +unboxed-for.rkt line 6 col 53 - 0.0+0.0i - unboxed literal unboxed-for.rkt line 6 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site +#f line #f col #f - for-loop - unboxed let loop 3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log index 2d9c4cec59..9e89578008 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log @@ -1,8 +1,18 @@ +unboxed-let-functions1.rkt line 7 col 45 - x - unbox inexact-complex +unboxed-let-functions1.rkt line 7 col 47 - 3.0+6.0i - unboxed literal unboxed-let-functions1.rkt line 7 col 43 - + - unboxed binary inexact complex unboxed-let-functions1.rkt line 7 col 42 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex +unboxed-let-functions1.rkt line 7 col 20 - x - unboxed var -> table +unboxed-let-functions1.rkt line 7 col 7 - f - unboxed function -> table +unboxed-let-functions1.rkt line 7 col 7 - f - fun -> unboxed fun +unboxed-let-functions1.rkt line 7 col 45 - x - leave var unboxed +unboxed-let-functions1.rkt line 7 col 47 - 3.0+6.0i - unboxed literal unboxed-let-functions1.rkt line 7 col 43 - + - unboxed binary inexact complex unboxed-let-functions1.rkt line 7 col 42 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex unboxed-let-functions1.rkt line 7 col 0 - (let-values (((f) (lambda (x) (#%app + x (quote 3.0+6.0i))))) (#%app f (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) - unboxed let bindings +unboxed-let-functions1.rkt line 8 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions1.rkt line 8 col 17 - 2.0+4.0i - unboxed literal unboxed-let-functions1.rkt line 8 col 6 - + - unboxed binary inexact complex unboxed-let-functions1.rkt line 8 col 3 - f - unboxed call site +unboxed-let-functions1.rkt line 8 col 3 - f - call to fun with unboxed args 6.0+12.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log index 7f2614f9bc..33b4d33dae 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log @@ -1,10 +1,24 @@ +unboxed-let-functions2.rkt line 8 col 21 - x - unbox inexact-complex +unboxed-let-functions2.rkt line 8 col 23 - y - unbox inexact-complex unboxed-let-functions2.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions2.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions2.rkt line 7 col 20 - x - unboxed var -> table +unboxed-let-functions2.rkt line 8 col 21 - x - unbox inexact-complex +unboxed-let-functions2.rkt line 8 col 23 - y - unbox inexact-complex unboxed-let-functions2.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions2.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions2.rkt line 7 col 42 - y - unboxed var -> table +unboxed-let-functions2.rkt line 7 col 7 - f - unboxed function -> table +unboxed-let-functions2.rkt line 7 col 7 - f - fun -> unboxed fun +unboxed-let-functions2.rkt line 8 col 21 - x - leave var unboxed +unboxed-let-functions2.rkt line 8 col 23 - y - leave var unboxed unboxed-let-functions2.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions2.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex unboxed-let-functions2.rkt line 7 col 0 - (let-values (((f) (lambda (x y) (#%app + x y)))) (#%app f (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) (quote 3.0+6.0i))) - unboxed let bindings +unboxed-let-functions2.rkt line 9 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions2.rkt line 9 col 17 - 2.0+4.0i - unboxed literal unboxed-let-functions2.rkt line 9 col 6 - + - unboxed binary inexact complex +unboxed-let-functions2.rkt line 10 col 5 - 3.0+6.0i - unboxed literal unboxed-let-functions2.rkt line 9 col 3 - f - unboxed call site +unboxed-let-functions2.rkt line 9 col 3 - f - call to fun with unboxed args 6.0+12.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log index 1fe992c7fd..09d9d03b54 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log @@ -1,10 +1,18 @@ -unboxed-let-functions3.rkt line 8 col 23 - y - float-coerce-expr +unboxed-let-functions3.rkt line 8 col 21 - x - unbox inexact-complex +unboxed-let-functions3.rkt line 8 col 23 - y - float-coerce-expr in complex ops unboxed-let-functions3.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions3.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex -unboxed-let-functions3.rkt line 8 col 23 - y - float-coerce-expr +unboxed-let-functions3.rkt line 7 col 20 - x - unboxed var -> table +unboxed-let-functions3.rkt line 7 col 7 - f - unboxed function -> table +unboxed-let-functions3.rkt line 7 col 7 - f - fun -> unboxed fun +unboxed-let-functions3.rkt line 8 col 21 - x - leave var unboxed +unboxed-let-functions3.rkt line 8 col 23 - y - float-coerce-expr in complex ops unboxed-let-functions3.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions3.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex unboxed-let-functions3.rkt line 7 col 0 - (let-values (((f) (lambda (x y) (#%app + x y)))) (#%app f (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) (quote 3.0))) - unboxed let bindings +unboxed-let-functions3.rkt line 9 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions3.rkt line 9 col 17 - 2.0+4.0i - unboxed literal unboxed-let-functions3.rkt line 9 col 6 - + - unboxed binary inexact complex unboxed-let-functions3.rkt line 9 col 3 - f - unboxed call site +unboxed-let-functions3.rkt line 9 col 3 - f - call to fun with unboxed args 6.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log index 6cc637f4cc..5ddc3206ea 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log @@ -1,10 +1,18 @@ -unboxed-let-functions4.rkt line 8 col 23 - y - float-coerce-expr +unboxed-let-functions4.rkt line 8 col 21 - x - unbox inexact-complex +unboxed-let-functions4.rkt line 8 col 23 - y - float-coerce-expr in complex ops unboxed-let-functions4.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions4.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex -unboxed-let-functions4.rkt line 8 col 23 - y - float-coerce-expr +unboxed-let-functions4.rkt line 7 col 32 - x - unboxed var -> table +unboxed-let-functions4.rkt line 7 col 7 - f - unboxed function -> table +unboxed-let-functions4.rkt line 7 col 7 - f - fun -> unboxed fun +unboxed-let-functions4.rkt line 8 col 21 - x - leave var unboxed +unboxed-let-functions4.rkt line 8 col 23 - y - float-coerce-expr in complex ops unboxed-let-functions4.rkt line 8 col 19 - + - unboxed binary inexact complex unboxed-let-functions4.rkt line 8 col 18 - (#%app + x y) - unboxed inexact complex unboxed-let-functions4.rkt line 7 col 0 - (let-values (((f) (lambda (y x) (#%app + x y)))) (#%app f (quote 3.0) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) - unboxed let bindings +unboxed-let-functions4.rkt line 10 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions4.rkt line 10 col 17 - 2.0+4.0i - unboxed literal unboxed-let-functions4.rkt line 10 col 6 - + - unboxed binary inexact complex unboxed-let-functions4.rkt line 9 col 3 - f - unboxed call site +unboxed-let-functions4.rkt line 9 col 3 - f - call to fun with unboxed args 6.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log index e98185a412..3be81d1a17 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log @@ -1,5 +1,7 @@ unboxed-let-functions5.rkt line 9 col 22 - (let-values (((y) f)) x) - unboxed let bindings unboxed-let-functions5.rkt line 7 col 0 - (letrec-values (((f) (lambda (x) (let-values (((y) f)) x)))) (#%app f (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) - unboxed let bindings +unboxed-let-functions5.rkt line 11 col 15 - 1.0+2.0i - unboxed literal +unboxed-let-functions5.rkt line 11 col 24 - 2.0+4.0i - unboxed literal unboxed-let-functions5.rkt line 11 col 13 - + - unboxed binary inexact complex unboxed-let-functions5.rkt line 11 col 12 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex 3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log index c0786d0d04..0fd46bdc24 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log @@ -1,12 +1,23 @@ +unboxed-let-functions6.rkt line 9 col 13 - z - unbox inexact-complex +unboxed-let-functions6.rkt line 9 col 15 - 0.0+1.0i - unboxed literal unboxed-let-functions6.rkt line 9 col 11 - + - unboxed binary inexact complex unboxed-let-functions6.rkt line 9 col 10 - (#%app + z (quote 0.0+1.0i)) - unboxed inexact complex +unboxed-let-functions6.rkt line 6 col 31 - z - unboxed var -> table +unboxed-let-functions6.rkt line 6 col 6 - loop - unboxed function -> table +unboxed-let-functions6.rkt line 6 col 6 - loop - fun -> unboxed fun +unboxed-let-functions6.rkt line 9 col 13 - z - leave var unboxed +unboxed-let-functions6.rkt line 9 col 15 - 0.0+1.0i - unboxed literal unboxed-let-functions6.rkt line 9 col 11 - + - unboxed binary inexact complex unboxed-let-functions6.rkt line 9 col 10 - (#%app + z (quote 0.0+1.0i)) - unboxed inexact complex +unboxed-let-functions6.rkt line 10 col 19 - z - leave var unboxed unboxed-let-functions6.rkt line 10 col 22 - car - unary pair -unboxed-let-functions6.rkt line 10 col 21 - (#%app car l) - float-coerce-expr +unboxed-let-functions6.rkt line 10 col 21 - (#%app car l) - float-coerce-expr in complex ops unboxed-let-functions6.rkt line 10 col 17 - + - unboxed binary inexact complex unboxed-let-functions6.rkt line 10 col 11 - loop - unboxed call site unboxed-let-functions6.rkt line 11 col 17 - cdr - unary pair +unboxed-let-functions6.rkt line 10 col 11 - loop - call to fun with unboxed args #f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) (#%app + z (quote 0.0+1.0i)) (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed let bindings +unboxed-let-functions6.rkt line 6 col 51 - 0.0+0.0i - unboxed literal #f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) (#%app + z (quote 0.0+1.0i)) (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed call site +unboxed-let-functions6.rkt line 6 col 6 - loop - unboxed let loop 6.0+1.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log index 738efeee1d..699e188d75 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log @@ -1,13 +1,21 @@ +unboxed-let-functions7.rkt line 10 col 15 - z - unbox inexact-complex unboxed-let-functions7.rkt line 10 col 18 - car - unary pair -unboxed-let-functions7.rkt line 10 col 17 - (#%app car l) - float-coerce-expr +unboxed-let-functions7.rkt line 10 col 17 - (#%app car l) - float-coerce-expr in complex ops unboxed-let-functions7.rkt line 10 col 13 - + - unboxed binary inexact complex unboxed-let-functions7.rkt line 10 col 12 - (#%app + z (#%app car l)) - unboxed inexact complex -unboxed-let-functions7.rkt line 9 col 6 - z - unboxed complex variable +unboxed-let-functions7.rkt line 6 col 31 - z - unboxed var -> table +unboxed-let-functions7.rkt line 6 col 6 - loop - unboxed function -> table +unboxed-let-functions7.rkt line 6 col 6 - loop - fun -> unboxed fun +unboxed-let-functions7.rkt line 9 col 6 - z - unboxed complex variable +unboxed-let-functions7.rkt line 10 col 15 - z - leave var unboxed unboxed-let-functions7.rkt line 10 col 18 - car - unary pair -unboxed-let-functions7.rkt line 10 col 17 - (#%app car l) - float-coerce-expr +unboxed-let-functions7.rkt line 10 col 17 - (#%app car l) - float-coerce-expr in complex ops unboxed-let-functions7.rkt line 10 col 13 - + - unboxed binary inexact complex unboxed-let-functions7.rkt line 10 col 7 - loop - unboxed call site unboxed-let-functions7.rkt line 11 col 13 - cdr - unary pair +unboxed-let-functions7.rkt line 10 col 7 - loop - call to fun with unboxed args #f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) z (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed let bindings +unboxed-let-functions7.rkt line 6 col 51 - 0.0+0.0i - unboxed literal #f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) z (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed call site +unboxed-let-functions7.rkt line 6 col 6 - loop - unboxed let loop 6.0+0.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log index 220e0f8a5c..0f1d706a2f 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log @@ -1,3 +1,5 @@ +unboxed-let-functions8.rkt line 6 col 67 - x - unbox inexact-complex +unboxed-let-functions8.rkt line 6 col 69 - 2.0+4.0i - unboxed literal unboxed-let-functions8.rkt line 6 col 65 - + - unboxed binary inexact complex unboxed-let-functions8.rkt line 6 col 64 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex unboxed-let-functions8.rkt line 6 col 0 - (letrec-values (((f) (lambda (x) (#%app + x (quote 2.0+4.0i)))) ((g) f)) (#%app f (quote 1.0+2.0i))) - unboxed let bindings diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log index b051d50c8e..9127908e9c 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log @@ -1,14 +1,27 @@ +unboxed-let.rkt line 7 col 14 - t1 - unbox inexact-complex +unboxed-let.rkt line 7 col 17 - 3.0+6.0i - unboxed literal unboxed-let.rkt line 7 col 12 - - - unboxed binary inexact complex unboxed-let.rkt line 7 col 11 - (#%app - t1 (quote 3.0+6.0i)) - unboxed inexact complex +unboxed-let.rkt line 6 col 14 - 1.0+2.0i - unboxed literal +unboxed-let.rkt line 6 col 23 - 2.0+4.0i - unboxed literal unboxed-let.rkt line 6 col 12 - + - unboxed binary inexact complex unboxed-let.rkt line 6 col 0 - (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (let-values (((t2) (#%app - t1 (quote 3.0+6.0i)))) (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)))) - unboxed let bindings +unboxed-let.rkt line 9 col 5 - t2 - unbox inexact-complex +unboxed-let.rkt line 9 col 8 - t3 - unbox inexact-complex unboxed-let.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-let.rkt line 9 col 2 - (#%app + t2 t3) - unboxed inexact complex +unboxed-let.rkt line 7 col 14 - t1 - leave var unboxed +unboxed-let.rkt line 7 col 17 - 3.0+6.0i - unboxed literal unboxed-let.rkt line 7 col 12 - - - unboxed binary inexact complex unboxed-let.rkt line 6 col 0 - (let-values (((t2) (#%app - t1 (quote 3.0+6.0i)))) (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3))) - unboxed let bindings +unboxed-let.rkt line 9 col 5 - t2 - leave var unboxed +unboxed-let.rkt line 9 col 8 - t3 - unbox inexact-complex unboxed-let.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-let.rkt line 9 col 2 - (#%app + t2 t3) - unboxed inexact complex +unboxed-let.rkt line 8 col 11 - 4.0+8.0i - unboxed literal unboxed-let.rkt line 6 col 0 - (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)) - unboxed let bindings +unboxed-let.rkt line 9 col 5 - t2 - leave var unboxed +unboxed-let.rkt line 9 col 8 - t3 - leave var unboxed unboxed-let.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-let.rkt line 9 col 2 - (#%app + t2 t3) - unboxed inexact complex 4.0+8.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log index 742f7a2ab5..25ebffb9b4 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log @@ -1,10 +1,20 @@ +unboxed-let2.rkt line 8 col 5 - t1 - unbox inexact-complex +unboxed-let2.rkt line 8 col 8 - t2 - unbox inexact-complex unboxed-let2.rkt line 8 col 3 - + - unboxed binary inexact complex unboxed-let2.rkt line 8 col 2 - (#%app + t1 t2) - unboxed inexact complex +unboxed-let2.rkt line 8 col 5 - t1 - unbox inexact-complex +unboxed-let2.rkt line 8 col 8 - t2 - unbox inexact-complex unboxed-let2.rkt line 8 col 3 - + - unboxed binary inexact complex unboxed-let2.rkt line 8 col 2 - (#%app + t1 t2) - unboxed inexact complex +unboxed-let2.rkt line 6 col 13 - 1.0+2.0i - unboxed literal +unboxed-let2.rkt line 6 col 22 - 2.0+4.0i - unboxed literal unboxed-let2.rkt line 6 col 11 - + - unboxed binary inexact complex +unboxed-let2.rkt line 7 col 13 - 3.0+6.0i - unboxed literal +unboxed-let2.rkt line 7 col 22 - 4.0+8.0i - unboxed literal unboxed-let2.rkt line 7 col 11 - + - unboxed binary inexact complex unboxed-let2.rkt line 6 col 0 - (let-values (((t1) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) ((t2) (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)))) (#%app + t1 t2)) - unboxed let bindings +unboxed-let2.rkt line 8 col 5 - t1 - leave var unboxed +unboxed-let2.rkt line 8 col 8 - t2 - leave var unboxed unboxed-let2.rkt line 8 col 3 - + - unboxed binary inexact complex unboxed-let2.rkt line 8 col 2 - (#%app + t1 t2) - unboxed inexact complex 10.0+20.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log index 330f7498c6..328214e050 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log @@ -1,8 +1,14 @@ +unboxed-let3.rkt line 16 col 9 - x - unbox inexact-complex +unboxed-let3.rkt line 16 col 11 - 2.0+4.0i - unboxed literal unboxed-let3.rkt line 16 col 7 - + - unboxed binary inexact complex unboxed-let3.rkt line 16 col 6 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-let3.rkt line 13 col 12 - 1.0+2.0i - unboxed literal +unboxed-let3.rkt line 13 col 21 - 2.0+4.0i - unboxed literal unboxed-let3.rkt line 13 col 10 - + - unboxed binary inexact complex unboxed-let3.rkt line 13 col 0 - (let-values (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (if (#%app even? (quote 2)) x (#%app + x (quote 2.0+4.0i)))) - unboxed let bindings -unboxed-let3.rkt line 15 col 6 - x - unboxed complex variable +unboxed-let3.rkt line 15 col 6 - x - unboxed complex variable +unboxed-let3.rkt line 16 col 9 - x - leave var unboxed +unboxed-let3.rkt line 16 col 11 - 2.0+4.0i - unboxed literal unboxed-let3.rkt line 16 col 7 - + - unboxed binary inexact complex unboxed-let3.rkt line 16 col 6 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex 3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log index 034d605631..2092bb8bf2 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log @@ -1,7 +1,13 @@ +unboxed-letrec-syntaxes+values.rkt line 8 col 27 - x - unbox inexact-complex +unboxed-letrec-syntaxes+values.rkt line 8 col 29 - 2.0+4.0i - unboxed literal unboxed-letrec-syntaxes+values.rkt line 8 col 25 - + - unboxed binary inexact complex unboxed-letrec-syntaxes+values.rkt line 8 col 24 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-letrec-syntaxes+values.rkt line 7 col 33 - 1.0+2.0i - unboxed literal +unboxed-letrec-syntaxes+values.rkt line 7 col 42 - 2.0+4.0i - unboxed literal unboxed-letrec-syntaxes+values.rkt line 7 col 31 - + - unboxed binary inexact complex unboxed-letrec-syntaxes+values.rkt line 6 col 0 - (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)))) (#%app + x (quote 2.0+4.0i))) - unboxed let bindings +unboxed-letrec-syntaxes+values.rkt line 8 col 27 - x - leave var unboxed +unboxed-letrec-syntaxes+values.rkt line 8 col 29 - 2.0+4.0i - unboxed literal unboxed-letrec-syntaxes+values.rkt line 8 col 25 - + - unboxed binary inexact complex unboxed-letrec-syntaxes+values.rkt line 8 col 24 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex 5.0+10.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log index 1eb56dfc77..0b67db132c 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log @@ -1,9 +1,18 @@ +unboxed-letrec.rkt line 9 col 5 - x - unbox inexact-complex +unboxed-letrec.rkt line 9 col 7 - y - unbox inexact-complex unboxed-letrec.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-letrec.rkt line 9 col 2 - (#%app + x y) - unboxed inexact complex +unboxed-letrec.rkt line 9 col 5 - x - unbox inexact-complex +unboxed-letrec.rkt line 9 col 7 - y - unbox inexact-complex unboxed-letrec.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-letrec.rkt line 9 col 2 - (#%app + x y) - unboxed inexact complex +unboxed-letrec.rkt line 7 col 31 - 1.0+2.0i - unboxed literal +unboxed-letrec.rkt line 8 col 34 - 2.0+4.0i - unboxed literal +unboxed-letrec.rkt line 8 col 43 - 3.0+6.0i - unboxed literal unboxed-letrec.rkt line 8 col 32 - + - unboxed binary inexact complex unboxed-letrec.rkt line 6 col 0 - (letrec-values (((f) (lambda (x) (#%app f x))) ((x) (quote 1.0+2.0i)) ((y) (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) (#%app + x y)) - unboxed let bindings +unboxed-letrec.rkt line 9 col 5 - x - leave var unboxed +unboxed-letrec.rkt line 9 col 7 - y - leave var unboxed unboxed-letrec.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-letrec.rkt line 9 col 2 - (#%app + x y) - unboxed inexact complex 6.0+12.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log index a4c8ea61ae..264bc093a8 100644 --- a/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log @@ -1,13 +1,21 @@ +unboxed-make-rectangular.rkt line 7 col 5 - x - unbox inexact-complex +unboxed-make-rectangular.rkt line 7 col 7 - 2.0+4.0i - unboxed literal unboxed-make-rectangular.rkt line 7 col 3 - + - unboxed binary inexact complex unboxed-make-rectangular.rkt line 7 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex unboxed-make-rectangular.rkt line 6 col 10 - make-rectangular - make-rectangular elimination unboxed-make-rectangular.rkt line 6 col 0 - (let-values (((x) (#%app make-rectangular (quote 1.0) (quote 2.0)))) (#%app + x (quote 2.0+4.0i))) - unboxed let bindings +unboxed-make-rectangular.rkt line 7 col 5 - x - leave var unboxed +unboxed-make-rectangular.rkt line 7 col 7 - 2.0+4.0i - unboxed literal unboxed-make-rectangular.rkt line 7 col 3 - + - unboxed binary inexact complex unboxed-make-rectangular.rkt line 7 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-make-rectangular.rkt line 9 col 5 - x - unbox inexact-complex +unboxed-make-rectangular.rkt line 9 col 7 - 2.0+4.0i - unboxed literal unboxed-make-rectangular.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-make-rectangular.rkt line 9 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex unboxed-make-rectangular.rkt line 8 col 10 - unsafe-make-flrectangular - make-rectangular elimination unboxed-make-rectangular.rkt line 8 col 0 - (let-values (((x) (#%app unsafe-make-flrectangular (quote 1.0) (quote 2.0)))) (#%app + x (quote 2.0+4.0i))) - unboxed let bindings +unboxed-make-rectangular.rkt line 9 col 5 - x - leave var unboxed +unboxed-make-rectangular.rkt line 9 col 7 - 2.0+4.0i - unboxed literal unboxed-make-rectangular.rkt line 9 col 3 - + - unboxed binary inexact complex unboxed-make-rectangular.rkt line 9 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex 3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log index 1521e51478..1f314ec856 100644 --- a/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log @@ -1,3 +1,3 @@ -vector-length-nested.rkt line 4 col 1 - vector-length - vector +vector-length-nested.rkt line 4 col 1 - vector-length - vector-length vector-length-nested.rkt line 5 col 2 - vector-ref - vector 2 diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log index 9e1f818815..3afe86c2e4 100644 --- a/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log +++ b/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log @@ -1,2 +1,2 @@ -vector-length.rkt line 4 col 1 - vector-length - vector +vector-length.rkt line 4 col 1 - vector-length - vector-length 3 diff --git a/collects/typed-scheme/optimizer/inexact-complex.rkt b/collects/typed-scheme/optimizer/inexact-complex.rkt index 1d17780188..a733651c83 100644 --- a/collects/typed-scheme/optimizer/inexact-complex.rkt +++ b/collects/typed-scheme/optimizer/inexact-complex.rkt @@ -229,7 +229,7 @@ #:with real-binding #'c.real-binding #:with imag-binding #f #:with (bindings ...) - (begin (log-optimization "unboxed unary inexact complex**" #'op) + (begin (log-optimization "unboxed unary inexact complex" #'op) #'(c.bindings ...))) (pattern (#%plain-app (~and op (~or (~literal imag-part) (~literal unsafe-flimag-part))) c:unboxed-inexact-complex-opt-expr) @@ -244,7 +244,7 @@ (pattern e:float-coerce-expr #:with real-binding (unboxed-gensym 'unboxed-float-) #:with imag-binding #f - #:when (log-optimization "float-coerce-expr" #'e) + #:when (log-optimization "float-coerce-expr in complex ops" #'e) #:with (bindings ...) #`(((real-binding) e.opt))) @@ -278,7 +278,9 @@ #:when (syntax->datum #'unboxed-info) #:with real-binding (car (syntax->list #'unboxed-info)) #:with imag-binding (cadr (syntax->list #'unboxed-info)) - #:with (bindings ...) #'()) + #:with (bindings ...) + (begin (log-optimization "leave var unboxed" #'v) + #'())) ;; else, do the unboxing here @@ -290,21 +292,23 @@ #:with real-binding (unboxed-gensym "unboxed-real-") #:with imag-binding (unboxed-gensym "unboxed-imag-") #:with (bindings ...) - (let ((n (syntax->datum #'n))) - #`(((real-binding) #,(datum->syntax - #'here - (exact->inexact (real-part n)))) - ((imag-binding) #,(datum->syntax - #'here - (exact->inexact (imag-part n))))))) + (begin (log-optimization "unboxed literal" #'n) + (let ((n (syntax->datum #'n))) + #`(((real-binding) #,(datum->syntax + #'here + (exact->inexact (real-part n)))) + ((imag-binding) #,(datum->syntax + #'here + (exact->inexact (imag-part n)))))))) (pattern (quote n) #:when (real? (syntax->datum #'n)) #:with real-binding (unboxed-gensym "unboxed-real-") #:with imag-binding #f #:with (bindings ...) - #`(((real-binding) #,(datum->syntax - #'here - (exact->inexact (syntax->datum #'n)))))) + (begin (log-optimization "unboxed literal" #'n) + #`(((real-binding) #,(datum->syntax + #'here + (exact->inexact (syntax->datum #'n))))))) (pattern e:expr #:when (isoftype? #'e -InexactComplex) @@ -312,18 +316,20 @@ #:with real-binding (unboxed-gensym "unboxed-real-") #:with imag-binding (unboxed-gensym "unboxed-imag-") #:with (bindings ...) - #`(((e*) #,((optimize) #'e)) - ((real-binding) (unsafe-flreal-part e*)) - ((imag-binding) (unsafe-flimag-part e*)))) + (begin (log-optimization "unbox inexact-complex" #'e) + #`(((e*) #,((optimize) #'e)) + ((real-binding) (unsafe-flreal-part e*)) + ((imag-binding) (unsafe-flimag-part e*))))) (pattern e:expr #:when (isoftype? #'e -Number) ; complex, maybe exact, maybe not #:with e* (unboxed-gensym) #:with real-binding (unboxed-gensym "unboxed-real-") #:with imag-binding (unboxed-gensym "unboxed-imag-") #:with (bindings ...) - #`(((e*) #,((optimize) #'e)) - ((real-binding) (exact->inexact (real-part e*))) - ((imag-binding) (exact->inexact (imag-part e*))))) + (begin (log-optimization "unbox complex" #'e) + #`(((e*) #,((optimize) #'e)) + ((real-binding) (exact->inexact (real-part e*))) + ((imag-binding) (exact->inexact (imag-part e*)))))) (pattern e:expr #:with (bindings ...) (error "non exhaustive pattern match") @@ -387,7 +393,8 @@ #'unboxed-info #'op)) ; no need to optimize op #'e #:with opt - #'e*.opt) + (begin (log-optimization "call to fun with unboxed args" #'op) + #'e*.opt)) (pattern e:inexact-complex-arith-opt-expr #:with opt #'e.opt)) @@ -427,7 +434,7 @@ #:with (bindings ...) #'() ;; unboxed variable used in a boxed fashion, we have to box #:with opt - (begin (log-optimization "unboxed complex variable " #'v) + (begin (log-optimization "unboxed complex variable" #'v) (reset-unboxed-gensym) #'(unsafe-make-flrectangular real-binding imag-binding)))) diff --git a/collects/typed-scheme/optimizer/string.rkt b/collects/typed-scheme/optimizer/string.rkt index 8f9f019e0f..6d29c5ca79 100644 --- a/collects/typed-scheme/optimizer/string.rkt +++ b/collects/typed-scheme/optimizer/string.rkt @@ -20,9 +20,9 @@ (define-syntax-class string-opt-expr (pattern (#%plain-app (~literal string-length) s:string-expr) #:with opt - (begin (log-optimization "string" #'op) + (begin (log-optimization "string-length" #'op) #'(unsafe-string-length s.opt))) (pattern (#%plain-app (~literal bytes-length) s:bytes-expr) #:with opt - (begin (log-optimization "bytes" #'op) + (begin (log-optimization "bytes-length" #'op) #'(unsafe-bytes-length s.opt)))) diff --git a/collects/typed-scheme/optimizer/unboxed-let.rkt b/collects/typed-scheme/optimizer/unboxed-let.rkt index cb8fb9ee07..73047acd3e 100644 --- a/collects/typed-scheme/optimizer/unboxed-let.rkt +++ b/collects/typed-scheme/optimizer/unboxed-let.rkt @@ -38,7 +38,8 @@ #'unboxed-info #'operator.opt)) #'e #:with opt - #'e*.opt)) + (begin (log-optimization "unboxed let loop" #'loop-fun) + #'e*.opt))) ;; does the bulk of the work ;; detects which let bindings can be unboxed, same for arguments of let-bound @@ -98,6 +99,10 @@ ;; if so, add to the table of functions with ;; unboxed params, so we can modify its call ;; sites, it's body and its header + (begin (log-optimization + "unboxed function -> table" + fun-name) + #t) (dict-set! unboxed-funs-table fun-name (list (reverse unboxed) (reverse boxed))))] @@ -105,6 +110,8 @@ (could-be-unboxed-in? (car params) #'(begin body ...))) ;; we can unbox + (log-optimization "unboxed var -> table" + (car params)) (loop (cons i unboxed) boxed (add1 i) (cdr params) (cdr doms))] [else ; can't unbox @@ -278,6 +285,7 @@ (syntax->list #'(to-unbox ...))) #:with res (begin + (log-optimization "fun -> unboxed fun" #'v) ;; add unboxed parameters to the unboxed vars table (let ((to-unbox (map syntax->datum (syntax->list #'(to-unbox ...))))) (let loop ((params (syntax->list #'params)) diff --git a/collects/typed-scheme/optimizer/vector.rkt b/collects/typed-scheme/optimizer/vector.rkt index 1014414767..d162dcabc2 100644 --- a/collects/typed-scheme/optimizer/vector.rkt +++ b/collects/typed-scheme/optimizer/vector.rkt @@ -30,7 +30,7 @@ (~literal unsafe-vector*-length))) v:vector-expr) #:with opt - (begin (log-optimization "known-length vector" #'op) + (begin (log-optimization "known-length vector-length" #'op) (match (type-of #'v) [(tc-result1: (HeterogenousVector: es)) #`(begin v.opt #,(length es))]))) ; v may have side effects @@ -39,12 +39,12 @@ ;; we can optimize no matter what. (pattern (#%plain-app (~and op (~literal vector-length)) v:expr) #:with opt - (begin (log-optimization "vector" #'op) + (begin (log-optimization "vector-length" #'op) #`(unsafe-vector*-length #,((optimize) #'v)))) ;; same for flvector-length (pattern (#%plain-app (~and op (~literal flvector-length)) v:expr) #:with opt - (begin (log-optimization "flvector" #'op) + (begin (log-optimization "flvector-length" #'op) #`(unsafe-flvector-length #,((optimize) #'v)))) ;; we can optimize vector ref and set! on vectors of known length if we know ;; the index is within bounds (for now, literal or singleton type)