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

John Regehr regehr at cs.utah.edu
Fri Nov 21 08:04:57 PST 2008

Great, thanks Chris!

Also in Spring we plan to submit a journal paper that will include the 
updated results, and hopefully also some interesting and useful 
improvements to the program generator.


On Thu, 20 Nov 2008, Chris Lattner wrote:

> On Nov 18, 2008, at 12:25 PM, John Regehr wrote:
>> Please link to the graphs if that seems appropriate-- I will leave
>> them
>> there and hopefully also update them as new versions of LLVM come out.
>> It would be great if these graphs can serve as an advertisement for
>> as well as an advertisement for my work.  I hope to create analogous
>> graphs for gcc 4.x sometime, and also to stress-test the x64 ports
>> of both
>> compiler families.
>> There is a large amount of work remaining in our program generator,
>> which
>> at present does not even output structs or pointers.  The goal is
>> for it
>> to emit the full range of constructs found in normal C programming
>> practice without compromising on the "almost strictly conforming"
>> thing.
> Thanks John, I added this page:
> http://llvm.org/pubs/2008-10-EMSOFT-Volatiles.html
> -Chris
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev

More information about the llvm-dev mailing list