[PATCH] D141386: [LangRef] Make !range, !nonnull and !align return poison instead of IUB
Nuno Lopes via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
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
More information about the llvm-commits
mailing list