Fix TR optimizer tests for TR info logging.
original commit: 091e26cde841f9e493b255f84efeaafe05ef7d91
This commit is contained in:
Vincent St-Amour
parent
4275e4970b
commit
7466f47f33
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: all-real.rkt 24:0 (+ (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 24:8 3, 24:21 4
|
||||
TR info: all-real.rkt 24:0 (+ (ann 3 Real) (ann 4 Real)) -- exact real arith
|
||||
TR missed opt: all-real.rkt 25:0 (* (ann 3 Real) (ann 4 Real)) -- all args float-arg-expr, result not Float -- caused by: 25:8 3, 25:21 4
|
||||
7
|
||||
12
|
||||
)
|
||||
TR info: all-real.rkt 25:0 (* (ann 3 Real) (ann 4 Real)) -- exact real arith
|
||||
7 12)
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: multi-file1.rkt 12:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 12:12 3
|
||||
TR info: multi-file1.rkt 12:2 (* x (ann 3 Integer)) -- exact real arith
|
||||
)
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
(provide f)
|
||||
|
||||
(: f : Float -> Real)
|
||||
|
|
|
|||
|
|
@ -1,13 +1,13 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: multi-file1.rkt 12:2 (* x (ann 3 Integer)) -- all args float-arg-expr, result not Float -- caused by: 12:12 3
|
||||
TR info: multi-file1.rkt 12:2 (* x (ann 3 Integer)) -- exact real arith
|
||||
TR opt: multi-file2.rkt 13:10 (+ 3 5) -- fixnum bounded expr
|
||||
TR opt: multi-file2.rkt 13:3 (* 3.4 (+ 3 5)) -- binary float
|
||||
81.6
|
||||
)
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
(require "multi-file1.rkt")
|
||||
|
||||
(f (* 3.4 (+ 3 5)))
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: multiple-irritants.rkt 9:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- all args float-arg-expr, result not Float -- caused by: 9:8 4, 9:24 5
|
||||
120.0
|
||||
)
|
||||
TR info: multiple-irritants.rkt 9:0 (* (ann 4 Integer) (ann 5 Integer) 6.0) -- exact real arith
|
||||
120.0)
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
|
|
|
|||
|
|
@ -1,32 +1,32 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: nested-same-kind.rkt 34:7 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 34:19 4
|
||||
TR info: nested-same-kind.rkt 34:7 (* 3.0 (ann 4 Integer)) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 34:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 34:7 (* 3.0 (ann 4 Integer))
|
||||
TR missed opt: nested-same-kind.rkt 34:7 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 34:19 4
|
||||
TR info: nested-same-kind.rkt 34:0 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 35:14 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 35:26 4
|
||||
TR info: nested-same-kind.rkt 35:14 (* 3.0 (ann 4 Integer)) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 35:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 35:14 (* 3.0 (ann 4 Integer))
|
||||
TR missed opt: nested-same-kind.rkt 35:14 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 35:26 4
|
||||
TR info: nested-same-kind.rkt 35:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 35:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- all args float-arg-expr, result not Float -- caused by: 35:7 (* 2.0 (* 3.0 (ann 4 Integer)))
|
||||
TR missed opt: nested-same-kind.rkt 35:14 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 35:26 4
|
||||
TR missed opt: nested-same-kind.rkt 35:7 (* 2.0 (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 35:14 (* 3.0 (ann 4 Integer))
|
||||
TR missed opt: nested-same-kind.rkt 35:14 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 35:26 4
|
||||
TR info: nested-same-kind.rkt 35:0 (* 1.0 (* 2.0 (* 3.0 (ann 4 Integer)))) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 36:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- all args float-arg-expr, result not Float -- caused by: 36:19 4, 36:35 5
|
||||
TR info: nested-same-kind.rkt 36:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 36:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- all args float-arg-expr, result not Float -- caused by: 36:7 (* 3.0 (ann 4 Integer) (ann 5 Integer))
|
||||
TR missed opt: nested-same-kind.rkt 36:7 (* 3.0 (ann 4 Integer) (ann 5 Integer)) -- all args float-arg-expr, result not Float -- caused by: 36:19 4, 36:35 5
|
||||
TR info: nested-same-kind.rkt 36:0 (* 2.0 (* 3.0 (ann 4 Integer) (ann 5 Integer))) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 37:3 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 37:15 4
|
||||
TR info: nested-same-kind.rkt 37:3 (* 3.0 (ann 4 Integer)) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 37:27 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 37:39 4
|
||||
TR info: nested-same-kind.rkt 37:27 (* 3.0 (ann 4 Integer)) -- exact real arith
|
||||
TR missed opt: nested-same-kind.rkt 37:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- all args float-arg-expr, result not Float -- caused by: 37:3 (* 3.0 (ann 4 Integer)), 37:27 (* 3.0 (ann 4 Integer))
|
||||
TR missed opt: nested-same-kind.rkt 37:3 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 37:15 4
|
||||
TR missed opt: nested-same-kind.rkt 37:27 (* 3.0 (ann 4 Integer)) -- all args float-arg-expr, result not Float -- caused by: 37:39 4
|
||||
TR info: nested-same-kind.rkt 37:0 (* (* 3.0 (ann 4 Integer)) (* 3.0 (ann 4 Integer))) -- exact real arith
|
||||
24.0
|
||||
24.0
|
||||
120.0
|
||||
144.0
|
||||
)
|
||||
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
;; when a single "bubble" causes missed optimizations to cascade, a single
|
||||
;; close call should be reported, with the outermost expression being reported
|
||||
;; but with the innermost flagged as the cause
|
||||
|
|
|
|||
|
|
@ -1,22 +1,24 @@
|
|||
#;
|
||||
(
|
||||
TR info: precision-loss.rkt 36:3 (* 3/4 2/3) -- exact real arith
|
||||
TR missed opt: precision-loss.rkt 36:0 (+ (* 3/4 2/3) 2.0) -- exact ops inside float expr -- caused by: 36:3 (* 3/4 2/3)
|
||||
TR opt: precision-loss.rkt 36:0 (+ (* 3/4 2/3) 2.0) -- binary float
|
||||
TR opt: precision-loss.rkt 38:0 (+ 3/4 2.0) -- binary float
|
||||
TR info: precision-loss.rkt 40:3 (- 3/4) -- exact real arith
|
||||
TR missed opt: precision-loss.rkt 40:0 (+ (- 3/4) 2.0) -- exact ops inside float expr -- caused by: 40:3 (- 3/4)
|
||||
TR opt: precision-loss.rkt 40:0 (+ (- 3/4) 2.0) -- binary float
|
||||
TR info: precision-loss.rkt 42:39 (+ 1/4 3/4) -- exact real arith
|
||||
TR missed opt: precision-loss.rkt 42:0 (+ (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?)) 2.0) -- all args float-arg-expr, result not Float -- caused by: 42:3 (vector-ref (quote #(2/3 1/2 3/4)) (assert (+ 1/4 3/4) exact-integer?))
|
||||
TR info: precision-loss.rkt 42:39 (+ 1/4 3/4) -- exact real arith
|
||||
TR missed opt: precision-loss.rkt 48:8 (* 3/4 2/3) -- all args float-arg-expr, result not Float -- caused by: 48:11 3/4, 48:15 2/3
|
||||
TR info: precision-loss.rkt 48:8 (* 3/4 2/3) -- exact real arith
|
||||
TR opt: precision-loss.rkt 49:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair
|
||||
TR missed opt: precision-loss.rkt 49:26 (* 3/4 2/3) -- all args float-arg-expr, result not Float -- caused by: 49:29 3/4, 49:33 2/3
|
||||
TR info: precision-loss.rkt 49:26 (* 3/4 2/3) -- exact real arith
|
||||
TR missed opt: precision-loss.rkt 49:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 49:26 (* 3/4 2/3)
|
||||
TR missed opt: precision-loss.rkt 49:26 (* 3/4 2/3) -- all args float-arg-expr, result not Float -- caused by: 49:29 3/4, 49:33 2/3
|
||||
TR info: precision-loss.rkt 49:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- exact real arith
|
||||
TR missed opt: precision-loss.rkt 48:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- all args float-arg-expr, result not Float -- caused by: 48:8 (* 3/4 2/3), 49:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real))))
|
||||
TR missed opt: precision-loss.rkt 48:8 (* 3/4 2/3) -- all args float-arg-expr, result not Float -- caused by: 48:11 3/4, 48:15 2/3
|
||||
TR opt: precision-loss.rkt 49:3 (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) -- pair
|
||||
TR missed opt: precision-loss.rkt 49:26 (* 3/4 2/3) -- all args float-arg-expr, result not Float -- caused by: 49:29 3/4, 49:33 2/3
|
||||
TR missed opt: precision-loss.rkt 49:14 (* 2.0 (ann (* 3/4 2/3) Real)) -- all args float-arg-expr, result not Float -- caused by: 49:26 (* 3/4 2/3)
|
||||
TR missed opt: precision-loss.rkt 49:26 (* 3/4 2/3) -- all args float-arg-expr, result not Float -- caused by: 49:29 3/4, 49:33 2/3
|
||||
TR info: precision-loss.rkt 48:0 (* (ann (* 3/4 2/3) Real) (car (list (* 2.0 (ann (* 3/4 2/3) Real)))) 2.0) -- exact real arith
|
||||
2.5
|
||||
2.75
|
||||
1.25
|
||||
|
|
@ -26,8 +28,6 @@ TR missed opt: precision-loss.rkt 49:26 (* 3/4 2/3) -- all args float-arg-expr,
|
|||
|
||||
|
||||
|
||||
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
;; warn when the extra precision gained by doing exact computations would
|
||||
|
|
|
|||
|
|
@ -1,13 +1,13 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: real-in-float-expr.rkt 17:0 (* (ann 3 Real) 2.3) -- all args float-arg-expr, result not Float -- caused by: 17:8 3
|
||||
TR info: real-in-float-expr.rkt 17:0 (* (ann 3 Real) 2.3) -- exact real arith
|
||||
TR opt: real-in-float-expr.rkt 22:0 (* 2 3) -- fixnum bounded expr
|
||||
TR opt: real-in-float-expr.rkt 23:0 (+ 2 3) -- fixnum bounded expr
|
||||
TR info: real-in-float-expr.rkt 24:0 (+ 2/3 3/4) -- exact real arith
|
||||
TR missed opt: real-in-float-expr.rkt 26:0 (* (ann 2 Natural) 2.0) -- all args float-arg-expr, result not Float -- caused by: 26:8 2
|
||||
6.8999999999999995
|
||||
6
|
||||
5
|
||||
6
|
||||
TR info: real-in-float-expr.rkt 26:0 (* (ann 2 Natural) 2.0) -- exact real arith
|
||||
6.8999999999999995 6 5 6
|
||||
5
|
||||
17/12
|
||||
4.0
|
||||
|
|
|
|||
|
|
@ -1,12 +1,12 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: unary-float.rkt 14:0 (sin (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 14:10 3.4
|
||||
TR info: unary-float.rkt 14:0 (sin (ann 3.4 Real)) -- exact real arith
|
||||
TR missed opt: unary-float.rkt 15:0 (sin 3) -- all args float-arg-expr, result not Float -- caused by: 15:5 3
|
||||
TR info: unary-float.rkt 15:0 (sin 3) -- exact real arith
|
||||
TR missed opt: unary-float.rkt 16:0 (abs (ann 3.4 Real)) -- all args float-arg-expr, result not Float -- caused by: 16:10 3.4
|
||||
-0.2555411020268312
|
||||
0.1411200080598672
|
||||
3.4
|
||||
3
|
||||
TR info: unary-float.rkt 16:0 (abs (ann 3.4 Real)) -- exact real arith
|
||||
-0.2555411020268312 0.1411200080598672 3.4 3
|
||||
)
|
||||
|
||||
#lang typed/racket
|
||||
|
|
|
|||
|
|
@ -4,17 +4,17 @@ TR opt: bounds-check.rkt 25:2 (vector-ref v i) -- vector partial bounds checking
|
|||
TR opt: bounds-check.rkt 28:2 (vector-set! v i n) -- vector partial bounds checking elimination
|
||||
TR opt: bounds-check.rkt 31:2 (vector-ref v i) -- vector partial bounds checking elimination
|
||||
TR opt: bounds-check.rkt 34:2 (vector-set! v i n) -- vector partial bounds checking elimination
|
||||
TR info: bounds-check.rkt 37:1 displayln -- hidden parameter
|
||||
TR info: bounds-check.rkt 39:1 displayln -- hidden parameter
|
||||
TR info: bounds-check.rkt 41:1 displayln -- hidden parameter
|
||||
TR opt: bounds-check.rkt 46:2 (flvector-ref v i) -- flvector partial bounds checking elimination
|
||||
TR opt: bounds-check.rkt 49:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
|
||||
TR opt: bounds-check.rkt 52:2 (flvector-ref v i) -- flvector partial bounds checking elimination
|
||||
TR opt: bounds-check.rkt 55:2 (flvector-set! v i n) -- flvector partial bounds checking elimination
|
||||
3
|
||||
4
|
||||
5
|
||||
3.0
|
||||
4.0
|
||||
5.0
|
||||
)
|
||||
TR info: bounds-check.rkt 58:1 displayln -- hidden parameter
|
||||
TR info: bounds-check.rkt 60:1 displayln -- hidden parameter
|
||||
TR info: bounds-check.rkt 62:1 displayln -- hidden parameter
|
||||
3 4 5 3.0 4.0 5.0)
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
|
|
|
|||
|
|
@ -1,20 +1,13 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR info: case-arrow.rkt 41:15 (- max min) -- exact real arith
|
||||
TR missed opt: case-arrow.rkt 41:12 (* (- max min) x) -- all args float-arg-expr, result not Float -- caused by: 41:15 (- max min), 41:27 x
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR info: case-arrow.rkt 41:12 (* (- max min) x) -- exact real arith
|
||||
TR missed opt: case-arrow.rkt 41:9 (/ (* (- max min) x) p) -- all args float-arg-expr, result not Float -- caused by: 41:12 (* (- max min) x), 41:30 p
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR missed opt: case-arrow.rkt 41:12 (* (- max min) x) -- all args float-arg-expr, result not Float -- caused by: 41:15 (- max min), 41:27 x
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR info: case-arrow.rkt 41:9 (/ (* (- max min) x) p) -- exact real arith
|
||||
TR missed opt: case-arrow.rkt 41:2 (+ min (/ (* (- max min) x) p)) -- all args float-arg-expr, result not Float -- caused by: 41:5 min, 41:9 (/ (* (- max min) x) p)
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR missed opt: case-arrow.rkt 41:12 (* (- max min) x) -- all args float-arg-expr, result not Float -- caused by: 41:15 (- max min), 41:27 x
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR missed opt: case-arrow.rkt 41:9 (/ (* (- max min) x) p) -- all args float-arg-expr, result not Float -- caused by: 41:12 (* (- max min) x), 41:30 p
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR missed opt: case-arrow.rkt 41:12 (* (- max min) x) -- all args float-arg-expr, result not Float -- caused by: 41:15 (- max min), 41:27 x
|
||||
TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, result not Float -- caused by: 41:18 max, 41:22 min
|
||||
TR info: case-arrow.rkt 41:2 (+ min (/ (* (- max min) x) p)) -- exact real arith
|
||||
)
|
||||
#lang typed/racket
|
||||
|
||||
|
|
@ -25,6 +18,13 @@ TR missed opt: case-arrow.rkt 41:15 (- max min) -- all args float-arg-expr, resu
|
|||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
;; Typechecking functions with case-> types causes the body to be typechecked
|
||||
;; multiple times, which is fine, except that it used to cause the type table
|
||||
;; to only have information for the last branch (clobbering). This would cause
|
||||
|
|
|
|||
|
|
@ -1,14 +1,14 @@
|
|||
#;
|
||||
(
|
||||
TR info: dead-else.rkt 12:1 display -- hidden parameter
|
||||
TR opt: dead-else.rkt 14:13 (+ 4.0 5.0) -- dead else branch
|
||||
TR opt: dead-else.rkt 13:13 (+ 2.0 3.0) -- binary float
|
||||
TR info: dead-else.rkt 15:1 display -- hidden parameter
|
||||
TR opt: dead-else.rkt 17:13 (+ 4.0 5.0) -- dead else branch
|
||||
TR opt: dead-else.rkt 16:13 (+ 2.0 3.0) -- binary float
|
||||
5.05.0)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(display (if (number? 3)
|
||||
(+ 2.0 3.0)
|
||||
(+ 4.0 5.0)))
|
||||
|
|
|
|||
|
|
@ -1,8 +1,8 @@
|
|||
#;
|
||||
(
|
||||
1
|
||||
2
|
||||
)
|
||||
TR info: dead-substructs.rkt 23:4 make-child1 -- struct constructor
|
||||
TR info: dead-substructs.rkt 24:4 make-child2 -- struct constructor
|
||||
1 2)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
|
|
|||
|
|
@ -1,14 +1,14 @@
|
|||
#;
|
||||
(
|
||||
TR info: dead-then.rkt 12:1 display -- hidden parameter
|
||||
TR opt: dead-then.rkt 13:13 (+ 2.0 3.0) -- dead then branch
|
||||
TR opt: dead-then.rkt 14:13 (+ 4.0 5.0) -- binary float
|
||||
TR info: dead-then.rkt 15:1 display -- hidden parameter
|
||||
TR opt: dead-then.rkt 16:13 (+ 2.0 3.0) -- dead then branch
|
||||
TR opt: dead-then.rkt 17:13 (+ 4.0 5.0) -- binary float
|
||||
9.09.0)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(display (if (number? "eh")
|
||||
(+ 2.0 3.0)
|
||||
(+ 4.0 5.0)))
|
||||
|
|
|
|||
|
|
@ -1,11 +1,11 @@
|
|||
#;
|
||||
(
|
||||
TR info: define-begin-float.rkt 10:18 display -- hidden parameter
|
||||
TR opt: define-begin-float.rkt 10:26 (- 2.0 3.0) -- binary float
|
||||
TR opt: define-begin-float.rkt 11:17 (* 2.0 3.0) -- binary float
|
||||
-1.0)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(define a (begin (display (- 2.0 3.0))
|
||||
(* 2.0 3.0)))
|
||||
|
|
|
|||
|
|
@ -1,7 +1,7 @@
|
|||
#;
|
||||
(
|
||||
1/2
|
||||
)
|
||||
TR info: different-langs.rkt 10:0 (/ 1 2) -- exact real arith
|
||||
1/2)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
|
|
|||
|
|
@ -1,20 +1,23 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: float-complex-sin.rkt 19:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 19:21 t
|
||||
TR missed opt: float-complex-sin.rkt 19:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 19:18 (* t 6.28)
|
||||
TR missed opt: float-complex-sin.rkt 19:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 19:21 t
|
||||
TR missed opt: float-complex-sin.rkt 19:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 19:21 t
|
||||
TR missed opt: float-complex-sin.rkt 19:13 (sin (* t 6.28)) -- all args float-arg-expr, result not Float -- caused by: 19:18 (* t 6.28)
|
||||
TR missed opt: float-complex-sin.rkt 19:18 (* t 6.28) -- all args float-arg-expr, result not Float -- caused by: 19:21 t
|
||||
TR opt: float-complex-sin.rkt 19:13 (sin (* t 6.28)) -- float-arg-expr in complex ops
|
||||
TR opt: float-complex-sin.rkt 19:30 0.0+0.0i -- unboxed literal
|
||||
TR opt: float-complex-sin.rkt 19:10 (+ (sin (* t 6.28)) 0.0+0.0i) -- unboxed binary float complex
|
||||
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
|
||||
-0.0031853017931379904+0.0i
|
||||
)
|
||||
|
||||
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
((lambda: ((t : Integer))
|
||||
(+ (sin (* t 6.28)) 0.0+0.0i))
|
||||
1)
|
||||
|
|
|
|||
|
|
@ -2,18 +2,18 @@
|
|||
(
|
||||
TR opt: float-real.rkt 18:0 (+ 2.3 (ann 3 Positive-Real)) -- binary float
|
||||
TR missed opt: float-real.rkt 19:15 (* (ann 2 Integer) 3.2) -- all args float-arg-expr, result not Float -- caused by: 19:23 2
|
||||
TR info: float-real.rkt 19:15 (* (ann 2 Integer) 3.2) -- exact real arith
|
||||
TR opt: float-real.rkt 19:0 (+ 2.3 (assert (* (ann 2 Integer) 3.2) positive?)) -- binary float
|
||||
TR missed opt: float-real.rkt 20:7 (* (ann 2 Integer) 3.1) -- all args float-arg-expr, result not Float -- caused by: 20:15 2
|
||||
TR info: float-real.rkt 20:7 (* (ann 2 Integer) 3.1) -- exact real arith
|
||||
TR missed opt: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- all args float-arg-expr, result not Float -- caused by: 20:7 (* (ann 2 Integer) 3.1)
|
||||
TR missed opt: float-real.rkt 20:7 (* (ann 2 Integer) 3.1) -- all args float-arg-expr, result not Float -- caused by: 20:15 2
|
||||
TR info: float-real.rkt 20:0 (* 2.3 (* (ann 2 Integer) 3.1)) -- exact real arith
|
||||
5.3
|
||||
8.7
|
||||
14.26
|
||||
)
|
||||
|
||||
|
||||
#lang typed/racket
|
||||
|
||||
;; reals within float expressions should be coerced when it's safe to do so
|
||||
(+ 2.3 (ann 3 Positive-Real)) ; safe
|
||||
(+ 2.3 (assert (* (ann 2 Integer) 3.2) positive?)) ; inner = unsafe, outer = unsafe
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR opt: in-bytes.rkt 6:0 #%module-begin -- in-bytes
|
||||
TR opt: in-bytes.rkt 7:0 #%module-begin -- in-bytes
|
||||
TR info: in-bytes.rkt 10:7 display -- hidden parameter
|
||||
TR info: in-bytes.rkt 10:7 display -- hidden parameter
|
||||
495051)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(for: ((i : Integer #"123"))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR opt: in-list.rkt 6:0 #%module-begin -- in-list
|
||||
TR opt: in-list.rkt 7:0 #%module-begin -- in-list
|
||||
TR info: in-list.rkt 10:7 display -- hidden parameter
|
||||
TR info: in-list.rkt 10:7 display -- hidden parameter
|
||||
123)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(for: ((i : Natural '(1 2 3)))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR opt: in-range.rkt 6:0 #%module-begin -- in-range
|
||||
TR opt: in-range.rkt 7:0 #%module-begin -- in-range
|
||||
TR info: in-range.rkt 10:3 display -- hidden parameter
|
||||
TR info: in-range.rkt 10:3 display -- hidden parameter
|
||||
0123)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(for ([i 4])
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR opt: in-string.rkt 6:0 #%module-begin -- in-string
|
||||
TR opt: in-string.rkt 7:0 #%module-begin -- in-string
|
||||
TR info: in-string.rkt 10:7 display -- hidden parameter
|
||||
TR info: in-string.rkt 10:7 display -- hidden parameter
|
||||
123)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(for: ((i : Char "123"))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,10 +1,10 @@
|
|||
#;
|
||||
(
|
||||
TR opt: in-vector.rkt 6:0 #%module-begin -- in-vector
|
||||
TR opt: in-vector.rkt 7:0 #%module-begin -- in-vector
|
||||
TR info: in-vector.rkt 10:7 display -- hidden parameter
|
||||
TR info: in-vector.rkt 10:7 display -- hidden parameter
|
||||
123)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(for: ((i : Integer (vector 1 2 3)))
|
||||
(display i))
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
#;
|
||||
(
|
||||
TR info: invalid-binary-nonzero-fixnum.rkt 10:3 display -- hidden parameter
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
|
|
|
|||
|
|
@ -1,11 +1,11 @@
|
|||
#;
|
||||
(
|
||||
TR missed opt: invalid-float-promotion.rkt 12:0 (/ (ann 1 Integer) 2.0) -- all args float-arg-expr, result not Float -- caused by: 12:8 1
|
||||
TR info: invalid-float-promotion.rkt 12:0 (/ (ann 1 Integer) 2.0) -- exact real arith
|
||||
TR missed opt: invalid-float-promotion.rkt 13:0 (* (ann 2/3 Exact-Rational) 3.0) -- all args float-arg-expr, result not Float -- caused by: 13:8 2/3
|
||||
0.5
|
||||
2.0
|
||||
TR info: invalid-float-promotion.rkt 13:0 (* (ann 2/3 Exact-Rational) 3.0) -- exact real arith
|
||||
0.5 2.0
|
||||
)
|
||||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
;; the ann are necessary, since (* PosReal Float) -> Float (exact 0 is not in PosReal)
|
||||
|
|
|
|||
|
|
@ -1,24 +1,28 @@
|
|||
#;
|
||||
(
|
||||
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 27:13 1.0+2.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 27:22 2.0+4.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 27:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 28:13 3.0+6.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 28:22 4.0+8.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 28:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 27:0 (let ((t1 (+ 1.0+2.0i 2.0+4.0i)) (t2 (+ 3.0+6.0i 4.0+8.0i)) (t3 1.0+2.0i) (t4 1)) (display (+ t1 t1)) (display t2) (display t3) (display t4)) -- unboxed let bindings
|
||||
TR opt: invalid-unboxed-let.rkt 31:14 t1 -- leave var unboxed
|
||||
TR opt: invalid-unboxed-let.rkt 31:17 t1 -- leave var unboxed
|
||||
TR opt: invalid-unboxed-let.rkt 31:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:14 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:17 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:14 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:17 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:14 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:17 t1 -- unbox float-complex
|
||||
TR opt: invalid-unboxed-let.rkt 35:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 31:13 1.0+2.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 31:22 2.0+4.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 31:10 (+ 1.0+2.0i 2.0+4.0i) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 32:13 3.0+6.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 32:22 4.0+8.0i -- unboxed literal
|
||||
TR opt: invalid-unboxed-let.rkt 32:10 (+ 3.0+6.0i 4.0+8.0i) -- unboxed binary float complex
|
||||
TR opt: invalid-unboxed-let.rkt 31: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 35:3 display -- hidden parameter
|
||||
TR opt: invalid-unboxed-let.rkt 35:14 t1 -- leave var unboxed
|
||||
TR opt: invalid-unboxed-let.rkt 35:17 t1 -- leave var unboxed
|
||||
TR opt: invalid-unboxed-let.rkt 35:11 (+ t1 t1) -- unboxed binary float complex
|
||||
TR info: invalid-unboxed-let.rkt 36:3 display -- hidden parameter
|
||||
TR info: invalid-unboxed-let.rkt 37:3 display -- hidden parameter
|
||||
TR info: invalid-unboxed-let.rkt 38:3 display -- hidden parameter
|
||||
6.0+12.0i7.0+14.0i1.0+2.0i1)
|
||||
|
||||
#lang typed/scheme
|
||||
|
|
|
|||
|
|
@ -1,5 +1,6 @@
|
|||
#;
|
||||
(
|
||||
TR info: structs.rkt 12:11 pt -- struct constructor
|
||||
TR opt: structs.rkt 13:0 (pt-x a) -- struct ref
|
||||
TR opt: structs.rkt 14:0 (set-pt-y! a 5) -- struct set
|
||||
3
|
||||
|
|
@ -7,7 +8,6 @@ TR opt: structs.rkt 14:0 (set-pt-y! a 5) -- struct set
|
|||
|
||||
#lang typed/scheme
|
||||
#:optimize
|
||||
|
||||
(define-struct: pt ((x : Integer) (y : Integer)) #:mutable)
|
||||
(define a (pt 3 4))
|
||||
(pt-x a)
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user