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

Update tests for new log format.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-02-09 14:55:47 -05:00
parent ddb1982e01
commit 03ebf0d3de
65 changed files with 678 additions and 525 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
collects/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt
View File

@ -1,17 +1,23 @@
#;
(
TR opt: fixnum.rkt 29:10 (* x y) -- fixnum bounded expr
TR missed opt: fixnum.rkt 32:0 (+ (ann z Fixnum) 234) -- out of fixnum range
TR missed opt: fixnum.rkt 33:0 (* (ann x Index) (ann y Index)) -- out of fixnum range
TR missed opt: fixnum.rkt 34:0 (fx* (ann x Index) (ann y Index)) -- out of fixnum range
TR missed opt: fixnum.rkt 35:0 (abs (ann -3 Fixnum)) -- out of fixnum range
TR missed opt: fixnum.rkt 36:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum.rkt 36:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 36:15 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 37:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum.rkt 37:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 37:17 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 38:0 (fxquotient -4 -5) -- out of fixnum range
TR opt: fixnum.rkt 35:10 (* x y) -- fixnum bounded expr
TR missed opt: fixnum.rkt 38:0 (+ (ann z Fixnum) 234) -- out of fixnum range
TR missed opt: fixnum.rkt 39:0 (* (ann x Index) (ann y Index)) -- out of fixnum range
TR missed opt: fixnum.rkt 40:0 (fx* (ann x Index) (ann y Index)) -- out of fixnum range
TR missed opt: fixnum.rkt 41:0 (abs (ann -3 Fixnum)) -- out of fixnum range
TR opt: fixnum.rkt 42:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 42:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 42:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 42:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 42:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 42:15 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 42:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum.rkt 43:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 43:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 43:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 43:17 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 43:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR missed opt: fixnum.rkt 44:0 (fxquotient -4 -5) -- out of fixnum range
468
234
234

2
collects/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR missed opt: multi-file1.rkt 12:2 (* x 3) -- all args float-arg-expr, result not Float -- caused by: 12:7 3
TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float
TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr
TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float
81.6
)

2
collects/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
View File

@ -9,10 +9,10 @@ TR opt: pair.rkt 62:5 (cdr (list 1 2 3)) -- pair
TR opt: pair.rkt 63:0 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 63:5 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 63:10 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 64:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 64:21 (cdr (cdr (cdr (list 1 2 3))))
TR opt: pair.rkt 64:21 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 64:26 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 64:31 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 64:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 64:21 (cdr (cdr (cdr (list 1 2 3))))
TR missed opt: pair.rkt 67:0 (mcar (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 67:0 (mcar (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 68:0 (mcar (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 69:0 (mcdr (ann (mlist 1) (MListof Byte))) -- car/cdr on a potentially empty list -- caused by: 69:0 (mcdr (ann (mlist 1) (MListof Byte)))

25
collects/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt
View File

@ -1,16 +1,19 @@
#;
(
TR opt: precision-loss.rkt 27:0 (+ (* 3/4 2/3) 2.0) -- binary float
TR missed opt: precision-loss.rkt 27:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 27:3 (* 3/4 2/3)
TR opt: precision-loss.rkt 29:0 (+ 3/4 2.0) -- binary float
TR opt: precision-loss.rkt 31:0 (+ (- 3/4) 2.0) -- binary float
TR missed opt: precision-loss.rkt 31:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 31:3 (- 3/4)
TR opt: precision-loss.rkt 33:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float
TR missed opt: precision-loss.rkt 39:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- exact ops inside float expr -- caused by: 39:8 (* 3/4 2/3)
TR missed opt: precision-loss.rkt 39:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 39:11 3/4, 39:15 2/3, 40:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) (2 times)
TR opt: precision-loss.rkt 40:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair
TR missed opt: precision-loss.rkt 40:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 40:26 (* 3/4 2/3)
TR missed opt: precision-loss.rkt 40:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 40:29 3/4, 40:33 2/3 (2 times)
TR opt: precision-loss.rkt 30:0 (+ (* 3/4 2/3) 2.0) -- binary float
TR missed opt: precision-loss.rkt 30:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 30:3 (* 3/4 2/3)
TR opt: precision-loss.rkt 32:0 (+ 3/4 2.0) -- binary float
TR opt: precision-loss.rkt 34:0 (+ (- 3/4) 2.0) -- binary float
TR missed opt: precision-loss.rkt 34:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 34:3 (- 3/4)
TR opt: precision-loss.rkt 36:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- binary float
TR opt: precision-loss.rkt 43:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair
TR opt: precision-loss.rkt 43:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair
TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 43:29 3/4, 43:33 2/3 (2 times)
TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 43:26 (* 3/4 2/3)
TR missed opt: precision-loss.rkt 42:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- exact ops inside float expr -- caused by: 42:8 (* 3/4 2/3)
TR missed opt: precision-loss.rkt 42:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 42:11 3/4, 42:15 2/3, 43:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) (2 times)
TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact ops inside float expr -- caused by: 43:26 (* 3/4 2/3)
TR missed opt: precision-loss.rkt 43:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 43:29 3/4, 43:33 2/3 (2 times)
2.5
2.75
1.25

2
collects/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR missed opt: unexpected-complex.rkt 15:0 (sqrt (ann 4 Integer)) -- unexpected complex type
TR opt: unexpected-complex.rkt 16:0 (+ 1.2+3.4i 2.0) -- unboxed binary float complex
TR opt: unexpected-complex.rkt 16:3 1.2+3.4i -- unboxed literal
TR opt: unexpected-complex.rkt 16:12 2.0 -- float-arg-expr in complex ops
TR opt: unexpected-complex.rkt 16:0 (+ 1.2+3.4i 2.0) -- unboxed binary float complex
2
3.2+3.4i
)

2
collects/tests/typed-racket/optimizer/tests/binary-fixnum.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: binary-fixnum.rkt 12:2 (bitwise-and (vector-length v) 1) -- binary fixnum
TR opt: binary-fixnum.rkt 12:15 (vector-length v) -- vector-length
TR opt: binary-fixnum.rkt 12:2 (bitwise-and (vector-length v) 1) -- binary fixnum
)
#lang typed/scheme

2
collects/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: binary-nonzero-fixnum.rkt 11:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum
TR opt: binary-nonzero-fixnum.rkt 11:8 (vector-length (quote #(1 2 3))) -- vector-length
TR opt: binary-nonzero-fixnum.rkt 11:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum
1
)

4
collects/tests/typed-racket/optimizer/tests/dead-else.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR opt: dead-else.rkt 13:13 (+ 2.0 3.0) -- binary float
TR opt: dead-else.rkt 14:13 (+ 4.0 5.0) -- dead else branch
TR opt: dead-else.rkt 16:13 (+ 2.0 3.0) -- binary float
TR opt: dead-else.rkt 13:13 (+ 2.0 3.0) -- binary float
TR opt: dead-else.rkt 17:13 (+ 4.0 5.0) -- dead else branch
TR opt: dead-else.rkt 16:13 (+ 2.0 3.0) -- binary float
5.05.0)
#lang typed/scheme

16
collects/tests/typed-racket/optimizer/tests/derived-pair.rkt
View File

@ -1,17 +1,17 @@
#;
(
TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- derived pair
TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 23:0 (caar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- derived pair
TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 24:0 (cadr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- derived pair
TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 25:0 (cdar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- derived pair
TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 26:0 (cddr (cons 1 (cons 2 3))) -- pair
1
2
2

48
collects/tests/typed-racket/optimizer/tests/derived-pair2.rkt
View File

@ -1,37 +1,37 @@
#;
(
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- derived pair
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- derived pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- derived pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- derived pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- derived pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 51:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- derived pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 52:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- derived pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 53:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- derived pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 54:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
1
2
2

128
collects/tests/typed-racket/optimizer/tests/derived-pair3.rkt
View File

@ -1,85 +1,85 @@
#;
(
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- derived pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- derived pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- derived pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- derived pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 106:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- derived pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 107:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- derived pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 108:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- derived pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 109:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- derived pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 110:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- derived pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 111:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- derived pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 112:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- derived pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 113:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- derived pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 114:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- derived pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 115:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- derived pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 116:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- derived pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 117:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- derived pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 118:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
1
2
2

2
collects/tests/typed-racket/optimizer/tests/drop-pure-pred.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: drop-pure-pred.rkt 13:6 (exact-integer? x) -- useless pure code
TR opt: drop-pure-pred.rkt 15:6 (list 2) -- dead else branch
TR opt: drop-pure-pred.rkt 13:6 (exact-integer? x) -- useless pure code
'(1)
)

2
collects/tests/typed-racket/optimizer/tests/expt.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR missed opt: expt.rkt 13:13 (expt (sin 0.25) 1.0) -- unexpected complex type
TR opt: expt.rkt 13:19 (sin 0.25) -- unary float
TR missed opt: expt.rkt 13:13 (expt (sin 0.25) 1.0) -- unexpected complex type
)
#lang typed/racket

60
collects/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt
View File

@ -1,36 +1,38 @@
#;
(
TR opt: fixnum-bounded-expr.rkt 67:2 (+ x (sqr y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 73:2 (- x (* y y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 73:7 (* y y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 80:2 (+ x y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 83:2 (+ x y) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 86:2 (+ x y) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 88:0 (abs 45) -- fixnum fxabs
TR missed opt: fixnum-bounded-expr.rkt 89:0 (abs (ann -3 Fixnum)) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 91:0 (fx+ 5 2) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 92:0 (fx+ (+ 34 231) (* 24 25)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 92:5 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 92:16 (* 24 25) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 93:0 (fx+ (+ (+ 34 231) 23) -4) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 93:5 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 93:8 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 94:0 (fx+ -4 (+ (+ 34 231) 23)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 94:8 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 94:11 (+ 34 231) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 95:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 95:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 95:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:0 (fx- (+ 300 301) (+ 301 302)) -- fixnum fx-
TR opt: fixnum-bounded-expr.rkt 69:2 (+ x (sqr y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 75:7 (* y y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 75:2 (- x (* y y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 82:2 (+ x y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 85:2 (+ x y) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 88:2 (+ x y) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 90:0 (abs 45) -- fixnum fxabs
TR missed opt: fixnum-bounded-expr.rkt 91:0 (abs (ann -3 Fixnum)) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 93:0 (fx+ 5 2) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 94:5 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 94:16 (* 24 25) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 94:0 (fx+ (+ 34 231) (* 24 25)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 95:8 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 95:5 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 95:0 (fx+ (+ (+ 34 231) 23) -4) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 96:11 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 96:8 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 96:0 (fx+ -4 (+ (+ 34 231) 23)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 97:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:17 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 98:0 (fx- (ann 3 Fixnum) (ann 4 Fixnum)) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 100:0 (fx* 4 5) -- fixnum fx*
TR missed opt: fixnum-bounded-expr.rkt 101:0 (fx* 300 300) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 103:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Fixnum)) -- fixnum fxquotient
TR missed opt: fixnum-bounded-expr.rkt 104:0 (fxquotient -4 -5) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 106:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs
TR missed opt: fixnum-bounded-expr.rkt 107:0 (fxabs -4) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 97:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:17 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 97:0 (fx+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 99:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 99:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 99:0 (fx- (+ 300 301) (+ 301 302)) -- fixnum fx-
TR missed opt: fixnum-bounded-expr.rkt 100:0 (fx- (ann 3 Fixnum) (ann 4 Fixnum)) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 102:0 (fx* 4 5) -- fixnum fx*
TR missed opt: fixnum-bounded-expr.rkt 103:0 (fx* 300 300) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 105:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Fixnum)) -- fixnum fxquotient
TR missed opt: fixnum-bounded-expr.rkt 106:0 (fxquotient -4 -5) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 108:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs
TR missed opt: fixnum-bounded-expr.rkt 109:0 (fxabs -4) -- out of fixnum range
28
89525
28

2
collects/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: fixnum-comparison.rkt 12:0 (< (vector-length (quote #(1 2 3))) (string-length "asdf")) -- binary fixnum comp
TR opt: fixnum-comparison.rkt 12:3 (vector-length (quote #(1 2 3))) -- vector-length
TR opt: fixnum-comparison.rkt 12:29 (string-length "asdf") -- string-length
TR opt: fixnum-comparison.rkt 12:0 (< (vector-length (quote #(1 2 3))) (string-length "asdf")) -- binary fixnum comp
#t
)

4
collects/tests/typed-racket/optimizer/tests/float-complex-conjugate-top.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR opt: float-complex-conjugate-top.rkt 13:0 (conjugate (+ 1.0+2.0i 2.0+4.0i)) -- unboxed unary float complex
TR opt: float-complex-conjugate-top.rkt 13:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-conjugate-top.rkt 13:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-conjugate-top.rkt 13:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-conjugate-top.rkt 13:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-conjugate-top.rkt 13:0 (conjugate (+ 1.0+2.0i 2.0+4.0i)) -- unboxed unary float complex
3.0-6.0i
)

6
collects/tests/typed-racket/optimizer/tests/float-complex-conjugate.rkt
View File

@ -1,10 +1,10 @@
#;
(
TR opt: float-complex-conjugate.rkt 14:0 (+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i)) -- unboxed binary float complex
TR opt: float-complex-conjugate.rkt 14:3 (conjugate 1.0+2.0i) -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 14:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-conjugate.rkt 14:24 (conjugate 2.0+4.0i) -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 14:3 (conjugate 1.0+2.0i) -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 14:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-conjugate.rkt 14:24 (conjugate 2.0+4.0i) -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 14:0 (+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i)) -- unboxed binary float complex
3.0-6.0i
)

2
collects/tests/typed-racket/optimizer/tests/float-complex-div.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR opt: float-complex-div.rkt 13:0 (/ 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-div.rkt 13:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-div.rkt 13:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-div.rkt 13:21 3.0+6.0i -- unboxed literal
TR opt: float-complex-div.rkt 13:0 (/ 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
0.03333333333333333-0.06666666666666667i
)

12
collects/tests/typed-racket/optimizer/tests/float-complex-fixnum.rkt
View File

@ -1,10 +1,12 @@
#;
(
TR opt: float-complex-fixnum.rkt 14:0 (+ (modulo 2 1) 1.0+2.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- float-arg-expr in complex ops
TR opt: float-complex-fixnum.rkt 14:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 14:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 14:25 3.0+6.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 16:3 (modulo 2 1) -- float-arg-expr in complex ops
TR opt: float-complex-fixnum.rkt 16:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 16:25 3.0+6.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 16:0 (+ (modulo 2 1) 1.0+2.0i 3.0+6.0i) -- unboxed binary float complex
4.0+8.0i
)

18
collects/tests/typed-racket/optimizer/tests/float-complex-float-div.rkt
View File

@ -1,35 +1,35 @@
#;
(
TR opt: float-complex-float-div.rkt 40:51 (real-part x) -- complex accessor elimination
TR opt: float-complex-float-div.rkt 40:62 x -- unbox float-complex
TR opt: float-complex-float-div.rkt 41:51 (imag-part x) -- complex accessor elimination
TR opt: float-complex-float-div.rkt 40:51 (real-part x) -- complex accessor elimination
TR opt: float-complex-float-div.rkt 41:62 x -- unbox float-complex
TR opt: float-complex-float-div.rkt 43:6 (/ 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 41:51 (imag-part x) -- complex accessor elimination
TR opt: float-complex-float-div.rkt 43:9 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 43:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 44:6 (/ 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 43:6 (/ 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 44:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 44:18 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 45:6 (/ 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 44:6 (/ 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 45:9 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 45:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 45:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 46:6 (/ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 45:6 (/ 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 46:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 46:18 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 46:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 47:6 (/ 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 46:6 (/ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 47:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 47:18 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 47:27 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 48:6 (/ 1.0+2.0i 2.0 3.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 47:6 (/ 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 48:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 48:18 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 48:22 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 49:6 (/ 1.0 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 48:6 (/ 1.0+2.0i 2.0 3.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 49:9 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 49:13 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 49:17 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 49:6 (/ 1.0 2.0 3.0+6.0i) -- unboxed binary float 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")
)

12
collects/tests/typed-racket/optimizer/tests/float-complex-float-mul.rkt
View File

@ -1,27 +1,27 @@
#;
(
TR opt: float-complex-float-mul.rkt 36:0 (* 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 36:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 36:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 37:0 (* 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 36:0 (* 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 37:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 37:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 38:0 (* 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 37:0 (* 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 38:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 38:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 38:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 39:0 (* 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 38:0 (* 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 39:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 39:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 39:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 40:0 (* 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 39:0 (* 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 40:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 40:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 40:21 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 41:0 (* 1.0+2.0i 2.0 3.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 40:0 (* 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 41:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 41:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 41:16 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 41:0 (* 1.0+2.0i 2.0 3.0) -- unboxed binary float complex
2.0+4.0i
2.0+4.0i
-18.0+24.0i

14
collects/tests/typed-racket/optimizer/tests/float-complex-float-small.rkt
View File

@ -1,23 +1,23 @@
#;
(
TR opt: float-complex-float-small.rkt 31:0 (+ 1.0+2.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 31:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 31:12 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 32:0 (+ 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 31:0 (+ 1.0+2.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 32:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 32:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 33:0 (- 1.0+2.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 32:0 (+ 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 33:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 33:12 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 34:0 (- 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 33:0 (- 1.0+2.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 34:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 34:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 35:0 (+ 1.0+2.0i (+ 1.0 2.0)) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 34:0 (- 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 35:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- binary float
TR opt: float-complex-float-small.rkt 35:15 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 35:19 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- binary float
TR opt: float-complex-float-small.rkt 35:12 (+ 1.0 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 35:0 (+ 1.0+2.0i (+ 1.0 2.0)) -- unboxed binary float complex
4.0+2.0i
3.0+4.0i
-2.0+2.0i

8
collects/tests/typed-racket/optimizer/tests/float-complex-float.rkt
View File

@ -1,21 +1,21 @@
#;
(
TR opt: float-complex-float.rkt 28:0 (+ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 28:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 28:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 28:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 29:0 (- 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 28:0 (+ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 29:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 29:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float.rkt 29:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 30:0 (- 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 29:0 (- 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 30:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 30:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 30:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 31:0 (- 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float.rkt 30:0 (- 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 31:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 31:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-float.rkt 31:21 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 31:0 (- 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
6.0+8.0i
-4.0-10.0i
-4.0-4.0i

4
collects/tests/typed-racket/optimizer/tests/float-complex-i.rkt
View File

@ -1,10 +1,10 @@
#;
(
TR opt: float-complex-i.rkt 14:0 (+ 1.0+2.0i (* 0+1.0i 2.0+4.0i)) -- unboxed binary float complex
TR opt: float-complex-i.rkt 14:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-i.rkt 14:12 (* 0+1.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-i.rkt 14:15 0+1.0i -- unboxed literal
TR opt: float-complex-i.rkt 14:21 2.0+4.0i -- unboxed literal
TR opt: float-complex-i.rkt 14:12 (* 0+1.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-i.rkt 14:0 (+ 1.0+2.0i (* 0+1.0i 2.0+4.0i)) -- unboxed binary float complex
-3.0+4.0i
)

2
collects/tests/typed-racket/optimizer/tests/float-complex-integer.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: float-complex-integer.rkt 12:0 (+ (expt 2 100) 1.0+2.0i) -- unboxed binary float complex
TR opt: float-complex-integer.rkt 12:3 (expt 2 100) -- float-arg-expr in complex ops
TR opt: float-complex-integer.rkt 12:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-integer.rkt 12:0 (+ (expt 2 100) 1.0+2.0i) -- unboxed binary float complex
1.2676506002282294e+30+2.0i
)

2
collects/tests/typed-racket/optimizer/tests/float-complex-mult.rkt
View File

@ -1,9 +1,9 @@
#;
(
TR opt: float-complex-mult.rkt 13:0 (* 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-mult.rkt 13:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-mult.rkt 13:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-mult.rkt 13:21 3.0+6.0i -- unboxed literal
TR opt: float-complex-mult.rkt 13:0 (* 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
-66.0-12.0i
)

6
collects/tests/typed-racket/optimizer/tests/float-complex-parts.rkt
View File

@ -1,11 +1,11 @@
#;
(
TR opt: float-complex-parts.rkt 17:0 (real-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 17:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 18:0 (imag-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 17:0 (real-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 18:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 19:0 (real-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 18:0 (imag-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 19:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 19:0 (real-part 1.0+2.0i) -- complex accessor elimination
1.0
2.0
1.0

44
collects/tests/typed-racket/optimizer/tests/float-complex-parts2.rkt
View File

@ -1,21 +1,33 @@
#;
(
TR opt: float-complex-parts2.rkt 30:0 (real-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 30:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 30:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 30:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 31:0 (unsafe-flreal-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 31:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 31:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 31:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 32:0 (imag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 32:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 32:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 32:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 33:0 (unsafe-flimag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 33:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 33:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 33:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 42:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 42:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 42:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 42:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 42:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 42:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 42:0 (real-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 43:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 43:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 43:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 43:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 43:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 43:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 43:0 (unsafe-flreal-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 44:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 44:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 44:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 44:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 44:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 44:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 44:0 (imag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 45:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 45:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 45:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 45:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 45:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 45:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 45:0 (unsafe-flimag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
3.0
3.0
6.0

24
collects/tests/typed-racket/optimizer/tests/float-complex-parts3.rkt
View File

@ -1,29 +1,29 @@
#;
(
TR opt: float-complex-parts3.rkt 38:0 (+ 1.0+2.0i (real-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 38:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 38:12 (real-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 38:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 38:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 38:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 39:0 (+ 1.0+2.0i (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 38:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 38:12 (real-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 38:0 (+ 1.0+2.0i (real-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 39:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 39:12 (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 39:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 39:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 39:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 40:0 (+ 1.0+2.0i (imag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 39:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 39:12 (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 39:0 (+ 1.0+2.0i (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 40:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 40:12 (imag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 40:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 40:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 40:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 41:0 (+ 1.0+2.0i (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 40:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 40:12 (imag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 40:0 (+ 1.0+2.0i (imag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 41:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 41:12 (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 41:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 41:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 41:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 41:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 41:12 (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 41:0 (+ 1.0+2.0i (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
6.0+2.0i
6.0+2.0i
11.0+2.0i

9
collects/tests/typed-racket/optimizer/tests/float-complex-sin.rkt
View File

@ -1,9 +1,10 @@
#;
(
TR opt: float-complex-sin.rkt 14:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex
TR opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- float-arg-expr in complex ops
TR missed opt: float-complex-sin.rkt 14:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 14:21 t (2 times)
TR opt: float-complex-sin.rkt 14:30 0.0+0.0i -- unboxed literal
TR opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- float-arg-expr in complex ops
TR opt: float-complex-sin.rkt 15:30 0.0+0.0i -- unboxed literal
TR opt: float-complex-sin.rkt 15:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex
TR missed opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 15:21 t (2 times)
TR missed opt: float-complex-sin.rkt 15:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 15:21 t (2 times)
-0.0031853017931379904+0.0i
)

4
collects/tests/typed-racket/optimizer/tests/float-complex.rkt
View File

@ -1,11 +1,11 @@
#;
(
TR opt: float-complex.rkt 16:0 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex.rkt 16:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 16:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 17:0 (- 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex.rkt 16:0 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex.rkt 17:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 17:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 17:0 (- 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
3.0+6.0i
-1.0-2.0i
)

7
collects/tests/typed-racket/optimizer/tests/float-promotion.rkt
View File

@ -1,8 +1,9 @@
#;
(
TR opt: float-promotion.rkt 13:0 (+ (modulo 1 1) 2.0) -- binary float
TR opt: float-promotion.rkt 13:3 (modulo 1 1) -- binary nonzero fixnum
TR opt: float-promotion.rkt 14:0 (+ (expt 100 100) 2.0) -- binary float
TR opt: float-promotion.rkt 14:3 (modulo 1 1) -- binary nonzero fixnum
TR opt: float-promotion.rkt 14:3 (modulo 1 1) -- binary nonzero fixnum
TR opt: float-promotion.rkt 14:0 (+ (modulo 1 1) 2.0) -- binary float
TR opt: float-promotion.rkt 15:0 (+ (expt 100 100) 2.0) -- binary float
2.0
1e+200
)

31
collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let.rkt
View File

@ -1,17 +1,24 @@
#;
(
TR opt: invalid-unboxed-let.rkt 20:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i)) (t3 1.0+2.0i) (t4 1)) (display (+ t1 t1)) (display t2) (display t3) (display t4)) -- unboxed let bindings
TR opt: invalid-unboxed-let.rkt 20:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 20:13 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 20:22 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 21:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 21:13 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 21:22 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 24:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 24:14 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 24:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 24:17 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 24:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 27:13 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 27:22 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 27:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 28:13 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 28:22 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 28:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 27:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i)) (t3 1.0+2.0i) (t4 1)) (display (+ t1 t1)) (display t2) (display t3) (display t4)) -- unboxed let bindings
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
6.0+12.0i7.0+14.0i1.0+2.0i1)
#lang typed/scheme

6
collects/tests/typed-racket/optimizer/tests/invalid-unboxed-let2.rkt
View File

@ -1,14 +1,14 @@
#;
(
TR opt: invalid-unboxed-let2.rkt 21:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 21:33 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 21:42 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 21:52 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 21:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 21:55 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 21:64 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 22:2 (+ t1 t2) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 21:52 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 22:5 t1 -- unbox float-complex
TR opt: invalid-unboxed-let2.rkt 22:8 t2 -- unbox float-complex
TR opt: invalid-unboxed-let2.rkt 22:2 (+ t1 t2) -- unboxed binary float complex
10.0+20.0i
)

2
collects/tests/typed-racket/optimizer/tests/known-vector-length.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: known-vector-length.rkt 11:0 (+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))) -- fixnum bounded expr
TR opt: known-vector-length.rkt 11:5 (vector-length (ann (vector 1 2) (Vector Integer Integer))) -- known-length vector-length
TR opt: known-vector-length.rkt 11:0 (+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))) -- fixnum bounded expr
4
)

2
collects/tests/typed-racket/optimizer/tests/magnitude.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: magnitude.rkt 13:0 (magnitude 3.0+4.0i) -- unboxed unary float complex
TR opt: magnitude.rkt 13:11 3.0+4.0i -- unboxed literal
TR opt: magnitude.rkt 13:0 (magnitude 3.0+4.0i) -- unboxed unary float complex
5.0
)

18
collects/tests/typed-racket/optimizer/tests/make-polar.rkt
View File

@ -1,19 +1,19 @@
#;
(
TR opt: make-polar.rkt 27:6 (make-polar 1.0 1.0) -- make-polar
TR opt: make-polar.rkt 27:6 (make-polar 1.0 1.0) -- make-rectangular elimination
TR opt: make-polar.rkt 30:0 (let ((p (+ 1.0+2.0i (make-polar 2.0 4.0)))) (string-append (real->decimal-string (real-part p) 3) (real->decimal-string (imag-part p) 3))) -- unboxed let bindings
TR opt: make-polar.rkt 30:9 (+ 1.0+2.0i (make-polar 2.0 4.0)) -- unboxed binary float complex
TR opt: make-polar.rkt 27:6 (make-polar 1.0 1.0) -- make-polar
TR opt: make-polar.rkt 31:50 p -- unbox float-complex
TR opt: make-polar.rkt 31:39 (real-part p) -- unboxed unary float complex
TR opt: make-polar.rkt 30:12 1.0+2.0i -- unboxed literal
TR opt: make-polar.rkt 30:21 (make-polar 2.0 4.0) -- make-rectangular elimination
TR opt: make-polar.rkt 31:39 (real-part p) -- complex accessor elimination
TR opt: make-polar.rkt 31:39 (real-part p) -- unboxed unary float complex
TR opt: make-polar.rkt 31:50 p -- leave var unboxed
TR opt: make-polar.rkt 30:9 (+ 1.0+2.0i (make-polar 2.0 4.0)) -- unboxed binary float complex
TR opt: make-polar.rkt 30:0 (let ((p (+ 1.0+2.0i (make-polar 2.0 4.0)))) (string-append (real->decimal-string (real-part p) 3) (real->decimal-string (imag-part p) 3))) -- unboxed let bindings
TR opt: make-polar.rkt 31:50 p -- unboxed complex variable
TR opt: make-polar.rkt 31:50 p -- unbox float-complex
TR opt: make-polar.rkt 32:39 (imag-part p) -- complex accessor elimination
TR opt: make-polar.rkt 32:50 p -- leave var unboxed
TR opt: make-polar.rkt 31:50 p -- leave var unboxed
TR opt: make-polar.rkt 31:39 (real-part p) -- complex accessor elimination
TR opt: make-polar.rkt 32:50 p -- unboxed complex variable
TR opt: make-polar.rkt 32:50 p -- leave var unboxed
TR opt: make-polar.rkt 32:39 (imag-part p) -- complex accessor elimination
"-0.3070.486"
)

2
collects/tests/typed-racket/optimizer/tests/maybe-exact-complex.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: maybe-exact-complex.rkt 14:0 (+ 1.0+2.0i 2+4i) -- unboxed binary float complex
TR opt: maybe-exact-complex.rkt 14:3 1.0+2.0i -- unboxed literal
TR opt: maybe-exact-complex.rkt 14:12 2+4i -- unboxed literal
TR opt: maybe-exact-complex.rkt 14:0 (+ 1.0+2.0i 2+4i) -- unboxed binary float complex
3.0+6.0i
)

4
collects/tests/typed-racket/optimizer/tests/multi-flcomp.rkt
View File

@ -2,10 +2,10 @@
(
TR opt: multi-flcomp.rkt 18:0 (<= 1.0 2.0 3.0) -- multi float comp
TR opt: multi-flcomp.rkt 20:0 (<= 1.0 2.0 3.0 4.0) -- multi float comp
TR opt: multi-flcomp.rkt 21:0 (<= 1.0 2.0 3.0 (+ 2.0 2.0)) -- multi float comp
TR opt: multi-flcomp.rkt 21:16 (+ 2.0 2.0) -- binary float
TR opt: multi-flcomp.rkt 22:0 (<= 1.0 2.0 (+ 2.0 2.0) 3.0) -- multi float comp
TR opt: multi-flcomp.rkt 21:0 (<= 1.0 2.0 3.0 (+ 2.0 2.0)) -- multi float comp
TR opt: multi-flcomp.rkt 22:12 (+ 2.0 2.0) -- binary float
TR opt: multi-flcomp.rkt 22:0 (<= 1.0 2.0 (+ 2.0 2.0) 3.0) -- multi float comp
#t
#t
#t

2
collects/tests/typed-racket/optimizer/tests/n-ary-float-complex.rkt
View File

@ -1,10 +1,10 @@
#;
(
TR opt: n-ary-float-complex.rkt 14:0 (+ 1.0+2.0i 2.0+4.0i 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: n-ary-float-complex.rkt 14:3 1.0+2.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 14:12 2.0+4.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 14:21 3.0+6.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 14:30 4.0+8.0i -- unboxed literal
TR opt: n-ary-float-complex.rkt 14:0 (+ 1.0+2.0i 2.0+4.0i 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
10.0+20.0i
)

4
collects/tests/typed-racket/optimizer/tests/nested-float-complex.rkt
View File

@ -1,10 +1,10 @@
#;
(
TR opt: nested-float-complex.rkt 14:0 (+ 1.0+2.0i (- 2.0+4.0i 3.0+6.0i)) -- unboxed binary float complex
TR opt: nested-float-complex.rkt 14:3 1.0+2.0i -- unboxed literal
TR opt: nested-float-complex.rkt 14:12 (- 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: nested-float-complex.rkt 14:15 2.0+4.0i -- unboxed literal
TR opt: nested-float-complex.rkt 14:24 3.0+6.0i -- unboxed literal
TR opt: nested-float-complex.rkt 14:12 (- 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: nested-float-complex.rkt 14:0 (+ 1.0+2.0i (- 2.0+4.0i 3.0+6.0i)) -- unboxed binary float complex
0.0+0.0i
)

2
collects/tests/typed-racket/optimizer/tests/nested-float.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: nested-float.rkt 11:0 (+ 2.0 (+ 3.0 4.0)) -- binary float
TR opt: nested-float.rkt 11:7 (+ 3.0 4.0) -- binary float
TR opt: nested-float.rkt 11:0 (+ 2.0 (+ 3.0 4.0)) -- binary float
9.0
)

2
collects/tests/typed-racket/optimizer/tests/nested-float2.rkt
View File

@ -1,7 +1,7 @@
#;
(
TR opt: nested-float2.rkt 11:0 (+ 2.0 (* 3.0 4.0)) -- binary float
TR opt: nested-float2.rkt 11:7 (* 3.0 4.0) -- binary float
TR opt: nested-float2.rkt 11:0 (+ 2.0 (* 3.0 4.0)) -- binary float
14.0
)

60
collects/tests/typed-racket/optimizer/tests/nested-let-loop.rkt
View File

@ -1,33 +1,37 @@
#;
(
TR opt: nested-let-loop.rkt 37:0 (let: loop1 : Float-Complex ((x : (Listof Float-Complex) (quote (1.0+2.0i 2.0+4.0i))) (r : Float-Complex 0.0+0.0i)) (if (null? x) r (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))))) -- unboxed call site
TR opt: nested-let-loop.rkt 37:6 loop1 -- unboxed let loop
TR opt: nested-let-loop.rkt 37:6 loop1 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 39:8 r -- unboxed var -> table
TR opt: nested-let-loop.rkt 39:28 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 41:10 r -- unboxed complex variable
TR opt: nested-let-loop.rkt 42:10 (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))) -- unboxed call site
TR opt: nested-let-loop.rkt 42:16 loop2 -- unboxed let loop
TR opt: nested-let-loop.rkt 42:16 loop2 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 44:18 s -- unboxed var -> table
TR opt: nested-let-loop.rkt 44:38 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 46:20 (loop1 (cdr x) (+ r s)) -- call to fun with unboxed args
TR opt: nested-let-loop.rkt 46:20 (loop1 (cdr x) (+ r s)) -- unboxed call site
TR opt: nested-let-loop.rkt 46:27 (cdr x) -- pair
TR opt: nested-let-loop.rkt 46:35 (+ r s) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 46:38 r -- leave var unboxed
TR opt: nested-let-loop.rkt 46:38 r -- unbox float-complex
TR opt: nested-let-loop.rkt 46:40 s -- leave var unboxed
TR opt: nested-let-loop.rkt 46:40 s -- unbox float-complex
TR opt: nested-let-loop.rkt 47:20 (loop2 (cdr y) (+ s (car x) (car y))) -- call to fun with unboxed args
TR opt: nested-let-loop.rkt 47:20 (loop2 (cdr y) (+ s (car x) (car y))) -- unboxed call site
TR opt: nested-let-loop.rkt 47:27 (cdr y) -- pair
TR opt: nested-let-loop.rkt 47:35 (+ s (car x) (car y)) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 47:38 s -- leave var unboxed
TR opt: nested-let-loop.rkt 47:40 (car x) -- unbox float-complex
TR opt: nested-let-loop.rkt 47:40 (car x) -- pair
TR opt: nested-let-loop.rkt 47:48 (car y) -- unbox float-complex
TR opt: nested-let-loop.rkt 47:48 (car y) -- pair
TR opt: nested-let-loop.rkt 50:38 r -- unbox float-complex
TR opt: nested-let-loop.rkt 50:40 s -- unbox float-complex
TR opt: nested-let-loop.rkt 50:35 (+ r s) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 43:8 r -- unboxed var -> table
TR opt: nested-let-loop.rkt 41:6 loop1 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 45:10 r -- unboxed complex variable
TR opt: nested-let-loop.rkt 50:38 r -- leave var unboxed
TR opt: nested-let-loop.rkt 50:40 s -- unbox float-complex
TR opt: nested-let-loop.rkt 50:35 (+ r s) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 48:18 s -- unboxed var -> table
TR opt: nested-let-loop.rkt 46:16 loop2 -- fun -> unboxed fun
TR opt: nested-let-loop.rkt 50:38 r -- leave var unboxed
TR opt: nested-let-loop.rkt 50:40 s -- leave var unboxed
TR opt: nested-let-loop.rkt 50:35 (+ r s) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 50:20 (loop1 (cdr x) (+ r s)) -- unboxed call site
TR opt: nested-let-loop.rkt 50:27 (cdr x) -- pair
TR opt: nested-let-loop.rkt 50:20 (loop1 (cdr x) (+ r s)) -- call to fun with unboxed args
TR opt: nested-let-loop.rkt 51:38 s -- leave var unboxed
TR opt: nested-let-loop.rkt 51:40 (car x) -- unbox float-complex
TR opt: nested-let-loop.rkt 51:40 (car x) -- pair
TR opt: nested-let-loop.rkt 51:48 (car y) -- unbox float-complex
TR opt: nested-let-loop.rkt 51:48 (car y) -- pair
TR opt: nested-let-loop.rkt 51:35 (+ s (car x) (car y)) -- unboxed binary float complex
TR opt: nested-let-loop.rkt 51:20 (loop2 (cdr y) (+ s (car x) (car y))) -- unboxed call site
TR opt: nested-let-loop.rkt 51:27 (cdr y) -- pair
TR opt: nested-let-loop.rkt 51:20 (loop2 (cdr y) (+ s (car x) (car y))) -- call to fun with unboxed args
TR opt: nested-let-loop.rkt 48:38 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 46:10 (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))) -- unboxed call site
TR opt: nested-let-loop.rkt 46:16 loop2 -- unboxed let loop
TR opt: nested-let-loop.rkt 43:28 0.0+0.0i -- unboxed literal
TR opt: nested-let-loop.rkt 41:0 (let: loop1 : Float-Complex ((x : (Listof Float-Complex) (quote (1.0+2.0i 2.0+4.0i))) (r : Float-Complex 0.0+0.0i)) (if (null? x) r (let: loop2 : Float-Complex ((y : (Listof Float-Complex) (quote (3.0+6.0i 4.0+8.0i))) (s : Float-Complex 0.0+0.0i)) (if (null? y) (loop1 (cdr x) (+ r s)) (loop2 (cdr y) (+ s (car x) (car y))))))) -- unboxed call site
TR opt: nested-let-loop.rkt 41:6 loop1 -- unboxed let loop
20.0+40.0i
)

30
collects/tests/typed-racket/optimizer/tests/nested-unboxed-let.rkt
View File

@ -1,18 +1,22 @@
#;
(
TR opt: nested-unboxed-let.rkt 22:0 (let ((x (+ 1.0+2.0i 2.0+3.0i))) (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i))) -- unboxed let bindings
TR opt: nested-unboxed-let.rkt 22:9 (+ 1.0+2.0i 2.0+3.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 22:12 1.0+2.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 22:21 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 23:2 (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i)) -- unboxed let bindings
TR opt: nested-unboxed-let.rkt 23:11 (+ x 2.0+3.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 23:14 x -- leave var unboxed
TR opt: nested-unboxed-let.rkt 23:14 x -- unbox float-complex
TR opt: nested-unboxed-let.rkt 23:16 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 24:4 (+ x 3.0+6.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 24:7 x -- leave var unboxed
TR opt: nested-unboxed-let.rkt 24:7 x -- unbox float-complex
TR opt: nested-unboxed-let.rkt 24:9 3.0+6.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 27:14 x -- unbox float-complex
TR opt: nested-unboxed-let.rkt 27:16 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 27:11 (+ x 2.0+3.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 26:12 1.0+2.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 26:21 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 26:9 (+ 1.0+2.0i 2.0+3.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 26:0 (let ((x (+ 1.0+2.0i 2.0+3.0i))) (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i))) -- unboxed let bindings
TR opt: nested-unboxed-let.rkt 28:7 x -- unbox float-complex
TR opt: nested-unboxed-let.rkt 28:9 3.0+6.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 28:4 (+ x 3.0+6.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 27:14 x -- leave var unboxed
TR opt: nested-unboxed-let.rkt 27:16 2.0+3.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 27:11 (+ x 2.0+3.0i) -- unboxed binary float complex
TR opt: nested-unboxed-let.rkt 27:2 (let ((x (+ x 2.0+3.0i))) (+ x 3.0+6.0i)) -- unboxed let bindings
TR opt: nested-unboxed-let.rkt 28:7 x -- leave var unboxed
TR opt: nested-unboxed-let.rkt 28:9 3.0+6.0i -- unboxed literal
TR opt: nested-unboxed-let.rkt 28:4 (+ x 3.0+6.0i) -- unboxed binary float complex
8.0+14.0i
)

26
collects/tests/typed-racket/optimizer/tests/real-part-loop.rkt
View File

@ -1,21 +1,21 @@
#;
(
TR opt: real-part-loop.rkt 28:1 (let loop ((v 0.0+1.0i)) (if (> (real-part v) 70000.2) 0 (loop (+ v 3.6)))) -- unboxed call site
TR opt: real-part-loop.rkt 28:6 loop -- unboxed let loop
TR opt: real-part-loop.rkt 28:6 loop -- fun -> unboxed fun
TR opt: real-part-loop.rkt 28:13 v -- unboxed var -> table
TR opt: real-part-loop.rkt 28:15 0.0+1.0i -- unboxed literal
TR opt: real-part-loop.rkt 29:6 (> (real-part v) 70000.2) -- binary float comp
TR opt: real-part-loop.rkt 29:9 (real-part v) -- complex accessor elimination
TR opt: real-part-loop.rkt 29:9 (real-part v) -- unboxed unary float complex
TR opt: real-part-loop.rkt 29:20 v -- leave var unboxed
TR opt: real-part-loop.rkt 29:20 v -- unboxed complex variable
TR opt: real-part-loop.rkt 29:20 v -- unbox float-complex
TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- call to fun with unboxed args
TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- unboxed call site
TR opt: real-part-loop.rkt 31:12 (+ v 3.6) -- unboxed binary float complex
TR opt: real-part-loop.rkt 29:9 (real-part v) -- unboxed unary float complex
TR opt: real-part-loop.rkt 28:13 v -- unboxed var -> table
TR opt: real-part-loop.rkt 28:6 loop -- fun -> unboxed fun
TR opt: real-part-loop.rkt 29:20 v -- unboxed complex variable
TR opt: real-part-loop.rkt 29:20 v -- leave var unboxed
TR opt: real-part-loop.rkt 29:9 (real-part v) -- complex accessor elimination
TR opt: real-part-loop.rkt 29:6 (> (real-part v) 70000.2) -- binary float comp
TR opt: real-part-loop.rkt 31:15 v -- leave var unboxed
TR opt: real-part-loop.rkt 31:17 3.6 -- float-arg-expr in complex ops
TR opt: real-part-loop.rkt 31:12 (+ v 3.6) -- unboxed binary float complex
TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- unboxed call site
TR opt: real-part-loop.rkt 31:6 (loop (+ v 3.6)) -- call to fun with unboxed args
TR opt: real-part-loop.rkt 28:15 0.0+1.0i -- unboxed literal
TR opt: real-part-loop.rkt 28:1 (let loop ((v 0.0+1.0i)) (if (> (real-part v) 70000.2) 0 (loop (+ v 3.6)))) -- unboxed call site
TR opt: real-part-loop.rkt 28:6 loop -- unboxed let loop
0
)

4
collects/tests/typed-racket/optimizer/tests/unary-fixnum-nested.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: unary-fixnum-nested.rkt 12:0 (bitwise-not (bitwise-not (length (quote (1 2 3))))) -- unary fixnum
TR opt: unary-fixnum-nested.rkt 12:13 (bitwise-not (length (quote (1 2 3)))) -- unary fixnum
TR opt: unary-fixnum-nested.rkt 12:26 (length (quote (1 2 3))) -- known-length list length
TR opt: unary-fixnum-nested.rkt 12:13 (bitwise-not (length (quote (1 2 3)))) -- unary fixnum
TR opt: unary-fixnum-nested.rkt 12:0 (bitwise-not (bitwise-not (length (quote (1 2 3))))) -- unary fixnum
3
)

57
collects/tests/typed-racket/optimizer/tests/unboxed-for.rkt
View File

@ -1,28 +1,39 @@
#;
(
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let loop
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex
TR opt: unboxed-for.rkt 29:0 #%module-begin -- in-list
TR opt: unboxed-for.rkt 32:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 32:31 sum -- unboxed var -> table
TR opt: unboxed-for.rkt 32:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 32:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 32:31 sum -- unbox float-complex
TR opt: unboxed-for.rkt 32:31 sum -- leave var unboxed
TR opt: unboxed-for.rkt 32:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 32:53 0.0+0.0i -- unboxed literal
TR opt: unboxed-for.rkt 33:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 33:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 34:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 34:9 i -- leave var unboxed
TR opt: unboxed-for.rkt 34:9 i -- unbox float-complex
TR opt: unboxed-for.rkt 34:11 sum -- leave var unboxed
TR opt: unboxed-for.rkt 34:11 sum -- unbox float-complex
TR opt: unboxed-for.rkt 40:0 #%module-begin -- in-list
TR opt: unboxed-for.rkt 45:9 i -- unbox float-complex
TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex
TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 45:9 i -- unbox float-complex
TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex
TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 43:31 sum -- unboxed var -> table
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- fun -> unboxed fun
TR opt: unboxed-for.rkt 43:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 45:9 i -- unbox float-complex
TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex
TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unbox float-complex
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 44:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 44:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 45:9 i -- leave var unboxed
TR opt: unboxed-for.rkt 45:11 sum -- unbox float-complex
TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 43:31 sum -- leave var unboxed
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 45:9 i -- leave var unboxed
TR opt: unboxed-for.rkt 45:11 sum -- leave var unboxed
TR opt: unboxed-for.rkt 45:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 44:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 43:31 sum -- unbox float-complex
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- call to fun with unboxed args
TR opt: unboxed-for.rkt 43:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 43:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 43:53 0.0+0.0i -- unboxed literal
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 43:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let loop
3.0+6.0i
)

24
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions1.rkt
View File

@ -1,16 +1,18 @@
#;
(
TR opt: unboxed-let-functions1.rkt 21:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions1.rkt 21:20 x -- unboxed var -> table
TR opt: unboxed-let-functions1.rkt 21:42 (+ x 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 21:45 x -- leave var unboxed
TR opt: unboxed-let-functions1.rkt 21:45 x -- unbox float-complex
TR opt: unboxed-let-functions1.rkt 21:47 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 22:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args
TR opt: unboxed-let-functions1.rkt 22:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site
TR opt: unboxed-let-functions1.rkt 22:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 22:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 22:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 23:45 x -- unbox float-complex
TR opt: unboxed-let-functions1.rkt 23:47 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 23:42 (+ x 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 23:20 x -- unboxed var -> table
TR opt: unboxed-let-functions1.rkt 23:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions1.rkt 23:45 x -- leave var unboxed
TR opt: unboxed-let-functions1.rkt 23:47 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 23:42 (+ x 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 24:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 24:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions1.rkt 24:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions1.rkt 24:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site
TR opt: unboxed-let-functions1.rkt 24:2 (f (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args
6.0+12.0i
)

32
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions2.rkt
View File

@ -1,19 +1,23 @@
#;
(
TR opt: unboxed-let-functions2.rkt 24:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions2.rkt 24:20 x -- unboxed var -> table
TR opt: unboxed-let-functions2.rkt 24:42 y -- unboxed var -> table
TR opt: unboxed-let-functions2.rkt 25:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 25:21 x -- leave var unboxed
TR opt: unboxed-let-functions2.rkt 25:21 x -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 25:23 y -- leave var unboxed
TR opt: unboxed-let-functions2.rkt 25:23 y -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 26:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- call to fun with unboxed args
TR opt: unboxed-let-functions2.rkt 26:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- unboxed call site
TR opt: unboxed-let-functions2.rkt 26:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 26:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 26:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 27:5 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 29:21 x -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 29:23 y -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 29:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 28:20 x -- unboxed var -> table
TR opt: unboxed-let-functions2.rkt 29:21 x -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 29:23 y -- unbox float-complex
TR opt: unboxed-let-functions2.rkt 29:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 28:42 y -- unboxed var -> table
TR opt: unboxed-let-functions2.rkt 28:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions2.rkt 29:21 x -- leave var unboxed
TR opt: unboxed-let-functions2.rkt 29:23 y -- leave var unboxed
TR opt: unboxed-let-functions2.rkt 29:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 30:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 30:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 30:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions2.rkt 31:5 3.0+6.0i -- unboxed literal
TR opt: unboxed-let-functions2.rkt 30:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- unboxed call site
TR opt: unboxed-let-functions2.rkt 30:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0+6.0i) -- call to fun with unboxed args
6.0+12.0i
)

24
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions3.rkt
View File

@ -1,16 +1,18 @@
#;
(
TR opt: unboxed-let-functions3.rkt 21:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions3.rkt 21:20 x -- unboxed var -> table
TR opt: unboxed-let-functions3.rkt 22:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 22:21 x -- leave var unboxed
TR opt: unboxed-let-functions3.rkt 22:21 x -- unbox float-complex
TR opt: unboxed-let-functions3.rkt 22:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions3.rkt 23:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- call to fun with unboxed args
TR opt: unboxed-let-functions3.rkt 23:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- unboxed call site
TR opt: unboxed-let-functions3.rkt 23:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 23:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions3.rkt 23:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions3.rkt 24:21 x -- unbox float-complex
TR opt: unboxed-let-functions3.rkt 24:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions3.rkt 24:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 23:20 x -- unboxed var -> table
TR opt: unboxed-let-functions3.rkt 23:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions3.rkt 24:21 x -- leave var unboxed
TR opt: unboxed-let-functions3.rkt 24:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions3.rkt 24:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 25:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions3.rkt 25:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions3.rkt 25:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions3.rkt 25:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- unboxed call site
TR opt: unboxed-let-functions3.rkt 25:2 (f (+ 1.0+2.0i 2.0+4.0i) 3.0) -- call to fun with unboxed args
6.0+6.0i
)

24
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions4.rkt
View File

@ -1,16 +1,18 @@
#;
(
TR opt: unboxed-let-functions4.rkt 21:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions4.rkt 21:32 x -- unboxed var -> table
TR opt: unboxed-let-functions4.rkt 22:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 22:21 x -- leave var unboxed
TR opt: unboxed-let-functions4.rkt 22:21 x -- unbox float-complex
TR opt: unboxed-let-functions4.rkt 22:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions4.rkt 23:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args
TR opt: unboxed-let-functions4.rkt 23:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site
TR opt: unboxed-let-functions4.rkt 24:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 24:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions4.rkt 24:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions4.rkt 24:21 x -- unbox float-complex
TR opt: unboxed-let-functions4.rkt 24:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions4.rkt 24:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 23:32 x -- unboxed var -> table
TR opt: unboxed-let-functions4.rkt 23:7 f -- fun -> unboxed fun
TR opt: unboxed-let-functions4.rkt 24:21 x -- leave var unboxed
TR opt: unboxed-let-functions4.rkt 24:23 y -- float-arg-expr in complex ops
TR opt: unboxed-let-functions4.rkt 24:18 (+ x y) -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 26:8 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions4.rkt 26:17 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions4.rkt 26:5 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions4.rkt 25:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- unboxed call site
TR opt: unboxed-let-functions4.rkt 25:2 (f 3.0 (+ 1.0+2.0i 2.0+4.0i)) -- call to fun with unboxed args
6.0+6.0i
)

2
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions5.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: unboxed-let-functions5.rkt 19:12 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions5.rkt 19:15 1.0+2.0i -- unboxed literal
TR opt: unboxed-let-functions5.rkt 19:24 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions5.rkt 19:12 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
3.0+6.0i
)

34
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions6.rkt
View File

@ -1,21 +1,23 @@
#;
(
TR opt: unboxed-let-functions6.rkt 25:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) (+ z 0.0+1.0i) (loop (+ z (car l)) (cdr l)))) -- unboxed call site
TR opt: unboxed-let-functions6.rkt 25:6 loop -- unboxed let loop
TR opt: unboxed-let-functions6.rkt 25:6 loop -- fun -> unboxed fun
TR opt: unboxed-let-functions6.rkt 25:31 z -- unboxed var -> table
TR opt: unboxed-let-functions6.rkt 25:51 0.0+0.0i -- unboxed literal
TR opt: unboxed-let-functions6.rkt 28:10 (+ z 0.0+1.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions6.rkt 28:13 z -- leave var unboxed
TR opt: unboxed-let-functions6.rkt 28:13 z -- unbox float-complex
TR opt: unboxed-let-functions6.rkt 28:15 0.0+1.0i -- unboxed literal
TR opt: unboxed-let-functions6.rkt 29:10 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args
TR opt: unboxed-let-functions6.rkt 29:10 (loop (+ z (car l)) (cdr l)) -- unboxed call site
TR opt: unboxed-let-functions6.rkt 29:16 (+ z (car l)) -- unboxed binary float complex
TR opt: unboxed-let-functions6.rkt 29:19 z -- leave var unboxed
TR opt: unboxed-let-functions6.rkt 29:21 (car l) -- float-arg-expr in complex ops
TR opt: unboxed-let-functions6.rkt 29:21 (car l) -- pair
TR opt: unboxed-let-functions6.rkt 30:16 (cdr l) -- pair
TR opt: unboxed-let-functions6.rkt 30:13 z -- unbox float-complex
TR opt: unboxed-let-functions6.rkt 30:15 0.0+1.0i -- unboxed literal
TR opt: unboxed-let-functions6.rkt 30:10 (+ z 0.0+1.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions6.rkt 27:31 z -- unboxed var -> table
TR opt: unboxed-let-functions6.rkt 27:6 loop -- fun -> unboxed fun
TR opt: unboxed-let-functions6.rkt 30:13 z -- leave var unboxed
TR opt: unboxed-let-functions6.rkt 30:15 0.0+1.0i -- unboxed literal
TR opt: unboxed-let-functions6.rkt 30:10 (+ z 0.0+1.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions6.rkt 31:19 z -- leave var unboxed
TR opt: unboxed-let-functions6.rkt 31:21 (car l) -- pair
TR opt: unboxed-let-functions6.rkt 31:21 (car l) -- float-arg-expr in complex ops
TR opt: unboxed-let-functions6.rkt 31:16 (+ z (car l)) -- unboxed binary float complex
TR opt: unboxed-let-functions6.rkt 31:10 (loop (+ z (car l)) (cdr l)) -- unboxed call site
TR opt: unboxed-let-functions6.rkt 32:16 (cdr l) -- pair
TR opt: unboxed-let-functions6.rkt 31:10 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args
TR opt: unboxed-let-functions6.rkt 27:51 0.0+0.0i -- unboxed literal
TR opt: unboxed-let-functions6.rkt 27:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) (+ z 0.0+1.0i) (loop (+ z (car l)) (cdr l)))) -- unboxed call site
TR opt: unboxed-let-functions6.rkt 27:6 loop -- unboxed let loop
6.0+1.0i
)

31
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions7.rkt
View File

@ -1,19 +1,22 @@
#;
(
TR opt: unboxed-let-functions7.rkt 24:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) z (loop (+ z (car l)) (cdr l)))) -- unboxed call site
TR opt: unboxed-let-functions7.rkt 24:6 loop -- unboxed let loop
TR opt: unboxed-let-functions7.rkt 24:6 loop -- fun -> unboxed fun
TR opt: unboxed-let-functions7.rkt 24:31 z -- unboxed var -> table
TR opt: unboxed-let-functions7.rkt 24:51 0.0+0.0i -- unboxed literal
TR opt: unboxed-let-functions7.rkt 27:6 z -- unboxed complex variable
TR opt: unboxed-let-functions7.rkt 28:6 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args
TR opt: unboxed-let-functions7.rkt 28:6 (loop (+ z (car l)) (cdr l)) -- unboxed call site
TR opt: unboxed-let-functions7.rkt 28:12 (+ z (car l)) -- unboxed binary float complex
TR opt: unboxed-let-functions7.rkt 28:15 z -- leave var unboxed
TR opt: unboxed-let-functions7.rkt 28:15 z -- unbox float-complex
TR opt: unboxed-let-functions7.rkt 28:17 (car l) -- float-arg-expr in complex ops
TR opt: unboxed-let-functions7.rkt 28:17 (car l) -- pair
TR opt: unboxed-let-functions7.rkt 29:12 (cdr l) -- pair
TR opt: unboxed-let-functions7.rkt 31:15 z -- unbox float-complex
TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- pair
TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- float-arg-expr in complex ops
TR opt: unboxed-let-functions7.rkt 31:12 (+ z (car l)) -- unboxed binary float complex
TR opt: unboxed-let-functions7.rkt 27:31 z -- unboxed var -> table
TR opt: unboxed-let-functions7.rkt 27:6 loop -- fun -> unboxed fun
TR opt: unboxed-let-functions7.rkt 30:6 z -- unboxed complex variable
TR opt: unboxed-let-functions7.rkt 31:15 z -- leave var unboxed
TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- pair
TR opt: unboxed-let-functions7.rkt 31:17 (car l) -- float-arg-expr in complex ops
TR opt: unboxed-let-functions7.rkt 31:12 (+ z (car l)) -- unboxed binary float complex
TR opt: unboxed-let-functions7.rkt 31:6 (loop (+ z (car l)) (cdr l)) -- unboxed call site
TR opt: unboxed-let-functions7.rkt 32:12 (cdr l) -- pair
TR opt: unboxed-let-functions7.rkt 31:6 (loop (+ z (car l)) (cdr l)) -- call to fun with unboxed args
TR opt: unboxed-let-functions7.rkt 27:51 0.0+0.0i -- unboxed literal
TR opt: unboxed-let-functions7.rkt 27:0 (let: loop : Float-Complex ((z : Float-Complex 0.0+0.0i) (l : (Listof Integer) (quote (1 2 3)))) (if (null? l) z (loop (+ z (car l)) (cdr l)))) -- unboxed call site
TR opt: unboxed-let-functions7.rkt 27:6 loop -- unboxed let loop
6.0+0.0i
)

2
collects/tests/typed-racket/optimizer/tests/unboxed-let-functions8.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: unboxed-let-functions8.rkt 14:64 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let-functions8.rkt 14:67 x -- unbox float-complex
TR opt: unboxed-let-functions8.rkt 14:69 2.0+4.0i -- unboxed literal
TR opt: unboxed-let-functions8.rkt 14:64 (+ x 2.0+4.0i) -- unboxed binary float complex
3.0+6.0i
)

38
collects/tests/typed-racket/optimizer/tests/unboxed-let.rkt
View File

@ -1,21 +1,27 @@
#;
(
TR opt: unboxed-let.rkt 27:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings
TR opt: unboxed-let.rkt 27:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings
TR opt: unboxed-let.rkt 27:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings
TR opt: unboxed-let.rkt 27:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let.rkt 27:14 1.0+2.0i -- unboxed literal
TR opt: unboxed-let.rkt 27:23 2.0+4.0i -- unboxed literal
TR opt: unboxed-let.rkt 28:11 (- t1 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-let.rkt 28:14 t1 -- leave var unboxed
TR opt: unboxed-let.rkt 28:14 t1 -- unbox float-complex
TR opt: unboxed-let.rkt 28:17 3.0+6.0i -- unboxed literal
TR opt: unboxed-let.rkt 29:11 4.0+8.0i -- unboxed literal
TR opt: unboxed-let.rkt 30:2 (+ t2 t3) -- unboxed binary float complex
TR opt: unboxed-let.rkt 30:5 t2 -- leave var unboxed
TR opt: unboxed-let.rkt 30:5 t2 -- unbox float-complex
TR opt: unboxed-let.rkt 30:8 t3 -- leave var unboxed
TR opt: unboxed-let.rkt 30:8 t3 -- unbox float-complex
TR opt: unboxed-let.rkt 34:14 t1 -- unbox float-complex
TR opt: unboxed-let.rkt 34:17 3.0+6.0i -- unboxed literal
TR opt: unboxed-let.rkt 34:11 (- t1 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-let.rkt 33:14 1.0+2.0i -- unboxed literal
TR opt: unboxed-let.rkt 33:23 2.0+4.0i -- unboxed literal
TR opt: unboxed-let.rkt 33:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let.rkt 33:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings
TR opt: unboxed-let.rkt 36:5 t2 -- unbox float-complex
TR opt: unboxed-let.rkt 36:8 t3 -- unbox float-complex
TR opt: unboxed-let.rkt 36:2 (+ t2 t3) -- unboxed binary float complex
TR opt: unboxed-let.rkt 34:14 t1 -- leave var unboxed
TR opt: unboxed-let.rkt 34:17 3.0+6.0i -- unboxed literal
TR opt: unboxed-let.rkt 34:11 (- t1 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-let.rkt 33:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings
TR opt: unboxed-let.rkt 36:5 t2 -- leave var unboxed
TR opt: unboxed-let.rkt 36:8 t3 -- unbox float-complex
TR opt: unboxed-let.rkt 36:2 (+ t2 t3) -- unboxed binary float complex
TR opt: unboxed-let.rkt 35:11 4.0+8.0i -- unboxed literal
TR opt: unboxed-let.rkt 33:0 (let* ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (- t1 3.0+6.0i)) (t3 4.0+8.0i)) (+ t2 t3)) -- unboxed let bindings
TR opt: unboxed-let.rkt 36:5 t2 -- leave var unboxed
TR opt: unboxed-let.rkt 36:8 t3 -- leave var unboxed
TR opt: unboxed-let.rkt 36:2 (+ t2 t3) -- unboxed binary float complex
4.0+8.0i
)

28
collects/tests/typed-racket/optimizer/tests/unboxed-let2.rkt
View File

@ -1,17 +1,21 @@
#;
(
TR opt: unboxed-let2.rkt 21:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i))) (+ t1 t2)) -- unboxed let bindings
TR opt: unboxed-let2.rkt 21:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 21:13 1.0+2.0i -- unboxed literal
TR opt: unboxed-let2.rkt 21:22 2.0+4.0i -- unboxed literal
TR opt: unboxed-let2.rkt 22:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 22:13 3.0+6.0i -- unboxed literal
TR opt: unboxed-let2.rkt 22:22 4.0+8.0i -- unboxed literal
TR opt: unboxed-let2.rkt 23:2 (+ t1 t2) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 23:5 t1 -- leave var unboxed
TR opt: unboxed-let2.rkt 23:5 t1 -- unbox float-complex
TR opt: unboxed-let2.rkt 23:8 t2 -- leave var unboxed
TR opt: unboxed-let2.rkt 23:8 t2 -- unbox float-complex
TR opt: unboxed-let2.rkt 27:5 t1 -- unbox float-complex
TR opt: unboxed-let2.rkt 27:8 t2 -- unbox float-complex
TR opt: unboxed-let2.rkt 27:2 (+ t1 t2) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 27:5 t1 -- unbox float-complex
TR opt: unboxed-let2.rkt 27:8 t2 -- unbox float-complex
TR opt: unboxed-let2.rkt 27:2 (+ t1 t2) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 25:13 1.0+2.0i -- unboxed literal
TR opt: unboxed-let2.rkt 25:22 2.0+4.0i -- unboxed literal
TR opt: unboxed-let2.rkt 25:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 26:13 3.0+6.0i -- unboxed literal
TR opt: unboxed-let2.rkt 26:22 4.0+8.0i -- unboxed literal
TR opt: unboxed-let2.rkt 26:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: unboxed-let2.rkt 25:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i))) (+ t1 t2)) -- unboxed let bindings
TR opt: unboxed-let2.rkt 27:5 t1 -- leave var unboxed
TR opt: unboxed-let2.rkt 27:8 t2 -- leave var unboxed
TR opt: unboxed-let2.rkt 27:2 (+ t1 t2) -- unboxed binary float complex
10.0+20.0i
)

20
collects/tests/typed-racket/optimizer/tests/unboxed-let3.rkt
View File

@ -1,14 +1,16 @@
#;
(
TR opt: unboxed-let3.rkt 25:0 (let ((x (+ 1.0+2.0i 2.0+4.0i))) (if (even? 2) x (+ x 2.0+4.0i))) -- unboxed let bindings
TR opt: unboxed-let3.rkt 25:9 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let3.rkt 25:12 1.0+2.0i -- unboxed literal
TR opt: unboxed-let3.rkt 25:21 2.0+4.0i -- unboxed literal
TR opt: unboxed-let3.rkt 27:6 x -- unboxed complex variable
TR opt: unboxed-let3.rkt 28:6 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let3.rkt 28:9 x -- leave var unboxed
TR opt: unboxed-let3.rkt 28:9 x -- unbox float-complex
TR opt: unboxed-let3.rkt 28:11 2.0+4.0i -- unboxed literal
TR opt: unboxed-let3.rkt 30:9 x -- unbox float-complex
TR opt: unboxed-let3.rkt 30:11 2.0+4.0i -- unboxed literal
TR opt: unboxed-let3.rkt 30:6 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let3.rkt 27:12 1.0+2.0i -- unboxed literal
TR opt: unboxed-let3.rkt 27:21 2.0+4.0i -- unboxed literal
TR opt: unboxed-let3.rkt 27:9 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-let3.rkt 27:0 (let ((x (+ 1.0+2.0i 2.0+4.0i))) (if (even? 2) x (+ x 2.0+4.0i))) -- unboxed let bindings
TR opt: unboxed-let3.rkt 29:6 x -- unboxed complex variable
TR opt: unboxed-let3.rkt 30:9 x -- leave var unboxed
TR opt: unboxed-let3.rkt 30:11 2.0+4.0i -- unboxed literal
TR opt: unboxed-let3.rkt 30:6 (+ x 2.0+4.0i) -- unboxed binary float complex
3.0+6.0i
)

18
collects/tests/typed-racket/optimizer/tests/unboxed-letrec-syntaxes+values.rkt
View File

@ -1,13 +1,15 @@
#;
(
TR opt: unboxed-letrec-syntaxes+values.rkt 17:0 (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (+ 1.0+2.0i 2.0+4.0i))) (+ x 2.0+4.0i)) -- unboxed let bindings
TR opt: unboxed-letrec-syntaxes+values.rkt 18:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-letrec-syntaxes+values.rkt 18:33 1.0+2.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 18:42 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 19:24 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-letrec-syntaxes+values.rkt 19:27 x -- leave var unboxed
TR opt: unboxed-letrec-syntaxes+values.rkt 19:27 x -- unbox float-complex
TR opt: unboxed-letrec-syntaxes+values.rkt 19:29 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 21:27 x -- unbox float-complex
TR opt: unboxed-letrec-syntaxes+values.rkt 21:29 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 21:24 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-letrec-syntaxes+values.rkt 20:33 1.0+2.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 20:42 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 20:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-letrec-syntaxes+values.rkt 19:0 (letrec-syntaxes+values (((s) (syntax-rules () ((_ x) x)))) (((x) (+ 1.0+2.0i 2.0+4.0i))) (+ x 2.0+4.0i)) -- unboxed let bindings
TR opt: unboxed-letrec-syntaxes+values.rkt 21:27 x -- leave var unboxed
TR opt: unboxed-letrec-syntaxes+values.rkt 21:29 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec-syntaxes+values.rkt 21:24 (+ x 2.0+4.0i) -- unboxed binary float complex
5.0+10.0i
)

24
collects/tests/typed-racket/optimizer/tests/unboxed-letrec.rkt
View File

@ -1,15 +1,19 @@
#;
(
TR opt: unboxed-letrec.rkt 21:0 (letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x))) (x : Float-Complex 1.0+2.0i) (y : Float-Complex (+ 2.0+4.0i 3.0+6.0i))) (+ x y)) -- unboxed let bindings
TR opt: unboxed-letrec.rkt 22:31 1.0+2.0i -- unboxed literal
TR opt: unboxed-letrec.rkt 23:31 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-letrec.rkt 23:34 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec.rkt 23:43 3.0+6.0i -- unboxed literal
TR opt: unboxed-letrec.rkt 24:2 (+ x y) -- unboxed binary float complex
TR opt: unboxed-letrec.rkt 24:5 x -- leave var unboxed
TR opt: unboxed-letrec.rkt 24:5 x -- unbox float-complex
TR opt: unboxed-letrec.rkt 24:7 y -- leave var unboxed
TR opt: unboxed-letrec.rkt 24:7 y -- unbox float-complex
TR opt: unboxed-letrec.rkt 28:5 x -- unbox float-complex
TR opt: unboxed-letrec.rkt 28:7 y -- unbox float-complex
TR opt: unboxed-letrec.rkt 28:2 (+ x y) -- unboxed binary float complex
TR opt: unboxed-letrec.rkt 28:5 x -- unbox float-complex
TR opt: unboxed-letrec.rkt 28:7 y -- unbox float-complex
TR opt: unboxed-letrec.rkt 28:2 (+ x y) -- unboxed binary float complex
TR opt: unboxed-letrec.rkt 26:31 1.0+2.0i -- unboxed literal
TR opt: unboxed-letrec.rkt 27:34 2.0+4.0i -- unboxed literal
TR opt: unboxed-letrec.rkt 27:43 3.0+6.0i -- unboxed literal
TR opt: unboxed-letrec.rkt 27:31 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: unboxed-letrec.rkt 25:0 (letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x))) (x : Float-Complex 1.0+2.0i) (y : Float-Complex (+ 2.0+4.0i 3.0+6.0i))) (+ x y)) -- unboxed let bindings
TR opt: unboxed-letrec.rkt 28:5 x -- leave var unboxed
TR opt: unboxed-letrec.rkt 28:7 y -- leave var unboxed
TR opt: unboxed-letrec.rkt 28:2 (+ x y) -- unboxed binary float complex
6.0+12.0i
)

28
collects/tests/typed-racket/optimizer/tests/unboxed-make-rectangular.rkt
View File

@ -1,17 +1,21 @@
#;
(
TR opt: unboxed-make-rectangular.rkt 25:0 (let ((x (make-rectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings
TR opt: unboxed-make-rectangular.rkt 25:9 (make-rectangular 1.0 2.0) -- make-rectangular elimination
TR opt: unboxed-make-rectangular.rkt 26:2 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-make-rectangular.rkt 26:5 x -- leave var unboxed
TR opt: unboxed-make-rectangular.rkt 26:5 x -- unbox float-complex
TR opt: unboxed-make-rectangular.rkt 26:7 2.0+4.0i -- unboxed literal
TR opt: unboxed-make-rectangular.rkt 27:0 (let ((x (unsafe-make-flrectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings
TR opt: unboxed-make-rectangular.rkt 27:9 (unsafe-make-flrectangular 1.0 2.0) -- make-rectangular elimination
TR opt: unboxed-make-rectangular.rkt 28:2 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-make-rectangular.rkt 28:5 x -- leave var unboxed
TR opt: unboxed-make-rectangular.rkt 28:5 x -- unbox float-complex
TR opt: unboxed-make-rectangular.rkt 28:7 2.0+4.0i -- unboxed literal
TR opt: unboxed-make-rectangular.rkt 30:5 x -- unbox float-complex
TR opt: unboxed-make-rectangular.rkt 30:7 2.0+4.0i -- unboxed literal
TR opt: unboxed-make-rectangular.rkt 30:2 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-make-rectangular.rkt 29:9 (make-rectangular 1.0 2.0) -- make-rectangular elimination
TR opt: unboxed-make-rectangular.rkt 29:0 (let ((x (make-rectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings
TR opt: unboxed-make-rectangular.rkt 30:5 x -- leave var unboxed
TR opt: unboxed-make-rectangular.rkt 30:7 2.0+4.0i -- unboxed literal
TR opt: unboxed-make-rectangular.rkt 30:2 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-make-rectangular.rkt 32:5 x -- unbox float-complex
TR opt: unboxed-make-rectangular.rkt 32:7 2.0+4.0i -- unboxed literal
TR opt: unboxed-make-rectangular.rkt 32:2 (+ x 2.0+4.0i) -- unboxed binary float complex
TR opt: unboxed-make-rectangular.rkt 31:9 (unsafe-make-flrectangular 1.0 2.0) -- make-rectangular elimination
TR opt: unboxed-make-rectangular.rkt 31:0 (let ((x (unsafe-make-flrectangular 1.0 2.0))) (+ x 2.0+4.0i)) -- unboxed let bindings
TR opt: unboxed-make-rectangular.rkt 32:5 x -- leave var unboxed
TR opt: unboxed-make-rectangular.rkt 32:7 2.0+4.0i -- unboxed literal
TR opt: unboxed-make-rectangular.rkt 32:2 (+ x 2.0+4.0i) -- unboxed binary float complex
3.0+6.0i
3.0+6.0i
)

111
collects/tests/typed-racket/optimizer/tests/vector-sum.rkt
View File

@ -1,29 +1,92 @@
#;
(
TR opt: vector-sum.rkt 41:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr
TR opt: vector-sum.rkt 41:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp
TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr
TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 40:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 40:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 40:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 41:15 sum -- dead else branch
TR opt: vector-sum.rkt 41:15 sum -- dead else branch
TR opt: vector-sum.rkt 43:4 (+ sum (vector-ref v i)) -- binary float
TR opt: vector-sum.rkt 43:11 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum comp
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 103:4 (vector-set! v i (sin (exact->inexact i))) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 103:26 (exact->inexact i) -- fixnum to float
TR opt: vector-sum.rkt 103:21 (sin (exact->inexact i)) -- unary float
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 102:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum comp
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 106:11 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: vector-sum.rkt 106:4 (+ sum (vector-ref v i)) -- binary float
TR opt: vector-sum.rkt 104:15 sum -- dead else branch
TR opt: vector-sum.rkt 104:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr
TR opt: vector-sum.rkt 92:0 #%module-begin -- dead else branch
)
#lang typed/racket

2
collects/tests/typed-racket/optimizer/tests/zero.rkt
View File

@ -1,8 +1,8 @@
#;
(
TR opt: zero.rkt 13:0 (zero? 1) -- fixnum zero?
TR opt: zero.rkt 14:0 (zero? (sqrt 3.0)) -- float zero?
TR opt: zero.rkt 14:7 (sqrt 3.0) -- unary float
TR opt: zero.rkt 14:0 (zero? (sqrt 3.0)) -- float zero?
#f
#f
)