1; XFAIL: * 2; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s 3; RUN: opt -aa-pipeline=basic-aa -passes='print<memoryssa>' -verify-memoryssa -disable-output < %s 2>&1 | FileCheck %s 4; 5; Invariant loads should be considered live on entry, because, once the 6; location is known to be dereferenceable, the value can never change. 7; 8; Currently XFAILed because this optimization was held back from the initial 9; commit. 10 11@g = external global i32 12 13declare void @clobberAllTheThings() 14 15define i32 @foo() { 16; CHECK: 1 = MemoryDef(liveOnEntry) 17; CHECK-NEXT: call void @clobberAllTheThings() 18 call void @clobberAllTheThings() 19; CHECK: MemoryUse(liveOnEntry) 20; CHECK-NEXT: %1 = load i32 21 %1 = load i32, i32* @g, align 4, !invariant.load !0 22 ret i32 %1 23} 24 25!0 = !{} 26