llvm/test/MC/BPF/insn-unit.s

   1 # RUN: llvm-mc -triple bpfel -filetype=obj -o %t %s
   2 # RUN: llvm-objdump --no-print-imm-hex -d -r %t | FileCheck --check-prefixes CHECK,CHECK-64 %s
   3 # RUN: llvm-objdump --no-print-imm-hex --mattr=+alu32 -d -r %t | FileCheck --check-prefixes CHECK,CHECK-32 %s
   4
   5 // ======== BPF_LD Class ========
   6 // Some extra whitespaces are deliberately added to test the parser.
   7
   8   r0 = * (u8 *)skb[0]    // BPF_LD | BPF_ABS | BPF_B
   9   r0 = *(u16 *)skb[2]    // BPF_LD | BPF_ABS | BPF_H
  10   r0 = * (u32*)skb[4]    // BPF_LD | BPF_ABS | BPF_W
  11 // CHECK: 30 00 00 00 00 00 00 00       r0 = *(u8 *)skb[0]
  12 // CHECK: 28 00 00 00 02 00 00 00       r0 = *(u16 *)skb[2]
  13 // CHECK: 20 00 00 00 04 00 00 00       r0 = *(u32 *)skb[4]
  14
  15   r0 = * (u8 *)skb[r0]   // BPF_LD | BPF_IND | BPF_B
  16   r0 = *  (u16 *)skb[r1] // BPF_LD | BPF_IND | BPF_H
  17   r0 = *(u32 *)skb[r2]   // BPF_LD | BPF_IND | BPF_W
  18 // CHECK: 50 00 00 00 00 00 00 00       r0 = *(u8 *)skb[r0]
  19 // CHECK: 48 10 00 00 00 00 00 00       r0 = *(u16 *)skb[r1]
  20 // CHECK: 40 20 00 00 00 00 00 00       r0 = *(u32 *)skb[r2]
  21
  22   r9 = 0xffffffff ll     // BPF_LD | BPF_DW | BPF_IMM
  23   r9 = 8589934591 ll     // BPF_LD | BPF_DW | BPF_IMM
  24   r9 = 0x1ffffffff ll    // BPF_LD | BPF_DW | BPF_IMM
  25   r9 = dummy_map  ll     // BPF_LD | BPF_DW | BPF_IMM
  26 // CHECK: 18 09 00 00 ff ff ff ff 00 00 00 00 00 00 00 00       r9 = 4294967295 ll
  27 // CHECK: 18 09 00 00 ff ff ff ff 00 00 00 00 01 00 00 00       r9 = 8589934591 ll
  28 // CHECK: 18 09 00 00 ff ff ff ff 00 00 00 00 01 00 00 00       r9 = 8589934591 ll
  29 // CHECK: 18 09 00 00 00 00 00 00 00 00 00 00 00 00 00 00       r9 = 0 ll
  30 // CHECK: 0000000000000060:  R_BPF_64_64        dummy_map
  31
  32 // ======== BPF_LDX Class ========
  33   r5 = *(u8 *)(r0 + 0)   // BPF_LDX | BPF_B
  34   r6 = *(u16 *)(r1 + 8)  // BPF_LDX | BPF_H
  35   r7 = *(u32 *)(r2 + 16) // BPF_LDX | BPF_W
  36   r8 = *(u64 *)(r3 - 30) // BPF_LDX | BPF_DW
  37 // CHECK-64: 71 05 00 00 00 00 00 00    w5 = *(u8 *)(r0 + 0)
  38 // CHECK-64: 69 16 08 00 00 00 00 00    w6 = *(u16 *)(r1 + 8)
  39 // CHECK-64: 61 27 10 00 00 00 00 00    w7 = *(u32 *)(r2 + 16)
  40 // CHECK-32: 71 05 00 00 00 00 00 00    w5 = *(u8 *)(r0 + 0)
  41 // CHECK-32: 69 16 08 00 00 00 00 00    w6 = *(u16 *)(r1 + 8)
  42 // CHECK-32: 61 27 10 00 00 00 00 00    w7 = *(u32 *)(r2 + 16)
  43 // CHECK: 79 38 e2 ff 00 00 00 00       r8 = *(u64 *)(r3 - 30)
  44
  45 // ======== BPF_STX Class ========
  46   *(u8 *)(r0 + 0) = r7    // BPF_STX | BPF_B
  47   *(u16 *)(r1 + 8) = r8   // BPF_STX | BPF_H
  48   *(u32 *)(r2 + 16) = r9  // BPF_STX | BPF_W
  49   *(u64 *)(r3 - 30) = r10 // BPF_STX | BPF_DW
  50 // CHECK-64: 73 70 00 00 00 00 00 00    *(u8 *)(r0 + 0) = w7
  51 // CHECK-64: 6b 81 08 00 00 00 00 00    *(u16 *)(r1 + 8) = w8
  52 // CHECK-64: 63 92 10 00 00 00 00 00    *(u32 *)(r2 + 16) = w9
  53 // CHECK-32: 73 70 00 00 00 00 00 00    *(u8 *)(r0 + 0) = w7
  54 // CHECK-32: 6b 81 08 00 00 00 00 00    *(u16 *)(r1 + 8) = w8
  55 // CHECK-32: 63 92 10 00 00 00 00 00    *(u32 *)(r2 + 16) = w9
  56 // CHECK: 7b a3 e2 ff 00 00 00 00       *(u64 *)(r3 - 30) = r10
  57
  58   lock *(u32 *)(r2 + 16) += r9  // BPF_STX | BPF_W | BPF_XADD
  59   lock *(u64 *)(r3 - 30) += r10 // BPF_STX | BPF_DW | BPF_XADD
  60 // CHECK-64: c3 92 10 00 00 00 00 00    lock *(u32 *)(r2 + 16) += w9
  61 // CHECK-32: c3 92 10 00 00 00 00 00    lock *(u32 *)(r2 + 16) += w9
  62 // CHECK: db a3 e2 ff 00 00 00 00       lock *(u64 *)(r3 - 30) += r10
  63
  64   callx r2
  65 // CHECK: 8d 02 00 00 00 00 00 00       callx r2
  66
  67 // ======== BPF_JMP Class ========
  68   may_goto Llabel0 // BPF_JCOND | BPF_K
  69   if r1 & r2 goto Llabel0    // BPF_JSET  | BPF_X
  70   if r1 & 0xffff goto Llabel0    // BPF_JSET  | BPF_K
  71 // CHECK: e5 00 1e 00 00 00 00 00       may_goto +30
  72 // CHECK: 4d 21 1d 00 00 00 00 00       if r1 & r2 goto +29
  73 // CHECK: 45 01 1c 00 ff ff 00 00       if r1 & 65535 goto +28
  74
  75   goto Llabel0               // BPF_JA
  76   call 1                     // BPF_CALL
  77   exit                       // BPF_EXIT
  78 // CHECK: 05 00 1b 00 00 00 00 00       goto +27
  79 // CHECK: 85 00 00 00 01 00 00 00       call 1
  80 // CHECK: 95 00 00 00 00 00 00 00       exit
  81
  82   if r0 == r1 goto Llabel0   // BPF_JEQ  | BPF_X
  83   if r3 != r4 goto Llabel0   // BPF_JNE  | BPF_X
  84 // CHECK: 1d 10 18 00 00 00 00 00       if r0 == r1 goto +24
  85 // CHECK: 5d 43 17 00 00 00 00 00       if r3 != r4 goto +23
  86
  87   if r1 > r2 goto Llabel0    // BPF_JGT  | BPF_X
  88   if r2 >= r3 goto Llabel0   // BPF_JGE  | BPF_X
  89   if r4 s> r5 goto Llabel0   // BPF_JSGT | BPF_X
  90   if r5 s>= r6 goto Llabel0  // BPF_JSGE | BPF_X
  91 // CHECK: 2d 21 16 00 00 00 00 00       if r1 > r2 goto +22
  92 // CHECK: 3d 32 15 00 00 00 00 00       if r2 >= r3 goto +21
  93 // CHECK: 6d 54 14 00 00 00 00 00       if r4 s> r5 goto +20
  94 // CHECK: 7d 65 13 00 00 00 00 00       if r5 s>= r6 goto +19
  95
  96   if r6 < r7 goto Llabel0    // BPF_JLT  | BPF_X
  97   if r7 <= r8 goto Llabel0   // BPF_JLE  | BPF_X
  98   if r8 s< r9 goto Llabel0   // BPF_JSLT | BPF_X
  99   if r9 s<= r10 goto Llabel0 // BPF_JSLE | BPF_X
 100 // CHECK: ad 76 12 00 00 00 00 00       if r6 < r7 goto +18
 101 // CHECK: bd 87 11 00 00 00 00 00       if r7 <= r8 goto +17
 102 // CHECK: cd 98 10 00 00 00 00 00       if r8 s< r9 goto +16
 103 // CHECK: dd a9 0f 00 00 00 00 00       if r9 s<= r10 goto +15
 104
 105   if r0 == 0 goto Llabel0           // BPF_JEQ  | BPF_K
 106   if r3 != -1 goto Llabel0          // BPF_JNE  | BPF_K
 107 // CHECK: 15 00 0e 00 00 00 00 00       if r0 == 0 goto +14
 108 // CHECK: 55 03 0d 00 ff ff ff ff       if r3 != -1 goto +13
 109
 110   if r1 > 64 goto Llabel0           // BPF_JGT  | BPF_K
 111   if r2 >= 0xffffffff goto Llabel0  // BPF_JGE  | BPF_K
 112   if r4 s> 0xffffffff goto Llabel0  // BPF_JSGT | BPF_K
 113   if r5 s>= 0x7fffffff goto Llabel0 // BPF_JSGE | BPF_K
 114 // CHECK: 25 01 0c 00 40 00 00 00       if r1 > 64 goto +12
 115 // CHECK: 35 02 0b 00 ff ff ff ff       if r2 >= -1 goto +11
 116 // CHECK: 65 04 0a 00 ff ff ff ff       if r4 s> -1 goto +10
 117 // CHECK: 75 05 09 00 ff ff ff 7f       if r5 s>= 2147483647 goto +9
 118
 119   if r6 < 0xff goto Llabel0         // BPF_JLT  | BPF_K
 120   if r7 <= 0xffff goto Llabel0      // BPF_JLE  | BPF_K
 121   if r8 s< 0 goto Llabel0           // BPF_JSLT | BPF_K
 122   if r9 s<= -1 goto Llabel0         // BPF_JSLE | BPF_K
 123 // CHECK: a5 06 08 00 ff 00 00 00       if r6 < 255 goto +8
 124 // CHECK: b5 07 07 00 ff ff 00 00       if r7 <= 65535 goto +7
 125 // CHECK: c5 08 06 00 00 00 00 00       if r8 s< 0 goto +6
 126 // CHECK: d5 09 05 00 ff ff ff ff       if r9 s<= -1 goto +5
 127
 128 // ======== BPF_ALU64 Class ========
 129   r0 += r1    // BPF_ADD  | BPF_X
 130   r1 -= r2    // BPF_SUB  | BPF_X
 131   r2 *= r3    // BPF_MUL  | BPF_X
 132   r3 /= r4    // BPF_DIV  | BPF_X
 133   r4 %= r5    // BPF_MOD  | BPF_X
 134 // CHECK: 0f 10 00 00 00 00 00 00       r0 += r1
 135 // CHECK: 1f 21 00 00 00 00 00 00       r1 -= r2
 136 // CHECK: 2f 32 00 00 00 00 00 00       r2 *= r3
 137 // CHECK: 3f 43 00 00 00 00 00 00       r3 /= r4
 138 // CHECK: 9f 54 00 00 00 00 00 00       r4 %= r5
 139
 140 Llabel0 :
 141   r2 = -r2    // BPF_NEG
 142   r4 |= r5    // BPF_OR   | BPF_X
 143   r5 &= r6    // BPF_AND  | BPF_X
 144   r6 <<= r7   // BPF_LSH  | BPF_X
 145   r7 >>= r8   // BPF_RSH  | BPF_X
 146   r8 ^= r9    // BPF_XOR  | BPF_X
 147   r9 = r10    // BPF_MOV  | BPF_X
 148   r10 s>>= r0 // BPF_ARSH | BPF_X
 149 // CHECK: <Llabel0>:
 150 // CHECK: 87 02 00 00 00 00 00 00       r2 = -r2
 151 // CHECK: 4f 54 00 00 00 00 00 00       r4 |= r5
 152 // CHECK: 5f 65 00 00 00 00 00 00       r5 &= r6
 153 // CHECK: 6f 76 00 00 00 00 00 00       r6 <<= r7
 154 // CHECK: 7f 87 00 00 00 00 00 00       r7 >>= r8
 155 // CHECK: af 98 00 00 00 00 00 00       r8 ^= r9
 156 // CHECK: bf a9 00 00 00 00 00 00       r9 = r10
 157 // CHECK: cf 0a 00 00 00 00 00 00       r10 s>>= r0
 158
 159   r1 = be16 r1  // BPF_END  | BPF_TO_BE
 160   r2 = be32 r2  // BPF_END  | BPF_TO_BE
 161   r3 = be64 r3  // BPF_END  | BPF_TO_BE
 162 // CHECK: dc 01 00 00 10 00 00 00       r1 = be16 r1
 163 // CHECK: dc 02 00 00 20 00 00 00       r2 = be32 r2
 164 // CHECK: dc 03 00 00 40 00 00 00       r3 = be64 r3
 165
 166   r0 += 1           // BPF_ADD  | BPF_K
 167   r1 -= 0x1         // BPF_SUB  | BPF_K
 168   r2 *= -4          // BPF_MUL  | BPF_K
 169   r3 /= 5           // BPF_DIV  | BPF_K
 170   r4 %= 5           // BPF_MOD  | BPF_K
 171 // CHECK: 07 00 00 00 01 00 00 00       r0 += 1
 172 // CHECK: 17 01 00 00 01 00 00 00       r1 -= 1
 173 // CHECK: 27 02 00 00 fc ff ff ff       r2 *= -4
 174 // CHECK: 37 03 00 00 05 00 00 00       r3 /= 5
 175 // CHECK: 97 04 00 00 05 00 00 00       r4 %= 5
 176
 177   r4 |= 0xff        // BPF_OR   | BPF_K
 178   r5 &= 0xFF        // BPF_AND  | BPF_K
 179   r6 <<= 63         // BPF_LSH  | BPF_K
 180   r7 >>= 32         // BPF_RSH  | BPF_K
 181   r8 ^= 0           // BPF_XOR  | BPF_K
 182   r9 = 1            // BPF_MOV  | BPF_K
 183   r9 = 0xffffffff   // BPF_MOV  | BPF_K
 184   r10 s>>= 64       // BPF_ARSH | BPF_K
 185 // CHECK: 47 04 00 00 ff 00 00 00       r4 |= 255
 186 // CHECK: 57 05 00 00 ff 00 00 00       r5 &= 255
 187 // CHECK: 67 06 00 00 3f 00 00 00       r6 <<= 63
 188 // CHECK: 77 07 00 00 20 00 00 00       r7 >>= 32
 189 // CHECK: a7 08 00 00 00 00 00 00       r8 ^= 0
 190 // CHECK: b7 09 00 00 01 00 00 00       r9 = 1
 191 // CHECK: b7 09 00 00 ff ff ff ff       r9 = -1
 192 // CHECK: c7 0a 00 00 40 00 00 00       r10 s>>= 64