diff options
Diffstat (limited to 'llvm/docs/Bugpoint.rst')
| -rw-r--r-- | llvm/docs/Bugpoint.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/docs/Bugpoint.rst b/llvm/docs/Bugpoint.rst index 6bd7ff99564..3327c02b53f 100644 --- a/llvm/docs/Bugpoint.rst +++ b/llvm/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 ===================================== |
