[docs] Document a way to simplify names in bugpoint output

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@318257 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/Bugpoint.rst b/docs/Bugpoint.rst
index 6bd7ff9..3327c02 100644 (file)
--- a/docs/Bugpoint.rst
+++ b/docs/Bugpoint.rst
@@ -151,6 +151,9 @@ non-obvious ways.  Here are some hints and tips:
   optimizations to be randomized and applied to the program. This process will
   repeat until a bug is found or the user kills ``bugpoint``.
 
+* ``bugpoint`` can produce IR which contains long names. To simplify the names,
+  run ``opt -strip -instnamer`` over the IR.
+
 What to do when bugpoint isn't enough
 =====================================