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

Make unboxing call site messages work again.

Browse Source
This commit is contained in:
Eric Dobson 2013-10-21 22:31:14 -07:00
parent 78b9a8a360
commit 210aa98d6c
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -406,7 +406,8 @@
(pattern (#%plain-app op:unboxed-fun . (pattern (#%plain-app op:unboxed-fun .
(~var call (float-complex-call-site-opt-expr #'op.unboxed-info))) (~var call (float-complex-call-site-opt-expr #'op.unboxed-info)))
#:do [(log-arity-raising-opt "call to fun with unboxed args")] #:do [(log-unboxing-opt "unboxed call site")
(log-arity-raising-opt "call to fun with unboxed args")]
#:with opt #'(let*-values (call.bindings ...) (op call.args ...))) #:with opt #'(let*-values (call.bindings ...) (op call.args ...)))
(pattern :float-complex-arith-opt-expr)) (pattern :float-complex-arith-opt-expr))
@ -488,6 +489,7 @@
#:with (boxed-binding ...) #'(binding-name))) #:with (boxed-binding ...) #'(binding-name)))
;; takes as argument a structure describing which arguments will be unboxed ;; takes as argument a structure describing which arguments will be unboxed
;; We cannot log opt here because this doesn't see the full original syntax
(define-syntax-class (float-complex-call-site-opt-expr unboxed-info) (define-syntax-class (float-complex-call-site-opt-expr unboxed-info)
#:commit #:commit
#:attributes ((bindings 1) (args 1)) #:attributes ((bindings 1) (args 1))
@ -498,7 +500,6 @@
#:with ((bindings ...) (args ...)) #:with ((bindings ...) (args ...))
(syntax-parse #'((unboxed-args orig-args) ...) (syntax-parse #'((unboxed-args orig-args) ...)
[(e:possibly-unboxed ...) [(e:possibly-unboxed ...)
(log-unboxing-opt "unboxed call site")
#'((e.bindings ... ...) #'((e.bindings ... ...)
(e.real-binding ... ... (e.real-binding ... ...
e.imag-binding ... ... e.imag-binding ... ...

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/optimizer/unboxed-let.rkt
View File

@ -32,7 +32,8 @@
(~var operator (unboxed-let-opt-expr-internal #t)) (~var operator (unboxed-let-opt-expr-internal #t))
(letrec-values _ loop-fun:unboxed-fun)) . (letrec-values _ loop-fun:unboxed-fun)) .
(~var call (float-complex-call-site-opt-expr #'loop-fun.unboxed-info))) (~var call (float-complex-call-site-opt-expr #'loop-fun.unboxed-info)))
#:do [(log-optimization "unboxed let loop" arity-raising-opt-msg #'loop-fun)] #:do [(log-opt "unboxed call site" "Complex number unboxing")
(log-optimization "unboxed let loop" arity-raising-opt-msg #'loop-fun)]
#:with opt #'(let*-values #:with opt #'(let*-values
(((op) operator.opt) call.bindings ...) (((op) operator.opt) call.bindings ...)
(op call.args ...)))) (op call.args ...))))