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

Count functions with self out-of-fuel, but no unrollings, as loops.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-06-27 16:28:59 -04:00
parent aaf7acb034
commit fe67b0f31d
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

@ -146,6 +146,7 @@
(define (post-process-inline-log log) (define (post-process-inline-log log)
(define-values (inliner-logs tr-logs) (define-values (inliner-logs tr-logs)
(partition inliner-log-entry? log)) (partition inliner-log-entry? log))
(define any-self-o-o-f? (ormap self-out-of-fuel? inliner-logs))
(define grouped-events (define grouped-events
(group-by equal? #:key log-entry-pos ; right file, so that's enough (group-by equal? #:key log-entry-pos ; right file, so that's enough
inliner-logs)) inliner-logs))
@ -175,7 +176,7 @@
;; body (as opposed to `g') may make unboxing possible. ;; body (as opposed to `g') may make unboxing possible.
;; 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 n-unrollings (length (filter unrolling? group))) (define n-unrollings (length (filter unrolling? group)))
(define is-a-loop? (> n-unrollings 0)) (define is-a-loop? (or any-self-o-o-f? (> n-unrollings 0)))
(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