23 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output -memssa-check-limit=0 < %s 2>&1 | FileCheck %s2target datalayout = "e-p:32:32-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5: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"3target triple = "amdgcn"4 5@g4 = external unnamed_addr constant i8, align 16 7define signext i8 @cmp_constant(ptr %q, i8 %v) local_unnamed_addr {8entry:9 10 store i8 %v, ptr %q, align 111; CHECK: 1 = MemoryDef(liveOnEntry)12; CHECK-NEXT: store i8 %v, ptr %q, align 113 14 %0 = load i8, ptr @g4, align 115; Make sure that this load is liveOnEntry just based on the fact that @g4 is16; constant memory.17; CHECK: MemoryUse(liveOnEntry)18; CHECK-NEXT: load i8, ptr @g4, align 119 20 ret i8 %021}22 23