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

Have Optimization Coach report unsound float division missed optimizations.

Browse Source 
original commit: 459c731bb93028e5bbf67345dcd1cb1d22a2e208
This commit is contained in:
Vincent St-Amour 2013-04-04 11:45:44 -04:00
parent e3a7a3e932
commit b0851f1c4f
2 changed files with 21 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/optimizer/tests/pr13468.rkt
View File

@ -6,6 +6,7 @@ TR opt: pr13468.rkt 86:5 (- (ann 6.0+2.3i Float-Complex)) -- unboxed unary float
TR opt: pr13468.rkt 87:13 6.0+2.3i -- unboxed literal
TR opt: pr13468.rkt 87:13 6.0+2.3i -- unboxed literal
TR opt: pr13468.rkt 87:5 (/ (ann 6.0+2.3i Float-Complex)) -- unboxed unary float complex
TR missed opt: pr13468.rkt 88:5 (/ (ann 0.0+0.0i Float-Complex) (ann 1 Number)) -- Float-Complex division, potential exact 0s on the rhss -- caused by: 88:42 1
TR missed opt: pr13468.rkt 91:5 (expt (ann -5.0 Flonum) (ann 2.0 Flonum)) -- unexpected complex type
TR opt: pr13468.rkt 112:21 0.0 -- float-arg-expr in complex ops
TR opt: pr13468.rkt 112:5 (magnitude (ann 0.0 Flonum-Zero)) -- unboxed unary float complex
@ -81,7 +82,6 @@ TR opt: pr13468.rkt 143:5 (real-part (ann 6.0 Flonum)) -- unboxed unary float co
;; Most bothersome missing cases:
(ann (- (ann 6.0+2.3i Float-Complex)) Float-Complex)
(ann (/ (ann 6.0+2.3i Float-Complex)) Float-Complex)

25
collects/typed-racket/optimizer/float-complex.rkt
View File

@ -600,11 +600,26 @@
;; otherwise, optimization is unsound (we'd give a result where we're supposed to throw an error)
(pattern (#%plain-app (~literal /) e:expr ...)
#:when (subtypeof? this-syntax -FloatComplex)
#:when (for/and ([c (syntax->list #'(e ...))])
(match (type-of c)
[(tc-result1: t)
(not (subtype -Zero t))]
[_ #f]))
#:when (let ([irritants
(for/list ([c (syntax->list #'(e ...))]
#:when (match (type-of c)
[(tc-result1: t)
(subtype -Zero t)]
[_ #t]))
c)])
(define safe-to-opt? (null? irritants))
;; result is Float-Complex, but unsafe to optimize, missed optimization
(unless safe-to-opt?
(log-missed-optimization
"Float-Complex division, potential exact 0s on the rhss"
(string-append
"This expression has a Float-Complex type, but cannot be safely unboxed. "
"The second (and later) arguments could potentially be exact 0."
(if (null? irritants)
""
"\nTo fix, change the highlighted expression(s) to have Float (or Float-Complex) type(s)."))
this-syntax irritants))
safe-to-opt?)
#:with exp*:unboxed-float-complex-opt-expr this-syntax
#:with real-binding #'exp*.real-binding
#:with imag-binding #'exp*.imag-binding