[all-commits] [llvm/llvm-project] 9b9406: [CycleAnalysis] Methods to verify cycles and their...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/users/ssahasra/verify-cycles
  Home:   https://github.com/llvm/llvm-project
  Commit: 9b94060a378ac4a44fbbd18856460b745e16e128
      https://github.com/llvm/llvm-project/commit/9b94060a378ac4a44fbbd18856460b745e16e128
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2024-08-13 (Tue, 13 Aug 2024)

  Changed paths:
    M llvm/include/llvm/ADT/GenericCycleImpl.h
    M llvm/include/llvm/ADT/GenericCycleInfo.h
    M llvm/include/llvm/ADT/GenericSSAContext.h
    M llvm/include/llvm/Analysis/CycleAnalysis.h
    M llvm/include/llvm/CodeGen/MachineSSAContext.h
    M llvm/include/llvm/IR/SSAContext.h
    M llvm/lib/Analysis/CycleAnalysis.cpp
    M llvm/lib/CodeGen/MachineCycleAnalysis.cpp
    M llvm/lib/IR/CycleInfo.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/test/Analysis/CycleInfo/basic.ll
    M llvm/test/Analysis/CycleInfo/unreachable-predecessor.ll

  Log Message:
  -----------
  [CycleAnalysis] Methods to verify cycles and their nesting.

The original implementation provided a simple method to check whether the forest
of nested cycles is well-formed. This is now augmented with other methods to
check well-formedness of every cycle, either invdividually, or as the entire
forest. These will be used by future transforms that modify CycleInfo.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications