[LLVMdev] new LLVM IR features
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
> 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