24 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s2 3; CHECK-LABEL: define <vscale x 4 x i32> @f(4; CHECK: 1 = MemoryDef(liveOnEntry)5; CHECK: MemoryUse(1)6define <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 %a9 %zz = load <vscale x 4 x i32>, ptr %a10 ret <vscale x 4 x i32> %zz11}12 13; CHECK-LABEL: define i32 @g(14; CHECK: 1 = MemoryDef(liveOnEntry)15; CHECK: MemoryUse(1)16declare ptr @gg(ptr %a)17define i32 @g(i32 %z, ptr %bb) {18 %a = alloca <vscale x 4 x i32>19 store i32 %z, ptr %a20 %bbb = call ptr @gg(ptr %a) readnone21 %zz = load i32, ptr %bbb22 ret i32 %zz23}24