sdiv overflow is outright undefined behavior, with or without the

'exact' keyword. Thanks to nlewycky for pointing this out!

llvm-svn: 108064

llvm/docs/LangRef.html

@@ -3564,7 +3564,7 @@ Instruction</a> </div>
 
 <p>If the <tt>exact</tt> keyword is present, the result value of the
    <tt>sdiv</tt> is a <a href="#trapvalues">trap value</a> if the result would
-   be rounded or if overflow would occur.</p>
+   be rounded.</p>
 
 <h5>Example:</h5>
 <pre>