1 ; RUN: llc < %s -march=bpf -show-mc-encoding | FileCheck %s
2 ; test little endian only for now
4 %struct.bpf_map_def = type { i32, i32, i32, i32 }
5 %struct.sk_buff = type opaque
7 @hash_map = global %struct.bpf_map_def { i32 1, i32 4, i32 8, i32 1024 }, section "maps", align 4
9 ; Function Attrs: nounwind uwtable
10 define i32 @bpf_prog2(%struct.sk_buff* %skb) #0 section "socket2" {
11 %key = alloca i32, align 4
12 %val = alloca i64, align 8
13 %1 = bitcast %struct.sk_buff* %skb to i8*
14 %2 = call i64 @llvm.bpf.load.half(i8* %1, i64 12) #2
15 %3 = icmp eq i64 %2, 34984
16 br i1 %3, label %4, label %6
18 ; <label>:4 ; preds = %0
19 %5 = call i64 @llvm.bpf.load.half(i8* %1, i64 16) #2
22 ; <label>:6 ; preds = %4, %0
23 %proto.0.i = phi i64 [ %5, %4 ], [ %2, %0 ]
24 %nhoff.0.i = phi i64 [ 18, %4 ], [ 14, %0 ]
25 %7 = icmp eq i64 %proto.0.i, 33024
26 br i1 %7, label %8, label %12
28 ; <label>:8 ; preds = %6
29 %9 = add i64 %nhoff.0.i, 2
30 %10 = call i64 @llvm.bpf.load.half(i8* %1, i64 %9) #2
31 %11 = add i64 %nhoff.0.i, 4
34 ; <label>:12 ; preds = %8, %6
35 %proto.1.i = phi i64 [ %10, %8 ], [ %proto.0.i, %6 ]
36 %nhoff.1.i = phi i64 [ %11, %8 ], [ %nhoff.0.i, %6 ]
37 switch i64 %proto.1.i, label %flow_dissector.exit.thread [
42 ; <label>:13 ; preds = %12
43 %14 = add i64 %nhoff.1.i, 6
44 %15 = call i64 @llvm.bpf.load.half(i8* %1, i64 %14) #2
45 %16 = and i64 %15, 16383
46 %17 = icmp eq i64 %16, 0
47 br i1 %17, label %18, label %.thread.i.i
49 ; <label>:18 ; preds = %13
50 %19 = add i64 %nhoff.1.i, 9
51 %20 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %19) #2
52 %21 = icmp eq i64 %20, 47
53 br i1 %21, label %28, label %.thread.i.i
55 .thread.i.i: ; preds = %18, %13
56 %22 = phi i64 [ %20, %18 ], [ 0, %13 ]
57 %23 = add i64 %nhoff.1.i, 12
58 %24 = call i64 @llvm.bpf.load.word(i8* %1, i64 %23) #2
59 %25 = add i64 %nhoff.1.i, 16
60 %26 = call i64 @llvm.bpf.load.word(i8* %1, i64 %25) #2
61 %27 = trunc i64 %26 to i32
64 ; <label>:28 ; preds = %.thread.i.i, %18
65 %29 = phi i32 [ %27, %.thread.i.i ], [ undef, %18 ]
66 %30 = phi i64 [ %22, %.thread.i.i ], [ 47, %18 ]
67 %31 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %nhoff.1.i) #2
68 %32 = icmp eq i64 %31, 69
69 br i1 %32, label %33, label %35
71 ; <label>:33 ; preds = %28
72 %34 = add i64 %nhoff.1.i, 20
73 br label %parse_ip.exit.i
75 ; <label>:35 ; preds = %28
78 %38 = add i64 %37, %nhoff.1.i
79 br label %parse_ip.exit.i
81 ; <label>:39 ; preds = %12
82 %40 = add i64 %nhoff.1.i, 6
83 %41 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %40) #2
84 %42 = add i64 %nhoff.1.i, 8
85 %43 = call i64 @llvm.bpf.load.word(i8* %1, i64 %42) #2
86 %44 = add i64 %nhoff.1.i, 12
87 %45 = call i64 @llvm.bpf.load.word(i8* %1, i64 %44) #2
88 %46 = add i64 %nhoff.1.i, 16
89 %47 = call i64 @llvm.bpf.load.word(i8* %1, i64 %46) #2
90 %48 = add i64 %nhoff.1.i, 20
91 %49 = call i64 @llvm.bpf.load.word(i8* %1, i64 %48) #2
92 %50 = add i64 %nhoff.1.i, 24
93 %51 = call i64 @llvm.bpf.load.word(i8* %1, i64 %50) #2
94 %52 = add i64 %nhoff.1.i, 28
95 %53 = call i64 @llvm.bpf.load.word(i8* %1, i64 %52) #2
96 %54 = add i64 %nhoff.1.i, 32
97 %55 = call i64 @llvm.bpf.load.word(i8* %1, i64 %54) #2
98 %56 = add i64 %nhoff.1.i, 36
99 %57 = call i64 @llvm.bpf.load.word(i8* %1, i64 %56) #2
100 %58 = xor i64 %53, %51
101 %59 = xor i64 %58, %55
102 %60 = xor i64 %59, %57
103 %61 = trunc i64 %60 to i32
104 %62 = add i64 %nhoff.1.i, 40
105 br label %parse_ip.exit.i
107 parse_ip.exit.i: ; preds = %39, %35, %33
108 %63 = phi i32 [ %61, %39 ], [ %29, %33 ], [ %29, %35 ]
109 %64 = phi i64 [ %41, %39 ], [ %30, %33 ], [ %30, %35 ]
110 %nhoff.2.i = phi i64 [ %62, %39 ], [ %34, %33 ], [ %38, %35 ]
111 switch i64 %64, label %187 [
117 ; <label>:65 ; preds = %parse_ip.exit.i
118 %66 = call i64 @llvm.bpf.load.half(i8* %1, i64 %nhoff.2.i) #2
119 %67 = add i64 %nhoff.2.i, 2
120 %68 = call i64 @llvm.bpf.load.half(i8* %1, i64 %67) #2
121 %69 = and i64 %66, 1856
122 %70 = icmp eq i64 %69, 0
123 br i1 %70, label %71, label %187
125 ; <label>:71 ; preds = %65
126 %72 = lshr i64 %66, 5
128 %74 = add i64 %nhoff.2.i, 4
129 %..i = add i64 %74, %73
130 %75 = and i64 %66, 32
131 %76 = icmp eq i64 %75, 0
132 %77 = add i64 %..i, 4
133 %nhoff.4.i = select i1 %76, i64 %..i, i64 %77
134 %78 = and i64 %66, 16
135 %79 = icmp eq i64 %78, 0
136 %80 = add i64 %nhoff.4.i, 4
137 %nhoff.4..i = select i1 %79, i64 %nhoff.4.i, i64 %80
138 %81 = icmp eq i64 %68, 33024
139 br i1 %81, label %82, label %86
141 ; <label>:82 ; preds = %71
142 %83 = add i64 %nhoff.4..i, 2
143 %84 = call i64 @llvm.bpf.load.half(i8* %1, i64 %83) #2
144 %85 = add i64 %nhoff.4..i, 4
147 ; <label>:86 ; preds = %82, %71
148 %proto.2.i = phi i64 [ %84, %82 ], [ %68, %71 ]
149 %nhoff.6.i = phi i64 [ %85, %82 ], [ %nhoff.4..i, %71 ]
150 switch i64 %proto.2.i, label %flow_dissector.exit.thread [
152 i64 34525, label %113
155 ; <label>:87 ; preds = %86
156 %88 = add i64 %nhoff.6.i, 6
157 %89 = call i64 @llvm.bpf.load.half(i8* %1, i64 %88) #2
158 %90 = and i64 %89, 16383
159 %91 = icmp eq i64 %90, 0
160 br i1 %91, label %92, label %.thread.i4.i
162 ; <label>:92 ; preds = %87
163 %93 = add i64 %nhoff.6.i, 9
164 %94 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %93) #2
165 %95 = icmp eq i64 %94, 47
166 br i1 %95, label %102, label %.thread.i4.i
168 .thread.i4.i: ; preds = %92, %87
169 %96 = phi i64 [ %94, %92 ], [ 0, %87 ]
170 %97 = add i64 %nhoff.6.i, 12
171 %98 = call i64 @llvm.bpf.load.word(i8* %1, i64 %97) #2
172 %99 = add i64 %nhoff.6.i, 16
173 %100 = call i64 @llvm.bpf.load.word(i8* %1, i64 %99) #2
174 %101 = trunc i64 %100 to i32
177 ; <label>:102 ; preds = %.thread.i4.i, %92
178 %103 = phi i32 [ %101, %.thread.i4.i ], [ %63, %92 ]
179 %104 = phi i64 [ %96, %.thread.i4.i ], [ 47, %92 ]
180 %105 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %nhoff.6.i) #2
181 %106 = icmp eq i64 %105, 69
182 br i1 %106, label %107, label %109
184 ; <label>:107 ; preds = %102
185 %108 = add i64 %nhoff.6.i, 20
188 ; <label>:109 ; preds = %102
189 %110 = shl i64 %105, 2
190 %111 = and i64 %110, 60
191 %112 = add i64 %111, %nhoff.6.i
194 ; <label>:113 ; preds = %86
195 %114 = add i64 %nhoff.6.i, 6
196 %115 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %114) #2
197 %116 = add i64 %nhoff.6.i, 8
198 %117 = call i64 @llvm.bpf.load.word(i8* %1, i64 %116) #2
199 %118 = add i64 %nhoff.6.i, 12
200 %119 = call i64 @llvm.bpf.load.word(i8* %1, i64 %118) #2
201 %120 = add i64 %nhoff.6.i, 16
202 %121 = call i64 @llvm.bpf.load.word(i8* %1, i64 %120) #2
203 %122 = add i64 %nhoff.6.i, 20
204 %123 = call i64 @llvm.bpf.load.word(i8* %1, i64 %122) #2
205 %124 = add i64 %nhoff.6.i, 24
206 %125 = call i64 @llvm.bpf.load.word(i8* %1, i64 %124) #2
207 %126 = add i64 %nhoff.6.i, 28
208 %127 = call i64 @llvm.bpf.load.word(i8* %1, i64 %126) #2
209 %128 = add i64 %nhoff.6.i, 32
210 %129 = call i64 @llvm.bpf.load.word(i8* %1, i64 %128) #2
211 %130 = add i64 %nhoff.6.i, 36
212 %131 = call i64 @llvm.bpf.load.word(i8* %1, i64 %130) #2
213 %132 = xor i64 %127, %125
214 %133 = xor i64 %132, %129
215 %134 = xor i64 %133, %131
216 %135 = trunc i64 %134 to i32
217 %136 = add i64 %nhoff.6.i, 40
220 ; <label>:137 ; preds = %parse_ip.exit.i
221 %138 = add i64 %nhoff.2.i, 6
222 %139 = call i64 @llvm.bpf.load.half(i8* %1, i64 %138) #2
223 %140 = and i64 %139, 16383
224 %141 = icmp eq i64 %140, 0
225 br i1 %141, label %142, label %.thread.i1.i
227 ; <label>:142 ; preds = %137
228 %143 = add i64 %nhoff.2.i, 9
229 %144 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %143) #2
230 %145 = icmp eq i64 %144, 47
231 br i1 %145, label %152, label %.thread.i1.i
233 .thread.i1.i: ; preds = %142, %137
234 %146 = phi i64 [ %144, %142 ], [ 0, %137 ]
235 %147 = add i64 %nhoff.2.i, 12
236 %148 = call i64 @llvm.bpf.load.word(i8* %1, i64 %147) #2
237 %149 = add i64 %nhoff.2.i, 16
238 %150 = call i64 @llvm.bpf.load.word(i8* %1, i64 %149) #2
239 %151 = trunc i64 %150 to i32
242 ; <label>:152 ; preds = %.thread.i1.i, %142
243 %153 = phi i32 [ %151, %.thread.i1.i ], [ %63, %142 ]
244 %154 = phi i64 [ %146, %.thread.i1.i ], [ 47, %142 ]
245 %155 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %nhoff.2.i) #2
246 %156 = icmp eq i64 %155, 69
247 br i1 %156, label %157, label %159
249 ; <label>:157 ; preds = %152
250 %158 = add i64 %nhoff.2.i, 20
253 ; <label>:159 ; preds = %152
254 %160 = shl i64 %155, 2
255 %161 = and i64 %160, 60
256 %162 = add i64 %161, %nhoff.2.i
259 ; <label>:163 ; preds = %parse_ip.exit.i
260 %164 = add i64 %nhoff.2.i, 6
261 %165 = call i64 @llvm.bpf.load.byte(i8* %1, i64 %164) #2
262 %166 = add i64 %nhoff.2.i, 8
263 %167 = call i64 @llvm.bpf.load.word(i8* %1, i64 %166) #2
264 %168 = add i64 %nhoff.2.i, 12
265 %169 = call i64 @llvm.bpf.load.word(i8* %1, i64 %168) #2
266 %170 = add i64 %nhoff.2.i, 16
267 %171 = call i64 @llvm.bpf.load.word(i8* %1, i64 %170) #2
268 %172 = add i64 %nhoff.2.i, 20
269 %173 = call i64 @llvm.bpf.load.word(i8* %1, i64 %172) #2
270 %174 = add i64 %nhoff.2.i, 24
271 %175 = call i64 @llvm.bpf.load.word(i8* %1, i64 %174) #2
272 %176 = add i64 %nhoff.2.i, 28
273 %177 = call i64 @llvm.bpf.load.word(i8* %1, i64 %176) #2
274 %178 = add i64 %nhoff.2.i, 32
275 %179 = call i64 @llvm.bpf.load.word(i8* %1, i64 %178) #2
276 %180 = add i64 %nhoff.2.i, 36
277 %181 = call i64 @llvm.bpf.load.word(i8* %1, i64 %180) #2
278 %182 = xor i64 %177, %175
279 %183 = xor i64 %182, %179
280 %184 = xor i64 %183, %181
281 %185 = trunc i64 %184 to i32
282 %186 = add i64 %nhoff.2.i, 40
285 ; <label>:187 ; preds = %163, %159, %157, %113, %109, %107, %65, %parse_ip.exit.i
286 %188 = phi i32 [ %63, %parse_ip.exit.i ], [ %185, %163 ], [ %63, %65 ], [ %135, %113 ], [ %103, %107 ], [ %103, %109 ], [ %153, %157 ], [ %153, %159 ]
287 %189 = phi i64 [ %64, %parse_ip.exit.i ], [ %165, %163 ], [ 47, %65 ], [ %115, %113 ], [ %104, %107 ], [ %104, %109 ], [ %154, %157 ], [ %154, %159 ]
288 %nhoff.7.i = phi i64 [ %nhoff.2.i, %parse_ip.exit.i ], [ %186, %163 ], [ %nhoff.2.i, %65 ], [ %136, %113 ], [ %108, %107 ], [ %112, %109 ], [ %158, %157 ], [ %162, %159 ]
289 %cond.i.i = icmp eq i64 %189, 51
290 %190 = select i1 %cond.i.i, i64 4, i64 0
291 %191 = add i64 %190, %nhoff.7.i
292 %192 = call i64 @llvm.bpf.load.word(i8* %1, i64 %191) #2
293 store i32 %188, i32* %key, align 4
294 %193 = bitcast i32* %key to i8*
295 %194 = call i8* inttoptr (i64 1 to i8* (i8*, i8*)*)(i8* bitcast (%struct.bpf_map_def* @hash_map to i8*), i8* %193) #2
296 %195 = icmp eq i8* %194, null
297 br i1 %195, label %199, label %196
299 ; <label>:196 ; preds = %187
300 %197 = bitcast i8* %194 to i64*
301 %198 = atomicrmw add i64* %197, i64 1 seq_cst
302 br label %flow_dissector.exit.thread
304 ; <label>:199 ; preds = %187
305 store i64 1, i64* %val, align 8
306 %200 = bitcast i64* %val to i8*
307 %201 = call i32 inttoptr (i64 2 to i32 (i8*, i8*, i8*, i64)*)(i8* bitcast (%struct.bpf_map_def* @hash_map to i8*), i8* %193, i8* %200, i64 0) #2
308 br label %flow_dissector.exit.thread
310 flow_dissector.exit.thread: ; preds = %86, %12, %196, %199
312 ; CHECK-LABEL: bpf_prog2:
313 ; CHECK: ldabs_h r0, r6.data + 12 # encoding: [0x28,0x00,0x00,0x00,0x0c,0x00,0x00,0x00]
314 ; CHECK: ldabs_h r0, r6.data + 16 # encoding: [0x28,0x00,0x00,0x00,0x10,0x00,0x00,0x00]
315 ; CHECK-NOT: implicit
318 ; CHECK: call 1 # encoding: [0x85,0x00,0x00,0x00,0x01,0x00,0x00,0x00]
319 ; CHECK: call 2 # encoding: [0x85,0x00,0x00,0x00,0x02,0x00,0x00,0x00]
322 declare i64 @llvm.bpf.load.half(i8*, i64) #1
324 declare i64 @llvm.bpf.load.word(i8*, i64) #1
326 declare i64 @llvm.bpf.load.byte(i8*, i64) #1