There are some improvements in the last LLVM V.2.5, among them now LLVM provides intrinsics for (some) arithmetic with overflow operations: http://llvm.org/docs/LangRef.html#int_overflow
Introducing such feature into D (LDC and more) is even simpler now :-) Bye, bearophile