test/Transforms/LoadStoreVectorizer/AMDGPU/interleaved-mayalias-store.ll

   1 ; RUN: opt -mtriple=amdgcn-amd-amdhsa -basicaa -load-store-vectorizer -S -o - %s | FileCheck %s
   2 ; RUN: opt -mtriple=amdgcn-amd-amdhsa -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' -S -o - %s | FileCheck %s
   3
   4 target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5"
   5
   6 ; This is NOT OK to vectorize, as either load may alias either store.
   7
   8 ; CHECK: load double
   9 ; CHECK: store double 0.000000e+00, double addrspace(1)* %a,
  10 ; CHECK: load double
  11 ; CHECK: store double 0.000000e+00, double addrspace(1)* %a.idx.1
  12 define amdgpu_kernel void @interleave(double addrspace(1)* nocapture %a, double addrspace(1)* nocapture %b, double addrspace(1)* nocapture readonly %c) #0 {
  13 entry:
  14   %a.idx.1 = getelementptr inbounds double, double addrspace(1)* %a, i64 1
  15   %c.idx.1 = getelementptr inbounds double, double addrspace(1)* %c, i64 1
  16
  17   %ld.c = load double, double addrspace(1)* %c, align 8 ; may alias store to %a
  18   store double 0.0, double addrspace(1)* %a, align 8
  19
  20   %ld.c.idx.1 = load double, double addrspace(1)* %c.idx.1, align 8 ; may alias store to %a
  21   store double 0.0, double addrspace(1)* %a.idx.1, align 8
  22
  23   %add = fadd double %ld.c, %ld.c.idx.1
  24   store double %add, double addrspace(1)* %b
  25
  26   ret void
  27 }
  28
  29 attributes #0 = { nounwind }