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

Test expected optimizations by comparing optimizer logs instead of expanded code.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-08-27 11:35:02 -04:00
parent 6f6ec3b2bf
commit 18af26ec9b
223 changed files with 681 additions and 1574 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/optimizer/generic/apply-plus.rkt.log Normal file
View File

@ -0,0 +1,4 @@
apply-plus.rkt line 4 col 7 - + - apply-map
apply-plus.rkt line 5 col 7 - * - apply-map
9
24

4
collects/tests/typed-scheme/optimizer/generic/begin-float.rkt.log Normal file
View File

@ -0,0 +1,4 @@
begin-float.rkt line 4 col 8 - - - binary float
begin-float.rkt line 5 col 8 - * - binary float
-1.0
6.0

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

@ -0,0 +1,2 @@
binary-fixnum.rkt line 6 col 16 - vector-length - vector
binary-fixnum.rkt line 6 col 3 - bitwise-and - binary fixnum

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

@ -0,0 +1,3 @@
binary-nonzero-fixnum.rkt line 4 col 11 - vector-length - vector
binary-nonzero-fixnum.rkt line 4 col 1 - quotient - binary nonzero fixnum
1

5
collects/tests/typed-scheme/optimizer/generic/box.rkt.log Normal file
View File

@ -0,0 +1,5 @@
box.rkt line 8 col 1 - unbox - box
box.rkt line 9 col 1 - set-box! - box
box.rkt line 10 col 1 - unbox - box
1
2

0
collects/tests/typed-scheme/optimizer/generic/cross-module-struct.rkt.log Normal file
View File

2
collects/tests/typed-scheme/optimizer/generic/cross-module-struct2.rkt.log Normal file
View File

@ -0,0 +1,2 @@
cross-module-struct2.rkt line 5 col 1 - x-x - struct ref
1

5
collects/tests/typed-scheme/optimizer/generic/dead-else.rkt.log Normal file
View File

@ -0,0 +1,5 @@
#f line #f col #f - op - dead else branch
dead-else.rkt line 5 col 14 - + - binary float
#f line #f col #f - op - dead else branch
dead-else.rkt line 8 col 14 - + - binary float
5.05.0

2
collects/tests/typed-scheme/optimizer/generic/dead-substructs.rkt.log Normal file
View File

@ -0,0 +1,2 @@
1
2

5
collects/tests/typed-scheme/optimizer/generic/dead-then.rkt.log Normal file
View File

@ -0,0 +1,5 @@
#f line #f col #f - op - dead then branch
dead-then.rkt line 6 col 14 - + - binary float
#f line #f col #f - op - dead then branch
dead-then.rkt line 9 col 14 - + - binary float
9.09.0

3
collects/tests/typed-scheme/optimizer/generic/define-begin-float.rkt.log Normal file
View File

@ -0,0 +1,3 @@
define-begin-float.rkt line 4 col 27 - - - binary float
define-begin-float.rkt line 5 col 18 - * - binary float
-1.0

1
collects/tests/typed-scheme/optimizer/generic/define-call-float.rkt.log Normal file
View File

@ -0,0 +1 @@
define-call-float.rkt line 4 col 17 - + - binary float

1
collects/tests/typed-scheme/optimizer/generic/define-float.rkt.log Normal file
View File

@ -0,0 +1 @@
define-float.rkt line 4 col 11 - + - binary float

1
collects/tests/typed-scheme/optimizer/generic/define-pair.rkt.log Normal file
View File

@ -0,0 +1 @@
define-pair.rkt line 4 col 11 - car - unary pair

1
collects/tests/typed-scheme/optimizer/generic/different-langs.rkt.log Normal file
View File

@ -0,0 +1 @@
3

2
collects/tests/typed-scheme/optimizer/generic/double-float.rkt.log Normal file
View File

@ -0,0 +1,2 @@
double-float.rkt line 4 col 1 - + - binary float
6.0

2
collects/tests/typed-scheme/optimizer/generic/exact-inexact.rkt.log Normal file
View File

@ -0,0 +1,2 @@
exact-inexact.rkt line 4 col 1 - exact->inexact - int to float
1e+100

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

@ -0,0 +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 1 - < - binary fixnum
#t

2
collects/tests/typed-scheme/optimizer/generic/float-comp.rkt.log Normal file
View File

@ -0,0 +1,2 @@
float-comp.rkt line 4 col 1 - < - binary float comp
#t

1
collects/tests/typed-scheme/optimizer/generic/float-fun.rkt.log Normal file
View File

@ -0,0 +1 @@
float-fun.rkt line 7 col 3 - + - binary float

5
collects/tests/typed-scheme/optimizer/generic/float-promotion.rkt.log Normal file
View File

@ -0,0 +1,5 @@
float-promotion.rkt line 4 col 4 - quotient - binary nonzero fixnum
float-promotion.rkt line 4 col 1 - + - binary float
float-promotion.rkt line 5 col 1 - + - binary float
3.0
1e+200

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

@ -0,0 +1,2 @@
flvector-length.rkt line 4 col 1 - flvector-length - flvector
2

2
collects/tests/typed-scheme/optimizer/generic/fx-fl.rkt.log Normal file
View File

@ -0,0 +1,2 @@
fx-fl.rkt line 4 col 1 - exact->inexact - fixnum to float
1.0

15
collects/tests/typed-scheme/optimizer/generic/in-bytes.rkt.log Normal file
View File

@ -0,0 +1,15 @@
#f line #f col #f - make-sequence - in-bytes
#f line #f col #f - (let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) (#%app make-sequence (quote (i)) (quote 123)))) (#%app void) (#%app (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) (#%app void) init)) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-bytes.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-bytes.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
495051

15
collects/tests/typed-scheme/optimizer/generic/in-list.rkt.log Normal file
View File

@ -0,0 +1,15 @@
#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 2 3))))) (#%app void) (#%app (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) (#%app void) init)) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-list.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-list.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
123

15
collects/tests/typed-scheme/optimizer/generic/in-string.rkt.log Normal file
View File

@ -0,0 +1,15 @@
#f line #f col #f - make-sequence - in-string
#f line #f col #f - (let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) (#%app make-sequence (quote (i)) (quote 123)))) (#%app void) (#%app (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) (#%app void) init)) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-string.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-string.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
123

15
collects/tests/typed-scheme/optimizer/generic/in-vector.rkt.log Normal file
View File

@ -0,0 +1,15 @@
#f line #f col #f - make-sequence - in-vector
#f line #f col #f - (let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) (#%app make-sequence (quote (i)) (#%app vector (quote 1) (quote 2) (quote 3))))) (#%app void) (#%app (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) (#%app void) init)) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-vector.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))) - unboxed let bindings
#f line #f col #f - (let-values () (let-values () (#%app display i)) (#%app void)) - unboxed let bindings
#f line #f col #f - (let-values () (#%app display i)) - unboxed let bindings
#f line #f col #f - (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) - unboxed let bindings
in-vector.rkt line 4 col 0 - (letrec-values (((for-loop) (lambda (fold-var pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((fold-var) (let-values (((fold-var) fold-var)) (let-values () (let-values () (#%app display i)) (#%app void))))) (if (#%app all-cont? pos i) (#%app for-loop fold-var (#%app pos-next pos)) fold-var)) fold-var)) fold-var)))) for-loop) - unboxed let bindings
123

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

@ -0,0 +1,4 @@
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
3.0-6.0i

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

@ -0,0 +1,5 @@
inexact-complex-conjugate.rkt line 4 col 4 - conjugate - unboxed unary inexact complex
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.0-6.0i

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

@ -0,0 +1,3 @@
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

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

@ -0,0 +1,6 @@
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 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

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

@ -0,0 +1,26 @@
inexact-complex-float-div.rkt line 5 col 52 - real-part - unboxed 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 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 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 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 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 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 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 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")

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

@ -0,0 +1,25 @@
inexact-complex-float-mul.rkt line 4 col 3 - (quote 1.0) - float-coerce-expr
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 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 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 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 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 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
2.0+4.0i
-18.0+24.0i
-18.0+24.0i
-18.0+24.0i
6.0+12.0i

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

@ -0,0 +1,23 @@
inexact-complex-float-small.rkt line 4 col 12 - (quote 3.0) - float-coerce-expr
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 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 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 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 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 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
3.0+4.0i
-2.0+2.0i
-1.0-4.0i
4.0+2.0i

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

@ -0,0 +1,16 @@
inexact-complex-float.rkt line 4 col 12 - (quote 2.0) - float-coerce-expr
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 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 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 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
-4.0-10.0i
-4.0-4.0i
-4.0-2.0i

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

@ -0,0 +1,4 @@
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.0+4.0i

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

@ -0,0 +1,4 @@
inexact-complex-integer.rkt line 4 col 3 - (#%app expt (quote 2) (quote 100)) - float-coerce-expr
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 Normal file
View File

@ -0,0 +1,3 @@
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

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

@ -0,0 +1,6 @@
inexact-complex-parts.rkt line 4 col 1 - real-part - unboxed inexact complex
inexact-complex-parts.rkt line 5 col 1 - imag-part - unboxed inexact complex
inexact-complex-parts.rkt line 6 col 1 - real-part - unboxed inexact complex
1.0
2.0
1.0

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

@ -0,0 +1,20 @@
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 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 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 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 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 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 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 21 - + - unboxed binary inexact complex
inexact-complex-parts2.rkt line 9 col 1 - unsafe-flimag-part - unboxed inexact complex
3.0
3.0
6.0
6.0

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

@ -0,0 +1,20 @@
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 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 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 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 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 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
inexact-complex-parts3.rkt line 9 col 0 - (#%app + (quote 1.0+2.0i) (#%app unsafe-flimag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
6.0+2.0i
6.0+2.0i
11.0+2.0i
11.0+2.0i

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

@ -0,0 +1,4 @@
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 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

6
collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log Normal file
View File

@ -0,0 +1,6 @@
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 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
-1.0-2.0i

0
collects/tests/typed-scheme/optimizer/generic/invalid-binary-nonzero-fixnum.rkt.log Normal file
View File

2
collects/tests/typed-scheme/optimizer/generic/invalid-exact-inexact.rkt.log Normal file
View File

@ -0,0 +1,2 @@
invalid-exact-inexact.rkt line 3 col 1 - exact->inexact - float to float
1.0

1
collects/tests/typed-scheme/optimizer/generic/invalid-float-comp.rkt.log Normal file
View File

@ -0,0 +1 @@
#t

1
collects/tests/typed-scheme/optimizer/generic/invalid-float-promotion.rkt.log Normal file
View File

@ -0,0 +1 @@
0.5

1
collects/tests/typed-scheme/optimizer/generic/invalid-inexact-complex-parts.rkt.log Normal file
View File

@ -0,0 +1 @@
1

1
collects/tests/typed-scheme/optimizer/generic/invalid-make-flrectangular.rkt.log Normal file
View File

@ -0,0 +1 @@
1+2i

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

@ -0,0 +1 @@
0

0
collects/tests/typed-scheme/optimizer/generic/invalid-mpair.rkt.log Normal file
View File

1
collects/tests/typed-scheme/optimizer/generic/invalid-sqrt.rkt.log Normal file
View File

@ -0,0 +1 @@
0+1.4142135623730951i

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

@ -0,0 +1,13 @@
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 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 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 11 - + - unboxed binary inexact complex
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 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

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

@ -0,0 +1,8 @@
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 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 3 - + - unboxed binary inexact complex
invalid-unboxed-let2.rkt line 8 col 2 - (#%app + t1 t2) - unboxed inexact complex
10.0+20.0i

0
collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt.log Normal file
View File

0
collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt.log Normal file
View File

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

@ -0,0 +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
4

4
collects/tests/typed-scheme/optimizer/generic/let-float.rkt.log Normal file
View File

@ -0,0 +1,4 @@
let-float.rkt line 4 col 10 - + - binary float
let-float.rkt line 4 col 0 - (let-values (((x) (#%app + (quote 3.0) (quote 2.0)))) (#%app * (quote 9.0) x)) - unboxed let bindings
let-float.rkt line 5 col 3 - * - binary float
45.0

3
collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt.log Normal file
View File

@ -0,0 +1,3 @@
let-rhs.rkt line 6 col 10 - + - binary float
let-rhs.rkt line 6 col 0 - (let-values (((x) (#%app + (quote 1.0) (quote 2.0)))) x) - unboxed let bindings
3.0

3
collects/tests/typed-scheme/optimizer/generic/literal-int.rkt.log Normal file
View File

@ -0,0 +1,3 @@
literal-int.rkt line 6 col 1 - + - binary float
3.0
1

3
collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log Normal file
View File

@ -0,0 +1,3 @@
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

4
collects/tests/typed-scheme/optimizer/generic/make-flrectangular.rkt.log Normal file
View File

@ -0,0 +1,4 @@
make-flrectangular.rkt line 4 col 1 - make-rectangular - binary float comp
make-flrectangular.rkt line 5 col 1 - make-flrectangular - binary float comp
1.0+2.2i
1.0+2.2i

7
collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log Normal file
View File

@ -0,0 +1,7 @@
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 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
0.5403023058681398+0.8414709848078965i
-0.3072872417272239+0.4863950093841434i

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

@ -0,0 +1,3 @@
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

8
collects/tests/typed-scheme/optimizer/generic/mpair.rkt.log Normal file
View File

@ -0,0 +1,8 @@
mpair.rkt line 6 col 1 - mcar - mutable pair
mpair.rkt line 7 col 1 - mcdr - mutable pair
mpair.rkt line 8 col 1 - set-mcar! - mutable pair
mpair.rkt line 9 col 1 - set-mcdr! - mutable pair
mpair.rkt line 9 col 14 - + - binary float
mpair.rkt line 15 col 7 - mcar - mutable pair
1
1.0

2
collects/tests/typed-scheme/optimizer/generic/n-ary-float.rkt.log Normal file
View File

@ -0,0 +1,2 @@
n-ary-float.rkt line 4 col 1 - + - binary float
6.0

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

@ -0,0 +1,3 @@
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-float.rkt.log Normal file
View File

@ -0,0 +1,3 @@
nested-float.rkt line 4 col 8 - + - binary float
nested-float.rkt line 4 col 1 - + - binary float
9.0

3
collects/tests/typed-scheme/optimizer/generic/nested-float2.rkt.log Normal file
View File

@ -0,0 +1,3 @@
nested-float2.rkt line 4 col 8 - * - binary float
nested-float2.rkt line 4 col 1 - + - binary float
14.0

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

@ -0,0 +1,4 @@
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
0.0+0.0i

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

@ -0,0 +1,18 @@
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 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 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 16 col 41 - car - unary pair
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
#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
#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
#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
#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
20.0+40.0i

3
collects/tests/typed-scheme/optimizer/generic/nested-pair1.rkt.log Normal file
View File

@ -0,0 +1,3 @@
nested-pair1.rkt line 4 col 6 - cdr - unary pair
nested-pair1.rkt line 4 col 1 - car - unary pair
2

3
collects/tests/typed-scheme/optimizer/generic/nested-pair2.rkt.log Normal file
View File

@ -0,0 +1,3 @@
nested-pair2.rkt line 4 col 6 - cdr - unary pair
nested-pair2.rkt line 4 col 1 - car - unary pair
'(2)

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

@ -0,0 +1,11 @@
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 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 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 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 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

30
collects/tests/typed-scheme/optimizer/generic/one-arg-arith.rkt.log Normal file
View File

@ -0,0 +1,30 @@
one-arg-arith.rkt line 6 col 1 - - - unary fixnum
one-arg-arith.rkt line 7 col 1 - - - unary float
one-arg-arith.rkt line 8 col 1 - / - unary float
one-arg-arith.rkt line 10 col 1 - + - unary number
one-arg-arith.rkt line 11 col 1 - + - unary number
one-arg-arith.rkt line 12 col 1 - + - unary number
one-arg-arith.rkt line 13 col 1 - * - unary number
one-arg-arith.rkt line 14 col 1 - * - unary number
one-arg-arith.rkt line 15 col 1 - * - unary number
one-arg-arith.rkt line 16 col 1 - min - unary number
one-arg-arith.rkt line 17 col 1 - min - unary number
one-arg-arith.rkt line 18 col 1 - min - unary number
one-arg-arith.rkt line 19 col 1 - max - unary number
one-arg-arith.rkt line 20 col 1 - max - unary number
one-arg-arith.rkt line 21 col 1 - max - unary number
-12
-12.0
0.23809523809523808
1
1.0
1267650600228229401496703205376
1
1.0
1267650600228229401496703205376
1
1.0
1267650600228229401496703205376
1
1.0
1267650600228229401496703205376

1
collects/tests/typed-scheme/optimizer/generic/pair-fun.rkt.log Normal file
View File

@ -0,0 +1 @@
pair-fun.rkt line 8 col 7 - car - unary pair

1
collects/tests/typed-scheme/optimizer/generic/quote.rkt.log Normal file
View File

@ -0,0 +1 @@
'(+ 1.0 2.0)

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

@ -0,0 +1,11 @@
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 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 13 - + - unboxed binary inexact complex
real-part-loop.rkt line 10 col 7 - loop - unboxed call site
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 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
0

2
collects/tests/typed-scheme/optimizer/generic/simple-float.rkt.log Normal file
View File

@ -0,0 +1,2 @@
simple-float.rkt line 4 col 1 - + - binary float
5.0

2
collects/tests/typed-scheme/optimizer/generic/simple-pair.rkt.log Normal file
View File

@ -0,0 +1,2 @@
simple-pair.rkt line 4 col 1 - car - unary pair
1

6
collects/tests/typed-scheme/optimizer/generic/sqrt-segfault.rkt.log Normal file
View File

@ -0,0 +1,6 @@
sqrt-segfault.rkt line 12 col 15 - - - binary float
sqrt-segfault.rkt line 12 col 0 - (let-values (((dx) (#%app - (quote 0.0) (quote 0.0)))) (let-values (((dist2) (#%app * dx dx))) (let-values (((mag) (let-values (((val) (#%app * dist2 (#%app sqrt dist2)))) (if (#%app inexact-real? val) val (#%app error (quote Assertion failed)))))) (#%app void)))) - unboxed let bindings
sqrt-segfault.rkt line 13 col 15 - * - binary float
sqrt-segfault.rkt line 12 col 0 - (let-values (((dist2) (#%app * dx dx))) (let-values (((mag) (let-values (((val) (#%app * dist2 (#%app sqrt dist2)))) (if (#%app inexact-real? val) val (#%app error (quote Assertion failed)))))) (#%app void))) - unboxed let bindings
sqrt-segfault.rkt line 14 col 14 - (let-values (((val) (#%app * dist2 (#%app sqrt dist2)))) (if (#%app inexact-real? val) val (#%app error (quote Assertion failed)))) - unboxed let bindings
sqrt-segfault.rkt line 12 col 0 - (let-values (((mag) (let-values (((val) (#%app * dist2 (#%app sqrt dist2)))) (if (#%app inexact-real? val) val (#%app error (quote Assertion failed)))))) (#%app void)) - unboxed let bindings

1
collects/tests/typed-scheme/optimizer/generic/sqrt.rkt.log Normal file
View File

@ -0,0 +1 @@
sqrt.rkt line 6 col 3 - sqrt - unary float

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

@ -0,0 +1,4 @@
#f line #f col #f - op - string
#f line #f col #f - op - bytes
2
2

3
collects/tests/typed-scheme/optimizer/generic/structs.rkt.log Normal file
View File

@ -0,0 +1,3 @@
structs.rkt line 6 col 1 - pt-x - struct ref
structs.rkt line 7 col 1 - set-pt-y! - struct set
3

3
collects/tests/typed-scheme/optimizer/generic/unary-fixnum-nested.rkt.log Normal file
View File

@ -0,0 +1,3 @@
unary-fixnum-nested.rkt line 4 col 6 - bitwise-not - unary fixnum
unary-fixnum-nested.rkt line 4 col 1 - abs - unary fixnum
4

2
collects/tests/typed-scheme/optimizer/generic/unary-fixnum.rkt.log Normal file
View File

@ -0,0 +1,2 @@
unary-fixnum.rkt line 4 col 1 - bitwise-not - unary fixnum
-5

2
collects/tests/typed-scheme/optimizer/generic/unary-float.rkt.log Normal file
View File

@ -0,0 +1,2 @@
unary-float.rkt line 4 col 1 - sin - unary float
0.9092974268256817

26
collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log Normal file
View File

@ -0,0 +1,26 @@
#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 7 - + - unboxed binary inexact complex
unboxed-for.rkt line 8 col 6 - (#%app + i sum) - unboxed 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 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 (((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 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) 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 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
#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
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 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
3.0+6.0i

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

@ -0,0 +1,8 @@
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 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 6 - + - unboxed binary inexact complex
unboxed-let-functions1.rkt line 8 col 3 - f - unboxed call site
6.0+12.0i

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

@ -0,0 +1,10 @@
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 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 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 6 - + - unboxed binary inexact complex
unboxed-let-functions2.rkt line 9 col 3 - f - unboxed call site
6.0+12.0i

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

@ -0,0 +1,10 @@
unboxed-let-functions3.rkt line 8 col 23 - y - float-coerce-expr
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 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 6 - + - unboxed binary inexact complex
unboxed-let-functions3.rkt line 9 col 3 - f - unboxed call site
6.0+6.0i

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

@ -0,0 +1,10 @@
unboxed-let-functions4.rkt line 8 col 23 - y - float-coerce-expr
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 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 6 - + - unboxed binary inexact complex
unboxed-let-functions4.rkt line 9 col 3 - f - unboxed call site
6.0+6.0i

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

@ -0,0 +1,5 @@
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 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

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

@ -0,0 +1,12 @@
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 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 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 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
#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
#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
6.0+1.0i

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

@ -0,0 +1,13 @@
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 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 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 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
#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
#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
6.0+0.0i

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

@ -0,0 +1,4 @@
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
3.0+6.0i

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

@ -0,0 +1,14 @@
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 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 3 - + - unboxed binary inexact complex
unboxed-let.rkt line 9 col 2 - (#%app + t2 t3) - unboxed inexact complex
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 3 - + - unboxed binary inexact complex
unboxed-let.rkt line 9 col 2 - (#%app + t2 t3) - unboxed inexact complex
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 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 Normal file
View File

@ -0,0 +1,10 @@
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 3 - + - unboxed binary inexact complex
unboxed-let2.rkt line 8 col 2 - (#%app + t1 t2) - unboxed inexact complex
unboxed-let2.rkt line 6 col 11 - + - unboxed binary inexact complex
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 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 Normal file
View File

@ -0,0 +1,8 @@
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 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 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

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

@ -0,0 +1,7 @@
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 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 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

Some files were not shown because too many files have changed in this diff Show More