[PATCH] D89050: Add support for !noundef metatdata on loads

[Malhar via Phabricator via llvm-commits]

malharJ added a comment.

> I think most loads in C/C++ can be annotated with !noundef based on language semantics, but I don't think anyone has looked into the necessary clang frontend work yet

Thanks for clarifying this.

> You might want to file an issue for the missing transform you encountered

When you say missing transform, are you referring to C/C++ array access to LLVM IR load transform ?

(If you are referring to the select --> and/or folding, it is not exactly missing, 
rather it was disabled if the transformation was poison-unsafe. Below were the patches.
https://reviews.llvm.org/D99674
https://reviews.llvm.org/D101191
)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D89050