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

Added optimization for zero?.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-16 19:46:33 -04:00
parent 5d7f044488
commit 47195410cb
5 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/optimizer/generic/zero.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(zero? 1)
(zero? (sqrt 3.0))

4
collects/tests/typed-scheme/optimizer/hand-optimized/zero.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang typed/scheme #:optimize
(require racket/unsafe/ops)
(unsafe-fx= 1 0)
(unsafe-fl= (sqrt 3.0) 0.0)

4
collects/tests/typed-scheme/optimizer/non-optimized/zero.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang typed/scheme
(require racket/unsafe/ops)
(zero? 1)
(zero? (sqrt 3.0))

7
collects/typed-scheme/optimizer/fixnum.rkt
View File

@ -74,4 +74,9 @@
(pattern (#%plain-app (~and op (~literal exact->inexact)) n:fixnum-expr)
#:with opt
(begin (log-optimization "fixnum to float" #'op)
#'(unsafe-fx->fl n.opt))))
#'(unsafe-fx->fl n.opt)))
(pattern (#%plain-app (~and op (~literal zero?)) n:fixnum-expr)
#:with opt
(begin (log-optimization "fixnum zero?" #'op)
#'(unsafe-fx= n.opt 0))))

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

@ -85,4 +85,9 @@
(pattern (#%plain-app (~and op (~literal exact->inexact)) f:float-expr)
#:with opt
(begin (log-optimization "float to float" #'op)
#'f.opt)))
#'f.opt))
(pattern (#%plain-app (~and op (~literal zero?)) f:float-expr)
#:with opt
(begin (log-optimization "float zero?" #'op)
#'(unsafe-fl= f.opt 0.0))))