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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
; RUN: opt -O2 -mtriple=bpf-pc-linux %s | llvm-dis > %t1
; RUN: llc %t1 -o - | FileCheck %s
; Source:
; struct t1 {
; long a;
; };
; struct t2 {
; long a;
; long b;
; };
; __attribute__((always_inline))
; static long foo1(struct t2 a1, struct t1 a2, struct t1 a3, struct t1 a4,
; struct t1 a5, struct t2 a6) {
; return a1.a + a2.a + a3.a + a4.a + a5.a + a6.a;
; }
; long foo2(struct t2 a1, struct t2 a2, struct t1 a3) {
; return foo1(a1, a3, a3, a3, a3, a2);
; }
; Compilation flags:
; clang -target bpf -O2 -S -emit-llvm -Xclang -disable-llvm-passes t.c
%struct.t2 = type { i64, i64 }
%struct.t1 = type { i64 }
; Function Attrs: nounwind
define dso_local i64 @foo2([2 x i64] %a1.coerce, [2 x i64] %a2.coerce, i64 %a3.coerce) #0 {
entry:
%a1 = alloca %struct.t2, align 8
%a2 = alloca %struct.t2, align 8
%a3 = alloca %struct.t1, align 8
store [2 x i64] %a1.coerce, ptr %a1, align 8
store [2 x i64] %a2.coerce, ptr %a2, align 8
%coerce.dive = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
store i64 %a3.coerce, ptr %coerce.dive, align 8
%0 = load [2 x i64], ptr %a1, align 8
%coerce.dive1 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
%1 = load i64, ptr %coerce.dive1, align 8
%coerce.dive2 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
%2 = load i64, ptr %coerce.dive2, align 8
%coerce.dive3 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
%3 = load i64, ptr %coerce.dive3, align 8
%coerce.dive4 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
%4 = load i64, ptr %coerce.dive4, align 8
%5 = load [2 x i64], ptr %a2, align 8
%call = call i64 @foo1([2 x i64] %0, i64 %1, i64 %2, i64 %3, i64 %4, [2 x i64] %5)
ret i64 %call
; CHECK: r0 = r3
; CHECK-NEXT: r0 += r1
; CHECK-NEXT: r5 <<= 2
; CHECK-NEXT: r0 += r5
; CHECK-NEXT: exit
}
; Function Attrs: alwaysinline nounwind
define internal i64 @foo1([2 x i64] %a1.coerce, i64 %a2.coerce, i64 %a3.coerce, i64 %a4.coerce, i64 %a5.coerce, [2 x i64] %a6.coerce) #1 {
entry:
%a1 = alloca %struct.t2, align 8
%a2 = alloca %struct.t1, align 8
%a3 = alloca %struct.t1, align 8
%a4 = alloca %struct.t1, align 8
%a5 = alloca %struct.t1, align 8
%a6 = alloca %struct.t2, align 8
store [2 x i64] %a1.coerce, ptr %a1, align 8
%coerce.dive = getelementptr inbounds %struct.t1, ptr %a2, i32 0, i32 0
store i64 %a2.coerce, ptr %coerce.dive, align 8
%coerce.dive1 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
store i64 %a3.coerce, ptr %coerce.dive1, align 8
%coerce.dive2 = getelementptr inbounds %struct.t1, ptr %a4, i32 0, i32 0
store i64 %a4.coerce, ptr %coerce.dive2, align 8
%coerce.dive3 = getelementptr inbounds %struct.t1, ptr %a5, i32 0, i32 0
store i64 %a5.coerce, ptr %coerce.dive3, align 8
store [2 x i64] %a6.coerce, ptr %a6, align 8
%a = getelementptr inbounds %struct.t2, ptr %a1, i32 0, i32 0
%0 = load i64, ptr %a, align 8, !tbaa !3
%a7 = getelementptr inbounds %struct.t1, ptr %a2, i32 0, i32 0
%1 = load i64, ptr %a7, align 8, !tbaa !8
%add = add nsw i64 %0, %1
%a8 = getelementptr inbounds %struct.t1, ptr %a3, i32 0, i32 0
%2 = load i64, ptr %a8, align 8, !tbaa !8
%add9 = add nsw i64 %add, %2
%a10 = getelementptr inbounds %struct.t1, ptr %a4, i32 0, i32 0
%3 = load i64, ptr %a10, align 8, !tbaa !8
%add11 = add nsw i64 %add9, %3
%a12 = getelementptr inbounds %struct.t1, ptr %a5, i32 0, i32 0
%4 = load i64, ptr %a12, align 8, !tbaa !8
%add13 = add nsw i64 %add11, %4
%a14 = getelementptr inbounds %struct.t2, ptr %a6, i32 0, i32 0
%5 = load i64, ptr %a14, align 8, !tbaa !3
%add15 = add nsw i64 %add13, %5
ret i64 %add15
}
attributes #0 = { nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
attributes #1 = { alwaysinline nounwind "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }
!llvm.module.flags = !{!0, !1}
!llvm.ident = !{!2}
!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 7, !"frame-pointer", i32 2}
!2 = !{!"clang version 16.0.0 (https://github.com/llvm/llvm-project.git 9385660f4ca87d074410a84df89faca313afcb5a)"}
!3 = !{!4, !5, i64 0}
!4 = !{!"t2", !5, i64 0, !5, i64 8}
!5 = !{!"long", !6, i64 0}
!6 = !{!"omnipotent char", !7, i64 0}
!7 = !{!"Simple C/C++ TBAA"}
!8 = !{!9, !5, i64 0}
!9 = !{!"t1", !5, i64 0}
|
