[PATCH] D68706: [InstCombine] don't assume 'inbounds' for bitcast deref or null pointer in non-default address space

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D68706#1701915 <https://reviews.llvm.org/D68706#1701915>, @jdoerfert wrote:

> Can you add the test I provided as well?


Did I miss a message? I copy/pasted at line 92 of the test file (no diff from the code change):

  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
  }


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D68706/new/

https://reviews.llvm.org/D68706