[all-commits] [llvm/llvm-project] 2269a4: [WIP][AMDGPU][Attributor] Make `AAAMDFlatWorkGroup...

[Shilei Tian via All-commits]

  Branch: refs/heads/users/shiltian/honor-attributes
  Home:   https://github.com/llvm/llvm-project
  Commit: 2269a404739b6e8ce3d8ca7a7e99a2d8be72dc89
      https://github.com/llvm/llvm-project/commit/2269a404739b6e8ce3d8ca7a7e99a2d8be72dc89
  Author: Shilei Tian <i at tianshilei.me>
  Date:   2024-10-31 (Thu, 31 Oct 2024)

  Changed paths:
    M llvm/lib/Target/AMDGPU/AMDGPUAttributor.cpp

  Log Message:
  -----------
  [WIP][AMDGPU][Attributor] Make `AAAMDFlatWorkGroupSize` honor existing attribute

If a function has `amdgpu-flat-work-group-size`, honor it in `initialize` by
taking its value directly, set it to known range, indicate a pessimistic fixed
point such that the known range is propagated to the assumed range; otherwise,
it simply does nothing. We will no longer clamp (real clamp, instead of the
union one in `IntegerRangeState`) the known range, which can cause issues
because the known range is a "throttle" to the assumed range such that the
assumed range can't get widened properly in `updateImpl`. Another benefit of not
touching the known range in `initialize` is, if we indicate pessimistic state in
`updateImpl`, it is also invalid, such that `manifest` will not be called. Since
we honor the attribute, we don't want any half-baked attribute added to a
function.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications