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

Optimize sqr on floats.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-02 14:30:29 -04:00
parent c8600f01a1
commit 6de5f48810
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/optimizer/float.rkt
View File

@ -2,7 +2,7 @@
(require syntax/parse
racket/dict racket/flonum
(for-template scheme/base racket/flonum scheme/unsafe/ops)
(for-template racket/base racket/flonum racket/unsafe/ops racket/math)
"../utils/utils.rkt"
(types numeric-tower)
(optimizer utils fixnum))
@ -106,6 +106,10 @@
#:with opt
(begin (log-optimization "unary float" #'op)
#'(unsafe-fl/ 1.0 f.opt)))
(pattern (#%plain-app (~and op (~literal sqr)) f:float-expr)
#:with opt
(begin (log-optimization "unary float" #'op)
#'(let ([tmp f.opt]) (unsafe-fl* tmp tmp))))
;; we can optimize exact->inexact if we know we're giving it an Integer
(pattern (#%plain-app (~and op (~literal exact->inexact)) n:int-expr)