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

Separated out the tr log and output.

Browse Source
This commit is contained in:
Eric Dobson 2013-06-20 22:19:39 -07:00
parent 87e86d2ea7
commit a328fe6ac4
159 changed files with 1774 additions and 1369 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt
View File

@ -1,9 +1,12 @@
#; #;#;
#<<END
TR missed opt: all-real.rkt 30:0 (+ (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 30:8 3, 30:21 4
TR info: all-real.rkt 30:0 (+ (ann 3 Real) (ann 4 Real)) -- exact real arith
TR missed opt: all-real.rkt 31:0 (* (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 31:8 3, 31:21 4
TR info: all-real.rkt 31:0 (* (ann 3 Real) (ann 4 Real)) -- exact real arith
END
#<<END #<<END
TR missed opt: all-real.rkt 27:0 (+ (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 27:8 3, 27:21 4
TR info: all-real.rkt 27:0 (+ (ann 3 Real) (ann 4 Real)) -- exact real arith
TR missed opt: all-real.rkt 28:0 (* (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 28:8 3, 28:21 4
TR info: all-real.rkt 28:0 (* (ann 3 Real) (ann 4 Real)) -- exact real arith
7 7
12 12

33
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/fixnum.rkt
View File

@ -1,19 +1,22 @@
#; #;#;
#<<END
TR opt: fixnum.rkt 33:10 (* x y) -- fixnum bounded expr
TR missed opt: fixnum.rkt 36:0 (+ (ann z Fixnum) 234) -- out of fixnum range
TR missed opt: fixnum.rkt 37:0 (* (ann x Index) (ann y Index)) -- out of fixnum range
TR opt: fixnum.rkt 40:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 40:15 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 40:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum.rkt 40:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 40:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 40:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 40:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 41:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 41:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 41:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 41:17 (+ 301 302) -- fixnum bounded expr
END
#<<END #<<END
TR opt: fixnum.rkt 36:10 (* x y) -- fixnum bounded expr
TR missed opt: fixnum.rkt 39:0 (+ (ann z Fixnum) 234) -- out of fixnum range
TR missed opt: fixnum.rkt 40:0 (* (ann x Index) (ann y Index)) -- out of fixnum range
TR opt: fixnum.rkt 43:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 43:15 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 43:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum.rkt 43:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 43:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 43:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 43:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 44:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 44:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 44:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 44:17 (+ 301 302) -- fixnum bounded expr
468 468
234 234
234 234

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multi-file1.rkt
View File

@ -1,9 +1,10 @@
#; #;#;
#<<END #<<END
TR missed opt: multi-file1.rkt 13:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 13:12 3 TR missed opt: multi-file1.rkt 14:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 14:12 3
TR info: multi-file1.rkt 13:2 (* x (ann 3 Integer)) -- exact real arith TR info: multi-file1.rkt 14:2 (* x (ann 3 Integer)) -- exact real arith
END END
""
#lang typed/racket #lang typed/racket
(provide f) (provide f)

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt
View File

@ -1,9 +1,12 @@
#; #;#;
#<<END
TR missed opt: multi-file1.rkt 14:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 14:12 3
TR info: multi-file1.rkt 14:2 (* x (ann 3 Integer)) -- exact real arith
TR opt: multi-file2.rkt 17:10 (+ 3 5) -- fixnum bounded expr
TR opt: multi-file2.rkt 17:3 (* 3.4 (+ 3 5)) -- binary float
END
#<<END #<<END
TR missed opt: multi-file1.rkt 13:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 13:12 3
TR info: multi-file1.rkt 13:2 (* x (ann 3 Integer)) -- exact real arith
TR opt: multi-file2.rkt 14:10 (+ 3 5) -- fixnum bounded expr
TR opt: multi-file2.rkt 14:3 (* 3.4 (+ 3 5)) -- binary float
81.6 81.6
END END

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multiple-irritants.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR missed opt: multiple-irritants.rkt 14:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- all args float-arg-expr, result not Float -- caused by: 14:8 4, 14:24 5
TR info: multiple-irritants.rkt 14:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- exact real arith
END
#<<END #<<END
TR missed opt: multiple-irritants.rkt 11:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- all args float-arg-expr, result not Float -- caused by: 11:8 4, 11:24 5
TR info: multiple-irritants.rkt 11:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- exact real arith
120.0 120.0
END END

45
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/nested-same-kind.rkt
View File

@ -1,25 +1,28 @@
#; #;#;
#<<END
TR missed opt: nested-same-kind.rkt 38:7 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 38:19 4
TR info: nested-same-kind.rkt 38:7 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 38:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 38:7 (* 3.0 (ann 4 Integer))
TR info: nested-same-kind.rkt 38:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact real arith
TR missed opt: nested-same-kind.rkt 39:14 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 39:26 4
TR info: nested-same-kind.rkt 39:14 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 39:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 39:14 (* 3.0 (ann 4 Integer))
TR info: nested-same-kind.rkt 39:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact real arith
TR missed opt: nested-same-kind.rkt 39:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- all args float-arg-expr, result not Float -- caused by: 39:7 (* 2.0 (* 3.0 (ann 4 Integer)))
TR info: nested-same-kind.rkt 39:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- exact real arith
TR missed opt: nested-same-kind.rkt 40:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- all args float-arg-expr, result not Float -- caused by: 40:19 4, 40:35 5
TR info: nested-same-kind.rkt 40:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 40:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- all args float-arg-expr, result not Float -- caused by: 40:7 (* 3.0 (ann 4 Integer) (ann 5 Integer))
TR info: nested-same-kind.rkt 40:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- exact real arith
TR missed opt: nested-same-kind.rkt 41:3 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 41:15 4
TR info: nested-same-kind.rkt 41:3 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 41:27 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 41:39 4
TR info: nested-same-kind.rkt 41:27 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 41:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 41:3 (* 3.0 (ann 4 Integer)), 41:27 (* 3.0 (ann 4 Integer))
TR info: nested-same-kind.rkt 41:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact real arith
END
#<<END #<<END
TR missed opt: nested-same-kind.rkt 35:7 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 35:19 4
TR info: nested-same-kind.rkt 35:7 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 35:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 35:7 (* 3.0 (ann 4 Integer))
TR info: nested-same-kind.rkt 35:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact real arith
TR missed opt: nested-same-kind.rkt 36:14 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 36:26 4
TR info: nested-same-kind.rkt 36:14 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 36:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 36:14 (* 3.0 (ann 4 Integer))
TR info: nested-same-kind.rkt 36:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact real arith
TR missed opt: nested-same-kind.rkt 36:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- all args float-arg-expr, result not Float -- caused by: 36:7 (* 2.0 (* 3.0 (ann 4 Integer)))
TR info: nested-same-kind.rkt 36:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- exact real arith
TR missed opt: nested-same-kind.rkt 37:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- all args float-arg-expr, result not Float -- caused by: 37:19 4, 37:35 5
TR info: nested-same-kind.rkt 37:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 37:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- all args float-arg-expr, result not Float -- caused by: 37:7 (* 3.0 (ann 4 Integer) (ann 5 Integer))
TR info: nested-same-kind.rkt 37:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- exact real arith
TR missed opt: nested-same-kind.rkt 38:3 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 38:15 4
TR info: nested-same-kind.rkt 38:3 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 38:27 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 38:39 4
TR info: nested-same-kind.rkt 38:27 (* 3.0 (ann 4 Integer)) -- exact real arith
TR missed opt: nested-same-kind.rkt 38:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 38:3 (* 3.0 (ann 4 Integer)), 38:27 (* 3.0 (ann 4 Integer))
TR info: nested-same-kind.rkt 38:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact real arith
24.0 24.0
24.0 24.0
120.0 120.0

71
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/pair.rkt
View File

@ -1,38 +1,41 @@
#; #;#;
#<<END
TR missed opt: pair.rkt 62:0 (car (ann (list 1 2 3) (Listof Byte))) -- car/cdr on a potentially empty list -- caused by: 62:10 (list 1 2 3)
TR opt: pair.rkt 63:0 (car (list 1 2 3)) -- pair
TR missed opt: pair.rkt 64:0 (cdr (ann (list 1 2 3) (Listof Byte))) -- car/cdr on a potentially empty list -- caused by: 64:10 (list 1 2 3)
TR opt: pair.rkt 65:0 (cdr (list 1 2 3)) -- pair
TR opt: pair.rkt 66:0 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 66:5 (cdr (list 1 2 3)) -- pair
TR opt: pair.rkt 67:0 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 67:5 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 67:10 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 68:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 68:21 (cdr (cdr (cdr (list 1 2 3))))
TR opt: pair.rkt 68:21 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 68:26 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 68:31 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 71:0 (mcar (values (ann (mlist 1) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 71:6 (values (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 72:0 (mcar (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 73:0 (mcdr (values (ann (mlist 1) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 73:6 (values (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 74:0 (mcdr (mlist 1 2 3)) -- pair
TR opt: pair.rkt 75:0 (mcdr (mcdr (mlist 1 2 3))) -- pair
TR opt: pair.rkt 75:6 (mcdr (mlist 1 2 3)) -- pair
TR opt: pair.rkt 76:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- pair
TR opt: pair.rkt 76:6 (mcdr (mcdr (mlist 1 2 3))) -- pair
TR opt: pair.rkt 76:12 (mcdr (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 77:0 (set-mcar! (values (ann (mlist 2) (MListof Byte))) 2) -- car/cdr on a potentially empty list -- caused by: 77:11 (values (ann (mlist 2) (MListof Byte)))
TR opt: pair.rkt 78:0 (set-mcar! (mlist 2 3 4) 2) -- pair
TR missed opt: pair.rkt 79:0 (set-mcdr! (values (ann (mlist 2) (MListof Byte))) (values (ann (mlist 2) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 79:11 (values (ann (mlist 2) (MListof Byte)))
TR opt: pair.rkt 81:0 (mcar (mcons 2 3)) -- pair
TR opt: pair.rkt 82:0 (mcdr (mcons 2 3)) -- pair
TR opt: pair.rkt 83:0 (set-mcar! (mcons 2 3) 3) -- pair
TR opt: pair.rkt 84:0 (set-mcdr! (mcons 2 3) 4) -- pair
TR missed opt: pair.rkt 85:17 (mcar (quote ())) -- car/cdr on a potentially empty list -- caused by: 85:23 (quote ())
TR missed opt: pair.rkt 86:17 (mcdr (quote ())) -- car/cdr on a potentially empty list -- caused by: 86:23 (quote ())
TR missed opt: pair.rkt 87:17 (set-mcar! (quote ()) 2) -- car/cdr on a potentially empty list -- caused by: 87:28 (quote ())
TR missed opt: pair.rkt 88:17 (set-mcdr! (ann (quote ()) (MListof Integer)) (ann (mlist 3) (MListof Integer))) -- car/cdr on a potentially empty list -- caused by: 88:33 (quote ())
END
#<<END #<<END
TR missed opt: pair.rkt 59:0 (car (ann (list 1 2 3) (Listof Byte))) -- car/cdr on a potentially empty list -- caused by: 59:10 (list 1 2 3)
TR opt: pair.rkt 60:0 (car (list 1 2 3)) -- pair
TR missed opt: pair.rkt 61:0 (cdr (ann (list 1 2 3) (Listof Byte))) -- car/cdr on a potentially empty list -- caused by: 61:10 (list 1 2 3)
TR opt: pair.rkt 62:0 (cdr (list 1 2 3)) -- pair
TR opt: pair.rkt 63:0 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 63:5 (cdr (list 1 2 3)) -- pair
TR opt: pair.rkt 64:0 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 64:5 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 64:10 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 65:16 (cdr (cdr (cdr (cdr (list 1 2 3))))) -- car/cdr on a potentially empty list -- caused by: 65:21 (cdr (cdr (cdr (list 1 2 3))))
TR opt: pair.rkt 65:21 (cdr (cdr (cdr (list 1 2 3)))) -- pair
TR opt: pair.rkt 65:26 (cdr (cdr (list 1 2 3))) -- pair
TR opt: pair.rkt 65:31 (cdr (list 1 2 3)) -- pair
TR missed opt: pair.rkt 68:0 (mcar (values (ann (mlist 1) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 68:6 (values (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 69:0 (mcar (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 70:0 (mcdr (values (ann (mlist 1) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 70:6 (values (ann (mlist 1) (MListof Byte)))
TR opt: pair.rkt 71:0 (mcdr (mlist 1 2 3)) -- pair
TR opt: pair.rkt 72:0 (mcdr (mcdr (mlist 1 2 3))) -- pair
TR opt: pair.rkt 72:6 (mcdr (mlist 1 2 3)) -- pair
TR opt: pair.rkt 73:0 (mcdr (mcdr (mcdr (mlist 1 2 3)))) -- pair
TR opt: pair.rkt 73:6 (mcdr (mcdr (mlist 1 2 3))) -- pair
TR opt: pair.rkt 73:12 (mcdr (mlist 1 2 3)) -- pair
TR missed opt: pair.rkt 74:0 (set-mcar! (values (ann (mlist 2) (MListof Byte))) 2) -- car/cdr on a potentially empty list -- caused by: 74:11 (values (ann (mlist 2) (MListof Byte)))
TR opt: pair.rkt 75:0 (set-mcar! (mlist 2 3 4) 2) -- pair
TR missed opt: pair.rkt 76:0 (set-mcdr! (values (ann (mlist 2) (MListof Byte))) (values (ann (mlist 2) (MListof Byte)))) -- car/cdr on a potentially empty list -- caused by: 76:11 (values (ann (mlist 2) (MListof Byte)))
TR opt: pair.rkt 78:0 (mcar (mcons 2 3)) -- pair
TR opt: pair.rkt 79:0 (mcdr (mcons 2 3)) -- pair
TR opt: pair.rkt 80:0 (set-mcar! (mcons 2 3) 3) -- pair
TR opt: pair.rkt 81:0 (set-mcdr! (mcons 2 3) 4) -- pair
TR missed opt: pair.rkt 82:17 (mcar (quote ())) -- car/cdr on a potentially empty list -- caused by: 82:23 (quote ())
TR missed opt: pair.rkt 83:17 (mcdr (quote ())) -- car/cdr on a potentially empty list -- caused by: 83:23 (quote ())
TR missed opt: pair.rkt 84:17 (set-mcar! (quote ()) 2) -- car/cdr on a potentially empty list -- caused by: 84:28 (quote ())
TR missed opt: pair.rkt 85:17 (set-mcdr! (ann (quote ()) (MListof Integer)) (ann (mlist 3) (MListof Integer))) -- car/cdr on a potentially empty list -- caused by: 85:33 (quote ())
1 1
1 1
'(2 3) '(2 3)

43
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/precision-loss.rkt
View File

@ -1,24 +1,27 @@
#; #;#;
#<<END
TR info: precision-loss.rkt 39:3 (* 3/4 2/3) -- exact real arith
TR missed opt: precision-loss.rkt 39:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 39:3 (* 3/4 2/3)
TR opt: precision-loss.rkt 39:0 (+ (* 3/4 2/3) 2.0) -- binary float
TR opt: precision-loss.rkt 41:0 (+ 3/4 2.0) -- binary float
TR info: precision-loss.rkt 43:3 (- 3/4) -- exact real arith
TR missed opt: precision-loss.rkt 43:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 43:3 (- 3/4)
TR opt: precision-loss.rkt 43:0 (+ (- 3/4) 2.0) -- binary float
TR info: precision-loss.rkt 45:39 (+ 1/4 3/4) -- exact real arith
TR missed opt: precision-loss.rkt 45:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- all args float-arg-expr, result not Float -- caused by: 45:3 (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?))
TR info: precision-loss.rkt 45:39 (+ 1/4 3/4) -- exact real arith
TR missed opt: precision-loss.rkt 51:3 (* (r 3/4) 2/3) -- all args float-arg-expr, result not Float -- caused by: 51:6 (r 3/4), 51:14 2/3
TR info: precision-loss.rkt 51:3 (* (r 3/4) 2/3) -- exact real arith
TR opt: precision-loss.rkt 52:3 (car (list (* 2.0 (* (r 3/4) 2/3)))) -- pair
TR missed opt: precision-loss.rkt 52:21 (* (r 3/4) 2/3) -- all args float-arg-expr, result not Float -- caused by: 52:24 (r 3/4), 52:32 2/3
TR info: precision-loss.rkt 52:21 (* (r 3/4) 2/3) -- exact real arith
TR missed opt: precision-loss.rkt 52:14 (* 2.0 (* (r 3/4) 2/3)) -- all args float-arg-expr, result not Float -- caused by: 52:21 (* (r 3/4) 2/3)
TR info: precision-loss.rkt 52:14 (* 2.0 (* (r 3/4) 2/3)) -- exact real arith
TR missed opt: precision-loss.rkt 51:0 (* (* (r 3/4) 2/3) (car (list (* 2.0 (* (r 3/4) 2/3)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 51:3 (* (r 3/4) 2/3), 52:3 (car (list (* 2.0 (* (r 3/4) 2/3))))
TR info: precision-loss.rkt 51:0 (* (* (r 3/4) 2/3) (car (list (* 2.0 (* (r 3/4) 2/3)))) 2.0) -- exact real arith
END
#<<END #<<END
TR info: precision-loss.rkt 37:3 (* 3/4 2/3) -- exact real arith
TR missed opt: precision-loss.rkt 37:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 37:3 (* 3/4 2/3)
TR opt: precision-loss.rkt 37:0 (+ (* 3/4 2/3) 2.0) -- binary float
TR opt: precision-loss.rkt 39:0 (+ 3/4 2.0) -- binary float
TR info: precision-loss.rkt 41:3 (- 3/4) -- exact real arith
TR missed opt: precision-loss.rkt 41:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 41:3 (- 3/4)
TR opt: precision-loss.rkt 41:0 (+ (- 3/4) 2.0) -- binary float
TR info: precision-loss.rkt 43:39 (+ 1/4 3/4) -- exact real arith
TR missed opt: precision-loss.rkt 43:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- all args float-arg-expr, result not Float -- caused by: 43:3 (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?))
TR info: precision-loss.rkt 43:39 (+ 1/4 3/4) -- exact real arith
TR missed opt: precision-loss.rkt 49:3 (* (r 3/4) 2/3) -- all args float-arg-expr, result not Float -- caused by: 49:6 (r 3/4), 49:14 2/3
TR info: precision-loss.rkt 49:3 (* (r 3/4) 2/3) -- exact real arith
TR opt: precision-loss.rkt 50:3 (car (list (* 2.0 (* (r 3/4) 2/3)))) -- pair
TR missed opt: precision-loss.rkt 50:21 (* (r 3/4) 2/3) -- all args float-arg-expr, result not Float -- caused by: 50:24 (r 3/4), 50:32 2/3
TR info: precision-loss.rkt 50:21 (* (r 3/4) 2/3) -- exact real arith
TR missed opt: precision-loss.rkt 50:14 (* 2.0 (* (r 3/4) 2/3)) -- all args float-arg-expr, result not Float -- caused by: 50:21 (* (r 3/4) 2/3)
TR info: precision-loss.rkt 50:14 (* 2.0 (* (r 3/4) 2/3)) -- exact real arith
TR missed opt: precision-loss.rkt 49:0 (* (* (r 3/4) 2/3) (car (list (* 2.0 (* (r 3/4) 2/3)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 49:3 (* (r 3/4) 2/3), 50:3 (car (list (* 2.0 (* (r 3/4) 2/3))))
TR info: precision-loss.rkt 49:0 (* (* (r 3/4) 2/3) (car (list (* 2.0 (* (r 3/4) 2/3)))) 2.0) -- exact real arith
2.5 2.5
2.75 2.75
1.25 1.25

19
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt
View File

@ -1,12 +1,15 @@
#; #;#;
#<<END
TR missed opt: real-in-float-expr.rkt 24:0 (* (ann 3 Real) 2.3) -- all args float-arg-expr, result not Float -- caused by: 24:8 3
TR info: real-in-float-expr.rkt 24:0 (* (ann 3 Real) 2.3) -- exact real arith
TR opt: real-in-float-expr.rkt 29:0 (* 2 3) -- fixnum bounded expr
TR opt: real-in-float-expr.rkt 30:0 (+ 2 3) -- fixnum bounded expr
TR info: real-in-float-expr.rkt 31:0 (+ 2/3 3/4) -- exact real arith
TR missed opt: real-in-float-expr.rkt 33:0 (* (ann 2 Natural) 2.0) -- all args float-arg-expr, result not Float -- caused by: 33:8 2
TR info: real-in-float-expr.rkt 33:0 (* (ann 2 Natural) 2.0) -- exact real arith
END
#<<END #<<END
TR missed opt: real-in-float-expr.rkt 21:0 (* (ann 3 Real) 2.3) -- all args float-arg-expr, result not Float -- caused by: 21:8 3
TR info: real-in-float-expr.rkt 21:0 (* (ann 3 Real) 2.3) -- exact real arith
TR opt: real-in-float-expr.rkt 26:0 (* 2 3) -- fixnum bounded expr
TR opt: real-in-float-expr.rkt 27:0 (+ 2 3) -- fixnum bounded expr
TR info: real-in-float-expr.rkt 28:0 (+ 2/3 3/4) -- exact real arith
TR missed opt: real-in-float-expr.rkt 30:0 (* (ann 2 Natural) 2.0) -- all args float-arg-expr, result not Float -- caused by: 30:8 2
TR info: real-in-float-expr.rkt 30:0 (* (ann 2 Natural) 2.0) -- exact real arith
6.8999999999999995 6.8999999999999995
6 6
5 5

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/unary-float.rkt
View File

@ -1,11 +1,14 @@
#; #;#;
#<<END
TR missed opt: unary-float.rkt 21:0 (sin (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 21:10 3.4
TR info: unary-float.rkt 21:0 (sin (ann 3.4 Real)) -- exact real arith
TR missed opt: unary-float.rkt 22:0 (sin 3) -- all args float-arg-expr, result not Float -- caused by: 22:5 3
TR info: unary-float.rkt 22:0 (sin 3) -- exact real arith
TR missed opt: unary-float.rkt 23:0 (abs (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 23:10 3.4
TR info: unary-float.rkt 23:0 (abs (ann 3.4 Real)) -- exact real arith
END
#<<END #<<END
TR missed opt: unary-float.rkt 18:0 (sin (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 18:10 3.4
TR info: unary-float.rkt 18:0 (sin (ann 3.4 Real)) -- exact real arith
TR missed opt: unary-float.rkt 19:0 (sin 3) -- all args float-arg-expr, result not Float -- caused by: 19:5 3
TR info: unary-float.rkt 19:0 (sin 3) -- exact real arith
TR missed opt: unary-float.rkt 20:0 (abs (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 20:10 3.4
TR info: unary-float.rkt 20:0 (abs (ann 3.4 Real)) -- exact real arith
-0.2555411020268312 -0.2555411020268312
0.1411200080598672 0.1411200080598672
3.4 3.4

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/unexpected-complex.rkt
View File

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

20
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/run.rkt
View File

@ -14,21 +14,15 @@
(test-suite (test-suite
(format "Log Comparison for ~a" name) (format "Log Comparison for ~a" name)
(test-begin (test-begin
;; ugly, but otherwise rackunit spews the entire logs to (define-values (log output) (generate-log name dir))
;; stderr, and they can be quite long (define-values (expected-log expected-output)
(define-values (tr-log output) (generate-log name dir))
(check-equal?
;; actual log
(with-input-from-string
(string-append "(" tr-log output ")")
read)
;; expected log
(with-input-from-file (build-path dir name) (with-input-from-file (build-path dir name)
(lambda () ; from the test file (lambda () ; from the test file
(read-line) ; skip the #; (read-line) ; skip the #;#;
(with-input-from-string (read) (values (read) (read)))))
(lambda ()
(for/list ((v (in-port))) v))))))))) (check-equal? log expected-log)
(check-equal? output expected-output))))
(define-runtime-path tests-dir "./tests") (define-runtime-path tests-dir "./tests")

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/add1.rkt
View File

@ -1,9 +1,12 @@
#; #;#;
#<<END
TR opt: add1.rkt 18:5 (add1 5) -- fixnum add1
TR opt: add1.rkt 19:5 (sub1 3) -- fixnum sub1
TR opt: add1.rkt 20:5 (add1 2.3) -- float add1
TR opt: add1.rkt 21:5 (sub1 2.25) -- float sub1
END
#<<END #<<END
TR opt: add1.rkt 15:5 (add1 5) -- fixnum add1
TR opt: add1.rkt 16:5 (sub1 3) -- fixnum sub1
TR opt: add1.rkt 17:5 (add1 2.3) -- float add1
TR opt: add1.rkt 18:5 (sub1 2.25) -- float sub1
6 6
2 2
3.3 3.3

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/annotations.rkt
View File

@ -1,11 +1,12 @@
#; #;#;
#<<END #<<END
TR opt: annotations.rkt 11:10 (+ 1.0 2.0) -- binary float TR opt: annotations.rkt 12:10 (+ 1.0 2.0) -- binary float
TR opt: annotations.rkt 14:10 (+ 1.0 2.0) -- binary float TR opt: annotations.rkt 15:10 (+ 1.0 2.0) -- binary float
TR opt: annotations.rkt 17:10 (+ 1.0 2.0) -- binary float TR opt: annotations.rkt 18:10 (+ 1.0 2.0) -- binary float
TR opt: annotations.rkt 19:15 (+ 1.0 2.0) -- binary float TR opt: annotations.rkt 20:15 (+ 1.0 2.0) -- binary float
END END
""
#lang typed/racket #:optimize #lang typed/racket #:optimize
(define a (+ 1.0 2.0)) (define a (+ 1.0 2.0))

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/apply-plus.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: apply-plus.rkt 16:0 (apply + (map add1 (list 1 2 3))) -- apply-map
TR opt: apply-plus.rkt 17:0 (apply * (map add1 (list 1 2 3))) -- apply-map
END
#<<END #<<END
TR opt: apply-plus.rkt 13:0 (apply + (map add1 (list 1 2 3))) -- apply-map
TR opt: apply-plus.rkt 14:0 (apply * (map add1 (list 1 2 3))) -- apply-map
9 9
24 24

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/begin-float.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: begin-float.rkt 16:7 (- 2.0 3.0) -- binary float
TR opt: begin-float.rkt 17:7 (* 2.0 3.0) -- binary float
END
#<<END #<<END
TR opt: begin-float.rkt 13:7 (- 2.0 3.0) -- binary float
TR opt: begin-float.rkt 14:7 (* 2.0 3.0) -- binary float
-1.0 -1.0
6.0 6.0

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/binary-fixnum.rkt
View File

@ -1,9 +1,10 @@
#; #;#;
#<<END #<<END
TR opt: binary-fixnum.rkt 13:15 (vector-length v) -- vector-length TR opt: binary-fixnum.rkt 14:15 (vector-length v) -- vector-length
TR opt: binary-fixnum.rkt 13:2 (bitwise-and (vector-length v) 1) -- binary fixnum TR opt: binary-fixnum.rkt 14:2 (bitwise-and (vector-length v) 1) -- binary fixnum
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: binary-nonzero-fixnum.rkt 15:8 (vector-length (quote #(1 2 3))) -- known-length vector-length
TR opt: binary-nonzero-fixnum.rkt 15:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum
END
#<<END #<<END
TR opt: binary-nonzero-fixnum.rkt 12:8 (vector-length (quote #(1 2 3))) -- known-length vector-length
TR opt: binary-nonzero-fixnum.rkt 12:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum
1 1
END END

33
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/bounds-check.rkt
View File

@ -1,19 +1,22 @@
#; #;#;
#<<END
TR opt: bounds-check.rkt 35:2 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 38:2 (vector-set! v i n) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 41:2 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 44:2 (vector-set! v i n) -- vector partial bounds checking elimination
TR info: bounds-check.rkt 47:1 displayln -- hidden parameter
TR info: bounds-check.rkt 49:1 displayln -- hidden parameter
TR info: bounds-check.rkt 51:1 displayln -- hidden parameter
TR opt: bounds-check.rkt 56:2 (flvector-ref v i) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 59:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 62:2 (flvector-ref v i) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 65:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
TR info: bounds-check.rkt 68:1 displayln -- hidden parameter
TR info: bounds-check.rkt 70:1 displayln -- hidden parameter
TR info: bounds-check.rkt 72:1 displayln -- hidden parameter
END
#<<END #<<END
TR opt: bounds-check.rkt 32:2 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 35:2 (vector-set! v i n) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 38:2 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 41:2 (vector-set! v i n) -- vector partial bounds checking elimination
TR info: bounds-check.rkt 44:1 displayln -- hidden parameter
TR info: bounds-check.rkt 46:1 displayln -- hidden parameter
TR info: bounds-check.rkt 48:1 displayln -- hidden parameter
TR opt: bounds-check.rkt 53:2 (flvector-ref v i) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 56:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 59:2 (flvector-ref v i) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 62:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
TR info: bounds-check.rkt 65:1 displayln -- hidden parameter
TR info: bounds-check.rkt 67:1 displayln -- hidden parameter
TR info: bounds-check.rkt 69:1 displayln -- hidden parameter
3 3
4 4
5 5

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/box.rkt
View File

@ -1,8 +1,11 @@
#; #;#;
#<<END
TR opt: box.rkt 21:0 (unbox x) -- box
TR opt: box.rkt 22:0 (set-box! x 2) -- box
TR opt: box.rkt 23:0 (unbox x) -- box
END
#<<END #<<END
TR opt: box.rkt 18:0 (unbox x) -- box
TR opt: box.rkt 19:0 (set-box! x 2) -- box
TR opt: box.rkt 20:0 (unbox x) -- box
1 1
2 2

19
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/case-arrow.rkt
View File

@ -1,15 +1,16 @@
#; #;#;
#<<END #<<END
TR missed opt: case-arrow.rkt 42:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 42:18 max, 42:22 min TR missed opt: case-arrow.rkt 43:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 43:18 max, 43:22 min
TR info: case-arrow.rkt 42:15 (- max min) -- exact real arith TR info: case-arrow.rkt 43:15 (- max min) -- exact real arith
TR missed opt: case-arrow.rkt 42:12 (* (- max min) x) -- all args float-arg-expr, result not Float -- caused by: 42:15 (- max min), 42:27 x TR missed opt: case-arrow.rkt 43:12 (* (- max min) x) -- all args float-arg-expr, result not Float -- caused by: 43:15 (- max min), 43:27 x
TR info: case-arrow.rkt 42:12 (* (- max min) x) -- exact real arith TR info: case-arrow.rkt 43:12 (* (- max min) x) -- exact real arith
TR missed opt: case-arrow.rkt 42:9 (/ (* (- max min) x) p) -- all args float-arg-expr, result not Float -- caused by: 42:12 (* (- max min) x), 42:30 p TR missed opt: case-arrow.rkt 43:9 (/ (* (- max min) x) p) -- all args float-arg-expr, result not Float -- caused by: 43:12 (* (- max min) x), 43:30 p
TR info: case-arrow.rkt 42:9 (/ (* (- max min) x) p) -- exact real arith TR info: case-arrow.rkt 43:9 (/ (* (- max min) x) p) -- exact real arith
TR missed opt: case-arrow.rkt 42:2 (+ min (/ (* (- max min) x) p)) -- all args float-arg-expr, result not Float -- caused by: 42:5 min, 42:9 (/ (* (- max min) x) p) TR missed opt: case-arrow.rkt 43:2 (+ min (/ (* (- max min) x) p)) -- all args float-arg-expr, result not Float -- caused by: 43:5 min, 43:9 (/ (* (- max min) x) p)
TR info: case-arrow.rkt 42:2 (+ min (/ (* (- max min) x) p)) -- exact real arith TR info: case-arrow.rkt 43:2 (+ min (/ (* (- max min) x) p)) -- exact real arith
END END
""
#lang typed/racket #lang typed/racket

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/case-lambda-dead-branch.rkt
View File

@ -1,9 +1,10 @@
#; #;#;
#<<END #<<END
TR opt: case-lambda-dead-branch.rkt 13:5 (x y) -- dead case-lambda branch TR opt: case-lambda-dead-branch.rkt 14:5 (x y) -- dead case-lambda branch
TR opt: case-lambda-dead-branch.rkt 19:5 (x y) -- dead case-lambda branch TR opt: case-lambda-dead-branch.rkt 20:5 (x y) -- dead case-lambda branch
END END
""
#lang typed/racket #lang typed/racket
(: f (case-> (Symbol Symbol -> String))) (: f (case-> (Symbol Symbol -> String)))

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/complex-exp.rkt
View File

@ -1,9 +1,12 @@
#; #;#;
#<<END
TR opt: complex-exp.rkt 16:8 0 -- float-arg-expr in complex ops
TR opt: complex-exp.rkt 16:3 (exp 0) -- unboxed unary float complex
TR opt: complex-exp.rkt 16:11 1.0+2.0i -- unboxed literal
TR opt: complex-exp.rkt 16:0 (- (exp 0) 1.0+2.0i) -- unboxed binary float complex
END
#<<END #<<END
TR opt: complex-exp.rkt 13:8 0 -- float-arg-expr in complex ops
TR opt: complex-exp.rkt 13:3 (exp 0) -- unboxed unary float complex
TR opt: complex-exp.rkt 13:11 1.0+2.0i -- unboxed literal
TR opt: complex-exp.rkt 13:0 (- (exp 0) 1.0+2.0i) -- unboxed binary float complex
0.0-2.0i 0.0-2.0i
END END

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/cross-module-struct.rkt
View File

@ -1,7 +1,8 @@
#; #;#;
#<<END #<<END
END END
""
#lang typed/scheme #:optimize #lang typed/scheme #:optimize

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/cross-module-struct2.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: cross-module-struct2.rkt 15:0 (x-x a) -- struct ref
END
#<<END #<<END
TR opt: cross-module-struct2.rkt 12:0 (x-x a) -- struct ref
1 1
END END

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/dead-else.rkt
View File

@ -1,13 +1,14 @@
#; #;#;
#<<END #<<END
TR info: dead-else.rkt 13:1 display -- hidden parameter TR info: dead-else.rkt 14:1 display -- hidden parameter
TR opt: dead-else.rkt 15:13 (+ 4.0 5.0) -- dead else branch TR opt: dead-else.rkt 16:13 (+ 4.0 5.0) -- dead else branch
TR opt: dead-else.rkt 14:13 (+ 2.0 3.0) -- binary float TR opt: dead-else.rkt 15:13 (+ 2.0 3.0) -- binary float
TR info: dead-else.rkt 16:1 display -- hidden parameter TR info: dead-else.rkt 17:1 display -- hidden parameter
TR opt: dead-else.rkt 18:13 (+ 4.0 5.0) -- dead else branch TR opt: dead-else.rkt 19:13 (+ 4.0 5.0) -- dead else branch
TR opt: dead-else.rkt 17:13 (+ 2.0 3.0) -- binary float TR opt: dead-else.rkt 18:13 (+ 2.0 3.0) -- binary float
5.05.0
END END
"5.05.0"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(display (if (number? 3) (display (if (number? 3)

109
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/dead-inf-comp.rkt
View File

@ -1,65 +1,68 @@
#; #;#;
#<<END #<<END
TR opt: dead-inf-comp.rkt 106:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 109:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 108:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 111:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 111:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 115:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 114:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 119:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 118:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 121:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 122:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 124:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 124:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 128:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 127:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 132:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 131:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 134:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 135:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 137:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 137:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 141:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 140:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 145:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 144:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 147:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 148:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 150:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 150:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 154:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 153:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 159:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 157:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 157:4 (< rat +inf.f) -- exact real arith TR opt: dead-inf-comp.rkt 162:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 161:4 (quote dead) -- dead then branch TR info: dead-inf-comp.rkt 160:4 (< rat +inf.f) -- exact real arith
TR info: dead-inf-comp.rkt 160:4 (< +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 164:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 164:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 163:4 (< rat -inf.f) -- exact real arith TR info: dead-inf-comp.rkt 163:4 (< +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 168:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 167:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 166:4 (< -inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 166:4 (< rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 172:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 171:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 170:4 (> +inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 169:4 (< -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 174:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 175:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 173:4 (> rat +inf.f) -- exact real arith TR info: dead-inf-comp.rkt 173:4 (> +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 177:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 177:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 176:4 (> -inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 176:4 (> rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 181:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 180:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 179:4 (> rat -inf.f) -- exact real arith TR info: dead-inf-comp.rkt 179:4 (> -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 185:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 184:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 183:4 (<= rat +inf.f) -- exact real arith TR info: dead-inf-comp.rkt 182:4 (> rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 187:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 188:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 186:4 (<= +inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 186:4 (<= rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 190:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 190:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 189:4 (<= rat -inf.f) -- exact real arith TR info: dead-inf-comp.rkt 189:4 (<= +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 194:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 193:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 192:4 (<= -inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 192:4 (<= rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 198:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 197:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 196:4 (>= +inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 195:4 (<= -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 200:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 201:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 199:4 (>= rat +inf.f) -- exact real arith TR info: dead-inf-comp.rkt 199:4 (>= +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 203:4 (quote dead) -- dead then branch TR opt: dead-inf-comp.rkt 203:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 202:4 (>= -inf.f rat) -- exact real arith TR info: dead-inf-comp.rkt 202:4 (>= rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 207:4 (quote dead) -- dead else branch TR opt: dead-inf-comp.rkt 206:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 205:4 (>= rat -inf.f) -- exact real arith TR info: dead-inf-comp.rkt 205:4 (>= -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 100:0 #%module-begin -- in-range TR opt: dead-inf-comp.rkt 210:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 100:0 #%module-begin -- dead else branch TR info: dead-inf-comp.rkt 208:4 (>= rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 100:0 #%module-begin -- dead else branch TR opt: dead-inf-comp.rkt 103:0 #%module-begin -- in-range
TR opt: dead-inf-comp.rkt 100:0 #%module-begin -- dead else branch TR opt: dead-inf-comp.rkt 103:0 #%module-begin -- dead else branch
TR opt: dead-inf-comp.rkt 210:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch TR opt: dead-inf-comp.rkt 103:0 #%module-begin -- dead else branch
TR opt: dead-inf-comp.rkt 210:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch TR opt: dead-inf-comp.rkt 103:0 #%module-begin -- dead else branch
TR info: dead-inf-comp.rkt 210:41 displayln -- hidden parameter TR opt: dead-inf-comp.rkt 213:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR opt: dead-inf-comp.rkt 210:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch TR opt: dead-inf-comp.rkt 213:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR opt: dead-inf-comp.rkt 210:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch TR info: dead-inf-comp.rkt 213:41 displayln -- hidden parameter
TR opt: dead-inf-comp.rkt 210:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch TR opt: dead-inf-comp.rkt 213:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR info: dead-inf-comp.rkt 210:41 displayln -- hidden parameter TR opt: dead-inf-comp.rkt 213:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR opt: dead-inf-comp.rkt 210:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch TR opt: dead-inf-comp.rkt 213:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR info: dead-inf-comp.rkt 213:41 displayln -- hidden parameter
TR opt: dead-inf-comp.rkt 213:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
END
#<<END
'live 'live
'live 'live
'live 'live

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/dead-substructs.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR info: dead-substructs.rkt 29:4 make-child1 -- struct constructor
TR info: dead-substructs.rkt 30:4 make-child2 -- struct constructor
END
#<<END #<<END
TR info: dead-substructs.rkt 26:4 make-child1 -- struct constructor
TR info: dead-substructs.rkt 27:4 make-child2 -- struct constructor
1 1
2 2

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/dead-then.rkt
View File

@ -1,13 +1,14 @@
#; #;#;
#<<END #<<END
TR info: dead-then.rkt 13:1 display -- hidden parameter TR info: dead-then.rkt 14:1 display -- hidden parameter
TR opt: dead-then.rkt 14:13 (+ 2.0 3.0) -- dead then branch TR opt: dead-then.rkt 15:13 (+ 2.0 3.0) -- dead then branch
TR opt: dead-then.rkt 15:13 (+ 4.0 5.0) -- binary float TR opt: dead-then.rkt 16:13 (+ 4.0 5.0) -- binary float
TR info: dead-then.rkt 16:1 display -- hidden parameter TR info: dead-then.rkt 17:1 display -- hidden parameter
TR opt: dead-then.rkt 17:13 (+ 2.0 3.0) -- dead then branch TR opt: dead-then.rkt 18:13 (+ 2.0 3.0) -- dead then branch
TR opt: dead-then.rkt 18:13 (+ 4.0 5.0) -- binary float TR opt: dead-then.rkt 19:13 (+ 4.0 5.0) -- binary float
9.09.0
END END
"9.09.0"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(display (if (number? "eh") (display (if (number? "eh")

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/define-begin-float.rkt
View File

@ -1,10 +1,11 @@
#; #;#;
#<<END #<<END
TR info: define-begin-float.rkt 11:18 display -- hidden parameter TR info: define-begin-float.rkt 12:18 display -- hidden parameter
TR opt: define-begin-float.rkt 11:26 (- 2.0 3.0) -- binary float TR opt: define-begin-float.rkt 12:26 (- 2.0 3.0) -- binary float
TR opt: define-begin-float.rkt 12:17 (* 2.0 3.0) -- binary float TR opt: define-begin-float.rkt 13:17 (* 2.0 3.0) -- binary float
-1.0
END END
"-1.0"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/define-call-float.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR opt: define-call-float.rkt 10:16 (+ 1.0 2.0) -- binary float TR opt: define-call-float.rkt 11:16 (+ 1.0 2.0) -- binary float
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/define-float.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR opt: define-float.rkt 10:10 (+ 1.0 2.0) -- binary float TR opt: define-float.rkt 11:10 (+ 1.0 2.0) -- binary float
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/define-pair.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR opt: define-pair.rkt 10:10 (car (quote (1 3))) -- pair TR opt: define-pair.rkt 11:10 (car (quote (1 3))) -- pair
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

21
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/derived-pair.rkt
View File

@ -1,13 +1,16 @@
#; #;#;
#<<END
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 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
END
#<<END #<<END
TR opt: derived-pair.rkt 20:0 (caar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 20:0 (caar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 21:0 (cadr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 21:0 (cadr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 22:0 (cdar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 22:0 (cdar (cons (cons 1 2) 3)) -- pair
TR opt: derived-pair.rkt 23:0 (cddr (cons 1 (cons 2 3))) -- pair
TR opt: derived-pair.rkt 23:0 (cddr (cons 1 (cons 2 3))) -- pair
1 1
2 2
2 2

53
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/derived-pair2.rkt
View File

@ -1,29 +1,32 @@
#; #;#;
#<<END
TR opt: derived-pair2.rkt 43:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 43:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 43:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 44:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 44:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 44:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 45:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 45:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 45:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 46:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 46:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 46:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 47:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 48:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 49:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 50:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 50:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
END
#<<END #<<END
TR opt: derived-pair2.rkt 40:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 40:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 40:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 41:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 41:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 41:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 42:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 42:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 42:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 43:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 43:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 43:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 44:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 44:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 44:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 45:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 45:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 45:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 46:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 46:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 46:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 47:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 47:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
1 1
2 2
2 2

133
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/derived-pair3.rkt
View File

@ -1,69 +1,72 @@
#; #;#;
#<<END
TR opt: derived-pair3.rkt 91:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 91:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 91:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 91:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 92:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 92:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 92:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 92:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 93:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 93:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 93:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 93:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 94:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 94:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 94:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 94:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 95:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 95:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 95:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 95:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 96:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 96:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 96:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 96:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 97:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 97:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 97:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 97:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 98:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 98:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 98:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 98:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 100:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 100:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 100:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 100:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 101:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 101:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 101:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 101:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 102:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 102:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 102:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 102:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 103:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 104:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 104:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 105:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 105:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 106:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 106:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 106:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 106:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
END
#<<END #<<END
TR opt: derived-pair3.rkt 88:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 88:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 88:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 88:0 (caaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 89:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 89:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 89:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 89:0 (caaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 90:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 90:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 90:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 90:0 (caadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 91:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 91:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 91:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 91:0 (caaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 92:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 92:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 92:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 92:0 (cadaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 93:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 93:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 93:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 93:0 (cadadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 94:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 94:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 94:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 94:0 (caddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 95:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 95:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 95:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 95:0 (cadddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 96:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 96:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 96:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 96:0 (cdaaar (cons (cons (cons (cons 1 2) 3) 4) 5)) -- pair
TR opt: derived-pair3.rkt 97:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 97:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 97:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 97:0 (cdaadr (cons 1 (cons (cons (cons 2 3) 4) 5))) -- pair
TR opt: derived-pair3.rkt 98:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 98:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 98:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 98:0 (cdadar (cons (cons 1 (cons (cons 2 3) 4)) 5)) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 99:0 (cdaddr (cons 1 (cons 2 (cons (cons 3 4) 5)))) -- pair
TR opt: derived-pair3.rkt 100:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 100:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 100:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 100:0 (cddaar (cons (cons (cons 1 (cons 2 3)) 4) 5)) -- pair
TR opt: derived-pair3.rkt 101:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 101:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 101:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 101:0 (cddadr (cons 1 (cons (cons 2 (cons 3 4)) 5))) -- pair
TR opt: derived-pair3.rkt 102:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 102:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 102:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 102:0 (cdddar (cons (cons 1 (cons 2 (cons 3 4))) 5)) -- pair
TR opt: derived-pair3.rkt 103:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 103:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 103:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
TR opt: derived-pair3.rkt 103:0 (cddddr (cons 1 (cons 2 (cons 3 (cons 4 5))))) -- pair
1 1
2 2
2 2

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/different-langs.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR info: different-langs.rkt 15:0 (/ 1 2) -- exact real arith
END
#<<END #<<END
TR info: different-langs.rkt 12:0 (/ 1 2) -- exact real arith
1/2 1/2
END END

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/double-float.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: double-float.rkt 14:0 (+ 2.0 2.0 2.0) -- binary float
END
#<<END #<<END
TR opt: double-float.rkt 11:0 (+ 2.0 2.0 2.0) -- binary float
6.0 6.0
END END

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/drop-pure-pred.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: drop-pure-pred.rkt 18:6 (list 2) -- dead else branch
TR opt: drop-pure-pred.rkt 16:6 (exact-integer? x) -- useless pure code
END
#<<END #<<END
TR opt: drop-pure-pred.rkt 16:6 (list 2) -- dead else branch
TR opt: drop-pure-pred.rkt 14:6 (exact-integer? x) -- useless pure code
'(1) '(1)
END END

21
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/exact-inexact.rkt
View File

@ -1,13 +1,16 @@
#; #;#;
#<<END
TR opt: exact-inexact.rkt 26:0 (exact->inexact (expt 10 100)) -- int to float
TR opt: exact-inexact.rkt 27:7 (exact->inexact (expt 2.3 3.2)) -- float to float
TR opt: exact-inexact.rkt 27:0 (round (exact->inexact (expt 2.3 3.2))) -- unary float
TR opt: exact-inexact.rkt 28:0 (real->double-flonum (expt 10 100)) -- int to float
TR opt: exact-inexact.rkt 29:7 (real->double-flonum (expt 2.3 3.2)) -- float to float
TR opt: exact-inexact.rkt 29:0 (round (real->double-flonum (expt 2.3 3.2))) -- unary float
TR opt: exact-inexact.rkt 32:0 (exact->inexact (expt 1.0f0 2.0f0)) -- single-float to single-float
TR opt: exact-inexact.rkt 33:0 (real->single-flonum (expt 1.0f0 2.0f0)) -- single-float to single-float
END
#<<END #<<END
TR opt: exact-inexact.rkt 23:0 (exact->inexact (expt 10 100)) -- int to float
TR opt: exact-inexact.rkt 24:7 (exact->inexact (expt 2.3 3.2)) -- float to float
TR opt: exact-inexact.rkt 24:0 (round (exact->inexact (expt 2.3 3.2))) -- unary float
TR opt: exact-inexact.rkt 25:0 (real->double-flonum (expt 10 100)) -- int to float
TR opt: exact-inexact.rkt 26:7 (real->double-flonum (expt 2.3 3.2)) -- float to float
TR opt: exact-inexact.rkt 26:0 (round (real->double-flonum (expt 2.3 3.2))) -- unary float
TR opt: exact-inexact.rkt 29:0 (exact->inexact (expt 1.0f0 2.0f0)) -- single-float to single-float
TR opt: exact-inexact.rkt 30:0 (real->single-flonum (expt 1.0f0 2.0f0)) -- single-float to single-float
1e+100 1e+100
14.0 14.0
1e+100 1e+100

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/expt.rkt
View File

@ -1,9 +1,10 @@
#; #;#;
#<<END #<<END
TR missed opt: expt.rkt 14:13 (expt (sin 0.25) 1.0) -- unexpected complex type TR missed opt: expt.rkt 15:13 (expt (sin 0.25) 1.0) -- unexpected complex type
TR opt: expt.rkt 14:19 (sin 0.25) -- unary float TR opt: expt.rkt 15:19 (sin 0.25) -- unary float
END END
""
#lang typed/racket #lang typed/racket

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/false-huh-dead-code.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: false-huh-dead-code.rkt 14:16 1 -- dead then branch
TR opt: false-huh-dead-code.rkt 15:13 1 -- dead then branch
END
#<<END #<<END
TR opt: false-huh-dead-code.rkt 11:16 1 -- dead then branch
TR opt: false-huh-dead-code.rkt 12:13 1 -- dead then branch
2 2
2 2

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/fixnum-bounded-expr.rkt
View File

@ -1,4 +1,4 @@
#; #;#;
#<<END #<<END
TR opt: fixnum-bounded-expr.rkt 70:2 (+ x (sqr y)) -- fixnum bounded expr TR opt: fixnum-bounded-expr.rkt 70:2 (+ x (sqr y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 76:7 (* y y) -- fixnum bounded expr TR opt: fixnum-bounded-expr.rkt 76:7 (* y y) -- fixnum bounded expr
@ -27,6 +27,9 @@ TR opt: fixnum-bounded-expr.rkt 100:0 (fx- (+ 300 301) (+ 301 302)) -- fixnum fx
TR opt: fixnum-bounded-expr.rkt 103:0 (fx* 4 5) -- fixnum fx* TR opt: fixnum-bounded-expr.rkt 103:0 (fx* 4 5) -- fixnum fx*
TR opt: fixnum-bounded-expr.rkt 106:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Negative-Fixnum)) -- fixnum fxquotient TR opt: fixnum-bounded-expr.rkt 106:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Negative-Fixnum)) -- fixnum fxquotient
TR opt: fixnum-bounded-expr.rkt 109:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs TR opt: fixnum-bounded-expr.rkt 109:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs
END
#<<END
28 28
89525 89525
28 28

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/fixnum-comparison.rkt
View File

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

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-comp.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: float-comp.rkt 14:0 (< 1.0 2.0) -- binary float comp
END
#<<END #<<END
TR opt: float-comp.rkt 11:0 (< 1.0 2.0) -- binary float comp
#t #t
END END

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-conjugate-top.rkt
View File

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

15
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-conjugate.rkt
View File

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

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-div.rkt
View File

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

19
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-fixnum.rkt
View File

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

63
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-float-div.rkt
View File

@ -1,35 +1,38 @@
#; #;#;
#<<END #<<END
TR opt: float-complex-float-div.rkt 41:62 x -- unbox float-complex TR opt: float-complex-float-div.rkt 44:62 x -- unbox float-complex
TR opt: float-complex-float-div.rkt 41:51 (real-part x) -- complex accessor elimination TR opt: float-complex-float-div.rkt 44:51 (real-part x) -- complex accessor elimination
TR opt: float-complex-float-div.rkt 42:62 x -- unbox float-complex TR opt: float-complex-float-div.rkt 45:62 x -- unbox float-complex
TR opt: float-complex-float-div.rkt 42:51 (imag-part x) -- complex accessor elimination TR opt: float-complex-float-div.rkt 45:51 (imag-part x) -- complex accessor elimination
TR opt: float-complex-float-div.rkt 44:9 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 47:9 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 44:13 2.0+4.0i -- unboxed literal TR opt: float-complex-float-div.rkt 47:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 44:6 (/ 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 47:6 (/ 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 45:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 45:18 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 45:6 (/ 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 46:9 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 46:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 46:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 46:6 (/ 1.0 2.0+4.0i 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 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 47:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 47:6 (/ 1.0+2.0i 2.0 3.0+6.0i) -- 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:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 48:18 2.0+4.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:27 3.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 48:6 (/ 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 48:6 (/ 1.0+2.0i 2.0+4.0i 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:9 1.0+2.0i -- unboxed literal TR opt: float-complex-float-div.rkt 49:13 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 49:18 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 49:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 49:22 3.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 49:6 (/ 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 49:6 (/ 1.0+2.0i 2.0 3.0) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 50:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 50:9 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 50:18 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 50:13 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-div.rkt 50:22 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 50:17 3.0+6.0i -- unboxed literal TR opt: float-complex-float-div.rkt 50:6 (/ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 50:6 (/ 1.0 2.0 3.0+6.0i) -- unboxed binary float complex TR opt: float-complex-float-div.rkt 51:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 51:18 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 51:27 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 51:6 (/ 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 52:9 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 52:18 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 52:22 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 52:6 (/ 1.0+2.0i 2.0 3.0) -- unboxed binary float complex
TR opt: float-complex-float-div.rkt 53:9 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 53:13 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-div.rkt 53:17 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-div.rkt 53:6 (/ 1.0 2.0 3.0+6.0i) -- unboxed binary float complex
END
#<<END
'("0.1000000000-0.2000000000" "0.50000000001.0000000000" "-0.0200000000-0.0266666667" "0.16666666670.0000000000" "0.16666666670.0000000000" "0.16666666670.3333333333" "0.0333333333-0.0666666667") '("0.1000000000-0.2000000000" "0.50000000001.0000000000" "-0.0200000000-0.0266666667" "0.16666666670.0000000000" "0.16666666670.0000000000" "0.16666666670.3333333333" "0.0333333333-0.0666666667")
END END

47
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-float-mul.rkt
View File

@ -1,27 +1,30 @@
#; #;#;
#<<END #<<END
TR opt: float-complex-float-mul.rkt 37:3 1.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 40:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 37:7 2.0+4.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 40:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 37:0 (* 1.0 2.0+4.0i) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 40:0 (* 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 38:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 38:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 38:0 (* 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 39:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 39:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 39:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 39:0 (* 1.0 2.0+4.0i 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 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 40:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 40:0 (* 1.0+2.0i 2.0 3.0+6.0i) -- 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:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 41:12 2.0+4.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:21 3.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 41:0 (* 1.0+2.0i 2.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 41:0 (* 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 42:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 42:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float-mul.rkt 42:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 42:12 2.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 42:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 42:16 3.0 -- float-arg-expr in complex ops TR opt: float-complex-float-mul.rkt 42:0 (* 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 42:0 (* 1.0+2.0i 2.0 3.0) -- unboxed binary float complex TR opt: float-complex-float-mul.rkt 43:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 43:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 43:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 43:0 (* 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 44:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 44:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 44:21 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 44:0 (* 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-mul.rkt 45:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-mul.rkt 45:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 45:16 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-mul.rkt 45:0 (* 1.0+2.0i 2.0 3.0) -- unboxed binary float complex
END
#<<END
2.0+4.0i 2.0+4.0i
2.0+4.0i 2.0+4.0i
-18.0+24.0i -18.0+24.0i

41
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-float-small.rkt
View File

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

35
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-float.rkt
View File

@ -1,21 +1,24 @@
#; #;#;
#<<END #<<END
TR opt: float-complex-float.rkt 29:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 29:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 29:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 29:0 (+ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 30:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 30:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float.rkt 30:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 30:0 (- 1.0 2.0+4.0i 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 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 31:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 31:0 (- 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 32:3 1.0+2.0i -- unboxed literal TR opt: float-complex-float.rkt 32:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 32:12 2.0+4.0i -- unboxed literal TR opt: float-complex-float.rkt 32:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 32:21 3.0 -- float-arg-expr in complex ops TR opt: float-complex-float.rkt 32:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 32:0 (- 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex TR opt: float-complex-float.rkt 32:0 (+ 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 33:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 33:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float.rkt 33:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 33:0 (- 1.0 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 34:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 34:12 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 34:16 3.0+6.0i -- unboxed literal
TR opt: float-complex-float.rkt 34:0 (- 1.0+2.0i 2.0 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-float.rkt 35:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float.rkt 35:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-float.rkt 35:21 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float.rkt 35:0 (- 1.0+2.0i 2.0+4.0i 3.0) -- unboxed binary float complex
END
#<<END
6.0+8.0i 6.0+8.0i
-4.0-10.0i -4.0-10.0i
-4.0-4.0i -4.0-4.0i

15
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-i.rkt
View File

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

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-integer.rkt
View File

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

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-mult.rkt
View File

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

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-parts.rkt
View File

@ -1,11 +1,14 @@
#; #;#;
#<<END
TR opt: float-complex-parts.rkt 21:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 21:0 (real-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 22:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 22:0 (imag-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 23:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 23:0 (real-part 1.0+2.0i) -- complex accessor elimination
END
#<<END #<<END
TR opt: float-complex-parts.rkt 18:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 18:0 (real-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 (imag-part 1.0+2.0i) -- complex accessor elimination
TR opt: float-complex-parts.rkt 20:11 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts.rkt 20:0 (real-part 1.0+2.0i) -- complex accessor elimination
1.0 1.0
2.0 2.0
1.0 1.0

61
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-parts2.rkt
View File

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

53
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-parts3.rkt
View File

@ -1,29 +1,32 @@
#; #;#;
#<<END
TR opt: float-complex-parts3.rkt 44:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 44:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 44:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 44:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 44:12 (real-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 44: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 45:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 45:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 45:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 45:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 45:12 (unsafe-flreal-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 45: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 46:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 46:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 46:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 46:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 46:12 (imag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 46: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 47:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 47:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 47:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 47:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 47:12 (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 47:0 (+ 1.0+2.0i (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
END
#<<END #<<END
TR opt: float-complex-parts3.rkt 39:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 39:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 39:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 39:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 39:12 (real-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 (real-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:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 40:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 40:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 40:12 (unsafe-flreal-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 (unsafe-flreal-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:26 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 41:35 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 41:23 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 41:12 (imag-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 (imag-part (+ 2.0+4.0i 3.0+6.0i))) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 42:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 42:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 42:44 3.0+6.0i -- unboxed literal
TR opt: float-complex-parts3.rkt 42:32 (+ 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
TR opt: float-complex-parts3.rkt 42:12 (unsafe-flimag-part (+ 2.0+4.0i 3.0+6.0i)) -- unboxed unary float complex
TR opt: float-complex-parts3.rkt 42: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
6.0+2.0i 6.0+2.0i
11.0+2.0i 11.0+2.0i

27
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex-sin.rkt
View File

@ -1,16 +1,19 @@
#; #;#;
#<<END
TR missed opt: float-complex-sin.rkt 22:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 22:21 t
TR info: float-complex-sin.rkt 22:18 (* t 6.28) -- exact real arith
TR missed opt: float-complex-sin.rkt 22:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 22:18 (* t 6.28)
TR info: float-complex-sin.rkt 22:13 (sin (* t 6.28)) -- exact real arith
TR missed opt: float-complex-sin.rkt 22:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 22:21 t
TR info: float-complex-sin.rkt 22:18 (* t 6.28) -- exact real arith
TR missed opt: float-complex-sin.rkt 22:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 22:18 (* t 6.28)
TR info: float-complex-sin.rkt 22:13 (sin (* t 6.28)) -- exact real arith
TR opt: float-complex-sin.rkt 22:13 (sin (* t 6.28)) -- float-arg-expr in complex ops
TR opt: float-complex-sin.rkt 22:30 0.0+0.0i -- unboxed literal
TR opt: float-complex-sin.rkt 22:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex
END
#<<END #<<END
TR missed opt: float-complex-sin.rkt 23:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 23:21 t
TR info: float-complex-sin.rkt 23:18 (* t 6.28) -- exact real arith
TR missed opt: float-complex-sin.rkt 23:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 23:18 (* t 6.28)
TR info: float-complex-sin.rkt 23:13 (sin (* t 6.28)) -- exact real arith
TR missed opt: float-complex-sin.rkt 23:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 23:21 t
TR info: float-complex-sin.rkt 23:18 (* t 6.28) -- exact real arith
TR missed opt: float-complex-sin.rkt 23:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 23:18 (* t 6.28)
TR info: float-complex-sin.rkt 23:13 (sin (* t 6.28)) -- exact real arith
TR opt: float-complex-sin.rkt 23:13 (sin (* t 6.28)) -- float-arg-expr in complex ops
TR opt: float-complex-sin.rkt 23:30 0.0+0.0i -- unboxed literal
TR opt: float-complex-sin.rkt 23:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex
-0.0031853017931379904+0.0i -0.0031853017931379904+0.0i
END END

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-complex.rkt
View File

@ -1,11 +1,14 @@
#; #;#;
#<<END
TR opt: float-complex.rkt 20:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 20:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 20:0 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex.rkt 21:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 21:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 21:0 (- 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
END
#<<END #<<END
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
TR opt: float-complex.rkt 18:3 1.0+2.0i -- unboxed literal
TR opt: float-complex.rkt 18:12 2.0+4.0i -- unboxed literal
TR opt: float-complex.rkt 18:0 (- 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
3.0+6.0i 3.0+6.0i
-1.0-2.0i -1.0-2.0i

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-fun.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR opt: float-fun.rkt 13:2 (+ x 1.0) -- binary float TR opt: float-fun.rkt 14:2 (+ x 1.0) -- binary float
END END
""
#lang typed/racket #lang typed/racket
#:optimize #:optimize

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-promotion.rkt
View File

@ -1,9 +1,12 @@
#; #;#;
#<<END
TR opt: float-promotion.rkt 17:11 (modulo 1 2) -- binary nonzero fixnum
TR opt: float-promotion.rkt 17:11 (modulo 1 2) -- binary nonzero fixnum
TR opt: float-promotion.rkt 17:0 (+ (assert (modulo 1 2) exact-positive-integer?) 2.0) -- binary float
TR opt: float-promotion.rkt 18:0 (+ (expt 100 100) 2.0) -- binary float
END
#<<END #<<END
TR opt: float-promotion.rkt 15:11 (modulo 1 2) -- binary nonzero fixnum
TR opt: float-promotion.rkt 15:11 (modulo 1 2) -- binary nonzero fixnum
TR opt: float-promotion.rkt 15:0 (+ (assert (modulo 1 2) exact-positive-integer?) 2.0) -- binary float
TR opt: float-promotion.rkt 16:0 (+ (expt 100 100) 2.0) -- binary float
3.0 3.0
1e+200 1e+200

21
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/float-real.rkt
View File

@ -1,13 +1,16 @@
#; #;#;
#<<END
TR opt: float-real.rkt 22:0 (+ 2.3 (ann 3 Positive-Real)) -- binary float
TR missed opt: float-real.rkt 23:15 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 23:23 2
TR info: float-real.rkt 23:15 (* (ann 2 Integer) 3.2) -- exact real arith
TR opt: float-real.rkt 23:0 (+ 2.3 (assert (* (ann 2 Integer) 3.2) positive?)) -- binary float
TR missed opt: float-real.rkt 24:7 (* (ann 2 Integer) 3.1) -- all args float-arg-expr, result not Float -- caused by: 24:15 2
TR info: float-real.rkt 24:7 (* (ann 2 Integer) 3.1) -- exact real arith
TR missed opt: float-real.rkt 24:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- all args float-arg-expr, result not Float -- caused by: 24:7 (* (ann 2 Integer) 3.1)
TR info: float-real.rkt 24:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact real arith
END
#<<END #<<END
TR opt: float-real.rkt 19:0 (+ 2.3 (ann 3 Positive-Real)) -- binary float
TR missed opt: float-real.rkt 20:15 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 20:23 2
TR info: float-real.rkt 20:15 (* (ann 2 Integer) 3.2) -- exact real arith
TR opt: float-real.rkt 20:0 (+ 2.3 (assert (* (ann 2 Integer) 3.2) positive?)) -- binary float
TR missed opt: float-real.rkt 21:7 (* (ann 2 Integer) 3.1) -- all args float-arg-expr, result not Float -- caused by: 21:15 2
TR info: float-real.rkt 21:7 (* (ann 2 Integer) 3.1) -- exact real arith
TR missed opt: float-real.rkt 21:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- all args float-arg-expr, result not Float -- caused by: 21:7 (* (ann 2 Integer) 3.1)
TR info: float-real.rkt 21:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact real arith
5.3 5.3
8.7 8.7
14.26 14.26

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/flvector-length.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: flvector-length.rkt 14:0 (flvector-length (flvector 0.0 1.2)) -- flvector-length
END
#<<END #<<END
TR opt: flvector-length.rkt 11:0 (flvector-length (flvector 0.0 1.2)) -- flvector-length
2 2
END END

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/fx-fl.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: fx-fl.rkt 14:0 (exact->inexact 1) -- fixnum to float
END
#<<END #<<END
TR opt: fx-fl.rkt 11:0 (exact->inexact 1) -- fixnum to float
1.0 1.0
END END

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/in-bytes.rkt
View File

@ -1,10 +1,11 @@
#; #;#;
#<<END #<<END
TR opt: in-bytes.rkt 8:0 #%module-begin -- in-bytes TR opt: in-bytes.rkt 9:0 #%module-begin -- in-bytes
TR info: in-bytes.rkt 11:7 display -- hidden parameter TR info: in-bytes.rkt 12:7 display -- hidden parameter
TR info: in-bytes.rkt 11:7 display -- hidden parameter TR info: in-bytes.rkt 12:7 display -- hidden parameter
495051
END END
"495051"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(for: ((i : Integer #"123")) (for: ((i : Integer #"123"))

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/in-list.rkt
View File

@ -1,10 +1,11 @@
#; #;#;
#<<END #<<END
TR opt: in-list.rkt 8:0 #%module-begin -- in-list TR opt: in-list.rkt 9:0 #%module-begin -- in-list
TR info: in-list.rkt 11:7 display -- hidden parameter TR info: in-list.rkt 12:7 display -- hidden parameter
TR info: in-list.rkt 11:7 display -- hidden parameter TR info: in-list.rkt 12:7 display -- hidden parameter
123
END END
"123"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(for: ((i : Natural '(1 2 3))) (for: ((i : Natural '(1 2 3)))

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/in-range.rkt
View File

@ -1,10 +1,11 @@
#; #;#;
#<<END #<<END
TR opt: in-range.rkt 8:0 #%module-begin -- in-range TR opt: in-range.rkt 9:0 #%module-begin -- in-range
TR info: in-range.rkt 11:3 display -- hidden parameter TR info: in-range.rkt 12:3 display -- hidden parameter
TR info: in-range.rkt 11:3 display -- hidden parameter TR info: in-range.rkt 12:3 display -- hidden parameter
0123
END END
"0123"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(for ([i 4]) (for ([i 4])

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/in-string.rkt
View File

@ -1,10 +1,11 @@
#; #;#;
#<<END #<<END
TR opt: in-string.rkt 8:0 #%module-begin -- in-string TR opt: in-string.rkt 9:0 #%module-begin -- in-string
TR info: in-string.rkt 11:7 display -- hidden parameter TR info: in-string.rkt 12:7 display -- hidden parameter
TR info: in-string.rkt 11:7 display -- hidden parameter TR info: in-string.rkt 12:7 display -- hidden parameter
123
END END
"123"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(for: ((i : Char "123")) (for: ((i : Char "123"))

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/in-vector.rkt
View File

@ -1,10 +1,11 @@
#; #;#;
#<<END #<<END
TR opt: in-vector.rkt 8:0 #%module-begin -- in-vector TR opt: in-vector.rkt 9:0 #%module-begin -- in-vector
TR info: in-vector.rkt 11:7 display -- hidden parameter TR info: in-vector.rkt 12:7 display -- hidden parameter
TR info: in-vector.rkt 11:7 display -- hidden parameter TR info: in-vector.rkt 12:7 display -- hidden parameter
123
END END
"123"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
(for: ((i : Integer (vector 1 2 3))) (for: ((i : Integer (vector 1 2 3)))

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-binary-nonzero-fixnum.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR info: invalid-binary-nonzero-fixnum.rkt 11:3 display -- hidden parameter TR info: invalid-binary-nonzero-fixnum.rkt 12:3 display -- hidden parameter
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-derived-pair.rkt
View File

@ -1,9 +1,10 @@
#; #;#;
#<<END #<<END
TR missed opt: invalid-derived-pair.rkt 13:2 (cadr x) -- car/cdr on a potentially empty list -- caused by: 13:2 (cadr x) TR missed opt: invalid-derived-pair.rkt 14:2 (cadr x) -- car/cdr on a potentially empty list -- caused by: 14:2 (cadr x)
TR missed opt: invalid-derived-pair.rkt 18:6 (cadr x) -- car/cdr on a potentially empty list -- caused by: 18:6 (cadr x) TR missed opt: invalid-derived-pair.rkt 19:6 (cadr x) -- car/cdr on a potentially empty list -- caused by: 19:6 (cadr x)
END END
""
#lang typed/racket #:optimize #lang typed/racket #:optimize

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-exact-inexact.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: invalid-exact-inexact.rkt 13:0 (exact->inexact 1.0) -- float to float
END
#<<END #<<END
TR opt: invalid-exact-inexact.rkt 10:0 (exact->inexact 1.0) -- float to float
1.0 1.0
END END

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-float-comp.rkt
View File

@ -1,4 +1,7 @@
#; #;#;
#<<END
END
#<<END #<<END
#t #t

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-float-promotion.rkt
View File

@ -1,9 +1,12 @@
#; #;#;
#<<END
TR missed opt: invalid-float-promotion.rkt 17:0 (/ (ann 1 Integer) 2.0) -- all args float-arg-expr, result not Float -- caused by: 17:8 1
TR info: invalid-float-promotion.rkt 17:0 (/ (ann 1 Integer) 2.0) -- exact real arith
TR missed opt: invalid-float-promotion.rkt 18:0 (* (ann 2/3 Exact-Rational) 3.0) -- all args float-arg-expr, result not Float -- caused by: 18:8 2/3
TR info: invalid-float-promotion.rkt 18:0 (* (ann 2/3 Exact-Rational) 3.0) -- exact real arith
END
#<<END #<<END
TR missed opt: invalid-float-promotion.rkt 14:0 (/ (ann 1 Integer) 2.0) -- all args float-arg-expr, result not Float -- caused by: 14:8 1
TR info: invalid-float-promotion.rkt 14:0 (/ (ann 1 Integer) 2.0) -- exact real arith
TR missed opt: invalid-float-promotion.rkt 15:0 (* (ann 2/3 Exact-Rational) 3.0) -- all args float-arg-expr, result not Float -- caused by: 15:8 2/3
TR info: invalid-float-promotion.rkt 15:0 (* (ann 2/3 Exact-Rational) 3.0) -- exact real arith
0.5 0.5
2.0 2.0

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-fxquotient.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR missed opt: invalid-fxquotient.rkt 16:21 (quotient fixnum-min -1) -- out of fixnum range
END
#<<END #<<END
TR missed opt: invalid-fxquotient.rkt 13:21 (quotient fixnum-min -1) -- out of fixnum range
#t #t
END END

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-inexact-complex-parts.rkt
View File

@ -1,4 +1,7 @@
#; #;#;
#<<END
END
#<<END #<<END
1 1

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-log-complex.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR missed opt: invalid-log-complex.rkt 14:11 (log (ann 2.0 Float)) -- unexpected complex type
END
#<<END #<<END
TR missed opt: invalid-log-complex.rkt 11:11 (log (ann 2.0 Float)) -- unexpected complex type
0.6931471805599453 0.6931471805599453
END END

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-make-flrectangular.rkt
View File

@ -1,4 +1,7 @@
#; #;#;
#<<END
END
#<<END #<<END
1+2i 1+2i

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-make-polar.rkt
View File

@ -1,4 +1,7 @@
#; #;#;
#<<END
END
#<<END #<<END
0 0

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-mpair.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR missed opt: invalid-mpair.rkt 11:2 (mcar x) -- car/cdr on a potentially empty list -- caused by: 11:8 x TR missed opt: invalid-mpair.rkt 12:2 (mcar x) -- car/cdr on a potentially empty list -- caused by: 12:8 x
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-sqrt.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR missed opt: invalid-sqrt.rkt 13:0 (sqrt -2.0) -- unexpected complex type
END
#<<END #<<END
TR missed opt: invalid-sqrt.rkt 10:0 (sqrt -2.0) -- unexpected complex type
0+1.4142135623730951i 0+1.4142135623730951i
END END

45
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-unboxed-let.rkt
View File

@ -1,30 +1,31 @@
#; #;#;
#<<END #<<END
TR opt: invalid-unboxed-let.rkt 36:14 t1 -- unbox float-complex TR opt: invalid-unboxed-let.rkt 37:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 36:17 t1 -- unbox float-complex TR opt: invalid-unboxed-let.rkt 37:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 36:11 (+ t1 t1) -- unboxed binary float complex TR opt: invalid-unboxed-let.rkt 37:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 36:14 t1 -- unbox float-complex TR opt: invalid-unboxed-let.rkt 37:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 36:17 t1 -- unbox float-complex TR opt: invalid-unboxed-let.rkt 37:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 36:11 (+ t1 t1) -- unboxed binary float complex TR opt: invalid-unboxed-let.rkt 37:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 36:14 t1 -- unbox float-complex TR opt: invalid-unboxed-let.rkt 37:14 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 36:17 t1 -- unbox float-complex TR opt: invalid-unboxed-let.rkt 37:17 t1 -- unbox float-complex
TR opt: invalid-unboxed-let.rkt 36:11 (+ t1 t1) -- unboxed binary float complex TR opt: invalid-unboxed-let.rkt 37:11 (+ t1 t1) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 32:13 1.0+2.0i -- unboxed literal TR opt: invalid-unboxed-let.rkt 33:13 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 32:22 2.0+4.0i -- unboxed literal TR opt: invalid-unboxed-let.rkt 33:22 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 32:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex TR opt: invalid-unboxed-let.rkt 33:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 33:13 3.0+6.0i -- unboxed literal TR opt: invalid-unboxed-let.rkt 34:13 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 33:22 4.0+8.0i -- unboxed literal TR opt: invalid-unboxed-let.rkt 34:22 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let.rkt 33:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex TR opt: invalid-unboxed-let.rkt 34:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let.rkt 32: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 33: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 info: invalid-unboxed-let.rkt 36:3 display -- hidden parameter
TR opt: invalid-unboxed-let.rkt 36:14 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 36:17 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 36:11 (+ t1 t1) -- unboxed binary float complex
TR info: invalid-unboxed-let.rkt 37:3 display -- hidden parameter TR info: invalid-unboxed-let.rkt 37:3 display -- hidden parameter
TR opt: invalid-unboxed-let.rkt 37:14 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 37:17 t1 -- leave var unboxed
TR opt: invalid-unboxed-let.rkt 37:11 (+ t1 t1) -- unboxed binary float complex
TR info: invalid-unboxed-let.rkt 38:3 display -- hidden parameter TR info: invalid-unboxed-let.rkt 38:3 display -- hidden parameter
TR info: invalid-unboxed-let.rkt 39:3 display -- hidden parameter TR info: invalid-unboxed-let.rkt 39:3 display -- hidden parameter
6.0+12.0i7.0+14.0i1.0+2.0i1 TR info: invalid-unboxed-let.rkt 40:3 display -- hidden parameter
END END
"6.0+12.0i7.0+14.0i1.0+2.0i1"
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

23
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-unboxed-let2.rkt
View File

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

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-vector-ref.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR opt: invalid-vector-ref.rkt 11:2 (vector-ref x 0) -- vector partial bounds checking elimination TR opt: invalid-vector-ref.rkt 12:2 (vector-ref x 0) -- vector partial bounds checking elimination
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/invalid-vector-set.rkt
View File

@ -1,8 +1,9 @@
#; #;#;
#<<END #<<END
TR opt: invalid-vector-set.rkt 11:2 (vector-set! x 0 2) -- vector partial bounds checking elimination TR opt: invalid-vector-set.rkt 12:2 (vector-set! x 0 2) -- vector partial bounds checking elimination
END END
""
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

31
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/known-length-lists.rkt
View File

@ -1,18 +1,21 @@
#; #;#;
#<<END
TR opt: known-length-lists.rkt 42:0 (length l) -- known-length list length
TR opt: known-length-lists.rkt 43:0 (list-ref l i) -- known-length list op
TR opt: known-length-lists.rkt 44:0 (list-ref l j) -- known-length list op
TR opt: known-length-lists.rkt 45:0 (list-ref l k) -- known-length list op
TR opt: known-length-lists.rkt 46:0 (list-tail l i) -- known-length list op
TR opt: known-length-lists.rkt 47:0 (list-tail l j) -- known-length list op
TR opt: known-length-lists.rkt 48:0 (list-tail l k) -- known-length list op
TR opt: known-length-lists.rkt 49:0 (list-ref l 0) -- known-length list op
TR opt: known-length-lists.rkt 50:0 (list-ref l 1) -- known-length list op
TR opt: known-length-lists.rkt 51:0 (list-ref l 2) -- known-length list op
TR opt: known-length-lists.rkt 52:0 (list-tail l 0) -- known-length list op
TR opt: known-length-lists.rkt 53:0 (list-tail l 1) -- known-length list op
TR opt: known-length-lists.rkt 54:0 (list-tail l 2) -- known-length list op
END
#<<END #<<END
TR opt: known-length-lists.rkt 40:0 (length l) -- known-length list length
TR opt: known-length-lists.rkt 41:0 (list-ref l i) -- known-length list op
TR opt: known-length-lists.rkt 42:0 (list-ref l j) -- known-length list op
TR opt: known-length-lists.rkt 43:0 (list-ref l k) -- known-length list op
TR opt: known-length-lists.rkt 44:0 (list-tail l i) -- known-length list op
TR opt: known-length-lists.rkt 45:0 (list-tail l j) -- known-length list op
TR opt: known-length-lists.rkt 46:0 (list-tail l k) -- known-length list op
TR opt: known-length-lists.rkt 47:0 (list-ref l 0) -- known-length list op
TR opt: known-length-lists.rkt 48:0 (list-ref l 1) -- known-length list op
TR opt: known-length-lists.rkt 49:0 (list-ref l 2) -- known-length list op
TR opt: known-length-lists.rkt 50:0 (list-tail l 0) -- known-length list op
TR opt: known-length-lists.rkt 51:0 (list-tail l 1) -- known-length list op
TR opt: known-length-lists.rkt 52:0 (list-tail l 2) -- known-length list op
'(1 2 3) '(1 2 3)
3 3
1 1

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/known-vector-length.rkt
View File

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

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/let-float.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: let-float.rkt 15:9 (+ 3.0 2.0) -- binary float
TR opt: let-float.rkt 16:2 (* 9.0 x) -- binary float
END
#<<END #<<END
TR opt: let-float.rkt 12:9 (+ 3.0 2.0) -- binary float
TR opt: let-float.rkt 13:2 (* 9.0 x) -- binary float
45.0 45.0
END END

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/let-rhs.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: let-rhs.rkt 16:9 (+ 1.0 2.0) -- binary float
END
#<<END #<<END
TR opt: let-rhs.rkt 13:9 (+ 1.0 2.0) -- binary float
3.0 3.0
END END

31
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/list.rkt
View File

@ -1,18 +1,21 @@
#; #;#;
#<<END
TR opt: list.rkt 31:0 (first l) -- pair
TR opt: list.rkt 32:0 (rest l) -- pair
TR opt: list.rkt 33:0 (second l) -- pair
TR opt: list.rkt 33:0 (second l) -- pair
TR missed opt: list.rkt 34:0 (rest (rest l)) -- car/cdr on a potentially empty list -- caused by: 34:6 (rest l)
TR opt: list.rkt 34:6 (rest l) -- pair
TR opt: list.rkt 35:0 (third l) -- pair
TR opt: list.rkt 35:0 (third l) -- pair
TR opt: list.rkt 35:0 (third l) -- pair
TR opt: list.rkt 36:0 (fourth l) -- pair
TR opt: list.rkt 36:0 (fourth l) -- pair
TR opt: list.rkt 36:0 (fourth l) -- pair
TR opt: list.rkt 36:0 (fourth l) -- pair
END
#<<END #<<END
TR opt: list.rkt 28:0 (first l) -- pair
TR opt: list.rkt 29:0 (rest l) -- pair
TR opt: list.rkt 30:0 (second l) -- pair
TR opt: list.rkt 30:0 (second l) -- pair
TR missed opt: list.rkt 31:0 (rest (rest l)) -- car/cdr on a potentially empty list -- caused by: 31:6 (rest l)
TR opt: list.rkt 31:6 (rest l) -- pair
TR opt: list.rkt 32:0 (third l) -- pair
TR opt: list.rkt 32:0 (third l) -- pair
TR opt: list.rkt 32:0 (third l) -- pair
TR opt: list.rkt 33:0 (fourth l) -- pair
TR opt: list.rkt 33:0 (fourth l) -- pair
TR opt: list.rkt 33:0 (fourth l) -- pair
TR opt: list.rkt 33:0 (fourth l) -- pair
1 1
'(2 3 4) '(2 3 4)
2 2

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/literal-int.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: literal-int.rkt 17:0 (+ 1 2.0) -- binary float
END
#<<END #<<END
TR opt: literal-int.rkt 14:0 (+ 1 2.0) -- binary float
3.0 3.0
1 1

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/magnitude.rkt
View File

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

9
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/make-flrectangular.rkt
View File

@ -1,7 +1,10 @@
#; #;#;
#<<END
TR opt: make-flrectangular.rkt 16:0 (make-rectangular 1.0 2.2) -- binary float comp
TR opt: make-flrectangular.rkt 17:0 (make-flrectangular 1.0 2.2) -- binary float comp
END
#<<END #<<END
TR opt: make-flrectangular.rkt 13:0 (make-rectangular 1.0 2.2) -- binary float comp
TR opt: make-flrectangular.rkt 14:0 (make-flrectangular 1.0 2.2) -- binary float comp
1.0+2.2i 1.0+2.2i
1.0+2.2i 1.0+2.2i

29
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/make-polar.rkt
View File

@ -1,19 +1,22 @@
#; #;#;
#<<END #<<END
TR opt: make-polar.rkt 28:6 (make-polar 1.0 1.0) -- make-rectangular elimination TR opt: make-polar.rkt 29:6 (make-polar 1.0 1.0) -- make-rectangular elimination
TR opt: make-polar.rkt 28:6 (make-polar 1.0 1.0) -- make-polar TR opt: make-polar.rkt 29:6 (make-polar 1.0 1.0) -- make-polar
TR opt: make-polar.rkt 32:50 p -- unbox float-complex TR opt: make-polar.rkt 33:50 p -- unbox float-complex
TR opt: make-polar.rkt 32:39 (real-part p) -- unboxed unary float complex TR opt: make-polar.rkt 33:39 (real-part p) -- unboxed unary float complex
TR opt: make-polar.rkt 31:12 1.0+2.0i -- unboxed literal TR opt: make-polar.rkt 32:12 1.0+2.0i -- unboxed literal
TR opt: make-polar.rkt 31:21 (make-polar 2.0 4.0) -- make-rectangular elimination TR opt: make-polar.rkt 32:21 (make-polar 2.0 4.0) -- make-rectangular elimination
TR opt: make-polar.rkt 31:9 (+ 1.0+2.0i (make-polar 2.0 4.0)) -- unboxed binary float complex TR opt: make-polar.rkt 32:9 (+ 1.0+2.0i (make-polar 2.0 4.0)) -- unboxed binary float complex
TR opt: make-polar.rkt 31: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 32: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 32:50 p -- unboxed complex variable
TR opt: make-polar.rkt 32:50 p -- leave var unboxed
TR opt: make-polar.rkt 32:39 (real-part p) -- complex accessor elimination
TR opt: make-polar.rkt 33:50 p -- unboxed complex variable TR opt: make-polar.rkt 33:50 p -- unboxed complex variable
TR opt: make-polar.rkt 33:50 p -- leave var unboxed TR opt: make-polar.rkt 33:50 p -- leave var unboxed
TR opt: make-polar.rkt 33:39 (imag-part p) -- complex accessor elimination TR opt: make-polar.rkt 33:39 (real-part p) -- complex accessor elimination
TR opt: make-polar.rkt 34:50 p -- unboxed complex variable
TR opt: make-polar.rkt 34:50 p -- leave var unboxed
TR opt: make-polar.rkt 34:39 (imag-part p) -- complex accessor elimination
END
#<<END
"-0.3070.486" "-0.3070.486"
END END

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/maybe-exact-complex.rkt
View File

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

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/module-path.rkt
View File

@ -1,6 +1,9 @@
#; #;#;
#<<END
TR opt: module-path.rkt 16:0 (unless (module-path? 2) #f) -- dead then branch
END
#<<END #<<END
TR opt: module-path.rkt 13:0 (unless (module-path? 2) #f) -- dead then branch
#t #t
#f #f
#f #f

19
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/mpair.rkt
View File

@ -1,12 +1,15 @@
#; #;#;
#<<END
TR opt: mpair.rkt 23:0 (mcar x) -- pair
TR opt: mpair.rkt 24:0 (mcdr x) -- pair
TR opt: mpair.rkt 25:0 (set-mcar! x (+ 1 2)) -- pair
TR opt: mpair.rkt 25:13 (+ 1 2) -- fixnum bounded expr
TR opt: mpair.rkt 26:0 (set-mcdr! x (+ 1.0 2.0)) -- pair
TR opt: mpair.rkt 26:13 (+ 1.0 2.0) -- binary float
TR opt: mpair.rkt 32:6 (mcar x) -- pair
END
#<<END #<<END
TR opt: mpair.rkt 20:0 (mcar x) -- pair
TR opt: mpair.rkt 21:0 (mcdr x) -- pair
TR opt: mpair.rkt 22:0 (set-mcar! x (+ 1 2)) -- pair
TR opt: mpair.rkt 22:13 (+ 1 2) -- fixnum bounded expr
TR opt: mpair.rkt 23:0 (set-mcdr! x (+ 1.0 2.0)) -- pair
TR opt: mpair.rkt 23:13 (+ 1.0 2.0) -- binary float
TR opt: mpair.rkt 29:6 (mcar x) -- pair
1 1
1.0 1.0

17
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/multi-flcomp.rkt
View File

@ -1,11 +1,14 @@
#; #;#;
#<<END
TR opt: multi-flcomp.rkt 22:0 (<= 1.0 2.0 3.0) -- multi float comp
TR opt: multi-flcomp.rkt 24:0 (<= 1.0 2.0 3.0 4.0) -- multi float comp
TR opt: multi-flcomp.rkt 25:16 (+ 2.0 2.0) -- binary float
TR opt: multi-flcomp.rkt 25:0 (<= 1.0 2.0 3.0 (+ 2.0 2.0)) -- multi float comp
TR opt: multi-flcomp.rkt 26:12 (+ 2.0 2.0) -- binary float
TR opt: multi-flcomp.rkt 26:0 (<= 1.0 2.0 (+ 2.0 2.0) 3.0) -- multi float comp
END
#<<END #<<END
TR opt: multi-flcomp.rkt 19:0 (<= 1.0 2.0 3.0) -- multi float comp
TR opt: multi-flcomp.rkt 21:0 (<= 1.0 2.0 3.0 4.0) -- multi float comp
TR opt: multi-flcomp.rkt 22:16 (+ 2.0 2.0) -- binary float
TR opt: multi-flcomp.rkt 22:0 (<= 1.0 2.0 3.0 (+ 2.0 2.0)) -- multi float comp
TR opt: multi-flcomp.rkt 23:12 (+ 2.0 2.0) -- binary float
TR opt: multi-flcomp.rkt 23:0 (<= 1.0 2.0 (+ 2.0 2.0) 3.0) -- multi float comp
#t #t
#t #t
#t #t

Some files were not shown because too many files have changed in this diff Show More