9.27.2 Options for dumping internal compiler data structures

-d stage number or name

-d-

--dump-hlds stage number or name

–no-dump-hlds

--hlds-dump stage number or name

–no-hlds-dump

Dump the HLDS (high level intermediate representation) after the specified stage to ‘module’.hlds_dump.‘num’-‘name’. Stage numbers range from 1-599. Multiple dump options accumulate.

--dump-hlds-pred-id pred_id

–no-dump-hlds-pred-id

Dump the HLDS only of the predicate/function with the given pred id.

--dump-hlds-pred-name name

–no-dump-hlds-pred-name

Dump the HLDS only of the predicate/function with the given name.

--dump-hlds-options options

With ‘--dump-hlds’, include extra detail in the dump. Each type of detail is included in the dump if its corresponding letter occurs in the option argument (see the Mercury User’s Guide for details).

--dump-hlds-inst-limit N

Dump at most N insts in each inst table.

--dump-hlds-inst-size-limit N

Dump insts in an inst table only if their size does not exceed N.

--dump-hlds-file-suffix suffix

Append the given suffix to the names of the files created by the ‘--dump-hlds’ option.

--dump-same-hlds

Create a file for a HLDS stage even if the file notes only that this stage is identical to the previously dumped HLDS stage.

--dump-mlds stage number or name

–no-dump-mlds

--mlds-dump stage number or name

–no-mlds-dump

Dump the MLDS (medium level intermediate representation) after the specified stage, as C code, to ‘module’.c_dump.‘num’-‘name’ and ‘module’.mih_dump.‘num’-‘name’. Stage numbers range from 1-99. Multiple dump options accumulate. This option works only in MLDS grades that target C.

--dump-mlds-pred-name pred or func name

–no-dump-mlds-pred-name

Dump the MLDS (medium level intermediate representation) of the predicate or function with the specified name at the stages specified by the ‘--dump-mlds’ option. The dump file will consist of the predicates and functions named by all the occurrences of this option (there may be more than one), and nothing else.

--verbose-dump-mlds stage number or name

–no-verbose-dump-mlds

--verbose-mlds-dump stage number or name

–no-verbose-mlds-dump

Dump the internal compiler representation of the MLDS, after the specified stage, to ‘module’.mlds_dump.‘num’-‘name’. This option works in all MLDS grades.