forked from OSchip/llvm-project
parent
8a611a858b
commit
e19fa17016
|
@ -0,0 +1,29 @@
|
|||
; RUN: opt -basicaa -print-memoryssa -verify-memoryssa -analyze < %s 2>&1 | FileCheck %s
|
||||
define void @F(i8*) {
|
||||
br i1 true, label %left, label %right
|
||||
left:
|
||||
; CHECK: 1 = MemoryDef(liveOnEntry)
|
||||
store i8 16, i8* %0
|
||||
br label %merge
|
||||
right:
|
||||
br label %merge
|
||||
|
||||
merge:
|
||||
; CHECK-NOT: 2 = MemoryPhi
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @F2(i8*) {
|
||||
br i1 true, label %left, label %right
|
||||
left:
|
||||
; CHECK: 1 = MemoryDef(liveOnEntry)
|
||||
store i8 16, i8* %0
|
||||
br label %merge
|
||||
right:
|
||||
br label %merge
|
||||
|
||||
merge:
|
||||
; CHECK: 2 = MemoryPhi({left,1},{right,liveOnEntry})
|
||||
%c = load i8, i8* %0
|
||||
ret void
|
||||
}
|
Loading…
Reference in New Issue