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

[InstCombine] add another test for gep inbounds; NFC 

llvm-svn: 374190
This commit is contained in:
Sanjay Patel 2019-10-09 17:52:26 +00:00
parent 3419e90dc1
commit 0845ac7331
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
llvm/test/Transforms/InstCombine/load-bitcast-vec.ll
View File

@ -89,6 +89,17 @@ define float @matching_scalar_smallest_deref_or_null(<4 x float>* dereferenceabl
ret float %r
}
define float @matching_scalar_smallest_deref_addrspace(<4 x float> addrspace(4)* dereferenceable(1) %p) {
; CHECK-LABEL: @matching_scalar_smallest_deref_addrspace(
; CHECK-NEXT: [[BC:%.*]] = getelementptr inbounds <4 x float>, <4 x float> addrspace(4)* [[P:%.*]], i64 0, i64 0
; CHECK-NEXT: [[R:%.*]] = load float, float addrspace(4)* [[BC]], align 16
; CHECK-NEXT: ret float [[R]]
;
%bc = bitcast <4 x float> addrspace(4)* %p to float addrspace(4)*
%r = load float, float addrspace(4)* %bc, align 16
ret float %r
}
; TODO: Is a null pointer inbounds in any address space?
define float @matching_scalar_smallest_deref_or_null_addrspace(<4 x float> addrspace(4)* dereferenceable_or_null(1) %p) {