[AliasAnalysis] Misc fixes for checking aliasing with scalable types.
[lldb.git] / llvm / test / Analysis / MemorySSA / scalable-vec.ll
1 ; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
2 ; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s
3
4 ; CHECK-LABEL: define <vscale x 4 x i32> @f(
5 ; CHECK: 1 = MemoryDef(liveOnEntry)
6 ; CHECK: MemoryUse(1) MustAlias
7 define <vscale x 4 x i32> @f(<vscale x 4 x i32> %z) {
8   %a = alloca <vscale x 4 x i32>
9   store <vscale x 4 x i32> %z, <vscale x 4 x i32>* %a
10   %zz = load <vscale x 4 x i32>, <vscale x 4 x i32>* %a
11   ret <vscale x 4 x i32> %zz
12 }
13
14 ; CHECK-LABEL: define i32 @g(
15 ; CHECK: 1 = MemoryDef(liveOnEntry)
16 ; CHECK: MemoryUse(1) MayAlias
17 declare i32* @gg(<vscale x 4 x i32>* %a)
18 define i32 @g(i32 %z, i32 *%bb) {
19   %a = alloca <vscale x 4 x i32>
20   %aa = getelementptr <vscale x 4 x i32>, <vscale x 4 x i32>* %a, i32 0, i32 0
21   store i32 %z, i32* %aa
22   %bbb = call i32* @gg(<vscale x 4 x i32>* %a) readnone
23   %zz = load i32, i32* %bbb
24   ret i32 %zz
25 }