From e4f3d8e73cfd0daa680aa69b51fda98f0478709c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sun, 25 Nov 2012 18:08:10 -0500 Subject: [PATCH] Only show inlining reports when profiling information is available. Without profiling information, pruning is not good enough. --- collects/typed-racket/optimizer/tool/report.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/optimizer/tool/report.rkt b/collects/typed-racket/optimizer/tool/report.rkt index 501f3c4ce7..d3b0b124b1 100644 --- a/collects/typed-racket/optimizer/tool/report.rkt +++ b/collects/typed-racket/optimizer/tool/report.rkt @@ -17,7 +17,9 @@ (if profile (report-hidden-costs info-log profile hot-functions) '()))) - (report-inlining mzc-log profile hot-functions))) + (if profile ; inlining reports have too low a SNR to be shown w/o profiling + (report-inlining mzc-log profile hot-functions) + '()))) ;; Returns a report-entry or #f, which means prune.