481d67d310
Currently, record arguments are always passed by reference by allocating space for record values in the caller. This is less efficient for small records which may take one or two registers. For example, for x86_64 and aarch64, for a record size up to 16 bytes, the record values can be passed by values directly on the registers. This patch added BPF support of record argument with direct values for up to 16 byte record size. If record size is 0, that record will not take any register, which is the same behavior for x86_64 and aarch64. If the record size is greater than 16 bytes, the record argument will be passed by reference. Differential Revision: https://reviews.llvm.org/D132144
109 lines
4.4 KiB
LLVM
109 lines
4.4 KiB
LLVM
; 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}
|