Commit Graph

209 Commits

Author SHA1 Message Date
Vincent St-Amour
deaa8f61be Have recommendations for inlining. 2012-07-11 10:59:34 -04:00
Vincent St-Amour
69df0c4969 Display inlining analysis in a more user-friendly fashion. 2012-07-11 10:59:34 -04:00
Vincent St-Amour
3ce4e0d0e7 Fix plural in inliner message. 2012-07-11 10:59:34 -04:00
Vincent St-Amour
d3bad26766 Be more permissive wrt inliner output. 2012-07-11 10:59:34 -04:00
Vincent St-Amour
e87272adb9 Add check-boxes to toggle the filtering. 2012-07-11 10:59:34 -04:00
Vincent St-Amour
31e36f4c6e Allow filtering of reports. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
286cb96569 Separate log generation from log collapsing, to allow filtering in between. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
b4e4797e6a Unrollings are reported separately from successes. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
742fb7844c Detect unrollings of functions in the body of other functions. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
331d47eb09 Remove vestigial file. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
5ad4bb6f15 Use group-by from unstable/list. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
23646f86b9 Add a key argument to group-by. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
42fa91f688 Refactor output formatting. 2012-07-11 10:59:33 -04:00
Vincent St-Amour
b5de31cc1b Move more analysis logic to the post-processing phase.
This makes the analysis much cleaner, since we can do everything when the
whole log is available.
2012-07-11 10:59:33 -04:00
Vincent St-Amour
570c5ef0f4 Log fuel and closure size.
That way, we can detect close calls post facto.
2012-07-11 10:59:32 -04:00
Vincent St-Amour
8e580b5c6f Ignore out-of-fuels with unknown provenance. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
65dda11603 Report unrollings separately. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
87f7a55101 Simplify inlining info printing. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
38b91cf101 Restructure inlining log handling, to make further processing easier. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
a71565e77a Parse inlining location information. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
2b739bd0ff Make log parsing more robust. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
727420ee17 Make sure badness is non-zero any time we report a missed opt.
Also, fix irritant handling.
2012-07-11 10:59:32 -04:00
Vincent St-Amour
24cb6fa0cd Handle cases where the inliner gives us the name, but nothing else.
There's not much we can do with these, but at least we don't error.
2012-07-11 10:59:32 -04:00
Vincent St-Amour
4538072df6 Add anchor to inliner messages. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
84feb3882d Enable performance report no matter the language. 2012-07-11 10:59:32 -04:00
Vincent St-Amour
d9e0afab1c Handle out-of-fuel messages. 2012-07-11 10:59:31 -04:00
Vincent St-Amour
c0c2d11809 Move inliner log processing to its own file. 2012-07-11 10:59:31 -04:00
Vincent St-Amour
83bf7532ec Aggregate inliner log entries. 2012-07-11 10:59:31 -04:00
Vincent St-Amour
0e710c1618 Show inlining and failed inlinings in Performance Report. 2012-07-11 10:59:31 -04:00
Neil Toronto
392d7bfbad Added sequence typecheck tests
Added empty-sequence type (prints funny but works polymorphically; will submit bug report)
Loosened type of sequence-andmap (can't mimic andmap's predicate type)
2012-07-10 13:22:53 -07:00
Sam Tobin-Hochstadt
6bf141513f Revise type environment propagation to use submodules.
Each typed module now defines a submodule named `type-decl`.
This module performs the type environment initialization (along
with other environment updates) when invoked.  Additionall,
every typed module, when invoked, performs a for-syntax addition
to a list specifying the submodules that need invocation.
This invocation is then performed by the `#%module-begin` from
Typed Racket.

The `type-decl` module always goes at the beginning of the
expanded module, so that it's available at syntax-time for all
the other submodules.  This involved adding pre- and post-
syntaxes for the results of typechecking.

This allows significant runtime dependency reduction from the
main `typed/racket` and `typed/racket/base` languages (not yet
complete).
2012-07-10 12:49:27 -04:00
Sam Tobin-Hochstadt
88f5f4c836 Remove evcase. 2012-07-10 12:49:27 -04:00
Neil Toronto
419b59e88e Added inline hint around `index?' definition; my own timing suggests 2x speedup 2012-07-09 19:15:35 -07:00
Neil Toronto
77655f9ade Added types for single-value sequences
Fixed some printing types
2012-07-09 19:15:35 -07:00
Vincent St-Amour
dba49db078 Fix type of andmap and ormap on empty lists.
Closes PR 12882.
2012-07-06 12:28:37 -04:00
Vincent St-Amour
1d43b5a0db Fix Performance Report on unsaved editors.
Closes PR12808.
2012-06-29 16:27:37 -04:00
Sam Tobin-Hochstadt
20e95f8d8e More refactoring and reduction of runtime dependencies. 2012-06-28 14:34:07 -04:00
Sam Tobin-Hochstadt
f075ecd36e File splitting, dependency reduction. 2012-06-28 14:34:07 -04:00
Vincent St-Amour
db6c2e7737 Update types of string-join and add-between. 2012-06-27 11:39:15 -04:00
Neil Toronto
db57b78e18 Added lock-icon
Changed most *-icon and *-logo function arguments to keyword arguments

text-icon no longer uses font size

Small doc changes
2012-06-26 15:00:05 -06:00
Sam Tobin-Hochstadt
d346415903 Fix type of dynamic-place. 2012-06-25 19:20:12 -04:00
Sam Tobin-Hochstadt
5e26c329d6 Remove no-longer needed require for residual code. 2012-06-25 19:20:12 -04:00
Sam Tobin-Hochstadt
94f1cb2127 Avoid requiring the printer unneccesarily. 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
c61ed30d0b Depend only on the lowest-level place primitives. 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
08c3f78476 Disable unused code. 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
794bfa50ec Load environments dynamically in residual code. 2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
88ff5fee69 Minor refactorings.
- Remove tracing requires.
 - Use lists instead of sets in a few environments.
 - Small cleanups.
2012-06-25 18:07:45 -04:00
Sam Tobin-Hochstadt
a05acfee4c Split out some small utilities to prepare to reduce dependencies. 2012-06-25 14:10:18 -04:00
Sam Tobin-Hochstadt
ccb724155a scheme -> racket 2012-06-25 13:39:07 -04:00
Vincent St-Amour
972df7c89e Add #:unless to the for: macros. 2012-06-25 13:38:51 -04:00