diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index 8d83863d9db..04f45b57243 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -105,6 +105,35 @@ being miscompiled. This module assumes that the selected code generator is working properly.
+
+
+
+
+
+
Specify the contents of <stdin> when the program must be executed.
- Advice for using bugpoint
+
+bugpoint can be a remarkably useful tool, but it sometimes works in
+non-obvious ways. Here are some hints and tips:
+
+
+
+ bugpoint ..... |& tee bugpoint.logOPTIONS
@@ -141,7 +170,7 @@ working properly.
+
Load the dynamic object plugin.so. This object should register new
optimization passes. Once loaded, the object will add new command line
options to enable various optimizations. To see the new complete list