diff options
author | Vedant Kumar <vsk@apple.com> | 2017-11-15 18:05:19 +0000 |
---|---|---|
committer | Vedant Kumar <vsk@apple.com> | 2017-11-15 18:05:19 +0000 |
commit | 5e1ec5bedebae038400ffa32ca30fbbcf150fe20 (patch) | |
tree | 318a17dbb4499f0d7812a812ac7370cdcb8efbf1 /docs | |
parent | 9c19935acce7a9e54ffc775bcae1b388feab449a (diff) |
[docs] Mention opt -metarenamer in the bugpoint docs
Thanks to arsenm and davide for the suggestion!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@318318 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Bugpoint.rst | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/Bugpoint.rst b/docs/Bugpoint.rst index 3327c02b53f..27732e0fffb 100644 --- a/docs/Bugpoint.rst +++ b/docs/Bugpoint.rst @@ -151,8 +151,10 @@ 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. +* ``bugpoint`` can produce IR which contains long names. Run ``opt + -metarenamer`` over the IR to rename everything using easy-to-read, + metasyntactic names. Alternatively, run ``opt -strip -instnamer`` to rename + everything with very short (often purely numeric) names. What to do when bugpoint isn't enough ===================================== |