[PATCH] D130224: [Clang][Attribute] Introduce maybe_undef attribute for function arguments which accepts undef values

Nuno Lopes via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jul 29 06:46:46 PDT 2022


nlopes added a comment.

In D130224#3687351 <https://reviews.llvm.org/D130224#3687351>, @arsenm wrote:

> In D130224#3686756 <https://reviews.llvm.org/D130224#3686756>, @nlopes wrote:
>
>> Would it be possible to implement this by dropping the `noundef` attribute rather than emitting a freeze? Seems like a much better option to me.
>
> See @nhaehnle's post here <https://discourse.llvm.org/t/llvm-gpu-working-group-meeting-friday-july-15-2022/63765/3>

Thank you for the reference!
Seems like a big hammer, but I don't know the semantics of the GPU languages to comment further.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D130224



More information about the cfe-commits mailing list