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) MustAlias
   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, <vscale x 4 x i32>* %a
   9   %zz = load <vscale x 4 x i32>, <vscale x 4 x i32>* %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) MayAlias
  16 declare i32* @gg(<vscale x 4 x i32>* %a)
  17 define i32 @g(i32 %z, i32 *%bb) {
  18   %a = alloca <vscale x 4 x i32>
  19   %aa = getelementptr <vscale x 4 x i32>, <vscale x 4 x i32>* %a, i32 0, i32 0
  20   store i32 %z, i32* %aa
  21   %bbb = call i32* @gg(<vscale x 4 x i32>* %a) readnone
  22   %zz = load i32, i32* %bbb
  23   ret i32 %zz
  24 }