[llvm-dev] [RFC] : [D130224] Introduce maybe_undef attribute for function arguments which accepts undef values

I haven’t looked at those particular patches in detail yet. My reason for suggesting the use of freeze is here: LLVM GPU Working Group Meeting – Friday, July 15, 2022 - #3 by nhaehnle

Though I agree that we only need one of no noundef or freeze, both seems overkill.