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

Thu Jan 12 06:41:14 PST 2023

nlopes added a comment.

In D141386#4047344 <https://reviews.llvm.org/D141386#4047344>, @nikic wrote:

> 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`?

It seems it's not even implemented 😅:

  ERROR: Unsupported metadata: 11
  ERROR: Could not translate 'single_store' to Alive IR

Ok, I'll add it to my todo list. maybe over the weekend..

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D141386