1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 19:23:23 +01:00

[InstCombine] move tests for icmp+add; NFC

llvm-svn: 372004
This commit is contained in:
Sanjay Patel 2019-09-16 15:33:40 +00:00
parent b9bb673ebd
commit e419f46690
2 changed files with 35 additions and 22 deletions

View File

@ -1,22 +0,0 @@
; RUN: opt < %s -instcombine -S | grep "%B = add i8 %b, %x"
; PR2698
declare void @use1(i1)
declare void @use8(i8)
define void @test1(i8 %a, i8 %b, i8 %x) {
%A = add i8 %a, %x
%B = add i8 %b, %x
%C = icmp eq i8 %A, %B
call void @use1(i1 %C)
ret void
}
define void @test2(i8 %a, i8 %b, i8 %x) {
%A = add i8 %a, %x
%B = add i8 %b, %x
%C = icmp eq i8 %A, %B
call void @use1(i1 %C)
call void @use8(i8 %A)
ret void
}

View File

@ -587,3 +587,38 @@ define i1 @sum_nuw_commute(i32 %x, i32 %y) {
%c = icmp ugt i32 %x, %rhs
ret i1 %c
}
; PR2698 - https://bugs.llvm.org/show_bug.cgi?id=2698
declare void @use1(i1)
declare void @use8(i8)
define void @bzip1(i8 %a, i8 %b, i8 %x) {
; CHECK-LABEL: @bzip1(
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: call void @use1(i1 [[CMP]])
; CHECK-NEXT: ret void
;
%add1 = add i8 %a, %x
%add2 = add i8 %b, %x
%cmp = icmp eq i8 %add1, %add2
call void @use1(i1 %cmp)
ret void
}
define void @bzip2(i8 %a, i8 %b, i8 %x) {
; CHECK-LABEL: @bzip2(
; CHECK-NEXT: [[ADD1:%.*]] = add i8 [[A:%.*]], [[X:%.*]]
; CHECK-NEXT: [[ADD2:%.*]] = add i8 [[B:%.*]], [[X]]
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[ADD1]], [[ADD2]]
; CHECK-NEXT: call void @use1(i1 [[CMP]])
; CHECK-NEXT: call void @use8(i8 [[ADD1]])
; CHECK-NEXT: ret void
;
%add1 = add i8 %a, %x
%add2 = add i8 %b, %x
%cmp = icmp eq i8 %add1, %add2
call void @use1(i1 %cmp)
call void @use8(i8 %add1)
ret void
}