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

[InstCombine] Add test for GEP difference with bitcasts (NFC)

This commit is contained in:
Nikita Popov 2022-05-24 16:09:26 +02:00
parent a9a6e20012
commit 3eab6c5911
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
llvm/test/Transforms/InstCombine/sub-gep.ll
View File

@ -369,3 +369,22 @@ define i64 @gep_diff_second_inbounds(i8* %foo, i64 %i, i64 %j) {
%sub = sub i64 %cast1, %cast2
ret i64 %sub
}
define i64 @gep_diff_with_bitcast(i64* %p, i64 %idx) {
; CHECK-LABEL: @gep_diff_with_bitcast(
; CHECK-NEXT: [[I0:%.*]] = bitcast i64* [[P:%.*]] to [4 x i64]*
; CHECK-NEXT: [[I1:%.*]] = getelementptr inbounds [4 x i64], [4 x i64]* [[I0]], i64 [[IDX:%.*]]
; CHECK-NEXT: [[I3:%.*]] = ptrtoint [4 x i64]* [[I1]] to i64
; CHECK-NEXT: [[I4:%.*]] = ptrtoint i64* [[P]] to i64
; CHECK-NEXT: [[I5:%.*]] = sub nuw i64 [[I3]], [[I4]]
; CHECK-NEXT: [[I6:%.*]] = lshr i64 [[I5]], 5
; CHECK-NEXT: ret i64 [[I6]]
;
%i0 = bitcast i64* %p to [4 x i64]*
%i1 = getelementptr inbounds [4 x i64], [4 x i64]* %i0, i64 %idx
%i3 = ptrtoint [4 x i64]* %i1 to i64
%i4 = ptrtoint i64* %p to i64
%i5 = sub nuw i64 %i3, %i4
%i6 = lshr i64 %i5, 5
ret i64 %i6
}