idris-lang/Idris-dev — pull request #890 by Ralith (2014-02-14 07:08:28+00:00)
Title: Fix some load instructions being incorrectly marked as invariant for LLVM

This resolves some possible cases of undefined behavior.