suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improved logging since it's now used for testing.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-08-27 12:22:19 -04:00
parent 18af26ec9b
commit ca16ac4db5
53 changed files with 393 additions and 89 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log
View File

@ -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

4
collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log
View File

@ -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

4
collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log
View File

@ -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

30
collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log
View File

@ -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")

23
collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log
View File

@ -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

19
collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log
View File

@ -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

16
collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log
View File

@ -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

16
collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log
View File

@ -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

16
collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log
View File

@ -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

4
collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log
View File

@ -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

12
collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log
View File

@ -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

6
collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log
View File

@ -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

4
collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log
View File

@ -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

1
collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log
View File

@ -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

1
collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log
View File

@ -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

4
collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log
View File

@ -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

3
collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log
View File

@ -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

23
collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log
View File

@ -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

10
collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log
View File

@ -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

15
collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log
View File

@ -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

4
collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log
View File

@ -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

31
collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log
View File

@ -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

10
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log
View File

@ -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

14
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log
View File

@ -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

12
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log
View File

@ -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

12
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log
View File

@ -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

13
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log
View File

@ -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

14
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log
View File

@ -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

13
collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log
View File

@ -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

10
collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log
View File

@ -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

8
collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log
View File

@ -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

6
collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log
View File

@ -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

9
collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log
View File

@ -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

8
collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log
View File

@ -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

2
collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log
View File

@ -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

49
collects/typed-scheme/optimizer/inexact-complex.rkt
View File

@ -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))))

4
collects/typed-scheme/optimizer/string.rkt
View File

@ -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))))

10
collects/typed-scheme/optimizer/unboxed-let.rkt
View File

@ -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))

6
collects/typed-scheme/optimizer/vector.rkt
View File

@ -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)