[LLVMdev] new LLVM IR features

David Greene dag at cray.com
Wed Jul 29 09:41:08 PDT 2009

On Wednesday 29 July 2009 11:25, Dan Gohman wrote:

> Getelementptr now has an optional flag: inbounds.  WIth this flag,
> if the result of a getelementptr is not in bounds of an allocated
> object,
> the result value is undefined.  Note the the new getelementptr rule
> applies regardless of whether the keyword is present.

How do the semantics of "inbounds" differ from the new GEP rules?


More information about the llvm-dev mailing list