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

Correct unary minus in complex numbers.

Browse Source 
original commit: 161da0a2eb3393f3e805de7ee27ab6641e65070c
This commit is contained in:
Eric Dobson 2013-09-17 08:35:57 -07:00
parent 89d248332c
commit 604997de6b
2 changed files with 15 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -144,8 +144,8 @@
#:do [(log-unboxing-opt "unboxed unary float complex")]
#:with (bindings ...)
#`(c1.bindings ...
[(real-binding) (unsafe-fl- 0.0 c1.real-binding)]
[(imag-binding) (unsafe-fl- 0.0 c1.imag-binding)]))
[(real-binding) (unsafe-fl* -1.0 c1.real-binding)]
[(imag-binding) (unsafe-fl* -1.0 c1.imag-binding)]))
(pattern (#%plain-app op:*^
c1:unboxed-float-complex-opt-expr

13
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/unary-minus-float-complex.rkt Normal file
View File

@ -0,0 +1,13 @@
#;#;
#<<END
TR opt: unary-minus-float-complex.rkt 13:0 (imag-part (- 0.0+0.0i)) -- complex accessor elimination
TR opt: unary-minus-float-complex.rkt 13:11 (- 0.0+0.0i) -- unboxed unary float complex
TR opt: unary-minus-float-complex.rkt 13:14 0.0+0.0i -- unboxed literal
TR opt: unary-minus-float-complex.rkt 13:14 0.0+0.0i -- unboxed literal
END
#<<END
-0.0
END
#lang typed/racket
(imag-part (- 0.0+0.0i))