[all-commits] [llvm/llvm-project] e6da78: Reapply "[CycleAnalysis] Methods to verify cycles ...

[Sameer Sahasrabuddhe via All-commits]

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

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

  Log Message:
  -----------
  Reapply "[CycleAnalysis] Methods to verify cycles and their nesting. (#102300)"

This reverts commit 4aacc60fe7e1f7b3f788bba8382ea1fa5189ef3b.

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 individually, 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