From d396b34b2de69b02dbad54f1cf5f77b98017d695 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 19 Jul 2012 12:17:42 -0400 Subject: [PATCH] Disable loop detection heuristic with too many false positives. --- collects/typed-racket/optimizer/tool/mzc.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/optimizer/tool/mzc.rkt b/collects/typed-racket/optimizer/tool/mzc.rkt index 3fdfdd47e9..f06e549a95 100644 --- a/collects/typed-racket/optimizer/tool/mzc.rkt +++ b/collects/typed-racket/optimizer/tool/mzc.rkt @@ -180,7 +180,8 @@ ;; body (as opposed to `g') may make unboxing possible. ;; Of course, we lose precision if `g' has multiple call sites to `f'. (define n-unrollings (length (filter unrolling? group))) - (define is-a-loop? (or any-self-o-o-f? (> n-unrollings 0))) + ;; TODO any-self-o-o-f? add too many false positives + (define is-a-loop? (or #;any-self-o-o-f? (> n-unrollings 0))) (define inlining-sites (group-by equal? #:key (lambda (x) (inlining-event-where-loc