summaryrefslogtreecommitdiff
path: root/llvm/test/Analysis/CycleInfo/basic.ll
diff options
context:
space:
mode:
authorSameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com>2024-08-20 19:12:10 +0530
committerSameer Sahasrabuddhe <sameer.sahasrabuddhe@amd.com>2024-08-20 19:12:10 +0530
commite6da78a326a7cbf8f3a6422d33f48d13708e0da3 (patch)
tree0e22645601b0781537aed161ba58a3f5dd0ff070 /llvm/test/Analysis/CycleInfo/basic.ll
parentee572ed4ac2d9e2ff37217d6bedc20f530a5d3af (diff)
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.
Diffstat (limited to 'llvm/test/Analysis/CycleInfo/basic.ll')
-rw-r--r--llvm/test/Analysis/CycleInfo/basic.ll2
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/test/Analysis/CycleInfo/basic.ll b/llvm/test/Analysis/CycleInfo/basic.ll
index f8326f135891..e459b0c317f9 100644
--- a/llvm/test/Analysis/CycleInfo/basic.ll
+++ b/llvm/test/Analysis/CycleInfo/basic.ll
@@ -1,4 +1,4 @@
-; RUN: opt < %s -disable-output -passes='print<cycles>' 2>&1 | FileCheck %s -check-prefix=CHECK
+; RUN: opt < %s -disable-output -passes='verify<cycles>,print<cycles>' 2>&1 | FileCheck %s -check-prefix=CHECK
define void @empty() {
; CHECK-LABEL: CycleInfo for function: empty