search for: diagrees

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