From be5c82a8db711b97559c27ee026d97a2af8a27db Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 20 Jun 2013 21:32:06 -0700 Subject: [PATCH] Switch to using here strings instead of a list. original commit: cd52e6d203c76f7afa02747e4849d611334926aa --- .../missed-optimizations/all-real.rkt | 15 +- .../optimizer/missed-optimizations/fixnum.rkt | 33 ++-- .../missed-optimizations/multi-file1.rkt | 9 +- .../missed-optimizations/multi-file2.rkt | 13 +- .../multiple-irritants.rkt | 10 +- .../missed-optimizations/nested-same-kind.rkt | 45 ++--- .../optimizer/missed-optimizations/pair.rkt | 71 +++---- .../missed-optimizations/precision-loss.rkt | 43 +++-- .../real-in-float-expr.rkt | 24 ++- .../missed-optimizations/unary-float.rkt | 22 ++- .../unexpected-complex.rkt | 13 +- .../tests/typed-racket/optimizer/run.rkt | 4 +- .../typed-racket/optimizer/tests/add1.rkt | 13 +- .../optimizer/tests/annotations.rkt | 13 +- .../optimizer/tests/apply-plus.rkt | 9 +- .../optimizer/tests/begin-float.rkt | 9 +- .../optimizer/tests/binary-fixnum.rkt | 9 +- .../optimizer/tests/binary-nonzero-fixnum.rkt | 9 +- .../optimizer/tests/bounds-check.rkt | 39 ++-- .../typed-racket/optimizer/tests/box.rkt | 11 +- .../optimizer/tests/case-arrow.rkt | 21 +- .../tests/case-lambda-dead-branch.rkt | 9 +- .../optimizer/tests/complex-exp.rkt | 13 +- .../optimizer/tests/cross-module-struct.rkt | 5 +- .../optimizer/tests/cross-module-struct2.rkt | 7 +- .../optimizer/tests/dead-else.rkt | 17 +- .../optimizer/tests/dead-inf-comp.rkt | 125 ++++++------ .../optimizer/tests/dead-substructs.rkt | 11 +- .../optimizer/tests/dead-then.rkt | 17 +- .../optimizer/tests/define-begin-float.rkt | 11 +- .../optimizer/tests/define-call-float.rkt | 7 +- .../optimizer/tests/define-float.rkt | 7 +- .../optimizer/tests/define-pair.rkt | 7 +- .../optimizer/tests/derived-pair.rkt | 25 ++- .../optimizer/tests/derived-pair2.rkt | 61 +++--- .../optimizer/tests/derived-pair3.rkt | 149 +++++++-------- .../optimizer/tests/different-langs.rkt | 8 +- .../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 | 9 +- .../optimizer/tests/false-huh-dead-code.rkt | 9 +- .../optimizer/tests/fixnum-bounded-expr.rkt | 59 +++--- .../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 | 57 +++--- .../tests/float-complex-float-mul.rkt | 43 +++-- .../tests/float-complex-float-small.rkt | 41 ++-- .../optimizer/tests/float-complex-float.rkt | 31 +-- .../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 | 13 +- .../optimizer/tests/float-complex-parts2.rkt | 61 +++--- .../optimizer/tests/float-complex-parts3.rkt | 47 ++--- .../optimizer/tests/float-complex-sin.rkt | 27 +-- .../optimizer/tests/float-complex.rkt | 13 +- .../optimizer/tests/float-fun.rkt | 7 +- .../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 | 7 +- .../optimizer/tests/invalid-derived-pair.rkt | 9 +- .../optimizer/tests/invalid-exact-inexact.rkt | 7 +- .../optimizer/tests/invalid-float-comp.rkt | 5 +- .../tests/invalid-float-promotion.rkt | 16 +- .../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 | 7 +- .../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 | 7 +- .../optimizer/tests/invalid-vector-set.rkt | 7 +- .../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 | 7 +- .../tests/pair-known-length-list.rkt | 23 +-- .../typed-racket/optimizer/tests/pr13468.rkt | 70 +++---- .../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 | 7 +- .../optimizer/tests/simple-float.rkt | 7 +- .../optimizer/tests/simple-pair.rkt | 7 +- .../optimizer/tests/sqrt-segfault.rkt | 11 +- .../typed-racket/optimizer/tests/sqrt.rkt | 7 +- .../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 | 9 +- .../optimizer/tests/unary-float.rkt | 7 +- .../optimizer/tests/unboxed-exp.rkt | 31 +-- .../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 | 5 +- .../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 | 7 +- .../optimizer/tests/vector-set.rkt | 7 +- .../optimizer/tests/vector-set2.rkt | 7 +- .../optimizer/tests/vector-sum.rkt | 179 +++++++++--------- .../optimizer/tests/with-type.rkt | 7 +- .../typed-racket/optimizer/tests/zero.rkt | 11 +- .../typed-racket/optimizer/transform.rkt | 7 +- 159 files changed, 1703 insertions(+), 1551 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 35398a96..f4fbc04e 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,10 +1,13 @@ #; -( -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 -TR info: all-real.rkt 25:0 (* (ann 3 Real) (ann 4 Real)) -- exact real arith -7 12) +#<