From ba761592c6992bcedbf256338c48f4491199b335 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 8 Sep 2010 14:43:37 -0400 Subject: [PATCH] Included expected optimization logs in the test files. original commit: 7f546434ed1648ff52efdb0e84883e8af5b2837a --- collects/tests/typed-scheme/optimizer/run.rkt | 48 ++++++++++++------ .../optimizer/tests/apply-plus.rkt | 8 +++ .../optimizer/tests/begin-float.rkt | 8 +++ .../optimizer/tests/binary-fixnum.rkt | 6 +++ .../optimizer/tests/binary-nonzero-fixnum.rkt | 7 +++ .../typed-scheme/optimizer/tests/box.rkt | 9 ++++ .../optimizer/tests/cross-module-struct.rkt | 3 ++ .../optimizer/tests/cross-module-struct2.rkt | 6 +++ .../optimizer/tests/dead-else.rkt | 9 ++++ .../optimizer/tests/dead-substructs.rkt | 6 +++ .../optimizer/tests/dead-then.rkt | 9 ++++ .../optimizer/tests/define-begin-float.rkt | 7 +++ .../optimizer/tests/define-call-float.rkt | 5 ++ .../optimizer/tests/define-float.rkt | 5 ++ .../optimizer/tests/define-pair.rkt | 5 ++ .../optimizer/tests/different-langs.rkt | 5 ++ .../optimizer/tests/double-float.rkt | 6 +++ .../optimizer/tests/exact-inexact.rkt | 6 +++ .../optimizer/tests/fixnum-comparison.rkt | 8 +++ .../optimizer/tests/float-comp.rkt | 6 +++ .../optimizer/tests/float-fun.rkt | 5 ++ .../optimizer/tests/float-promotion.rkt | 9 ++++ .../optimizer/tests/flvector-length.rkt | 6 +++ .../typed-scheme/optimizer/tests/fx-fl.rkt | 6 +++ .../typed-scheme/optimizer/tests/in-bytes.rkt | 18 +++++++ .../typed-scheme/optimizer/tests/in-list.rkt | 18 +++++++ .../optimizer/tests/in-string.rkt | 18 +++++++ .../optimizer/tests/in-vector.rkt | 18 +++++++ .../tests/invalid-binary-nonzero-fixnum.rkt | 3 ++ .../optimizer/tests/invalid-exact-inexact.rkt | 6 +++ .../optimizer/tests/invalid-float-comp.rkt | 5 ++ .../tests/invalid-float-promotion.rkt | 5 ++ .../tests/invalid-inexact-complex-parts.rkt | 5 ++ .../tests/invalid-make-flrectangular.rkt | 5 ++ .../optimizer/tests/invalid-make-polar.rkt | 5 ++ .../optimizer/tests/invalid-mpair.rkt | 3 ++ .../optimizer/tests/invalid-sqrt.rkt | 5 ++ .../optimizer/tests/invalid-unboxed-let.rkt | 28 +++++++++++ .../optimizer/tests/invalid-unboxed-let2.rkt | 18 +++++++ .../optimizer/tests/invalid-vector-ref.rkt | 3 ++ .../optimizer/tests/invalid-vector-set.rkt | 3 ++ .../optimizer/tests/known-vector-length.rkt | 7 +++ .../optimizer/tests/let-float.rkt | 8 +++ .../typed-scheme/optimizer/tests/let-rhs.rkt | 7 +++ .../optimizer/tests/literal-int.rkt | 7 +++ .../optimizer/tests/magnitude.rkt | 10 +++- .../optimizer/tests/make-flrectangular.rkt | 8 +++ .../optimizer/tests/make-polar.rkt | 21 ++++++++ .../optimizer/tests/maybe-exact-complex.rkt | 9 ++++ .../typed-scheme/optimizer/tests/mpair.rkt | 12 +++++ .../optimizer/tests/n-ary-float.rkt | 6 +++ .../optimizer/tests/nested-float.rkt | 7 +++ .../optimizer/tests/nested-float2.rkt | 7 +++ .../optimizer/tests/nested-let-loop.rkt | 43 ++++++++++++++++ .../optimizer/tests/nested-pair1.rkt | 7 +++ .../optimizer/tests/nested-pair2.rkt | 7 +++ .../optimizer/tests/nested-unboxed-let.rkt | 25 ++++++++++ .../optimizer/tests/one-arg-arith.rkt | 34 +++++++++++++ .../typed-scheme/optimizer/tests/pair-fun.rkt | 5 ++ .../typed-scheme/optimizer/tests/quote.rkt | 5 ++ .../optimizer/tests/real-part-loop.rkt | 24 +++++++++ .../optimizer/tests/simple-float.rkt | 6 +++ .../optimizer/tests/simple-pair.rkt | 6 +++ .../optimizer/tests/sqrt-segfault.rkt | 10 ++++ .../typed-scheme/optimizer/tests/sqrt.rkt | 5 ++ .../optimizer/tests/string-length.rkt | 8 +++ .../typed-scheme/optimizer/tests/structs.rkt | 7 +++ .../optimizer/tests/unary-fixnum-nested.rkt | 7 +++ .../optimizer/tests/unary-fixnum.rkt | 6 +++ .../optimizer/tests/unary-float.rkt | 6 +++ .../optimizer/tests/unboxed-for.rkt | 49 +++++++++++++++++++ .../tests/unboxed-let-functions1.rkt | 22 +++++++++ .../tests/unboxed-let-functions2.rkt | 28 +++++++++++ .../tests/unboxed-let-functions3.rkt | 22 +++++++++ .../tests/unboxed-let-functions4.rkt | 22 +++++++++ .../tests/unboxed-let-functions5.rkt | 11 +++++ .../tests/unboxed-let-functions6.rkt | 27 ++++++++++ .../tests/unboxed-let-functions7.rkt | 25 ++++++++++ .../tests/unboxed-let-functions8.rkt | 10 ++++ .../optimizer/tests/unboxed-let.rkt | 31 ++++++++++++ .../optimizer/tests/unboxed-let2.rkt | 24 +++++++++ .../optimizer/tests/unboxed-let3.rkt | 18 +++++++ .../tests/unboxed-letrec-syntaxes+values.rkt | 17 +++++++ .../optimizer/tests/unboxed-letrec.rkt | 22 +++++++++ .../tests/unboxed-make-rectangular.rkt | 26 ++++++++++ .../optimizer/tests/vector-length-nested.rkt | 7 +++ .../optimizer/tests/vector-length.rkt | 6 +++ .../optimizer/tests/vector-ref-set-ref.rkt | 9 ++++ .../optimizer/tests/vector-ref.rkt | 6 +++ .../optimizer/tests/vector-ref2.rkt | 6 +++ .../optimizer/tests/vector-set-quote.rkt | 5 ++ .../optimizer/tests/vector-set.rkt | 5 ++ .../optimizer/tests/vector-set2.rkt | 5 ++ .../typed-scheme/optimizer/tests/zero.rkt | 9 ++++ 94 files changed, 1080 insertions(+), 16 deletions(-) diff --git a/collects/tests/typed-scheme/optimizer/run.rkt b/collects/tests/typed-scheme/optimizer/run.rkt index bd543654..ebff7709 100644 --- a/collects/tests/typed-scheme/optimizer/run.rkt +++ b/collects/tests/typed-scheme/optimizer/run.rkt @@ -1,6 +1,8 @@ #lang racket (require racket/runtime-path racket/sandbox) +(define show-names? (make-parameter #f)) + (define prog-rx (pregexp (string-append "^\\s*" "(#lang typed/(?:scheme|racket)(?:/base)?)" @@ -18,9 +20,12 @@ (list (car (sandbox-namespace-specs)) 'typed/racket 'typed/scheme)]) - ;; drop the #lang line - (let* ([prog (file->string file)] - ;; drop the #lang line and #:optimize + ;; drop the expected log + (let* ([prog (with-input-from-file file + (lambda () + (read-line) ; drop #; + (read) ; drop expected log + (port->string)))] ; get the actual program [m (or (regexp-match-positions prog-rx prog) (error 'evaluator "bad program contents in ~e" file))] [prog (string-append (substring prog (caadr m) (cdadr m)) @@ -34,23 +39,29 @@ (define (generate-opt-log name) (parameterize ([current-load-relative-directory tests-dir] [current-command-line-arguments '#("--log-optimizations")]) - (with-output-to-string - (lambda () - (dynamic-require (build-path (current-load-relative-directory) name) - #f))))) + (let ((log-string + (with-output-to-string + (lambda () + (dynamic-require (build-path (current-load-relative-directory) + name) + #f))))) + ;; have the log as an sexp, since that's what the expected log is + (with-input-from-string (string-append "(" log-string ")") + read)))) (define (test gen) (let-values (((base name _) (split-path gen))) + (when (show-names?) (displayln 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"))))) + (with-input-from-file gen + (lambda () + (read-line) ; skip the #; + (read))))) ; get the log itself (equal? log expected)) (begin (printf "~a failed: optimization log mismatch\n\n" name) #f)) @@ -60,13 +71,20 @@ (begin (printf "~a failed: result mismatch\n\n" name) #f)))))) +(define to-run + (command-line + #:once-each + ["--show-names" "show the names of tests as they are run" (show-names? #t)] + ;; we optionally take a test name. if none is given, run everything (#f) + #:args maybe-test-to-run + (and (not (null? maybe-test-to-run)) + (car maybe-test-to-run)))) + (define-runtime-path tests-dir "./tests") (let ((n-failures - (if (> (vector-length (current-command-line-arguments)) 0) - (if (test (format "tests/~a.rkt" - (vector-ref (current-command-line-arguments) 0))) - 0 1) + (if to-run + (if (test (format "tests/~a.rkt" to-run)) 0 1) (for/fold ((n-failures 0)) ((gen (in-directory tests-dir))) (+ n-failures (if (test gen) 0 1)))))) diff --git a/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt b/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt index 19479ca7..8478d8d4 100644 --- a/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt @@ -1,3 +1,11 @@ +#; +( +apply-plus.rkt line 12 col 7 - + - apply-map +apply-plus.rkt line 13 col 7 - * - apply-map +9 +24 +) + #lang typed/racket #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt b/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt index 791e75b3..da828b4d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/begin-float.rkt @@ -1,3 +1,11 @@ +#; +( +begin-float.rkt line 12 col 8 - - - binary float +begin-float.rkt line 13 col 8 - * - binary float +-1.0 +6.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt index 3f7f72d4..31dce5f9 100644 --- a/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt @@ -1,3 +1,9 @@ +#; +( +binary-fixnum.rkt line 12 col 16 - vector-length - vector-length +binary-fixnum.rkt line 12 col 3 - bitwise-and - binary fixnum +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt index 59a38b9a..2e3ad2e7 100644 --- a/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt @@ -1,3 +1,10 @@ +#; +( +binary-nonzero-fixnum.rkt line 11 col 9 - vector-length - vector-length +binary-nonzero-fixnum.rkt line 11 col 1 - modulo - binary nonzero fixnum +1 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/box.rkt b/collects/tests/typed-scheme/optimizer/tests/box.rkt index 44dd0a01..c7c7bbb6 100644 --- a/collects/tests/typed-scheme/optimizer/tests/box.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/box.rkt @@ -1,3 +1,12 @@ +#; +( +box.rkt line 17 col 1 - unbox - box +box.rkt line 18 col 1 - set-box! - box +box.rkt line 19 col 1 - unbox - box +1 +2 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct.rkt b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct.rkt index 7b52b214..0959962c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct.rkt @@ -1,3 +1,6 @@ +#; +() + #lang typed/scheme #:optimize ;; will be imported by cross-module-struct2 diff --git a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt index 45a1696e..b9255c56 100644 --- a/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt @@ -1,3 +1,9 @@ +#; +( +cross-module-struct2.rkt line 11 col 1 - x-x - struct ref +1 +) + #lang typed/scheme #:optimize (require (file "cross-module-struct.rkt") racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt index 9ec67d3d..ad1fcb95 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-else.rkt @@ -1,3 +1,12 @@ +#; +( +#f line #f col #f - op - dead else branch +dead-else.rkt line 14 col 14 - + - binary float +#f line #f col #f - op - dead else branch +dead-else.rkt line 17 col 14 - + - binary float +5.05.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-substructs.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-substructs.rkt index 796076c4..638a5cf0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-substructs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-substructs.rkt @@ -1,3 +1,9 @@ +#; +( +1 +2 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt b/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt index ddcf70e5..86b40211 100644 --- a/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/dead-then.rkt @@ -1,3 +1,12 @@ +#; +( +#f line #f col #f - op - dead then branch +dead-then.rkt line 15 col 14 - + - binary float +#f line #f col #f - op - dead then branch +dead-then.rkt line 18 col 14 - + - binary float +9.09.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt index 6c214e4b..f6d0b6f7 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt @@ -1,3 +1,10 @@ +#; +( +define-begin-float.rkt line 11 col 27 - - - binary float +define-begin-float.rkt line 12 col 18 - * - binary float +-1.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt index 0b0b3112..0aa84331 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt @@ -1,3 +1,8 @@ +#; +( +define-call-float.rkt line 9 col 17 - + - binary float +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-float.rkt b/collects/tests/typed-scheme/optimizer/tests/define-float.rkt index fb4e85ec..9113cefa 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-float.rkt @@ -1,3 +1,8 @@ +#; +( +define-float.rkt line 9 col 11 - + - binary float +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt index f32efdc1..379dcf8c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/define-pair.rkt @@ -1,3 +1,8 @@ +#; +( +define-pair.rkt line 9 col 11 - car - unary pair +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/different-langs.rkt b/collects/tests/typed-scheme/optimizer/tests/different-langs.rkt index 2d52084c..cee704bb 100644 --- a/collects/tests/typed-scheme/optimizer/tests/different-langs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/different-langs.rkt @@ -1,3 +1,8 @@ +#; +( +3 +) + #lang typed/scheme #:optimize ;; to see if the harness supports having the 2 versions of a test being diff --git a/collects/tests/typed-scheme/optimizer/tests/double-float.rkt b/collects/tests/typed-scheme/optimizer/tests/double-float.rkt index a46f1de8..a6400339 100644 --- a/collects/tests/typed-scheme/optimizer/tests/double-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/double-float.rkt @@ -1,3 +1,9 @@ +#; +( +double-float.rkt line 10 col 1 - + - binary float +6.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt index 66b5cd34..d3382c3a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt @@ -1,3 +1,9 @@ +#; +( +exact-inexact.rkt line 10 col 1 - exact->inexact - int to float +1e+100 +) + #lang typed/scheme #:optimize (require racket/flonum) diff --git a/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt b/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt index 9f959d12..53384429 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt @@ -1,3 +1,11 @@ +#; +( +fixnum-comparison.rkt line 12 col 4 - vector-length - vector-length +#f line #f col #f - op - string-length +fixnum-comparison.rkt line 12 col 1 - < - binary fixnum +#t +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt b/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt index 2d67b7ec..6cd3e00c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-comp.rkt @@ -1,3 +1,9 @@ +#; +( +float-comp.rkt line 10 col 1 - < - binary float comp +#t +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt b/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt index 4aaa4a1e..0a20f92c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-fun.rkt @@ -1,3 +1,8 @@ +#; +( +float-fun.rkt line 12 col 3 - + - binary float +) + #lang typed/racket #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt index c3fda6ea..64138644 100644 --- a/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt @@ -1,3 +1,12 @@ +#; +( +float-promotion.rkt line 13 col 4 - modulo - binary nonzero fixnum +float-promotion.rkt line 13 col 1 - + - binary float +float-promotion.rkt line 14 col 1 - + - binary float +2.0 +1e+200 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops racket/flonum) diff --git a/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt index 35af6f4f..2cfe1cd1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt @@ -1,3 +1,9 @@ +#; +( +flvector-length.rkt line 10 col 1 - flvector-length - flvector-length +2 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops racket/flonum) diff --git a/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt b/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt index f72ed808..7fac058b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt @@ -1,3 +1,9 @@ +#; +( +fx-fl.rkt line 10 col 1 - exact->inexact - fixnum to float +1.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt index 3ee63e31..5c5d8ba0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt @@ -1,3 +1,21 @@ +#; +( +#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 22 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 22 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) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt index 4aec40c8..eaca57ac 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-list.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-list.rkt @@ -1,3 +1,21 @@ +#; +( +#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 22 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 22 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) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt index 4b0bc6f2..5622cbea 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-string.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-string.rkt @@ -1,3 +1,21 @@ +#; +( +#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 22 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 22 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) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt index c86d3f32..333debdd 100644 --- a/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/in-vector.rkt @@ -1,3 +1,21 @@ +#; +( +#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 22 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 22 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) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-binary-nonzero-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-binary-nonzero-fixnum.rkt index 389c47d4..d4090067 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-binary-nonzero-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-binary-nonzero-fixnum.rkt @@ -1,3 +1,6 @@ +#; +() + #lang typed/scheme #:optimize (: f ( -> Void)) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt index be9df5ae..283a9c37 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt @@ -1,3 +1,9 @@ +#; +( +invalid-exact-inexact.rkt line 9 col 1 - exact->inexact - float to float +1.0 +) + #lang typed/scheme #:optimize (exact->inexact 1.0) ; not an integer, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt index 058e9568..1de1b624 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt @@ -1,3 +1,8 @@ +#; +( +#t +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt index ef72d390..5a2588a8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt @@ -1,3 +1,8 @@ +#; +( +0.5 +) + #lang typed/scheme #:optimize (/ 1 2.0) ; result is not a float, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-inexact-complex-parts.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-inexact-complex-parts.rkt index 6a3345d3..3a8bad9e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-inexact-complex-parts.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-inexact-complex-parts.rkt @@ -1,3 +1,8 @@ +#; +( +1 +) + #lang typed/scheme #:optimize (real-part 1+2i) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-make-flrectangular.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-make-flrectangular.rkt index 45995fcc..607b0d4a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-make-flrectangular.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-make-flrectangular.rkt @@ -1,3 +1,8 @@ +#; +( +1+2i +) + #lang typed/scheme #:optimize (make-rectangular 1 2) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-make-polar.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-make-polar.rkt index cd94a758..4c3b0d1d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-make-polar.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-make-polar.rkt @@ -1,3 +1,8 @@ +#; +( +0 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt index 54fd281b..3d2995ba 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-mpair.rkt @@ -1,3 +1,6 @@ +#; +() + #lang typed/scheme #:optimize (: f ((MListof Integer) -> Integer)) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt index bd4182fa..2f9bb37a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-sqrt.rkt @@ -1,3 +1,8 @@ +#; +( +0+1.4142135623730951i +) + #lang typed/scheme #:optimize (sqrt -2.0) ; not a nonnegative flonum, can't optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt index 532ea426..afc7c9e6 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let.rkt @@ -1,3 +1,31 @@ +#; +( +invalid-unboxed-let.rkt line 38 col 14 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 38 col 17 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 38 col 12 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 38 col 11 - (#%app + t1 t1) - unboxed inexact complex +invalid-unboxed-let.rkt line 38 col 14 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 38 col 17 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 38 col 12 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 38 col 11 - (#%app + t1 t1) - unboxed inexact complex +invalid-unboxed-let.rkt line 38 col 14 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 38 col 17 - t1 - unbox inexact-complex +invalid-unboxed-let.rkt line 38 col 12 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 38 col 11 - (#%app + t1 t1) - unboxed inexact complex +invalid-unboxed-let.rkt line 34 col 13 - 1.0+2.0i - unboxed literal +invalid-unboxed-let.rkt line 34 col 22 - 2.0+4.0i - unboxed literal +invalid-unboxed-let.rkt line 34 col 11 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 35 col 13 - 3.0+6.0i - unboxed literal +invalid-unboxed-let.rkt line 35 col 22 - 4.0+8.0i - unboxed literal +invalid-unboxed-let.rkt line 35 col 11 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 35 col 10 - (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) - unboxed inexact complex +invalid-unboxed-let.rkt line 34 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 38 col 14 - t1 - leave var unboxed +invalid-unboxed-let.rkt line 38 col 17 - t1 - leave var unboxed +invalid-unboxed-let.rkt line 38 col 12 - + - unboxed binary inexact complex +invalid-unboxed-let.rkt line 38 col 11 - (#%app + t1 t1) - unboxed inexact complex +6.0+12.0i7.0+14.0i1.0+2.0i1) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt index 2d4b6144..8875971b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-unboxed-let2.rkt @@ -1,3 +1,21 @@ +#; +( +invalid-unboxed-let2.rkt line 25 col 33 - 1.0+2.0i - unboxed literal +invalid-unboxed-let2.rkt line 25 col 42 - 2.0+4.0i - unboxed literal +invalid-unboxed-let2.rkt line 25 col 31 - + - unboxed binary inexact complex +invalid-unboxed-let2.rkt line 25 col 30 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +invalid-unboxed-let2.rkt line 25 col 55 - 3.0+6.0i - unboxed literal +invalid-unboxed-let2.rkt line 25 col 64 - 4.0+8.0i - unboxed literal +invalid-unboxed-let2.rkt line 25 col 53 - + - unboxed binary inexact complex +invalid-unboxed-let2.rkt line 25 col 52 - (#%app + (quote 3.0+6.0i) (quote 4.0+8.0i)) - unboxed inexact complex +invalid-unboxed-let2.rkt line 25 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 26 col 5 - t1 - unbox inexact-complex +invalid-unboxed-let2.rkt line 26 col 8 - t2 - unbox inexact-complex +invalid-unboxed-let2.rkt line 26 col 3 - + - unboxed binary inexact complex +invalid-unboxed-let2.rkt line 26 col 2 - (#%app + t1 t2) - unboxed inexact complex +10.0+20.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-vector-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-vector-ref.rkt index d0a39f04..2bc6634e 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-vector-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-vector-ref.rkt @@ -1,3 +1,6 @@ +#; +() + #lang typed/scheme #:optimize (: f ((Vectorof Integer) -> Integer)) diff --git a/collects/tests/typed-scheme/optimizer/tests/invalid-vector-set.rkt b/collects/tests/typed-scheme/optimizer/tests/invalid-vector-set.rkt index 391b1940..75abb3b6 100644 --- a/collects/tests/typed-scheme/optimizer/tests/invalid-vector-set.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/invalid-vector-set.rkt @@ -1,3 +1,6 @@ +#; +() + #lang typed/scheme #:optimize (: f ((Vectorof Integer) -> Void)) diff --git a/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt index 08483637..97f4c295 100644 --- a/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/known-vector-length.rkt @@ -1,3 +1,10 @@ +#; +( +known-vector-length.rkt line 11 col 6 - vector-length - known-length vector-length +known-vector-length.rkt line 11 col 6 - vector-length - known-length vector-length +4 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/let-float.rkt b/collects/tests/typed-scheme/optimizer/tests/let-float.rkt index bfc23b14..e598b836 100644 --- a/collects/tests/typed-scheme/optimizer/tests/let-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/let-float.rkt @@ -1,3 +1,11 @@ +#; +( +let-float.rkt line 12 col 10 - + - binary float +let-float.rkt line 12 col 0 - (let-values (((x) (#%app + (quote 3.0) (quote 2.0)))) (#%app * (quote 9.0) x)) - unboxed let bindings +let-float.rkt line 13 col 3 - * - binary float +45.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt b/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt index d93d5c2a..ec49c5d4 100644 --- a/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/let-rhs.rkt @@ -1,3 +1,10 @@ +#; +( +let-rhs.rkt line 13 col 10 - + - binary float +let-rhs.rkt line 13 col 0 - (let-values (((x) (#%app + (quote 1.0) (quote 2.0)))) x) - unboxed let bindings +3.0 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt b/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt index 8cd8fd7d..eb246d7a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/literal-int.rkt @@ -1,3 +1,10 @@ +#; +( +literal-int.rkt line 13 col 1 - + - binary float +3.0 +1 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt b/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt index 1ba1330b..42d8cd82 100644 --- a/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/magnitude.rkt @@ -1,6 +1,14 @@ +#; +( +magnitude.rkt line 14 col 11 - 3.0+4.0i - unboxed literal +magnitude.rkt line 14 col 1 - magnitude - unboxed unary inexact complex +magnitude.rkt line 14 col 0 - (#%app magnitude (quote 3.0+4.0i)) - unboxed inexact complex->float +5.0 +) + #lang typed/racket/base #:optimize (require racket/unsafe/ops) -(magnitude 3.0+4.0i) \ No newline at end of file +(magnitude 3.0+4.0i) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt b/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt index 130f19d6..05a40978 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-flrectangular.rkt @@ -1,3 +1,11 @@ +#; +( +make-flrectangular.rkt line 12 col 1 - make-rectangular - binary float comp +make-flrectangular.rkt line 13 col 1 - make-flrectangular - binary float comp +1.0+2.2i +1.0+2.2i +) + #lang typed/scheme #:optimize (require racket/unsafe/ops racket/flonum) diff --git a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt index 5a0600e0..0497eab5 100644 --- a/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/make-polar.rkt @@ -1,3 +1,24 @@ +#; +( +make-polar.rkt line 28 col 1 - make-polar - make-rectangular elimination +make-polar.rkt line 28 col 1 - make-polar - make-polar +make-polar.rkt line 32 col 50 - p - unbox inexact-complex +make-polar.rkt line 32 col 40 - real-part - unboxed unary inexact complex +make-polar.rkt line 32 col 39 - (#%app real-part p) - unboxed inexact complex->float +make-polar.rkt line 31 col 12 - 1.0+2.0i - unboxed literal +make-polar.rkt line 31 col 22 - make-polar - make-rectangular elimination +make-polar.rkt line 31 col 10 - + - unboxed binary inexact complex +make-polar.rkt line 31 col 0 - (let-values (((p) (#%app + (quote 1.0+2.0i) (#%app make-polar (quote 2.0) (quote 4.0))))) (#%app string-append (#%app real->decimal-string (#%app real-part p) (quote 10)) (#%app real->decimal-string (#%app imag-part p) (quote 10)))) - unboxed let bindings +make-polar.rkt line 32 col 50 - p - unboxed complex variable +make-polar.rkt line 32 col 50 - p - leave var unboxed +make-polar.rkt line 32 col 40 - real-part - unboxed inexact complex +make-polar.rkt line 33 col 50 - p - unboxed complex variable +make-polar.rkt line 33 col 50 - p - leave var unboxed +make-polar.rkt line 33 col 40 - imag-part - unboxed inexact complex +0.5403023058681398+0.8414709848078965i +"-0.30728724170.4863950094" +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt b/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt index fdf7e3a6..dc3170dc 100644 --- a/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/maybe-exact-complex.rkt @@ -1,3 +1,12 @@ +#; +( +maybe-exact-complex.rkt line 15 col 3 - 1.0+2.0i - unboxed literal +maybe-exact-complex.rkt line 15 col 12 - 2+4i - unboxed literal +maybe-exact-complex.rkt line 15 col 1 - + - unboxed binary inexact complex +maybe-exact-complex.rkt line 15 col 0 - (#%app + (quote 1.0+2.0i) (quote 2+4i)) - unboxed inexact complex +3.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt index 5734c82b..c357473b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/mpair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/mpair.rkt @@ -1,3 +1,15 @@ +#; +( +mpair.rkt line 18 col 1 - mcar - mutable pair +mpair.rkt line 19 col 1 - mcdr - mutable pair +mpair.rkt line 20 col 1 - set-mcar! - mutable pair +mpair.rkt line 21 col 1 - set-mcdr! - mutable pair +mpair.rkt line 21 col 14 - + - binary float +mpair.rkt line 27 col 7 - mcar - mutable pair +1 +1.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt b/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt index d93384be..b2b8515f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/n-ary-float.rkt @@ -1,3 +1,9 @@ +#; +( +n-ary-float.rkt line 10 col 1 - + - binary float +6.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt index 290db71b..e2dee886 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float.rkt @@ -1,3 +1,10 @@ +#; +( +nested-float.rkt line 11 col 8 - + - binary float +nested-float.rkt line 11 col 1 - + - binary float +9.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt index ec44730a..cc3d59b9 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-float2.rkt @@ -1,3 +1,10 @@ +#; +( +nested-float2.rkt line 11 col 8 - * - binary float +nested-float2.rkt line 11 col 1 - + - binary float +14.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt index 0a8dfc63..92f40326 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-let-loop.rkt @@ -1,3 +1,46 @@ +#; +( +nested-let-loop.rkt line 58 col 38 - r - unbox inexact-complex +nested-let-loop.rkt line 58 col 40 - s - unbox inexact-complex +nested-let-loop.rkt line 58 col 36 - + - unboxed binary inexact complex +nested-let-loop.rkt line 58 col 35 - (#%app + r s) - unboxed inexact complex +nested-let-loop.rkt line 51 col 8 - r - unboxed var -> table +nested-let-loop.rkt line 49 col 6 - loop1 - unboxed function -> table +nested-let-loop.rkt line 49 col 6 - loop1 - fun -> unboxed fun +nested-let-loop.rkt line 53 col 10 - r - unboxed complex variable +nested-let-loop.rkt line 58 col 38 - r - leave var unboxed +nested-let-loop.rkt line 58 col 40 - s - unbox inexact-complex +nested-let-loop.rkt line 58 col 36 - + - unboxed binary inexact complex +nested-let-loop.rkt line 58 col 35 - (#%app + r s) - unboxed inexact complex +nested-let-loop.rkt line 56 col 18 - s - unboxed var -> table +nested-let-loop.rkt line 54 col 16 - loop2 - unboxed function -> table +nested-let-loop.rkt line 54 col 16 - loop2 - fun -> unboxed fun +nested-let-loop.rkt line 58 col 38 - r - leave var unboxed +nested-let-loop.rkt line 58 col 40 - s - leave var unboxed +nested-let-loop.rkt line 58 col 36 - + - unboxed binary inexact complex +nested-let-loop.rkt line 58 col 21 - loop1 - unboxed call site +nested-let-loop.rkt line 58 col 28 - cdr - unary pair +nested-let-loop.rkt line 58 col 21 - loop1 - call to fun with unboxed args +nested-let-loop.rkt line 59 col 38 - s - leave var unboxed +nested-let-loop.rkt line 59 col 40 - (#%app car x) - unbox inexact-complex +nested-let-loop.rkt line 59 col 41 - car - unary pair +nested-let-loop.rkt line 59 col 48 - (#%app car y) - unbox inexact-complex +nested-let-loop.rkt line 59 col 49 - car - unary pair +nested-let-loop.rkt line 59 col 36 - + - unboxed binary inexact complex +nested-let-loop.rkt line 59 col 21 - loop2 - unboxed call site +nested-let-loop.rkt line 59 col 28 - cdr - unary pair +nested-let-loop.rkt line 59 col 21 - loop2 - call to fun with unboxed args +#f line #f col #f - (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) - unboxed let bindings +nested-let-loop.rkt line 56 col 38 - 0.0+0.0i - unboxed literal +#f line #f col #f - (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) - unboxed call site +nested-let-loop.rkt line 54 col 16 - loop2 - unboxed let loop +#f line #f col #f - (letrec-values (((loop1) (lambda (x r) (if (#%app null? x) r (#%app (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) (quote (3.0+6.0i 4.0+8.0i)) (quote 0.0+0.0i)))))) loop1) - unboxed let bindings +nested-let-loop.rkt line 51 col 28 - 0.0+0.0i - unboxed literal +#f line #f col #f - (letrec-values (((loop1) (lambda (x r) (if (#%app null? x) r (#%app (letrec-values (((loop2) (lambda (y s) (if (#%app null? y) (#%app loop1 (#%app cdr x) (#%app + r s)) (#%app loop2 (#%app cdr y) (#%app + s (#%app car x) (#%app car y))))))) loop2) (quote (3.0+6.0i 4.0+8.0i)) (quote 0.0+0.0i)))))) loop1) - unboxed call site +nested-let-loop.rkt line 49 col 6 - loop1 - unboxed let loop +20.0+40.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt index bfe2d3c3..f7670a0b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-pair1.rkt @@ -1,3 +1,10 @@ +#; +( +nested-pair1.rkt line 11 col 6 - cdr - unary pair +nested-pair1.rkt line 11 col 1 - car - unary pair +2 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt index 15baf314..651a4d5f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-pair2.rkt @@ -1,3 +1,10 @@ +#; +( +nested-pair2.rkt line 11 col 6 - cdr - unary pair +nested-pair2.rkt line 11 col 1 - car - unary pair +'(2) +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt index 9d1529e4..f41eb3ce 100644 --- a/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/nested-unboxed-let.rkt @@ -1,3 +1,28 @@ +#; +( +nested-unboxed-let.rkt line 32 col 14 - x - unbox inexact-complex +nested-unboxed-let.rkt line 32 col 16 - 2.0+3.0i - unboxed literal +nested-unboxed-let.rkt line 32 col 12 - + - unboxed binary inexact complex +nested-unboxed-let.rkt line 32 col 11 - (#%app + x (quote 2.0+3.0i)) - unboxed inexact complex +nested-unboxed-let.rkt line 31 col 12 - 1.0+2.0i - unboxed literal +nested-unboxed-let.rkt line 31 col 21 - 2.0+3.0i - unboxed literal +nested-unboxed-let.rkt line 31 col 10 - + - unboxed binary inexact complex +nested-unboxed-let.rkt line 31 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 33 col 7 - x - unbox inexact-complex +nested-unboxed-let.rkt line 33 col 9 - 3.0+6.0i - unboxed literal +nested-unboxed-let.rkt line 33 col 5 - + - unboxed binary inexact complex +nested-unboxed-let.rkt line 33 col 4 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex +nested-unboxed-let.rkt line 32 col 14 - x - leave var unboxed +nested-unboxed-let.rkt line 32 col 16 - 2.0+3.0i - unboxed literal +nested-unboxed-let.rkt line 32 col 12 - + - unboxed binary inexact complex +nested-unboxed-let.rkt line 32 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 33 col 7 - x - leave var unboxed +nested-unboxed-let.rkt line 33 col 9 - 3.0+6.0i - unboxed literal +nested-unboxed-let.rkt line 33 col 5 - + - unboxed binary inexact complex +nested-unboxed-let.rkt line 33 col 4 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex +8.0+14.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt b/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt index 686ca154..9b06cbd8 100644 --- a/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/one-arg-arith.rkt @@ -1,3 +1,37 @@ +#; +( +one-arg-arith.rkt line 40 col 1 - - - unary fixnum +one-arg-arith.rkt line 41 col 1 - - - unary float +one-arg-arith.rkt line 42 col 1 - / - unary float +one-arg-arith.rkt line 44 col 1 - + - unary number +one-arg-arith.rkt line 45 col 1 - + - unary number +one-arg-arith.rkt line 46 col 1 - + - unary number +one-arg-arith.rkt line 47 col 1 - * - unary number +one-arg-arith.rkt line 48 col 1 - * - unary number +one-arg-arith.rkt line 49 col 1 - * - unary number +one-arg-arith.rkt line 50 col 1 - min - unary number +one-arg-arith.rkt line 51 col 1 - min - unary number +one-arg-arith.rkt line 52 col 1 - min - unary number +one-arg-arith.rkt line 53 col 1 - max - unary number +one-arg-arith.rkt line 54 col 1 - max - unary number +one-arg-arith.rkt line 55 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 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt b/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt index 505f290c..35d88957 100644 --- a/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/pair-fun.rkt @@ -1,3 +1,8 @@ +#; +( +pair-fun.rkt line 13 col 7 - car - unary pair +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/quote.rkt b/collects/tests/typed-scheme/optimizer/tests/quote.rkt index cedbcaf9..a8be9955 100644 --- a/collects/tests/typed-scheme/optimizer/tests/quote.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/quote.rkt @@ -1,3 +1,8 @@ +#; +( +'(+ 1.0 2.0) +) + #lang typed/scheme #:optimize '(+ 1.0 2.0) diff --git a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt index adf87802..b39c9d8d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/real-part-loop.rkt @@ -1,3 +1,27 @@ +#; +( +real-part-loop.rkt line 32 col 20 - v - unbox inexact-complex +real-part-loop.rkt line 32 col 10 - real-part - unboxed unary inexact complex +real-part-loop.rkt line 32 col 9 - (#%app real-part v) - unboxed inexact complex->float +real-part-loop.rkt line 31 col 13 - v - unboxed var -> table +real-part-loop.rkt line 31 col 6 - loop - unboxed function -> table +real-part-loop.rkt line 31 col 6 - loop - fun -> unboxed fun +real-part-loop.rkt line 32 col 20 - v - unboxed complex variable +real-part-loop.rkt line 32 col 20 - v - leave var unboxed +real-part-loop.rkt line 32 col 10 - real-part - unboxed inexact complex +real-part-loop.rkt line 32 col 7 - > - binary float comp +real-part-loop.rkt line 34 col 15 - v - leave var unboxed +real-part-loop.rkt line 34 col 17 - (quote 3.6) - float-coerce-expr in complex ops +real-part-loop.rkt line 34 col 13 - + - unboxed binary inexact complex +real-part-loop.rkt line 34 col 7 - loop - unboxed call site +real-part-loop.rkt line 34 col 7 - loop - call to fun with unboxed args +real-part-loop.rkt line 31 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 31 col 15 - 0.0+1.0i - unboxed literal +real-part-loop.rkt line 31 col 1 - (letrec-values (((loop) (lambda (v) (if (#%app > (#%app real-part v) (quote 70000.2)) (quote 0) (#%app loop (#%app + v (quote 3.6))))))) loop) - unboxed call site +real-part-loop.rkt line 31 col 6 - loop - unboxed let loop +0 +) + #lang typed/racket/base #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt b/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt index 850c34c9..8d761f47 100644 --- a/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/simple-float.rkt @@ -1,3 +1,9 @@ +#; +( +simple-float.rkt line 10 col 1 - + - binary float +5.0 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt b/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt index b7020283..404b1377 100644 --- a/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/simple-pair.rkt @@ -1,3 +1,9 @@ +#; +( +simple-pair.rkt line 10 col 1 - car - unary pair +1 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt index af42b1ff..a67456db 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt-segfault.rkt @@ -1,3 +1,13 @@ +#; +( +sqrt-segfault.rkt line 22 col 15 - - - binary float +sqrt-segfault.rkt line 22 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 23 col 15 - * - binary float +sqrt-segfault.rkt line 22 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 24 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 22 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 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt b/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt index 9ff52d70..3f643706 100644 --- a/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/sqrt.rkt @@ -1,3 +1,8 @@ +#; +( +sqrt.rkt line 11 col 3 - sqrt - unary float +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/string-length.rkt b/collects/tests/typed-scheme/optimizer/tests/string-length.rkt index b3053d04..32c2df80 100644 --- a/collects/tests/typed-scheme/optimizer/tests/string-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/string-length.rkt @@ -1,3 +1,11 @@ +#; +( +#f line #f col #f - op - string-length +#f line #f col #f - op - bytes-length +2 +2 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/structs.rkt b/collects/tests/typed-scheme/optimizer/tests/structs.rkt index 7ea3763b..190b5904 100644 --- a/collects/tests/typed-scheme/optimizer/tests/structs.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/structs.rkt @@ -1,3 +1,10 @@ +#; +( +structs.rkt line 13 col 1 - pt-x - struct ref +structs.rkt line 14 col 1 - set-pt-y! - struct set +3 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt index 054dcc37..1bd5f21b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum-nested.rkt @@ -1,3 +1,10 @@ +#; +( +unary-fixnum-nested.rkt line 11 col 6 - bitwise-not - unary fixnum +unary-fixnum-nested.rkt line 11 col 1 - abs - unary fixnum +4 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops racket/fixnum) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt index c6183cbe..b5c321c4 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-fixnum.rkt @@ -1,3 +1,9 @@ +#; +( +unary-fixnum.rkt line 10 col 1 - bitwise-not - unary fixnum +-5 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt b/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt index 0f9075a0..59bccafd 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unary-float.rkt @@ -1,3 +1,9 @@ +#; +( +unary-float.rkt line 10 col 1 - sin - unary float +0.9092974268256817 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt index ebc3fc37..71960a72 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt @@ -1,3 +1,52 @@ +#; +( +#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 57 col 9 - i - unbox inexact-complex +unboxed-for.rkt line 57 col 11 - sum - unbox inexact-complex +unboxed-for.rkt line 57 col 7 - + - unboxed binary inexact complex +unboxed-for.rkt line 57 col 6 - (#%app + i sum) - unboxed inexact complex +unboxed-for.rkt line 57 col 9 - i - unbox inexact-complex +unboxed-for.rkt line 57 col 11 - sum - unbox inexact-complex +unboxed-for.rkt line 57 col 7 - + - unboxed binary inexact complex +unboxed-for.rkt line 57 col 6 - (#%app + i sum) - unboxed inexact complex +unboxed-for.rkt line 55 col 31 - sum - unboxed var -> table +#f line #f col #f - for-loop - unboxed function -> table +#f line #f col #f - for-loop - fun -> unboxed fun +unboxed-for.rkt line 55 col 31 - sum - unboxed complex variable +unboxed-for.rkt line 57 col 9 - i - unbox inexact-complex +unboxed-for.rkt line 57 col 11 - sum - unbox inexact-complex +unboxed-for.rkt line 57 col 7 - + - unboxed binary inexact complex +unboxed-for.rkt line 57 col 6 - (#%app + i sum) - unboxed inexact complex +#f line #f col #f - (#%app pos->vals pos) - unbox inexact-complex +#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings +unboxed-for.rkt line 56 col 13 - i - unboxed complex variable +unboxed-for.rkt line 56 col 13 - i - unboxed complex variable +unboxed-for.rkt line 57 col 9 - i - leave var unboxed +unboxed-for.rkt line 57 col 11 - sum - unbox inexact-complex +unboxed-for.rkt line 57 col 7 - + - unboxed binary inexact complex +unboxed-for.rkt line 57 col 6 - (#%app + i sum) - unboxed inexact complex +unboxed-for.rkt line 55 col 31 - sum - leave var unboxed +#f line #f col #f - (let-values (((sum) sum)) (let-values () (#%app + i sum))) - unboxed let bindings +#f line #f col #f - (let-values () (#%app + i sum)) - unboxed let bindings +unboxed-for.rkt line 57 col 9 - i - leave var unboxed +unboxed-for.rkt line 57 col 11 - sum - leave var unboxed +unboxed-for.rkt line 57 col 7 - + - unboxed binary inexact complex +unboxed-for.rkt line 57 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 56 col 13 - i - unboxed complex variable +unboxed-for.rkt line 55 col 31 - sum - unbox inexact-complex +#f line #f col #f - for-loop - unboxed call site +#f line #f col #f - for-loop - call to fun with unboxed args +unboxed-for.rkt line 55 col 31 - sum - unboxed complex variable +unboxed-for.rkt line 55 col 31 - sum - unboxed complex variable +unboxed-for.rkt line 55 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 55 col 53 - 0.0+0.0i - unboxed literal +unboxed-for.rkt line 55 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%app pos-cont? pos) (let-values (((i) (#%app pos->vals pos))) (if (#%app val-cont? i) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%app all-cont? pos i) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site +#f line #f col #f - for-loop - unboxed let loop +3.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt index ae8623a4..41b456b1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions1.rkt @@ -1,3 +1,25 @@ +#; +( +unboxed-let-functions1.rkt line 29 col 45 - x - unbox inexact-complex +unboxed-let-functions1.rkt line 29 col 47 - 3.0+6.0i - unboxed literal +unboxed-let-functions1.rkt line 29 col 43 - + - unboxed binary inexact complex +unboxed-let-functions1.rkt line 29 col 42 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex +unboxed-let-functions1.rkt line 29 col 20 - x - unboxed var -> table +unboxed-let-functions1.rkt line 29 col 7 - f - unboxed function -> table +unboxed-let-functions1.rkt line 29 col 7 - f - fun -> unboxed fun +unboxed-let-functions1.rkt line 29 col 45 - x - leave var unboxed +unboxed-let-functions1.rkt line 29 col 47 - 3.0+6.0i - unboxed literal +unboxed-let-functions1.rkt line 29 col 43 - + - unboxed binary inexact complex +unboxed-let-functions1.rkt line 29 col 42 - (#%app + x (quote 3.0+6.0i)) - unboxed inexact complex +unboxed-let-functions1.rkt line 29 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 30 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions1.rkt line 30 col 17 - 2.0+4.0i - unboxed literal +unboxed-let-functions1.rkt line 30 col 6 - + - unboxed binary inexact complex +unboxed-let-functions1.rkt line 30 col 3 - f - unboxed call site +unboxed-let-functions1.rkt line 30 col 3 - f - call to fun with unboxed args +6.0+12.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt index 1b2b401f..a6040a56 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions2.rkt @@ -1,3 +1,31 @@ +#; +( +unboxed-let-functions2.rkt line 36 col 21 - x - unbox inexact-complex +unboxed-let-functions2.rkt line 36 col 23 - y - unbox inexact-complex +unboxed-let-functions2.rkt line 36 col 19 - + - unboxed binary inexact complex +unboxed-let-functions2.rkt line 36 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions2.rkt line 35 col 20 - x - unboxed var -> table +unboxed-let-functions2.rkt line 36 col 21 - x - unbox inexact-complex +unboxed-let-functions2.rkt line 36 col 23 - y - unbox inexact-complex +unboxed-let-functions2.rkt line 36 col 19 - + - unboxed binary inexact complex +unboxed-let-functions2.rkt line 36 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions2.rkt line 35 col 42 - y - unboxed var -> table +unboxed-let-functions2.rkt line 35 col 7 - f - unboxed function -> table +unboxed-let-functions2.rkt line 35 col 7 - f - fun -> unboxed fun +unboxed-let-functions2.rkt line 36 col 21 - x - leave var unboxed +unboxed-let-functions2.rkt line 36 col 23 - y - leave var unboxed +unboxed-let-functions2.rkt line 36 col 19 - + - unboxed binary inexact complex +unboxed-let-functions2.rkt line 36 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions2.rkt line 35 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 37 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions2.rkt line 37 col 17 - 2.0+4.0i - unboxed literal +unboxed-let-functions2.rkt line 37 col 6 - + - unboxed binary inexact complex +unboxed-let-functions2.rkt line 38 col 5 - 3.0+6.0i - unboxed literal +unboxed-let-functions2.rkt line 37 col 3 - f - unboxed call site +unboxed-let-functions2.rkt line 37 col 3 - f - call to fun with unboxed args +6.0+12.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt index 32a0c2d8..2e5a90f2 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions3.rkt @@ -1,3 +1,25 @@ +#; +( +unboxed-let-functions3.rkt line 30 col 21 - x - unbox inexact-complex +unboxed-let-functions3.rkt line 30 col 23 - y - float-coerce-expr in complex ops +unboxed-let-functions3.rkt line 30 col 19 - + - unboxed binary inexact complex +unboxed-let-functions3.rkt line 30 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions3.rkt line 29 col 20 - x - unboxed var -> table +unboxed-let-functions3.rkt line 29 col 7 - f - unboxed function -> table +unboxed-let-functions3.rkt line 29 col 7 - f - fun -> unboxed fun +unboxed-let-functions3.rkt line 30 col 21 - x - leave var unboxed +unboxed-let-functions3.rkt line 30 col 23 - y - float-coerce-expr in complex ops +unboxed-let-functions3.rkt line 30 col 19 - + - unboxed binary inexact complex +unboxed-let-functions3.rkt line 30 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions3.rkt line 29 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 31 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions3.rkt line 31 col 17 - 2.0+4.0i - unboxed literal +unboxed-let-functions3.rkt line 31 col 6 - + - unboxed binary inexact complex +unboxed-let-functions3.rkt line 31 col 3 - f - unboxed call site +unboxed-let-functions3.rkt line 31 col 3 - f - call to fun with unboxed args +6.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt index ec577333..bc294048 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions4.rkt @@ -1,3 +1,25 @@ +#; +( +unboxed-let-functions4.rkt line 30 col 21 - x - unbox inexact-complex +unboxed-let-functions4.rkt line 30 col 23 - y - float-coerce-expr in complex ops +unboxed-let-functions4.rkt line 30 col 19 - + - unboxed binary inexact complex +unboxed-let-functions4.rkt line 30 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions4.rkt line 29 col 32 - x - unboxed var -> table +unboxed-let-functions4.rkt line 29 col 7 - f - unboxed function -> table +unboxed-let-functions4.rkt line 29 col 7 - f - fun -> unboxed fun +unboxed-let-functions4.rkt line 30 col 21 - x - leave var unboxed +unboxed-let-functions4.rkt line 30 col 23 - y - float-coerce-expr in complex ops +unboxed-let-functions4.rkt line 30 col 19 - + - unboxed binary inexact complex +unboxed-let-functions4.rkt line 30 col 18 - (#%app + x y) - unboxed inexact complex +unboxed-let-functions4.rkt line 29 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 32 col 8 - 1.0+2.0i - unboxed literal +unboxed-let-functions4.rkt line 32 col 17 - 2.0+4.0i - unboxed literal +unboxed-let-functions4.rkt line 32 col 6 - + - unboxed binary inexact complex +unboxed-let-functions4.rkt line 31 col 3 - f - unboxed call site +unboxed-let-functions4.rkt line 31 col 3 - f - call to fun with unboxed args +6.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt index fb5da8d2..0b14144b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions5.rkt @@ -1,3 +1,14 @@ +#; +( +unboxed-let-functions5.rkt line 20 col 22 - (let-values (((y) f)) x) - unboxed let bindings +unboxed-let-functions5.rkt line 18 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 22 col 15 - 1.0+2.0i - unboxed literal +unboxed-let-functions5.rkt line 22 col 24 - 2.0+4.0i - unboxed literal +unboxed-let-functions5.rkt line 22 col 13 - + - unboxed binary inexact complex +unboxed-let-functions5.rkt line 22 col 12 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex +3.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt index 31fae6f1..6bac579c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions6.rkt @@ -1,3 +1,30 @@ +#; +( +unboxed-let-functions6.rkt line 36 col 13 - z - unbox inexact-complex +unboxed-let-functions6.rkt line 36 col 15 - 0.0+1.0i - unboxed literal +unboxed-let-functions6.rkt line 36 col 11 - + - unboxed binary inexact complex +unboxed-let-functions6.rkt line 36 col 10 - (#%app + z (quote 0.0+1.0i)) - unboxed inexact complex +unboxed-let-functions6.rkt line 33 col 31 - z - unboxed var -> table +unboxed-let-functions6.rkt line 33 col 6 - loop - unboxed function -> table +unboxed-let-functions6.rkt line 33 col 6 - loop - fun -> unboxed fun +unboxed-let-functions6.rkt line 36 col 13 - z - leave var unboxed +unboxed-let-functions6.rkt line 36 col 15 - 0.0+1.0i - unboxed literal +unboxed-let-functions6.rkt line 36 col 11 - + - unboxed binary inexact complex +unboxed-let-functions6.rkt line 36 col 10 - (#%app + z (quote 0.0+1.0i)) - unboxed inexact complex +unboxed-let-functions6.rkt line 37 col 19 - z - leave var unboxed +unboxed-let-functions6.rkt line 37 col 22 - car - unary pair +unboxed-let-functions6.rkt line 37 col 21 - (#%app car l) - float-coerce-expr in complex ops +unboxed-let-functions6.rkt line 37 col 17 - + - unboxed binary inexact complex +unboxed-let-functions6.rkt line 37 col 11 - loop - unboxed call site +unboxed-let-functions6.rkt line 38 col 17 - cdr - unary pair +unboxed-let-functions6.rkt line 37 col 11 - loop - call to fun with unboxed args +#f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) (#%app + z (quote 0.0+1.0i)) (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed let bindings +unboxed-let-functions6.rkt line 33 col 51 - 0.0+0.0i - unboxed literal +#f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) (#%app + z (quote 0.0+1.0i)) (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed call site +unboxed-let-functions6.rkt line 33 col 6 - loop - unboxed let loop +6.0+1.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt index b60a7eec..59f5242d 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions7.rkt @@ -1,3 +1,28 @@ +#; +( +unboxed-let-functions7.rkt line 35 col 15 - z - unbox inexact-complex +unboxed-let-functions7.rkt line 35 col 18 - car - unary pair +unboxed-let-functions7.rkt line 35 col 17 - (#%app car l) - float-coerce-expr in complex ops +unboxed-let-functions7.rkt line 35 col 13 - + - unboxed binary inexact complex +unboxed-let-functions7.rkt line 35 col 12 - (#%app + z (#%app car l)) - unboxed inexact complex +unboxed-let-functions7.rkt line 31 col 31 - z - unboxed var -> table +unboxed-let-functions7.rkt line 31 col 6 - loop - unboxed function -> table +unboxed-let-functions7.rkt line 31 col 6 - loop - fun -> unboxed fun +unboxed-let-functions7.rkt line 34 col 6 - z - unboxed complex variable +unboxed-let-functions7.rkt line 35 col 15 - z - leave var unboxed +unboxed-let-functions7.rkt line 35 col 18 - car - unary pair +unboxed-let-functions7.rkt line 35 col 17 - (#%app car l) - float-coerce-expr in complex ops +unboxed-let-functions7.rkt line 35 col 13 - + - unboxed binary inexact complex +unboxed-let-functions7.rkt line 35 col 7 - loop - unboxed call site +unboxed-let-functions7.rkt line 36 col 13 - cdr - unary pair +unboxed-let-functions7.rkt line 35 col 7 - loop - call to fun with unboxed args +#f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) z (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed let bindings +unboxed-let-functions7.rkt line 31 col 51 - 0.0+0.0i - unboxed literal +#f line #f col #f - (letrec-values (((loop) (lambda (z l) (if (#%app null? l) z (#%app loop (#%app + z (#%app car l)) (#%app cdr l)))))) loop) - unboxed call site +unboxed-let-functions7.rkt line 31 col 6 - loop - unboxed let loop +6.0+0.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt index 88610a8c..45aae88c 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt @@ -1,3 +1,13 @@ +#; +( +unboxed-let-functions8.rkt line 16 col 67 - x - unbox inexact-complex +unboxed-let-functions8.rkt line 16 col 69 - 2.0+4.0i - unboxed literal +unboxed-let-functions8.rkt line 16 col 65 - + - unboxed binary inexact complex +unboxed-let-functions8.rkt line 16 col 64 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-let-functions8.rkt line 16 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 +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt index faa7be8a..b785896a 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let.rkt @@ -1,3 +1,34 @@ +#; +( +unboxed-let.rkt line 38 col 14 - t1 - unbox inexact-complex +unboxed-let.rkt line 38 col 17 - 3.0+6.0i - unboxed literal +unboxed-let.rkt line 38 col 12 - - - unboxed binary inexact complex +unboxed-let.rkt line 38 col 11 - (#%app - t1 (quote 3.0+6.0i)) - unboxed inexact complex +unboxed-let.rkt line 37 col 14 - 1.0+2.0i - unboxed literal +unboxed-let.rkt line 37 col 23 - 2.0+4.0i - unboxed literal +unboxed-let.rkt line 37 col 12 - + - unboxed binary inexact complex +unboxed-let.rkt line 37 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 40 col 5 - t2 - unbox inexact-complex +unboxed-let.rkt line 40 col 8 - t3 - unbox inexact-complex +unboxed-let.rkt line 40 col 3 - + - unboxed binary inexact complex +unboxed-let.rkt line 40 col 2 - (#%app + t2 t3) - unboxed inexact complex +unboxed-let.rkt line 38 col 14 - t1 - leave var unboxed +unboxed-let.rkt line 38 col 17 - 3.0+6.0i - unboxed literal +unboxed-let.rkt line 38 col 12 - - - unboxed binary inexact complex +unboxed-let.rkt line 37 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 40 col 5 - t2 - leave var unboxed +unboxed-let.rkt line 40 col 8 - t3 - unbox inexact-complex +unboxed-let.rkt line 40 col 3 - + - unboxed binary inexact complex +unboxed-let.rkt line 40 col 2 - (#%app + t2 t3) - unboxed inexact complex +unboxed-let.rkt line 39 col 11 - 4.0+8.0i - unboxed literal +unboxed-let.rkt line 37 col 0 - (let-values (((t3) (quote 4.0+8.0i))) (#%app + t2 t3)) - unboxed let bindings +unboxed-let.rkt line 40 col 5 - t2 - leave var unboxed +unboxed-let.rkt line 40 col 8 - t3 - leave var unboxed +unboxed-let.rkt line 40 col 3 - + - unboxed binary inexact complex +unboxed-let.rkt line 40 col 2 - (#%app + t2 t3) - unboxed inexact complex +4.0+8.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt index fc47b9a2..84eff33f 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let2.rkt @@ -1,3 +1,27 @@ +#; +( +unboxed-let2.rkt line 32 col 5 - t1 - unbox inexact-complex +unboxed-let2.rkt line 32 col 8 - t2 - unbox inexact-complex +unboxed-let2.rkt line 32 col 3 - + - unboxed binary inexact complex +unboxed-let2.rkt line 32 col 2 - (#%app + t1 t2) - unboxed inexact complex +unboxed-let2.rkt line 32 col 5 - t1 - unbox inexact-complex +unboxed-let2.rkt line 32 col 8 - t2 - unbox inexact-complex +unboxed-let2.rkt line 32 col 3 - + - unboxed binary inexact complex +unboxed-let2.rkt line 32 col 2 - (#%app + t1 t2) - unboxed inexact complex +unboxed-let2.rkt line 30 col 13 - 1.0+2.0i - unboxed literal +unboxed-let2.rkt line 30 col 22 - 2.0+4.0i - unboxed literal +unboxed-let2.rkt line 30 col 11 - + - unboxed binary inexact complex +unboxed-let2.rkt line 31 col 13 - 3.0+6.0i - unboxed literal +unboxed-let2.rkt line 31 col 22 - 4.0+8.0i - unboxed literal +unboxed-let2.rkt line 31 col 11 - + - unboxed binary inexact complex +unboxed-let2.rkt line 30 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 32 col 5 - t1 - leave var unboxed +unboxed-let2.rkt line 32 col 8 - t2 - leave var unboxed +unboxed-let2.rkt line 32 col 3 - + - unboxed binary inexact complex +unboxed-let2.rkt line 32 col 2 - (#%app + t1 t2) - unboxed inexact complex +10.0+20.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt index 2ca3e9d1..77e149d1 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-let3.rkt @@ -1,3 +1,21 @@ +#; +( +unboxed-let3.rkt line 34 col 9 - x - unbox inexact-complex +unboxed-let3.rkt line 34 col 11 - 2.0+4.0i - unboxed literal +unboxed-let3.rkt line 34 col 7 - + - unboxed binary inexact complex +unboxed-let3.rkt line 34 col 6 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-let3.rkt line 31 col 12 - 1.0+2.0i - unboxed literal +unboxed-let3.rkt line 31 col 21 - 2.0+4.0i - unboxed literal +unboxed-let3.rkt line 31 col 10 - + - unboxed binary inexact complex +unboxed-let3.rkt line 31 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 33 col 6 - x - unboxed complex variable +unboxed-let3.rkt line 34 col 9 - x - leave var unboxed +unboxed-let3.rkt line 34 col 11 - 2.0+4.0i - unboxed literal +unboxed-let3.rkt line 34 col 7 - + - unboxed binary inexact complex +unboxed-let3.rkt line 34 col 6 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +3.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt index ae3c43b4..71d54170 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec-syntaxes+values.rkt @@ -1,3 +1,20 @@ +#; +( +unboxed-letrec-syntaxes+values.rkt line 25 col 27 - x - unbox inexact-complex +unboxed-letrec-syntaxes+values.rkt line 25 col 29 - 2.0+4.0i - unboxed literal +unboxed-letrec-syntaxes+values.rkt line 25 col 25 - + - unboxed binary inexact complex +unboxed-letrec-syntaxes+values.rkt line 25 col 24 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-letrec-syntaxes+values.rkt line 24 col 33 - 1.0+2.0i - unboxed literal +unboxed-letrec-syntaxes+values.rkt line 24 col 42 - 2.0+4.0i - unboxed literal +unboxed-letrec-syntaxes+values.rkt line 24 col 31 - + - unboxed binary inexact complex +unboxed-letrec-syntaxes+values.rkt line 23 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 25 col 27 - x - leave var unboxed +unboxed-letrec-syntaxes+values.rkt line 25 col 29 - 2.0+4.0i - unboxed literal +unboxed-letrec-syntaxes+values.rkt line 25 col 25 - + - unboxed binary inexact complex +unboxed-letrec-syntaxes+values.rkt line 25 col 24 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +5.0+10.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt index c70b05d2..5a52c7dc 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-letrec.rkt @@ -1,3 +1,25 @@ +#; +( +unboxed-letrec.rkt line 31 col 5 - x - unbox inexact-complex +unboxed-letrec.rkt line 31 col 7 - y - unbox inexact-complex +unboxed-letrec.rkt line 31 col 3 - + - unboxed binary inexact complex +unboxed-letrec.rkt line 31 col 2 - (#%app + x y) - unboxed inexact complex +unboxed-letrec.rkt line 31 col 5 - x - unbox inexact-complex +unboxed-letrec.rkt line 31 col 7 - y - unbox inexact-complex +unboxed-letrec.rkt line 31 col 3 - + - unboxed binary inexact complex +unboxed-letrec.rkt line 31 col 2 - (#%app + x y) - unboxed inexact complex +unboxed-letrec.rkt line 29 col 31 - 1.0+2.0i - unboxed literal +unboxed-letrec.rkt line 30 col 34 - 2.0+4.0i - unboxed literal +unboxed-letrec.rkt line 30 col 43 - 3.0+6.0i - unboxed literal +unboxed-letrec.rkt line 30 col 32 - + - unboxed binary inexact complex +unboxed-letrec.rkt line 28 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 31 col 5 - x - leave var unboxed +unboxed-letrec.rkt line 31 col 7 - y - leave var unboxed +unboxed-letrec.rkt line 31 col 3 - + - unboxed binary inexact complex +unboxed-letrec.rkt line 31 col 2 - (#%app + x y) - unboxed inexact complex +6.0+12.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt b/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt index eeffd93a..6cd9a776 100644 --- a/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/unboxed-make-rectangular.rkt @@ -1,3 +1,29 @@ +#; +( +unboxed-make-rectangular.rkt line 33 col 5 - x - unbox inexact-complex +unboxed-make-rectangular.rkt line 33 col 7 - 2.0+4.0i - unboxed literal +unboxed-make-rectangular.rkt line 33 col 3 - + - unboxed binary inexact complex +unboxed-make-rectangular.rkt line 33 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-make-rectangular.rkt line 32 col 10 - make-rectangular - make-rectangular elimination +unboxed-make-rectangular.rkt line 32 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 33 col 5 - x - leave var unboxed +unboxed-make-rectangular.rkt line 33 col 7 - 2.0+4.0i - unboxed literal +unboxed-make-rectangular.rkt line 33 col 3 - + - unboxed binary inexact complex +unboxed-make-rectangular.rkt line 33 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-make-rectangular.rkt line 35 col 5 - x - unbox inexact-complex +unboxed-make-rectangular.rkt line 35 col 7 - 2.0+4.0i - unboxed literal +unboxed-make-rectangular.rkt line 35 col 3 - + - unboxed binary inexact complex +unboxed-make-rectangular.rkt line 35 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +unboxed-make-rectangular.rkt line 34 col 10 - unsafe-make-flrectangular - make-rectangular elimination +unboxed-make-rectangular.rkt line 34 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 35 col 5 - x - leave var unboxed +unboxed-make-rectangular.rkt line 35 col 7 - 2.0+4.0i - unboxed literal +unboxed-make-rectangular.rkt line 35 col 3 - + - unboxed binary inexact complex +unboxed-make-rectangular.rkt line 35 col 2 - (#%app + x (quote 2.0+4.0i)) - unboxed inexact complex +3.0+6.0i +3.0+6.0i +) + #lang typed/scheme #:optimize diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt index 81bf26b2..5bcd563b 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-length-nested.rkt @@ -1,3 +1,10 @@ +#; +( +vector-length-nested.rkt line 11 col 1 - vector-length - vector-length +vector-length-nested.rkt line 12 col 2 - vector-ref - vector +2 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt index 7992fb63..65778288 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-length.rkt @@ -1,3 +1,9 @@ +#; +( +vector-length.rkt line 10 col 1 - vector-length - vector-length +3 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt index 8833301a..03f9fb71 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref-set-ref.rkt @@ -1,3 +1,12 @@ +#; +( +vector-ref-set-ref.rkt line 15 col 1 - vector-ref - vector +vector-ref-set-ref.rkt line 16 col 1 - vector-set! - vector +vector-ref-set-ref.rkt line 17 col 1 - vector-ref - vector +1 +"2" +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt index 1f149356..80796658 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref.rkt @@ -1,3 +1,9 @@ +#; +( +vector-ref.rkt line 10 col 1 - vector-ref - vector +1 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt index e9cf5ee5..49f50d54 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-ref2.rkt @@ -1,3 +1,9 @@ +#; +( +vector-ref2.rkt line 10 col 1 - vector-ref - vector +1 +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt index 5243c3f3..209bc9e0 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set-quote.rkt @@ -1,3 +1,8 @@ +#; +( +vector-set-quote.rkt line 9 col 1 - vector-set! - vector +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt index d01f53c5..d3b26758 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set.rkt @@ -1,3 +1,8 @@ +#; +( +vector-set.rkt line 9 col 1 - vector-set! - vector +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt b/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt index d66ff004..d9661383 100644 --- a/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/vector-set2.rkt @@ -1,3 +1,8 @@ +#; +( +vector-set2.rkt line 9 col 1 - vector-set! - vector +) + #lang typed/scheme #:optimize (require racket/unsafe/ops) diff --git a/collects/tests/typed-scheme/optimizer/tests/zero.rkt b/collects/tests/typed-scheme/optimizer/tests/zero.rkt index e853019b..411edd09 100644 --- a/collects/tests/typed-scheme/optimizer/tests/zero.rkt +++ b/collects/tests/typed-scheme/optimizer/tests/zero.rkt @@ -1,3 +1,12 @@ +#; +( +zero.rkt line 13 col 1 - zero? - fixnum zero? +zero.rkt line 14 col 8 - sqrt - unary float +zero.rkt line 14 col 1 - zero? - float zero? +#f +#f +) + #lang typed/scheme #:optimize (require racket/unsafe/ops)