[PATCH] D86576: [IR] Add NoUndef attribute to Intrinsics.td
Juneyoung Lee via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 26 05:54:16 PDT 2020
aqjune added inline comments.
================
Comment at: llvm/include/llvm/IR/Intrinsics.td:557
NoAlias<ArgIndex<0>>, NoAlias<ArgIndex<1>>,
+ NoUndef<ArgIndex<0>>, NoUndef<ArgIndex<1>>,
WriteOnly<ArgIndex<0>>, ReadOnly<ArgIndex<1>>,
----------------
jdoerfert wrote:
> This is the old `nonnull` discussion all over again. I don't think you can do this here. Do it when we know the size is not 0. Same below.
I think we can make it more explicit by updating LangRef and saying that undef or poison can be given when the size is zero. I'll make a patch for that.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D86576/new/
https://reviews.llvm.org/D86576
More information about the llvm-commits
mailing list