[llvm-dev] Non-determinism in LLVM codegen

[Jonathan Roelofs via llvm-dev]

On 11/16/16 8:27 AM, regehr via llvm-dev wrote:
>> Given a flag (-mllvm -reverse-iterate) this patch will enable iteration
>> of SmallPtrSet in reverse order. The idea is to compile the same source
>> with and without this flag and expect the code to not change.
>
> This is really cool!
>
> Another potential source for non-determinism is undefined behavior.  In
> a Debug LLVM from last night I got 22 unexpected failures when testing
> under Valgrind.

Would be interesting to see, for those failures, whether the sanitizers 
can catch them, and if not, why.


Jon

>
> John
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

-- 
Jon Roelofs
jonathan at codesourcery.com
CodeSourcery / Mentor Embedded