Noeud « Next »: , Noeud « Up »: Implementation



3.1 Invoking tc

Synopsis:

     tc option... file

where file can be -, denoting the standard input.

Global options are:

-h
--help
Display the help message, and exit successfully.
--version
Display the version, and exit successfully.
--task-list
List the registered tasks.
--task-order
Report the order in which the tasks will be run.

The options related to scanning and parsing (T1) are:
--scan-trace
Enable Flex scanners traces.
--parse-trace
Enable Bison parsers traces.
--parse
Parse the file given as argument.

The options related to the AST (T2) are:
-A
--ast-display
Display the ast.
-D
--ast-delete
Reclaim the memory allocated for the ast.

The options related to type checking (T4) are:
-T
--types-check
Perform type checking (which is not done by default). Note the spelling.

The options related to escapes computation (T3) are:
-e
--escapes-compute
Compute the escapes.
-E
--escapes-display
Display the escapes. Note that this option does not imply --escapes-compute, so that it is possible to check that the defaults (everybody escapes) are properly implemented.

The options related to the high level intermediate representation are:
--hir-compute
Translate to hir. Implies --types-check.
-H
--hir-display
Display the high level intermediate representation. Implies --hir-compute.

The options related to the low level intermediate representation are:
--canon-trace
Trace the canonicalization of hir to lir.
--canon-compute
Canonicalize the LIR fragments.
-C
--canon-display
Display the canonicalized intermediate representation before basic blocks and traces computation. Implies --lir-compute. It is convenient to determine whether a failure is due to canonicalization, or traces.
--traces-trace
Trace the basic blocks and traces canonicalization of hir to lir.
--traces-compute
Compute the basic blocks from canonicalized hir fragments. Implies --canon-compute.
--lir-compute
Translate to lir. Implies --traces-compute. Actually, it is nothing but a nice looking alias for the latter.
-L
--lir-display
Display the low level intermediate representation. Implies --lir-compute.

The options related to the instruction selection are:
--inst-compute
Convert from LIR to pseudo assembly with temporaries. Implies --lir-compute.
-I
--inst-display
Display the pseudo assembly, (without the runtime prologue). Implies --inst-compute.
-R
--runtime-display
Display the assembly runtime prologue for the current target.

The options related to the liveness information are:
-F
--flowgraphs-dump
Save each function flow graph in a Graphviz file. Implies --inst-compute.
-V
--liveness-dump
Save each function flow graph enriched with liveness information in a Graphviz file. Implies --inst-compute.
-N
--interference-dump
Save each function interference graph in a Graphviz file. Implies --inst-compute.