mprof − Mercury profiler, version 22.01.8, on x86_64−alpine−linux−musl
mercury_profile [<options>] [<files>]
‘mprof’ produces execution profiles for Mercury programs. It outputs a flat profile and optionally also a hierarchical (call graph based) profile based on data collected during program execution.
mprof is one of the development tools that are part of the Mercury distribution.
This manual page is limited to a brief summary. For further information see the Mercury User’s Guide.
If no <files> are specified, then the ‘−−use−dynamic’ option is implied: the call graph will be built dynamically. Otherwise, the <files> specified should be the ‘.prof’ file for every module in the program. The ‘.prof’ files, which are generated automatically by the Mercury compiler, contain the program’s static call graph.
−h, −−help Print this usage message.
−c, −−call−graph
Include the call graph profile.
−d, −−use−dynamic
Build the call graph dynamically.
−p, −−profile {time, memory−words, memory−cells}
Select what to profile: time, amount of memory allocated, or number of memory allocations (regardless of size).
|
−m |
Same as ‘−−profile memory−words’ |
|||
|
−M |
Same as ‘−−profile memory−cells’. |
|||
|
−t |
Same as ‘−−profile time’. |
−−no−demangle
Output the mangled predicate and function names.
−C <file>, −−count−file <file>
Name of the count file. Usually ‘Prof.Counts’, ‘Prof.MemoryWords’, or ‘Prof.MemoryCells’.
−D <file>, −−declaration−file <file>
Name of the declaration file. Usually ‘Prof.Decl’.
−P <file>, −−call−pair−file <file>
Name of the call−pair file. Usually ‘Prof.CallPair’.
−L <file>, −−library−callgraph <file>
Name of the file which contains the call graph for the library modules.
−s, −−snapshots
Show summary of heap objects at the times ‘benchmarking.report_memory_attribution’ was called. This overrides other profiler modes.
−−snapshots−file <file>
Name of the snapshots file. Usually ‘Prof.Snapshots’.
−T, −−snapshots−by−type
Group results by type.
−b, −−snapshots−brief
Generate a brief profile.
−r, −−snapshots−include−runtime
Include internal Mercury runtime structures in the profile. These are excluded by default.
−v, −−verbose
Output progress messages at each stage.
−V, −−very−verbose
Output very verbose progress messages.
The Mercury team.
This program and its documentation are copyright by the University of Melbourne and the Mercury team. They may be copied only under the terms of the GNU General Public License − see the file COPYING in the Mercury distribution.
The Mercury User’s Guide.
<http://www.mercurylang.org/information/documentation.html>