Revert r316887 to fix buildbot failures.

llvm-svn: 316888

1 files changed, 0 insertions, 135 deletions

diff --git a/llvm/test/Transforms/SCCP/ip-constan-ranges.ll b/llvm/test/Transforms/SCCP/ip-constan-ranges.ll
deleted file mode 100644
index 4f5f63e5f73..00000000000
--- a/llvm/test/Transforms/SCCP/ip-constan-ranges.ll
+++ /dev/null
@@ -1,135 +0,0 @@
-; RUN: opt < %s -ipsccp -S | FileCheck %s
-
-; Constant range for %a is [1, 48) and for %b is [301, 1000)
-; CHECK-LABEL: f1
-; CHECK-NOT: icmp
-; CHECK: %a.1 = select i1 false, i32 1, i32 2
-; CHECK: %b.1 = select i1 true, i32 1, i32 2
-; CHECK: %a.2 = select i1 false, i32 1, i32 2
-; CHECK: %b.2 = select i1 true, i32 1, i32 2
-define internal i32 @f1(i32 %a, i32 %b) {
-entry:
-  %cmp.a = icmp sgt i32 %a, 300
-  %cmp.b = icmp sgt i32 %b, 300
-  %cmp.a2 = icmp ugt i32 %a, 300
-  %cmp.b2 = icmp ugt i32 %b, 300
-
-  %a.1 = select i1 %cmp.a, i32 1, i32 2
-  %b.1 = select i1 %cmp.b, i32 1, i32 2
-  %a.2 = select i1 %cmp.a2, i32 1, i32 2
-  %b.2 = select i1 %cmp.b2, i32 1, i32 2
-  %res1 = add i32 %a.1, %b.1
-  %res2 = add i32 %a.2, %b.2
-  %res3 = add i32 %res1, %res2
-  ret i32 %res3
-}
-
-; Constant range for %x is [47, 302)
-; CHECK-LABEL: f2
-; CHECK: %cmp = icmp sgt i32 %x, 300
-; CHECK: %res1 = select i1 %cmp, i32 1, i32 2
-; CHECK-NEXT: %res2 = select i1 true, i32 3, i32 4
-; CHECK-NEXT: %res3 = select i1 true, i32 5, i32 6
-; CHECK-NEXT: %res4 = select i1 %cmp4, i32 3, i32 4
-; CHECK-NEXT: %res5 = select i1 true, i32 5, i32 6
-define internal i32 @f2(i32 %x) {
-entry:
-  %cmp = icmp sgt i32 %x, 300
-  %cmp2 = icmp ne i32 %x, 10
-  %cmp3 = icmp sge i32 %x, 47
-  %cmp4 = icmp ugt i32 %x, 300
-  %cmp5 = icmp uge i32 %x, 47
-  %res1 = select i1 %cmp, i32 1, i32 2
-  %res2 = select i1 %cmp2, i32 3, i32 4
-  %res3 = select i1 %cmp3, i32 5, i32 6
-  %res4 = select i1 %cmp4, i32 3, i32 4
-  %res5 = select i1 %cmp5, i32 5, i32 6
-
-  %res6 = add i32 %res1, %res2
-  %res7 = add i32 %res3, %res4
-  %res = add i32 %res6, %res5
-  ret i32 %res
-}
-
-define i32 @caller1() {
-entry:
-  %call1 = tail call i32 @f1(i32 1, i32 301)
-  %call2 = tail call i32 @f1(i32 47, i32 999)
-  %call3 = tail call i32 @f2(i32 47)
-  %call4 = tail call i32 @f2(i32 301)
-  %res = add nsw i32 %call1, %call2
-  %res.1 = add nsw i32 %res, %call3
-  %res.2 = add nsw i32 %res.1, %call4
-  ret i32 %res.2
-}
-
-; x is overdefined, because constant ranges are only used for parameter
-; values.
-; CHECK-LABEL: f3
-; CHECK: %cmp = icmp sgt i32 %x, 300
-; CHECK: %res = select i1 %cmp, i32 1, i32 2
-; CHECK: ret i32 %res
-define internal i32 @f3(i32 %x) {
-entry:
-  %cmp = icmp sgt i32 %x, 300
-  %res = select i1 %cmp, i32 1, i32 2
-  ret i32 %res
-}
-
-; The phi node could be converted in a ConstantRange.
-define i32 @caller2(i1 %cmp) {
-entry:
-  br i1 %cmp, label %if.true, label %end
-
-if.true:
-  br label %end
-
-end:
-  %res = phi i32 [ 0, %entry], [ 1, %if.true ]
-  %call1 = tail call i32 @f3(i32 %res)
-  ret i32 %call1
-}
-
-; CHECK-LABEL: f4
-; CHECK: %cmp = icmp sgt i32 %x, 300
-; CHECK: %res = select i1 %cmp, i32 1, i32 2
-; CHECK: ret i32 %res
-define internal i32 @f4(i32 %x) {
-entry:
-  %cmp = icmp sgt i32 %x, 300
-  %res = select i1 %cmp, i32 1, i32 2
-  ret i32 %res
-}
-
-; ICmp could introduce bounds on ConstantRanges.
-define i32 @caller3(i32 %x) {
-entry:
-  %cmp = icmp sgt i32 %x, 300
-  br i1 %cmp, label %if.true, label %end
-
-if.true:
-  %x.1 = tail call i32 @f4(i32 %x)
-  br label %end
-
-end:
-  %res = phi i32 [ 0, %entry], [ %x.1, %if.true ]
-  ret i32 %res
-}
-
-; Check to make sure we do not attempt to access lattice values in unreachable
-; blocks.
-define i32 @test_unreachable() {
-entry:
-  call i1 @test_unreachable_callee(i32 1)
-  call i1 @test_unreachable_callee(i32 2)
-  ret i32 1
-}
-
-define internal i1 @test_unreachable_callee(i32 %a) {
-entry:
-  ret i1 true
-
-unreachablebb:
-  %cmp = icmp eq i32 undef, %a
-  unreachable
-}