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

Rewrote the typed partialsums benchmark to be closer to the untyped

Browse Source 
version.
This commit is contained in:
Vincent St-Amour 2010-06-17 16:32:53 -04:00
parent 31f285d23c
commit 1dc963684b
1 changed files with 25 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

51
collects/tests/racket/benchmarks/shootout/typed/partialsums.rktl
View File

@ -8,25 +8,24 @@
;; Contributed by Anthony Borla ;; Contributed by Anthony Borla
;; --------------------------------------------------------------------- ;; ---------------------------------------------------------------------
(require scheme/cmdline) (require racket/cmdline)
(require scheme/flonum)
(let ((n (exact->inexact (assert (string->number (command-line #:args (n) (assert n string?))))))) (let ((n (exact->inexact (assert (string->number (assert (command-line #:args (n) n) string?))))))
(let: loop : Void (let: loop : Void
([d : Integer 0] ([d : Float 0.0]
(alt : Float 1.0) (d2 : Integer 0) (d3 : Integer 0) (alt : Integer 1) (d2 : Float 0.0) (d3 : Float 0.0)
(ds : Real 0.0) (dc : Real 0.0) (ds : Float 0.0) (dc : Float 0.0)
(s0 : Float 0.0) (s1 : Float 0.0) (s2 : Float 0.0) (s0 : Complex 0) (s1 : Complex 0) (s2 : Float 0.0)
(s3 : Float 0.0) (s4 : Float 0.0) (s5 : Float 0.0) (s3 : Float 0.0) (s4 : Float 0.0) (s5 : Float 0.0)
(s6 : Float 0.0) (s7 : Float 0.0) (s8 : Float 0.0)) (s6 : Float 0.0) (s7 : Float 0.0) (s8 : Float 0.0))
(if (= d n) (if (= d n)
(let ([format-result (let ([format-result
(lambda: ((str : String) (n : Float)) (lambda: ((str : String) (n : Real))
(printf str (real->decimal-string n 9)))]) (printf str (real->decimal-string n 9)))])
(format-result "~a\t(2/3)^k\n" s0) (format-result "~a\t(2/3)^k\n" (assert s0 real?))
(format-result "~a\tk^-0.5\n" s1) (format-result "~a\tk^-0.5\n" (assert s1 real?))
(format-result "~a\t1/k(k+1)\n" s2) (format-result "~a\t1/k(k+1)\n" s2)
(format-result "~a\tFlint Hills\n" s3) (format-result "~a\tFlint Hills\n" s3)
(format-result "~a\tCookson Hills\n" s4) (format-result "~a\tCookson Hills\n" s4)
@ -35,22 +34,22 @@
(format-result "~a\tAlternating Harmonic\n" s7) (format-result "~a\tAlternating Harmonic\n" s7)
(format-result "~a\tGregory\n" s8)) (format-result "~a\tGregory\n" s8))
(let*: ((d : Integer (+ d 1)) (let* ((d (+ d 1))
(d2 : Integer (* d d)) (d2 (* d d))
(d3 : Integer (* d2 d)) (d3 (* d2 d))
(ds : Real (sin d)) (ds (sin d))
(dc : Real (cos d)) (dc (cos d))
(s0 : Float (+ s0 (exact->inexact (expt (/ 2.0 3.0) (- d 1))))) (s0 (+ s0 (expt (/ 2.0 3) (- d 1))))
(s1 : Float (+ s1 (/ 1 (flsqrt (exact->inexact d))))) (s1 (+ s1 (/ 1 (sqrt d))))
(s2 : Float (+ s2 (/ 1 (* d (+ d 1))))) (s2 (+ s2 (/ 1 (* d (+ d 1)))))
(s3 : Float (+ s3 (/ 1 (* d3 (* ds ds))))) (s3 (+ s3 (/ 1 (* d3 (* ds ds)))))
(s4 : Float (+ s4 (/ 1 (* d3 (* dc dc))))) (s4 (+ s4 (/ 1 (* d3 (* dc dc)))))
(s5 : Float (+ s5 (/ 1 d))) (s5 (+ s5 (/ 1 d)))
(s6 : Float (+ s6 (/ 1 d2))) (s6 (+ s6 (/ 1 d2)))
(s7 : Float (+ s7 (/ alt d))) (s7 (+ s7 (/ alt d)))
(s8 : Float (+ s8 (/ alt (- (* 2 d) 1)))) (s8 (+ s8 (/ alt (- (* 2 d) 1))))
(alt : Float (- alt))) (alt (- alt)))
(loop d (loop d
alt d2 d3 ds dc alt d2 d3 ds dc