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

Comment on tradeoff.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-06-29 17:11:03 -04:00
parent 895e3a94fa
commit d48762fa1d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/optimizer/tool/mzc.rkt
View File

@ -169,7 +169,8 @@
;; For instance, if `f' is a loop, and gets inlined in `g' multiple ;; For instance, if `f' is a loop, and gets inlined in `g' multiple
;; times, it's likely to be unrolling. Same for out-of-fuels in `g'. ;; times, it's likely to be unrolling. Same for out-of-fuels in `g'.
;; Therefore, we don't want to report these as inlinings (or failed ;; Therefore, we don't want to report these as inlinings (or failed
;; inlinings). ;; inlinings). If `g' has multiple call sites for `f', we lose
;; precision, and may discard actual inlinings.
;; However, we care about `f' being unrolled at least once in `g'. ;; However, we care about `f' being unrolled at least once in `g'.
;; If we run out of fuel trying to inline `f' in `g' for the first ;; If we run out of fuel trying to inline `f' in `g' for the first
;; time, we report. The reason for this is that it's possible to ;; time, we report. The reason for this is that it's possible to