mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
[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. llvm-svn: 267170
This commit is contained in:
Chad Rosier
parent
613d1574ee
commit
aa97cc7ffd
@ -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()
|
||||
Loading…
x
Reference in New Issue
Block a user