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

[InstCombine] Add bswap tests from funnel shift intrinsics 

Based on (WIP) patch in D87452 - I'm intending to add the intrinsics handling to collectBitParts as a separate patch to make the changes clearer.
This commit is contained in:
Simon Pilgrim 2020-09-25 12:32:08 +01:00
parent d224175230
commit 852447650c
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
llvm/test/Transforms/InstCombine/bswap.ll
View File

@ -307,3 +307,44 @@ define i32 @shuf_2bytes_widening(<2 x i8> %x) {
%cast = bitcast <4 x i8> %bswap to i32
ret i32 %cast
}
declare i32 @llvm.fshl.i32(i32, i32, i32)
declare i32 @llvm.fshr.i32(i32, i32, i32)
define i32 @funnel_unary(i32 %abcd) {
; CHECK-LABEL: @funnel_unary(
; CHECK-NEXT: [[DABC:%.*]] = call i32 @llvm.fshl.i32(i32 [[ABCD:%.*]], i32 [[ABCD]], i32 24)
; CHECK-NEXT: [[BCDA:%.*]] = call i32 @llvm.fshl.i32(i32 [[ABCD]], i32 [[ABCD]], i32 8)
; CHECK-NEXT: [[DZBZ:%.*]] = and i32 [[DABC]], -16711936
; CHECK-NEXT: [[ZCZA:%.*]] = and i32 [[BCDA]], 16711935
; CHECK-NEXT: [[DCBA:%.*]] = or i32 [[DZBZ]], [[ZCZA]]
; CHECK-NEXT: ret i32 [[DCBA]]
;
%dabc = call i32 @llvm.fshl.i32(i32 %abcd, i32 %abcd, i32 24)
%bcda = call i32 @llvm.fshr.i32(i32 %abcd, i32 %abcd, i32 24)
%dzbz = and i32 %dabc, -16711936
%zcza = and i32 %bcda, 16711935
%dcba = or i32 %dzbz, %zcza
ret i32 %dcba
}
define i32 @funnel_binary(i32 %abcd) {
; CHECK-LABEL: @funnel_binary(
; CHECK-NEXT: [[CDZZ:%.*]] = shl i32 [[ABCD:%.*]], 16
; CHECK-NEXT: [[DCDZ:%.*]] = call i32 @llvm.fshl.i32(i32 [[ABCD]], i32 [[CDZZ]], i32 24)
; CHECK-NEXT: [[ZZAB:%.*]] = lshr i32 [[ABCD]], 16
; CHECK-NEXT: [[ZABA:%.*]] = call i32 @llvm.fshl.i32(i32 [[ZZAB]], i32 [[ABCD]], i32 8)
; CHECK-NEXT: [[DCZZ:%.*]] = and i32 [[DCDZ]], -65536
; CHECK-NEXT: [[ZZBA:%.*]] = and i32 [[ZABA]], 65535
; CHECK-NEXT: [[DCBA:%.*]] = or i32 [[DCZZ]], [[ZZBA]]
; CHECK-NEXT: ret i32 [[DCBA]]
;
%cdzz = shl i32 %abcd, 16
%dcdz = call i32 @llvm.fshl.i32(i32 %abcd, i32 %cdzz, i32 24)
%zzab = lshr i32 %abcd, 16
%zaba = call i32 @llvm.fshr.i32(i32 %zzab, i32 %abcd, i32 24)
%dczz = and i32 %dcdz, -65536
%zzba = and i32 %zaba, 65535
%dcba = or i32 %dczz, %zzba
ret i32 %dcba
}