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
|
; RUN: llc -O2 --mtriple=bpfel %s -o - | FileCheck %s
; Generated from the following C code:
;
; #define __bpf_fastcall __attribute__((bpf_fastcall))
;
; void bar(void) __bpf_fastcall;
; void buz(long i, long j, long k);
;
; void foo(long i, long j, long k) {
; bar();
; buz(i, j, k);
; }
;
; Using the following command:
;
; clang --target=bpf -emit-llvm -O2 -S -o - t.c
;
; (unnecessary attrs removed maually)
; Check that function marked with bpf_fastcall does not clobber R1-R5.
define dso_local void @foo(i64 noundef %i, i64 noundef %j, i64 noundef %k) {
entry:
tail call void @bar() #1
tail call void @buz(i64 noundef %i, i64 noundef %j, i64 noundef %k)
ret void
}
; CHECK: foo:
; CHECK: # %bb.0:
; CHECK-NEXT: *(u64 *)(r10 - 8) = r1
; CHECK-NEXT: *(u64 *)(r10 - 16) = r2
; CHECK-NEXT: *(u64 *)(r10 - 24) = r3
; CHECK-NEXT: call bar
; CHECK-NEXT: r3 = *(u64 *)(r10 - 24)
; CHECK-NEXT: r2 = *(u64 *)(r10 - 16)
; CHECK-NEXT: r1 = *(u64 *)(r10 - 8)
; CHECK-NEXT: call buz
; CHECK-NEXT: exit
declare dso_local void @bar() #0
declare dso_local void @buz(i64 noundef, i64 noundef, i64 noundef)
attributes #0 = { "bpf_fastcall" }
attributes #1 = { nounwind "bpf_fastcall" }
|
