[llvm-commits] [llvm] r95975 - in /llvm/trunk: include/llvm/Analysis/ lib/Analysis/ lib/CodeGen/ lib/Transforms/Scalar/ test/CodeGen/ARM/ test/CodeGen/Thumb2/ test/CodeGen/X86/ test/Transforms/IndVarSimplify/ test/Transforms/LoopStrengthReduce/

[Dan Gohman]

On Feb 21, 2010, at 8:28 AM, nicolas geoffray <nicolas.geoffray at gmail.com 
 > wrote:

> Hey Dan,
>
> Sorry to insist, but I'd really like to see that behavior of always  
> running the verifier out before llvm 2.7. I understand that it's  
> really useful to catch bugs
> early on, but on the user side, I want to be able to choose if the  
> verifier runs or not. With your current change it always runs, and  
> that wasn't the case with the previous releases of llvm.

Hi Nicholas,

Thanks for the reminder.  I expect to solve this by adding an argument  
to addPassesToEmit...   The main inertia is in the clients.  I'll aim  
to tackle this soon.

>
> Now you're developing heavily on LLVM, so I would understand if you  
> reject my request. But I'd prefer the rejection to be based on a  
> design decision (the verifier *must* always be run in LLVM) rather  
> than a convenient change for development of LLVM internal passes.

I don't think we want this design.

> Besides, as Daniel said, you can run the verifier with any LLVM tool  
> by specifying it on the command line.

In the case of llc, it's difficult to achieve the same effect.

Dan

>
> Cheers,
> Nicolas
>