[clang] [llvm] AMDGPU: Mark workitem ID intrinsics with range attribute (PR #136196)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 17 14:06:52 PDT 2025


nikic wrote:

> This avoids the need to have special handling at every use site. Unfortunately this means we unnecessarily emit AssertZext in the DAG (where we already directly understand the range of the intrinsic), andt we regress in undefined cases as we don't fold out asserts on undef.

This is not a "real" regression though, right? As in, we'd already get that behavior for the IR clang actually generates (with range attributes on the call-sites): https://llvm.godbolt.org/z/GWcs9837a It's just that the codegen tests weren't actually specifying the attribute that clang produces?

https://github.com/llvm/llvm-project/pull/136196


More information about the llvm-commits mailing list