summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll')
-rw-r--r--llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll65
1 files changed, 0 insertions, 65 deletions
diff --git a/llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll b/llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll
deleted file mode 100644
index 53fa02a42a8..00000000000
--- a/llvm/test/Transforms/LoopRotate/preserve-loop-simplify.ll
+++ /dev/null
@@ -1,65 +0,0 @@
-; RUN: opt -S -loop-rotate < %s -verify-loop-info | FileCheck %s
-;
-; Verify that LoopRotate preserves LoopSimplify form even in very peculiar loop
-; structures. We manually validate the CFG with FileCheck because currently we
-; can't cause a failure when LoopSimplify fails to be preserved.
-
-define void @PR18643() {
-; CHECK-LABEL: @PR18643(
-entry:
- br label %outer.header
-; CHECK: br label %outer.header
-
-outer.header:
-; CHECK: outer.header:
- br i1 undef, label %inner.header, label %outer.body
-; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_PREROTATE_PREHEADER:[^,]*]], label %outer.body
-
-; CHECK: [[INNER_PREROTATE_PREHEADER]]:
-; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_PREROTATE_PREHEADER_SPLIT_RETURN:[^,]*]], label %[[INNER_ROTATED_PREHEADER:[^,]*]]
-
-; CHECK: [[INNER_ROTATED_PREHEADER]]:
-; CHECK-NEXT: br label %inner.body
-
-inner.header:
-; Now the latch!
-; CHECK: inner.header:
- br i1 undef, label %return, label %inner.body
-; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_SPLIT_RETURN:[^,]*]], label %inner.body
-
-inner.body:
-; Now the header!
-; CHECK: inner.body:
- br i1 undef, label %outer.latch, label %inner.latch
-; CHECK-NEXT: br i1 {{[^,]*}}, label %[[INNER_SPLIT_OUTER_LATCH:[^,]*]], label %inner.header
-
-inner.latch:
-; Dead!
- br label %inner.header
-
-outer.body:
-; CHECK: outer.body:
- br label %outer.latch
-; CHECK-NEXT: br label %outer.latch
-
-; L2 -> L1 exit edge needs a simplified exit block.
-; CHECK: [[INNER_SPLIT_OUTER_LATCH]]:
-; CHECK-NEXT: br label %outer.latch
-
-outer.latch:
-; CHECK: outer.latch:
- br label %outer.header
-; CHECK-NEXT: br label %outer.header
-
-; L1 -> L0 exit edge need sa simplified exit block.
-; CHECK: [[INNER_PREROTATE_PREHEADER_SPLIT_RETURN]]:
-; CHECK-NEXT: br label %return
-
-; L2 -> L0 exit edge needs a simplified exit block.
-; CHECK: [[INNER_SPLIT_RETURN]]:
-; CHECK-NEXT: br label %return
-
-return:
-; CHECK: return:
- unreachable
-}
OpenPOWER on IntegriCloud