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.
47 lines
1.2 KiB
LLVM
47 lines
1.2 KiB
LLVM
; 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" }
|