replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[InstCombine] add more extra use tests for icmp with extends; NFC 

llvm-svn: 369447
This commit is contained in:
Sanjay Patel 2019-08-20 21:23:28 +00:00
parent 08a5a0aa25
commit d5035727ad
1 changed files with 34 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
llvm/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll
View File

@ -425,8 +425,8 @@ define i1 @different_size_sext_zext_ne(i7 %x, i4 %y) {
declare void @use(i25)
define i1 @different_size_sext_sext_ule_extra_use(i7 %x, i4 %y) {
; CHECK-LABEL: @different_size_sext_sext_ule_extra_use(
define i1 @different_size_sext_sext_ule_extra_use1(i7 %x, i4 %y) {
; CHECK-LABEL: @different_size_sext_sext_ule_extra_use1(
; CHECK-NEXT: [[SX:%.*]] = sext i7 [[X:%.*]] to i25
; CHECK-NEXT: [[SY:%.*]] = sext i4 [[Y:%.*]] to i25
; CHECK-NEXT: call void @use(i25 [[SY]])
@ -439,3 +439,35 @@ define i1 @different_size_sext_sext_ule_extra_use(i7 %x, i4 %y) {
%r = icmp ule i25 %sx, %sy
ret i1 %r
}
define i1 @different_size_sext_sext_ule_extra_use2(i7 %x, i4 %y) {
; CHECK-LABEL: @different_size_sext_sext_ule_extra_use2(
; CHECK-NEXT: [[SX:%.*]] = sext i7 [[X:%.*]] to i25
; CHECK-NEXT: call void @use(i25 [[SX]])
; CHECK-NEXT: [[SY:%.*]] = sext i4 [[Y:%.*]] to i25
; CHECK-NEXT: [[R:%.*]] = icmp ule i25 [[SX]], [[SY]]
; CHECK-NEXT: ret i1 [[R]]
;
%sx = sext i7 %x to i25
call void @use(i25 %sx)
%sy = sext i4 %y to i25
%r = icmp ule i25 %sx, %sy
ret i1 %r
}
define i1 @different_size_sext_sext_ule_extra_use3(i7 %x, i4 %y) {
; CHECK-LABEL: @different_size_sext_sext_ule_extra_use3(
; CHECK-NEXT: [[SX:%.*]] = sext i7 [[X:%.*]] to i25
; CHECK-NEXT: call void @use(i25 [[SX]])
; CHECK-NEXT: [[SY:%.*]] = sext i4 [[Y:%.*]] to i25
; CHECK-NEXT: call void @use(i25 [[SY]])
; CHECK-NEXT: [[R:%.*]] = icmp ule i25 [[SX]], [[SY]]
; CHECK-NEXT: ret i1 [[R]]
;
%sx = sext i7 %x to i25
call void @use(i25 %sx)
%sy = sext i4 %y to i25
call void @use(i25 %sy)
%r = icmp ule i25 %sx, %sy
ret i1 %r
}