[LLVMdev] quantitative comparison of correctness of llvm-gcc 2.x versions
Vikram S. Adve
vadve at cs.uiuc.edu
Tue Nov 18 12:32:38 PST 2008
Thanks, John! If you advertise the paper, it would be valuable if you
included links to these updated results too.
This is really nice work, btw.
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
On Nov 18, 2008, at 2:25 PM, John Regehr wrote:
> Please link to the graphs if that seems appropriate-- I will leave
> 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,
> 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"
> John Regehr
> On Tue, 18 Nov 2008, Vikram S. Adve wrote:
>> Unfortunately, the data in the paper doesn't show that, through no
>> fault of the authors :-(. It might be nice to add a qualification
>> a pointer to this graph along with the paper, if John doesn't object.
>> Associate Professor, Computer Science
>> University of Illinois at Urbana-Champaign
>> On Nov 18, 2008, at 12:33 PM, Chris Lattner wrote:
>>> On Nov 18, 2008, at 10:08 AM, John Regehr wrote:
>>>> 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?
>>> LLVM Developers mailing list
>>> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
More information about the llvm-dev