diff --git a/collects/tests/typed-scheme/optimizer/generic/apply-plus.rkt.log b/collects/tests/typed-scheme/optimizer/generic/apply-plus.rkt.log new file mode 100644 index 0000000000..1d2f65256f --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/apply-plus.rkt.log @@ -0,0 +1,4 @@ +apply-plus.rkt line 4 col 7 - + - apply-map +apply-plus.rkt line 5 col 7 - * - apply-map +9 +24 diff --git a/collects/tests/typed-scheme/optimizer/generic/begin-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/begin-float.rkt.log new file mode 100644 index 0000000000..1ddc043127 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/begin-float.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log new file mode 100644 index 0000000000..a87037e32c --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log new file mode 100644 index 0000000000..e9de9abcb5 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/box.rkt.log b/collects/tests/typed-scheme/optimizer/generic/box.rkt.log new file mode 100644 index 0000000000..452ad9c65c --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/box.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/cross-module-struct.rkt.log b/collects/tests/typed-scheme/optimizer/generic/cross-module-struct.rkt.log new file mode 100644 index 0000000000..e69de29bb2 diff --git a/collects/tests/typed-scheme/optimizer/generic/cross-module-struct2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/cross-module-struct2.rkt.log new file mode 100644 index 0000000000..8141840c59 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/cross-module-struct2.rkt.log @@ -0,0 +1,2 @@ +cross-module-struct2.rkt line 5 col 1 - x-x - struct ref +1 diff --git a/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt.log b/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt.log new file mode 100644 index 0000000000..21d7a0d568 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/dead-else.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/dead-substructs.rkt.log b/collects/tests/typed-scheme/optimizer/generic/dead-substructs.rkt.log new file mode 100644 index 0000000000..1191247b6d --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/dead-substructs.rkt.log @@ -0,0 +1,2 @@ +1 +2 diff --git a/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt.log b/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt.log new file mode 100644 index 0000000000..71ec9fa203 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/dead-then.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/define-begin-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/define-begin-float.rkt.log new file mode 100644 index 0000000000..7e2e760593 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/define-begin-float.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/define-call-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/define-call-float.rkt.log new file mode 100644 index 0000000000..6b045f2da7 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/define-call-float.rkt.log @@ -0,0 +1 @@ +define-call-float.rkt line 4 col 17 - + - binary float diff --git a/collects/tests/typed-scheme/optimizer/generic/define-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/define-float.rkt.log new file mode 100644 index 0000000000..9425807078 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/define-float.rkt.log @@ -0,0 +1 @@ +define-float.rkt line 4 col 11 - + - binary float diff --git a/collects/tests/typed-scheme/optimizer/generic/define-pair.rkt.log b/collects/tests/typed-scheme/optimizer/generic/define-pair.rkt.log new file mode 100644 index 0000000000..4486d1bcbe --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/define-pair.rkt.log @@ -0,0 +1 @@ +define-pair.rkt line 4 col 11 - car - unary pair diff --git a/collects/tests/typed-scheme/optimizer/generic/different-langs.rkt.log b/collects/tests/typed-scheme/optimizer/generic/different-langs.rkt.log new file mode 100644 index 0000000000..00750edc07 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/different-langs.rkt.log @@ -0,0 +1 @@ +3 diff --git a/collects/tests/typed-scheme/optimizer/generic/double-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/double-float.rkt.log new file mode 100644 index 0000000000..d8c941f953 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/double-float.rkt.log @@ -0,0 +1,2 @@ +double-float.rkt line 4 col 1 - + - binary float +6.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/exact-inexact.rkt.log b/collects/tests/typed-scheme/optimizer/generic/exact-inexact.rkt.log new file mode 100644 index 0000000000..769f5345a9 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/exact-inexact.rkt.log @@ -0,0 +1,2 @@ +exact-inexact.rkt line 4 col 1 - exact->inexact - int to float +1e+100 diff --git a/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log b/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log new file mode 100644 index 0000000000..d52f91eb49 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/float-comp.rkt.log b/collects/tests/typed-scheme/optimizer/generic/float-comp.rkt.log new file mode 100644 index 0000000000..4c247f0e8e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/float-comp.rkt.log @@ -0,0 +1,2 @@ +float-comp.rkt line 4 col 1 - < - binary float comp +#t diff --git a/collects/tests/typed-scheme/optimizer/generic/float-fun.rkt.log b/collects/tests/typed-scheme/optimizer/generic/float-fun.rkt.log new file mode 100644 index 0000000000..a8433b05ba --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/float-fun.rkt.log @@ -0,0 +1 @@ +float-fun.rkt line 7 col 3 - + - binary float diff --git a/collects/tests/typed-scheme/optimizer/generic/float-promotion.rkt.log b/collects/tests/typed-scheme/optimizer/generic/float-promotion.rkt.log new file mode 100644 index 0000000000..4f87617a3e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/float-promotion.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log new file mode 100644 index 0000000000..0cf9cb01f9 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt.log @@ -0,0 +1,2 @@ +flvector-length.rkt line 4 col 1 - flvector-length - flvector +2 diff --git a/collects/tests/typed-scheme/optimizer/generic/fx-fl.rkt.log b/collects/tests/typed-scheme/optimizer/generic/fx-fl.rkt.log new file mode 100644 index 0000000000..5ac1bca814 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/fx-fl.rkt.log @@ -0,0 +1,2 @@ +fx-fl.rkt line 4 col 1 - exact->inexact - fixnum to float +1.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/in-bytes.rkt.log b/collects/tests/typed-scheme/optimizer/generic/in-bytes.rkt.log new file mode 100644 index 0000000000..871ff7340e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/in-bytes.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/in-list.rkt.log b/collects/tests/typed-scheme/optimizer/generic/in-list.rkt.log new file mode 100644 index 0000000000..871f3e0223 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/in-list.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/in-string.rkt.log b/collects/tests/typed-scheme/optimizer/generic/in-string.rkt.log new file mode 100644 index 0000000000..2eee07f95a --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/in-string.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/in-vector.rkt.log b/collects/tests/typed-scheme/optimizer/generic/in-vector.rkt.log new file mode 100644 index 0000000000..ff1303dc4f --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/in-vector.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log new file mode 100644 index 0000000000..3a2a9a0b4a --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log new file mode 100644 index 0000000000..59741b7241 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log new file mode 100644 index 0000000000..5ded3cf052 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-div.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log new file mode 100644 index 0000000000..158029dae9 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log new file mode 100644 index 0000000000..14023391d8 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt.log @@ -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") diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log new file mode 100644 index 0000000000..f9a74fb51e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-mul.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log new file mode 100644 index 0000000000..6c47f2cfee --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-small.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log new file mode 100644 index 0000000000..d2b064394d --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-float.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log new file mode 100644 index 0000000000..d02bbc492e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-i.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log new file mode 100644 index 0000000000..f0776d9543 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-integer.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log new file mode 100644 index 0000000000..abbd1b398c --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-mult.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log new file mode 100644 index 0000000000..213bb2b6bf --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log new file mode 100644 index 0000000000..332cdcdaa2 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts2.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log new file mode 100644 index 0000000000..e4fb7bc9e0 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-parts3.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log new file mode 100644 index 0000000000..ee0f755d64 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex-sin.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log new file mode 100644 index 0000000000..1bd0d237e8 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/inexact-complex.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-binary-nonzero-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-binary-nonzero-fixnum.rkt.log new file mode 100644 index 0000000000..e69de29bb2 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-exact-inexact.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-exact-inexact.rkt.log new file mode 100644 index 0000000000..da50f1cd5a --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-exact-inexact.rkt.log @@ -0,0 +1,2 @@ +invalid-exact-inexact.rkt line 3 col 1 - exact->inexact - float to float +1.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-float-comp.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-float-comp.rkt.log new file mode 100644 index 0000000000..56ed4c7fe1 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-float-comp.rkt.log @@ -0,0 +1 @@ +#t diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-float-promotion.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-float-promotion.rkt.log new file mode 100644 index 0000000000..2eb3c4fe4e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-float-promotion.rkt.log @@ -0,0 +1 @@ +0.5 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-inexact-complex-parts.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-inexact-complex-parts.rkt.log new file mode 100644 index 0000000000..d00491fd7e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-inexact-complex-parts.rkt.log @@ -0,0 +1 @@ +1 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-make-flrectangular.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-make-flrectangular.rkt.log new file mode 100644 index 0000000000..a62cde7150 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-make-flrectangular.rkt.log @@ -0,0 +1 @@ +1+2i diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-make-polar.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-make-polar.rkt.log new file mode 100644 index 0000000000..573541ac97 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-make-polar.rkt.log @@ -0,0 +1 @@ +0 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-mpair.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-mpair.rkt.log new file mode 100644 index 0000000000..e69de29bb2 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-sqrt.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-sqrt.rkt.log new file mode 100644 index 0000000000..d63a835cd6 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-sqrt.rkt.log @@ -0,0 +1 @@ +0+1.4142135623730951i diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log new file mode 100644 index 0000000000..81adef3af7 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt.log @@ -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 \ No newline at end of file diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log new file mode 100644 index 0000000000..75df9e1064 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt.log new file mode 100644 index 0000000000..e69de29bb2 diff --git a/collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt.log b/collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt.log new file mode 100644 index 0000000000..e69de29bb2 diff --git a/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log new file mode 100644 index 0000000000..437c9de8f5 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/let-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/let-float.rkt.log new file mode 100644 index 0000000000..87a77be365 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/let-float.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt.log b/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt.log new file mode 100644 index 0000000000..e5c1bd2cc4 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/literal-int.rkt.log b/collects/tests/typed-scheme/optimizer/generic/literal-int.rkt.log new file mode 100644 index 0000000000..0d0b15e44d --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/literal-int.rkt.log @@ -0,0 +1,3 @@ +literal-int.rkt line 6 col 1 - + - binary float +3.0 +1 diff --git a/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log new file mode 100644 index 0000000000..c5949b51c6 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/magnitude.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/make-flrectangular.rkt.log b/collects/tests/typed-scheme/optimizer/generic/make-flrectangular.rkt.log new file mode 100644 index 0000000000..bc22160b7a --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/make-flrectangular.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log b/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log new file mode 100644 index 0000000000..611be68291 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/make-polar.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log new file mode 100644 index 0000000000..f55046939f --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/mpair.rkt.log b/collects/tests/typed-scheme/optimizer/generic/mpair.rkt.log new file mode 100644 index 0000000000..9ac03ff1d8 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/mpair.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/n-ary-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/n-ary-float.rkt.log new file mode 100644 index 0000000000..8312e22a0f --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/n-ary-float.rkt.log @@ -0,0 +1,2 @@ +n-ary-float.rkt line 4 col 1 - + - binary float +6.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log new file mode 100644 index 0000000000..d5d7c4eb91 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/n-ary-inexact-complex.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-float.rkt.log new file mode 100644 index 0000000000..37bad6b1e7 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-float.rkt.log @@ -0,0 +1,3 @@ +nested-float.rkt line 4 col 8 - + - binary float +nested-float.rkt line 4 col 1 - + - binary float +9.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-float2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-float2.rkt.log new file mode 100644 index 0000000000..8ddb49ff9d --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-float2.rkt.log @@ -0,0 +1,3 @@ +nested-float2.rkt line 4 col 8 - * - binary float +nested-float2.rkt line 4 col 1 - + - binary float +14.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log new file mode 100644 index 0000000000..4684c274c5 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-inexact-complex.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log new file mode 100644 index 0000000000..eddabe43bc --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-pair1.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-pair1.rkt.log new file mode 100644 index 0000000000..a55316ef78 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-pair1.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-pair2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-pair2.rkt.log new file mode 100644 index 0000000000..0db01b6478 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-pair2.rkt.log @@ -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) diff --git a/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log b/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log new file mode 100644 index 0000000000..eee93896ee --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/one-arg-arith.rkt.log b/collects/tests/typed-scheme/optimizer/generic/one-arg-arith.rkt.log new file mode 100644 index 0000000000..e0c9bd7814 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/one-arg-arith.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/pair-fun.rkt.log b/collects/tests/typed-scheme/optimizer/generic/pair-fun.rkt.log new file mode 100644 index 0000000000..7439ac52d9 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/pair-fun.rkt.log @@ -0,0 +1 @@ +pair-fun.rkt line 8 col 7 - car - unary pair diff --git a/collects/tests/typed-scheme/optimizer/generic/quote.rkt.log b/collects/tests/typed-scheme/optimizer/generic/quote.rkt.log new file mode 100644 index 0000000000..aaf523129c --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/quote.rkt.log @@ -0,0 +1 @@ +'(+ 1.0 2.0) diff --git a/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log new file mode 100644 index 0000000000..0ab1b019f1 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/simple-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/simple-float.rkt.log new file mode 100644 index 0000000000..a74f9d1601 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/simple-float.rkt.log @@ -0,0 +1,2 @@ +simple-float.rkt line 4 col 1 - + - binary float +5.0 diff --git a/collects/tests/typed-scheme/optimizer/generic/simple-pair.rkt.log b/collects/tests/typed-scheme/optimizer/generic/simple-pair.rkt.log new file mode 100644 index 0000000000..bf55f9df27 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/simple-pair.rkt.log @@ -0,0 +1,2 @@ +simple-pair.rkt line 4 col 1 - car - unary pair +1 diff --git a/collects/tests/typed-scheme/optimizer/generic/sqrt-segfault.rkt.log b/collects/tests/typed-scheme/optimizer/generic/sqrt-segfault.rkt.log new file mode 100644 index 0000000000..4c968e23fa --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/sqrt-segfault.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/sqrt.rkt.log b/collects/tests/typed-scheme/optimizer/generic/sqrt.rkt.log new file mode 100644 index 0000000000..5b590d186f --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/sqrt.rkt.log @@ -0,0 +1 @@ +sqrt.rkt line 6 col 3 - sqrt - unary float diff --git a/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log new file mode 100644 index 0000000000..b8458166f7 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/string-length.rkt.log @@ -0,0 +1,4 @@ +#f line #f col #f - op - string +#f line #f col #f - op - bytes +2 +2 diff --git a/collects/tests/typed-scheme/optimizer/generic/structs.rkt.log b/collects/tests/typed-scheme/optimizer/generic/structs.rkt.log new file mode 100644 index 0000000000..04314853c8 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/structs.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unary-fixnum-nested.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unary-fixnum-nested.rkt.log new file mode 100644 index 0000000000..b4a88bd1f9 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unary-fixnum-nested.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unary-fixnum.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unary-fixnum.rkt.log new file mode 100644 index 0000000000..103c68e293 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unary-fixnum.rkt.log @@ -0,0 +1,2 @@ +unary-fixnum.rkt line 4 col 1 - bitwise-not - unary fixnum +-5 diff --git a/collects/tests/typed-scheme/optimizer/generic/unary-float.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unary-float.rkt.log new file mode 100644 index 0000000000..7225f61f45 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unary-float.rkt.log @@ -0,0 +1,2 @@ +unary-float.rkt line 4 col 1 - sin - unary float +0.9092974268256817 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log new file mode 100644 index 0000000000..cc2f59a103 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log new file mode 100644 index 0000000000..2d9c4cec59 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log new file mode 100644 index 0000000000..7f2614f9bc --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log new file mode 100644 index 0000000000..1fe992c7fd --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log new file mode 100644 index 0000000000..6cc637f4cc --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log new file mode 100644 index 0000000000..e98185a412 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log new file mode 100644 index 0000000000..c0786d0d04 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log new file mode 100644 index 0000000000..738efeee1d --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log new file mode 100644 index 0000000000..220e0f8a5c --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log new file mode 100644 index 0000000000..b051d50c8e --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log new file mode 100644 index 0000000000..742f7a2ab5 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log new file mode 100644 index 0000000000..330f7498c6 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log new file mode 100644 index 0000000000..034d605631 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt.log @@ -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 diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log new file mode 100644 index 0000000000..1eb56dfc77 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt.log @@ -0,0 +1,9 @@ +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 3 - + - unboxed binary inexact complex +unboxed-letrec.rkt line 9 col 2 - (#%app + x y) - unboxed inexact complex +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 3 - + - unboxed binary inexact complex +unboxed-letrec.rkt line 9 col 2 - (#%app + x y) - unboxed inexact complex +6.0+12.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log b/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log new file mode 100644 index 0000000000..a4c8ea61ae --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt.log @@ -0,0 +1,14 @@ +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 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 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 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 +3.0+6.0i diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log new file mode 100644 index 0000000000..1521e51478 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt.log @@ -0,0 +1,3 @@ +vector-length-nested.rkt line 4 col 1 - vector-length - vector +vector-length-nested.rkt line 5 col 2 - vector-ref - vector +2 diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log new file mode 100644 index 0000000000..9e1f818815 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-length.rkt.log @@ -0,0 +1,2 @@ +vector-length.rkt line 4 col 1 - vector-length - vector +3 diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-ref-set-ref.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-ref-set-ref.rkt.log new file mode 100644 index 0000000000..ea7ce74ba5 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-ref-set-ref.rkt.log @@ -0,0 +1,5 @@ +vector-ref-set-ref.rkt line 6 col 1 - vector-ref - vector +vector-ref-set-ref.rkt line 7 col 1 - vector-set! - vector +vector-ref-set-ref.rkt line 8 col 1 - vector-ref - vector +1 +"2" diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-ref.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-ref.rkt.log new file mode 100644 index 0000000000..55789a53ec --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-ref.rkt.log @@ -0,0 +1,2 @@ +vector-ref.rkt line 4 col 1 - vector-ref - vector +1 diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt.log new file mode 100644 index 0000000000..50d071ad4d --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt.log @@ -0,0 +1,2 @@ +vector-ref2.rkt line 4 col 1 - vector-ref - vector +1 diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-set-quote.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-set-quote.rkt.log new file mode 100644 index 0000000000..f7a4e2d4fd --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-set-quote.rkt.log @@ -0,0 +1 @@ +vector-set-quote.rkt line 4 col 1 - vector-set! - vector diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-set.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-set.rkt.log new file mode 100644 index 0000000000..87ef3b5e59 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-set.rkt.log @@ -0,0 +1 @@ +vector-set.rkt line 4 col 1 - vector-set! - vector diff --git a/collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt.log b/collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt.log new file mode 100644 index 0000000000..ec90e65b42 --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt.log @@ -0,0 +1 @@ +vector-set2.rkt line 4 col 1 - vector-set! - vector diff --git a/collects/tests/typed-scheme/optimizer/generic/zero.rkt.log b/collects/tests/typed-scheme/optimizer/generic/zero.rkt.log new file mode 100644 index 0000000000..064aad6c4a --- /dev/null +++ b/collects/tests/typed-scheme/optimizer/generic/zero.rkt.log @@ -0,0 +1,5 @@ +zero.rkt line 4 col 1 - zero? - fixnum zero? +zero.rkt line 5 col 8 - sqrt - unary float +zero.rkt line 5 col 1 - zero? - float zero? +#f +#f diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/apply-plus.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/apply-plus.rkt deleted file mode 100644 index 412580ad08..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/apply-plus.rkt +++ /dev/null @@ -1,13 +0,0 @@ -#lang racket -(require racket/unsafe/ops) -(let ([f*1 add1]) - (let loop2 ([v3 0] [lst4 (list 1 2 3)]) - (if (null? lst4) - v3 - (loop2 (+ v3 (f*1 (unsafe-car lst4))) (unsafe-cdr lst4))))) -(let ([f*1 add1]) - (let loop2 ([v3 1] [lst4 (list 1 2 3)]) - (if (null? lst4) - v3 - (loop2 (* v3 (f*1 (unsafe-car lst4))) (unsafe-cdr lst4))))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/begin-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/begin-float.rkt deleted file mode 100644 index 6a4d1a9066..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/begin-float.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module begin-float typed/scheme #:optimize - (require racket/unsafe/ops) - (begin (unsafe-fl- 2.0 3.0) - (unsafe-fl* 2.0 3.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/binary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/binary-fixnum.rkt deleted file mode 100644 index b7c442f822..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/binary-fixnum.rkt +++ /dev/null @@ -1,5 +0,0 @@ -(module binary-fixnum typed/scheme #:optimize - (require racket/unsafe/ops) - (: f (All (X) ((Vectorof X) -> Natural))) - (define (f v) - (unsafe-fxand (vector-length v) 1))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/binary-nonzero-fixnum.rkt deleted file mode 100644 index 944e65ce45..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/binary-nonzero-fixnum.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module binary-nonzero-fixnum typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fxquotient (vector-length '#(1 2 3)) 2)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/box.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/box.rkt deleted file mode 100644 index 83aed9d08e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/box.rkt +++ /dev/null @@ -1,9 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -(: x (Boxof Integer)) -(define x (box 1)) -(unsafe-unbox* x) -(unsafe-set-box*! x 2) -(unsafe-unbox* x) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/cross-module-struct.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/cross-module-struct.rkt deleted file mode 100644 index 7b52b214f6..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/cross-module-struct.rkt +++ /dev/null @@ -1,5 +0,0 @@ -#lang typed/scheme #:optimize - -;; will be imported by cross-module-struct2 -(provide (struct-out x)) -(define-struct: x ((x : Integer))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/cross-module-struct2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/cross-module-struct2.rkt deleted file mode 100644 index 1968590c9e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/cross-module-struct2.rkt +++ /dev/null @@ -1,5 +0,0 @@ -#lang typed/scheme #:optimize - -(require (file "cross-module-struct.rkt") racket/unsafe/ops) -(define a (make-x 1)) -(unsafe-struct-ref a 0) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt deleted file mode 100644 index ad2ad8ce81..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt +++ /dev/null @@ -1,6 +0,0 @@ -#lang typed/scheme #:optimize -(require racket/unsafe/ops) -(display (begin (number? 3) - (unsafe-fl+ 2.0 3.0))) -(display (begin #t - (unsafe-fl+ 2.0 3.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-substructs.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-substructs.rkt deleted file mode 100644 index a01a5e5ba3..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-substructs.rkt +++ /dev/null @@ -1,17 +0,0 @@ -#lang typed/scheme #:optimize - -;; originally from nucleic3 -;; cond on substructs, branches were considered dead - -(define-struct: parent ((x : Integer))) -(define-struct: (child1 parent) ((y : Integer))) -(define-struct: (child2 parent) ((y : Float))) - -(: f (parent -> Integer)) -(define (f x) - (cond [(child1? x) 1] - [(child2? x) 2] - [else (error "eh?")])) - -(f (make-child1 1 2)) -(f (make-child2 1 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt deleted file mode 100644 index 3fa5d32fd3..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt +++ /dev/null @@ -1,6 +0,0 @@ -#lang typed/scheme #:optimize -(require racket/unsafe/ops) -(display (begin (number? "eh") - (unsafe-fl+ 4.0 5.0))) -(display (begin #f - (unsafe-fl+ 4.0 5.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/define-begin-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/define-begin-float.rkt deleted file mode 100644 index c8110cdb6b..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/define-begin-float.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module define-begin-float typed/scheme #:optimize - (require racket/unsafe/ops) - (define a (begin (display (unsafe-fl- 2.0 3.0)) - (unsafe-fl* 2.0 3.0)))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/define-call-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/define-call-float.rkt deleted file mode 100644 index 483c4a199e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/define-call-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module define-call-float typed/scheme #:optimize - (require racket/unsafe/ops) - (define x (cons (unsafe-fl+ 1.0 2.0) 3.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/define-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/define-float.rkt deleted file mode 100644 index e1e98f7954..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/define-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module define-float typed/scheme #:optimize - (require racket/unsafe/ops) - (define x (unsafe-fl+ 1.0 2.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/define-pair.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/define-pair.rkt deleted file mode 100644 index 04fe8a1980..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/define-pair.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module define-pair typed/scheme #:optimize - (require racket/unsafe/ops) - (define x (unsafe-car '(1 3)))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/different-langs.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/different-langs.rkt deleted file mode 100644 index 91cb205d84..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/different-langs.rkt +++ /dev/null @@ -1,5 +0,0 @@ -;; to see if the harness supports having the 2 versions of a test being -;; written in different languages -(module different-langs racket - (+ 1 2) - (void)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/double-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/double-float.rkt deleted file mode 100644 index c6859f124e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/double-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module double-float typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fl+ (unsafe-fl+ 2.0 2.0) 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/exact-inexact.rkt deleted file mode 100644 index 7a86e20125..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/exact-inexact.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module exact-inexact typed/scheme #:optimize - (require racket/flonum) - (->fl (expt 10 100))) ; must not be a fixnum diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/fixnum-comparison.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/fixnum-comparison.rkt deleted file mode 100644 index 0f1e9f2821..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/fixnum-comparison.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module fixnum-comparison typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fx< (vector-length '#(1 2 3)) (string-length "asdf"))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/float-comp.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/float-comp.rkt deleted file mode 100644 index d9d32f3fc6..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/float-comp.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module float-comp typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fl< 1.0 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/float-fun.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/float-fun.rkt deleted file mode 100644 index b5d2b33a37..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/float-fun.rkt +++ /dev/null @@ -1,5 +0,0 @@ -(module float-fun typed/scheme #:optimize - (require racket/unsafe/ops) - (: f (Float -> Float)) - (define (f x) - (unsafe-fl+ x 1.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/float-promotion.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/float-promotion.rkt deleted file mode 100644 index 9577549259..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/float-promotion.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module float-promotion typed/scheme #:optimize - (require racket/unsafe/ops racket/flonum) - (unsafe-fl+ (unsafe-fx->fl (quotient 1 1)) 2.0) - (unsafe-fl+ (->fl (expt 100 100)) 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/flvector-length.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/flvector-length.rkt deleted file mode 100644 index 66e8d715c3..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/flvector-length.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module flvector-length typed/scheme #:optimize - (require racket/unsafe/ops racket/flonum) - (unsafe-flvector-length (flvector 0.0 1.2))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/fx-fl.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/fx-fl.rkt deleted file mode 100644 index a95ace83d3..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/fx-fl.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module fx-fl typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fx->fl 1)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/in-bytes.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/in-bytes.rkt deleted file mode 100644 index b4f8a48d53..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/in-bytes.rkt +++ /dev/null @@ -1,37 +0,0 @@ -#lang racket -(require racket/unsafe/ops) -;; the following code should be equivalent to the code generated by: -;; (for: ((i : Integer (in-bytes #"123"))) -;; (display i)) -(let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) - (let* ((i #"123") - (len (bytes-length i))) - (values (lambda (x) (bytes-ref i x)) - (lambda (x) (unsafe-fx+ 1 x)) - 0 - (lambda (x) (unsafe-fx< x len)) - (lambda (x) #t) - (lambda (x y) #t))))) - (void) - ((letrec-values (((for-loop) - (lambda - (fold-var pos) - (if (pos-cont? pos) - (let-values (((i) (pos->vals pos))) - (if (val-cont? i) - (let-values (((fold-var) - (let-values (((fold-var) - fold-var)) - (let-values () - (let-values () - (display i)) - (void))))) - (if (all-cont? pos i) - (for-loop fold-var (pos-next pos)) - fold-var)) - fold-var)) - fold-var)))) - for-loop) - (void) - init)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/in-list.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/in-list.rkt deleted file mode 100644 index 68051f185a..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/in-list.rkt +++ /dev/null @@ -1,34 +0,0 @@ -(module in-list racket - (require racket/unsafe/ops) - ;; the following code should be equivalent to the code generated by: - ;; (for: ((i : Natural (in-list '(1 2 3)))) - ;; (display i)) - (let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) - (let-values (((i) '(1 2 3))) - (values unsafe-car unsafe-cdr i - (lambda (x) (not (null? x))) - (lambda (x) #t) - (lambda (x y) #t))))) - (void) - ((letrec-values (((for-loop) - (lambda - (fold-var pos) - (if (pos-cont? pos) - (let-values (((i) (pos->vals pos))) - (if (val-cont? i) - (let-values (((fold-var) - (let-values (((fold-var) - fold-var)) - (let-values () - (let-values () - (display i)) - (void))))) - (if (all-cont? pos i) - (for-loop fold-var (pos-next pos)) - fold-var)) - fold-var)) - fold-var)))) - for-loop) - (void) - init)) - (void)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/in-string.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/in-string.rkt deleted file mode 100644 index c00609e23f..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/in-string.rkt +++ /dev/null @@ -1,37 +0,0 @@ -#lang racket -(require racket/unsafe/ops) -;; the following code should be equivalent to the code generated by: -;; (for: ((i : Char (in-string "123"))) -;; (display i)) -(let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) - (let* ((i "123") - (len (string-length i))) - (values (lambda (x) (string-ref i x)) - (lambda (x) (unsafe-fx+ 1 x)) - 0 - (lambda (x) (unsafe-fx< x len)) - (lambda (x) #t) - (lambda (x y) #t))))) - (void) - ((letrec-values (((for-loop) - (lambda - (fold-var pos) - (if (pos-cont? pos) - (let-values (((i) (pos->vals pos))) - (if (val-cont? i) - (let-values (((fold-var) - (let-values (((fold-var) - fold-var)) - (let-values () - (let-values () - (display i)) - (void))))) - (if (all-cont? pos i) - (for-loop fold-var (pos-next pos)) - fold-var)) - fold-var)) - fold-var)))) - for-loop) - (void) - init)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/in-vector.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/in-vector.rkt deleted file mode 100644 index f922731666..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/in-vector.rkt +++ /dev/null @@ -1,37 +0,0 @@ -#lang racket -(require racket/unsafe/ops) -;; the following code should be equivalent to the code generated by: -;; (for: ((i : Integer (in-vector '(1 2 3)))) -;; (display i)) -(let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) - (let* ((i (vector 1 2 3)) - (len (unsafe-vector*-length i))) - (values (lambda (x) (unsafe-vector*-ref i x)) - (lambda (x) (unsafe-fx+ 1 x)) - 0 - (lambda (x) (unsafe-fx< x len)) - (lambda (x) #t) - (lambda (x y) #t))))) - (void) - ((letrec-values (((for-loop) - (lambda - (fold-var pos) - (if (pos-cont? pos) - (let-values (((i) (pos->vals pos))) - (if (val-cont? i) - (let-values (((fold-var) - (let-values (((fold-var) - fold-var)) - (let-values () - (let-values () - (display i)) - (void))))) - (if (all-cont? pos i) - (for-loop fold-var (pos-next pos)) - fold-var)) - fold-var)) - fold-var)))) - for-loop) - (void) - init)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-conjugate-top.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-conjugate-top.rkt deleted file mode 100644 index 3a2a832589..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-conjugate-top.rkt +++ /dev/null @@ -1,10 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4)) - (unboxed-imag-7 (unsafe-fl- 0.0 unboxed-imag-6))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-7)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-conjugate.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-conjugate.rkt deleted file mode 100644 index 9f3cc72be7..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-conjugate.rkt +++ /dev/null @@ -1,11 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-imag-3 (unsafe-fl- 0.0 unboxed-imag-2)) - (unboxed-real-4 2.0) - (unboxed-imag-5 4.0) - (unboxed-imag-6 (unsafe-fl- 0.0 unboxed-imag-5)) - (unboxed-real-7 (unsafe-fl+ unboxed-real-1 unboxed-real-4)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-3 unboxed-imag-6))) - (unsafe-make-flrectangular unboxed-real-7 unboxed-imag-8)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-div.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-div.rkt deleted file mode 100644 index 4211ada936..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-div.rkt +++ /dev/null @@ -1,33 +0,0 @@ -(module inexact-complex-div typed/scheme - (require racket/unsafe/ops) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-real-3 unboxed-real-3) - (unsafe-fl* unboxed-imag-4 unboxed-imag-4))) - (unboxed-real-9 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-real-1 - unboxed-real-3) - (unsafe-fl* unboxed-imag-2 - unboxed-imag-4)) - unboxed-gensym-11)) - (unboxed-imag-10 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-imag-2 - unboxed-real-3) - (unsafe-fl* unboxed-real-1 - unboxed-imag-4)) - unboxed-gensym-11)) - (unboxed-gensym-12 (unsafe-fl+ (unsafe-fl* unboxed-real-5 unboxed-real-5) - (unsafe-fl* unboxed-imag-6 unboxed-imag-6))) - (unboxed-real-7 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-real-9 - unboxed-real-5) - (unsafe-fl* unboxed-imag-10 - unboxed-imag-6)) - unboxed-gensym-12)) - (unboxed-imag-8 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-imag-10 - unboxed-real-5) - (unsafe-fl* unboxed-real-9 - unboxed-imag-6)) - unboxed-gensym-12))) - (unsafe-make-flrectangular unboxed-real-7 unboxed-imag-8))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-fixnum.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-fixnum.rkt deleted file mode 100644 index 21cc2bf3f8..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-fixnum.rkt +++ /dev/null @@ -1,11 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -(let* ((unboxed-float-1 (unsafe-fx->fl (unsafe-fxquotient 2 1))) - (unboxed-real-2 1.0) - (unboxed-imag-3 2.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-6 (unsafe-fl+ (unsafe-fl+ unboxed-float-1 unboxed-real-2) - unboxed-real-4)) - (unboxed-imag-7 (unsafe-fl+ unboxed-imag-3 unboxed-imag-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt deleted file mode 100644 index 38faa049b2..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt +++ /dev/null @@ -1,148 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -(map (lambda: ((x : Inexact-Complex)) - (string-append (real->decimal-string - (let* ([unboxed-gensym-1 x] - [unboxed-real-2 (unsafe-flreal-part unboxed-gensym-1)] - [unboxed-imag-3 (unsafe-flimag-part unboxed-gensym-1)]) - unboxed-real-2) - 10) - (real->decimal-string - (let* ([unboxed-gensym-1 x] - [unboxed-real-2 (unsafe-flreal-part unboxed-gensym-1)] - [unboxed-imag-3 (unsafe-flimag-part unboxed-gensym-1)]) - unboxed-imag-3) - 10))) - (list - (let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-gensym-6 (unsafe-fl+ (unsafe-fl* unboxed-real-2 - unboxed-real-2) - (unsafe-fl* unboxed-imag-3 - unboxed-imag-3))) - (unboxed-real-4 (unsafe-fl/ (unsafe-fl* unboxed-float-1 - unboxed-real-2) - unboxed-gensym-6)) - (unboxed-imag-5 (unsafe-fl/ (unsafe-fl- 0.0 - (unsafe-fl* unboxed-float-1 - unboxed-imag-3)) - unboxed-gensym-6))) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) - - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-real-4 (unsafe-fl/ unboxed-real-1 unboxed-float-3)) - (unboxed-imag-5 (unsafe-fl/ unboxed-imag-2 unboxed-float-3))) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) - - (let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-real-2 - unboxed-real-2) - (unsafe-fl* unboxed-imag-3 - unboxed-imag-3))) - (unboxed-real-8 (unsafe-fl/ (unsafe-fl* unboxed-float-1 - unboxed-real-2) - unboxed-gensym-10)) - (unboxed-imag-9 (unsafe-fl/ (unsafe-fl- 0.0 - (unsafe-fl* unboxed-float-1 - unboxed-imag-3)) - unboxed-gensym-10)) - (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-real-4 - unboxed-real-4) - (unsafe-fl* unboxed-imag-5 - unboxed-imag-5))) - (unboxed-real-6 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-real-8 - unboxed-real-4) - (unsafe-fl* unboxed-imag-9 - unboxed-imag-5)) - unboxed-gensym-11)) - (unboxed-imag-7 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-imag-9 - unboxed-real-4) - (unsafe-fl* unboxed-real-8 - unboxed-imag-5)) - unboxed-gensym-11))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) - - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-8 (unsafe-fl/ unboxed-real-1 unboxed-float-3)) - (unboxed-imag-9 (unsafe-fl/ unboxed-imag-2 unboxed-float-3)) - (unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-real-4 - unboxed-real-4) - (unsafe-fl* unboxed-imag-5 - unboxed-imag-5))) - (unboxed-real-6 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-real-8 - unboxed-real-4) - (unsafe-fl* unboxed-imag-9 - unboxed-imag-5)) - unboxed-gensym-11)) - (unboxed-imag-7 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-imag-9 - unboxed-real-4) - (unsafe-fl* unboxed-real-8 - unboxed-imag-5)) - unboxed-gensym-11))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) - - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-float-5 3.0) - (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-real-3 - unboxed-real-3) - (unsafe-fl* unboxed-imag-4 - unboxed-imag-4))) - (unboxed-real-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-real-1 - unboxed-real-3) - (unsafe-fl* unboxed-imag-2 - unboxed-imag-4)) - unboxed-gensym-10)) - (unboxed-imag-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-imag-2 - unboxed-real-3) - (unsafe-fl* unboxed-real-1 - unboxed-imag-4)) - unboxed-gensym-10)) - (unboxed-real-6 (unsafe-fl/ unboxed-real-8 - unboxed-float-5)) - (unboxed-imag-7 (unsafe-fl/ unboxed-imag-9 - unboxed-float-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-float-4 3.0) - (unboxed-real-7 (unsafe-fl/ unboxed-real-1 unboxed-float-3)) - (unboxed-imag-8 (unsafe-fl/ unboxed-imag-2 unboxed-float-3)) - (unboxed-real-5 (unsafe-fl/ unboxed-real-7 unboxed-float-4)) - (unboxed-imag-6 (unsafe-fl/ unboxed-imag-8 unboxed-float-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) - (let* ((unboxed-float-1 1.0) - (unboxed-float-2 2.0) - (unboxed-real-3 3.0) - (unboxed-imag-4 6.0) - (unboxed-real-7 (unsafe-fl/ unboxed-float-1 unboxed-float-2)) - (unboxed-imag-8 0.0) - (unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-real-3 - unboxed-real-3) - (unsafe-fl* unboxed-imag-4 - unboxed-imag-4))) - (unboxed-real-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-real-7 - unboxed-real-3) - (unsafe-fl* unboxed-imag-8 - unboxed-imag-4)) - unboxed-gensym-10)) - (unboxed-imag-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-imag-8 - unboxed-real-3) - (unsafe-fl* unboxed-real-7 - unboxed-imag-4)) - unboxed-gensym-10))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-mul.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-mul.rkt deleted file mode 100644 index 9fff9660f1..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-mul.rkt +++ /dev/null @@ -1,85 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -(let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-real-4 (unsafe-fl* unboxed-float-1 - unboxed-real-2)) - (unboxed-imag-5 (unsafe-fl* unboxed-float-1 - unboxed-imag-3))) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-real-4 (unsafe-fl* unboxed-real-1 - unboxed-float-3)) - (unboxed-imag-5 (unsafe-fl* unboxed-imag-2 - unboxed-float-3))) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) -(let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-8 (unsafe-fl* unboxed-float-1 - unboxed-real-2)) - (unboxed-imag-9 (unsafe-fl* unboxed-float-1 - unboxed-imag-3)) - (unboxed-real-6 (unsafe-fl- (unsafe-fl* unboxed-real-8 - unboxed-real-4) - (unsafe-fl* unboxed-imag-9 - unboxed-imag-5))) - (unboxed-imag-7 (unsafe-fl+ (unsafe-fl* unboxed-imag-9 - unboxed-real-4) - (unsafe-fl* unboxed-real-8 - unboxed-imag-5)))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-8 (unsafe-fl* unboxed-real-1 - unboxed-float-3)) - (unboxed-imag-9 (unsafe-fl* unboxed-imag-2 - unboxed-float-3)) - (unboxed-real-6 (unsafe-fl- (unsafe-fl* unboxed-real-8 - unboxed-real-4) - (unsafe-fl* unboxed-imag-9 - unboxed-imag-5))) - (unboxed-imag-7 (unsafe-fl+ (unsafe-fl* unboxed-imag-9 - unboxed-real-4) - (unsafe-fl* unboxed-real-8 - unboxed-imag-5)))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-float-5 3.0) - (unboxed-real-8 (unsafe-fl- (unsafe-fl* unboxed-real-1 - unboxed-real-3) - (unsafe-fl* unboxed-imag-2 - unboxed-imag-4))) - (unboxed-imag-9 (unsafe-fl+ (unsafe-fl* unboxed-imag-2 - unboxed-real-3) - (unsafe-fl* unboxed-real-1 - unboxed-imag-4))) - (unboxed-real-6 (unsafe-fl* unboxed-real-8 - unboxed-float-5)) - (unboxed-imag-7 (unsafe-fl* unboxed-imag-9 - unboxed-float-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-float-4 3.0) - (unboxed-real-7 (unsafe-fl* unboxed-real-1 - unboxed-float-3)) - (unboxed-imag-8 (unsafe-fl* unboxed-imag-2 - unboxed-float-3)) - (unboxed-real-5 (unsafe-fl* unboxed-real-7 - unboxed-float-4)) - (unboxed-imag-6 (unsafe-fl* unboxed-imag-8 - unboxed-float-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-small.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-small.rkt deleted file mode 100644 index 17e617514d..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-small.rkt +++ /dev/null @@ -1,32 +0,0 @@ -#lang typed/scheme #:optimize -(require racket/unsafe/ops) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 3.0) - (unboxed-real-4 (unsafe-fl+ unboxed-real-1 unboxed-float-3)) - (unboxed-imag-5 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) -(let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-real-4 (unsafe-fl+ unboxed-float-1 unboxed-real-2)) - (unboxed-imag-5 unboxed-imag-3)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 3.0) - (unboxed-real-4 (unsafe-fl- unboxed-real-1 unboxed-float-3)) - (unboxed-imag-5 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) -(let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-real-4 (unsafe-fl- unboxed-float-1 unboxed-real-2)) - (unboxed-imag-5 (unsafe-fl- 0.0 unboxed-imag-3))) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-5 (unsafe-fl+ 1.0 2.0)) - (unboxed-real-6 (unsafe-fl+ unboxed-real-1 unboxed-float-5)) - (unboxed-imag-7 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float.rkt deleted file mode 100644 index 24dcc18ee6..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float.rkt +++ /dev/null @@ -1,47 +0,0 @@ -#lang typed/scheme #:optimize -(require racket/unsafe/ops) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-6 (unsafe-fl+ (unsafe-fl+ unboxed-real-1 - unboxed-float-3) - unboxed-real-4)) - (unboxed-imag-7 (unsafe-fl+ unboxed-imag-2 - unboxed-imag-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) -(let* ((unboxed-float-1 1.0) - (unboxed-real-2 2.0) - (unboxed-imag-3 4.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-6 (unsafe-fl- (unsafe-fl- unboxed-float-1 - unboxed-real-2) - unboxed-real-4)) - (unboxed-imag-7 (unsafe-fl- (unsafe-fl- 0.0 - unboxed-imag-3) - unboxed-imag-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-float-3 2.0) - (unboxed-real-4 3.0) - (unboxed-imag-5 6.0) - (unboxed-real-6 (unsafe-fl- (unsafe-fl- unboxed-real-1 - unboxed-float-3) - unboxed-real-4)) - (unboxed-imag-7 (unsafe-fl- unboxed-imag-2 - unboxed-imag-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-float-5 3.0) - (unboxed-real-6 (unsafe-fl- (unsafe-fl- unboxed-real-1 - unboxed-real-3) - unboxed-float-5)) - (unboxed-imag-7 (unsafe-fl- unboxed-imag-2 - unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-i.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-i.rkt deleted file mode 100644 index c269ee258d..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-i.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 0.0) - (unboxed-imag-4 1.0) - (unboxed-real-5 2.0) - (unboxed-imag-6 4.0) - (unboxed-real-7 (unsafe-fl- (unsafe-fl* unboxed-real-3 - unboxed-real-5) - (unsafe-fl* unboxed-imag-4 - unboxed-imag-6))) - (unboxed-imag-8 (unsafe-fl+ (unsafe-fl* unboxed-imag-4 - unboxed-real-5) - (unsafe-fl* unboxed-real-3 - unboxed-imag-6))) - (unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-real-7)) - (unboxed-imag-10 (unsafe-fl+ unboxed-imag-2 unboxed-imag-8))) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-integer.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-integer.rkt deleted file mode 100644 index a8715da957..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-integer.rkt +++ /dev/null @@ -1,8 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops racket/flonum) -(let* ((unboxed-float-1 (->fl (expt 2 100))) - (unboxed-real-2 1.0) - (unboxed-imag-3 2.0) - (unboxed-real-4 (unsafe-fl+ unboxed-float-1 unboxed-real-2)) - (unboxed-imag-5 unboxed-imag-3)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-mult.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-mult.rkt deleted file mode 100644 index bf77265793..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-mult.rkt +++ /dev/null @@ -1,17 +0,0 @@ -(module inexact-complex-mult typed/scheme - (require racket/unsafe/ops) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-9 (unsafe-fl- (unsafe-fl* unboxed-real-1 unboxed-real-3) - (unsafe-fl* unboxed-imag-2 unboxed-imag-4))) - (unboxed-imag-10 (unsafe-fl+ (unsafe-fl* unboxed-imag-2 unboxed-real-3) - (unsafe-fl* unboxed-real-1 unboxed-imag-4))) - (unboxed-real-7 (unsafe-fl- (unsafe-fl* unboxed-real-9 unboxed-real-5) - (unsafe-fl* unboxed-imag-10 unboxed-imag-6))) - (unboxed-imag-8 (unsafe-fl+ (unsafe-fl* unboxed-imag-10 unboxed-real-5) - (unsafe-fl* unboxed-real-9 unboxed-imag-6)))) - (unsafe-make-flrectangular unboxed-real-7 unboxed-imag-8))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts.rkt deleted file mode 100644 index 23e8c42545..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts.rkt +++ /dev/null @@ -1,5 +0,0 @@ -(module inexact-complex-parts typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-flreal-part 1.0+2.0i) - (unsafe-flimag-part 1+2.0i) - (unsafe-flreal-part 1.0+2i)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts2.rkt deleted file mode 100644 index 3d6c80b4fb..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts2.rkt +++ /dev/null @@ -1,32 +0,0 @@ -#lang typed/scheme - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - unboxed-real-5) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - unboxed-real-5) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - unboxed-imag-6) -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - unboxed-imag-6) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts3.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts3.rkt deleted file mode 100644 index 840452f28f..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-parts3.rkt +++ /dev/null @@ -1,51 +0,0 @@ -#lang typed/scheme - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl+ unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-4 unboxed-imag-6)) - (unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-real-7)) - (unboxed-imag-10 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10)) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl+ unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-4 unboxed-imag-6)) - (unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-real-7)) - (unboxed-imag-10 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10)) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl+ unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-4 unboxed-imag-6)) - (unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-imag-8)) - (unboxed-imag-10 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10)) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl+ unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-4 unboxed-imag-6)) - (unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-imag-8)) - (unboxed-imag-10 unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-sin.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-sin.rkt deleted file mode 100644 index 05af460913..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-sin.rkt +++ /dev/null @@ -1,10 +0,0 @@ -#lang typed/scheme -(require racket/unsafe/ops) -((lambda: ((t : Integer)) - (let* ((unboxed-float-1 (exact->inexact (sin (* t 6.28)))) - (unboxed-real-2 0.0) - (unboxed-imag-3 0.0) - (unboxed-real-4 (unsafe-fl+ unboxed-float-1 unboxed-real-2)) - (unboxed-imag-5 unboxed-imag-3)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5))) - 1) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex.rkt deleted file mode 100644 index e1311a59f1..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex.rkt +++ /dev/null @@ -1,16 +0,0 @@ -(module inexact-complex typed/scheme #:optimize - (require racket/unsafe/ops) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl- unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl- unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt deleted file mode 100644 index cadce81877..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-binary-nonzero-fixnum.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module invalid-binary-nonzero-fixnum typed/scheme - (: f ( -> Void)) - (define f ; in a function, to prevent evaluation - (lambda () (display (quotient 4 0))))) ; 2 fixnums, but the second is 0, cannot optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt deleted file mode 100644 index 332e8468c4..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-exact-inexact.rkt +++ /dev/null @@ -1,2 +0,0 @@ -(module exact-inexact typed/scheme - 1.0) ; not a integer, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt deleted file mode 100644 index 0c24242daf..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-comp.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module float-comp typed/scheme - (require racket/unsafe/ops) - (< 1.0 2)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt deleted file mode 100644 index 6599330f50..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-float-promotion.rkt +++ /dev/null @@ -1,2 +0,0 @@ -(module float-promotion typed/scheme - (/ 1 2.0)) ; result is not a float, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-inexact-complex-parts.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-inexact-complex-parts.rkt deleted file mode 100644 index 6099201f0b..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-inexact-complex-parts.rkt +++ /dev/null @@ -1,2 +0,0 @@ -(module invalid-inexact-complex-parts.rkt typed/scheme - (real-part 1+2i)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-make-flrectangular.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-make-flrectangular.rkt deleted file mode 100644 index 5288f6f88b..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-make-flrectangular.rkt +++ /dev/null @@ -1,2 +0,0 @@ -(module invalid-make-flrectangular typed/scheme - (make-rectangular 1 2)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-make-polar.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-make-polar.rkt deleted file mode 100644 index ed82cb7cdb..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-make-polar.rkt +++ /dev/null @@ -1,4 +0,0 @@ -#lang racket - -(make-polar 0 0) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-mpair.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-mpair.rkt deleted file mode 100644 index 9419fb9efe..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-mpair.rkt +++ /dev/null @@ -1,4 +0,0 @@ -#lang typed/scheme -(: f ((MListof Integer) -> Integer)) -(define f - (lambda (x) (mcar x))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-sqrt.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-sqrt.rkt deleted file mode 100644 index 82ea3dc9f7..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-sqrt.rkt +++ /dev/null @@ -1,2 +0,0 @@ -(module invalid-sqrt typed/scheme - (sqrt -2.0)) ; not a nonnegative flonum, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-unboxed-let.rkt deleted file mode 100644 index 3fdf91b754..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-unboxed-let.rkt +++ /dev/null @@ -1,26 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4)) - (t2 (let* ((unboxed-real-7 3.0) - (unboxed-imag-8 6.0) - (unboxed-real-9 4.0) - (unboxed-imag-10 8.0) - (unboxed-real-11 (unsafe-fl+ unboxed-real-7 unboxed-real-9)) - (unboxed-imag-12 (unsafe-fl+ unboxed-imag-8 unboxed-imag-10))) - (unsafe-make-flrectangular unboxed-real-11 unboxed-imag-12))) - (t3 1.0+2.0i) - (t4 1)) - (display (let* ((unboxed-real-1 (unsafe-fl+ unboxed-real-5 unboxed-real-5)) - (unboxed-imag-2 (unsafe-fl+ unboxed-imag-6 unboxed-imag-6))) - (unsafe-make-flrectangular unboxed-real-1 unboxed-imag-2))) - (display t2) - (display t3) - (display t4)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-unboxed-let2.rkt deleted file mode 100644 index 93e316d398..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-unboxed-let2.rkt +++ /dev/null @@ -1,30 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; unboxing of let bindings does not currently work with multiple values -(let-values (((t1 t2) - (values (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) - (let* ((unboxed-real-1 3.0) - (unboxed-imag-2 6.0) - (unboxed-real-3 4.0) - (unboxed-imag-4 8.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6))))) - (let* ((unboxed-gensym-1 t1) - (unboxed-real-2 (unsafe-flreal-part unboxed-gensym-1)) - (unboxed-imag-3 (unsafe-flimag-part unboxed-gensym-1)) - (unboxed-gensym-4 t2) - (unboxed-real-5 (unsafe-flreal-part unboxed-gensym-4)) - (unboxed-imag-6 (unsafe-flimag-part unboxed-gensym-4)) - (unboxed-real-7 (unsafe-fl+ unboxed-real-2 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-3 unboxed-imag-6))) - (unsafe-make-flrectangular unboxed-real-7 unboxed-imag-8))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt deleted file mode 100644 index 90be4d891d..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-ref.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module invalid-vector-ref typed/scheme - (: f ((Vectorof Integer) -> Integer)) - (define f - (lambda (x) (vector-ref x 0)))) ; type is (Vectorof Integer), length is unknown, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt deleted file mode 100644 index 6b544a6064..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/invalid-vector-set.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module invalid-vector-set typed/scheme - (: f ((Vectorof Integer) -> Void)) - (define f - (lambda (x) (vector-set! x 0 2)))) ; type is (Vectorof Integer), length is not known, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/known-vector-length.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/known-vector-length.rkt deleted file mode 100644 index e480939a25..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/known-vector-length.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module known-vector-length typed/scheme #:optimize - (require racket/unsafe/ops) - (+ 2 (begin (vector 1 2) 2))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/let-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/let-float.rkt deleted file mode 100644 index 16777a6fdd..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/let-float.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module let-float typed/scheme #:optimize - (require racket/unsafe/ops) - (let ((x (unsafe-fl+ 3.0 2.0))) - (unsafe-fl* 9.0 x))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt deleted file mode 100644 index c4d25e28a6..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/let-rhs.rkt +++ /dev/null @@ -1,6 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -(let ((x (unsafe-fl+ 1.0 2.0))) - x) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/literal-int.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/literal-int.rkt deleted file mode 100644 index 7c83eb758a..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/literal-int.rkt +++ /dev/null @@ -1,7 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(unsafe-fl+ 1.0 2.0) -1 -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/magnitude.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/magnitude.rkt deleted file mode 100644 index dca61771af..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/magnitude.rkt +++ /dev/null @@ -1,12 +0,0 @@ -#lang racket/base - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 '3.0) - (unboxed-imag-2 '4.0) - (unboxed-real-3 - (unsafe-flsqrt - (unsafe-fl+ (unsafe-fl* unboxed-real-1 unboxed-real-1) (unsafe-fl* unboxed-imag-2 unboxed-imag-2))))) - unboxed-real-3) - -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/make-flrectangular.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/make-flrectangular.rkt deleted file mode 100644 index 0f82412f91..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/make-flrectangular.rkt +++ /dev/null @@ -1,4 +0,0 @@ -(module make-flrectangular typed/scheme #:optimize - (require racket/unsafe/ops racket/flonum) - (unsafe-make-flrectangular 1.0 2.2) - (unsafe-make-flrectangular 1.0 2.2)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/make-polar.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/make-polar.rkt deleted file mode 100644 index 7bded49431..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/make-polar.rkt +++ /dev/null @@ -1,27 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; top level -(let*-values (((unboxed-gensym-1) 1.0) - ((unboxed-gensym-2) 1.0) - ((unboxed-real-3) (unsafe-fl* unboxed-gensym-1 - (unsafe-flcos unboxed-gensym-2))) - ((unboxed-imag-4) (unsafe-fl* unboxed-gensym-1 - (unsafe-flsin unboxed-gensym-2)))) - (unsafe-make-flrectangular unboxed-real-3 unboxed-imag-4)) - -;; nested -(let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-gensym-3) 2.0) - ((unboxed-gensym-4) 4.0) - ((unboxed-real-5) (unsafe-fl* unboxed-gensym-3 - (unsafe-flcos unboxed-gensym-4))) - ((unboxed-imag-6) (unsafe-fl* unboxed-gensym-3 - (unsafe-flsin unboxed-gensym-4))) - ((unboxed-real-7) (unsafe-fl+ unboxed-real-1 unboxed-real-5)) - ((unboxed-imag-8) (unsafe-fl+ unboxed-imag-2 unboxed-imag-6))) - (unsafe-make-flrectangular unboxed-real-7 unboxed-imag-8)) - -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/maybe-exact-complex.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/maybe-exact-complex.rkt deleted file mode 100644 index 77f65dd4c1..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/maybe-exact-complex.rkt +++ /dev/null @@ -1,12 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/mpair.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/mpair.rkt deleted file mode 100644 index aa3ba28a83..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/mpair.rkt +++ /dev/null @@ -1,14 +0,0 @@ -#lang typed/scheme #:optimize -(require racket/unsafe/ops) -(: x (MPairof Integer Float)) -(define x (mcons 1 1.0)) -(unsafe-mcar x) -(unsafe-mcdr x) -(unsafe-set-mcar! x (+ 1 2)) -(unsafe-set-mcdr! x (+ 1.0 2.0)) - -(: f ((MListof Integer) -> Integer)) -(define (f x) - (if (null? x) - 0 - (unsafe-mcar x))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/n-ary-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/n-ary-float.rkt deleted file mode 100644 index 96ce4f115a..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/n-ary-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module n-ary-float typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fl+ (unsafe-fl+ 1.0 2.0) 3.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/n-ary-inexact-complex.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/n-ary-inexact-complex.rkt deleted file mode 100644 index 3ccbc1fc60..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/n-ary-inexact-complex.rkt +++ /dev/null @@ -1,19 +0,0 @@ -(module n-ary-inexact-complex typed/scheme #:optimize - (require racket/unsafe/ops) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 4.0) - (unboxed-imag-8 8.0) - (unboxed-real-9 (unsafe-fl+ (unsafe-fl+ (unsafe-fl+ unboxed-real-1 - unboxed-real-3) - unboxed-real-5) - unboxed-real-7)) - (unboxed-imag-10 (unsafe-fl+ (unsafe-fl+ (unsafe-fl+ unboxed-imag-2 - unboxed-imag-4) - unboxed-imag-6) - unboxed-imag-8))) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-float.rkt deleted file mode 100644 index 9399c1ba5b..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module nested-float typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fl+ 2.0 (unsafe-fl+ 3.0 4.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-float2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-float2.rkt deleted file mode 100644 index 0605e701ec..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-float2.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module nested-float typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fl+ 2.0 (unsafe-fl* 3.0 4.0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-inexact-complex.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-inexact-complex.rkt deleted file mode 100644 index 498c7af9bd..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-inexact-complex.rkt +++ /dev/null @@ -1,13 +0,0 @@ -(module nested-inexact-complex typed/scheme #:optimize - (require racket/unsafe/ops) - (let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl- unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl- unboxed-imag-4 unboxed-imag-6)) - (unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-real-7)) - (unboxed-imag-10 (unsafe-fl+ unboxed-imag-2 unboxed-imag-8))) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-let-loop.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-let-loop.rkt deleted file mode 100644 index 91674436ed..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-let-loop.rkt +++ /dev/null @@ -1,54 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(let*-values (((unboxed-real-1) 0.0) - ((unboxed-imag-2) 0.0)) - ((letrec-values - (((loop1) - (lambda (unboxed-real-1 unboxed-imag-2 x) - (if (null? x) - (unsafe-make-flrectangular unboxed-real-1 - unboxed-imag-2) - (let*-values (((unboxed-real-1) '0.0) - ((unboxed-imag-2) '0.0)) - ((letrec-values - (((loop2) - (lambda (unboxed-real-1 unboxed-imag-2 y) - (if (null? y) - (let*-values (((unboxed-real-3) - (unsafe-fl+ unboxed-real-1 - unboxed-real-1)) - ((unboxed-imag-4) - (unsafe-fl+ unboxed-imag-2 - unboxed-imag-2))) - (loop1 unboxed-real-3 unboxed-imag-4 (unsafe-cdr x))) - (let*-values (((unboxed-gensym-1) (unsafe-car x)) - ((unboxed-real-2) - (unsafe-flreal-part unboxed-gensym-1)) - ((unboxed-imag-3) - (unsafe-flimag-part unboxed-gensym-1)) - ((unboxed-gensym-4) (unsafe-car y)) - ((unboxed-real-5) - (unsafe-flreal-part unboxed-gensym-4)) - ((unboxed-imag-6) - (unsafe-flimag-part unboxed-gensym-4)) - ((unboxed-real-7) - (unsafe-fl+ (unsafe-fl+ unboxed-real-1 - unboxed-real-2) - unboxed-real-5)) - ((unboxed-imag-8) - (unsafe-fl+ (unsafe-fl+ unboxed-imag-2 - unboxed-imag-3) - unboxed-imag-6))) - (loop2 unboxed-real-7 unboxed-imag-8 - (unsafe-cdr y))))))) - loop2) - unboxed-real-1 - unboxed-imag-2 - '(3.0+6.0i 4.0+8.0i))))))) - loop1) - unboxed-real-1 - unboxed-imag-2 - '(1.0+2.0i 2.0+4.0i))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-pair1.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-pair1.rkt deleted file mode 100644 index 6cb08b1b4e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-pair1.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module nested-pair typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-car (unsafe-cdr '(1 2)))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-pair2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-pair2.rkt deleted file mode 100644 index d0a0447df6..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-pair2.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module nested-pair2 typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-car (unsafe-cdr (cons 3 (cons (cons 2 '()) 1))))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/nested-unboxed-let.rkt deleted file mode 100644 index efe26b9e11..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/nested-unboxed-let.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 3.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (let* ((unboxed-real-1 2.0) - (unboxed-imag-2 3.0) - (unboxed-real-3 (unsafe-fl+ unboxed-real-5 unboxed-real-1)) - (unboxed-imag-4 (unsafe-fl+ unboxed-imag-6 unboxed-imag-2)) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl+ unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-4 unboxed-imag-6))) - (unsafe-make-flrectangular unboxed-real-7 unboxed-imag-8))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/one-arg-arith.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/one-arg-arith.rkt deleted file mode 100644 index 26a5489544..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/one-arg-arith.rkt +++ /dev/null @@ -1,20 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -(unsafe-fx- 0 12) -(unsafe-fl- 0.0 12.0) -(unsafe-fl/ 1.0 4.2) - -1 -1.0 -(expt 2 100) -1 -1.0 -(expt 2 100) -1 -1.0 -(expt 2 100) -1 -1.0 -(expt 2 100) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/pair-fun.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/pair-fun.rkt deleted file mode 100644 index 855b9baf9c..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/pair-fun.rkt +++ /dev/null @@ -1,7 +0,0 @@ -(module pair-fun typed/scheme #:optimize - (require racket/unsafe/ops) - (: f ((Listof Integer) -> Integer)) - (define (f x) - (if (null? x) - 1 - (unsafe-car x)))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/quote.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/quote.rkt deleted file mode 100644 index 2d62416fb7..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/quote.rkt +++ /dev/null @@ -1,2 +0,0 @@ -(module quote typed/scheme #:optimize - '(+ 1.0 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/real-part-loop.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/real-part-loop.rkt deleted file mode 100644 index a0138b876d..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/real-part-loop.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang racket/base - -(require racket/unsafe/ops) - -(let-values (((unboxed-real-1) '0.0)) - (let-values (((unboxed-imag-2) '1.0)) - ((letrec-values (((loop) - (lambda (unboxed-real-1 unboxed-imag-2) - (if (unsafe-fl> (let-values () unboxed-real-1) '70000.2) - '0 - (let-values (((unboxed-float-1) '3.6)) - (let-values (((unboxed-real-2) (unsafe-fl+ unboxed-real-1 unboxed-float-1))) - (let-values (((unboxed-imag-3) unboxed-imag-2)) (loop unboxed-real-2 unboxed-imag-3)))))))) - loop) - unboxed-real-1 - unboxed-imag-2))) - -(void) - diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/simple-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/simple-float.rkt deleted file mode 100644 index 6a6437aa31..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/simple-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module simple-float typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fl+ 2.0 3.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/simple-pair.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/simple-pair.rkt deleted file mode 100644 index 73eae801cd..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/simple-pair.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module simple-pair typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-car (cons 1 2))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/sqrt-segfault.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/sqrt-segfault.rkt deleted file mode 100644 index 3039e0be83..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/sqrt-segfault.rkt +++ /dev/null @@ -1,14 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -;; from the nbody-generic benchmark. -;; the result of sqrt was an Inexact-Complex, so inexact complex opts kicked -;; in but they resulted in segfaulting code. -;; the problem was that having Float be a subtype of Inexact-Complex was wrong -;; since you can't do unsafe-flreal-part of a float - -(let* ([dx (unsafe-fl- 0.0 0.0)] - [dist2 (unsafe-fl* dx dx)] - [mag (assert (* dist2 (sqrt dist2)) inexact-real?)]) - (void)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/sqrt.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/sqrt.rkt deleted file mode 100644 index b565bb23f6..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/sqrt.rkt +++ /dev/null @@ -1,5 +0,0 @@ -(module sqrt typed/scheme #:optimize - (require racket/unsafe/ops) - (: f (Nonnegative-Float -> Nonnegative-Float)) - (define (f x) - (unsafe-flsqrt x))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/string-length.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/string-length.rkt deleted file mode 100644 index 8291883467..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/string-length.rkt +++ /dev/null @@ -1,6 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -(unsafe-string-length "eh") -(unsafe-bytes-length #"eh") diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/structs.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/structs.rkt deleted file mode 100644 index e98488861a..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/structs.rkt +++ /dev/null @@ -1,6 +0,0 @@ -(module structs typed/scheme #:optimize - (require racket/unsafe/ops) - (define-struct: pt ((x : Integer) (y : Integer)) #:mutable) - (define a (pt 3 4)) - (unsafe-struct-ref a 0) - (unsafe-struct-set! a 1 5)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unary-fixnum-nested.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unary-fixnum-nested.rkt deleted file mode 100644 index b71683bc0d..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unary-fixnum-nested.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module unary-fixnum-nested typed/scheme #:optimize - (require racket/unsafe/ops racket/fixnum) - (unsafe-fxabs (unsafe-fxnot (length '(1 2 3))))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unary-fixnum.rkt deleted file mode 100644 index 6436650f08..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unary-fixnum.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module unary-fixnum typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-fxnot 4)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unary-float.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unary-float.rkt deleted file mode 100644 index c48e78f667..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unary-float.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module float-unary typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-flsin 2.0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-for.rkt deleted file mode 100644 index 65708b6f7c..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-for.rkt +++ /dev/null @@ -1,43 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(let-values (((pos->vals pos-next init pos-cont? val-cont? all-cont?) - (let-values (((i) '(1.0+2.0i 2.0+4.0i))) - (values - unsafe-car - unsafe-cdr - i - (lambda (x) (not (null? x))) - (lambda (x) #t) - (lambda (x y) #t))))) - (void) - (let*-values (((unboxed-real-1) 0.0) - ((unboxed-imag-2) 0.0)) - ((letrec-values - (((for-loop) - (lambda (unboxed-real-1 unboxed-imag-2 pos) - (if (pos-cont? pos) - (let*-values (((unboxed-gensym-1) (pos->vals pos)) - ((unboxed-real-2) (unsafe-flreal-part unboxed-gensym-1)) - ((unboxed-imag-3) (unsafe-flimag-part unboxed-gensym-1))) - (if (val-cont? (unsafe-make-flrectangular unboxed-real-2 unboxed-imag-3)) - (let-values (((sum) - (let-values () - (let-values () - (let*-values (((unboxed-real-1) (unsafe-fl+ unboxed-real-2 unboxed-real-1)) - ((unboxed-imag-2) (unsafe-fl+ unboxed-imag-3 unboxed-imag-2))) - (unsafe-make-flrectangular unboxed-real-1 unboxed-imag-2)))))) - (if (all-cont? pos (unsafe-make-flrectangular unboxed-real-2 unboxed-imag-3)) - (let*-values (((unboxed-gensym-1) sum) - ((unboxed-real-2) (unsafe-flreal-part unboxed-gensym-1)) - ((unboxed-imag-3) (unsafe-flimag-part unboxed-gensym-1))) - (for-loop unboxed-real-2 unboxed-imag-3 (pos-next pos))) - sum)) - (unsafe-make-flrectangular unboxed-real-1 unboxed-imag-2))) - (unsafe-make-flrectangular unboxed-real-1 unboxed-imag-2))))) - for-loop) - unboxed-real-1 - unboxed-imag-2 - init))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions1.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions1.rkt deleted file mode 100644 index 860573d5c9..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions1.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; simple case, function with single complex arg -(let ((f (lambda (unboxed-real-1 unboxed-imag-2) - (let*-values (((unboxed-real-3) 3.0) - ((unboxed-imag-4) 6.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6))))) - (let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (f unboxed-real-5 unboxed-imag-6))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions2.rkt deleted file mode 100644 index d30023b31e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions2.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; function with multiple complex args -(let ((f (lambda (unboxed-real-1 unboxed-real-2 unboxed-imag-3 unboxed-imag-4) - (let*-values (((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-2)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-3 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6))))) - (let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4)) - ((unboxed-real-7) 3.0) - ((unboxed-imag-8) 6.0)) - (f unboxed-real-5 unboxed-real-7 unboxed-imag-6 unboxed-imag-8))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions3.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions3.rkt deleted file mode 100644 index b9acbf9bef..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions3.rkt +++ /dev/null @@ -1,18 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; function with a mix of complex and non-complex args -(let ((f (lambda (unboxed-real-1 unboxed-imag-2 y) - (let*-values (((unboxed-float-3) y) - ((unboxed-real-4) (unsafe-fl+ unboxed-real-1 unboxed-float-3)) - ((unboxed-imag-5) unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5))))) - (let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (f unboxed-real-5 unboxed-imag-6 3.0))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions4.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions4.rkt deleted file mode 100644 index b9acbf9bef..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions4.rkt +++ /dev/null @@ -1,18 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; function with a mix of complex and non-complex args -(let ((f (lambda (unboxed-real-1 unboxed-imag-2 y) - (let*-values (((unboxed-float-3) y) - ((unboxed-real-4) (unsafe-fl+ unboxed-real-1 unboxed-float-3)) - ((unboxed-imag-5) unboxed-imag-2)) - (unsafe-make-flrectangular unboxed-real-4 unboxed-imag-5))))) - (let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (f unboxed-real-5 unboxed-imag-6 3.0))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions5.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions5.rkt deleted file mode 100644 index 5e1cbd1146..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions5.rkt +++ /dev/null @@ -1,16 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; invalid: f "escapes", according to our analysis -(letrec ((f (lambda (x) - (let ((y f)) - x)))) - (f (let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions6.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions6.rkt deleted file mode 100644 index d1f50ccd45..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions6.rkt +++ /dev/null @@ -1,23 +0,0 @@ -#lang racket - -(require racket/unsafe/ops racket/flonum) - -(let*-values (((unboxed-real-1) 0.0) - ((unboxed-imag-2) 0.0)) - ((letrec-values - (((loop) - (lambda (unboxed-real-1 unboxed-imag-2 l) - (if (null? l) - (let*-values (((unboxed-real-3) 0.0) - ((unboxed-imag-4) 1.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) - (let*-values (((unboxed-float-1) (->fl (unsafe-car l))) - ((unboxed-real-2) (unsafe-fl+ unboxed-real-1 unboxed-float-1)) - ((unboxed-imag-3) unboxed-imag-2)) - (loop unboxed-real-2 unboxed-imag-3 - (unsafe-cdr l))))))) - loop) - unboxed-real-1 unboxed-imag-2 '(1 2 3))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions7.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions7.rkt deleted file mode 100644 index c7fb3b522e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions7.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang racket - -(require racket/unsafe/ops racket/flonum) - -(let*-values (((unboxed-real-1) 0.0) - ((unboxed-imag-2) 0.0)) - ((letrec-values - (((loop) - (lambda (unboxed-real-1 unboxed-imag-2 l) - (if (null? l) - (unsafe-make-flrectangular unboxed-real-1 unboxed-imag-2) - (let*-values (((unboxed-float-1) (->fl (unsafe-car l))) - ((unboxed-real-2) (unsafe-fl+ unboxed-real-1 unboxed-float-1)) - ((unboxed-imag-3) unboxed-imag-2)) - (loop unboxed-real-2 unboxed-imag-3 - (unsafe-cdr l))))))) - loop) - unboxed-real-1 unboxed-imag-2 '(1 2 3))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions8.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions8.rkt deleted file mode 100644 index 58c0491101..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let-functions8.rkt +++ /dev/null @@ -1,17 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(letrec-values - (((f) (lambda (x) - (let*-values (((unboxed-gensym-1) x) - ((unboxed-real-2) (unsafe-flreal-part unboxed-gensym-1)) - ((unboxed-imag-3) (unsafe-flimag-part unboxed-gensym-1)) - ((unboxed-real-4) 2.0) - ((unboxed-imag-5) 4.0) - ((unboxed-real-6) (unsafe-fl+ unboxed-real-2 unboxed-real-4)) - ((unboxed-imag-7) (unsafe-fl+ unboxed-imag-3 unboxed-imag-5))) - (unsafe-make-flrectangular unboxed-real-6 unboxed-imag-7)))) - ((g) f)) - (f 1.0+2.0i)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let.rkt deleted file mode 100644 index d249289136..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let.rkt +++ /dev/null @@ -1,20 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) ; t1-real - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) ; t1-imag - (let* ((unboxed-real-1 3.0) - (unboxed-imag-2 6.0) - (unboxed-real-3 (unsafe-fl- unboxed-real-5 unboxed-real-1)) ; t2-real - (unboxed-imag-4 (unsafe-fl- unboxed-imag-6 unboxed-imag-2))) ; t2-imag - (let* ((unboxed-real-1 4.0) ; t3-real - (unboxed-imag-2 8.0) ; t3-imag - (unboxed-real-3 (unsafe-fl+ unboxed-real-3 unboxed-real-1)) - (unboxed-imag-4 (unsafe-fl+ unboxed-imag-4 unboxed-imag-2))) - (unsafe-make-flrectangular unboxed-real-3 unboxed-imag-4)))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let2.rkt deleted file mode 100644 index 107204f266..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let2.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang typed/scheme #:optimize - -(require racket/unsafe/ops) - -(let* ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - (unboxed-imag-6 (unsafe-fl+ unboxed-imag-2 unboxed-imag-4)) - (unboxed-real-7 3.0) - (unboxed-imag-8 6.0) - (unboxed-real-9 4.0) - (unboxed-imag-10 8.0) - (unboxed-real-11 (unsafe-fl+ unboxed-real-7 unboxed-real-9)) - (unboxed-imag-12 (unsafe-fl+ unboxed-imag-8 unboxed-imag-10)) - (unboxed-real-13 (unsafe-fl+ unboxed-real-5 unboxed-real-11)) - (unboxed-imag-14 (unsafe-fl+ unboxed-imag-6 unboxed-imag-12))) - (unsafe-make-flrectangular unboxed-real-13 unboxed-imag-14)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let3.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let3.rkt deleted file mode 100644 index ebe84332a1..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-let3.rkt +++ /dev/null @@ -1,25 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -;; both boxed and unboxed uses, we unbox anyway -;; causes unnecessary boxing/unboxing if we take a boxed path when -;; unboxing a complex literal or variable, but I expect this case -;; to be uncommon -;; by comparison, cases where we leave a result unboxed and box it -;; if needed (like here) or cases where this would unbox loop variables -;; are likely to be more common, and more interesting -(let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (if (even? 2) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6) - (let*-values (((unboxed-real-1) 2.0) - ((unboxed-imag-2) 4.0) - ((unboxed-real-3) (unsafe-fl+ unboxed-real-5 unboxed-real-1)) - ((unboxed-imag-4) (unsafe-fl+ unboxed-imag-6 unboxed-imag-2))) - (unsafe-make-flrectangular unboxed-real-3 unboxed-imag-4)))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-letrec-syntaxes+values.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-letrec-syntaxes+values.rkt deleted file mode 100644 index 0d4f33165d..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-letrec-syntaxes+values.rkt +++ /dev/null @@ -1,18 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(letrec-syntaxes+values - (((s) (syntax-rules () [(_ x) x]))) - (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (let* ((unboxed-real-7 2.0) - (unboxed-imag-8 4.0) - (unboxed-real-9 (unsafe-fl+ unboxed-real-5 unboxed-real-7)) - (unboxed-imag-10 (unsafe-fl+ unboxed-imag-6 unboxed-imag-8))) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-letrec.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-letrec.rkt deleted file mode 100644 index 51937f233b..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-letrec.rkt +++ /dev/null @@ -1,17 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(letrec ((unboxed-real-1 1.0) - (unboxed-imag-2 2.0) - (unboxed-real-3 2.0) - (unboxed-imag-4 4.0) - (unboxed-real-5 3.0) - (unboxed-imag-6 6.0) - (unboxed-real-7 (unsafe-fl+ unboxed-real-3 unboxed-real-5)) - (unboxed-imag-8 (unsafe-fl+ unboxed-imag-4 unboxed-imag-6)) - (f (lambda (x) (f x)))) - (let* ((unboxed-real-9 (unsafe-fl+ unboxed-real-1 unboxed-real-7)) - (unboxed-imag-10 (unsafe-fl+ unboxed-imag-2 unboxed-imag-8))) - (unsafe-make-flrectangular unboxed-real-9 unboxed-imag-10))) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-make-rectangular.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-make-rectangular.rkt deleted file mode 100644 index fe9cba3753..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/unboxed-make-rectangular.rkt +++ /dev/null @@ -1,19 +0,0 @@ -#lang racket - -(require racket/unsafe/ops) - -(let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) -(let*-values (((unboxed-real-1) 1.0) - ((unboxed-imag-2) 2.0) - ((unboxed-real-3) 2.0) - ((unboxed-imag-4) 4.0) - ((unboxed-real-5) (unsafe-fl+ unboxed-real-1 unboxed-real-3)) - ((unboxed-imag-6) (unsafe-fl+ unboxed-imag-2 unboxed-imag-4))) - (unsafe-make-flrectangular unboxed-real-5 unboxed-imag-6)) -(void) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-length-nested.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-length-nested.rkt deleted file mode 100644 index ce4126033f..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-length-nested.rkt +++ /dev/null @@ -1,7 +0,0 @@ -(module vector-length typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-length - (unsafe-vector*-ref - (ann (vector (vector 1 2) 2 3) - (Vector (Vectorof Integer) Integer Integer)) - 0))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-length.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-length.rkt deleted file mode 100644 index 61175f80f1..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-length.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module vector-length typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-length (vector 1 2 3))) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref-set-ref.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref-set-ref.rkt deleted file mode 100644 index 645f0f0025..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref-set-ref.rkt +++ /dev/null @@ -1,7 +0,0 @@ -(module vector-ref-set-ref typed/scheme #:optimize - (require racket/unsafe/ops) - (: x (Vector Integer String)) - (define x (vector 1 "1")) - (unsafe-vector*-ref x 0) - (unsafe-vector*-set! x 1 "2") - (unsafe-vector*-ref x 1)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref.rkt deleted file mode 100644 index 2e149631ca..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module vector-ref typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-ref (ann (vector 1 2) (Vector Integer Integer)) 0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref2.rkt deleted file mode 100644 index d57a98a8fc..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-ref2.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module vector-ref2 typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-ref (vector 1 2 3) 0)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set-quote.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set-quote.rkt deleted file mode 100644 index 3245b5dc8e..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set-quote.rkt +++ /dev/null @@ -1,5 +0,0 @@ -(module vector-set-quote typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-set! (ann (vector '(1 2)) (Vector Any)) - 0 - '(+ 1.0 2.0))) ; we should not optimize under quote diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set.rkt deleted file mode 100644 index 2c7a7a228b..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set.rkt +++ /dev/null @@ -1,5 +0,0 @@ -(module vector-set typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-set! (ann (vector 1 2) (Vector Integer Integer)) - 0 - 1)) diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set2.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set2.rkt deleted file mode 100644 index a5e255d0bf..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/vector-set2.rkt +++ /dev/null @@ -1,3 +0,0 @@ -(module invalid-vector-set typed/scheme #:optimize - (require racket/unsafe/ops) - (unsafe-vector*-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/hand-optimized/zero.rkt b/collects/tests/typed-scheme/optimizer/hand-optimized/zero.rkt deleted file mode 100644 index d02a54d1b8..0000000000 --- a/collects/tests/typed-scheme/optimizer/hand-optimized/zero.rkt +++ /dev/null @@ -1,4 +0,0 @@ -#lang typed/scheme #:optimize -(require racket/unsafe/ops) -(unsafe-fx= 1 0) -(unsafe-fl= (sqrt 3.0) 0.0) diff --git a/collects/tests/typed-scheme/optimizer/run.rkt b/collects/tests/typed-scheme/optimizer/run.rkt index 29dd9088c0..f171ce05f6 100644 --- a/collects/tests/typed-scheme/optimizer/run.rkt +++ b/collects/tests/typed-scheme/optimizer/run.rkt @@ -1,29 +1,6 @@ #lang racket (require racket/runtime-path racket/sandbox) -;; since Typed Scheme's optimizer does source to source transformations, -;; we compare the expansion of automatically optimized and hand optimized -;; modules -(define (read-and-expand file) - ;; drop the type tables added by typed scheme, since they can be in a - ;; different order each time, and that would make tests fail when they - ;; shouldn't - (filter - ;; drop the "module", its name and its language, so that we can write - ;; the 2 versions of each test in different languages (typed and - ;; untyped) if need be - (match-lambda [(list 'define-values-for-syntax '() _ ...) #f] [_ #t]) - (cadddr - (syntax->datum - (parameterize ([current-namespace (make-base-namespace)] - [read-accept-reader #t]) - (with-handlers - ([exn:fail? (lambda (exn) - (printf "~a\n" (exn-message exn)) - #'(#f #f #f (#f)))]) ; for cadddr - (expand (with-input-from-file file read-syntax)))))))) - - ;; the first line must be the #lang line ;; the second line must be #:optimize (define (evaluator file #:optimize [optimize? #f]) @@ -50,19 +27,28 @@ (kill-evaluator evaluator) out))))) +(define (generate-opt-log name) + (parameterize ([current-load-relative-directory (build-path here "generic")] + [current-command-line-arguments '#("--log-optimizations")]) + (with-output-to-string + (lambda () + (dynamic-require (build-path (current-load-relative-directory) name) + #f))))) + (define (test gen) (let-values (((base name _) (split-path gen))) - (or (regexp-match ".*~" name) ; we ignore backup files - (directory-exists? gen) ; and directories - ;; machine optimized and hand optimized versions must expand to the - ;; same code - (and (or (equal? (parameterize ([current-load-relative-directory - (build-path here "generic")]) - (read-and-expand gen)) - (let ((hand-opt-dir (build-path here "hand-optimized"))) - (parameterize ([current-load-relative-directory hand-opt-dir]) - (read-and-expand (build-path hand-opt-dir name))))) - (begin (printf "~a failed: expanded code mismatch\n\n" name) + (or (not (regexp-match ".*rkt$" name)) ; we ignore all but racket files + ;; we log optimizations and compare to an expected log to make sure + ;; that all the optimizations we expected did indeed happen + (and (or (let ((log (generate-opt-log name)) + ;; expected optimizer log, to see what was optimized + (expected + (file->string + (build-path base + (string-append (path->string name) + ".log"))))) + (equal? log expected)) + (begin (printf "~a failed: optimization log mismatch\n\n" name) #f)) ;; optimized and non-optimized versions must evaluate to the ;; same thing