Included expected optimization logs in the test files.

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

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)

collects/tests/typed-scheme/optimizer/tests/apply-plus.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/begin-float.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/binary-fixnum.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/binary-nonzero-fixnum.rkt.log

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

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
 

collects/tests/typed-scheme/optimizer/tests/box.rkt.log

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

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

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)

collects/tests/typed-scheme/optimizer/tests/cross-module-struct2.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/dead-else.rkt.log

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

collects/tests/typed-scheme/optimizer/tests/dead-substructs.rkt

@@ -1,3 +1,9 @@
+#;
+(
+1
+2
+)
+
 #lang typed/scheme
 #:optimize
 

collects/tests/typed-scheme/optimizer/tests/dead-substructs.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/dead-then.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/define-begin-float.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/define-call-float.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/define-float.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/define-pair.rkt.log

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

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

collects/tests/typed-scheme/optimizer/tests/different-langs.rkt.log

@@ -1 +0,0 @@
-3

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)

collects/tests/typed-scheme/optimizer/tests/double-float.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/exact-inexact.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/fixnum-comparison.rkt.log

@@ -1,4 +0,0 @@
-fixnum-comparison.rkt line 4 col 4 - vector-length - vector-length
-#f line #f col #f - op - string-length
-fixnum-comparison.rkt line 4 col 1 - < - binary fixnum
-#t

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)

collects/tests/typed-scheme/optimizer/tests/float-comp.rkt.log

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

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
 

collects/tests/typed-scheme/optimizer/tests/float-fun.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/float-promotion.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/flvector-length.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/fx-fl.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/in-list.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/in-string.rkt.log

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

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)

collects/tests/typed-scheme/optimizer/tests/in-vector.rkt.log

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

collects/tests/typed-scheme/optimizer/tests/inexact-complex-conjugate-top.rkt

@@ -1,3 +1,13 @@
+#;
+(
+inexact-complex-conjugate-top.rkt line 14 col 14 - 1.0+2.0i - unboxed literal
+inexact-complex-conjugate-top.rkt line 14 col 23 - 2.0+4.0i - unboxed literal
+inexact-complex-conjugate-top.rkt line 14 col 12 - + - unboxed binary inexact complex
+inexact-complex-conjugate-top.rkt line 14 col 1 - conjugate - unboxed unary inexact complex
+inexact-complex-conjugate-top.rkt line 14 col 0 - (#%app conjugate (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) - unboxed inexact complex
+3.0-6.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-conjugate-top.rkt.log

@@ -1,6 +0,0 @@
-inexact-complex-conjugate-top.rkt line 4 col 14 - 1.0+2.0i - unboxed literal
-inexact-complex-conjugate-top.rkt line 4 col 23 - 2.0+4.0i - unboxed literal
-inexact-complex-conjugate-top.rkt line 4 col 12 - + - unboxed binary inexact complex
-inexact-complex-conjugate-top.rkt line 4 col 1 - conjugate - unboxed unary inexact complex
-inexact-complex-conjugate-top.rkt line 4 col 0 - (#%app conjugate (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i))) - unboxed inexact complex
-3.0-6.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-conjugate.rkt

@@ -1,3 +1,14 @@
+#;
+(
+inexact-complex-conjugate.rkt line 15 col 14 - 1.0+2.0i - unboxed literal
+inexact-complex-conjugate.rkt line 15 col 4 - conjugate - unboxed unary inexact complex
+inexact-complex-conjugate.rkt line 15 col 35 - 2.0+4.0i - unboxed literal
+inexact-complex-conjugate.rkt line 15 col 25 - conjugate - unboxed unary inexact complex
+inexact-complex-conjugate.rkt line 15 col 1 - + - unboxed binary inexact complex
+inexact-complex-conjugate.rkt line 15 col 0 - (#%app + (#%app conjugate (quote 1.0+2.0i)) (#%app conjugate (quote 2.0+4.0i))) - unboxed inexact complex
+3.0-6.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-conjugate.rkt.log

@@ -1,7 +0,0 @@
-inexact-complex-conjugate.rkt line 4 col 14 - 1.0+2.0i - unboxed literal
-inexact-complex-conjugate.rkt line 4 col 4 - conjugate - unboxed unary inexact complex
-inexact-complex-conjugate.rkt line 4 col 35 - 2.0+4.0i - unboxed literal
-inexact-complex-conjugate.rkt line 4 col 25 - conjugate - unboxed unary inexact complex
-inexact-complex-conjugate.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-conjugate.rkt line 4 col 0 - (#%app + (#%app conjugate (quote 1.0+2.0i)) (#%app conjugate (quote 2.0+4.0i))) - unboxed inexact complex
-3.0-6.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-div.rkt

@@ -1,3 +1,13 @@
+#;
+(
+inexact-complex-div.rkt line 14 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-div.rkt line 14 col 12 - 2.0+4.0i - unboxed literal
+inexact-complex-div.rkt line 14 col 21 - 3.0+6.0i - unboxed literal
+inexact-complex-div.rkt line 14 col 1 - / - unboxed binary inexact complex
+inexact-complex-div.rkt line 14 col 0 - (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+0.03333333333333333-0.06666666666666667i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-div.rkt.log

@@ -1,6 +0,0 @@
-inexact-complex-div.rkt line 4 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-div.rkt line 4 col 12 - 2.0+4.0i - unboxed literal
-inexact-complex-div.rkt line 4 col 21 - 3.0+6.0i - unboxed literal
-inexact-complex-div.rkt line 4 col 1 - / - unboxed binary inexact complex
-inexact-complex-div.rkt line 4 col 0 - (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
-0.03333333333333333-0.06666666666666667i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt

@@ -1,3 +1,15 @@
+#;
+(
+inexact-complex-fixnum.rkt line 16 col 4 - modulo - binary nonzero fixnum
+inexact-complex-fixnum.rkt line 16 col 4 - modulo - binary nonzero fixnum
+inexact-complex-fixnum.rkt line 16 col 3 - (#%app modulo (quote 2) (quote 1)) - float-coerce-expr in complex ops
+inexact-complex-fixnum.rkt line 16 col 16 - 1.0+2.0i - unboxed literal
+inexact-complex-fixnum.rkt line 16 col 25 - 3.0+6.0i - unboxed literal
+inexact-complex-fixnum.rkt line 16 col 1 - + - unboxed binary inexact complex
+inexact-complex-fixnum.rkt line 16 col 0 - (#%app + (#%app modulo (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+4.0+8.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-fixnum.rkt.log

@@ -1,8 +0,0 @@
-inexact-complex-fixnum.rkt line 4 col 4 - modulo - binary nonzero fixnum
-inexact-complex-fixnum.rkt line 4 col 4 - modulo - binary nonzero fixnum
-inexact-complex-fixnum.rkt line 4 col 3 - (#%app modulo (quote 2) (quote 1)) - float-coerce-expr in complex ops
-inexact-complex-fixnum.rkt line 4 col 16 - 1.0+2.0i - unboxed literal
-inexact-complex-fixnum.rkt line 4 col 25 - 3.0+6.0i - unboxed literal
-inexact-complex-fixnum.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-fixnum.rkt line 4 col 0 - (#%app + (#%app modulo (quote 2) (quote 1)) (quote 1.0+2.0i) (quote 3.0+6.0i)) - unboxed inexact complex
-4.0+8.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float-div.rkt

@@ -1,3 +1,45 @@
+#;
+(
+inexact-complex-float-div.rkt line 47 col 62 - x - unbox inexact-complex
+inexact-complex-float-div.rkt line 47 col 52 - real-part - unboxed inexact complex
+inexact-complex-float-div.rkt line 48 col 62 - x - unbox inexact-complex
+inexact-complex-float-div.rkt line 48 col 52 - imag-part - unboxed inexact complex
+inexact-complex-float-div.rkt line 50 col 9 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 50 col 13 - 2.0+4.0i - unboxed literal
+inexact-complex-float-div.rkt line 50 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 50 col 6 - (#%app / (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-float-div.rkt line 51 col 9 - 1.0+2.0i - unboxed literal
+inexact-complex-float-div.rkt line 51 col 18 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 51 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 51 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0)) - unboxed inexact complex
+inexact-complex-float-div.rkt line 52 col 9 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 52 col 13 - 2.0+4.0i - unboxed literal
+inexact-complex-float-div.rkt line 52 col 22 - 3.0+6.0i - unboxed literal
+inexact-complex-float-div.rkt line 52 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 52 col 6 - (#%app / (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float-div.rkt line 53 col 9 - 1.0+2.0i - unboxed literal
+inexact-complex-float-div.rkt line 53 col 18 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 53 col 22 - 3.0+6.0i - unboxed literal
+inexact-complex-float-div.rkt line 53 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 53 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float-div.rkt line 54 col 9 - 1.0+2.0i - unboxed literal
+inexact-complex-float-div.rkt line 54 col 18 - 2.0+4.0i - unboxed literal
+inexact-complex-float-div.rkt line 54 col 27 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 54 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 54 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex
+inexact-complex-float-div.rkt line 55 col 9 - 1.0+2.0i - unboxed literal
+inexact-complex-float-div.rkt line 55 col 18 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 55 col 22 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 55 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 55 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) - unboxed inexact complex
+inexact-complex-float-div.rkt line 56 col 9 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 56 col 13 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-div.rkt line 56 col 17 - 3.0+6.0i - unboxed literal
+inexact-complex-float-div.rkt line 56 col 7 - / - unboxed binary inexact complex
+inexact-complex-float-div.rkt line 56 col 6 - (#%app / (quote 1.0) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
+'("0.1000000000-0.2000000000" "0.50000000001.0000000000" "-0.0200000000-0.0266666667" "0.16666666670.0000000000" "0.16666666670.0000000000" "0.16666666670.3333333333" "0.0333333333-0.0666666667")
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float-div.rkt.log

@@ -1,38 +0,0 @@
-inexact-complex-float-div.rkt line 5 col 62 - x - unbox inexact-complex
-inexact-complex-float-div.rkt line 5 col 52 - real-part - unboxed inexact complex
-inexact-complex-float-div.rkt line 6 col 62 - x - unbox inexact-complex
-inexact-complex-float-div.rkt line 6 col 52 - imag-part - unboxed inexact complex
-inexact-complex-float-div.rkt line 8 col 9 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 8 col 13 - 2.0+4.0i - unboxed literal
-inexact-complex-float-div.rkt line 8 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 8 col 6 - (#%app / (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-float-div.rkt line 9 col 9 - 1.0+2.0i - unboxed literal
-inexact-complex-float-div.rkt line 9 col 18 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 9 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 9 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0)) - unboxed inexact complex
-inexact-complex-float-div.rkt line 10 col 9 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 10 col 13 - 2.0+4.0i - unboxed literal
-inexact-complex-float-div.rkt line 10 col 22 - 3.0+6.0i - unboxed literal
-inexact-complex-float-div.rkt line 10 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 10 col 6 - (#%app / (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float-div.rkt line 11 col 9 - 1.0+2.0i - unboxed literal
-inexact-complex-float-div.rkt line 11 col 18 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 11 col 22 - 3.0+6.0i - unboxed literal
-inexact-complex-float-div.rkt line 11 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 11 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float-div.rkt line 12 col 9 - 1.0+2.0i - unboxed literal
-inexact-complex-float-div.rkt line 12 col 18 - 2.0+4.0i - unboxed literal
-inexact-complex-float-div.rkt line 12 col 27 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 12 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 12 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex
-inexact-complex-float-div.rkt line 13 col 9 - 1.0+2.0i - unboxed literal
-inexact-complex-float-div.rkt line 13 col 18 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 13 col 22 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 13 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 13 col 6 - (#%app / (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) - unboxed inexact complex
-inexact-complex-float-div.rkt line 14 col 9 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 14 col 13 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-div.rkt line 14 col 17 - 3.0+6.0i - unboxed literal
-inexact-complex-float-div.rkt line 14 col 7 - / - unboxed binary inexact complex
-inexact-complex-float-div.rkt line 14 col 6 - (#%app / (quote 1.0) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
-'("0.1000000000-0.2000000000" "0.50000000001.0000000000" "-0.0200000000-0.0266666667" "0.16666666670.0000000000" "0.16666666670.0000000000" "0.16666666670.3333333333" "0.0333333333-0.0666666667")

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float-mul.rkt

@@ -1,3 +1,41 @@
+#;
+(
+inexact-complex-float-mul.rkt line 42 col 3 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 42 col 7 - 2.0+4.0i - unboxed literal
+inexact-complex-float-mul.rkt line 42 col 1 - * - unboxed binary inexact complex
+inexact-complex-float-mul.rkt line 42 col 0 - (#%app * (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-float-mul.rkt line 43 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-mul.rkt line 43 col 12 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 43 col 1 - * - unboxed binary inexact complex
+inexact-complex-float-mul.rkt line 43 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0)) - unboxed inexact complex
+inexact-complex-float-mul.rkt line 44 col 3 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 44 col 7 - 2.0+4.0i - unboxed literal
+inexact-complex-float-mul.rkt line 44 col 16 - 3.0+6.0i - unboxed literal
+inexact-complex-float-mul.rkt line 44 col 1 - * - unboxed binary inexact complex
+inexact-complex-float-mul.rkt line 44 col 0 - (#%app * (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float-mul.rkt line 45 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-mul.rkt line 45 col 12 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 45 col 16 - 3.0+6.0i - unboxed literal
+inexact-complex-float-mul.rkt line 45 col 1 - * - unboxed binary inexact complex
+inexact-complex-float-mul.rkt line 45 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float-mul.rkt line 46 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-mul.rkt line 46 col 12 - 2.0+4.0i - unboxed literal
+inexact-complex-float-mul.rkt line 46 col 21 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 46 col 1 - * - unboxed binary inexact complex
+inexact-complex-float-mul.rkt line 46 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex
+inexact-complex-float-mul.rkt line 47 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-mul.rkt line 47 col 12 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 47 col 16 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float-mul.rkt line 47 col 1 - * - unboxed binary inexact complex
+inexact-complex-float-mul.rkt line 47 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) - unboxed inexact complex
+2.0+4.0i
+2.0+4.0i
+-18.0+24.0i
+-18.0+24.0i
+-18.0+24.0i
+6.0+12.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float-mul.rkt.log

@@ -1,34 +0,0 @@
-inexact-complex-float-mul.rkt line 4 col 3 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 4 col 7 - 2.0+4.0i - unboxed literal
-inexact-complex-float-mul.rkt line 4 col 1 - * - unboxed binary inexact complex
-inexact-complex-float-mul.rkt line 4 col 0 - (#%app * (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-float-mul.rkt line 5 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-mul.rkt line 5 col 12 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 5 col 1 - * - unboxed binary inexact complex
-inexact-complex-float-mul.rkt line 5 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0)) - unboxed inexact complex
-inexact-complex-float-mul.rkt line 6 col 3 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 6 col 7 - 2.0+4.0i - unboxed literal
-inexact-complex-float-mul.rkt line 6 col 16 - 3.0+6.0i - unboxed literal
-inexact-complex-float-mul.rkt line 6 col 1 - * - unboxed binary inexact complex
-inexact-complex-float-mul.rkt line 6 col 0 - (#%app * (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float-mul.rkt line 7 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-mul.rkt line 7 col 12 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 7 col 16 - 3.0+6.0i - unboxed literal
-inexact-complex-float-mul.rkt line 7 col 1 - * - unboxed binary inexact complex
-inexact-complex-float-mul.rkt line 7 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float-mul.rkt line 8 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-mul.rkt line 8 col 12 - 2.0+4.0i - unboxed literal
-inexact-complex-float-mul.rkt line 8 col 21 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 8 col 1 - * - unboxed binary inexact complex
-inexact-complex-float-mul.rkt line 8 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex
-inexact-complex-float-mul.rkt line 9 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-mul.rkt line 9 col 12 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 9 col 16 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float-mul.rkt line 9 col 1 - * - unboxed binary inexact complex
-inexact-complex-float-mul.rkt line 9 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0) (quote 3.0)) - unboxed inexact complex
-2.0+4.0i
-2.0+4.0i
--18.0+24.0i
--18.0+24.0i
--18.0+24.0i
-6.0+12.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float-small.rkt

@@ -1,3 +1,35 @@
+#;
+(
+inexact-complex-float-small.rkt line 36 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-small.rkt line 36 col 12 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 36 col 1 - + - unboxed binary inexact complex
+inexact-complex-float-small.rkt line 36 col 0 - (#%app + (quote 1.0+2.0i) (quote 3.0)) - unboxed inexact complex
+inexact-complex-float-small.rkt line 37 col 3 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 37 col 7 - 2.0+4.0i - unboxed literal
+inexact-complex-float-small.rkt line 37 col 1 - + - unboxed binary inexact complex
+inexact-complex-float-small.rkt line 37 col 0 - (#%app + (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-float-small.rkt line 38 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-small.rkt line 38 col 12 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 38 col 1 - - - unboxed binary inexact complex
+inexact-complex-float-small.rkt line 38 col 0 - (#%app - (quote 1.0+2.0i) (quote 3.0)) - unboxed inexact complex
+inexact-complex-float-small.rkt line 39 col 3 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 39 col 7 - 2.0+4.0i - unboxed literal
+inexact-complex-float-small.rkt line 39 col 1 - - - unboxed binary inexact complex
+inexact-complex-float-small.rkt line 39 col 0 - (#%app - (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-float-small.rkt line 40 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float-small.rkt line 40 col 15 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 40 col 19 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 40 col 13 - + - binary float
+inexact-complex-float-small.rkt line 40 col 12 - (#%app + (quote 1.0) (quote 2.0)) - float-coerce-expr in complex ops
+inexact-complex-float-small.rkt line 40 col 1 - + - unboxed binary inexact complex
+inexact-complex-float-small.rkt line 40 col 0 - (#%app + (quote 1.0+2.0i) (#%app + (quote 1.0) (quote 2.0))) - unboxed inexact complex
+4.0+2.0i
+3.0+4.0i
+-2.0+2.0i
+-1.0-4.0i
+4.0+2.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float-small.rkt.log

@@ -1,28 +0,0 @@
-inexact-complex-float-small.rkt line 4 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-small.rkt line 4 col 12 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-float-small.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 3.0)) - unboxed inexact complex
-inexact-complex-float-small.rkt line 5 col 3 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 5 col 7 - 2.0+4.0i - unboxed literal
-inexact-complex-float-small.rkt line 5 col 1 - + - unboxed binary inexact complex
-inexact-complex-float-small.rkt line 5 col 0 - (#%app + (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-float-small.rkt line 6 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-small.rkt line 6 col 12 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 6 col 1 - - - unboxed binary inexact complex
-inexact-complex-float-small.rkt line 6 col 0 - (#%app - (quote 1.0+2.0i) (quote 3.0)) - unboxed inexact complex
-inexact-complex-float-small.rkt line 7 col 3 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 7 col 7 - 2.0+4.0i - unboxed literal
-inexact-complex-float-small.rkt line 7 col 1 - - - unboxed binary inexact complex
-inexact-complex-float-small.rkt line 7 col 0 - (#%app - (quote 1.0) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-float-small.rkt line 8 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float-small.rkt line 8 col 15 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 8 col 19 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 8 col 13 - + - binary float
-inexact-complex-float-small.rkt line 8 col 12 - (#%app + (quote 1.0) (quote 2.0)) - float-coerce-expr in complex ops
-inexact-complex-float-small.rkt line 8 col 1 - + - unboxed binary inexact complex
-inexact-complex-float-small.rkt line 8 col 0 - (#%app + (quote 1.0+2.0i) (#%app + (quote 1.0) (quote 2.0))) - unboxed inexact complex
-4.0+2.0i
-3.0+4.0i
--2.0+2.0i
--1.0-4.0i
-4.0+2.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float.rkt

@@ -1,3 +1,31 @@
+#;
+(
+inexact-complex-float.rkt line 32 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float.rkt line 32 col 12 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float.rkt line 32 col 16 - 3.0+6.0i - unboxed literal
+inexact-complex-float.rkt line 32 col 1 - + - unboxed binary inexact complex
+inexact-complex-float.rkt line 32 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float.rkt line 33 col 3 - (quote 1.0) - float-coerce-expr in complex ops
+inexact-complex-float.rkt line 33 col 7 - 2.0+4.0i - unboxed literal
+inexact-complex-float.rkt line 33 col 16 - 3.0+6.0i - unboxed literal
+inexact-complex-float.rkt line 33 col 1 - - - unboxed binary inexact complex
+inexact-complex-float.rkt line 33 col 0 - (#%app - (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float.rkt line 34 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float.rkt line 34 col 12 - (quote 2.0) - float-coerce-expr in complex ops
+inexact-complex-float.rkt line 34 col 16 - 3.0+6.0i - unboxed literal
+inexact-complex-float.rkt line 34 col 1 - - - unboxed binary inexact complex
+inexact-complex-float.rkt line 34 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
+inexact-complex-float.rkt line 35 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-float.rkt line 35 col 12 - 2.0+4.0i - unboxed literal
+inexact-complex-float.rkt line 35 col 21 - (quote 3.0) - float-coerce-expr in complex ops
+inexact-complex-float.rkt line 35 col 1 - - - unboxed binary inexact complex
+inexact-complex-float.rkt line 35 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex
+6.0+8.0i
+-4.0-10.0i
+-4.0-4.0i
+-4.0-2.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-float.rkt.log

@@ -1,24 +0,0 @@
-inexact-complex-float.rkt line 4 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float.rkt line 4 col 12 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float.rkt line 4 col 16 - 3.0+6.0i - unboxed literal
-inexact-complex-float.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-float.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float.rkt line 5 col 3 - (quote 1.0) - float-coerce-expr in complex ops
-inexact-complex-float.rkt line 5 col 7 - 2.0+4.0i - unboxed literal
-inexact-complex-float.rkt line 5 col 16 - 3.0+6.0i - unboxed literal
-inexact-complex-float.rkt line 5 col 1 - - - unboxed binary inexact complex
-inexact-complex-float.rkt line 5 col 0 - (#%app - (quote 1.0) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float.rkt line 6 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float.rkt line 6 col 12 - (quote 2.0) - float-coerce-expr in complex ops
-inexact-complex-float.rkt line 6 col 16 - 3.0+6.0i - unboxed literal
-inexact-complex-float.rkt line 6 col 1 - - - unboxed binary inexact complex
-inexact-complex-float.rkt line 6 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0) (quote 3.0+6.0i)) - unboxed inexact complex
-inexact-complex-float.rkt line 7 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-float.rkt line 7 col 12 - 2.0+4.0i - unboxed literal
-inexact-complex-float.rkt line 7 col 21 - (quote 3.0) - float-coerce-expr in complex ops
-inexact-complex-float.rkt line 7 col 1 - - - unboxed binary inexact complex
-inexact-complex-float.rkt line 7 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0)) - unboxed inexact complex
-6.0+8.0i
--4.0-10.0i
--4.0-4.0i
--4.0-2.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-i.rkt

@@ -1,3 +1,14 @@
+#;
+(
+inexact-complex-i.rkt line 15 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-i.rkt line 15 col 15 - 0+1.0i - unboxed literal
+inexact-complex-i.rkt line 15 col 21 - 2.0+4.0i - unboxed literal
+inexact-complex-i.rkt line 15 col 13 - * - unboxed binary inexact complex
+inexact-complex-i.rkt line 15 col 1 - + - unboxed binary inexact complex
+inexact-complex-i.rkt line 15 col 0 - (#%app + (quote 1.0+2.0i) (#%app * (quote 0+1.0i) (quote 2.0+4.0i))) - unboxed inexact complex
+-3.0+4.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-i.rkt.log

@@ -1,7 +0,0 @@
-inexact-complex-i.rkt line 4 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-i.rkt line 4 col 15 - 0+1.0i - unboxed literal
-inexact-complex-i.rkt line 4 col 21 - 2.0+4.0i - unboxed literal
-inexact-complex-i.rkt line 4 col 13 - * - unboxed binary inexact complex
-inexact-complex-i.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-i.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (#%app * (quote 0+1.0i) (quote 2.0+4.0i))) - unboxed inexact complex
--3.0+4.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-integer.rkt

@@ -1,3 +1,12 @@
+#;
+(
+inexact-complex-integer.rkt line 13 col 3 - (#%app expt (quote 2) (quote 100)) - float-coerce-expr in complex ops
+inexact-complex-integer.rkt line 13 col 16 - 1.0+2.0i - unboxed literal
+inexact-complex-integer.rkt line 13 col 1 - + - unboxed binary inexact complex
+inexact-complex-integer.rkt line 13 col 0 - (#%app + (#%app expt (quote 2) (quote 100)) (quote 1.0+2.0i)) - unboxed inexact complex
+1.2676506002282294e+30+2.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops racket/flonum)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-integer.rkt.log

@@ -1,5 +0,0 @@
-inexact-complex-integer.rkt line 4 col 3 - (#%app expt (quote 2) (quote 100)) - float-coerce-expr in complex ops
-inexact-complex-integer.rkt line 4 col 16 - 1.0+2.0i - unboxed literal
-inexact-complex-integer.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex-integer.rkt line 4 col 0 - (#%app + (#%app expt (quote 2) (quote 100)) (quote 1.0+2.0i)) - unboxed inexact complex
-1.2676506002282294e+30+2.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-mult.rkt

@@ -1,3 +1,13 @@
+#;
+(
+inexact-complex-mult.rkt line 14 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-mult.rkt line 14 col 12 - 2.0+4.0i - unboxed literal
+inexact-complex-mult.rkt line 14 col 21 - 3.0+6.0i - unboxed literal
+inexact-complex-mult.rkt line 14 col 1 - * - unboxed binary inexact complex
+inexact-complex-mult.rkt line 14 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
+-66.0-12.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-mult.rkt.log

@@ -1,6 +0,0 @@
-inexact-complex-mult.rkt line 4 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-mult.rkt line 4 col 12 - 2.0+4.0i - unboxed literal
-inexact-complex-mult.rkt line 4 col 21 - 3.0+6.0i - unboxed literal
-inexact-complex-mult.rkt line 4 col 1 - * - unboxed binary inexact complex
-inexact-complex-mult.rkt line 4 col 0 - (#%app * (quote 1.0+2.0i) (quote 2.0+4.0i) (quote 3.0+6.0i)) - unboxed inexact complex
--66.0-12.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-parts.rkt

@@ -1,3 +1,16 @@
+#;
+(
+inexact-complex-parts.rkt line 17 col 11 - 1.0+2.0i - unboxed literal
+inexact-complex-parts.rkt line 17 col 1 - real-part - unboxed inexact complex
+inexact-complex-parts.rkt line 18 col 11 - 1.0+2.0i - unboxed literal
+inexact-complex-parts.rkt line 18 col 1 - imag-part - unboxed inexact complex
+inexact-complex-parts.rkt line 19 col 11 - 1.0+2.0i - unboxed literal
+inexact-complex-parts.rkt line 19 col 1 - real-part - unboxed inexact complex
+1.0
+2.0
+1.0
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-parts.rkt.log

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

collects/tests/typed-scheme/optimizer/tests/inexact-complex-parts2.rkt

@@ -1,3 +1,43 @@
+#;
+(
+inexact-complex-parts2.rkt line 46 col 14 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 46 col 23 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 46 col 12 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 46 col 11 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-parts2.rkt line 46 col 14 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 46 col 23 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 46 col 12 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 46 col 1 - real-part - unboxed inexact complex
+inexact-complex-parts2.rkt line 47 col 23 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 47 col 32 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 47 col 21 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 47 col 20 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-parts2.rkt line 47 col 23 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 47 col 32 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 47 col 21 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 47 col 1 - unsafe-flreal-part - unboxed inexact complex
+inexact-complex-parts2.rkt line 48 col 14 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 48 col 23 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 48 col 12 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 48 col 11 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-parts2.rkt line 48 col 14 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 48 col 23 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 48 col 12 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 48 col 1 - imag-part - unboxed inexact complex
+inexact-complex-parts2.rkt line 49 col 23 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 49 col 32 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 49 col 21 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 49 col 20 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex-parts2.rkt line 49 col 23 - 1.0+2.0i - unboxed literal
+inexact-complex-parts2.rkt line 49 col 32 - 2.0+4.0i - unboxed literal
+inexact-complex-parts2.rkt line 49 col 21 - + - unboxed binary inexact complex
+inexact-complex-parts2.rkt line 49 col 1 - unsafe-flimag-part - unboxed inexact complex
+3.0
+3.0
+6.0
+6.0
+)
+
 #lang typed/scheme
 #:optimize
 

collects/tests/typed-scheme/optimizer/tests/inexact-complex-parts2.rkt.log

@@ -1,36 +0,0 @@
-inexact-complex-parts2.rkt line 6 col 14 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 6 col 23 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 6 col 12 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 6 col 11 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-parts2.rkt line 6 col 14 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 6 col 23 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 6 col 12 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 6 col 1 - real-part - unboxed inexact complex
-inexact-complex-parts2.rkt line 7 col 23 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 7 col 32 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 7 col 21 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 7 col 20 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-parts2.rkt line 7 col 23 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 7 col 32 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 7 col 21 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 7 col 1 - unsafe-flreal-part - unboxed inexact complex
-inexact-complex-parts2.rkt line 8 col 14 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 8 col 23 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 8 col 12 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 8 col 11 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-parts2.rkt line 8 col 14 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 8 col 23 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 8 col 12 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 8 col 1 - imag-part - unboxed inexact complex
-inexact-complex-parts2.rkt line 9 col 23 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 9 col 32 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 9 col 21 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 9 col 20 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex-parts2.rkt line 9 col 23 - 1.0+2.0i - unboxed literal
-inexact-complex-parts2.rkt line 9 col 32 - 2.0+4.0i - unboxed literal
-inexact-complex-parts2.rkt line 9 col 21 - + - unboxed binary inexact complex
-inexact-complex-parts2.rkt line 9 col 1 - unsafe-flimag-part - unboxed inexact complex
-3.0
-3.0
-6.0
-6.0

collects/tests/typed-scheme/optimizer/tests/inexact-complex-parts3.rkt

@@ -1,3 +1,39 @@
+#;
+(
+inexact-complex-parts3.rkt line 42 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-parts3.rkt line 42 col 26 - 2.0+4.0i - unboxed literal
+inexact-complex-parts3.rkt line 42 col 35 - 3.0+6.0i - unboxed literal
+inexact-complex-parts3.rkt line 42 col 24 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 42 col 13 - real-part - unboxed unary inexact complex
+inexact-complex-parts3.rkt line 42 col 1 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 42 col 0 - (#%app + (quote 1.0+2.0i) (#%app real-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
+inexact-complex-parts3.rkt line 43 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-parts3.rkt line 43 col 35 - 2.0+4.0i - unboxed literal
+inexact-complex-parts3.rkt line 43 col 44 - 3.0+6.0i - unboxed literal
+inexact-complex-parts3.rkt line 43 col 33 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 43 col 13 - unsafe-flreal-part - unboxed unary inexact complex
+inexact-complex-parts3.rkt line 43 col 1 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 43 col 0 - (#%app + (quote 1.0+2.0i) (#%app unsafe-flreal-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
+inexact-complex-parts3.rkt line 44 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-parts3.rkt line 44 col 26 - 2.0+4.0i - unboxed literal
+inexact-complex-parts3.rkt line 44 col 35 - 3.0+6.0i - unboxed literal
+inexact-complex-parts3.rkt line 44 col 24 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 44 col 13 - imag-part - unboxed unary inexact complex
+inexact-complex-parts3.rkt line 44 col 1 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 44 col 0 - (#%app + (quote 1.0+2.0i) (#%app imag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
+inexact-complex-parts3.rkt line 45 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex-parts3.rkt line 45 col 35 - 2.0+4.0i - unboxed literal
+inexact-complex-parts3.rkt line 45 col 44 - 3.0+6.0i - unboxed literal
+inexact-complex-parts3.rkt line 45 col 33 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 45 col 13 - unsafe-flimag-part - unboxed unary inexact complex
+inexact-complex-parts3.rkt line 45 col 1 - + - unboxed binary inexact complex
+inexact-complex-parts3.rkt line 45 col 0 - (#%app + (quote 1.0+2.0i) (#%app unsafe-flimag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
+6.0+2.0i
+6.0+2.0i
+11.0+2.0i
+11.0+2.0i
+)
+
 #lang typed/scheme
 #:optimize
 

collects/tests/typed-scheme/optimizer/tests/inexact-complex-parts3.rkt.log

@@ -1,32 +0,0 @@
-inexact-complex-parts3.rkt line 6 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-parts3.rkt line 6 col 26 - 2.0+4.0i - unboxed literal
-inexact-complex-parts3.rkt line 6 col 35 - 3.0+6.0i - unboxed literal
-inexact-complex-parts3.rkt line 6 col 24 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 6 col 13 - real-part - unboxed unary inexact complex
-inexact-complex-parts3.rkt line 6 col 1 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 6 col 0 - (#%app + (quote 1.0+2.0i) (#%app real-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
-inexact-complex-parts3.rkt line 7 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-parts3.rkt line 7 col 35 - 2.0+4.0i - unboxed literal
-inexact-complex-parts3.rkt line 7 col 44 - 3.0+6.0i - unboxed literal
-inexact-complex-parts3.rkt line 7 col 33 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 7 col 13 - unsafe-flreal-part - unboxed unary inexact complex
-inexact-complex-parts3.rkt line 7 col 1 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 7 col 0 - (#%app + (quote 1.0+2.0i) (#%app unsafe-flreal-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
-inexact-complex-parts3.rkt line 8 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-parts3.rkt line 8 col 26 - 2.0+4.0i - unboxed literal
-inexact-complex-parts3.rkt line 8 col 35 - 3.0+6.0i - unboxed literal
-inexact-complex-parts3.rkt line 8 col 24 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 8 col 13 - imag-part - unboxed unary inexact complex
-inexact-complex-parts3.rkt line 8 col 1 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 8 col 0 - (#%app + (quote 1.0+2.0i) (#%app imag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
-inexact-complex-parts3.rkt line 9 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex-parts3.rkt line 9 col 35 - 2.0+4.0i - unboxed literal
-inexact-complex-parts3.rkt line 9 col 44 - 3.0+6.0i - unboxed literal
-inexact-complex-parts3.rkt line 9 col 33 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 9 col 13 - unsafe-flimag-part - unboxed unary inexact complex
-inexact-complex-parts3.rkt line 9 col 1 - + - unboxed binary inexact complex
-inexact-complex-parts3.rkt line 9 col 0 - (#%app + (quote 1.0+2.0i) (#%app unsafe-flimag-part (#%app + (quote 2.0+4.0i) (quote 3.0+6.0i)))) - unboxed inexact complex
-6.0+2.0i
-6.0+2.0i
-11.0+2.0i
-11.0+2.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex-sin.rkt

@@ -1,3 +1,12 @@
+#;
+(
+inexact-complex-sin.rkt line 14 col 13 - (#%app sin (#%app * t (quote 6.28))) - float-coerce-expr in complex ops
+inexact-complex-sin.rkt line 14 col 30 - 0.0+0.0i - unboxed literal
+inexact-complex-sin.rkt line 14 col 11 - + - unboxed binary inexact complex
+inexact-complex-sin.rkt line 14 col 10 - (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) - unboxed inexact complex
+-0.0031853017931379904+0.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex-sin.rkt.log

@@ -1,5 +0,0 @@
-inexact-complex-sin.rkt line 5 col 13 - (#%app sin (#%app * t (quote 6.28))) - float-coerce-expr in complex ops
-inexact-complex-sin.rkt line 5 col 30 - 0.0+0.0i - unboxed literal
-inexact-complex-sin.rkt line 5 col 11 - + - unboxed binary inexact complex
-inexact-complex-sin.rkt line 5 col 10 - (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) - unboxed inexact complex
--0.0031853017931379904+0.0i

collects/tests/typed-scheme/optimizer/tests/inexact-complex.rkt

@@ -1,3 +1,17 @@
+#;
+(
+inexact-complex.rkt line 18 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex.rkt line 18 col 12 - 2.0+4.0i - unboxed literal
+inexact-complex.rkt line 18 col 1 - + - unboxed binary inexact complex
+inexact-complex.rkt line 18 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
+inexact-complex.rkt line 19 col 3 - 1.0+2.0i - unboxed literal
+inexact-complex.rkt line 19 col 12 - 2.0+4.0i - unboxed literal
+inexact-complex.rkt line 19 col 1 - - - unboxed binary inexact complex
+inexact-complex.rkt line 19 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
+3.0+6.0i
+-1.0-2.0i
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/inexact-complex.rkt.log

@@ -1,10 +0,0 @@
-inexact-complex.rkt line 4 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex.rkt line 4 col 12 - 2.0+4.0i - unboxed literal
-inexact-complex.rkt line 4 col 1 - + - unboxed binary inexact complex
-inexact-complex.rkt line 4 col 0 - (#%app + (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
-inexact-complex.rkt line 5 col 3 - 1.0+2.0i - unboxed literal
-inexact-complex.rkt line 5 col 12 - 2.0+4.0i - unboxed literal
-inexact-complex.rkt line 5 col 1 - - - unboxed binary inexact complex
-inexact-complex.rkt line 5 col 0 - (#%app - (quote 1.0+2.0i) (quote 2.0+4.0i)) - unboxed inexact complex
-3.0+6.0i
--1.0-2.0i

collects/tests/typed-scheme/optimizer/tests/invalid-binary-nonzero-fixnum.rkt

@@ -1,3 +1,6 @@
+#;
+()
+
 #lang typed/scheme
 #:optimize
 (: f ( -> Void))

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

collects/tests/typed-scheme/optimizer/tests/invalid-exact-inexact.rkt.log

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

collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt

@@ -1,3 +1,8 @@
+#;
+(
+#t
+)
+
 #lang typed/scheme
 #:optimize
 (require racket/unsafe/ops)

collects/tests/typed-scheme/optimizer/tests/invalid-float-comp.rkt.log

@@ -1 +0,0 @@
-#t

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

collects/tests/typed-scheme/optimizer/tests/invalid-float-promotion.rkt.log

@@ -1 +0,0 @@
-0.5

collects/tests/typed-scheme/optimizer/tests/invalid-inexact-complex-parts.rkt

@@ -1,3 +1,8 @@
+#;
+(
+1
+)
+
 #lang typed/scheme
 #:optimize
 (real-part 1+2i)

collects/tests/typed-scheme/optimizer/tests/invalid-inexact-complex-parts.rkt.log

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

collects/tests/typed-scheme/optimizer/tests/invalid-make-flrectangular.rkt

@@ -1,3 +1,8 @@
+#;
+(
+1+2i
+)
+
 #lang typed/scheme
 #:optimize
 (make-rectangular 1 2)

collects/tests/typed-scheme/optimizer/tests/invalid-make-flrectangular.rkt.log

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

collects/tests/typed-scheme/optimizer/tests/invalid-make-polar.rkt

@@ -1,3 +1,8 @@
+#;
+(
+0
+)
+
 #lang typed/scheme
 #:optimize