[PATCH] D124158: [Clang][Attr] Skip adding noundef attribute to arguments when function has convergent attribute

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 28 10:41:07 PDT 2022


efriedma added a comment.

In D124158#3480384 <https://reviews.llvm.org/D124158#3480384>, @arsenm wrote:

> I'm thinking noundef is a bit of red herring here. The real problem seems to be arising from the assume call which is inserted, which now introduces the assumption that the lane ID must be 0

The optimizer is creating the llvm.assume call based on the violation of the noundef attribute.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124158



More information about the llvm-commits mailing list