77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 ; RUN: llc %s -march arm64 -o - | FileCheck %s
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 @a = common global i32* null, align 8
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 define void @test(i32 %i, i32 %j) nounwind ssp {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 entry:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 ; CHECK: @test
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 %j.addr = alloca i32, align 4
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 store i32 %j, i32* %j.addr, align 4, !tbaa !0
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 %tmp = bitcast i32* %j.addr to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 ; CHECK: prfum pldl1strm
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 call void @llvm.prefetch(i8* %tmp, i32 0, i32 0, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 ; CHECK: prfum pldl3keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 call void @llvm.prefetch(i8* %tmp, i32 0, i32 1, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 ; CHECK: prfum pldl2keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 call void @llvm.prefetch(i8* %tmp, i32 0, i32 2, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 ; CHECK: prfum pldl1keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 call void @llvm.prefetch(i8* %tmp, i32 0, i32 3, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 ; CHECK: prfum plil1strm
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 call void @llvm.prefetch(i8* %tmp, i32 0, i32 0, i32 0)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 ; CHECK: prfum plil3keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 call void @llvm.prefetch(i8* %tmp, i32 0, i32 1, i32 0)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 ; CHECK: prfum plil2keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 call void @llvm.prefetch(i8* %tmp, i32 0, i32 2, i32 0)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 ; CHECK: prfum plil1keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27 call void @llvm.prefetch(i8* %tmp, i32 0, i32 3, i32 0)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 ; CHECK: prfum pstl1strm
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 call void @llvm.prefetch(i8* %tmp, i32 1, i32 0, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31 ; CHECK: prfum pstl3keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 call void @llvm.prefetch(i8* %tmp, i32 1, i32 1, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33 ; CHECK: prfum pstl2keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34 call void @llvm.prefetch(i8* %tmp, i32 1, i32 2, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 ; CHECK: prfum pstl1keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 call void @llvm.prefetch(i8* %tmp, i32 1, i32 3, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37
|
95
|
38 %tmp1 = load i32, i32* %j.addr, align 4, !tbaa !0
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 %add = add nsw i32 %tmp1, %i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 %idxprom = sext i32 %add to i64
|
95
|
41 %tmp2 = load i32*, i32** @a, align 8, !tbaa !3
|
|
42 %arrayidx = getelementptr inbounds i32, i32* %tmp2, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 %tmp3 = bitcast i32* %arrayidx to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 ; CHECK: prfm pldl1strm
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46 call void @llvm.prefetch(i8* %tmp3, i32 0, i32 0, i32 1)
|
95
|
47 %tmp4 = load i32*, i32** @a, align 8, !tbaa !3
|
|
48 %arrayidx3 = getelementptr inbounds i32, i32* %tmp4, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 %tmp5 = bitcast i32* %arrayidx3 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 ; CHECK: prfm pldl3keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 call void @llvm.prefetch(i8* %tmp5, i32 0, i32 1, i32 1)
|
95
|
53 %tmp6 = load i32*, i32** @a, align 8, !tbaa !3
|
|
54 %arrayidx6 = getelementptr inbounds i32, i32* %tmp6, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 %tmp7 = bitcast i32* %arrayidx6 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 ; CHECK: prfm pldl2keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 call void @llvm.prefetch(i8* %tmp7, i32 0, i32 2, i32 1)
|
95
|
59 %tmp8 = load i32*, i32** @a, align 8, !tbaa !3
|
|
60 %arrayidx9 = getelementptr inbounds i32, i32* %tmp8, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 %tmp9 = bitcast i32* %arrayidx9 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 ; CHECK: prfm pldl1keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 call void @llvm.prefetch(i8* %tmp9, i32 0, i32 3, i32 1)
|
95
|
65 %tmp10 = load i32*, i32** @a, align 8, !tbaa !3
|
|
66 %arrayidx12 = getelementptr inbounds i32, i32* %tmp10, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 %tmp11 = bitcast i32* %arrayidx12 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 ; CHECK: prfm plil1strm
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 call void @llvm.prefetch(i8* %tmp11, i32 0, i32 0, i32 0)
|
95
|
72 %tmp12 = load i32*, i32** @a, align 8, !tbaa !3
|
|
73 %arrayidx15 = getelementptr inbounds i32, i32* %tmp12, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 %tmp13 = bitcast i32* %arrayidx3 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 ; CHECK: prfm plil3keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 call void @llvm.prefetch(i8* %tmp13, i32 0, i32 1, i32 0)
|
95
|
78 %tmp14 = load i32*, i32** @a, align 8, !tbaa !3
|
|
79 %arrayidx18 = getelementptr inbounds i32, i32* %tmp14, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 %tmp15 = bitcast i32* %arrayidx6 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
82 ; CHECK: prfm plil2keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 call void @llvm.prefetch(i8* %tmp15, i32 0, i32 2, i32 0)
|
95
|
84 %tmp16 = load i32*, i32** @a, align 8, !tbaa !3
|
|
85 %arrayidx21 = getelementptr inbounds i32, i32* %tmp16, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 %tmp17 = bitcast i32* %arrayidx9 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88 ; CHECK: prfm plil1keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 call void @llvm.prefetch(i8* %tmp17, i32 0, i32 3, i32 0)
|
95
|
90 %tmp18 = load i32*, i32** @a, align 8, !tbaa !3
|
|
91 %arrayidx24 = getelementptr inbounds i32, i32* %tmp18, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
92 %tmp19 = bitcast i32* %arrayidx12 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
94
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95 ; CHECK: prfm pstl1strm
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 call void @llvm.prefetch(i8* %tmp19, i32 1, i32 0, i32 1)
|
95
|
97 %tmp20 = load i32*, i32** @a, align 8, !tbaa !3
|
|
98 %arrayidx27 = getelementptr inbounds i32, i32* %tmp20, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 %tmp21 = bitcast i32* %arrayidx15 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
100
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
101 ; CHECK: prfm pstl3keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 call void @llvm.prefetch(i8* %tmp21, i32 1, i32 1, i32 1)
|
95
|
103 %tmp22 = load i32*, i32** @a, align 8, !tbaa !3
|
|
104 %arrayidx30 = getelementptr inbounds i32, i32* %tmp22, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
105 %tmp23 = bitcast i32* %arrayidx18 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
106
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107 ; CHECK: prfm pstl2keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
108 call void @llvm.prefetch(i8* %tmp23, i32 1, i32 2, i32 1)
|
95
|
109 %tmp24 = load i32*, i32** @a, align 8, !tbaa !3
|
|
110 %arrayidx33 = getelementptr inbounds i32, i32* %tmp24, i64 %idxprom
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
111 %tmp25 = bitcast i32* %arrayidx21 to i8*
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113 ; CHECK: prfm pstl1keep
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
114 call void @llvm.prefetch(i8* %tmp25, i32 1, i32 3, i32 1)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
115 ret void
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
116 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
117
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
118 declare void @llvm.prefetch(i8* nocapture, i32, i32, i32) nounwind
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119
|
83
|
120 !0 = !{!"int", !1}
|
|
121 !1 = !{!"omnipotent char", !2}
|
|
122 !2 = !{!"Simple C/C++ TBAA"}
|
|
123 !3 = !{!"any pointer", !1}
|