From 2aae3ca7a2b5460b65eb4ee579e866da06b48212 Mon Sep 17 00:00:00 2001 From: Vedant Kumar Date: Wed, 15 Nov 2017 02:58:45 +0000 Subject: [PATCH] [docs] Document a way to simplify names in bugpoint output llvm-svn: 318257 --- docs/Bugpoint.rst | 3 +++ 1 file changed, 3 insertions(+) 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 =====================================