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

Added inline hint around `index?' definition; my own timing suggests 2x speedup

Browse Source 
original commit: 419b59e88ea025a4d6cd2fa2cdbe62eb64529c78
This commit is contained in:
Neil Toronto 2012-07-09 14:28:36 -07:00
parent 93a0e963c7
commit 9725465b46
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-racket/types/numeric-predicates.rkt
View File

@ -1,14 +1,19 @@
#lang racket/base
(require racket/unsafe/ops)
(require racket/unsafe/ops
racket/performance-hint)
(provide index? exact-rational?)
;; this is required for template in numeric-tower.rkt
(begin-encourage-inline
;; we assume indexes are 2 bits shorter than fixnums
;; We're generating a reference to fixnum? rather than calling it, so
;; we're safe from fixnum size issues on different platforms.
(define (index? x) (and (fixnum? x) (unsafe-fx>= x 0) (fixnum? (* x 4))))
(define (exact-rational? x) (and (rational? x) (exact? x)))
) ; begin-encourage-inline