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

Fix another test for new for expansion.

Browse Source 
The new expansion actually helps us avoid a spurious unboxing.
This commit is contained in:
Vincent St-Amour 2016-12-14 15:19:42 -06:00
parent 60ba1c4447
commit 859d9f9eee
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
typed-racket-test/optimizer/tests/unboxed-for.rkt
View File

@ -5,7 +5,6 @@ TR opt: unboxed-for.rkt 2:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0
TR opt: unboxed-for.rkt 2:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 2:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed call site
TR opt: unboxed-for.rkt 2:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 2:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let bindings
TR opt: unboxed-for.rkt 2:0 (for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i)) ((i : Float-Complex (quote (1.0+2.0i 2.0+4.0i)))) (+ i sum)) -- unboxed let loop
TR opt: unboxed-for.rkt 2:31 sum -- leave var unboxed
TR opt: unboxed-for.rkt 2:31 sum -- unbox float-complex
@ -13,13 +12,10 @@ TR opt: unboxed-for.rkt 2:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 2:31 sum -- unboxed complex variable
TR opt: unboxed-for.rkt 2:31 sum -- unboxed var -> table
TR opt: unboxed-for.rkt 2:53 0.0+0.0i -- unboxed literal
TR opt: unboxed-for.rkt 3:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 3:13 i -- unboxed complex variable
TR opt: unboxed-for.rkt 3:33 (quote (1.0+2.0i 2.0+4.0i)) -- in-list
TR opt: unboxed-for.rkt 3:33 (quote (1.0+2.0i 2.0+4.0i)) -- unbox float-complex
TR opt: unboxed-for.rkt 4:11 sum -- leave var unboxed
TR opt: unboxed-for.rkt 4:6 (+ i sum) -- unboxed binary float complex
TR opt: unboxed-for.rkt 4:9 i -- leave var unboxed
TR opt: unboxed-for.rkt 4:9 i -- unbox float-complex
END
#<<END
3.0+6.0i