Same comment as previous change: Is there are *correct* result (i.e, mandated by a standard), and if so, what is it. If it's just "implementation defined", then we're going to have to figure out how to test this stuff, and this is a reasonable start. http://reviews.llvm.org/D4999