RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00
Code Issues Projects Releases Wiki Activity

[InstCombine] Uncomment two test cases that were commented out with a TODO about them not optimizing.

Browse Source 
If we can't see the current code how will we ever know if they get fixed or even what the problem is?

llvm-svn: 311985
This commit is contained in:
Craig Topper 2017-08-29 07:08:39 +00:00
parent a5c8816e74
commit 65a3350eeb
1 changed files with 28 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
test/Transforms/InstCombine/compare-signs.ll
View File

@ -3,24 +3,36 @@
; PR5438
; TODO: This should also optimize down.
;define i32 @test1(i32 %a, i32 %b) nounwind readnone {
;entry:
; %0 = icmp sgt i32 %a, -1
; %1 = icmp slt i32 %b, 0
; %2 = xor i1 %1, %0
; %3 = zext i1 %2 to i32
; ret i32 %3
;}
define i32 @test1(i32 %a, i32 %b) nounwind readnone {
; CHECK-LABEL: @test1(
; CHECK-NEXT: [[T0:%.*]] = icmp sgt i32 [[A:%.*]], -1
; CHECK-NEXT: [[T1:%.*]] = icmp slt i32 [[B:%.*]], 0
; CHECK-NEXT: [[T2:%.*]] = xor i1 [[T1]], [[T0]]
; CHECK-NEXT: [[T3:%.*]] = zext i1 [[T2]] to i32
; CHECK-NEXT: ret i32 [[T3]]
;
%t0 = icmp sgt i32 %a, -1
%t1 = icmp slt i32 %b, 0
%t2 = xor i1 %t1, %t0
%t3 = zext i1 %t2 to i32
ret i32 %t3
}
; TODO: This optimizes partially but not all the way.
;define i32 @test2(i32 %a, i32 %b) nounwind readnone {
;entry:
; %0 = and i32 %a, 8
; %1 = and i32 %b, 8
; %2 = icmp eq i32 %0, %1
; %3 = zext i1 %2 to i32
; ret i32 %3
;}
define i32 @test2(i32 %a, i32 %b) nounwind readnone {
; CHECK-LABEL: @test2(
; CHECK-NEXT: [[TMP1:%.*]] = xor i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = lshr i32 [[TMP1]], 3
; CHECK-NEXT: [[DOTLOBIT:%.*]] = and i32 [[TMP2]], 1
; CHECK-NEXT: [[TMP3:%.*]] = xor i32 [[DOTLOBIT]], 1
; CHECK-NEXT: ret i32 [[TMP3]]
;
%t0 = and i32 %a, 8
%t1 = and i32 %b, 8
%t2 = icmp eq i32 %t0, %t1
%t3 = zext i1 %t2 to i32
ret i32 %t3
}
define i32 @test3(i32 %a, i32 %b) nounwind readnone {
; CHECK-LABEL: @test3(