# RUN: llvm-mc -triple bpfel -filetype=obj -o %t %s
# RUN: llvm-objdump -d -r %t | FileCheck %s
# RUN: llvm-objdump -mattr=+alu32 -d -r %t | FileCheck %s

// ======== BPF_ALU Class ========
  w1 = -w1    // BPF_NEG
  w0 += w1    // BPF_ADD  | BPF_X
  w1 -= w2    // BPF_SUB  | BPF_X
  w2 *= w3    // BPF_MUL  | BPF_X
  w3 /= w4    // BPF_DIV  | BPF_X
// CHECK: 84 01 00 00 00 00 00 00      w1 = -w1
// CHECK: 0c 10 00 00 00 00 00 00      w0 += w1
// CHECK: 1c 21 00 00 00 00 00 00      w1 -= w2
// CHECK: 2c 32 00 00 00 00 00 00      w2 *= w3
// CHECK: 3c 43 00 00 00 00 00 00      w3 /= w4

  w4 |= w5    // BPF_OR   | BPF_X
  w5 &= w6    // BPF_AND  | BPF_X
  w6 <<= w7   // BPF_LSH  | BPF_X
  w7 >>= w8   // BPF_RSH  | BPF_X
  w8 ^= w9    // BPF_XOR  | BPF_X
  w9 = w10    // BPF_MOV  | BPF_X
  w10 s>>= w0 // BPF_ARSH | BPF_X
// CHECK: 4c 54 00 00 00 00 00 00      w4 |= w5
// CHECK: 5c 65 00 00 00 00 00 00      w5 &= w6
// CHECK: 6c 76 00 00 00 00 00 00      w6 <<= w7
// CHECK: 7c 87 00 00 00 00 00 00      w7 >>= w8
// CHECK: ac 98 00 00 00 00 00 00      w8 ^= w9
// CHECK: bc a9 00 00 00 00 00 00      w9 = w10
// CHECK: cc 0a 00 00 00 00 00 00      w10 s>>= w0

  w0 += 1           // BPF_ADD  | BPF_K
  w1 -= 0x1         // BPF_SUB  | BPF_K
  w2 *= -4          // BPF_MUL  | BPF_K
  w3 /= 5           // BPF_DIV  | BPF_K
// CHECK: 04 00 00 00 01 00 00 00      w0 += 1
// CHECK: 14 01 00 00 01 00 00 00      w1 -= 1
// CHECK: 24 02 00 00 fc ff ff ff      w2 *= -4
// CHECK: 34 03 00 00 05 00 00 00      w3 /= 5

  w4 |= 0xff        // BPF_OR   | BPF_K
  w5 &= 0xFF        // BPF_AND  | BPF_K
  w6 <<= 63         // BPF_LSH  | BPF_K
  w7 >>= 32         // BPF_RSH  | BPF_K
  w8 ^= 0           // BPF_XOR  | BPF_K
  w9 = 1            // BPF_MOV  | BPF_K
  w9 = 0xffffffff   // BPF_MOV  | BPF_K
  w10 s>>= 64       // BPF_ARSH | BPF_K
// CHECK: 44 04 00 00 ff 00 00 00      w4 |= 255
// CHECK: 54 05 00 00 ff 00 00 00      w5 &= 255
// CHECK: 64 06 00 00 3f 00 00 00      w6 <<= 63
// CHECK: 74 07 00 00 20 00 00 00      w7 >>= 32
// CHECK: a4 08 00 00 00 00 00 00      w8 ^= 0
// CHECK: b4 09 00 00 01 00 00 00      w9 = 1
// CHECK: b4 09 00 00 ff ff ff ff      w9 = -1
// CHECK: c4 0a 00 00 40 00 00 00      w10 s>>= 64

  if w0 == w1 goto Llabel0   // BPF_JEQ  | BPF_X
  if w3 != w4 goto Llabel0   // BPF_JNE  | BPF_X
// CHECK: 1e 10 0b 00 00 00 00 00 	if w0 == w1 goto +11
// CHECK: 5e 43 0a 00 00 00 00 00 	if w3 != w4 goto +10

  if w1 > w2 goto Llabel0    // BPF_JGT  | BPF_X
  if w2 >= w3 goto Llabel0   // BPF_JGE  | BPF_X
  if w4 s> w5 goto Llabel0   // BPF_JSGT | BPF_X
  if w5 s>= w6 goto Llabel0  // BPF_JSGE | BPF_X
// CHECK: 2e 21 09 00 00 00 00 00 	if w1 > w2 goto +9
// CHECK: 3e 32 08 00 00 00 00 00 	if w2 >= w3 goto +8
// CHECK: 6e 54 07 00 00 00 00 00 	if w4 s> w5 goto +7
// CHECK: 7e 65 06 00 00 00 00 00 	if w5 s>= w6 goto +6

  if w6 < w7 goto Llabel0    // BPF_JLT  | BPF_X
  if w7 <= w8 goto Llabel0   // BPF_JLE  | BPF_X
  if w8 s< w9 goto Llabel0   // BPF_JSLT | BPF_X
  if w9 s<= w10 goto Llabel0 // BPF_JSLE | BPF_X
// CHECK: ae 76 05 00 00 00 00 00 	if w6 < w7 goto +5
// CHECK: be 87 04 00 00 00 00 00 	if w7 <= w8 goto +4
// CHECK: ce 98 03 00 00 00 00 00 	if w8 s< w9 goto +3
// CHECK: de a9 02 00 00 00 00 00 	if w9 s<= w10 goto +2

  if w0 == 0 goto Llabel0           // BPF_JEQ  | BPF_K
  if w3 != -1 goto Llabel0          // BPF_JNE  | BPF_K
// CHECK: 16 00 01 00 00 00 00 00 	if w0 == 0 goto +1
// CHECK: 56 03 00 00 ff ff ff ff 	if w3 != -1 goto +0

Llabel0 :
  if w1 > 64 goto Llabel0           // BPF_JGT  | BPF_K
  if w2 >= 0xffffffff goto Llabel0  // BPF_JGE  | BPF_K
  if w4 s> 0xffffffff goto Llabel0  // BPF_JSGT | BPF_K
  if w5 s>= 0x7fffffff goto Llabel0 // BPF_JSGE | BPF_K
// CHECK: 26 01 ff ff 40 00 00 00 	if w1 > 64 goto -1
// CHECK: 36 02 fe ff ff ff ff ff 	if w2 >= -1 goto -2
// CHECK: 66 04 fd ff ff ff ff ff 	if w4 s> -1 goto -3
// CHECK: 76 05 fc ff ff ff ff 7f 	if w5 s>= 2147483647 goto -4

  if w6 < 0xff goto Llabel0         // BPF_JLT  | BPF_K
  if w7 <= 0xffff goto Llabel0      // BPF_JLE  | BPF_K
  if w8 s< 0 goto Llabel0           // BPF_JSLT | BPF_K
  if w9 s<= -1 goto Llabel0         // BPF_JSLE | BPF_K
// CHECK: a6 06 fb ff ff 00 00 00 	if w6 < 255 goto -5
// CHECK: b6 07 fa ff ff ff 00 00 	if w7 <= 65535 goto -6
// CHECK: c6 08 f9 ff 00 00 00 00 	if w8 s< 0 goto -7
// CHECK: d6 09 f8 ff ff ff ff ff 	if w9 s<= -1 goto -8