[llvm] beb9993 - [MSSA] Update test with more detailed and resilient checks. [NFC]

[Alina Sbirlea via llvm-commits]

Author: Alina Sbirlea
Date: 2020-08-05T16:46:44-07:00
New Revision: beb9993d960bebc14f25538fa4b596f2d8ca75ac

URL: https://github.com/llvm/llvm-project/commit/beb9993d960bebc14f25538fa4b596f2d8ca75ac
DIFF: https://github.com/llvm/llvm-project/commit/beb9993d960bebc14f25538fa4b596f2d8ca75ac.diff

LOG: [MSSA] Update test with more detailed and resilient checks. [NFC]

Added: 
    

Modified: 
    llvm/test/Analysis/MemorySSA/pr43427.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/MemorySSA/pr43427.ll b/llvm/test/Analysis/MemorySSA/pr43427.ll
index cb8afbb3c4b0..3cb571505f73 100644
--- a/llvm/test/Analysis/MemorySSA/pr43427.ll
+++ b/llvm/test/Analysis/MemorySSA/pr43427.ll
@@ -1,10 +1,38 @@
-; RUN: opt -disable-output -loop-simplify -licm -enable-new-pm=0 -print-memoryssa -enable-mssa-loop-dependency=true < %s 2>&1 | FileCheck %s
+; RUN: opt -disable-output -licm -enable-new-pm=0 -print-memoryssa -enable-mssa-loop-dependency=true < %s 2>&1 | FileCheck %s
 ; RUN: opt -disable-output -aa-pipeline=basic-aa -passes='loop-mssa(licm),print<memoryssa>' < %s 2>&1 | FileCheck %s
 
 ; CHECK-LABEL: @f()
-; CHECK: 7 = MemoryPhi(
-; CHECK: 6 = MemoryPhi(
-; CHECK: 8 = MemoryPhi(
+
+; CHECK: lbl1:
+; CHECK-NEXT: ; [[NO4:.*]] = MemoryPhi({entry,liveOnEntry},{lbl1.backedge,[[NO9:.*]]})
+; CHECK-NEXT: ; [[NO2:.*]] = MemoryDef([[NO4]])
+; CHECK-NEXT:  call void @g()
+; CHECK-NEXT:  br i1 undef, label %for.end, label %if.else
+
+; CHECK: for.end:
+; CHECK-NEXT:  br i1 undef, label %lbl3, label %lbl2
+
+; CHECK: lbl2:
+; CHECK-NEXT: ; [[NO8:.*]] = MemoryPhi({lbl3,[[NO7:.*]]},{for.end,[[NO2]]})
+; CHECK-NEXT:  br label %lbl3
+
+; CHECK: lbl3:
+; CHECK-NEXT: [[NO7]] = MemoryPhi({lbl2,[[NO8]]},{for.end,2})
+
+; CHECK: cleanup:
+; CHECK-NEXT: MemoryUse([[NO7]]) MayAlias
+; CHECK-NEXT:  %cleanup.dest = load i32, i32* undef, align 1
+
+; CHECK: lbl1.backedge:
+; CHECK-NEXT:  [[NO9]] = MemoryPhi({cleanup,[[NO7]]},{if.else,2})
+; CHECK-NEXT:   br label %lbl1
+
+; CHECK: cleanup.cont:
+; CHECK-NEXT: ; [[NO6:.*]] = MemoryDef([[NO7]])
+; CHECK-NEXT:   store i16 undef, i16* %e, align 1
+; CHECK-NEXT:  3 = MemoryDef([[NO6]])
+; CHECK-NEXT:   call void @llvm.lifetime.end.p0i8(i64 1, i8* null)
+
 define void @f() {
 entry:
   %e = alloca i16, align 1