diff options
author | Vedant Kumar <vsk@apple.com> | 2017-11-15 02:58:45 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2017-11-15 02:58:45 +0000 |
commit | 4aef6b82060ea9a7dd5e431ba5460c630becca55 (patch) | |
tree | 81ecbe06e6d3ab485a78f3ff5b040f3a0c26ab22 /docs | |
parent | 3f38dad8a7c7c8ed279b9ad1ab2f8f8655603b97 (diff) |
[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
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Bugpoint.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/Bugpoint.rst b/docs/Bugpoint.rst index 6bd7ff99564..3327c02b53f 100644 --- 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 ===================================== |