9.5.6.2 Deep profiling grade options

--deep-profiling (grade modifier: ‘.profdeep’)

Prepare the generated code for deep profiling. The Mercury deep profiling tool mdprof (note the “d” in the name) associates much more context with each measurement than mprof, making it much more suitable for handling polymorphic code and higher order code, both of which are much more common in typical Mercury code than in typical C code. This option is supported only when targeting C with ‘--no-high-level-code’.

--no-coverage-profiling

Do not gather deep profiling information that is useful only for coverage profiling.

--profile-for-feedback

--profile-for-implicit-parallelism

Select deep profiling options that are suitable for profiler directed implicit parallelism. ‘--profile-for-implicit-parallelism’ is a deprecated synonym for this option.