llvm/test/Analysis/MemorySSA/scalable-vec.ll

   1 ; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK-LABEL: define <vscale x 4 x i32> @f(
   4 ; CHECK: 1 = MemoryDef(liveOnEntry)
   5 ; CHECK: MemoryUse(1)
   6 define <vscale x 4 x i32> @f(<vscale x 4 x i32> %z) {
   7   %a = alloca <vscale x 4 x i32>
   8   store <vscale x 4 x i32> %z, ptr %a
   9   %zz = load <vscale x 4 x i32>, ptr %a
  10   ret <vscale x 4 x i32> %zz
  11 }
  12
  13 ; CHECK-LABEL: define i32 @g(
  14 ; CHECK: 1 = MemoryDef(liveOnEntry)
  15 ; CHECK: MemoryUse(1)
  16 declare ptr @gg(ptr %a)
  17 define i32 @g(i32 %z, ptr %bb) {
  18   %a = alloca <vscale x 4 x i32>
  19   store i32 %z, ptr %a
  20   %bbb = call ptr @gg(ptr %a) readnone
  21   %zz = load i32, ptr %bbb
  22   ret i32 %zz
  23 }