From 27ef9976c2e7a93f0cd088cb098e4860bba29159 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 23 Apr 2010 15:23:32 +0000 Subject: [PATCH] Switch getelementptr inbounds and sdiv exact from undef to trap. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@102175 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.html | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/docs/LangRef.html b/docs/LangRef.html index 8c52a2118eb..ac28107bd4b 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -3407,8 +3407,8 @@ Instruction a 32-bit division of -2147483648 by -1.

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

+ sdiv is a trap value if the result would + be rounded or if overflow would occur.

Example:
@@ -4391,13 +4391,14 @@ entry:

If the inbounds keyword is present, the result value of the - getelementptr is undefined if the base pointer is not an - in bounds address of an allocated object, or if any of the addresses - that would be formed by successive addition of the offsets implied by the - indices to the base address with infinitely precise arithmetic are not an - in bounds address of that allocated object. - The in bounds addresses for an allocated object are all the addresses - that point into the object, plus the address one byte past the end.

+ getelementptr is a trap value if the + base pointer is not an in bounds address of an allocated object, + or if any of the addresses that would be formed by successive addition of + the offsets implied by the indices to the base address with infinitely + precise arithmetic are not an in bounds address of that allocated + object. The in bounds addresses for an allocated object are all + the addresses that point into the object, plus the address one byte past + the end.

If the inbounds keyword is not present, the offsets are added to the base address with silently-wrapping two's complement arithmetic, and