diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt index 0b63321949..74191e613d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/all-real.rkt @@ -1,17 +1,17 @@ #;#; #< (+ zrq ziq) 4) -- generic comparison -- caused by: 54:29 4 -TR missed opt: mandelbrot.rkt 54:14 (> (+ zrq ziq) 4) -- generic comparison -- caused by: 54:29 4 -TR missed opt: mandelbrot.rkt 57:25 (- (* 2 zr zi) ci) -- all args float-arg-expr, result not Float -- caused by: 57:28 (* 2 zr zi) -TR missed opt: mandelbrot.rkt 57:25 (- (* 2 zr zi) ci) -- all args float-arg-expr, result not Float -- caused by: 57:28 (* 2 zr zi) -TR missed opt: mandelbrot.rkt 57:28 (* 2 zr zi) -- all args float-arg-expr, result not Float -- caused by: 57:31 2 -TR missed opt: mandelbrot.rkt 57:28 (* 2 zr zi) -- all args float-arg-expr, result not Float -- caused by: 57:31 2 -TR opt: mandelbrot.rkt 51:21 (* zr zr) -- binary float -TR opt: mandelbrot.rkt 51:21 (* zr zr) -- binary float -TR opt: mandelbrot.rkt 52:21 (* zi zi) -- binary float -TR opt: mandelbrot.rkt 52:21 (* zi zi) -- binary float -TR opt: mandelbrot.rkt 54:17 (+ zrq ziq) -- binary float -TR opt: mandelbrot.rkt 54:17 (+ zrq ziq) -- binary float -TR opt: mandelbrot.rkt 56:25 (+ (- zrq ziq) cr) -- binary float -TR opt: mandelbrot.rkt 56:25 (+ (- zrq ziq) cr) -- binary float -TR opt: mandelbrot.rkt 56:28 (- zrq ziq) -- binary float -TR opt: mandelbrot.rkt 56:28 (- zrq ziq) -- binary float +TR info: mandelbrot.rkt 10:15 (/ (* 2.0 y) n) -- possible exact real arith +TR info: mandelbrot.rkt 10:18 (* 2.0 y) -- possible exact real arith +TR info: mandelbrot.rkt 11:15 (/ (* 2.0 x) n) -- possible exact real arith +TR info: mandelbrot.rkt 11:18 (* 2.0 x) -- possible exact real arith +TR info: mandelbrot.rkt 21:28 (* 2 zr zi) -- possible exact real arith +TR info: mandelbrot.rkt 21:28 (* 2 zr zi) -- possible exact real arith +TR missed opt: mandelbrot.rkt 10:12 (- (/ (* 2.0 y) n) 1.0) -- all args float-arg-expr, result not Float -- caused by: 10:15 (/ (* 2.0 y) n) +TR missed opt: mandelbrot.rkt 10:12 (- (/ (* 2.0 y) n) 1.0) -- exact ops inside float expr -- caused by: 10:15 (/ (* 2.0 y) n) +TR missed opt: mandelbrot.rkt 10:15 (/ (* 2.0 y) n) -- all args float-arg-expr, result not Float -- caused by: 10:18 (* 2.0 y), 10:28 n +TR missed opt: mandelbrot.rkt 10:18 (* 2.0 y) -- all args float-arg-expr, result not Float -- caused by: 10:25 y +TR missed opt: mandelbrot.rkt 11:12 (- (/ (* 2.0 x) n) 1.5) -- all args float-arg-expr, result not Float -- caused by: 11:15 (/ (* 2.0 x) n) +TR missed opt: mandelbrot.rkt 11:12 (- (/ (* 2.0 x) n) 1.5) -- exact ops inside float expr -- caused by: 11:15 (/ (* 2.0 x) n) +TR missed opt: mandelbrot.rkt 11:15 (/ (* 2.0 x) n) -- all args float-arg-expr, result not Float -- caused by: 11:18 (* 2.0 x), 11:28 n +TR missed opt: mandelbrot.rkt 11:18 (* 2.0 x) -- all args float-arg-expr, result not Float -- caused by: 11:25 x +TR missed opt: mandelbrot.rkt 18:14 (> (+ zrq ziq) 4) -- generic comparison -- caused by: 18:29 4 +TR missed opt: mandelbrot.rkt 18:14 (> (+ zrq ziq) 4) -- generic comparison -- caused by: 18:29 4 +TR missed opt: mandelbrot.rkt 21:25 (- (* 2 zr zi) ci) -- all args float-arg-expr, result not Float -- caused by: 21:28 (* 2 zr zi) +TR missed opt: mandelbrot.rkt 21:25 (- (* 2 zr zi) ci) -- all args float-arg-expr, result not Float -- caused by: 21:28 (* 2 zr zi) +TR missed opt: mandelbrot.rkt 21:28 (* 2 zr zi) -- all args float-arg-expr, result not Float -- caused by: 21:31 2 +TR missed opt: mandelbrot.rkt 21:28 (* 2 zr zi) -- all args float-arg-expr, result not Float -- caused by: 21:31 2 +TR opt: mandelbrot.rkt 15:21 (* zr zr) -- binary float +TR opt: mandelbrot.rkt 15:21 (* zr zr) -- binary float +TR opt: mandelbrot.rkt 16:21 (* zi zi) -- binary float +TR opt: mandelbrot.rkt 16:21 (* zi zi) -- binary float +TR opt: mandelbrot.rkt 18:17 (+ zrq ziq) -- binary float +TR opt: mandelbrot.rkt 18:17 (+ zrq ziq) -- binary float +TR opt: mandelbrot.rkt 20:25 (+ (- zrq ziq) cr) -- binary float +TR opt: mandelbrot.rkt 20:25 (+ (- zrq ziq) cr) -- binary float +TR opt: mandelbrot.rkt 20:28 (- zrq ziq) -- binary float +TR opt: mandelbrot.rkt 20:28 (- zrq ziq) -- binary float END "" #lang typed/racket +#reader tests/typed-racket/optimizer/reset-port ;; from Matthew's talk at Mozilla ;; 2 things were blocking futures: diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/marketplace-struct.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/marketplace-struct.rkt index b823bf08bc..8750483759 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/marketplace-struct.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/marketplace-struct.rkt @@ -1,31 +1,32 @@ #;#; #< Real) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt index 2ac1f494b6..53c30a7c0e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/multi-file2.rkt @@ -1,14 +1,14 @@ #;#; #< Real)) (define (r x) x) ;; warn when the extra precision gained by doing exact computations would diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt index 1b0d7332d3..df9cb0d770 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/real-in-float-expr.rkt @@ -1,12 +1,12 @@ #;#; #< Void) (define (seq-generic s) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/struct-constructor.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/struct-constructor.rkt index 36b25ddd24..7b9c0cc7e9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/struct-constructor.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/missed-optimizations/struct-constructor.rkt @@ -1,11 +1,10 @@ #;#; #< Natural))) (define (f v) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt index 9ea5113155..cc2fea8eb1 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/binary-nonzero-fixnum.rkt @@ -1,7 +1,7 @@ #;#; #<