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
53
54
55
56
57
58
59
60
61
62
63
64
65
|
; RUN: opt -aa-pipeline=tbaa -passes=licm -S < %s | FileCheck %s
; LICM should be able to hoist the address load out of the loop
; by using TBAA information.
; CHECK: @foo
; CHECK: entry:
; CHECK-NEXT: %tmp3 = load ptr, ptr @P
; CHECK-NEXT: br label %for.body
@P = common global ptr null
define void @foo(i64 %n) nounwind {
entry:
br label %for.body
for.body: ; preds = %entry, %for.body
%i.07 = phi i64 [ %inc, %for.body ], [ 0, %entry ]
%tmp3 = load ptr, ptr @P, !tbaa !1
%scevgep = getelementptr double, ptr %tmp3, i64 %i.07
%tmp4 = load double, ptr %scevgep, !tbaa !2
%mul = fmul double %tmp4, 2.300000e+00
store double %mul, ptr %scevgep, !tbaa !2
%inc = add i64 %i.07, 1
%exitcond = icmp eq i64 %inc, %n
br i1 %exitcond, label %for.end, label %for.body
for.end: ; preds = %for.body, %entry
ret void
}
!0 = !{!"root"}
!1 = !{!6, !6, i64 0}
!2 = !{!7, !7, i64 0}
; LICM shouldn't hoist anything here.
; CHECK: @bar
; CHECK: loop:
; CHECK: load
; CHECK: store
; CHECK: load
; CHECK: store
; CHECK: br label %loop
define void @bar(ptr %p) nounwind {
entry:
br label %loop
loop:
%tmp51 = load ptr, ptr %p, !tbaa !4
store ptr %tmp51, ptr %p
%tmp40 = load i8, ptr %p, !tbaa !5
store i8 %tmp40, ptr %p
br label %loop
}
!3 = !{!"pointer", !8}
!4 = !{!8, !8, i64 0}
!5 = !{!10, !10, i64 0}
!6 = !{!"pointer", !0}
!7 = !{!"double", !0}
!8 = !{!"char", !9}
!9 = !{!"root"}
!10 = !{!"scalar-type", !9}
|
