[all-commits] [llvm/llvm-project] 93a370: [LLVM] move verification of convergence control to...

[Sameer Sahasrabuddhe via All-commits]

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

  Changed paths:
    A llvm/include/llvm/ADT/GenericConvergenceVerifier.h
    A llvm/include/llvm/ADT/GenericConvergenceVerifierImpl.h
    M llvm/include/llvm/ADT/GenericSSAContext.h
    A llvm/include/llvm/IR/ConvergenceVerifier.h
    M llvm/lib/CodeGen/MachineSSAContext.cpp
    M llvm/lib/IR/CMakeLists.txt
    A llvm/lib/IR/ConvergenceVerifier.cpp
    M llvm/lib/IR/SSAContext.cpp
    M llvm/lib/IR/Verifier.cpp

  Log Message:
  -----------
  [LLVM] move verification of convergence control to a class template

The refactored template can now be used with MachineVerifier.

Reviewed By: arsenm

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