maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[SCCP] Fix misclassified conditions in test (NFC)

This commit is contained in:
Nikita Popov 2021-01-11 22:32:59 +01:00
parent a808d89d35
commit 00f773cf42
1 changed files with 24 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
llvm/test/Transforms/SCCP/conditions-ranges.ll
View File

@ -984,12 +984,8 @@ define void @f18_conditions_chained_and(i32 %a, i32 %b) {
; CHECK-NEXT: call void @use(i1 [[F_2]])
; CHECK-NEXT: [[F_3:%.*]] = icmp ugt i32 [[A]], 100
; CHECK-NEXT: call void @use(i1 [[F_3]])
; CHECK-NEXT: [[F_4:%.*]] = icmp eq i32 [[B]], 0
; CHECK-NEXT: call void @use(i1 [[F_3]])
; CHECK-NEXT: [[F_5:%.*]] = icmp eq i32 [[B]], 20
; CHECK-NEXT: call void @use(i1 [[F_5]])
; CHECK-NEXT: [[F_6:%.*]] = icmp ugt i32 [[B]], 100
; CHECK-NEXT: call void @use(i1 [[F_6]])
; CHECK-NEXT: [[F_4:%.*]] = icmp ugt i32 [[B]], 100
; CHECK-NEXT: call void @use(i1 [[F_4]])
; CHECK-NEXT: [[T_1:%.*]] = icmp ult i32 [[A]], 100
; CHECK-NEXT: call void @use(i1 [[T_1]])
; CHECK-NEXT: [[T_2:%.*]] = icmp ne i32 [[A]], 20
@ -1000,16 +996,20 @@ define void @f18_conditions_chained_and(i32 %a, i32 %b) {
; CHECK-NEXT: call void @use(i1 [[C_2]])
; CHECK-NEXT: [[C_3:%.*]] = icmp ugt i32 [[A]], 50
; CHECK-NEXT: call void @use(i1 [[C_3]])
; CHECK-NEXT: [[C_4:%.*]] = icmp eq i32 [[B]], 0
; CHECK-NEXT: call void @use(i1 [[C_4]])
; CHECK-NEXT: [[C_5:%.*]] = icmp eq i32 [[B]], 20
; CHECK-NEXT: call void @use(i1 [[C_5]])
; CHECK-NEXT: ret void
; CHECK: false:
; CHECK-NEXT: [[F_7:%.*]] = icmp eq i32 [[A]], 50
; CHECK-NEXT: call void @use(i1 [[F_7]])
; CHECK-NEXT: [[F_5:%.*]] = icmp eq i32 [[A]], 50
; CHECK-NEXT: call void @use(i1 [[F_5]])
; CHECK-NEXT: [[T_3:%.*]] = icmp ne i32 [[A]], 50
; CHECK-NEXT: call void @use(i1 [[T_3]])
; CHECK-NEXT: [[C_4:%.*]] = icmp eq i32 [[A]], 10
; CHECK-NEXT: call void @use(i1 [[C_4]])
; CHECK-NEXT: [[C_5:%.*]] = icmp eq i32 [[B]], 100
; CHECK-NEXT: call void @use(i1 [[C_5]])
; CHECK-NEXT: [[C_6:%.*]] = icmp eq i32 [[A]], 10
; CHECK-NEXT: call void @use(i1 [[C_6]])
; CHECK-NEXT: [[C_7:%.*]] = icmp eq i32 [[B]], 100
; CHECK-NEXT: call void @use(i1 [[C_7]])
; CHECK-NEXT: ret void
;
entry:
@ -1028,12 +1028,8 @@ true: ; %a in [21, 100)
call void @use(i1 %f.2)
%f.3 = icmp ugt i32 %a, 100
call void @use(i1 %f.3)
%f.4 = icmp eq i32 %b, 0
call void @use(i1 %f.3)
%f.5 = icmp eq i32 %b, 20
call void @use(i1 %f.5)
%f.6 = icmp ugt i32 %b, 100
call void @use(i1 %f.6)
%f.4 = icmp ugt i32 %b, 100
call void @use(i1 %f.4)
; Conditions below are true.
@ -1049,22 +1045,26 @@ true: ; %a in [21, 100)
call void @use(i1 %c.2)
%c.3 = icmp ugt i32 %a, 50
call void @use(i1 %c.3)
%c.4 = icmp eq i32 %b, 0
call void @use(i1 %c.4)
%c.5 = icmp eq i32 %b, 20
call void @use(i1 %c.5)
ret void
false:
; Conditions below are false;
%f.7 = icmp eq i32 %a, 50
call void @use(i1 %f.7)
%f.5 = icmp eq i32 %a, 50
call void @use(i1 %f.5)
; Conditions below are true;
%t.3 = icmp ne i32 %a, 50
call void @use(i1 %t.3)
; Conditions below cannot be simplified.
%c.4 = icmp eq i32 %a, 10
call void @use(i1 %c.4)
%c.5 = icmp eq i32 %b, 100
call void @use(i1 %c.5)
%c.6 = icmp eq i32 %a, 10
call void @use(i1 %c.6)
%c.7 = icmp eq i32 %b, 100
call void @use(i1 %c.7)
ret void
}