1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
; 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
}
; Ensure we treat def-only blocks as though they have uses for phi placement.
; CHECK-LABEL: define void @F3
define void @F3() {
%a = alloca i8
; CHECK: 1 = MemoryDef(liveOnEntry)
; CHECK-NEXT: store i8 0, i8* %a
store i8 0, i8* %a
br i1 undef, label %if.then, label %if.end
if.then:
; CHECK: 2 = MemoryDef(1)
; CHECK-NEXT: store i8 1, i8* %a
store i8 1, i8* %a
br label %if.end
if.end:
; CHECK: 4 = MemoryPhi({%0,1},{if.then,2})
; CHECK: 3 = MemoryDef(4)
; CHECK-NEXT: store i8 2, i8* %a
store i8 2, i8* %a
ret void
}
|
