[llvm] r267170 - [SimplifyCFG] Simplify code review by temporarily removing this test file.
Chad Rosier via llvm-commits
llvm-commits at lists.llvm.org
Fri Apr 22 10:14:09 PDT 2016
Author: mcrosier
Date: Fri Apr 22 12:14:08 2016
New Revision: 267170
URL: http://llvm.org/viewvc/llvm-project?rev=267170&view=rev
Log:
[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.
Removed:
llvm/trunk/test/Transforms/SimplifyCFG/implied-cond-matching.ll
Removed: llvm/trunk/test/Transforms/SimplifyCFG/implied-cond-matching.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/SimplifyCFG/implied-cond-matching.ll?rev=267169&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/SimplifyCFG/implied-cond-matching.ll (original)
+++ llvm/trunk/test/Transforms/SimplifyCFG/implied-cond-matching.ll (removed)
@@ -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()
More information about the llvm-commits
mailing list