54 lines · plain
1; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>,verify<memoryssa>' -disable-output < %s 2>&1 | FileCheck %s2;3; Ensuring that external functions without attributes are MemoryDefs4 5@g = external global i326declare void @modifyG()7 8define i32 @foo(i1 %arg) {9; CHECK: MemoryUse(liveOnEntry)10; CHECK-NEXT: %1 = load i3211 %1 = load i32, ptr @g12 13; CHECK: 1 = MemoryDef(liveOnEntry)14; CHECK-NEXT: store i32 415 store i32 4, ptr @g, align 416 17; CHECK: 2 = MemoryDef(1)18; CHECK-NEXT: call void @modifyG()19 call void @modifyG()20 21; CHECK: MemoryUse(2)22; CHECK-NEXT: %2 = load i3223 %2 = load i32, ptr @g24 %3 = add i32 %2, %125 ret i32 %326}27 28declare void @readEverything() readonly29declare void @clobberEverything()30 31; CHECK-LABEL: define void @bar32define void @bar(i1 %arg) {33; CHECK: 1 = MemoryDef(liveOnEntry)34; CHECK-NEXT: call void @clobberEverything()35 call void @clobberEverything()36 br i1 %arg, label %if.end, label %if.then37 38if.then:39; CHECK: MemoryUse(1)40; CHECK-NEXT: call void @readEverything()41 call void @readEverything()42; CHECK: 2 = MemoryDef(1)43; CHECK-NEXT: call void @clobberEverything()44 call void @clobberEverything()45 br label %if.end46 47if.end:48; CHECK: 3 = MemoryPhi({%0,1},{if.then,2})49; CHECK: MemoryUse(3)50; CHECK-NEXT: call void @readEverything()51 call void @readEverything()52 ret void53}54