test/CodeGen/BPF/objdump_intrinsics.ll

   1 ; RUN: llc -march=bpfel -filetype=obj -o - %s | llvm-objdump -d - | FileCheck --check-prefix=CHECK-EL %s
   2 ; RUN: llc -march=bpfeb -filetype=obj -o - %s | llvm-objdump -d - | FileCheck --check-prefix=CHECK-EB %s
   3
   4 ; Function Attrs: nounwind uwtable
   5 define i32 @ld_b(i64 %foo, i64* nocapture %bar, i8* %ctx, i8* %ctx2) #0 {
   6   %1 = tail call i64 @llvm.bpf.load.byte(i8* %ctx, i64 123) #2
   7   %2 = add i64 %1, %foo
   8   %3 = load volatile i64, i64* %bar, align 8
   9   %4 = add i64 %2, %3
  10   %5 = tail call i64 @llvm.bpf.load.byte(i8* %ctx2, i64 %foo) #2
  11   %6 = add i64 %4, %5
  12   %7 = load volatile i64, i64* %bar, align 8
  13   %8 = add i64 %6, %7
  14   %9 = trunc i64 %8 to i32
  15   ret i32 %9
  16 ; CHECK-LABEL: ld_b:
  17 ; CHECK-EL: r0 = *(u8 *)skb[123]
  18 ; CHECK-EL: r0 = *(u8 *)skb[r
  19 ; CHECK-EB: r0 = *(u8 *)skb[123]
  20 ; CHECK-EB: r0 = *(u8 *)skb[r
  21 }
  22
  23 declare i64 @llvm.bpf.load.byte(i8*, i64) #1
  24
  25 ; Function Attrs: nounwind uwtable
  26 define i32 @ld_h(i8* %ctx, i8* %ctx2, i32 %foo) #0 {
  27   %1 = tail call i64 @llvm.bpf.load.half(i8* %ctx, i64 123) #2
  28   %2 = sext i32 %foo to i64
  29   %3 = tail call i64 @llvm.bpf.load.half(i8* %ctx2, i64 %2) #2
  30   %4 = add i64 %3, %1
  31   %5 = trunc i64 %4 to i32
  32   ret i32 %5
  33 ; CHECK-LABEL: ld_h:
  34 ; CHECK-EL: r0 = *(u16 *)skb[r
  35 ; CHECK-EL: r0 = *(u16 *)skb[123]
  36 ; CHECK-EB: r0 = *(u16 *)skb[r
  37 ; CHECK-EB: r0 = *(u16 *)skb[123]
  38 }
  39
  40 declare i64 @llvm.bpf.load.half(i8*, i64) #1
  41
  42 ; Function Attrs: nounwind uwtable
  43 define i32 @ld_w(i8* %ctx, i8* %ctx2, i32 %foo) #0 {
  44   %1 = tail call i64 @llvm.bpf.load.word(i8* %ctx, i64 123) #2
  45   %2 = sext i32 %foo to i64
  46   %3 = tail call i64 @llvm.bpf.load.word(i8* %ctx2, i64 %2) #2
  47   %4 = add i64 %3, %1
  48   %5 = trunc i64 %4 to i32
  49   ret i32 %5
  50 ; CHECK-LABEL: ld_w:
  51 ; CHECK-EL: r0 = *(u32 *)skb[r
  52 ; CHECK-EL: r0 = *(u32 *)skb[123]
  53 ; CHECK-EB: r0 = *(u32 *)skb[r
  54 ; CHECK-EB: r0 = *(u32 *)skb[123]
  55 }
  56
  57 declare i64 @llvm.bpf.load.word(i8*, i64) #1
  58
  59 define i32 @ld_pseudo() #0 {
  60 entry:
  61   %call = tail call i64 @llvm.bpf.pseudo(i64 2, i64 3)
  62   tail call void inttoptr (i64 4 to void (i64, i32)*)(i64 %call, i32 4) #2
  63   ret i32 0
  64 ; CHECK-LABEL: ld_pseudo:
  65 ; CHECK-EL: ld_pseudo r1, 2, 3
  66 ; CHECK-EB: ld_pseudo r1, 2, 3
  67 }
  68
  69 declare i64 @llvm.bpf.pseudo(i64, i64) #2
  70
  71 define i32 @bswap(i64 %a, i64 %b, i64 %c) #0 {
  72 entry:
  73   %0 = tail call i64 @llvm.bswap.i64(i64 %a)
  74   %conv = trunc i64 %b to i32
  75   %1 = tail call i32 @llvm.bswap.i32(i32 %conv)
  76   %conv1 = zext i32 %1 to i64
  77   %add = add i64 %conv1, %0
  78   %conv2 = trunc i64 %c to i16
  79   %2 = tail call i16 @llvm.bswap.i16(i16 %conv2)
  80   %conv3 = zext i16 %2 to i64
  81   %add4 = add i64 %add, %conv3
  82   %conv5 = trunc i64 %add4 to i32
  83   ret i32 %conv5
  84 ; CHECK-LABEL: bswap:
  85 ; CHECK-EL: r1 = be64 r1
  86 ; CHECK-EL: r0 = be32 r0
  87 ; CHECK-EL: r0 += r1
  88 ; CHECK-EL: r3 = be16 r3
  89 ; CHECK-EL: r0 += r3
  90 ; CHECK-EB: r1 = le64 r1
  91 ; CHECK-EB: r0 = le32 r0
  92 ; CHECK-EB: r0 += r1
  93 ; CHECK-EB: r3 = le16 r3
  94 ; CHECK-EB: r0 += r3
  95 }
  96
  97 declare i64 @llvm.bswap.i64(i64) #1
  98 declare i32 @llvm.bswap.i32(i32) #1
  99 declare i16 @llvm.bswap.i16(i16) #1