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