[all-commits] [llvm/llvm-project] fd9841: [llvm][Uniformity] consistently handle always-unif...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fd98416d378062d1e37349f91a121651fe11c24e
      https://github.com/llvm/llvm-project/commit/fd98416d378062d1e37349f91a121651fe11c24e
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2023-03-10 (Fri, 10 Mar 2023)

  Changed paths:
    M llvm/docs/ConvergenceAndUniformity.rst
    M llvm/include/llvm/ADT/GenericUniformityImpl.h
    M llvm/lib/Analysis/UniformityAnalysis.cpp
    M llvm/lib/CodeGen/MachineUniformityAnalysis.cpp
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/irreducible/irreducible-2.ll

  Log Message:
  -----------
  [llvm][Uniformity] consistently handle always-uniform instructions

An instruction that is "always uniform" is so even if it occurs in an
irreducible cycle. The output produced by such an instruction may depend on the
implementation defined cycle hierarchy, but that does not affect the uniformity
of the output. In other words, an "always uniform" instruction is uniform even
if it is not m-converged.

Reviewed By: ruiling, ronlieb

Differential Revision: https://reviews.llvm.org/D145572