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

Fix optimization tests to also look for missed-optimization messages.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-02 10:41:48 -04:00
parent 28692786b3
commit e8621f58ea
8 changed files with 24 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/optimizer/tests/float-complex-sin.rkt
View File

@ -1,9 +1,10 @@
#; #;
( (
float-complex-sin.rkt 14:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex float-complex-sin.rkt 15:10 (#%app + (#%app sin (#%app * t (quote 6.28))) (quote 0.0+0.0i)) -- unboxed float complex
float-complex-sin.rkt 14:11 + -- unboxed binary float complex float-complex-sin.rkt 15:11 + -- unboxed binary float complex
float-complex-sin.rkt 14:13 (#%app sin (#%app * t (quote 6.28))) -- float-coerce-expr in complex ops float-complex-sin.rkt 15:13 (#%app sin (#%app * t (quote 6.28))) -- float-coerce-expr in complex ops
float-complex-sin.rkt 14:30 0.0+0.0i -- unboxed literal float-complex-sin.rkt 15:18 (#%app * t (quote 6.28)) -- binary, args all float-arg-expr, return type not Float -- caused by: 15:21 t
float-complex-sin.rkt 15:30 0.0+0.0i -- unboxed literal
-0.0031853017931379904+0.0i -0.0031853017931379904+0.0i
) )

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

@ -1,7 +1,12 @@
#; #;
( (
float-real.rkt 13:1 + -- binary float float-real.rkt 18:1 + -- binary float
float-real.rkt 14:1 + -- binary float float-real.rkt 19:1 + -- binary float
float-real.rkt 19:7 (#%app * (quote 2) (quote 3.2)) -- binary, args all float-arg-expr, return type not Float -- caused by: 19:15 (quote 2)
float-real.rkt 19:7 (#%app * (quote 2) (quote 3.2)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 19:0 (#%app + (quote 2.3) (#%app * (quote 2) (quote 3.2)))
float-real.rkt 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1))) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:7 (#%app * (quote 2) (quote 3.1))
float-real.rkt 20:7 (#%app * (quote 2) (quote 3.1)) -- binary, args all float-arg-expr, return type not Float -- caused by: 20:15 (quote 2)
float-real.rkt 20:7 (#%app * (quote 2) (quote 3.1)) -- exact arithmetic subexpression inside a float expression, extra precision discarded -- caused by: 20:0 (#%app * (quote 2.3) (#%app * (quote 2) (quote 3.1)))
5.3 5.3
8.7 8.7
14.26 14.26

5
collects/tests/typed-scheme/optimizer/tests/invalid-derived-pair.rkt
View File

@ -1,5 +1,8 @@
#; #;
() (
invalid-derived-pair.rkt 12:2 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 12:2 (#%app cdr x)
invalid-derived-pair.rkt 17:6 (#%app car (#%app cdr x)) -- car/cdr on a potentially empty list -- caused by: 17:6 (#%app cdr x)
)
#lang typed/racket #:optimize #lang typed/racket #:optimize

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

@ -1,5 +1,7 @@
#; #;
( (
invalid-float-promotion.rkt 12:0 (#%app / (quote 1) (quote 2.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 12:8 (quote 1)
invalid-float-promotion.rkt 13:0 (#%app * (quote 2/3) (quote 3.0)) -- binary, args all float-arg-expr, return type not Float -- caused by: 13:8 (quote 2/3)
0.5 0.5
2.0 2.0
) )

1
collects/tests/typed-scheme/optimizer/tests/invalid-log-complex.rkt
View File

@ -1,5 +1,6 @@
#; #;
( (
invalid-log-complex.rkt 10:11 (#%app log (quote 2.0)) -- unexpected complex value -- caused by: 10:12 log
0.6931471805599453 0.6931471805599453
) )

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

@ -1,5 +1,7 @@
#; #;
() (
invalid-mpair.rkt 10:2 (#%app mcar x) -- mpair op on a potentially empty mlist -- caused by: 10:8 x
)
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize

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

@ -1,5 +1,6 @@
#; #;
( (
invalid-sqrt.rkt 9:0 (#%app sqrt (quote -2.0)) -- unexpected complex value -- caused by: 9:1 sqrt
0+1.4142135623730951i 0+1.4142135623730951i
) )

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

@ -2,13 +2,13 @@
( (
sqrt-segfault.rkt 18:15 - -- binary float sqrt-segfault.rkt 18:15 - -- binary float
sqrt-segfault.rkt 19:15 * -- binary float sqrt-segfault.rkt 19:15 * -- binary float
sqrt-segfault.rkt 20:31 (#%app sqrt dist2) -- unexpected complex value -- caused by: 20:32 sqrt
) )
#lang typed/scheme #lang typed/scheme
#:optimize #:optimize
;; from the nbody-generic benchmark. ;; from the nbody-generic benchmark.
;; the result of sqrt was an Float-Complex, so float complex opts kicked ;; the result of sqrt was an Float-Complex, so float complex opts kicked
;; in but they resulted in segfaulting code. ;; in but they resulted in segfaulting code.