38 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa,scoped-noalias-aa -passes=load-store-vectorizer -S -o - %s | FileCheck -check-prefix=SCOPE %s3; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes=load-store-vectorizer -S -o - %s | FileCheck -check-prefix=NOSCOPE %s4 5; This fails to vectorize if the !alias.scope is not used6 7define amdgpu_kernel void @vectorize_alias_scope(ptr addrspace(1) nocapture %a, ptr addrspace(1) nocapture %b, ptr addrspace(1) nocapture readonly %c) #0 {8; SCOPE-LABEL: @vectorize_alias_scope(9; SCOPE-NEXT: entry:10; SCOPE-NEXT: [[LD_C:%.*]] = load float, ptr addrspace(1) [[C:%.*]], align 4, !alias.scope !011; SCOPE-NEXT: store <2 x float> zeroinitializer, ptr addrspace(1) [[A:%.*]], align 4, !noalias !012; SCOPE-NEXT: store float [[LD_C]], ptr addrspace(1) [[B:%.*]], align 4, !noalias !013; SCOPE-NEXT: ret void14;15; NOSCOPE-LABEL: @vectorize_alias_scope(16; NOSCOPE-NEXT: entry:17; NOSCOPE-NEXT: [[A_IDX_1:%.*]] = getelementptr inbounds float, ptr addrspace(1) [[A:%.*]], i64 118; NOSCOPE-NEXT: store float 0.000000e+00, ptr addrspace(1) [[A]], align 4, !noalias !019; NOSCOPE-NEXT: [[LD_C:%.*]] = load float, ptr addrspace(1) [[C:%.*]], align 4, !alias.scope !020; NOSCOPE-NEXT: store float 0.000000e+00, ptr addrspace(1) [[A_IDX_1]], align 4, !noalias !021; NOSCOPE-NEXT: store float [[LD_C]], ptr addrspace(1) [[B:%.*]], align 4, !noalias !022; NOSCOPE-NEXT: ret void23;24entry:25 %a.idx.1 = getelementptr inbounds float, ptr addrspace(1) %a, i64 126 store float 0.0, ptr addrspace(1) %a, align 4, !noalias !027 %ld.c = load float, ptr addrspace(1) %c, align 4, !alias.scope !028 store float 0.0, ptr addrspace(1) %a.idx.1, align 4, !noalias !029 store float %ld.c, ptr addrspace(1) %b, align 4, !noalias !030 ret void31}32 33attributes #0 = { nounwind }34 35!0 = !{!1}36!1 = distinct !{!1, !2, !"some scope"}37!2 = distinct !{!2, !"some domain"}38