From e501ff7cc63f8732013d2d85ae3d0d7dc5b5af6d Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Sun, 11 Jul 2010 00:08:34 +0000 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/llvm/docs/LangRef.html b/llvm/docs/LangRef.html index b952c4080ac5..dbcd3556a4c0 100644 --- a/llvm/docs/LangRef.html +++ b/llvm/docs/LangRef.html @@ -3564,7 +3564,7 @@ Instruction

If the exact keyword is present, the result value of the sdiv is a trap value if the result would - be rounded or if overflow would occur.

+ be rounded.

Example: