diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/9.4.1-notes.rst | 3 | ||||
| -rw-r--r-- | docs/users_guide/profiling.rst | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/9.4.1-notes.rst b/docs/users_guide/9.4.1-notes.rst index c29d00e9d7..42ba985a17 100644 --- a/docs/users_guide/9.4.1-notes.rst +++ b/docs/users_guide/9.4.1-notes.rst @@ -9,6 +9,9 @@ Compiler - New :ghc-flag:`-Wredundant-strictness-flags` that checks for strictness flags (``!``) applied to unlifted types, which are always strict. +- New :ghc-flag:`-fprof-late-ccs` that adds automatic CCS annotations to all + top level functions *after* core optimisation have been run. + - A new type of plugin: defaulting plugins. These plugins can propose defaults for ambiguous variables that would otherwise cause errors just like the built-in defaulting mechanism. diff --git a/docs/users_guide/profiling.rst b/docs/users_guide/profiling.rst index 495d2b8db0..d68c056946 100644 --- a/docs/users_guide/profiling.rst +++ b/docs/users_guide/profiling.rst @@ -444,6 +444,8 @@ compiled program. :reverse: -fno-prof-late-ccs :category: + :since: 9.4.1 + Adds an automatic ``SCC`` annotation to all top level bindings late in the core pipeline after the optimizer has run. This means these cost centres will not interfere with core-level optimizations and the resulting profile will be closer to the performance profile of an optimized non-profiled |