From 18d14710ab8f48cf2bffe44a2367faf3e9e958a9 Mon Sep 17 00:00:00 2001 From: Hans Wennborg Date: Tue, 30 Jan 2018 09:55:31 +0000 Subject: Revert r323738; that was not the one I wanted to merge git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_60@323739 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../CorrelatedValuePropagation/pr35807.ll | 65 ---------------------- 1 file changed, 65 deletions(-) delete mode 100644 test/Transforms/CorrelatedValuePropagation/pr35807.ll (limited to 'test/Transforms') 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 -} -- cgit v1.2.3