[PATCH] D96615: [NewPM] Introduce (GPU)DivergenceAnalysis in the new pass manager

[Sameer Sahasrabuddhe via Phabricator via llvm-commits]

sameerds created this revision.
Herald added subscribers: kerbowa, jfb, hiraditya, nhaehnle, jvesely, jholewinski.
sameerds requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D96615

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D96615.323367.patch
Type: text/x-patch
Size: 64063 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210212/70ee074c/attachment.bin>