Displaying 2 results from an estimated 2 matches for "diagrees".
Did you mean:
disagrees
2009 Jul 18
0
[LLVMdev] speed and code size issues
Hi Nuno,
The "right answer" for each function for a given input is determined by
voting; any compiler whose output diagrees with the majority is considered
to be wrong. So far, there is always a majority that agree on the answer.
Rather than testing, I'd like to use an equivalence checker for object
code. We're working on borrowing one, but don't have anything yet.
Equivalence checkers for object code...
2009 Jul 18
2
[LLVMdev] speed and code size issues
Very interesting study!
However as others have asked, I would like to see some aggregated data.
Also, how do you verify that the generated code is correct? How are you
systematically generating these tests?
In summary, do you have any paper coming along? :)
Thanks,
Nuno
----- Original Message -----
From: "John Regehr" <regehr at cs.utah.edu>
To: "LLVM Developers Mailing