summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorArtur Pilipenko <apilipenko@azulsystems.com>2016-08-22 13:18:19 +0000
committerArtur Pilipenko <apilipenko@azulsystems.com>2016-08-22 13:18:19 +0000
commita1d9a67496b99008df4c944ce58e82f86e205362 (patch)
tree2793af6625ffdc0aee790b50411a72480e6f11e2
parentbc76ecada07e1905264d02f87499a5ebeb0df816 (diff)
downloadbcm5719-llvm-a1d9a67496b99008df4c944ce58e82f86e205362.tar.gz
bcm5719-llvm-a1d9a67496b99008df4c944ce58e82f86e205362.zip
Remove missing file from r279433 reversal
llvm-svn: 279434
-rw-r--r--llvm/test/Analysis/ValueTracking/iv-known-sign.ll97
1 files changed, 0 insertions, 97 deletions
diff --git a/llvm/test/Analysis/ValueTracking/iv-known-sign.ll b/llvm/test/Analysis/ValueTracking/iv-known-sign.ll
deleted file mode 100644
index 303031b7f0f..00000000000
--- a/llvm/test/Analysis/ValueTracking/iv-known-sign.ll
+++ /dev/null
@@ -1,97 +0,0 @@
-; RUN: opt < %s -instcombine -S | FileCheck %s
-
-; Induction variable is known to be non-negative
-; when its initial value is non-negative and
-; increments by non-negative value
-define i32 @test_indvar_nonnegative_add() {
-; CHECK-LABEL: @test_indvar_nonnegative_add(
-; CHECK: br i1 true, label %for.end, label %for.body
-entry:
- br label %for.body
-
-for.body:
- %i = phi i32 [0, %entry], [%inc, %for.body]
- %inc = add nsw i32 %i, 1
- %cmp = icmp sge i32 %i, 0
- br i1 %cmp, label %for.end, label %for.body
-
-for.end:
- ret i32 %i
-}
-
-; Induction variable is known to be non-negative
-; when its initial value is non-negative and
-; is multiplied by a non-negative value in each
-; iteration
-define i32 @test_indvar_nonnegative_mul() {
-; CHECK-LABEL: @test_indvar_nonnegative_mul(
-; CHECK: br i1 true, label %for.end, label %for.body
-entry:
- br label %for.body
-
-for.body:
- %i = phi i32 [1, %entry], [%inc, %for.body]
- %inc = mul nsw i32 %i, 3
- %cmp = icmp sge i32 %i, 0
- br i1 %cmp, label %for.end, label %for.body
-
-for.end:
- ret i32 %i
-}
-
-; Induction variable is known to be non-negative,
-; Similar to add
-define i32 @test_indvar_nonnegative_sub(i32 %a) {
-; CHECK-LABEL: @test_indvar_nonnegative_sub(
-; CHECK: br i1 true, label %for.end, label %for.body
-entry:
- br label %for.body
-
-for.body:
- %i = phi i32 [0, %entry], [%inc, %for.body]
- %b = or i32 %a, -2147483648
- %inc = sub nsw i32 %i, %b
- %cmp = icmp sge i32 %i, 0
- br i1 %cmp, label %for.end, label %for.body
-
-for.end:
- ret i32 %i
-}
-
-; Induction variable is known to be negative when
-; its initial value is negative and decrements by
-; a non-negative value
-define i32 @test_indvar_negative_add() {
-; CHECK-LABEL: @test_indvar_negative_add(
-; CHECK: br i1 true, label %for.end, label %for.body
-entry:
- br label %for.body
-
-for.body:
- %i = phi i32 [-1, %entry], [%inc, %for.body]
- %inc = add nsw i32 %i, -1
- %cmp = icmp slt i32 %i, 0
- br i1 %cmp, label %for.end, label %for.body
-
-for.end:
- ret i32 %i
-}
-
-; Induction variable is known to be negative,
-; similar to add
-define i32 @test_indvar_negative_sub(i32 %a) {
-; CHECK-LABEL: @test_indvar_negative_sub(
-; CHECK: br i1 true, label %for.end, label %for.body
-entry:
- br label %for.body
-
-for.body:
- %i = phi i32 [-1, %entry], [%inc, %for.body]
- %b = and i32 %a, 2147483647
- %inc = sub nsw i32 %i, %b
- %cmp = icmp slt i32 %i, 0
- br i1 %cmp, label %for.end, label %for.body
-
-for.end:
- ret i32 %i
-}
OpenPOWER on IntegriCloud