Included expected optimization logs in the test files.
original commit: 7f546434ed1648ff52efdb0e84883e8af5b2837a
This commit is contained in:
Vincent St-Amour
parent
c13d984042
commit
ba761592c6
|
|
@ -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))))))
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,6 @@
|
|||
#;
|
||||
()
|
||||
|
||||
#lang typed/scheme #:optimize
|
||||
|
||||
;; will be imported by cross-module-struct2
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
1
|
||||
2
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
define-call-float.rkt line 9 col 17 - + - binary float
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
define-float.rkt line 9 col 11 - + - binary float
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
define-pair.rkt line 9 col 11 - car - unary pair
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
3
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
;; to see if the harness supports having the 2 versions of a test being
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
double-float.rkt line 10 col 1 - + - binary float
|
||||
6.0
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
float-comp.rkt line 10 col 1 - < - binary float comp
|
||||
#t
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
float-fun.rkt line 12 col 3 - + - binary float
|
||||
)
|
||||
|
||||
#lang typed/racket
|
||||
#:optimize
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,6 @@
|
|||
#;
|
||||
()
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ( -> Void))
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
#t
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
0.5
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(/ 1 2.0) ; result is not a float, can't optimize
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
1
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(real-part 1+2i)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
1+2i
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(make-rectangular 1 2)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
0
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,6 @@
|
|||
#;
|
||||
()
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ((MListof Integer) -> Integer))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
0+1.4142135623730951i
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(sqrt -2.0) ; not a nonnegative flonum, can't optimize
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,6 @@
|
|||
#;
|
||||
()
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ((Vectorof Integer) -> Integer))
|
||||
|
|
|
|||
|
|
@ -1,3 +1,6 @@
|
|||
#;
|
||||
()
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(: f ((Vectorof Integer) -> Void))
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,10 @@
|
|||
#;
|
||||
(
|
||||
literal-int.rkt line 13 col 1 - + - binary float
|
||||
3.0
|
||||
1
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
(magnitude 3.0+4.0i)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
n-ary-float.rkt line 10 col 1 - + - binary float
|
||||
6.0
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
pair-fun.rkt line 13 col 7 - car - unary pair
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
'(+ 1.0 2.0)
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
'(+ 1.0 2.0)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
simple-float.rkt line 10 col 1 - + - binary float
|
||||
5.0
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
simple-pair.rkt line 10 col 1 - car - unary pair
|
||||
1
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
sqrt.rkt line 11 col 3 - sqrt - unary float
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
unary-fixnum.rkt line 10 col 1 - bitwise-not - unary fixnum
|
||||
-5
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
unary-float.rkt line 10 col 1 - sin - unary float
|
||||
0.9092974268256817
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
vector-length.rkt line 10 col 1 - vector-length - vector-length
|
||||
3
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
vector-ref.rkt line 10 col 1 - vector-ref - vector
|
||||
1
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,9 @@
|
|||
#;
|
||||
(
|
||||
vector-ref2.rkt line 10 col 1 - vector-ref - vector
|
||||
1
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
vector-set-quote.rkt line 9 col 1 - vector-set! - vector
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
vector-set.rkt line 9 col 1 - vector-set! - vector
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
#;
|
||||
(
|
||||
vector-set2.rkt line 9 col 1 - vector-set! - vector
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
(require racket/unsafe/ops)
|
||||
|
|
|
|||
|
|
@ -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)
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user