[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
--- a/docs/Bugpoint.rst
+++ b/docs/Bugpoint.rst
@@ -151,6 +151,9 @@
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
=====================================
