diff options
author | Hans Wennborg <hans@hanshq.net> | 2018-01-30 09:55:31 +0000 |
---|---|---|
committer | Hans Wennborg <hans@hanshq.net> | 2018-01-30 09:55:31 +0000 |
commit | 18d14710ab8f48cf2bffe44a2367faf3e9e958a9 (patch) | |
tree | 8141c9fc18ae81cdf9918cd7c1155e4e631d187a /test | |
parent | 029e482f3927d9c341a2a4fd0dfeff64b24b2b83 (diff) |
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
Diffstat (limited to 'test')
-rw-r--r-- | test/Transforms/CorrelatedValuePropagation/pr35807.ll | 65 |
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 -} |