llvm/test/CodeGen/BPF/bpf-fastcall-4.ll

   1 ; RUN: llc -O2 --mtriple=bpfel %s -o - | FileCheck %s
   2
   3 ; Generated from the following C code:
   4 ;
   5 ;   extern int foo(void) __attribute__((bpf_fastcall));
   6 ;
   7 ;   int bar(int a) {
   8 ;     foo();
   9 ;     return a;
  10 ;   }
  11 ;
  12 ; Using the following command:
  13 ;
  14 ;   clang --target=bpf -emit-llvm -O2 -S -o - t.c
  15 ;
  16 ; (unnecessary attrs removed maually)
  17
  18 ; Check that function marked with bpf_fastcall does not clobber W1-W5.
  19
  20 define dso_local i32 @bar(i32 %a) {
  21 entry:
  22   %call = tail call i32 @foo() #0
  23   ret i32 %a
  24 }
  25
  26 ; CHECK:      # %bb.0:
  27 ; CHECK-NEXT:   *(u64 *)(r10 - 8) = r1
  28 ; CHECK-NEXT:   call foo
  29 ; CHECK-NEXT:   r1 = *(u64 *)(r10 - 8)
  30 ; CHECK-NEXT:   w0 = w1
  31 ; CHECK-NEXT:   exit
  32
  33 declare dso_local i32 @foo() #0
  34
  35 attributes #0 = { "bpf_fastcall" }