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 ; Ensuring that external functions without attributes are MemoryDefs 5 6 @g = external global i32 7 declare void @modifyG() 8 9 define i32 @foo() { 10 ; CHECK: MemoryUse(liveOnEntry) 11 ; CHECK-NEXT: %1 = load i32 12 %1 = load i32, i32* @g 13 14 ; CHECK: 1 = MemoryDef(liveOnEntry) 15 ; CHECK-NEXT: store i32 4 16 store i32 4, i32* @g, align 4 17 18 ; CHECK: 2 = MemoryDef(1) 19 ; CHECK-NEXT: call void @modifyG() 20 call void @modifyG() 21 22 ; CHECK: MemoryUse(2) 23 ; CHECK-NEXT: %2 = load i32 24 %2 = load i32, i32* @g 25 %3 = add i32 %2, %1 26 ret i32 %3 27 } 28 29 declare void @readEverything() readonly 30 declare void @clobberEverything() 31 32 ; CHECK-LABEL: define void @bar 33 define void @bar() { 34 ; CHECK: 1 = MemoryDef(liveOnEntry) 35 ; CHECK-NEXT: call void @clobberEverything() 36 call void @clobberEverything() 37 br i1 undef, label %if.end, label %if.then 38 39 if.then: 40 ; CHECK: MemoryUse(1) 41 ; CHECK-NEXT: call void @readEverything() 42 call void @readEverything() 43 ; CHECK: 2 = MemoryDef(1) 44 ; CHECK-NEXT: call void @clobberEverything() 45 call void @clobberEverything() 46 br label %if.end 47 48 if.end: 49 ; CHECK: 3 = MemoryPhi({%0,1},{if.then,2}) 50 ; CHECK: MemoryUse(3) 51 ; CHECK-NEXT: call void @readEverything() 52 call void @readEverything() 53 ret void 54 } 55
