[all-commits] [llvm/llvm-project] 4d0815: [Uniformity] fix assert in a cycle made divergent ...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4d081560cd3b6ac114aee15f50480dd978b55a44
      https://github.com/llvm/llvm-project/commit/4d081560cd3b6ac114aee15f50480dd978b55a44
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2023-08-18 (Fri, 18 Aug 2023)

  Changed paths:
    M llvm/include/llvm/ADT/GenericUniformityImpl.h
    M llvm/test/Analysis/UniformityAnalysis/AMDGPU/irreducible/branch-outside.ll

  Log Message:
  -----------
  [Uniformity] fix assert in a cycle made divergent by outside branch

When diverged paths reach an irreducible cycle C, every block inside C gets
marked as a join block. Such a join block J may be contained in a nest of
reducible cycles inside C. When visiting J, we can only expect that the
outermost C is irreducible, which we now correctly assert.