1*72e7e585SArthur Eubanks; RUN: opt -aa-pipeline=basic-aa,tbaa -passes='print<memoryssa><no-ensure-optimized-uses>' -disable-output < %s 2>&1 | FileCheck %s 2*72e7e585SArthur Eubanks 3*72e7e585SArthur Eubanksdefine i8 @test1_yes(ptr %a, ptr %b) { 4*72e7e585SArthur Eubanks; CHECK: 1 = MemoryDef(liveOnEntry) 5*72e7e585SArthur Eubanks store i8 0, ptr %a, align 1 6*72e7e585SArthur Eubanks; CHECK: MemoryUse(liveOnEntry) 7*72e7e585SArthur Eubanks %y = load i8, ptr %b, align 1, !tbaa !0 8*72e7e585SArthur Eubanks ret i8 %y 9*72e7e585SArthur Eubanks} 10*72e7e585SArthur Eubanks 11*72e7e585SArthur Eubanks!0 = !{!1, !1, i64 0, i1 true} 12*72e7e585SArthur Eubanks!1 = !{!"qux", !2} 13*72e7e585SArthur Eubanks!2 = !{} 14