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

Make optimizer read TR expected logs as a list of entries versus a raw string.

Browse Source 
original commit: ccf947e31e50678067ac6aa546ff1fd7f4d37ad9
This commit is contained in:
Eric Dobson 2013-06-20 22:40:33 -07:00
parent 2ae349c04a
commit 12eea12a7d
161 changed files with 1130 additions and 1286 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/logging.rkt
View File

@ -2,10 +2,11 @@
(require racket/set racket/string racket/match racket/list
unstable/syntax unstable/logging
data/queue
"../utils/tc-utils.rkt")
(provide log-optimization log-missed-optimization log-optimization-info
with-tr-logging-to-port
with-tr-logging-to-queue
(struct-out log-entry)
(struct-out opt-log-entry)
(struct-out missed-opt-log-entry)
@ -127,12 +128,10 @@
;;--------------------------------------------------------------------
(define (with-tr-logging-to-port port thunk)
(define (with-tr-logging-to-queue queue thunk)
(with-intercepted-logging
(lambda (l)
(displayln ; print log message
(string-trim (vector-ref l 1) "TR-optimizer: ") ; remove logger prefix
port)
(flush-output port))
(enqueue! queue
(string-trim (vector-ref l 1) "TR-optimizer: "))) ; remove logger prefix
thunk
'debug 'TR-optimizer))

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR missed opt: all-real.rkt 29:0 (+ (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 29:8 3, 29:21 4
TR info: all-real.rkt 29:0 (+ (ann 3 Real) (ann 4 Real)) -- exact real arith
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
END
#<<END
7

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

@ -1,20 +1,19 @@
#;#;
#<<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
TR opt: fixnum.rkt 38:10 (* x y) -- fixnum bounded expr
TR missed opt: fixnum.rkt 41:0 (+ (ann z Fixnum) 234) -- out of fixnum range
TR missed opt: fixnum.rkt 42:0 (* (ann x Index) (ann y Index)) -- out of fixnum range
TR opt: fixnum.rkt 45:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 45:15 (+ 301 302) -- fixnum bounded expr
TR missed opt: fixnum.rkt 45:0 (+ (+ 300 301) (+ 301 302)) -- out of fixnum range
TR opt: fixnum.rkt 45:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 45:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 45:3 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 45:15 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 46:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 46:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum.rkt 46:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum.rkt 46:17 (+ 301 302) -- fixnum bounded expr
END
#<<END
468

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

@ -1,8 +1,7 @@
#;#;
#<<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 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
END
""

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

@ -1,10 +1,9 @@
#;#;
#<<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
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 16:10 (+ 3 5) -- fixnum bounded expr
TR opt: multi-file2.rkt 16:3 (* 3.4 (+ 3 5)) -- binary float
END
#<<END
81.6

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

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

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

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

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

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

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

@ -19,7 +19,6 @@ TR missed opt: precision-loss.rkt 52:14 (* 2.0 (* (r 3/4) 2/3)) -- all args floa
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
2.5

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

@ -1,13 +1,12 @@
#;#;
#<<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
TR missed opt: real-in-float-expr.rkt 23:0 (* (ann 3 Real) 2.3) -- all args float-arg-expr, result not Float -- caused by: 23:8 3
TR info: real-in-float-expr.rkt 23:0 (* (ann 3 Real) 2.3) -- exact real arith
TR opt: real-in-float-expr.rkt 28:0 (* 2 3) -- fixnum bounded expr
TR opt: real-in-float-expr.rkt 29:0 (+ 2 3) -- fixnum bounded expr
TR info: real-in-float-expr.rkt 30:0 (+ 2/3 3/4) -- exact real arith
TR missed opt: real-in-float-expr.rkt 32:0 (* (ann 2 Natural) 2.0) -- all args float-arg-expr, result not Float -- caused by: 32:8 2
TR info: real-in-float-expr.rkt 32:0 (* (ann 2 Natural) 2.0) -- exact real arith
END
#<<END
6.8999999999999995

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

@ -1,12 +1,11 @@
#;#;
#<<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
TR missed opt: unary-float.rkt 20:0 (sin (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 (sin (ann 3.4 Real)) -- exact real arith
TR missed opt: unary-float.rkt 21:0 (sin 3) -- all args float-arg-expr, result not Float -- caused by: 21:5 3
TR info: unary-float.rkt 21:0 (sin 3) -- exact real arith
TR missed opt: unary-float.rkt 22:0 (abs (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 22:10 3.4
TR info: unary-float.rkt 22:0 (abs (ann 3.4 Real)) -- exact real arith
END
#<<END
-0.2555411020268312

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR missed opt: unexpected-complex.rkt 18:0 (sqrt (ann 4 Integer)) -- unexpected complex type
TR opt: unexpected-complex.rkt 19:3 1.2+3.4i -- unboxed literal
TR opt: unexpected-complex.rkt 19:12 2.0 -- float-arg-expr in complex ops
TR opt: unexpected-complex.rkt 19:0 (+ 1.2+3.4i 2.0) -- unboxed binary float complex
END
#<<END
2

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

@ -19,7 +19,8 @@
(with-input-from-file (build-path dir name)
(lambda () ; from the test file
(read-line) ; skip the #;#;
(values (read) (read)))))
(values (for/list ((l (in-lines (open-input-string (read))))) l)
(read)))))
(check-equal? log expected-log)
(check-equal? output expected-output))))

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR opt: add1.rkt 17:5 (add1 5) -- fixnum add1
TR opt: add1.rkt 18:5 (sub1 3) -- fixnum sub1
TR opt: add1.rkt 19:5 (add1 2.3) -- float add1
TR opt: add1.rkt 20:5 (sub1 2.25) -- float sub1
END
#<<END
6

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

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

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: apply-plus.rkt 15:0 (apply + (map add1 (list 1 2 3))) -- apply-map
TR opt: apply-plus.rkt 16:0 (apply * (map add1 (list 1 2 3))) -- apply-map
END
#<<END
9

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: begin-float.rkt 15:7 (- 2.0 3.0) -- binary float
TR opt: begin-float.rkt 16:7 (* 2.0 3.0) -- binary float
END
#<<END
-1.0

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

@ -1,8 +1,7 @@
#;#;
#<<END
TR opt: binary-fixnum.rkt 14:15 (vector-length v) -- vector-length
TR opt: binary-fixnum.rkt 14:2 (bitwise-and (vector-length v) 1) -- binary fixnum
TR opt: binary-fixnum.rkt 13:15 (vector-length v) -- vector-length
TR opt: binary-fixnum.rkt 13:2 (bitwise-and (vector-length v) 1) -- binary fixnum
END
""

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: binary-nonzero-fixnum.rkt 14:8 (vector-length (quote #(1 2 3))) -- known-length vector-length
TR opt: binary-nonzero-fixnum.rkt 14:0 (modulo (vector-length (quote #(1 2 3))) 2) -- binary nonzero fixnum
END
#<<END
1

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

@ -1,20 +1,19 @@
#;#;
#<<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
TR opt: bounds-check.rkt 34:2 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 37:2 (vector-set! v i n) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 40:2 (vector-ref v i) -- vector partial bounds checking elimination
TR opt: bounds-check.rkt 43:2 (vector-set! v i n) -- vector partial bounds checking elimination
TR info: bounds-check.rkt 46:1 displayln -- hidden parameter
TR info: bounds-check.rkt 48:1 displayln -- hidden parameter
TR info: bounds-check.rkt 50:1 displayln -- hidden parameter
TR opt: bounds-check.rkt 55:2 (flvector-ref v i) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 58:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 61:2 (flvector-ref v i) -- flvector partial bounds checking elimination
TR opt: bounds-check.rkt 64:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
TR info: bounds-check.rkt 67:1 displayln -- hidden parameter
TR info: bounds-check.rkt 69:1 displayln -- hidden parameter
TR info: bounds-check.rkt 71:1 displayln -- hidden parameter
END
#<<END
3

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

@ -1,9 +1,8 @@
#;#;
#<<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
TR opt: box.rkt 20:0 (unbox x) -- box
TR opt: box.rkt 21:0 (set-box! x 2) -- box
TR opt: box.rkt 22:0 (unbox x) -- box
END
#<<END
1

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

@ -1,14 +1,13 @@
#;#;
#<<END
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 43:15 (- max min) -- exact real arith
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 43:12 (* (- max min) x) -- exact real arith
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 43:9 (/ (* (- max min) x) p) -- exact real arith
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 43:2 (+ min (/ (* (- max min) x) p)) -- exact real arith
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 info: case-arrow.rkt 42: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 info: case-arrow.rkt 42: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 info: case-arrow.rkt 42: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 info: case-arrow.rkt 42:2 (+ min (/ (* (- max min) x) p)) -- exact real arith
END
""
#lang typed/racket

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

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

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR opt: complex-exp.rkt 15:8 0 -- float-arg-expr in complex ops
TR opt: complex-exp.rkt 15:3 (exp 0) -- unboxed unary float complex
TR opt: complex-exp.rkt 15:11 1.0+2.0i -- unboxed literal
TR opt: complex-exp.rkt 15:0 (- (exp 0) 1.0+2.0i) -- unboxed binary float complex
END
#<<END
0.0-2.0i

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

@ -1,6 +1,5 @@
#;#;
#<<END
END
""

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

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

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

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

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

@ -1,66 +1,65 @@
#;#;
#<<END
TR opt: dead-inf-comp.rkt 109:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 111:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 114:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 118:4 (quote dead) -- dead else 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 127:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 131:4 (quote dead) -- dead else 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 140:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 144:4 (quote dead) -- dead else 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 153:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 157:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 162:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 160:4 (< rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 164:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 163:4 (< +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 167:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 166:4 (< rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 171:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 169:4 (< -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 175:4 (quote dead) -- dead else branch
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 info: dead-inf-comp.rkt 176:4 (> rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 180:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 179:4 (> -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 184:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 182:4 (> rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 188:4 (quote dead) -- dead else branch
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 info: dead-inf-comp.rkt 189:4 (<= +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 193:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 192:4 (<= rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 197:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 195:4 (<= -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 201:4 (quote dead) -- dead else branch
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 info: dead-inf-comp.rkt 202:4 (>= rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 206:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 205:4 (>= -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 210:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 208:4 (>= rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 103:0 #%module-begin -- in-range
TR opt: dead-inf-comp.rkt 103: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 103:0 #%module-begin -- 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 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
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 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
TR opt: dead-inf-comp.rkt 108:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 110:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 113:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 117:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 121:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 123:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 126:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 130:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 134:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 136:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 139:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 143:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 147:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 149:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 152:4 (quote dead) -- dead then branch
TR opt: dead-inf-comp.rkt 156:4 (quote dead) -- dead else branch
TR opt: dead-inf-comp.rkt 161:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 159:4 (< rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 163:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 162:4 (< +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 166:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 165:4 (< rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 170:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 168:4 (< -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 174:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 172:4 (> +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 176:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 175:4 (> rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 179:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 178:4 (> -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 183:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 181:4 (> rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 187:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 185:4 (<= rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 189:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 188:4 (<= +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 192:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 191:4 (<= rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 196:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 194:4 (<= -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 200:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 198:4 (>= +inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 202:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 201:4 (>= rat +inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 205:4 (quote dead) -- dead then branch
TR info: dead-inf-comp.rkt 204:4 (>= -inf.f rat) -- exact real arith
TR opt: dead-inf-comp.rkt 209:4 (quote dead) -- dead else branch
TR info: dead-inf-comp.rkt 207:4 (>= rat -inf.f) -- exact real arith
TR opt: dead-inf-comp.rkt 102:0 #%module-begin -- in-range
TR opt: dead-inf-comp.rkt 102:0 #%module-begin -- dead else branch
TR opt: dead-inf-comp.rkt 102:0 #%module-begin -- dead else branch
TR opt: dead-inf-comp.rkt 102:0 #%module-begin -- dead else branch
TR opt: dead-inf-comp.rkt 212:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR opt: dead-inf-comp.rkt 212:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR info: dead-inf-comp.rkt 212:41 displayln -- hidden parameter
TR opt: dead-inf-comp.rkt 212:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR opt: dead-inf-comp.rkt 212:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR opt: dead-inf-comp.rkt 212:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
TR info: dead-inf-comp.rkt 212:41 displayln -- hidden parameter
TR opt: dead-inf-comp.rkt 212:0 (for: ((i (in-range 5 +inf.0 2)) (j 3)) (displayln i)) -- dead else branch
END
#<<END
'live

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

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

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

@ -1,12 +1,11 @@
#;#;
#<<END
TR info: dead-then.rkt 14:1 display -- hidden parameter
TR opt: dead-then.rkt 15:13 (+ 2.0 3.0) -- dead then branch
TR opt: dead-then.rkt 16:13 (+ 4.0 5.0) -- binary float
TR info: dead-then.rkt 17:1 display -- hidden parameter
TR opt: dead-then.rkt 18:13 (+ 2.0 3.0) -- dead then branch
TR opt: dead-then.rkt 19:13 (+ 4.0 5.0) -- binary float
TR info: dead-then.rkt 13: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 (+ 4.0 5.0) -- binary float
TR info: dead-then.rkt 16: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 (+ 4.0 5.0) -- binary float
END
"9.09.0"
#lang typed/scheme

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

@ -1,9 +1,8 @@
#;#;
#<<END
TR info: define-begin-float.rkt 12:18 display -- hidden parameter
TR opt: define-begin-float.rkt 12:26 (- 2.0 3.0) -- binary float
TR opt: define-begin-float.rkt 13:17 (* 2.0 3.0) -- binary float
TR info: define-begin-float.rkt 11: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:17 (* 2.0 3.0) -- binary float
END
"-1.0"

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR opt: define-call-float.rkt 11:16 (+ 1.0 2.0) -- binary float
TR opt: define-call-float.rkt 10:16 (+ 1.0 2.0) -- binary float
END
""

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR opt: define-float.rkt 11:10 (+ 1.0 2.0) -- binary float
TR opt: define-float.rkt 10:10 (+ 1.0 2.0) -- binary float
END
""

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR opt: define-pair.rkt 11:10 (car (quote (1 3))) -- pair
TR opt: define-pair.rkt 10:10 (car (quote (1 3))) -- pair
END
""

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

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

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

@ -1,30 +1,29 @@
#;#;
#<<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
TR opt: derived-pair2.rkt 42:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 42:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 42:0 (caaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 43:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 43:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 43:0 (caadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 44:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 44:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 44:0 (cadar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 45:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 45:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 45:0 (caddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 46:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 46:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 46:0 (cdaar (cons (cons (cons 1 2) 3) 4)) -- pair
TR opt: derived-pair2.rkt 47:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 47:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 47:0 (cdadr (cons 1 (cons (cons 2 3) 4))) -- pair
TR opt: derived-pair2.rkt 48:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 48:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 48:0 (cddar (cons (cons 1 (cons 2 3)) 4)) -- pair
TR opt: derived-pair2.rkt 49:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 49:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
TR opt: derived-pair2.rkt 49:0 (cdddr (cons 1 (cons 2 (cons 3 4)))) -- pair
END
#<<END
1

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

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

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

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

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

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

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

@ -2,7 +2,6 @@
#<<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
'(1)

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

@ -1,14 +1,13 @@
#;#;
#<<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
TR opt: exact-inexact.rkt 25:0 (exact->inexact (expt 10 100)) -- int to float
TR opt: exact-inexact.rkt 26:7 (exact->inexact (expt 2.3 3.2)) -- float to float
TR opt: exact-inexact.rkt 26:0 (round (exact->inexact (expt 2.3 3.2))) -- unary float
TR opt: exact-inexact.rkt 27:0 (real->double-flonum (expt 10 100)) -- int to float
TR opt: exact-inexact.rkt 28:7 (real->double-flonum (expt 2.3 3.2)) -- float to float
TR opt: exact-inexact.rkt 28:0 (round (real->double-flonum (expt 2.3 3.2))) -- unary float
TR opt: exact-inexact.rkt 31:0 (exact->inexact (expt 1.0f0 2.0f0)) -- single-float to single-float
TR opt: exact-inexact.rkt 32:0 (real->single-flonum (expt 1.0f0 2.0f0)) -- single-float to single-float
END
#<<END
1e+100

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

@ -1,8 +1,7 @@
#;#;
#<<END
TR missed opt: expt.rkt 15:13 (expt (sin 0.25) 1.0) -- unexpected complex type
TR opt: expt.rkt 15:19 (sin 0.25) -- unary float
TR missed opt: expt.rkt 14:13 (expt (sin 0.25) 1.0) -- unexpected complex type
TR opt: expt.rkt 14:19 (sin 0.25) -- unary float
END
""

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: false-huh-dead-code.rkt 13:16 1 -- dead then branch
TR opt: false-huh-dead-code.rkt 14:13 1 -- dead then branch
END
#<<END
2

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

@ -1,33 +1,32 @@
#;#;
#<<END
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:2 (- x (* y y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 83:2 (+ x y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 86:2 (+ x y) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 89:2 (+ x y) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 91:0 (abs 45) -- fixnum fxabs
TR opt: fixnum-bounded-expr.rkt 94:0 (fx+ 5 2) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 95:5 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 95:16 (* 24 25) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 95:0 (fx+ (+ 34 231) (* 24 25)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 96:8 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 96:5 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 96:0 (fx+ (+ (+ 34 231) 23) -4) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 97:11 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:8 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:0 (fx+ -4 (+ (+ 34 231) 23)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 98:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 98:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 98:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 98:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 72:2 (+ x (sqr y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 78:7 (* y y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 78:2 (- x (* y y)) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 85:2 (+ x y) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 88:2 (+ x y) -- fixnum bounded expr
TR missed opt: fixnum-bounded-expr.rkt 91:2 (+ x y) -- out of fixnum range
TR opt: fixnum-bounded-expr.rkt 93:0 (abs 45) -- fixnum fxabs
TR opt: fixnum-bounded-expr.rkt 96:0 (fx+ 5 2) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 97:5 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:16 (* 24 25) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 97:0 (fx+ (+ 34 231) (* 24 25)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 98:8 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 98:5 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 98:0 (fx+ (+ (+ 34 231) 23) -4) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 99:11 (+ 34 231) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 99:8 (+ (+ 34 231) 23) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 99:0 (fx+ -4 (+ (+ 34 231) 23)) -- fixnum fx+
TR opt: fixnum-bounded-expr.rkt 100:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 100:17 (+ 301 302) -- fixnum bounded expr
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 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 100:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 100:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 102:5 (+ 300 301) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 102:17 (+ 301 302) -- fixnum bounded expr
TR opt: fixnum-bounded-expr.rkt 102:0 (fx- (+ 300 301) (+ 301 302)) -- fixnum fx-
TR opt: fixnum-bounded-expr.rkt 105:0 (fx* 4 5) -- fixnum fx*
TR opt: fixnum-bounded-expr.rkt 108:0 (fxquotient (ann 34 Nonnegative-Fixnum) (ann -4 Negative-Fixnum)) -- fixnum fxquotient
TR opt: fixnum-bounded-expr.rkt 111:0 (fxabs (ann 64235 Nonnegative-Fixnum)) -- fixnum fxabs
END
#<<END
28

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

@ -1,9 +1,8 @@
#;#;
#<<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
TR opt: fixnum-comparison.rkt 15:3 (vector-length (quote #(1 2 3))) -- known-length vector-length
TR opt: fixnum-comparison.rkt 15:29 (string-length "asdf") -- string-length
TR opt: fixnum-comparison.rkt 15:0 (< (vector-length (quote #(1 2 3))) (string-length "asdf")) -- binary fixnum comp
END
#<<END
#t

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

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

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR opt: float-complex-conjugate-top.rkt 16:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-conjugate-top.rkt 16:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-conjugate-top.rkt 16:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-conjugate-top.rkt 16:0 (conjugate (+ 1.0+2.0i 2.0+4.0i)) -- unboxed unary float complex
END
#<<END
3.0-6.0i

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

@ -1,11 +1,10 @@
#;#;
#<<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
TR opt: float-complex-conjugate.rkt 17:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-conjugate.rkt 17:3 (conjugate 1.0+2.0i) -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 17:35 2.0+4.0i -- unboxed literal
TR opt: float-complex-conjugate.rkt 17:24 (conjugate 2.0+4.0i) -- unboxed unary float complex
TR opt: float-complex-conjugate.rkt 17:0 (+ (conjugate 1.0+2.0i) (conjugate 2.0+4.0i)) -- unboxed binary float complex
END
#<<END
3.0-6.0i

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR opt: float-complex-div.rkt 16:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-div.rkt 16:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-div.rkt 16:21 3.0+6.0i -- unboxed literal
TR opt: float-complex-div.rkt 16:0 (/ 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
END
#<<END
0.03333333333333333-0.06666666666666667i

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

@ -1,13 +1,12 @@
#;#;
#<<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
TR opt: float-complex-fixnum.rkt 19:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 19:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 19:3 (modulo 2 1) -- binary nonzero fixnum
TR opt: float-complex-fixnum.rkt 19:3 (modulo 2 1) -- float-arg-expr in complex ops
TR opt: float-complex-fixnum.rkt 19:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 19:25 3.0+6.0i -- unboxed literal
TR opt: float-complex-fixnum.rkt 19:0 (+ (modulo 2 1) 1.0+2.0i 3.0+6.0i) -- unboxed binary float complex
END
#<<END
4.0+8.0i

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

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

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

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

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

@ -1,24 +1,23 @@
#;#;
#<<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
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:12 3.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 36:0 (- 1.0+2.0i 3.0) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 37:3 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 37:7 2.0+4.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 37:0 (- 1.0 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-float-small.rkt 38:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-float-small.rkt 38:15 1.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 38:19 2.0 -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 38:12 (+ 1.0 2.0) -- binary float
TR opt: float-complex-float-small.rkt 38:12 (+ 1.0 2.0) -- float-arg-expr in complex ops
TR opt: float-complex-float-small.rkt 38:0 (+ 1.0+2.0i (+ 1.0 2.0)) -- unboxed binary float complex
END
#<<END
4.0+2.0i

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

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

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

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

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

@ -1,9 +1,8 @@
#;#;
#<<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
TR opt: float-complex-integer.rkt 15:3 (expt 2 100) -- float-arg-expr in complex ops
TR opt: float-complex-integer.rkt 15:16 1.0+2.0i -- unboxed literal
TR opt: float-complex-integer.rkt 15:0 (+ (expt 2 100) 1.0+2.0i) -- unboxed binary float complex
END
#<<END
1.2676506002282294e+30+2.0i

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

@ -1,10 +1,9 @@
#;#;
#<<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
TR opt: float-complex-mult.rkt 16:3 1.0+2.0i -- unboxed literal
TR opt: float-complex-mult.rkt 16:12 2.0+4.0i -- unboxed literal
TR opt: float-complex-mult.rkt 16:21 3.0+6.0i -- unboxed literal
TR opt: float-complex-mult.rkt 16:0 (* 1.0+2.0i 2.0+4.0i 3.0+6.0i) -- unboxed binary float complex
END
#<<END
-66.0-12.0i

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

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

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

@ -1,34 +1,33 @@
#;#;
#<<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
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 (real-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-flreal-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 47:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 47:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 47:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 47:14 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 47:23 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 47:11 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 47:0 (imag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
TR opt: float-complex-parts2.rkt 48:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 48:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 48:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 48:23 1.0+2.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 48:32 2.0+4.0i -- unboxed literal
TR opt: float-complex-parts2.rkt 48:20 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: float-complex-parts2.rkt 48:0 (unsafe-flimag-part (+ 1.0+2.0i 2.0+4.0i)) -- complex accessor elimination
END
#<<END
3.0

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

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

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

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

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

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

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR opt: float-fun.rkt 14:2 (+ x 1.0) -- binary float
TR opt: float-fun.rkt 13:2 (+ x 1.0) -- binary float
END
""

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

@ -4,7 +4,6 @@ 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
3.0

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

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

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

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

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

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

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

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

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

@ -1,9 +1,8 @@
#;#;
#<<END
TR opt: in-list.rkt 9:0 #%module-begin -- in-list
TR info: in-list.rkt 12:7 display -- hidden parameter
TR info: in-list.rkt 12:7 display -- hidden parameter
TR opt: in-list.rkt 8:0 #%module-begin -- in-list
TR info: in-list.rkt 11:7 display -- hidden parameter
TR info: in-list.rkt 11:7 display -- hidden parameter
END
"123"
#lang typed/scheme

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

@ -1,9 +1,8 @@
#;#;
#<<END
TR opt: in-range.rkt 9:0 #%module-begin -- in-range
TR info: in-range.rkt 12:3 display -- hidden parameter
TR info: in-range.rkt 12:3 display -- hidden parameter
TR opt: in-range.rkt 8:0 #%module-begin -- in-range
TR info: in-range.rkt 11:3 display -- hidden parameter
TR info: in-range.rkt 11:3 display -- hidden parameter
END
"0123"
#lang typed/scheme

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

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

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

@ -1,9 +1,8 @@
#;#;
#<<END
TR opt: in-vector.rkt 9:0 #%module-begin -- in-vector
TR info: in-vector.rkt 12:7 display -- hidden parameter
TR info: in-vector.rkt 12:7 display -- hidden parameter
TR opt: in-vector.rkt 8:0 #%module-begin -- in-vector
TR info: in-vector.rkt 11:7 display -- hidden parameter
TR info: in-vector.rkt 11:7 display -- hidden parameter
END
"123"
#lang typed/scheme

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR info: invalid-binary-nonzero-fixnum.rkt 12:3 display -- hidden parameter
TR info: invalid-binary-nonzero-fixnum.rkt 11:3 display -- hidden parameter
END
""

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

@ -1,8 +1,7 @@
#;#;
#<<END
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 19:6 (cadr x) -- car/cdr on a potentially empty list -- caused by: 19:6 (cadr x)
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 18:6 (cadr x) -- car/cdr on a potentially empty list -- caused by: 18:6 (cadr x)
END
""

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

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

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

@ -1,6 +1,5 @@
#;#;
#<<END
END
#<<END
#t

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

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

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

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

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

@ -1,6 +1,5 @@
#;#;
#<<END
END
#<<END
1

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

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

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

@ -1,6 +1,5 @@
#;#;
#<<END
END
#<<END
1+2i

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

@ -1,6 +1,5 @@
#;#;
#<<END
END
#<<END
0

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

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

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

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

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

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

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

@ -1,15 +1,14 @@
#;#;
#<<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
TR opt: invalid-unboxed-let2.rkt 24:33 1.0+2.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:42 2.0+4.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:30 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 24:55 3.0+6.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:64 4.0+8.0i -- unboxed literal
TR opt: invalid-unboxed-let2.rkt 24:52 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
TR opt: invalid-unboxed-let2.rkt 25:5 t1 -- unbox float-complex
TR opt: invalid-unboxed-let2.rkt 25:8 t2 -- unbox float-complex
TR opt: invalid-unboxed-let2.rkt 25:2 (+ t1 t2) -- unboxed binary float complex
END
#<<END
10.0+20.0i

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR opt: invalid-vector-ref.rkt 12:2 (vector-ref x 0) -- vector partial bounds checking elimination
TR opt: invalid-vector-ref.rkt 11:2 (vector-ref x 0) -- vector partial bounds checking elimination
END
""

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

@ -1,7 +1,6 @@
#;#;
#<<END
TR opt: invalid-vector-set.rkt 12:2 (vector-set! x 0 2) -- vector partial bounds checking elimination
TR opt: invalid-vector-set.rkt 11:2 (vector-set! x 0 2) -- vector partial bounds checking elimination
END
""

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

@ -13,7 +13,6 @@ 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
'(1 2 3)

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: known-vector-length.rkt 14:5 (vector-length (ann (vector 1 2) (Vector Integer Integer))) -- known-length vector-length
TR opt: known-vector-length.rkt 14:0 (+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))) -- fixnum bounded expr
END
#<<END
4

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: let-float.rkt 14:9 (+ 3.0 2.0) -- binary float
TR opt: let-float.rkt 15:2 (* 9.0 x) -- binary float
END
#<<END
45.0

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

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

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

@ -1,19 +1,18 @@
#;#;
#<<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
TR opt: list.rkt 30:0 (first l) -- pair
TR opt: list.rkt 31:0 (rest l) -- pair
TR opt: list.rkt 32:0 (second l) -- pair
TR opt: list.rkt 32:0 (second l) -- pair
TR missed opt: list.rkt 33:0 (rest (rest l)) -- car/cdr on a potentially empty list -- caused by: 33:6 (rest l)
TR opt: list.rkt 33:6 (rest l) -- pair
TR opt: list.rkt 34:0 (third l) -- pair
TR opt: list.rkt 34:0 (third l) -- pair
TR opt: list.rkt 34:0 (third l) -- pair
TR opt: list.rkt 35:0 (fourth l) -- pair
TR opt: list.rkt 35:0 (fourth l) -- pair
TR opt: list.rkt 35:0 (fourth l) -- pair
TR opt: list.rkt 35:0 (fourth l) -- pair
END
#<<END
1

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

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

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: magnitude.rkt 16:11 3.0+4.0i -- unboxed literal
TR opt: magnitude.rkt 16:0 (magnitude 3.0+4.0i) -- unboxed unary float complex
END
#<<END
5.0

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

@ -1,8 +1,7 @@
#;#;
#<<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
TR opt: make-flrectangular.rkt 15:0 (make-rectangular 1.0 2.2) -- binary float comp
TR opt: make-flrectangular.rkt 16:0 (make-flrectangular 1.0 2.2) -- binary float comp
END
#<<END
1.0+2.2i

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

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

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

@ -1,9 +1,8 @@
#;#;
#<<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
TR opt: maybe-exact-complex.rkt 17:3 1.0+2.0i -- unboxed literal
TR opt: maybe-exact-complex.rkt 17:12 2+4i -- unboxed literal
TR opt: maybe-exact-complex.rkt 17:0 (+ 1.0+2.0i 2+4i) -- unboxed binary float complex
END
#<<END
3.0+6.0i

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

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

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

@ -1,13 +1,12 @@
#;#;
#<<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
TR opt: mpair.rkt 22:0 (mcar x) -- pair
TR opt: mpair.rkt 23:0 (mcdr x) -- pair
TR opt: mpair.rkt 24:0 (set-mcar! x (+ 1 2)) -- pair
TR opt: mpair.rkt 24:13 (+ 1 2) -- fixnum bounded expr
TR opt: mpair.rkt 25:0 (set-mcdr! x (+ 1.0 2.0)) -- pair
TR opt: mpair.rkt 25:13 (+ 1.0 2.0) -- binary float
TR opt: mpair.rkt 31:6 (mcar x) -- pair
END
#<<END
1

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