summaryrefslogtreecommitdiff
path: root/test/Transforms/CorrelatedValuePropagation/pr35807.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/CorrelatedValuePropagation/pr35807.ll')
-rw-r--r--test/Transforms/CorrelatedValuePropagation/pr35807.ll65
1 files changed, 0 insertions, 65 deletions
diff --git a/test/Transforms/CorrelatedValuePropagation/pr35807.ll b/test/Transforms/CorrelatedValuePropagation/pr35807.ll
deleted file mode 100644
index 8f72b596d28..00000000000
--- a/test/Transforms/CorrelatedValuePropagation/pr35807.ll
+++ /dev/null
@@ -1,65 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -correlated-propagation -S %s | FileCheck %s
-
-target triple = "x86_64-apple-darwin17.4.0"
-
-define void @patatino() {
-; CHECK-LABEL: @patatino(
-; CHECK-NEXT: br i1 undef, label [[BB3:%.*]], label [[BB4:%.*]]
-; CHECK: bb3:
-; CHECK-NEXT: br label [[BB3]]
-; CHECK: bb4:
-; CHECK-NEXT: br i1 undef, label [[BB40:%.*]], label [[BB22:%.*]]
-; CHECK: bb7:
-; CHECK-NEXT: br label [[BB14:%.*]]
-; CHECK: bb12:
-; CHECK-NEXT: br label [[BB14]]
-; CHECK: bb14:
-; CHECK-NEXT: [[TMP19:%.*]] = icmp sgt i32 undef, undef
-; CHECK-NEXT: [[TMP20:%.*]] = select i1 [[TMP19]], i64 [[TMP20]], i64 0
-; CHECK-NEXT: br i1 undef, label [[BB40]], label [[BB7:%.*]]
-; CHECK: bb22:
-; CHECK-NEXT: br label [[BB24:%.*]]
-; CHECK: bb24:
-; CHECK-NEXT: br label [[BB32:%.*]]
-; CHECK: bb32:
-; CHECK-NEXT: br i1 undef, label [[BB40]], label [[BB24]]
-; CHECK: bb40:
-; CHECK-NEXT: ret void
-;
- br i1 undef, label %bb3, label %bb4
-
-bb3:
- br label %bb3
-
-bb4:
- br i1 undef, label %bb40, label %bb22
-
-bb7:
- br label %bb14
-
-bb12:
- br label %bb14
-
-; This block is unreachable. Due to the non-standard definition of
-; dominance in LLVM where uses in unreachable blocks are dominated
-; by anything, it contains an instruction of the form
-; %def = OP %def, %something
-bb14:
- %tmp19 = icmp sgt i32 undef, undef
- %tmp20 = select i1 %tmp19, i64 %tmp20, i64 0
- br i1 undef, label %bb40, label %bb7
-
-bb22:
- br label %bb24
-
-bb24:
- br label %bb32
-
-bb32:
- br i1 undef, label %bb40, label %bb24
-
-bb40:
- %tmp41 = phi i64 [ 4, %bb4 ], [ %tmp20, %bb14 ], [ undef, %bb32 ]
- ret void
-}