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

Fixed bugs in the tests.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-13 18:34:44 -04:00
parent 566aeedb59
commit b0788372ea
9 changed files with 194 additions and 178 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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

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

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

14
collects/tests/typed-scheme/optimizer/generic/inexact-complex-float-div.rkt
View File

@ -1,7 +1,11 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(/ 1.0 2.0+4.0i)
(/ 1.0+2.0i 2.0)
(/ 1.0 2.0+4.0i 3.0+6.0i)
(/ 1.0+2.0i 2.0 3.0+6.0i)
(/ 1.0+2.0i 2.0+4.0i 3.0)
(map (lambda: ((x : Inexact-Complex))
(string-append (real->decimal-string (real-part x) 10)
(real->decimal-string (imag-part x) 10)))
(list
(/ 1.0 2.0+4.0i)
(/ 1.0+2.0i 2.0)
(/ 1.0 2.0+4.0i 3.0+6.0i)
(/ 1.0+2.0i 2.0 3.0+6.0i)
(/ 1.0+2.0i 2.0+4.0i 3.0)))

8
collects/tests/typed-scheme/optimizer/hand-optimized/dead-else.rkt
View File

@ -1,6 +1,6 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(begin (number? 3)
(unsafe-fl+ 2.0 3.0))
(begin #t
(unsafe-fl+ 2.0 3.0))
(display (begin (number? 3)
(unsafe-fl+ 2.0 3.0)))
(display (begin #t
(unsafe-fl+ 2.0 3.0)))

8
collects/tests/typed-scheme/optimizer/hand-optimized/dead-then.rkt
View File

@ -1,6 +1,6 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(begin (number? "eh")
(unsafe-fl+ 4.0 5.0))
(begin #f
(unsafe-fl+ 4.0 5.0))
(display (begin (number? "eh")
(unsafe-fl+ 4.0 5.0)))
(display (begin #f
(unsafe-fl+ 4.0 5.0)))

274
collects/tests/typed-scheme/optimizer/hand-optimized/inexact-complex-float-div.rkt
View File

@ -1,135 +1,143 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(let* ((unboxed-gensym-1 1.0)
(unboxed-gensym-2 2.0+4.0i)
(unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2))
(unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2))
(unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3
unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)))
(unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1
unboxed-gensym-3)
(unsafe-fl* 0.0 unboxed-gensym-4))
unboxed-gensym-7))
(unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-1
unboxed-gensym-4))
unboxed-gensym-7)))
(unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6))
(let* ((unboxed-gensym-1 1.0+2.0i)
(unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1))
(unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1))
(unboxed-gensym-4 2.0)
(unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)
(unsafe-fl* 0.0 0.0)))
(unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-3 0.0))
unboxed-gensym-7))
(unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-2 0.0))
unboxed-gensym-7)))
(unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6))
(let* ((unboxed-gensym-1 1.0)
(unboxed-gensym-2 2.0+4.0i)
(unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2))
(unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2))
(unboxed-gensym-5 3.0+6.0i)
(unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5))
(unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5))
(unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3
unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)))
(unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-7
unboxed-gensym-7)))
(unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1
unboxed-gensym-3)
(unsafe-fl* 0.0 unboxed-gensym-4))
unboxed-gensym-10))
(unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-1
unboxed-gensym-4))
unboxed-gensym-10))
(unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-13
unboxed-gensym-7))
unboxed-gensym-11))
(unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-12
unboxed-gensym-7))
unboxed-gensym-11)))
(unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9))
(let* ((unboxed-gensym-1 1.0+2.0i)
(unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1))
(unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1))
(unboxed-gensym-4 2.0)
(unboxed-gensym-5 3.0+6.0i)
(unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5))
(unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5))
(unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)
(unsafe-fl* 0.0 0.0)))
(unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-7
unboxed-gensym-7)))
(unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-3 0.0))
unboxed-gensym-10))
(unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-2 0.0))
unboxed-gensym-10))
(unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-13
unboxed-gensym-7))
unboxed-gensym-11))
(unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-12
unboxed-gensym-7))
unboxed-gensym-11)))
(unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9))
(let* ((unboxed-gensym-1 1.0+2.0i)
(unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1))
(unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1))
(unboxed-gensym-4 2.0+4.0i)
(unboxed-gensym-5 (unsafe-flreal-part unboxed-gensym-4))
(unboxed-gensym-6 (unsafe-flimag-part unboxed-gensym-4))
(unboxed-gensym-7 3.0)
(unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-5
unboxed-gensym-5)
(unsafe-fl* unboxed-gensym-6
unboxed-gensym-6)))
(unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-7
unboxed-gensym-7)
(unsafe-fl* 0.0 0.0)))
(unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2
unboxed-gensym-5)
(unsafe-fl* unboxed-gensym-3
unboxed-gensym-6))
unboxed-gensym-10))
(unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3
unboxed-gensym-5)
(unsafe-fl* unboxed-gensym-2
unboxed-gensym-6))
unboxed-gensym-10))
(unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12
unboxed-gensym-7)
(unsafe-fl* unboxed-gensym-13 0.0))
unboxed-gensym-11))
(unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13
unboxed-gensym-7)
(unsafe-fl* unboxed-gensym-12 0.0))
unboxed-gensym-11)))
(unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9))
(map (lambda: ((x : Inexact-Complex))
(string-append (real->decimal-string (real-part x) 10)
(real->decimal-string (imag-part x) 10)))
(list
(let* ((unboxed-gensym-1 1.0)
(unboxed-gensym-2 2.0+4.0i)
(unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2))
(unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2))
(unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3
unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)))
(unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1
unboxed-gensym-3)
(unsafe-fl* 0.0 unboxed-gensym-4))
unboxed-gensym-7))
(unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-1
unboxed-gensym-4))
unboxed-gensym-7)))
(unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6))
(let* ((unboxed-gensym-1 1.0+2.0i)
(unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1))
(unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1))
(unboxed-gensym-4 2.0)
(unboxed-gensym-7 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)
(unsafe-fl* 0.0 0.0)))
(unboxed-gensym-5 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-3 0.0))
unboxed-gensym-7))
(unboxed-gensym-6 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-2 0.0))
unboxed-gensym-7)))
(unsafe-make-flrectangular unboxed-gensym-5 unboxed-gensym-6))
(let* ((unboxed-gensym-1 1.0)
(unboxed-gensym-2 2.0+4.0i)
(unboxed-gensym-3 (unsafe-flreal-part unboxed-gensym-2))
(unboxed-gensym-4 (unsafe-flimag-part unboxed-gensym-2))
(unboxed-gensym-5 3.0+6.0i)
(unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5))
(unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5))
(unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-3
unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)))
(unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-7
unboxed-gensym-7)))
(unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-1
unboxed-gensym-3)
(unsafe-fl* 0.0 unboxed-gensym-4))
unboxed-gensym-10))
(unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* 0.0 unboxed-gensym-3)
(unsafe-fl* unboxed-gensym-1
unboxed-gensym-4))
unboxed-gensym-10))
(unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-13
unboxed-gensym-7))
unboxed-gensym-11))
(unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-12
unboxed-gensym-7))
unboxed-gensym-11)))
(unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9))
(let* ((unboxed-gensym-1 1.0+2.0i)
(unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1))
(unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1))
(unboxed-gensym-4 2.0)
(unboxed-gensym-5 3.0+6.0i)
(unboxed-gensym-6 (unsafe-flreal-part unboxed-gensym-5))
(unboxed-gensym-7 (unsafe-flimag-part unboxed-gensym-5))
(unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-4
unboxed-gensym-4)
(unsafe-fl* 0.0 0.0)))
(unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-6
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-7
unboxed-gensym-7)))
(unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-3 0.0))
unboxed-gensym-10))
(unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3
unboxed-gensym-4)
(unsafe-fl* unboxed-gensym-2 0.0))
unboxed-gensym-10))
(unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-13
unboxed-gensym-7))
unboxed-gensym-11))
(unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13
unboxed-gensym-6)
(unsafe-fl* unboxed-gensym-12
unboxed-gensym-7))
unboxed-gensym-11)))
(unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9))
(let* ((unboxed-gensym-1 1.0+2.0i)
(unboxed-gensym-2 (unsafe-flreal-part unboxed-gensym-1))
(unboxed-gensym-3 (unsafe-flimag-part unboxed-gensym-1))
(unboxed-gensym-4 2.0+4.0i)
(unboxed-gensym-5 (unsafe-flreal-part unboxed-gensym-4))
(unboxed-gensym-6 (unsafe-flimag-part unboxed-gensym-4))
(unboxed-gensym-7 3.0)
(unboxed-gensym-10 (unsafe-fl+ (unsafe-fl* unboxed-gensym-5
unboxed-gensym-5)
(unsafe-fl* unboxed-gensym-6
unboxed-gensym-6)))
(unboxed-gensym-11 (unsafe-fl+ (unsafe-fl* unboxed-gensym-7
unboxed-gensym-7)
(unsafe-fl* 0.0 0.0)))
(unboxed-gensym-12 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-2
unboxed-gensym-5)
(unsafe-fl* unboxed-gensym-3
unboxed-gensym-6))
unboxed-gensym-10))
(unboxed-gensym-13 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-3
unboxed-gensym-5)
(unsafe-fl* unboxed-gensym-2
unboxed-gensym-6))
unboxed-gensym-10))
(unboxed-gensym-8 (unsafe-fl/ (unsafe-fl+ (unsafe-fl* unboxed-gensym-12
unboxed-gensym-7)
(unsafe-fl* unboxed-gensym-13 0.0))
unboxed-gensym-11))
(unboxed-gensym-9 (unsafe-fl/ (unsafe-fl- (unsafe-fl* unboxed-gensym-13
unboxed-gensym-7)
(unsafe-fl* unboxed-gensym-12 0.0))
unboxed-gensym-11)))
(unsafe-make-flrectangular unboxed-gensym-8 unboxed-gensym-9))))

14
collects/tests/typed-scheme/optimizer/non-optimized/dead-else.rkt
View File

@ -1,8 +1,8 @@
#lang typed/scheme
#lang typed/scheme
(require racket/unsafe/ops)
(if (number? 3)
(+ 2.0 3.0)
(+ 4.0 5.0))
(if #t
(+ 2.0 3.0)
(+ 4.0 5.0))
(display (if (number? 3)
(+ 2.0 3.0)
(+ 4.0 5.0)))
(display (if #t
(+ 2.0 3.0)
(+ 4.0 5.0)))

14
collects/tests/typed-scheme/optimizer/non-optimized/dead-then.rkt
View File

@ -1,8 +1,8 @@
#lang typed/scheme
#lang typed/scheme
(require racket/unsafe/ops)
(if (number? "eh")
(+ 2.0 3.0)
(+ 4.0 5.0))
(if #f
(+ 2.0 3.0)
(+ 4.0 5.0))
(display (if (number? "eh")
(+ 2.0 3.0)
(+ 4.0 5.0)))
(display (if #f
(+ 2.0 3.0)
(+ 4.0 5.0)))

16
collects/tests/typed-scheme/optimizer/non-optimized/inexact-complex-float-div.rkt
View File

@ -1,7 +1,11 @@
#lang typed/scheme
#lang typed/scheme
(require racket/unsafe/ops)
(/ 1.0 2.0+4.0i)
(/ 1.0+2.0i 2.0)
(/ 1.0 2.0+4.0i 3.0+6.0i)
(/ 1.0+2.0i 2.0 3.0+6.0i)
(/ 1.0+2.0i 2.0+4.0i 3.0)
(map (lambda: ((x : Inexact-Complex))
(string-append (real->decimal-string (real-part x) 10)
(real->decimal-string (imag-part x) 10)))
(list
(/ 1.0 2.0+4.0i)
(/ 1.0+2.0i 2.0)
(/ 1.0 2.0+4.0i 3.0+6.0i)
(/ 1.0+2.0i 2.0 3.0+6.0i)
(/ 1.0+2.0i 2.0+4.0i 3.0)))