suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use sandboxes instead of duplicate files to test results when optimizing.

Browse Source 
original commit: 46b2a2113af3e6f8174379880620f7add5b0f079
This commit is contained in:
Vincent St-Amour 2010-08-26 17:44:21 -04:00
parent e291319f96
commit 7b0682b8d0
94 changed files with 348 additions and 233 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/tests/typed-scheme/optimizer/generic/apply-plus.rkt
View File

@ -1,4 +1,5 @@
#lang typed/racket #:optimize
#lang typed/racket
#:optimize
(require racket/unsafe/ops)
(apply + (map add1 (list 1 2 3)))
(apply * (map add1 (list 1 2 3)))

9
collects/tests/typed-scheme/optimizer/generic/begin-float.rkt
View File

@ -1,4 +1,5 @@
(module begin-float typed/scheme #:optimize
(require racket/unsafe/ops)
(begin (- 2.0 3.0)
(* 2.0 3.0)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(begin (- 2.0 3.0)
(* 2.0 3.0))

11
collects/tests/typed-scheme/optimizer/generic/binary-fixnum.rkt
View File

@ -1,5 +1,6 @@
(module binary-fixnum typed/scheme #:optimize
(require racket/unsafe/ops)
(: f (All (X) ((Vectorof X) -> Natural)))
(define (f v)
(bitwise-and (vector-length v) 1)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(: f (All (X) ((Vectorof X) -> Natural)))
(define (f v)
(bitwise-and (vector-length v) 1))

7
collects/tests/typed-scheme/optimizer/generic/binary-nonzero-fixnum.rkt
View File

@ -1,3 +1,4 @@
(module binary-nonzero-fixnum typed/scheme #:optimize
(require racket/unsafe/ops)
(quotient (vector-length '#(1 2 3)) 2))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(quotient (vector-length '#(1 2 3)) 2)

3
collects/tests/typed-scheme/optimizer/generic/box.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/dead-else.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(display (if (number? 3)
(+ 2.0 3.0)

3
collects/tests/typed-scheme/optimizer/generic/dead-substructs.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
;; originally from nucleic3
;; cond on substructs, branches were considered dead

3
collects/tests/typed-scheme/optimizer/generic/dead-then.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(display (if (number? "eh")
(+ 2.0 3.0)

9
collects/tests/typed-scheme/optimizer/generic/define-begin-float.rkt
View File

@ -1,4 +1,5 @@
(module define-begin-float typed/scheme #:optimize
(require racket/unsafe/ops)
(define a (begin (display (- 2.0 3.0))
(* 2.0 3.0))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(define a (begin (display (- 2.0 3.0))
(* 2.0 3.0)))

7
collects/tests/typed-scheme/optimizer/generic/define-call-float.rkt
View File

@ -1,3 +1,4 @@
(module define-call-float typed/scheme #:optimize
(require racket/unsafe/ops)
(define x (cons (+ 1.0 2.0) 3.0)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(define x (cons (+ 1.0 2.0) 3.0))

7
collects/tests/typed-scheme/optimizer/generic/define-float.rkt
View File

@ -1,3 +1,4 @@
(module define-float typed/scheme #:optimize
(require racket/unsafe/ops)
(define x (+ 1.0 2.0)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(define x (+ 1.0 2.0))

7
collects/tests/typed-scheme/optimizer/generic/define-pair.rkt
View File

@ -1,3 +1,4 @@
(module define-pair typed/scheme #:optimize
(require racket/unsafe/ops)
(define x (car '(1 3))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(define x (car '(1 3)))

5
collects/tests/typed-scheme/optimizer/generic/different-langs.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme
#:optimize
;; to see if the harness supports having the 2 versions of a test being
;; written in different languages
(module different-langs typed/scheme #:optimize
(+ 1 2))
(+ 1 2)

7
collects/tests/typed-scheme/optimizer/generic/double-float.rkt
View File

@ -1,3 +1,4 @@
(module double-float typed/scheme #:optimize
(require racket/unsafe/ops)
(+ 2.0 2.0 2.0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ 2.0 2.0 2.0)

7
collects/tests/typed-scheme/optimizer/generic/exact-inexact.rkt
View File

@ -1,3 +1,4 @@
(module exact-inexact typed/scheme #:optimize
(require racket/flonum)
(exact->inexact (expt 10 100))) ; must not be a fixnum
#lang typed/scheme
#:optimize
(require racket/flonum)
(exact->inexact (expt 10 100)) ; must not be a fixnum

7
collects/tests/typed-scheme/optimizer/generic/fixnum-comparison.rkt
View File

@ -1,3 +1,4 @@
(module fixnum-comparison typed/scheme #:optimize
(require racket/unsafe/ops)
(< (vector-length '#(1 2 3)) (string-length "asdf")))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(< (vector-length '#(1 2 3)) (string-length "asdf"))

7
collects/tests/typed-scheme/optimizer/generic/float-comp.rkt
View File

@ -1,3 +1,4 @@
(module float-comp typed/scheme #:optimize
(require racket/unsafe/ops)
(< 1.0 2.0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(< 1.0 2.0)

12
collects/tests/typed-scheme/optimizer/generic/float-fun.rkt
View File

@ -1,5 +1,7 @@
(module float-fun typed/scheme #:optimize
(require racket/unsafe/ops)
(: f (Float -> Float))
(define (f x)
(+ x 1.0)))
#lang typed/racket
#:optimize
(require racket/unsafe/ops)
(: f (Float -> Float))
(define (f x)
(+ x 1.0))

9
collects/tests/typed-scheme/optimizer/generic/float-promotion.rkt
View File

@ -1,4 +1,5 @@
(module float-promotion typed/scheme #:optimize
(require racket/unsafe/ops racket/flonum)
(+ (quotient 1 1) 2.0)
(+ (expt 100 100) 2.0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/flonum)
(+ (quotient 1 1) 2.0)
(+ (expt 100 100) 2.0)

7
collects/tests/typed-scheme/optimizer/generic/flvector-length.rkt
View File

@ -1,3 +1,4 @@
(module flvector-length typed/scheme #:optimize
(require racket/unsafe/ops racket/flonum)
(flvector-length (flvector 0.0 1.2)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/flonum)
(flvector-length (flvector 0.0 1.2))

7
collects/tests/typed-scheme/optimizer/generic/fx-fl.rkt
View File

@ -1,3 +1,4 @@
(module fx-fl typed/scheme #:optimize
(require racket/unsafe/ops)
(exact->inexact 1))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(exact->inexact 1)

3
collects/tests/typed-scheme/optimizer/generic/in-bytes.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(for: ((i : Integer #"123"))
(display i))

9
collects/tests/typed-scheme/optimizer/generic/in-list.rkt
View File

@ -1,4 +1,5 @@
(module in-list typed/scheme #:optimize
(require racket/unsafe/ops)
(for: ((i : Natural '(1 2 3)))
(display i)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(for: ((i : Natural '(1 2 3)))
(display i))

3
collects/tests/typed-scheme/optimizer/generic/in-string.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(for: ((i : Char "123"))
(display i))

3
collects/tests/typed-scheme/optimizer/generic/in-vector.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(for: ((i : Integer (vector 1 2 3)))
(display i))

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-conjugate-top.rkt
View File

@ -1,3 +1,4 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(conjugate (+ 1.0+2.0i 2.0+4.0i))

3
collects/tests/typed-scheme/optimizer/generic/inexact-complex-fixnum.rkt
View File

@ -1,3 +1,4 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ (quotient 2 1) 1.0+2.0i 3.0+6.0i)

9
collects/tests/typed-scheme/optimizer/generic/invalid-binary-nonzero-fixnum.rkt
View File

@ -1,4 +1,5 @@
(module invalid-binary-nonzero-fixnum typed/scheme #:optimize
(: f ( -> Void))
(define (f) ; in a function, to prevent evaluation
(display (quotient 4 0)))) ; 2 fixnums, but the second is 0, cannot optimize
#lang typed/scheme
#:optimize
(: f ( -> Void))
(define (f) ; in a function, to prevent evaluation
(display (quotient 4 0))) ; 2 fixnums, but the second is 0, cannot optimize

5
collects/tests/typed-scheme/optimizer/generic/invalid-exact-inexact.rkt
View File

@ -1,2 +1,3 @@
(module exact-inexact typed/scheme #:optimize
(exact->inexact 1.0)) ; not an integer, can't optimize
#lang typed/scheme
#:optimize
(exact->inexact 1.0) ; not an integer, can't optimize

7
collects/tests/typed-scheme/optimizer/generic/invalid-float-comp.rkt
View File

@ -1,3 +1,4 @@
(module float-comp typed/scheme #:optimize
(require racket/unsafe/ops)
(< 1.0 2))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(< 1.0 2)

5
collects/tests/typed-scheme/optimizer/generic/invalid-float-promotion.rkt
View File

@ -1,2 +1,3 @@
(module float-promotion typed/scheme #:optimize
(/ 1 2.0)) ; result is not a float, can't optimize
#lang typed/scheme
#:optimize
(/ 1 2.0) ; result is not a float, can't optimize

5
collects/tests/typed-scheme/optimizer/generic/invalid-inexact-complex-parts.rkt
View File

@ -1,2 +1,3 @@
(module invalid-inexact-complex-parts.rkt typed/scheme #:optimize
(real-part 1+2i))
#lang typed/scheme
#:optimize
(real-part 1+2i)

5
collects/tests/typed-scheme/optimizer/generic/invalid-make-flrectangular.rkt
View File

@ -1,2 +1,3 @@
(module invalid-make-flrectangular typed/scheme #:optimize
(make-rectangular 1 2))
#lang typed/scheme
#:optimize
(make-rectangular 1 2)

3
collects/tests/typed-scheme/optimizer/generic/invalid-make-polar.rkt
View File

@ -1,3 +1,4 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(make-polar 0 0)

3
collects/tests/typed-scheme/optimizer/generic/invalid-mpair.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(: f ((MListof Integer) -> Integer))
(define (f x)
(mcar x))

5
collects/tests/typed-scheme/optimizer/generic/invalid-sqrt.rkt
View File

@ -1,2 +1,3 @@
(module invalid-sqrt typed/scheme #:optimize
(sqrt -2.0)) ; not a nonnegative flonum, can't optimize
#lang typed/scheme
#:optimize
(sqrt -2.0) ; not a nonnegative flonum, can't optimize

3
collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/invalid-unboxed-let2.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

9
collects/tests/typed-scheme/optimizer/generic/invalid-vector-ref.rkt
View File

@ -1,4 +1,5 @@
(module invalid-vector-ref typed/scheme #:optimize
(: f ((Vectorof Integer) -> Integer))
(define (f x)
(vector-ref x 0))) ; type is (Vectorof Integer), length is unknown, can't optimize
#lang typed/scheme
#:optimize
(: f ((Vectorof Integer) -> Integer))
(define (f x)
(vector-ref x 0)) ; type is (Vectorof Integer), length is unknown, can't optimize

9
collects/tests/typed-scheme/optimizer/generic/invalid-vector-set.rkt
View File

@ -1,4 +1,5 @@
(module invalid-vector-set typed/scheme #:optimize
(: f ((Vectorof Integer) -> Void))
(define (f x)
(vector-set! x 0 2))) ; type is (Vectorof Integer), length is ot known, can't optimize
#lang typed/scheme
#:optimize
(: f ((Vectorof Integer) -> Void))
(define (f x)
(vector-set! x 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize

7
collects/tests/typed-scheme/optimizer/generic/known-vector-length.rkt
View File

@ -1,3 +1,4 @@
(module known-vector-length typed/scheme #:optimize
(require racket/unsafe/ops)
(+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer)))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ 2 (vector-length (ann (vector 1 2) (Vector Integer Integer))))

9
collects/tests/typed-scheme/optimizer/generic/let-float.rkt
View File

@ -1,4 +1,5 @@
(module let-float typed/scheme #:optimize
(require racket/unsafe/ops)
(let ((x (+ 3.0 2.0)))
(* 9.0 x)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(let ((x (+ 3.0 2.0)))
(* 9.0 x))

3
collects/tests/typed-scheme/optimizer/generic/let-rhs.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/literal-int.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/magnitude.rkt
View File

@ -1,4 +1,5 @@
#lang typed/racket/base #:optimize
#lang typed/racket/base
#:optimize
(require racket/unsafe/ops)

9
collects/tests/typed-scheme/optimizer/generic/make-flrectangular.rkt
View File

@ -1,4 +1,5 @@
(module make-flrectangular typed/scheme #:optimize
(require racket/unsafe/ops racket/flonum)
(make-rectangular 1.0 2.2)
(make-flrectangular 1.0 2.2))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/flonum)
(make-rectangular 1.0 2.2)
(make-flrectangular 1.0 2.2)

3
collects/tests/typed-scheme/optimizer/generic/make-polar.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/maybe-exact-complex.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/mpair.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(: x (MPairof Integer Float))
(define x (mcons 1 1.0))

7
collects/tests/typed-scheme/optimizer/generic/n-ary-float.rkt
View File

@ -1,3 +1,4 @@
(module n-ary-float typed/scheme #:optimize
(require racket/unsafe/ops)
(+ 1.0 2.0 3.0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ 1.0 2.0 3.0)

7
collects/tests/typed-scheme/optimizer/generic/nested-float.rkt
View File

@ -1,3 +1,4 @@
(module nested-float typed/scheme #:optimize
(require racket/unsafe/ops)
(+ 2.0 (+ 3.0 4.0)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ 2.0 (+ 3.0 4.0))

7
collects/tests/typed-scheme/optimizer/generic/nested-float2.rkt
View File

@ -1,3 +1,4 @@
(module nested-float typed/scheme #:optimize
(require racket/unsafe/ops)
(+ 2.0 (* 3.0 4.0)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ 2.0 (* 3.0 4.0))

3
collects/tests/typed-scheme/optimizer/generic/nested-let-loop.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

7
collects/tests/typed-scheme/optimizer/generic/nested-pair1.rkt
View File

@ -1,3 +1,4 @@
(module nested-pair typed/scheme #:optimize
(require racket/unsafe/ops)
(car (cdr '(1 2))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(car (cdr '(1 2)))

7
collects/tests/typed-scheme/optimizer/generic/nested-pair2.rkt
View File

@ -1,3 +1,4 @@
(module nested-pair2 typed/scheme #:optimize
(require racket/unsafe/ops)
(car (cdr (cons 3 (cons (cons 2 '()) 1)))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(car (cdr (cons 3 (cons (cons 2 '()) 1))))

3
collects/tests/typed-scheme/optimizer/generic/nested-unboxed-let.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/one-arg-arith.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

15
collects/tests/typed-scheme/optimizer/generic/pair-fun.rkt
View File

@ -1,7 +1,8 @@
(module pair-fun typed/scheme #:optimize
(require racket/unsafe/ops)
(: f ((Listof Integer) -> Integer))
(define (f x)
(if (null? x)
1
(car x))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(: f ((Listof Integer) -> Integer))
(define (f x)
(if (null? x)
1
(car x)))

5
collects/tests/typed-scheme/optimizer/generic/quote.rkt
View File

@ -1,2 +1,3 @@
(module quote typed/scheme #:optimize
'(+ 1.0 2.0))
#lang typed/scheme
#:optimize
'(+ 1.0 2.0)

3
collects/tests/typed-scheme/optimizer/generic/real-part-loop.rkt
View File

@ -1,4 +1,5 @@
#lang typed/racket/base #:optimize
#lang typed/racket/base
#:optimize
(require racket/unsafe/ops)

7
collects/tests/typed-scheme/optimizer/generic/simple-float.rkt
View File

@ -1,3 +1,4 @@
(module simple-float typed/scheme #:optimize
(require racket/unsafe/ops)
(+ 2.0 3.0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(+ 2.0 3.0)

7
collects/tests/typed-scheme/optimizer/generic/simple-pair.rkt
View File

@ -1,3 +1,4 @@
(module simple-pair typed/scheme #:optimize
(require racket/unsafe/ops)
(car (cons 1 2)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(car (cons 1 2))

3
collects/tests/typed-scheme/optimizer/generic/sqrt-segfault.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

11
collects/tests/typed-scheme/optimizer/generic/sqrt.rkt
View File

@ -1,5 +1,6 @@
(module sqrt typed/scheme #:optimize
(require racket/unsafe/ops)
(: f (Nonnegative-Float -> Nonnegative-Float))
(define (f x)
(sqrt x)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(: f (Nonnegative-Float -> Nonnegative-Float))
(define (f x)
(sqrt x))

3
collects/tests/typed-scheme/optimizer/generic/string-length.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

13
collects/tests/typed-scheme/optimizer/generic/structs.rkt
View File

@ -1,6 +1,7 @@
(module structs typed/scheme #:optimize
(require racket/unsafe/ops)
(define-struct: pt ((x : Integer) (y : Integer)) #:mutable)
(define a (pt 3 4))
(pt-x a)
(set-pt-y! a 5))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(define-struct: pt ((x : Integer) (y : Integer)) #:mutable)
(define a (pt 3 4))
(pt-x a)
(set-pt-y! a 5)

7
collects/tests/typed-scheme/optimizer/generic/unary-fixnum-nested.rkt
View File

@ -1,3 +1,4 @@
(module unary-fixnum-nested typed/scheme #:optimize
(require racket/unsafe/ops racket/fixnum)
(abs (bitwise-not (length '(1 2 3)))))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/fixnum)
(abs (bitwise-not (length '(1 2 3))))

7
collects/tests/typed-scheme/optimizer/generic/unary-fixnum.rkt
View File

@ -1,3 +1,4 @@
(module unary-fixnum typed/scheme #:optimize
(require racket/unsafe/ops)
(bitwise-not 4))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(bitwise-not 4)

7
collects/tests/typed-scheme/optimizer/generic/unary-float.rkt
View File

@ -1,3 +1,4 @@
(module float-unary typed/scheme #:optimize
(require racket/unsafe/ops)
(sin 2.0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(sin 2.0)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-for.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions1.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions2.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions3.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions4.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions5.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions6.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/flonum)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions7.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops racket/flonum)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let-functions8.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let2.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-let3.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

3
collects/tests/typed-scheme/optimizer/generic/unboxed-letrec-syntaxes+values.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

9
collects/tests/typed-scheme/optimizer/generic/unboxed-letrec.rkt
View File

@ -1,8 +1,9 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(letrec ((#{f : (Any -> Any)} (lambda: ((x : Any)) (f x)))
(#{x : Inexact-Complex} 1.0+2.0i)
(#{y : Inexact-Complex} (+ 2.0+4.0i 3.0+6.0i)))
(letrec: ((f : (Any -> Any) (lambda: ((x : Any)) (f x)))
(x : Inexact-Complex 1.0+2.0i)
(y : Inexact-Complex (+ 2.0+4.0i 3.0+6.0i)))
(+ x y))

3
collects/tests/typed-scheme/optimizer/generic/unboxed-make-rectangular.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)

15
collects/tests/typed-scheme/optimizer/generic/vector-length-nested.rkt
View File

@ -1,7 +1,8 @@
(module vector-length typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-length
(vector-ref
(ann (vector (vector 1 2) 2 3)
(Vector (Vectorof Integer) Integer Integer))
0)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-length
(vector-ref
(ann (vector (vector 1 2) 2 3)
(Vector (Vectorof Integer) Integer Integer))
0))

7
collects/tests/typed-scheme/optimizer/generic/vector-length.rkt
View File

@ -1,3 +1,4 @@
(module vector-length typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-length (vector 1 2 3)))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-length (vector 1 2 3))

15
collects/tests/typed-scheme/optimizer/generic/vector-ref-set-ref.rkt
View File

@ -1,7 +1,8 @@
(module vector-ref-set-ref typed/scheme #:optimize
(require racket/unsafe/ops)
(: x (Vector Integer String))
(define x (vector 1 "1"))
(vector-ref x 0)
(vector-set! x 1 "2")
(vector-ref x 1))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(: x (Vector Integer String))
(define x (vector 1 "1"))
(vector-ref x 0)
(vector-set! x 1 "2")
(vector-ref x 1)

7
collects/tests/typed-scheme/optimizer/generic/vector-ref.rkt
View File

@ -1,3 +1,4 @@
(module vector-ref typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-ref (ann (vector 1 2) (Vector Integer Integer)) 0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-ref (ann (vector 1 2) (Vector Integer Integer)) 0)

7
collects/tests/typed-scheme/optimizer/generic/vector-ref2.rkt
View File

@ -1,3 +1,4 @@
(module vector-ref2 typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-ref (vector 1 2 3) 0))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-ref (vector 1 2 3) 0)

11
collects/tests/typed-scheme/optimizer/generic/vector-set-quote.rkt
View File

@ -1,5 +1,6 @@
(module vector-set-quote typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-set! (ann (vector '(1 2)) (Vector Any))
0
'(+ 1.0 2.0))) ; we should not optimize under quote
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-set! (ann (vector '(1 2)) (Vector Any))
0
'(+ 1.0 2.0)) ; we should not optimize under quote

11
collects/tests/typed-scheme/optimizer/generic/vector-set.rkt
View File

@ -1,5 +1,6 @@
(module vector-set typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-set! (ann (vector 1 2) (Vector Integer Integer))
0
1))
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-set! (ann (vector 1 2) (Vector Integer Integer))
0
1)

7
collects/tests/typed-scheme/optimizer/generic/vector-set2.rkt
View File

@ -1,3 +1,4 @@
(module invalid-vector-set typed/scheme #:optimize
(require racket/unsafe/ops)
(vector-set! (vector 1 2) 0 2)) ; type is (Vectorof Integer), length is ot known, can't optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(vector-set! (vector 1 2) 0 2) ; type is (Vectorof Integer), length is ot known, can't optimize

3
collects/tests/typed-scheme/optimizer/generic/zero.rkt
View File

@ -1,4 +1,5 @@
#lang typed/scheme #:optimize
#lang typed/scheme
#:optimize
(require racket/unsafe/ops)
(zero? 1)
(zero? (sqrt 3.0))

37
collects/tests/typed-scheme/optimizer/run.rkt
View File

@ -1,5 +1,5 @@
#lang racket
(require racket/runtime-path)
(require racket/runtime-path racket/sandbox)
;; since Typed Scheme's optimizer does source to source transformations,
;; we compare the expansion of automatically optimized and hand optimized
@ -23,6 +23,33 @@
#'(#f #f #f (#f)))]) ; for cadddr
(expand (with-input-from-file file read-syntax))))))))
;; the first line must be the #lang line
;; the second line must be #:optimize
(define (evaluator file #:optimize [optimize? #f])
(call-with-trusted-sandbox-configuration
(lambda ()
(parameterize ([current-load-relative-directory
(build-path here "generic")]
[sandbox-memory-limit #f] ; TR needs memory
[sandbox-output 'string]
[sandbox-namespace-specs
(list (car (sandbox-namespace-specs))
'typed/racket
'typed/scheme)])
(let* ((lines (cdr (file->lines file))) ;; drop the #lang line
(in (if optimize?
lines
(cdr lines))) ;; drop the #:optimize
(evaluator
(make-evaluator 'typed/racket
(foldl (lambda (acc new)
(string-append new "\n" acc))
"" in)))
(out (get-output evaluator)))
(kill-evaluator evaluator)
out)))))
(define (test gen)
(let-values (((base name _) (split-path gen)))
(or (regexp-match ".*~" name) ; we ignore backup files
@ -39,13 +66,7 @@
#f))
;; optimized and non-optimized versions must evaluate to the
;; same thing
(or (equal? (with-output-to-string
(lambda ()
(dynamic-require gen #f)))
(with-output-to-string
(lambda ()
(let ((non-opt-dir (build-path here "non-optimized")))
(dynamic-require (build-path non-opt-dir name) #f)))))
(or (equal? (evaluator gen) (evaluator gen #:optimize #t))
(begin (printf "~a failed: result mismatch\n\n" name)
#f))))))