From 41b3dd1ad5b67e0c8ef62f3e8c0e6f249adc4435 Mon Sep 17 00:00:00 2001
From: Chad Rosier <mcrosier@codeaurora.org>
Date: Fri, 22 Apr 2016 17:14:08 +0000
Subject: [PATCH] [SimplifyCFG] Simplify code review by temporarily removing
 this test file.

A followup commit will replace these tests with simplified and more inclusive
tests.  The diff is unreadable if this were to be done in a single commit.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@267170 91177308-0d34-0410-b5e6-96231b3b80d8
---
 .../SimplifyCFG/implied-cond-matching.ll           | 478 ---------------------
 1 file changed, 478 deletions(-)
 delete mode 100644 test/Transforms/SimplifyCFG/implied-cond-matching.ll

diff --git a/test/Transforms/SimplifyCFG/implied-cond-matching.ll b/test/Transforms/SimplifyCFG/implied-cond-matching.ll
deleted file mode 100644
index 9dbe7208009..00000000000
--- a/test/Transforms/SimplifyCFG/implied-cond-matching.ll
+++ /dev/null
@@ -1,478 +0,0 @@
-; RUN: opt %s -S -simplifycfg | FileCheck %s
-
-; Test same condition with swapped operands.
-; void test_swapped_ops(unsigned a, unsigned b) {
-;   if (a > b) {
-;     if (b > a) <- always false
-;       dead();
-;     alive();
-;   }
-; }
-;
-; CHECK-LABEL: @test_swapped_ops
-; CHECK-NOT: call void @dead()
-; CHECK: call void @alive()
-; CHECK: ret
-define void @test_swapped_ops(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ugt i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp ugt i32 %b, %a
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  call void @alive()
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; void test_swapped_pred(unsigned a, unsigned b) {
-;   if (a > b) {
-;     alive();
-;     if (b < a) <- always true; remove branch
-;       alive();
-;   }
-; }
-;
-; CHECK-LABEL: @test_swapped_pred
-; CHECK: call void @alive()
-; CHECK-NEXT: call void @alive()
-; CHECK: ret
-define void @test_swapped_pred(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ugt i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  call void @alive()
-  %cmp1 = icmp ult i32 %b, %a
-  br i1 %cmp1, label %if.then2, label %if.end3
-
-if.then2:
-  call void @alive()
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A == B implies A >u B is false
-; A == B implies A <u B is false
-; CHECK-LABEL: @test_eq_unsigned
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_eq_unsigned(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp eq i32 %a, %b
-  br i1 %cmp, label %if.end, label %if.end9
-
-if.end:
-  %cmp3 = icmp ugt i32 %a, %b
-  br i1 %cmp3, label %if.then4, label %if.end5
-
-if.then4:
-  call void @dead()
-  br label %if.end5
-
-if.end5:
-  %cmp6 = icmp ult i32 %a, %b
-  br i1 %cmp6, label %if.then7, label %if.end8
-
-if.then7:
-  call void @dead()
-  br label %if.end8
-
-if.end8:
-  br label %if.end9
-
-if.end9:
-  ret void
-}
-
-; A == B implies A >s B is false
-; A == B implies A <s B is false
-; CHECK-LABEL: @test_eq_signed
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_eq_signed(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp eq i32 %a, %b
-  br i1 %cmp, label %if.end, label %if.end9
-
-if.end:
-  %cmp3 = icmp sgt i32 %a, %b
-  br i1 %cmp3, label %if.then4, label %if.end5
-
-if.then4:
-  call void @dead()
-  br label %if.end5
-
-if.end5:
-  %cmp6 = icmp slt i32 %a, %b
-  br i1 %cmp6, label %if.then7, label %if.end8
-
-if.then7:
-  call void @dead()
-  br label %if.end8
-
-if.end8:
-  br label %if.end9
-
-if.end9:
-  ret void
-}
-
-; A != B implies A == B is false
-; CHECK-LABEL: @test_ne
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_ne(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ne i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp eq i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A >u B implies A == B is false.
-; A >u B implies A <=u B is false.
-; A >u B implies A != B is true.
-; CHECK-LABEL: @test_ugt
-; CHECK-NOT: dead
-; CHECK: alive
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_ugt(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ugt i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end9
-
-if.then:
-  %cmp1 = icmp eq i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  %cmp3 = icmp ule i32 %a, %b
-  br i1 %cmp3, label %if.then4, label %if.end5
-
-if.then4:
-  call void @dead()
-  br label %if.end5
-
-if.end5:
-  %cmp6 = icmp ne i32 %a, %b
-  br i1 %cmp6, label %if.then7, label %if.end8
-
-if.then7:
-  call void @alive()
-  br label %if.end8
-
-if.end8:
-  br label %if.end9
-
-if.end9:
-  ret void
-}
-
-; A >s B implies A == B is false.
-; A >s B implies A <=s B is false.
-; A >s B implies A != B is true.
-; CHECK-LABEL: @test_sgt
-; CHECK-NOT: dead
-; CHECK: alive
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_sgt(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp sgt i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end9
-
-if.then:
-  %cmp1 = icmp eq i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  %cmp3 = icmp sle i32 %a, %b
-  br i1 %cmp3, label %if.then4, label %if.end5
-
-if.then4:
-  call void @dead()
-  br label %if.end5
-
-if.end5:
-  %cmp6 = icmp ne i32 %a, %b
-  br i1 %cmp6, label %if.then7, label %if.end8
-
-if.then7:
-  call void @alive()
-  br label %if.end8
-
-if.end8:
-  br label %if.end9
-
-if.end9:
-  ret void
-}
-
-; A <u B implies A == B is false.
-; A <u B implies A >=u B is false.
-; A <u B implies A != B is true.
-; CHECK-LABEL: @test_ult
-; CHECK-NOT: dead
-; CHECK: alive
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_ult(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ult i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end9
-
-if.then:
-  %cmp1 = icmp eq i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  %cmp3 = icmp uge i32 %a, %b
-  br i1 %cmp3, label %if.then4, label %if.end5
-
-if.then4:
-  call void @dead()
-  br label %if.end5
-
-if.end5:
-  %cmp6 = icmp eq i32 %a, %b
-  br i1 %cmp6, label %if.end8, label %if.then7
-
-if.then7:
-  call void @alive()
-  br label %if.end8
-
-if.end8:
-  br label %if.end9
-
-if.end9:
-  ret void
-}
-
-; A <s B implies A == B is false.
-; A <s B implies A >=s B is false.
-; A <s B implies A != B is true.
-; CHECK-LABEL: @test_slt
-; CHECK-NOT: dead
-; CHECK: alive
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_slt(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp slt i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end9
-
-if.then:
-  %cmp1 = icmp eq i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  %cmp3 = icmp sge i32 %a, %b
-  br i1 %cmp3, label %if.then4, label %if.end5
-
-if.then4:
-  call void @dead()
-  br label %if.end5
-
-if.end5:
-  %cmp6 = icmp eq i32 %a, %b
-  br i1 %cmp6, label %if.end8, label %if.then7
-
-if.then7:
-  call void @alive()
-  br label %if.end8
-
-if.end8:
-  br label %if.end9
-
-if.end9:
-  ret void
-}
-
-; A >=u B implies A <u B is false.
-; CHECK-LABEL: @test_uge
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_uge(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp uge i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp ult i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A >=s B implies A <s B is false.
-; CHECK-LABEL: @test_sge
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_sge(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp sge i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp slt i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A <=u B implies A >u B is false.
-; CHECK-LABEL: @test_ule
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_ule(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ule i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp ugt i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A <=s B implies A >s B is false.
-; CHECK-LABEL: @test_sle
-; CHECK-NOT: dead
-; CHECK: ret void
-define void @test_sle(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp sle i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp sgt i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @dead()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A u<= B does not imply A s> B is false.
-; CHECK-LABEL: @test_ule_sgt_unsafe
-; CHECK: alive
-; CHECK: ret void
-define void @test_ule_sgt_unsafe(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ule i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp sgt i32 %a, %b
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @alive()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-; A u> B does not imply B s> A is false.
-; CHECK-LABEL: @test_ugt_sgt_unsafe
-; CHECK: alive
-; CHECK: ret void
-define void @test_ugt_sgt_unsafe(i32 %a, i32 %b) {
-entry:
-  %cmp = icmp ugt i32 %a, %b
-  br i1 %cmp, label %if.then, label %if.end3
-
-if.then:
-  %cmp1 = icmp sgt i32 %b, %a
-  br i1 %cmp1, label %if.then2, label %if.end
-
-if.then2:
-  call void @alive()
-  br label %if.end
-
-if.end:
-  br label %if.end3
-
-if.end3:
-  ret void
-}
-
-declare void @dead()
-declare void @alive()
-- 
2.11.0