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 ; Invariant loads should be considered live on entry, because, once the 5 ; location is known to be dereferenceable, the value can never change. 6 7 @g = external global i32 8 9 declare void @clobberAllTheThings() 10 11 ; CHECK-LABEL: define i32 @foo 12 define i32 @foo() { 13 ; CHECK: 1 = MemoryDef(liveOnEntry) 14 ; CHECK-NEXT: call void @clobberAllTheThings() 15 call void @clobberAllTheThings() 16 ; CHECK: MemoryUse(liveOnEntry) 17 ; CHECK-NEXT: %1 = load i32 18 %1 = load i32, i32* @g, align 4, !invariant.load !0 19 ret i32 %1 20 } 21 22 ; CHECK-LABEL: define i32 @bar 23 define i32 @bar(i32* %a) { 24 ; CHECK: 1 = MemoryDef(liveOnEntry) 25 ; CHECK-NEXT: call void @clobberAllTheThings() 26 call void @clobberAllTheThings() 27 28 ; CHECK: 2 = MemoryDef(1) 29 ; CHECK-NEXT: %1 = load atomic i32 30 %1 = load atomic i32, i32* %a acquire, align 4, !invariant.load !0 31 32 ; CHECK: MemoryUse(2) 33 ; CHECK-NEXT: %2 = load i32 34 %2 = load i32, i32* %a, align 4 35 ret i32 %2 36 } 37 38 !0 = !{} 39
