[llvm-dev] Should Verifier be an analysis?

[Hal Finkel via llvm-dev]

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 happened

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?

 -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>