RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 19:42:54 +02:00
Code Issues Projects Releases Wiki Activity

[InstCombine] icmp-logical.ll: restore the original intention of the test.

Browse Source 
While that fold is clearly not happening [anymore],
we do now have separate test cases for these cases,
so we should be ok to slightly adjust these tests
to not potentially loose test coverage.

As suggested by Hiroshi Yamauchi in
https://reviews.llvm.org/D49179#1159345

llvm-svn: 336912
This commit is contained in:
Roman Lebedev 2018-07-12 14:56:17 +00:00
parent 74637ece7d
commit ebc4a96cce
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/Transforms/InstCombine/icmp-logical.ll
View File

@ -59,15 +59,13 @@ define i1 @masked_or_allones(i32 %A) {
define i1 @masked_and_notA(i32 %A) {
; CHECK-LABEL: @masked_and_notA(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt i32 [[A:%.*]], 7
; CHECK-NEXT: [[MASK2:%.*]] = and i32 [[A]], 39
; CHECK-NEXT: [[MASK2:%.*]] = and i32 [[A:%.*]], 78
; CHECK-NEXT: [[TST2:%.*]] = icmp ne i32 [[MASK2]], [[A]]
; CHECK-NEXT: [[RES:%.*]] = and i1 [[TMP1]], [[TST2]]
; CHECK-NEXT: ret i1 [[RES]]
; CHECK-NEXT: ret i1 [[TST2]]
;
%mask1 = and i32 %A, 7
%mask1 = and i32 %A, 14
%tst1 = icmp ne i32 %mask1, %A
%mask2 = and i32 %A, 39
%mask2 = and i32 %A, 78
%tst2 = icmp ne i32 %mask2, %A
%res = and i1 %tst1, %tst2
ret i1 %res
@ -90,15 +88,13 @@ define i1 @masked_and_notA_slightly_optimized(i32 %A) {
define i1 @masked_or_A(i32 %A) {
; CHECK-LABEL: @masked_or_A(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[A:%.*]], 8
; CHECK-NEXT: [[MASK2:%.*]] = and i32 [[A]], 39
; CHECK-NEXT: [[MASK2:%.*]] = and i32 [[A:%.*]], 78
; CHECK-NEXT: [[TST2:%.*]] = icmp eq i32 [[MASK2]], [[A]]
; CHECK-NEXT: [[RES:%.*]] = or i1 [[TMP1]], [[TST2]]
; CHECK-NEXT: ret i1 [[RES]]
; CHECK-NEXT: ret i1 [[TST2]]
;
%mask1 = and i32 %A, 7
%mask1 = and i32 %A, 14
%tst1 = icmp eq i32 %mask1, %A
%mask2 = and i32 %A, 39
%mask2 = and i32 %A, 78
%tst2 = icmp eq i32 %mask2, %A
%res = or i1 %tst1, %tst2
ret i1 %res