[llvm-commits] [llvm] r131887 - in /llvm/trunk: lib/Transforms/InstCombine/InstCombineMulDivRem.cpp test/Transforms/InstCombine/shift.ll

[Dan Gohman]

On May 24, 2011, at 1:25 AM, Duncan Sands wrote:

> Hi Nick,
> 
>> Dividing by zero actually generates a trap, not just undef. You could update the
>> LangRef to make that explicit.
> 
> indeed this was my objection: according to the LangRef div by zero does not
> generate a trap value.  If it's just a doc bug (Dan, can you please confirm)
> then I will fix LangRef.


Where in LangRef are you referring to?  In the descriptions of sdiv and udiv, it
says that division by zero is whole-watermelon undefined behavior.

Dan