diff options
Diffstat (limited to 'Documentation/options.md')
| -rw-r--r-- | Documentation/options.md | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Documentation/options.md b/Documentation/options.md new file mode 100644 index 00000000..5677789e --- /dev/null +++ b/Documentation/options.md @@ -0,0 +1,18 @@ +# Options + +This file is a complement of man page for sparse but meant +for options not to be used by sparse itself but by the other +tools. + +## Developer options: + +### Select the passes + +* '-f\<name-of-the-pass\>[-disable|-enable|=last]' + + If '=last' is used, all passes after the specified one are disabled. + By default all passes are enabled. + + The passes currently understood are: + * 'mem2reg' + * 'optim' |