[all-commits] [llvm/llvm-project] 11bf7d: [NewPM] Introduce (GPU)DivergenceAnalysis in the n...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11bf7da64a11dbae422ff322f629be6950f9bfb7
      https://github.com/llvm/llvm-project/commit/11bf7da64a11dbae422ff322f629be6950f9bfb7
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2021-02-16 (Tue, 16 Feb 2021)

  Changed paths:
    M llvm/include/llvm/Analysis/DivergenceAnalysis.h
    M llvm/include/llvm/Analysis/LegacyDivergenceAnalysis.h
    M llvm/lib/Analysis/DivergenceAnalysis.cpp
    M llvm/lib/Analysis/LegacyDivergenceAnalysis.cpp
    M llvm/lib/Passes/PassBuilder.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/always_uniform.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/atomics.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/b42473-r1-crash.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/control-flow-intrinsics.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/hidden_diverge.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/hidden_loopdiverge.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/inline-asm.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/interp_f16.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/intrinsics.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/irreducible.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/join-at-loop-exit.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/kernel-args.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/llvm.amdgcn.buffer.atomic.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/llvm.amdgcn.image.atomic.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/no-return-blocks.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/phi-undef.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/propagate-loop-live-out.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/temporal_diverge.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/trivial-join-at-loop-exit.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/unreachable-loop-block.ll
    M llvm/test/Analysis/DivergenceAnalysis/AMDGPU/workitem-intrinsics.ll
    M llvm/test/Analysis/DivergenceAnalysis/NVPTX/daorder.ll
    M llvm/test/Analysis/DivergenceAnalysis/NVPTX/diverge.ll
    M llvm/test/Analysis/DivergenceAnalysis/NVPTX/hidden_diverge.ll
    M llvm/test/Analysis/DivergenceAnalysis/NVPTX/irreducible.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/atomics.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/intrinsics.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/kernel-args.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/llvm.amdgcn.buffer.atomic.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/llvm.amdgcn.image.atomic.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/loads.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/no-return-blocks.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/phi-undef.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/unreachable-loop-block.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/AMDGPU/workitem-intrinsics.ll
    M llvm/test/Analysis/LegacyDivergenceAnalysis/NVPTX/diverge.ll
    M llvm/tools/opt/opt.cpp
    M llvm/unittests/Analysis/DivergenceAnalysisTest.cpp

  Log Message:
  -----------
  [NewPM] Introduce (GPU)DivergenceAnalysis in the new pass manager

The GPUDivergenceAnalysis is now renamed to just "DivergenceAnalysis"
since there is no conflict with LegacyDivergenceAnalysis. In the
legacy PM, this analysis can only be used through the legacy DA
serving as a wrapper. It is now made available as a pass in the new
PM, and has no relation with the legacy DA.

The new DA currently cannot handle irreducible control flow; its
presence can cause the analysis to run indefinitely. The analysis is
now modified to detect this and report all instructions in the
function as divergent. This is super conservative, but allows the
analysis to be used without hanging the compiler.

Reviewed By: aeubanks

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