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

Fix handling of self out-of-fuel.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-11-27 14:15:22 -05:00
parent d1a2815197
commit e02333a3c8
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -160,11 +160,7 @@
(define grouped-events (define grouped-events
(group-by equal? #:key log-entry-pos log)) ; right file, so that's enough (group-by equal? #:key log-entry-pos log)) ; right file, so that's enough
(define new-inline-log-entries (define new-inline-log-entries
(for*/list ([g (in-list grouped-events)] (for/list ([group (in-list grouped-events)])
[group (in-value (filter (lambda (x)
(not (self-out-of-fuel? x)))
g))]
#:when (not (null? group)))
(process-function group profile hot-functions))) (process-function group profile hot-functions)))
(filter values new-inline-log-entries)) (filter values new-inline-log-entries))
@ -209,6 +205,8 @@
;; Of course, we lose precision if `g' has multiple call sites to `f'. ;; Of course, we lose precision if `g' has multiple call sites to `f'.
(define is-a-loop? (define is-a-loop?
(or (any-self-o-o-f? log) (> (n-unrollings log) 0))) (or (any-self-o-o-f? log) (> (n-unrollings log) 0)))
;; From now on, we ignore self-out-of-fuels.
(set! log (filter (lambda (l) (not (self-out-of-fuel? l))) log))
(define inlining-sites (define inlining-sites
(group-by equal? #:key (lambda (x) (group-by equal? #:key (lambda (x)
(inlining-event-where-loc (inlining-event-where-loc