[all-commits] [llvm/llvm-project] ee4945: [LLVM] convergence verifier should visit all instr...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ee4945329f8d90ba4fda2e3b740f40b4958721c8
      https://github.com/llvm/llvm-project/commit/ee4945329f8d90ba4fda2e3b740f40b4958721c8
  Author: Sameer Sahasrabuddhe <41661541+ssahasra at users.noreply.github.com>
  Date:   2023-09-20 (Wed, 20 Sep 2023)

  Changed paths:
    M llvm/include/llvm/ADT/GenericConvergenceVerifier.h
    M llvm/include/llvm/IR/GenericConvergenceVerifierImpl.h
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Verifier/convergencectrl-invalid.ll

  Log Message:
  -----------
  [LLVM] convergence verifier should visit all instructions (#66200)

The entry and loop intrinsics for convergence control cannot be preceded
by convergent operations in their respective basic blocks. To check
that, the verifier needs to reset its state at the start of the block.
This was missed in the previous commit
fa6dd7a24af2b02f236ec3b980d9407e86c2c4aa.