llvm/test/CodeGen/BPF/inline_asm.ll

   1 ; RUN: llc < %s -march=bpfel -verify-machineinstrs | FileCheck %s
   2 ; RUN: llc < %s -march=bpfeb -verify-machineinstrs | FileCheck %s
   3
   4 ; Source code:
   5 ; int g[2];
   6 ;
   7 ; int test(ptr ctx) {
   8 ;   int a = 4, b;
   9 ;   unsigned long long c = 333333333333ULL;
  10 ;   asm volatile("r0 = *(u16 *)skb[%0]" : : "i"(2));
  11 ;   asm volatile("r0 = *(u16 *)skb[%0]" : : "r"(a));
  12 ;   asm volatile("%0 = %1" : "=r"(b) : "i"(4));
  13 ;   asm volatile("%0 = %1 ll" : "=r"(b) : "i"(c));
  14 ;   asm volatile("%0 = *(u16 *) %1" : "=r"(b) : "m"(a));
  15 ;   asm volatile("%0 = *(u32 *) %1" : "=r"(b) : "m"(g[1]));
  16 ;   return b;
  17 ; }
  18 ;
  19
  20 @g = common global [2 x i32] zeroinitializer, align 4
  21
  22 ; Function Attrs: nounwind
  23 define i32 @test(ptr nocapture readnone %ctx) local_unnamed_addr #0 {
  24 entry:
  25   %a = alloca i32, align 4
  26   call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %a) #2
  27   store i32 4, ptr %a, align 4
  28   tail call void asm sideeffect "r0 = *(u16 *)skb[$0]", "i"(i32 2) #2
  29 ; CHECK: r0 = *(u16 *)skb[2]
  30   tail call void asm sideeffect "r0 = *(u16 *)skb[$0]", "r"(i32 4) #2
  31 ; CHECK: r0 = *(u16 *)skb[r1]
  32   %0 = tail call i32 asm sideeffect "$0 = $1", "=r,i"(i32 4) #2
  33 ; CHECK: r1 = 4
  34   %1 = tail call i32 asm sideeffect "$0 = $1 ll", "=r,i"(i64 333333333333) #2
  35 ; CHECK: r1 = 333333333333 ll
  36   %2 = call i32 asm sideeffect "$0 = *(u16 *) $1", "=r,*m"(ptr elementtype(i32) nonnull %a) #2
  37 ; CHECK: r1 = *(u16 *)(r10 - 4)
  38   %3 = call i32 asm sideeffect "$0 = *(u32 *) $1", "=r,*m"(ptr elementtype(i32) getelementptr inbounds ([2 x i32], ptr @g, i64 0, i64 1)) #2
  39 ; CHECK: r1 = g ll
  40 ; CHECK: r0 = *(u32 *)(r1 + 4)
  41   call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %a) #2
  42   ret i32 %3
  43 }
  44
  45 ; Function Attrs: argmemonly nounwind
  46 declare void @llvm.lifetime.start.p0(i64, ptr nocapture) #1
  47
  48 ; Function Attrs: argmemonly nounwind
  49 declare void @llvm.lifetime.end.p0(i64, ptr nocapture) #1
  50
  51 attributes #0 = { nounwind }
  52 attributes #1 = { argmemonly nounwind }
  53 attributes #2 = { nounwind }