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

Improve code gen for real-complex division.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-11-09 15:24:22 -06:00
parent db79beaf12
commit d91d89ffc1
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -139,14 +139,18 @@
#`[(#,res-real #,(if both-real?
(mark-as-real res-imag)
res-imag))
;; TODO could optimize computation of `res-div` when one or the other is real
(let-values ([(res-div)
(/ (make-rectangular #,a
#,(if first-arg-real? #'0 b))
(make-rectangular #,second-non-float
#,(if second-arg-real? #'0 d)))])
(values (real-part res-div)
(imag-part res-div)))]]
(/ #,(if first-arg-real?
a
#`(make-rectangular #,a #,b))
#,(if second-arg-real?
second-non-float
#`(make-rectangular #,second-non-float
#,d)))])
#,(if both-real?
#'(values res-div 0.0)
#'(values (real-part res-div)
(imag-part res-div))))]]
[both-real?
#`[(#,res-real #,(mark-as-real res-imag))
(values (unsafe-fl/ #,a #,c)