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

Fix test to avoid differences in printing.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-07-07 11:40:28 -04:00
parent 9ba6beacf5
commit 50974440f4
1 changed files with 28 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

67
collects/tests/typed-scheme/optimizer/tests/vector-sum.rkt
View File

@ -1,39 +1,29 @@
#; #;
( (
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 39:0 #%module-begin -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 49:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 49:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 49:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch TR opt: vector-sum.rkt 29:0 #%module-begin -- dead else branch
TR opt: vector-sum.rkt 49:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- binary fixnum
TR opt: vector-sum.rkt 51:2 (displayln (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i)))) -- dead else branch TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 51:2 (displayln (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i)))) -- dead else branch TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- dead else branch
TR opt: vector-sum.rkt 51:2 (displayln (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i)))) -- dead else branch TR opt: vector-sum.rkt 39:2 (for: ((i : Nonnegative-Fixnum (in-range l))) (vector-set! v i (sin (exact->inexact i)))) -- fixnum bounded expr
TR opt: vector-sum.rkt 52:3 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum TR opt: vector-sum.rkt 41:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- binary fixnum
TR opt: vector-sum.rkt 52:3 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr TR opt: vector-sum.rkt 41:2 (for/fold: ((sum : Float 0.0)) ((i : Nonnegative-Fixnum (in-range l))) (+ sum (vector-ref v i))) -- fixnum bounded expr
TR opt: vector-sum.rkt 50:4 (vector-set! v i (sin (exact->inexact i))) -- vector access splitting TR opt: vector-sum.rkt 40:4 (vector-set! v i (sin (exact->inexact i))) -- vector access splitting
TR opt: vector-sum.rkt 50:22 sin -- unary float TR opt: vector-sum.rkt 40:22 sin -- unary float
TR opt: vector-sum.rkt 50:27 exact->inexact -- fixnum to float TR opt: vector-sum.rkt 40:27 exact->inexact -- fixnum to float
TR opt: vector-sum.rkt 52:16 sum -- dead else branch TR opt: vector-sum.rkt 41:15 sum -- dead else branch
TR opt: vector-sum.rkt 52:16 sum -- dead else branch TR opt: vector-sum.rkt 41:15 sum -- dead else branch
TR opt: vector-sum.rkt 54:6 + -- binary float TR opt: vector-sum.rkt 43:5 + -- binary float
TR opt: vector-sum.rkt 54:12 (vector-ref v i) -- vector access splitting TR opt: vector-sum.rkt 43:11 (vector-ref v i) -- vector access splitting
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
1.53534361535036
) )
#lang typed/racket #lang typed/racket
@ -45,10 +35,9 @@ TR opt: vector-sum.rkt 54:12 (vector-ref v i) -- vector access splitting
(define: v : (Vectorof Float) (make-vector l 0.0)) (define: v : (Vectorof Float) (make-vector l 0.0))
(for ([i (in-range 10)]) (for ([i (in-range 1)])
(for: ([i : Nonnegative-Fixnum (in-range l)]) (for: ([i : Nonnegative-Fixnum (in-range l)])
(vector-set! v i (sin (exact->inexact i)))) (vector-set! v i (sin (exact->inexact i))))
(displayln (for/fold: ([sum : Float 0.0])
(for/fold: ([sum : Float 0.0]) ([i : Nonnegative-Fixnum (in-range l)])
([i : Nonnegative-Fixnum (in-range l)]) (+ sum (vector-ref v i))))
(+ sum (vector-ref v i)))))