db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / Documentation / dev-options.rst
blob57f9e8d6c4ded3aa668629f9183a55d3b562d466
1 Extra options for developers
2 ============================
4 SYNOPSIS
5 --------
6 ``tools`` [`options`]... `file.c``
8 DESCRIPTION
9 -----------
11 This file is a complement of sparse's man page meant to
12 document options only useful for development on sparse itself.
14 OPTIONS
15 -------
17 .. option:: -fdump-ir=pass,[pass]
19   Dump the IR at each of the given passes.
21   The passes currently understood are:
23     * ``linearize``
24     * ``mem2reg``
25     * ``final``
27   The default pass is ``linearize``.
29 .. option:: -f<name-of-the-pass>[-disable|-enable|=last]
31   If ``=last`` is used, all passes after the specified one are disabled.
32   By default all passes are enabled.
34   The passes currently understood are:
36     * ``linearize`` (can't be disabled)
37     * ``mem2reg``
38     * ``optim``
40 .. option:: -vcompound
42   Print all compound global data symbols with their sizes and alignment.
44 .. option:: -vdead
46   Add ``OP_DEATHNOTE`` annotations to dead pseudos.
48 .. option:: -vdomtree
50   Dump the dominance tree after its calculation.
52 .. option:: -ventry
54   Dump the IR after all optimization passes.
56 .. option:: -vpostorder
58   Dump the reverse postorder traversal of the CFG.