llvm dev - Nov 2008 - [LLVMdev] quantitative comparison of correctness of llvm-gcc 2.x versions

http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/

I think these graphs speak for themselves.  Feedback is welcome.

John Regehr

On Nov 18, 2008, at 10:08 AM, John Regehr wrote:
> http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/
>
> I think these graphs speak for themselves.  Feedback is welcome.
Hey, it looks like we made some progress. ;-)

Would you mind if I added your paper to llvm.org/pubs?

-Chris

> Would you mind if I added your paper to llvm.org/pubs?
Please do.

John

Unfortunately, the data in the paper doesn't show that, through no  
fault of the authors :-(.  It might be nice to add a qualification and  
a pointer to this graph along with the paper, if John doesn't object.

--Vikram
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
http://llvm.org/~vadve



On Nov 18, 2008, at 12:33 PM, Chris Lattner wrote:
>
> On Nov 18, 2008, at 10:08 AM, John Regehr wrote:
>
>> http://www.cs.utah.edu/~regehr/compiler_correctness/llvm_gcc_x86/
>>
>> I think these graphs speak for themselves.  Feedback is welcome.
>
> Hey, it looks like we made some progress. ;-)
>
> Would you mind if I added your paper to llvm.org/pubs?
>
> -Chris
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev