diff options
Diffstat (limited to 'docs/CommandGuide')
| -rw-r--r-- | docs/CommandGuide/analyze.html | 5 | ||||
| -rw-r--r-- | docs/CommandGuide/bugpoint.html | 13 | ||||
| -rw-r--r-- | docs/CommandGuide/opt.html | 5 |
3 files changed, 13 insertions, 10 deletions
diff --git a/docs/CommandGuide/analyze.html b/docs/CommandGuide/analyze.html index cd66ce5e0d..ff61808f2b 100644 --- a/docs/CommandGuide/analyze.html +++ b/docs/CommandGuide/analyze.html @@ -53,11 +53,6 @@ language. list of available analysis passes. <p> - <li> -dsa-track-integers - <br> - Track integers as potential pointers. - <p> - <li> -profile-info-file <filename> <br> Specify the name of the file loaded by the -profile-loader option. diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index c6ac7abd10..62e5787f86 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -190,6 +190,16 @@ non-obvious ways. Here are some hints and tips:<p> when attempting to reduce test programs. If you're trying to find a bug in one of these passes, <tt>bugpoint</tt> may crash.<p> + <li><tt>-enable-correct-eh-support</tt><br> + Make the -lowerinvoke pass insert expensive, but correct, exception + handling code.<p> + + <li><tt>-internalize-public-api-file <filename></tt><br> + Preserve the symbols listed in the file <tt>filename</tt>.<p> + + <li><tt>-internalize-public-api-list <list></tt><br> + Preserve the symbols listed in <tt>list</tt>.<p> + <li> <tt>-help</tt><br> Print a summary of command line options.<p> @@ -215,6 +225,9 @@ non-obvious ways. Here are some hints and tips:<p> <tt>bugpoint</tt> will attempt to generate a reference output by compiling the program with the C backend and running it.<p> + <li><tt>-profile-info-file <filename></tt><br> + Profile file loaded by -profile-loader.<p> + <a name="opt_run-"><li><tt>-run-{int,jit,llc,cbe}</tt><br> Whenever the test program is compiled, <tt>bugpoint</tt> should generate code for it using the specified code generator. These options allow diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html index 4bf67a49c2..2e531a9202 100644 --- a/docs/CommandGuide/opt.html +++ b/docs/CommandGuide/opt.html @@ -53,11 +53,6 @@ writes its output to the standard output. Specify the output filename. <p> - <li> -dsa-track-integers - <br> - Track integers as potential pointers. - <p> - <li> -profile-info-file <filename> <br> Specify the name of the file loaded by the -profile-loader option. |