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

mix, max, and call-with-values tests

Browse Source 
svn: r4150
This commit is contained in:
Matthew Flatt 2006-08-27 09:51:22 +00:00
parent 1d126a7058
commit df317d58e7
1 changed files with 115 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

115
collects/tests/mzscheme/optimize.ss
View File

@ -3,6 +3,8 @@
(Section 'optimization)
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Check JIT inlining of primitives:
(parameterize ([current-namespace (make-namespace)]
[eval-jit-enabled #t])
@ -174,6 +176,14 @@
(bin (- (expt 2 30)) '- (- (expt 2 29)) (expt 2 29))
(bin (- 2 (expt 2 31)) '- (- 1 (expt 2 30)) (sub1 (expt 2 30)))
(bin 3 'min 3 300)
(bin -300 'min 3 -300)
(bin -400 'min -400 -300)
(bin 300 'max 3 300)
(bin 3 'max 3 -300)
(bin -3 'max -3 -300)
(bin-exact 11 'bitwise-and 11 43)
(bin-exact 0 'bitwise-and 11 32)
(bin-exact 0 'bitwise-and 11 (expt 2 50))
@ -444,6 +454,111 @@
(set! i 10))
(err/rt-test (dynamic-require 'bad-order #f))
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; call-with-values optimization
;; should get converted to let:
(module cwv-1 mzscheme
(define (cwv-1-f x)
(call-with-values (lambda () (+ x 3))
(lambda (y) (+ y 2))))
(provide cwv-1-f))
(require cwv-1)
(test 15 cwv-1-f 10)
;; known function doesn't expect 1 argument
(module cwv-2 mzscheme
(define (cwv-2-f x)
(call-with-values (lambda () (+ x 3))
(lambda (y z) (+ y 2))))
(provide cwv-2-f))
(require cwv-2)
(err/rt-test (cwv-2-f 10) exn:fail:contract:arity?)
;; known function, unknown number of results:
(module cwv-3 mzscheme
(define (cwv-3-f g)
(call-with-values (lambda () (g))
(lambda (y) (+ y 2))))
(provide cwv-3-f))
(require cwv-3)
(test 12 cwv-3-f (lambda () 10))
(err/rt-test (cwv-3-f (lambda () (values 1 2))) exn:fail:contract:arity?)
;; ditto, need 2 results:
(module cwv-4 mzscheme
(define (cwv-4-f g)
(call-with-values (lambda () (g))
(lambda (y z) (+ y z 2))))
(provide cwv-4-f))
(require cwv-4)
(test 12 cwv-4-f (lambda () (values 4 6)))
(err/rt-test (cwv-4-f (lambda () 10)) exn:fail:contract:arity?)
(err/rt-test (cwv-4-f (lambda () (values 1 2 10))) exn:fail:contract:arity?)
;; unknown first function:
(module cwv-5 mzscheme
(define (cwv-5-f g)
(call-with-values g
(lambda (y) (+ y 2))))
(provide cwv-5-f))
(require cwv-5)
(test 12 cwv-5-f (lambda () 10))
(err/rt-test (cwv-5-f (lambda () (values 1 2))) exn:fail:contract:arity?)
;; ditto, need 2 results:
(module cwv-6 mzscheme
(define (cwv-6-f g)
(call-with-values g
(lambda (y z) (+ y z 2))))
(provide cwv-6-f))
(require cwv-6)
(test 12 cwv-6-f (lambda () (values 4 6)))
(err/rt-test (cwv-6-f (lambda () 10)) exn:fail:contract:arity?)
(err/rt-test (cwv-6-f (lambda () (values 1 2 10))) exn:fail:contract:arity?)
;; unknown second function:
(module cwv-2-1 mzscheme
(define (cwv-2-1-f x h)
(call-with-values (lambda () (+ x 3))
h))
(provide cwv-2-1-f))
(require cwv-2-1)
(test 15 cwv-2-1-f 10 (lambda (y) (+ y 2)))
;; unknown function doesn't expect 1 argument
(module cwv-2-2 mzscheme
(define (cwv-2-2-f x h)
(call-with-values (lambda () (+ x 3))
h))
(provide cwv-2-2-f))
(require cwv-2-2)
(err/rt-test (cwv-2-2-f 10 (lambda (y z) (+ y 2))) exn:fail:contract:arity?)
;; known function, unknown number of results:
(module cwv-2-3 mzscheme
(define (cwv-2-3-f g h)
(call-with-values (lambda () (g))
h))
(provide cwv-2-3-f))
(require cwv-2-3)
(test 12 cwv-2-3-f (lambda () 10) (lambda (y) (+ y 2)))
(test 23 cwv-2-3-f (lambda () (values 10 11)) (lambda (y z) (+ y z 2)))
(err/rt-test (cwv-2-3-f (lambda () (values 1 2)) (lambda (y) (+ y 2))) exn:fail:contract:arity?)
(err/rt-test (cwv-2-3-f (lambda () 10) (lambda (y z) (+ y 2))) exn:fail:contract:arity?)
(err/rt-test (cwv-2-3-f (lambda () (values 1 2 3)) (lambda (y z) (+ y 2))) exn:fail:contract:arity?)
;; unknown first function:
(module cwv-2-5 mzscheme
(define (cwv-2-5-f g h)
(call-with-values g h))
(provide cwv-2-5-f))
(require cwv-2-5)
(test 12 cwv-2-5-f (lambda () 10) (lambda (y) (+ y 2)))
(err/rt-test (cwv-2-5-f (lambda () (values 1 2)) (lambda (y) (+ y 2))) exn:fail:contract:arity?)
(err/rt-test (cwv-2-5-f (lambda () 1) (lambda (y z) (+ y 2))) exn:fail:contract:arity?)
(err/rt-test (cwv-2-5-f (lambda () (values 1 2 3)) (lambda (y z) (+ y 2))) exn:fail:contract:arity?)
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(report-errs)