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

Added unboxed complex conjugate.

Browse Source 
original commit: 063211d92263267b8e6b2703af70d9a46e7186bf
This commit is contained in:
Vincent St-Amour 2010-07-13 11:31:02 -04:00
parent 19781fc153
commit 4e3f1c1e4b
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/typed-scheme/optimizer/inexact-complex.rkt
View File

@ -2,7 +2,7 @@
(require syntax/parse
"../utils/utils.rkt"
(for-template scheme/base scheme/flonum scheme/unsafe/ops)
(for-template scheme/base scheme/math scheme/flonum scheme/unsafe/ops)
(types abbrev type-table utils subtype)
(optimizer utils float))
@ -104,6 +104,13 @@
(unsafe-fl* #,o2 #,(car e2)))
#,(car d)))
res)))))))
(pattern (#%plain-app (~and op (~literal conjugate)) c:unboxed-inexact-complex-opt-expr)
#:with real-part #'c.real-part
#:with imag-part (unboxed-gensym)
#:with (bindings ...)
(begin (log-optimization "unboxed unary inexact complex" #'op)
#`(#,@(append (syntax->list #'(c.bindings ...))
(list #'(imag-part (unsafe-fl- 0.0 c.imag-part)))))))
(pattern e:expr
;; can't work on inexact reals, which are a subtype of inexact
;; complexes, so this has to be equality