diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index 18088a20c57..1bdacc7dac6 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -24,8 +24,7 @@ the resultant bytecode file. If any of the passes crash, or if they produce an LLVM module which is not verifiable, bugpoint enters "crash debugging mode". Otherwise, bugpoint tries to run the resultant program with a code generator. If the code generated program does not match the reference output, -it enters "miscompilation debugging mode". If the -mode option is -specified, bugpoint enters "code generator debugging mode". +it enters "miscompilation debugging mode".
@@ -81,13 +80,6 @@ TODO opt -load <plugin.so> -help
-
-
@@ -107,7 +99,7 @@ If bugpoint succeeds in finding a problem, it will exit with 0. Otherwise, if an error occurs, it will exit with a non-zero value.