From a328fe6ac4ba70ddb80d7ba4bdccedd5835f9c4c Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 20 Jun 2013 22:19:39 -0700 Subject: [PATCH] Separated out the tr log and output. --- .../missed-optimizations/all-real.rkt | 13 +- .../optimizer/missed-optimizations/fixnum.rkt | 33 ++-- .../missed-optimizations/multi-file1.rkt | 7 +- .../missed-optimizations/multi-file2.rkt | 13 +- .../multiple-irritants.rkt | 9 +- .../missed-optimizations/nested-same-kind.rkt | 45 ++--- .../optimizer/missed-optimizations/pair.rkt | 71 +++---- .../missed-optimizations/precision-loss.rkt | 43 +++-- .../real-in-float-expr.rkt | 19 +- .../missed-optimizations/unary-float.rkt | 17 +- .../unexpected-complex.rkt | 13 +- .../tests/typed-racket/optimizer/run.rkt | 24 +-- .../typed-racket/optimizer/tests/add1.rkt | 13 +- .../optimizer/tests/annotations.rkt | 11 +- .../optimizer/tests/apply-plus.rkt | 9 +- .../optimizer/tests/begin-float.rkt | 9 +- .../optimizer/tests/binary-fixnum.rkt | 7 +- .../optimizer/tests/binary-nonzero-fixnum.rkt | 9 +- .../optimizer/tests/bounds-check.rkt | 33 ++-- .../typed-racket/optimizer/tests/box.rkt | 11 +- .../optimizer/tests/case-arrow.rkt | 19 +- .../tests/case-lambda-dead-branch.rkt | 7 +- .../optimizer/tests/complex-exp.rkt | 13 +- .../optimizer/tests/cross-module-struct.rkt | 3 +- .../optimizer/tests/cross-module-struct2.rkt | 7 +- .../optimizer/tests/dead-else.rkt | 17 +- .../optimizer/tests/dead-inf-comp.rkt | 109 +++++------ .../optimizer/tests/dead-substructs.rkt | 9 +- .../optimizer/tests/dead-then.rkt | 17 +- .../optimizer/tests/define-begin-float.rkt | 11 +- .../optimizer/tests/define-call-float.rkt | 5 +- .../optimizer/tests/define-float.rkt | 5 +- .../optimizer/tests/define-pair.rkt | 5 +- .../optimizer/tests/derived-pair.rkt | 21 ++- .../optimizer/tests/derived-pair2.rkt | 53 +++--- .../optimizer/tests/derived-pair3.rkt | 133 ++++++------- .../optimizer/tests/different-langs.rkt | 7 +- .../optimizer/tests/double-float.rkt | 7 +- .../optimizer/tests/drop-pure-pred.rkt | 9 +- .../optimizer/tests/exact-inexact.rkt | 21 ++- .../typed-racket/optimizer/tests/expt.rkt | 7 +- .../optimizer/tests/false-huh-dead-code.rkt | 9 +- .../optimizer/tests/fixnum-bounded-expr.rkt | 5 +- .../optimizer/tests/fixnum-comparison.rkt | 11 +- .../optimizer/tests/float-comp.rkt | 7 +- .../tests/float-complex-conjugate-top.rkt | 13 +- .../tests/float-complex-conjugate.rkt | 15 +- .../optimizer/tests/float-complex-div.rkt | 13 +- .../optimizer/tests/float-complex-fixnum.rkt | 19 +- .../tests/float-complex-float-div.rkt | 63 ++++--- .../tests/float-complex-float-mul.rkt | 47 ++--- .../tests/float-complex-float-small.rkt | 41 ++-- .../optimizer/tests/float-complex-float.rkt | 35 ++-- .../optimizer/tests/float-complex-i.rkt | 15 +- .../optimizer/tests/float-complex-integer.rkt | 11 +- .../optimizer/tests/float-complex-mult.rkt | 13 +- .../optimizer/tests/float-complex-parts.rkt | 17 +- .../optimizer/tests/float-complex-parts2.rkt | 61 +++--- .../optimizer/tests/float-complex-parts3.rkt | 53 +++--- .../optimizer/tests/float-complex-sin.rkt | 27 +-- .../optimizer/tests/float-complex.rkt | 17 +- .../optimizer/tests/float-fun.rkt | 5 +- .../optimizer/tests/float-promotion.rkt | 13 +- .../optimizer/tests/float-real.rkt | 21 ++- .../optimizer/tests/flvector-length.rkt | 7 +- .../typed-racket/optimizer/tests/fx-fl.rkt | 7 +- .../typed-racket/optimizer/tests/in-bytes.rkt | 11 +- .../typed-racket/optimizer/tests/in-list.rkt | 11 +- .../typed-racket/optimizer/tests/in-range.rkt | 11 +- .../optimizer/tests/in-string.rkt | 11 +- .../optimizer/tests/in-vector.rkt | 11 +- .../tests/invalid-binary-nonzero-fixnum.rkt | 5 +- .../optimizer/tests/invalid-derived-pair.rkt | 7 +- .../optimizer/tests/invalid-exact-inexact.rkt | 7 +- .../optimizer/tests/invalid-float-comp.rkt | 5 +- .../tests/invalid-float-promotion.rkt | 13 +- .../optimizer/tests/invalid-fxquotient.rkt | 7 +- .../tests/invalid-inexact-complex-parts.rkt | 5 +- .../optimizer/tests/invalid-log-complex.rkt | 7 +- .../tests/invalid-make-flrectangular.rkt | 5 +- .../optimizer/tests/invalid-make-polar.rkt | 5 +- .../optimizer/tests/invalid-mpair.rkt | 5 +- .../optimizer/tests/invalid-sqrt.rkt | 7 +- .../optimizer/tests/invalid-unboxed-let.rkt | 45 ++--- .../optimizer/tests/invalid-unboxed-let2.rkt | 23 ++- .../optimizer/tests/invalid-vector-ref.rkt | 5 +- .../optimizer/tests/invalid-vector-set.rkt | 5 +- .../optimizer/tests/known-length-lists.rkt | 31 +-- .../optimizer/tests/known-vector-length.rkt | 9 +- .../optimizer/tests/let-float.rkt | 9 +- .../typed-racket/optimizer/tests/let-rhs.rkt | 7 +- .../typed-racket/optimizer/tests/list.rkt | 31 +-- .../optimizer/tests/literal-int.rkt | 7 +- .../optimizer/tests/magnitude.rkt | 9 +- .../optimizer/tests/make-flrectangular.rkt | 9 +- .../optimizer/tests/make-polar.rkt | 29 +-- .../optimizer/tests/maybe-exact-complex.rkt | 11 +- .../optimizer/tests/module-path.rkt | 7 +- .../typed-racket/optimizer/tests/mpair.rkt | 19 +- .../optimizer/tests/multi-flcomp.rkt | 17 +- .../optimizer/tests/n-ary-float-complex.rkt | 15 +- .../optimizer/tests/n-ary-float.rkt | 7 +- .../optimizer/tests/nested-float-complex.rkt | 15 +- .../optimizer/tests/nested-float.rkt | 9 +- .../optimizer/tests/nested-float2.rkt | 9 +- .../optimizer/tests/nested-let-loop.rkt | 69 +++---- .../optimizer/tests/nested-pair1.rkt | 9 +- .../optimizer/tests/nested-pair2.rkt | 9 +- .../optimizer/tests/nested-unboxed-let.rkt | 39 ++-- .../optimizer/tests/one-arg-arith.rkt | 35 ++-- .../typed-racket/optimizer/tests/pair-fun.rkt | 5 +- .../tests/pair-known-length-list.rkt | 29 +-- .../typed-racket/optimizer/tests/pr13468.rkt | 69 +++---- .../typed-racket/optimizer/tests/pr13788.rkt | 7 +- .../typed-racket/optimizer/tests/quote.rkt | 5 +- .../optimizer/tests/rational-literal.rkt | 7 +- .../optimizer/tests/real-part-loop.rkt | 37 ++-- .../optimizer/tests/silent-dead-branch.rkt | 5 +- .../optimizer/tests/simple-float.rkt | 7 +- .../optimizer/tests/simple-pair.rkt | 7 +- .../optimizer/tests/sqrt-segfault.rkt | 9 +- .../typed-racket/optimizer/tests/sqrt.rkt | 5 +- .../optimizer/tests/string-length.rkt | 9 +- .../typed-racket/optimizer/tests/structs.rkt | 11 +- .../optimizer/tests/ternary-equality.rkt | 7 +- .../optimizer/tests/unary-fixnum-nested.rkt | 11 +- .../optimizer/tests/unary-fixnum.rkt | 5 +- .../optimizer/tests/unary-float.rkt | 7 +- .../optimizer/tests/unboxed-exp.rkt | 33 ++-- .../optimizer/tests/unboxed-for.rkt | 73 ++++---- .../tests/unboxed-let-functions1.rkt | 31 +-- .../tests/unboxed-let-functions2.rkt | 41 ++-- .../tests/unboxed-let-functions3.rkt | 31 +-- .../tests/unboxed-let-functions4.rkt | 31 +-- .../tests/unboxed-let-functions5.rkt | 11 +- .../tests/unboxed-let-functions6.rkt | 41 ++-- .../tests/unboxed-let-functions7.rkt | 39 ++-- .../tests/unboxed-let-functions8.rkt | 11 +- .../optimizer/tests/unboxed-let.rkt | 49 ++--- .../optimizer/tests/unboxed-let2.rkt | 37 ++-- .../optimizer/tests/unboxed-let3.rkt | 27 +-- .../tests/unboxed-letrec-syntaxes+values.rkt | 25 +-- .../optimizer/tests/unboxed-letrec.rkt | 33 ++-- .../tests/unboxed-make-rectangular.rkt | 37 ++-- .../optimizer/tests/vector-bounds-check.rkt | 9 +- .../optimizer/tests/vector-chaperone1.rkt | 3 +- .../optimizer/tests/vector-chaperone2.rkt | 7 +- .../optimizer/tests/vector-length-nested.rkt | 9 +- .../optimizer/tests/vector-length.rkt | 9 +- .../optimizer/tests/vector-ref-set-ref.rkt | 11 +- .../optimizer/tests/vector-ref.rkt | 7 +- .../optimizer/tests/vector-ref2.rkt | 7 +- .../optimizer/tests/vector-set-quote.rkt | 5 +- .../optimizer/tests/vector-set.rkt | 5 +- .../optimizer/tests/vector-set2.rkt | 5 +- .../optimizer/tests/vector-sum.rkt | 177 +++++++++--------- .../optimizer/tests/with-type.rkt | 7 +- .../typed-racket/optimizer/tests/zero.rkt | 11 +- .../typed-racket/optimizer/transform.rkt | 18 +- 159 files changed, 1774 insertions(+), 1369 deletions(-) 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 f4fbc04e43..8c4c06fca4 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,9 +1,12 @@ -#; +#;#; +#<