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

Typed Scheme's optimizer now recognizes specialized (safe) float

Browse Source 
operations.
This commit is contained in:
Vincent St-Amour 2010-05-21 17:53:43 -04:00
parent 762f108c04
commit e3b994abff
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/typed-scheme/private/optimize.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base #lang scheme/base
(require syntax/parse (for-template scheme/base scheme/unsafe/ops) (require syntax/parse (for-template scheme/base scheme/flonum scheme/unsafe/ops)
"../utils/utils.rkt" unstable/match scheme/match unstable/syntax "../utils/utils.rkt" unstable/match scheme/match unstable/syntax
(rep type-rep) (rep type-rep)
(types abbrev type-table utils)) (types abbrev type-table utils))
@ -13,14 +13,20 @@
#:with opt #'e.opt)) #:with opt #'e.opt))
(define-syntax-class float-binary-op (define-syntax-class float-binary-op
#:literals (+ - * / = <= < > >= min max) #:literals (+ - * / = <= < > >= min max
fl+ fl- fl* fl/ fl= fl<= fl< fl> fl>= flmin flmax)
(pattern (~and i:id (~or + - * / = <= < > >= min max)) (pattern (~and i:id (~or + - * / = <= < > >= min max))
#:with unsafe (format-id #'here "unsafe-fl~a" #'i))) #:with unsafe (format-id #'here "unsafe-fl~a" #'i))
(pattern (~and i:id (~or fl+ fl- fl* fl/ fl= fl<= fl< fl> fl>= flmin flmax))
#:with unsafe (format-id #'here "unsafe-~a" #'i)))
(define-syntax-class float-unary-op (define-syntax-class float-unary-op
#:literals (abs sin cos tan asin acos atan log exp) #:literals (abs sin cos tan asin acos atan log exp sqrt round floor ceiling truncate
(pattern (~and i:id (~or abs sin cos tan asin acos atan log exp)) flabs flsin flcos fltan flasin flacos flatan fllog flexp flsqrt flround flfloor flceiling fltruncate)
#:with unsafe (format-id #'here "unsafe-fl~a" #'i))) (pattern (~and i:id (~or abs sin cos tan asin acos atan log exp sqrt round floor ceiling truncate))
#:with unsafe (format-id #'here "unsafe-fl~a" #'i))
(pattern (~and i:id (~or flabs flsin flcos fltan flasin flacos flatan fllog flexp flsqrt flround flfloor flceiling fltruncate))
#:with unsafe (format-id #'here "unsafe-~a" #'i)))
(define-syntax-class pair-opt-expr (define-syntax-class pair-opt-expr
(pattern e:opt-expr (pattern e:opt-expr