| ; RUN: opt -passes=load-store-vectorizer -S < %s | FileCheck %s |
| |
| target datalayout = "e-p:64:64-p1:64:64-p5:32:32" |
| |
| ; Size mismatch between the 32 bit pointer in address space 5 and 64 bit |
| ; pointer in address space 0 it was cast to caused below test to crash. |
| ; The p5:32:32 portion of the data layout is critical for the test. |
| |
| ; CHECK-LABEL: @cast_to_ptr |
| ; CHECK: store ptr undef, ptr %tmp9, align 8 |
| ; CHECK: store ptr undef, ptr %tmp7, align 8 |
| define void @cast_to_ptr() { |
| entry: |
| %ascast = addrspacecast ptr addrspace(5) null to ptr |
| %tmp4 = icmp eq i32 undef, 0 |
| %tmp6 = select i1 false, ptr undef, ptr undef |
| %tmp7 = select i1 %tmp4, ptr null, ptr %tmp6 |
| %tmp9 = select i1 %tmp4, ptr %ascast, ptr null |
| store ptr undef, ptr %tmp9, align 8 |
| store ptr undef, ptr %tmp7, align 8 |
| unreachable |
| } |
| |
| ; CHECK-LABEL: @cast_to_cast |
| ; CHECK: %tmp4 = load ptr, ptr %tmp1, align 8 |
| ; CHECK: %tmp5 = load ptr, ptr %tmp3, align 8 |
| define void @cast_to_cast() { |
| entry: |
| %a.ascast = addrspacecast ptr addrspace(5) undef to ptr |
| %b.ascast = addrspacecast ptr addrspace(5) null to ptr |
| %tmp1 = select i1 false, ptr %a.ascast, ptr undef |
| %tmp3 = select i1 false, ptr %b.ascast, ptr undef |
| %tmp4 = load ptr, ptr %tmp1, align 8 |
| %tmp5 = load ptr, ptr %tmp3, align 8 |
| unreachable |
| } |
| |
| ; CHECK-LABEL: @all_to_cast |
| ; CHECK: load <4 x float> |
| define void @all_to_cast(ptr nocapture readonly align 16 dereferenceable(16) %alloc1) { |
| entry: |
| %alloc16 = addrspacecast ptr %alloc1 to ptr addrspace(1) |
| %tmp1 = load float, ptr addrspace(1) %alloc16, align 16, !invariant.load !0 |
| %tmp6 = getelementptr inbounds i8, ptr addrspace(1) %alloc16, i64 4 |
| %tmp8 = load float, ptr addrspace(1) %tmp6, align 4, !invariant.load !0 |
| %tmp15 = getelementptr inbounds i8, ptr addrspace(1) %alloc16, i64 8 |
| %tmp17 = load float, ptr addrspace(1) %tmp15, align 8, !invariant.load !0 |
| %tmp24 = getelementptr inbounds i8, ptr addrspace(1) %alloc16, i64 12 |
| %tmp26 = load float, ptr addrspace(1) %tmp24, align 4, !invariant.load !0 |
| ret void |
| } |
| |
| ; CHECK-LABEL: @ext_ptr |
| ; CHECK: load <2 x i32> |
| define void @ext_ptr(ptr addrspace(5) %p) { |
| entry: |
| %gep2 = getelementptr inbounds i32, ptr addrspace(5) %p, i64 1 |
| %a.ascast = addrspacecast ptr addrspace(5) %p to ptr |
| %b.ascast = addrspacecast ptr addrspace(5) %gep2 to ptr |
| %tmp1 = load i32, ptr %a.ascast, align 8 |
| %tmp2 = load i32, ptr %b.ascast, align 8 |
| unreachable |
| } |
| |
| ; CHECK-LABEL: @shrink_ptr |
| ; CHECK: load <2 x i32> |
| define void @shrink_ptr(ptr %p) { |
| entry: |
| %gep2 = getelementptr inbounds i32, ptr %p, i64 1 |
| %a.ascast = addrspacecast ptr %p to ptr addrspace(5) |
| %b.ascast = addrspacecast ptr %gep2 to ptr addrspace(5) |
| %tmp1 = load i32, ptr addrspace(5) %a.ascast, align 8 |
| %tmp2 = load i32, ptr addrspace(5) %b.ascast, align 8 |
| unreachable |
| } |
| |
| ; CHECK-LABEL: @ext_ptr_wrap |
| ; CHECK: load <2 x i8> |
| define void @ext_ptr_wrap(ptr addrspace(5) %p) { |
| entry: |
| %gep2 = getelementptr inbounds i8, ptr addrspace(5) %p, i64 4294967295 |
| %a.ascast = addrspacecast ptr addrspace(5) %p to ptr |
| %b.ascast = addrspacecast ptr addrspace(5) %gep2 to ptr |
| %tmp1 = load i8, ptr %a.ascast, align 1 |
| %tmp2 = load i8, ptr %b.ascast, align 1 |
| unreachable |
| } |
| |
| !0 = !{} |