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

Move uses of unboxed-vars to centralized definition.

Browse Source 
original commit: 3cab38845ef2b760699fdda5c8b915080ac1c75a
This commit is contained in:
Eric Dobson 2013-09-18 09:26:48 -07:00
parent 0ae7a5cdd4
commit adcdc052ff
2 changed files with 19 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/float-complex.rkt
View File

@ -1,6 +1,6 @@
#lang racket/base
(require syntax/parse syntax/stx syntax/id-table racket/dict racket/promise
(require syntax/parse syntax/stx racket/dict racket/promise
racket/syntax racket/match syntax/parse/experimental/specialize
"../utils/utils.rkt" racket/unsafe/ops unstable/sequence
(for-template racket/base racket/math racket/flonum racket/unsafe/ops)
@ -291,15 +291,8 @@
((imag-binding) (unsafe-fl* radius (unsafe-flsin angle)))))
;; if we see a variable that's already unboxed, use the unboxed bindings
(pattern v:id
#:with unboxed-info (dict-ref unboxed-vars-table #'v #f)
#:when (syntax->datum #'unboxed-info)
#:with (real-binding imag-binding orig-binding) #'unboxed-info
#:do [(log-unboxing-opt "leave var unboxed")
;; we need to introduce both the binding and the use at the
;; same time
(add-disappeared-use (syntax-local-introduce #'v))
(add-disappeared-binding (syntax-local-introduce #'orig-binding))]
(pattern :unboxed-var
#:do [(log-unboxing-opt "leave var unboxed")]
#:with (bindings ...) #'())
;; else, do the unboxing here
@ -464,18 +457,11 @@
#'(let*-values (exp.bindings ...)
(unsafe-make-flrectangular exp.real-binding exp.imag-binding))))))
(pattern v:id
#:do [(define unboxed-info (dict-ref unboxed-vars-table #'v #f))]
#:when unboxed-info
#:when (subtypeof? #'v -FloatComplex)
#:with (real-binding imag-binding orig-binding) unboxed-info
;; we need to introduce both the binding and the use at the same time
(pattern (~and :unboxed-var v:float-complex-expr)
;; unboxed variable used in a boxed fashion, we have to box
#:attr opt
(delay
(log-unboxing-opt "unboxed complex variable")
(add-disappeared-use (syntax-local-introduce #'v))
(add-disappeared-binding (syntax-local-introduce #'orig-binding))
#'(unsafe-make-flrectangular real-binding imag-binding))))

17
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-tables.rkt
View File

@ -1,15 +1,28 @@
#lang racket/base
(require syntax/id-table)
(require syntax/id-table syntax/parse racket/dict
"../utils/utils.rkt"
(utils tc-utils))
(provide
unboxed-vars-table
unboxed-funs-table)
unboxed-funs-table
unboxed-var)
;; contains the bindings which actually exist as separate bindings for each component
;; associates identifiers to lists (real-binding imag-binding orig-binding-occurrence)
(define unboxed-vars-table (make-free-id-table))
(define-syntax-class unboxed-var
#:attributes (real-binding imag-binding)
(pattern v:id
#:with unboxed-info (dict-ref unboxed-vars-table #'v #f)
#:when (syntax->datum #'unboxed-info)
#:with (real-binding imag-binding orig-binding) #'unboxed-info
;; we need to introduce both the binding and the use at the same time
#:do [(add-disappeared-use (syntax-local-introduce #'v))
(add-disappeared-binding (syntax-local-introduce #'orig-binding))]))
;; associates the names of functions with unboxed args (and whose call sites have to
;; be modified) to the arguments which can be unboxed and those which have to be boxed
;; entries in the table are of the form: