Matt Arsenault via llvm-dev
2018-Jul-12 15:44 UTC
[llvm-dev] Should Verifier be an analysis?
> On Jul 12, 2018, at 18:25, Hal Finkel via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > Why is printing the IR before the verifier undesirable? It seems desirable to me.I for one have always found this to be *incredibly* annoying. It just adds a massive amount of noise to the debugging experience when viewing -print-after-all and searching for where some specific transform happened -Matt -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180712/e04e3d92/attachment.html>
On 07/12/2018 10:44 AM, Matt Arsenault wrote:> > >> On Jul 12, 2018, at 18:25, Hal Finkel via llvm-dev >> <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote: >> >> Why is printing the IR before the verifier undesirable? It seems >> desirable to me. > > I for one have always found this to be *incredibly* annoying. It just > adds a massive amount of noise to the debugging experience when > viewing -print-after-all and searching for where some specific > transform happenedThis I can definitely understand, but to this end, maybe we should have a setup where -print-after-all just doesn't reprint IR if the previous pass didn't change anything? -Hal> > -Matt-- Hal Finkel Lead, Compiler Technology and Programming Languages Leadership Computing Facility Argonne National Laboratory -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180712/36e7f436/attachment-0001.html>
Krzysztof Parzyszek via llvm-dev
2018-Jul-12 18:50 UTC
[llvm-dev] Should Verifier be an analysis?
On 7/12/2018 1:05 PM, Hal Finkel via llvm-dev wrote:> This I can definitely understand, but to this end, maybe we should have > a setup where -print-after-all just doesn't reprint IR if the previous > pass didn't change anything?It can be helpful to see what passes actually ran, even if they didn't change anything. Maybe we could have another option, like -print-after-changes? -Krzysztof -- Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, hosted by The Linux Foundation