diff options
Diffstat (limited to 'docs/Bugpoint.rst')
| -rw-r--r-- | docs/Bugpoint.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/Bugpoint.rst b/docs/Bugpoint.rst index 6bd7ff99564f..27732e0fffbd 100644 --- a/docs/Bugpoint.rst +++ b/docs/Bugpoint.rst @@ -151,6 +151,11 @@ 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. 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 ===================================== |