1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
| # 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
|