c5037db4ac
Similar to 806761a7629df268c8aed49657aeccffa6bca449 -mtriple= specifies the full target triple while -march= merely sets the architecture part of the default target triple (e.g. Windows, macOS), leaving a target triple which may not make sense. Therefore, -march= is error-prone and not recommended for tests without a target triple. The issue has been benign as we recognize bpf*-apple-darwin as ELF instead of rejecting it outrightly.
63 lines
1.6 KiB
LLVM
63 lines
1.6 KiB
LLVM
; RUN: llc -O2 --mtriple=bpfel %s -o - | FileCheck %s
|
|
|
|
; Generated from the following C code:
|
|
;
|
|
; #define __bpf_fastcall __attribute__((bpf_fastcall))
|
|
;
|
|
; void quux(void *);
|
|
; void bar(long) __bpf_fastcall;
|
|
; void buz(long i, long j);
|
|
;
|
|
; void foo(long i, long j) {
|
|
; long k;
|
|
; bar(i);
|
|
; bar(i);
|
|
; buz(i, j);
|
|
; quux(&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.
|
|
; Check that spills/fills wrapping the call use and reuse lowest stack offsets.
|
|
|
|
define dso_local void @foo(i64 noundef %i, i64 noundef %j) {
|
|
entry:
|
|
%k = alloca i64, align 8
|
|
tail call void @bar(i64 noundef %i) #0
|
|
tail call void @bar(i64 noundef %i) #0
|
|
tail call void @buz(i64 noundef %i, i64 noundef %j)
|
|
call void @quux(ptr noundef nonnull %k)
|
|
ret void
|
|
}
|
|
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: r3 = 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 = r3
|
|
; 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 = r3
|
|
; CHECK-NEXT: call buz
|
|
; CHECK-NEXT: r1 = r10
|
|
; CHECK-NEXT: r1 += -8
|
|
; CHECK-NEXT: call quux
|
|
; CHECK-NEXT: exit
|
|
|
|
declare dso_local void @bar(i64 noundef) #0
|
|
declare dso_local void @buz(i64 noundef, i64 noundef)
|
|
declare dso_local void @quux(ptr noundef)
|
|
|
|
attributes #0 = { "bpf_fastcall" }
|