[PATCH] D141386: [LangRef] Make !range, !nonnull and !align return poison instead of IUB

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jan 12 05:57:12 PST 2023


nikic added a comment.

In D141386#4044303 <https://reviews.llvm.org/D141386#4044303>, @nlopes wrote:

> Sounds good, thanks!
> I implemented this in Alive2 and I got zero failures in LLVM's test suite. Either it doesn't have many !ranges or we are good.

Shouldn't this test have failed? https://github.com/llvm/llvm-project/blob/main/llvm/test/Transforms/Mem2Reg/preserve-nonnull-load-metadata.ll Or did you only adjust `!range` but not `!nonnull`?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D141386/new/

https://reviews.llvm.org/D141386



More information about the llvm-commits mailing list