From f1b52be26ad8635bfa1d6bfe49e8e36780577a92 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 5 Feb 2014 00:00:21 -0800 Subject: [PATCH] Make TR optimizer tests reset the port line counting. This means new logging lines should not change the numbering of all existing logs making diffs much cleaner. --- .../missed-optimizations/all-real.rkt | 10 +- .../missed-optimizations/fixnum-no-bound.rkt | 14 +- .../optimizer/missed-optimizations/fixnum.rkt | 61 +++---- .../missed-optimizations/mandelbrot.rkt | 61 +++---- .../marketplace-struct.rkt | 47 +++--- .../missed-optimizations/multi-file1.rkt | 6 +- .../missed-optimizations/multi-file2.rkt | 6 +- .../multiple-irritants.rkt | 6 +- .../missed-optimizations/nested-same-kind.rkt | 42 ++--- .../optimizer/missed-optimizations/pair.rkt | 68 ++++---- .../missed-optimizations/precision-loss.rkt | 39 +++-- .../real-in-float-expr.rkt | 15 +- .../missed-optimizations/sequence.rkt | 3 +- .../struct-constructor.rkt | 5 +- .../missed-optimizations/unary-float.rkt | 14 +- .../unexpected-complex.rkt | 10 +- .../typed-racket/optimizer/reset-port.rkt | 11 ++ .../typed-racket/optimizer/tests/add1.rkt | 10 +- .../optimizer/tests/annotations.rkt | 9 +- .../optimizer/tests/apply-plus.rkt | 5 +- .../optimizer/tests/begin-float.rkt | 5 +- .../optimizer/tests/binary-fixnum.rkt | 6 +- .../optimizer/tests/binary-nonzero-fixnum.rkt | 5 +- .../optimizer/tests/bounds-check.rkt | 29 ++-- .../typed-racket/optimizer/tests/box.rkt | 9 +- .../optimizer/tests/case-arrow.rkt | 31 +--- .../tests/case-lambda-dead-branch.rkt | 5 +- .../optimizer/tests/complex-exp.rkt | 12 +- .../optimizer/tests/cross-module-struct.rkt | 2 +- .../optimizer/tests/cross-module-struct2.rkt | 4 +- .../optimizer/tests/dead-else.rkt | 13 +- .../optimizer/tests/dead-inf-comp.rkt | 157 +++++++++--------- .../optimizer/tests/dead-substructs.rkt | 6 +- .../optimizer/tests/dead-then.rkt | 13 +- .../optimizer/tests/define-begin-float.rkt | 8 +- .../optimizer/tests/define-call-float.rkt | 4 +- .../optimizer/tests/define-float.rkt | 4 +- .../optimizer/tests/define-pair.rkt | 4 +- .../optimizer/tests/derived-pair.rkt | 18 +- .../optimizer/tests/derived-pair2.rkt | 50 +++--- .../optimizer/tests/derived-pair3.rkt | 130 +++++++-------- .../optimizer/tests/different-langs.rkt | 4 +- .../optimizer/tests/double-float.rkt | 4 +- .../optimizer/tests/drop-pure-pred.rkt | 4 +- .../optimizer/tests/exact-inexact.rkt | 18 +- .../typed-racket/optimizer/tests/expt.rkt | 8 +- .../optimizer/tests/false-huh-dead-code.rkt | 6 +- .../optimizer/tests/fixnum-bounded-expr.rkt | 64 ++++--- .../optimizer/tests/fixnum-comparison.rkt | 8 +- .../optimizer/tests/float-comp.rkt | 4 +- .../tests/float-complex-conjugate-top.rkt | 10 +- .../tests/float-complex-conjugate.rkt | 16 +- .../optimizer/tests/float-complex-div.rkt | 10 +- .../optimizer/tests/float-complex-fixnum.rkt | 12 +- .../tests/float-complex-float-div.rkt | 62 +++---- .../tests/float-complex-float-mul.rkt | 46 ++--- .../tests/float-complex-float-small.rkt | 40 ++--- .../optimizer/tests/float-complex-float.rkt | 34 ++-- .../optimizer/tests/float-complex-i.rkt | 14 +- .../optimizer/tests/float-complex-integer.rkt | 8 +- .../optimizer/tests/float-complex-mult.rkt | 10 +- .../tests/float-complex-number-mul.rkt | 17 +- .../optimizer/tests/float-complex-parts.rkt | 14 +- .../optimizer/tests/float-complex-parts2.rkt | 46 ++--- .../optimizer/tests/float-complex-parts3.rkt | 58 +++---- .../optimizer/tests/float-complex-sin.rkt | 18 +- .../optimizer/tests/float-complex-unary.rkt | 41 ++--- .../optimizer/tests/float-complex.rkt | 14 +- .../optimizer/tests/float-fun.rkt | 5 +- .../optimizer/tests/float-promotion.rkt | 8 +- .../optimizer/tests/float-real.rkt | 18 +- .../typed-racket/optimizer/tests/flrandom.rkt | 12 +- .../optimizer/tests/flvector-length.rkt | 4 +- .../typed-racket/optimizer/tests/fx-fl.rkt | 4 +- .../typed-racket/optimizer/tests/in-bytes.rkt | 7 +- .../typed-racket/optimizer/tests/in-list.rkt | 7 +- .../typed-racket/optimizer/tests/in-range.rkt | 7 +- .../optimizer/tests/in-string.rkt | 7 +- .../optimizer/tests/in-vector.rkt | 7 +- .../tests/invalid-binary-nonzero-fixnum.rkt | 4 +- .../optimizer/tests/invalid-derived-pair.rkt | 6 +- .../optimizer/tests/invalid-exact-inexact.rkt | 4 +- .../optimizer/tests/invalid-float-comp.rkt | 4 +- .../tests/invalid-float-promotion.rkt | 9 +- .../optimizer/tests/invalid-fxquotient.rkt | 6 +- .../tests/invalid-inexact-complex-parts.rkt | 4 +- .../optimizer/tests/invalid-log-complex.rkt | 6 +- .../tests/invalid-make-flrectangular.rkt | 2 +- .../optimizer/tests/invalid-make-polar.rkt | 2 +- .../optimizer/tests/invalid-mpair.rkt | 4 +- .../optimizer/tests/invalid-sqrt.rkt | 4 +- .../optimizer/tests/invalid-unboxed-let.rkt | 30 ++-- .../optimizer/tests/invalid-unboxed-let2.rkt | 20 +-- .../optimizer/tests/invalid-vector-ref.rkt | 4 +- .../optimizer/tests/invalid-vector-set.rkt | 4 +- .../optimizer/tests/known-length-lists.rkt | 28 ++-- .../optimizer/tests/known-vector-length.rkt | 6 +- .../optimizer/tests/let-float.rkt | 6 +- .../optimizer/tests/let-loop-effects.rkt | 51 +++--- .../typed-racket/optimizer/tests/let-rhs.rkt | 4 +- .../typed-racket/optimizer/tests/list.rkt | 28 ++-- .../optimizer/tests/literal-int.rkt | 4 +- .../optimizer/tests/magnitude.rkt | 6 +- .../optimizer/tests/make-flrectangular.rkt | 6 +- .../optimizer/tests/make-polar.rkt | 27 ++- .../optimizer/tests/maybe-exact-complex.rkt | 10 +- .../optimizer/tests/module-path.rkt | 4 +- .../typed-racket/optimizer/tests/mpair.rkt | 16 +- .../optimizer/tests/multi-flcomp.rkt | 16 +- .../optimizer/tests/n-ary-float-complex.rkt | 12 +- .../optimizer/tests/n-ary-float.rkt | 4 +- .../optimizer/tests/nested-float-complex.rkt | 12 +- .../optimizer/tests/nested-float.rkt | 6 +- .../optimizer/tests/nested-float2.rkt | 6 +- .../optimizer/tests/nested-let-loop.rkt | 54 +++--- .../optimizer/tests/nested-pair1.rkt | 6 +- .../optimizer/tests/nested-pair2.rkt | 6 +- .../optimizer/tests/nested-unboxed-let.rkt | 24 +-- .../optimizer/tests/one-arg-arith.rkt | 32 ++-- .../typed-racket/optimizer/tests/pair-fun.rkt | 4 +- .../tests/pair-known-length-list.rkt | 26 +-- .../typed-racket/optimizer/tests/pr12475.rkt | 19 ++- .../typed-racket/optimizer/tests/pr13468.rkt | 44 +++-- .../typed-racket/optimizer/tests/pr13788.rkt | 4 +- .../typed-racket/optimizer/tests/pr14284.rkt | 25 +-- .../typed-racket/optimizer/tests/quote.rkt | 1 + .../optimizer/tests/rational-literal.rkt | 3 +- .../optimizer/tests/real-part-loop.rkt | 31 ++-- .../optimizer/tests/silent-dead-branch.rkt | 4 +- .../optimizer/tests/simple-float.rkt | 4 +- .../optimizer/tests/simple-pair.rkt | 4 +- .../optimizer/tests/sqrt-segfault.rkt | 9 +- .../typed-racket/optimizer/tests/sqrt.rkt | 4 +- .../optimizer/tests/string-length.rkt | 8 +- .../typed-racket/optimizer/tests/structs.rkt | 8 +- .../optimizer/tests/ternary-equality.rkt | 4 +- .../optimizer/tests/unary-fixnum-nested.rkt | 8 +- .../optimizer/tests/unary-fixnum.rkt | 6 +- .../optimizer/tests/unary-float.rkt | 4 +- .../tests/unary-minus-float-complex.rkt | 9 +- .../optimizer/tests/unboxed-exp.rkt | 30 ++-- .../optimizer/tests/unboxed-for.rkt | 42 ++--- .../tests/unboxed-let-constants-fail1.rkt | 21 +-- .../optimizer/tests/unboxed-let-constants.rkt | 17 +- .../tests/unboxed-let-functions1.rkt | 22 +-- .../tests/unboxed-let-functions2.rkt | 26 +-- .../tests/unboxed-let-functions3.rkt | 22 +-- .../tests/unboxed-let-functions4.rkt | 22 +-- .../tests/unboxed-let-functions5.rkt | 8 +- .../tests/unboxed-let-functions6.rkt | 32 ++-- .../tests/unboxed-let-functions7.rkt | 28 ++-- .../tests/unboxed-let-functions8.rkt | 10 +- .../optimizer/tests/unboxed-let.rkt | 30 ++-- .../optimizer/tests/unboxed-let2.rkt | 24 +-- .../optimizer/tests/unboxed-let3.rkt | 18 +- .../tests/unboxed-letrec-syntaxes+values.rkt | 16 +- .../optimizer/tests/unboxed-letrec.rkt | 20 +-- .../tests/unboxed-make-rectangular.rkt | 22 +-- .../optimizer/tests/vector-bounds-check.rkt | 6 +- .../optimizer/tests/vector-chaperone1.rkt | 1 + .../optimizer/tests/vector-chaperone2.rkt | 3 +- .../optimizer/tests/vector-length-nested.rkt | 6 +- .../optimizer/tests/vector-length.rkt | 6 +- .../optimizer/tests/vector-ref-set-ref.rkt | 8 +- .../optimizer/tests/vector-ref.rkt | 4 +- .../optimizer/tests/vector-ref2.rkt | 4 +- .../optimizer/tests/vector-set-quote.rkt | 4 +- .../optimizer/tests/vector-set.rkt | 4 +- .../optimizer/tests/vector-set2.rkt | 4 +- .../optimizer/tests/vector-sum.rkt | 144 ++++++++-------- .../optimizer/tests/with-type.rkt | 4 +- .../typed-racket/optimizer/tests/zero.rkt | 8 +- 172 files changed, 1477 insertions(+), 1488 deletions(-) create mode 100644 pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/reset-port.rkt 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 @@ #;#; #<