xref: /openbmc/linux/net/bpf/test_run.c (revision bc56c919fce782f616823b76fb70a788f4762cf5)
125763b3cSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
21cf1cae9SAlexei Starovoitov /* Copyright (c) 2017 Facebook
31cf1cae9SAlexei Starovoitov  */
41cf1cae9SAlexei Starovoitov #include <linux/bpf.h>
51cf1cae9SAlexei Starovoitov #include <linux/slab.h>
61cf1cae9SAlexei Starovoitov #include <linux/vmalloc.h>
71cf1cae9SAlexei Starovoitov #include <linux/etherdevice.h>
81cf1cae9SAlexei Starovoitov #include <linux/filter.h>
91cf1cae9SAlexei Starovoitov #include <linux/sched/signal.h>
106ac99e8fSMartin KaFai Lau #include <net/bpf_sk_storage.h>
112cb494a3SSong Liu #include <net/sock.h>
122cb494a3SSong Liu #include <net/tcp.h>
133d08b6f2SKP Singh #include <linux/error-injection.h>
141cf1cae9SAlexei Starovoitov 
15e950e843SMatt Mullins #define CREATE_TRACE_POINTS
16e950e843SMatt Mullins #include <trace/events/bpf_test_run.h>
17e950e843SMatt Mullins 
18df1a2cb7SStanislav Fomichev static int bpf_test_run(struct bpf_prog *prog, void *ctx, u32 repeat,
19f23c4b39SBjörn Töpel 			u32 *retval, u32 *time, bool xdp)
201cf1cae9SAlexei Starovoitov {
2171b91a50SBo YU 	struct bpf_cgroup_storage *storage[MAX_BPF_CGROUP_STORAGE_TYPE] = { NULL };
228bad74f9SRoman Gushchin 	enum bpf_cgroup_storage_type stype;
231cf1cae9SAlexei Starovoitov 	u64 time_start, time_spent = 0;
24df1a2cb7SStanislav Fomichev 	int ret = 0;
25dcb40590SRoman Gushchin 	u32 i;
261cf1cae9SAlexei Starovoitov 
278bad74f9SRoman Gushchin 	for_each_cgroup_storage_type(stype) {
288bad74f9SRoman Gushchin 		storage[stype] = bpf_cgroup_storage_alloc(prog, stype);
298bad74f9SRoman Gushchin 		if (IS_ERR(storage[stype])) {
308bad74f9SRoman Gushchin 			storage[stype] = NULL;
318bad74f9SRoman Gushchin 			for_each_cgroup_storage_type(stype)
328bad74f9SRoman Gushchin 				bpf_cgroup_storage_free(storage[stype]);
338bad74f9SRoman Gushchin 			return -ENOMEM;
348bad74f9SRoman Gushchin 		}
358bad74f9SRoman Gushchin 	}
36f42ee093SRoman Gushchin 
371cf1cae9SAlexei Starovoitov 	if (!repeat)
381cf1cae9SAlexei Starovoitov 		repeat = 1;
39df1a2cb7SStanislav Fomichev 
40df1a2cb7SStanislav Fomichev 	rcu_read_lock();
416eac7795SDavid Miller 	migrate_disable();
421cf1cae9SAlexei Starovoitov 	time_start = ktime_get_ns();
431cf1cae9SAlexei Starovoitov 	for (i = 0; i < repeat; i++) {
44df1a2cb7SStanislav Fomichev 		bpf_cgroup_storage_set(storage);
45f23c4b39SBjörn Töpel 
46f23c4b39SBjörn Töpel 		if (xdp)
47f23c4b39SBjörn Töpel 			*retval = bpf_prog_run_xdp(prog, ctx);
48f23c4b39SBjörn Töpel 		else
49df1a2cb7SStanislav Fomichev 			*retval = BPF_PROG_RUN(prog, ctx);
50df1a2cb7SStanislav Fomichev 
51df1a2cb7SStanislav Fomichev 		if (signal_pending(current)) {
52df1a2cb7SStanislav Fomichev 			ret = -EINTR;
531cf1cae9SAlexei Starovoitov 			break;
54df1a2cb7SStanislav Fomichev 		}
55df1a2cb7SStanislav Fomichev 
56df1a2cb7SStanislav Fomichev 		if (need_resched()) {
571cf1cae9SAlexei Starovoitov 			time_spent += ktime_get_ns() - time_start;
586eac7795SDavid Miller 			migrate_enable();
59df1a2cb7SStanislav Fomichev 			rcu_read_unlock();
60df1a2cb7SStanislav Fomichev 
611cf1cae9SAlexei Starovoitov 			cond_resched();
62df1a2cb7SStanislav Fomichev 
63df1a2cb7SStanislav Fomichev 			rcu_read_lock();
646eac7795SDavid Miller 			migrate_disable();
651cf1cae9SAlexei Starovoitov 			time_start = ktime_get_ns();
661cf1cae9SAlexei Starovoitov 		}
671cf1cae9SAlexei Starovoitov 	}
681cf1cae9SAlexei Starovoitov 	time_spent += ktime_get_ns() - time_start;
696eac7795SDavid Miller 	migrate_enable();
70df1a2cb7SStanislav Fomichev 	rcu_read_unlock();
71df1a2cb7SStanislav Fomichev 
721cf1cae9SAlexei Starovoitov 	do_div(time_spent, repeat);
731cf1cae9SAlexei Starovoitov 	*time = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
741cf1cae9SAlexei Starovoitov 
758bad74f9SRoman Gushchin 	for_each_cgroup_storage_type(stype)
768bad74f9SRoman Gushchin 		bpf_cgroup_storage_free(storage[stype]);
77f42ee093SRoman Gushchin 
78df1a2cb7SStanislav Fomichev 	return ret;
791cf1cae9SAlexei Starovoitov }
801cf1cae9SAlexei Starovoitov 
8178e52272SDavid Miller static int bpf_test_finish(const union bpf_attr *kattr,
8278e52272SDavid Miller 			   union bpf_attr __user *uattr, const void *data,
831cf1cae9SAlexei Starovoitov 			   u32 size, u32 retval, u32 duration)
841cf1cae9SAlexei Starovoitov {
8578e52272SDavid Miller 	void __user *data_out = u64_to_user_ptr(kattr->test.data_out);
861cf1cae9SAlexei Starovoitov 	int err = -EFAULT;
87b5a36b1eSLorenz Bauer 	u32 copy_size = size;
881cf1cae9SAlexei Starovoitov 
89b5a36b1eSLorenz Bauer 	/* Clamp copy if the user has provided a size hint, but copy the full
90b5a36b1eSLorenz Bauer 	 * buffer if not to retain old behaviour.
91b5a36b1eSLorenz Bauer 	 */
92b5a36b1eSLorenz Bauer 	if (kattr->test.data_size_out &&
93b5a36b1eSLorenz Bauer 	    copy_size > kattr->test.data_size_out) {
94b5a36b1eSLorenz Bauer 		copy_size = kattr->test.data_size_out;
95b5a36b1eSLorenz Bauer 		err = -ENOSPC;
96b5a36b1eSLorenz Bauer 	}
97b5a36b1eSLorenz Bauer 
98b5a36b1eSLorenz Bauer 	if (data_out && copy_to_user(data_out, data, copy_size))
991cf1cae9SAlexei Starovoitov 		goto out;
1001cf1cae9SAlexei Starovoitov 	if (copy_to_user(&uattr->test.data_size_out, &size, sizeof(size)))
1011cf1cae9SAlexei Starovoitov 		goto out;
1021cf1cae9SAlexei Starovoitov 	if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
1031cf1cae9SAlexei Starovoitov 		goto out;
1041cf1cae9SAlexei Starovoitov 	if (copy_to_user(&uattr->test.duration, &duration, sizeof(duration)))
1051cf1cae9SAlexei Starovoitov 		goto out;
106b5a36b1eSLorenz Bauer 	if (err != -ENOSPC)
1071cf1cae9SAlexei Starovoitov 		err = 0;
1081cf1cae9SAlexei Starovoitov out:
109e950e843SMatt Mullins 	trace_bpf_test_finish(&err);
1101cf1cae9SAlexei Starovoitov 	return err;
1111cf1cae9SAlexei Starovoitov }
1121cf1cae9SAlexei Starovoitov 
113faeb2dceSAlexei Starovoitov /* Integer types of various sizes and pointer combinations cover variety of
114faeb2dceSAlexei Starovoitov  * architecture dependent calling conventions. 7+ can be supported in the
115faeb2dceSAlexei Starovoitov  * future.
116faeb2dceSAlexei Starovoitov  */
117e9ff9d52SJean-Philippe Menil __diag_push();
118e9ff9d52SJean-Philippe Menil __diag_ignore(GCC, 8, "-Wmissing-prototypes",
119e9ff9d52SJean-Philippe Menil 	      "Global functions as their definitions will be in vmlinux BTF");
120faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test1(int a)
121faeb2dceSAlexei Starovoitov {
122faeb2dceSAlexei Starovoitov 	return a + 1;
123faeb2dceSAlexei Starovoitov }
124faeb2dceSAlexei Starovoitov 
125faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test2(int a, u64 b)
126faeb2dceSAlexei Starovoitov {
127faeb2dceSAlexei Starovoitov 	return a + b;
128faeb2dceSAlexei Starovoitov }
129faeb2dceSAlexei Starovoitov 
130faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test3(char a, int b, u64 c)
131faeb2dceSAlexei Starovoitov {
132faeb2dceSAlexei Starovoitov 	return a + b + c;
133faeb2dceSAlexei Starovoitov }
134faeb2dceSAlexei Starovoitov 
135faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test4(void *a, char b, int c, u64 d)
136faeb2dceSAlexei Starovoitov {
137faeb2dceSAlexei Starovoitov 	return (long)a + b + c + d;
138faeb2dceSAlexei Starovoitov }
139faeb2dceSAlexei Starovoitov 
140faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test5(u64 a, void *b, short c, int d, u64 e)
141faeb2dceSAlexei Starovoitov {
142faeb2dceSAlexei Starovoitov 	return a + (long)b + c + d + e;
143faeb2dceSAlexei Starovoitov }
144faeb2dceSAlexei Starovoitov 
145faeb2dceSAlexei Starovoitov int noinline bpf_fentry_test6(u64 a, void *b, short c, int d, void *e, u64 f)
146faeb2dceSAlexei Starovoitov {
147faeb2dceSAlexei Starovoitov 	return a + (long)b + c + d + (long)e + f;
148faeb2dceSAlexei Starovoitov }
149faeb2dceSAlexei Starovoitov 
1503d08b6f2SKP Singh int noinline bpf_modify_return_test(int a, int *b)
1513d08b6f2SKP Singh {
1523d08b6f2SKP Singh 	*b += 1;
1533d08b6f2SKP Singh 	return a + *b;
1543d08b6f2SKP Singh }
155e9ff9d52SJean-Philippe Menil __diag_pop();
1563d08b6f2SKP Singh 
1573d08b6f2SKP Singh ALLOW_ERROR_INJECTION(bpf_modify_return_test, ERRNO);
1583d08b6f2SKP Singh 
1591cf1cae9SAlexei Starovoitov static void *bpf_test_init(const union bpf_attr *kattr, u32 size,
1601cf1cae9SAlexei Starovoitov 			   u32 headroom, u32 tailroom)
1611cf1cae9SAlexei Starovoitov {
1621cf1cae9SAlexei Starovoitov 	void __user *data_in = u64_to_user_ptr(kattr->test.data_in);
1631cf1cae9SAlexei Starovoitov 	void *data;
1641cf1cae9SAlexei Starovoitov 
1651cf1cae9SAlexei Starovoitov 	if (size < ETH_HLEN || size > PAGE_SIZE - headroom - tailroom)
1661cf1cae9SAlexei Starovoitov 		return ERR_PTR(-EINVAL);
1671cf1cae9SAlexei Starovoitov 
1681cf1cae9SAlexei Starovoitov 	data = kzalloc(size + headroom + tailroom, GFP_USER);
1691cf1cae9SAlexei Starovoitov 	if (!data)
1701cf1cae9SAlexei Starovoitov 		return ERR_PTR(-ENOMEM);
1711cf1cae9SAlexei Starovoitov 
1721cf1cae9SAlexei Starovoitov 	if (copy_from_user(data + headroom, data_in, size)) {
1731cf1cae9SAlexei Starovoitov 		kfree(data);
1741cf1cae9SAlexei Starovoitov 		return ERR_PTR(-EFAULT);
1751cf1cae9SAlexei Starovoitov 	}
176da00d2f1SKP Singh 
177da00d2f1SKP Singh 	return data;
178da00d2f1SKP Singh }
179da00d2f1SKP Singh 
180da00d2f1SKP Singh int bpf_prog_test_run_tracing(struct bpf_prog *prog,
181da00d2f1SKP Singh 			      const union bpf_attr *kattr,
182da00d2f1SKP Singh 			      union bpf_attr __user *uattr)
183da00d2f1SKP Singh {
1843d08b6f2SKP Singh 	u16 side_effect = 0, ret = 0;
1853d08b6f2SKP Singh 	int b = 2, err = -EFAULT;
1863d08b6f2SKP Singh 	u32 retval = 0;
187da00d2f1SKP Singh 
188da00d2f1SKP Singh 	switch (prog->expected_attach_type) {
189da00d2f1SKP Singh 	case BPF_TRACE_FENTRY:
190da00d2f1SKP Singh 	case BPF_TRACE_FEXIT:
191faeb2dceSAlexei Starovoitov 		if (bpf_fentry_test1(1) != 2 ||
192faeb2dceSAlexei Starovoitov 		    bpf_fentry_test2(2, 3) != 5 ||
193faeb2dceSAlexei Starovoitov 		    bpf_fentry_test3(4, 5, 6) != 15 ||
194faeb2dceSAlexei Starovoitov 		    bpf_fentry_test4((void *)7, 8, 9, 10) != 34 ||
195faeb2dceSAlexei Starovoitov 		    bpf_fentry_test5(11, (void *)12, 13, 14, 15) != 65 ||
196da00d2f1SKP Singh 		    bpf_fentry_test6(16, (void *)17, 18, 19, (void *)20, 21) != 111)
197da00d2f1SKP Singh 			goto out;
198da00d2f1SKP Singh 		break;
1993d08b6f2SKP Singh 	case BPF_MODIFY_RETURN:
2003d08b6f2SKP Singh 		ret = bpf_modify_return_test(1, &b);
2013d08b6f2SKP Singh 		if (b != 2)
2023d08b6f2SKP Singh 			side_effect = 1;
2033d08b6f2SKP Singh 		break;
204da00d2f1SKP Singh 	default:
205da00d2f1SKP Singh 		goto out;
206a25ecd9dSColin Ian King 	}
207da00d2f1SKP Singh 
2083d08b6f2SKP Singh 	retval = ((u32)side_effect << 16) | ret;
2093d08b6f2SKP Singh 	if (copy_to_user(&uattr->test.retval, &retval, sizeof(retval)))
2103d08b6f2SKP Singh 		goto out;
2113d08b6f2SKP Singh 
212da00d2f1SKP Singh 	err = 0;
213da00d2f1SKP Singh out:
214da00d2f1SKP Singh 	trace_bpf_test_finish(&err);
215da00d2f1SKP Singh 	return err;
2161cf1cae9SAlexei Starovoitov }
2171cf1cae9SAlexei Starovoitov 
218b0b9395dSStanislav Fomichev static void *bpf_ctx_init(const union bpf_attr *kattr, u32 max_size)
219b0b9395dSStanislav Fomichev {
220b0b9395dSStanislav Fomichev 	void __user *data_in = u64_to_user_ptr(kattr->test.ctx_in);
221b0b9395dSStanislav Fomichev 	void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
222b0b9395dSStanislav Fomichev 	u32 size = kattr->test.ctx_size_in;
223b0b9395dSStanislav Fomichev 	void *data;
224b0b9395dSStanislav Fomichev 	int err;
225b0b9395dSStanislav Fomichev 
226b0b9395dSStanislav Fomichev 	if (!data_in && !data_out)
227b0b9395dSStanislav Fomichev 		return NULL;
228b0b9395dSStanislav Fomichev 
229b0b9395dSStanislav Fomichev 	data = kzalloc(max_size, GFP_USER);
230b0b9395dSStanislav Fomichev 	if (!data)
231b0b9395dSStanislav Fomichev 		return ERR_PTR(-ENOMEM);
232b0b9395dSStanislav Fomichev 
233b0b9395dSStanislav Fomichev 	if (data_in) {
234b0b9395dSStanislav Fomichev 		err = bpf_check_uarg_tail_zero(data_in, max_size, size);
235b0b9395dSStanislav Fomichev 		if (err) {
236b0b9395dSStanislav Fomichev 			kfree(data);
237b0b9395dSStanislav Fomichev 			return ERR_PTR(err);
238b0b9395dSStanislav Fomichev 		}
239b0b9395dSStanislav Fomichev 
240b0b9395dSStanislav Fomichev 		size = min_t(u32, max_size, size);
241b0b9395dSStanislav Fomichev 		if (copy_from_user(data, data_in, size)) {
242b0b9395dSStanislav Fomichev 			kfree(data);
243b0b9395dSStanislav Fomichev 			return ERR_PTR(-EFAULT);
244b0b9395dSStanislav Fomichev 		}
245b0b9395dSStanislav Fomichev 	}
246b0b9395dSStanislav Fomichev 	return data;
247b0b9395dSStanislav Fomichev }
248b0b9395dSStanislav Fomichev 
249b0b9395dSStanislav Fomichev static int bpf_ctx_finish(const union bpf_attr *kattr,
250b0b9395dSStanislav Fomichev 			  union bpf_attr __user *uattr, const void *data,
251b0b9395dSStanislav Fomichev 			  u32 size)
252b0b9395dSStanislav Fomichev {
253b0b9395dSStanislav Fomichev 	void __user *data_out = u64_to_user_ptr(kattr->test.ctx_out);
254b0b9395dSStanislav Fomichev 	int err = -EFAULT;
255b0b9395dSStanislav Fomichev 	u32 copy_size = size;
256b0b9395dSStanislav Fomichev 
257b0b9395dSStanislav Fomichev 	if (!data || !data_out)
258b0b9395dSStanislav Fomichev 		return 0;
259b0b9395dSStanislav Fomichev 
260b0b9395dSStanislav Fomichev 	if (copy_size > kattr->test.ctx_size_out) {
261b0b9395dSStanislav Fomichev 		copy_size = kattr->test.ctx_size_out;
262b0b9395dSStanislav Fomichev 		err = -ENOSPC;
263b0b9395dSStanislav Fomichev 	}
264b0b9395dSStanislav Fomichev 
265b0b9395dSStanislav Fomichev 	if (copy_to_user(data_out, data, copy_size))
266b0b9395dSStanislav Fomichev 		goto out;
267b0b9395dSStanislav Fomichev 	if (copy_to_user(&uattr->test.ctx_size_out, &size, sizeof(size)))
268b0b9395dSStanislav Fomichev 		goto out;
269b0b9395dSStanislav Fomichev 	if (err != -ENOSPC)
270b0b9395dSStanislav Fomichev 		err = 0;
271b0b9395dSStanislav Fomichev out:
272b0b9395dSStanislav Fomichev 	return err;
273b0b9395dSStanislav Fomichev }
274b0b9395dSStanislav Fomichev 
275b0b9395dSStanislav Fomichev /**
276b0b9395dSStanislav Fomichev  * range_is_zero - test whether buffer is initialized
277b0b9395dSStanislav Fomichev  * @buf: buffer to check
278b0b9395dSStanislav Fomichev  * @from: check from this position
279b0b9395dSStanislav Fomichev  * @to: check up until (excluding) this position
280b0b9395dSStanislav Fomichev  *
281b0b9395dSStanislav Fomichev  * This function returns true if the there is a non-zero byte
282b0b9395dSStanislav Fomichev  * in the buf in the range [from,to).
283b0b9395dSStanislav Fomichev  */
284b0b9395dSStanislav Fomichev static inline bool range_is_zero(void *buf, size_t from, size_t to)
285b0b9395dSStanislav Fomichev {
286b0b9395dSStanislav Fomichev 	return !memchr_inv((u8 *)buf + from, 0, to - from);
287b0b9395dSStanislav Fomichev }
288b0b9395dSStanislav Fomichev 
289b0b9395dSStanislav Fomichev static int convert___skb_to_skb(struct sk_buff *skb, struct __sk_buff *__skb)
290b0b9395dSStanislav Fomichev {
291b0b9395dSStanislav Fomichev 	struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
292b0b9395dSStanislav Fomichev 
293b0b9395dSStanislav Fomichev 	if (!__skb)
294b0b9395dSStanislav Fomichev 		return 0;
295b0b9395dSStanislav Fomichev 
296b0b9395dSStanislav Fomichev 	/* make sure the fields we don't use are zeroed */
2976de6c1f8SNikita V. Shirokov 	if (!range_is_zero(__skb, 0, offsetof(struct __sk_buff, mark)))
2986de6c1f8SNikita V. Shirokov 		return -EINVAL;
2996de6c1f8SNikita V. Shirokov 
3006de6c1f8SNikita V. Shirokov 	/* mark is allowed */
3016de6c1f8SNikita V. Shirokov 
3026de6c1f8SNikita V. Shirokov 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, mark),
3036de6c1f8SNikita V. Shirokov 			   offsetof(struct __sk_buff, priority)))
304b0b9395dSStanislav Fomichev 		return -EINVAL;
305b0b9395dSStanislav Fomichev 
306b0b9395dSStanislav Fomichev 	/* priority is allowed */
307b0b9395dSStanislav Fomichev 
308b590cb5fSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, priority),
309b0b9395dSStanislav Fomichev 			   offsetof(struct __sk_buff, cb)))
310b0b9395dSStanislav Fomichev 		return -EINVAL;
311b0b9395dSStanislav Fomichev 
312b0b9395dSStanislav Fomichev 	/* cb is allowed */
313b0b9395dSStanislav Fomichev 
314b590cb5fSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, cb),
315ba940948SStanislav Fomichev 			   offsetof(struct __sk_buff, tstamp)))
316ba940948SStanislav Fomichev 		return -EINVAL;
317ba940948SStanislav Fomichev 
318ba940948SStanislav Fomichev 	/* tstamp is allowed */
319850a88ccSStanislav Fomichev 	/* wire_len is allowed */
320850a88ccSStanislav Fomichev 	/* gso_segs is allowed */
321ba940948SStanislav Fomichev 
322850a88ccSStanislav Fomichev 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_segs),
323cf62089bSWillem de Bruijn 			   offsetof(struct __sk_buff, gso_size)))
324cf62089bSWillem de Bruijn 		return -EINVAL;
325cf62089bSWillem de Bruijn 
326cf62089bSWillem de Bruijn 	/* gso_size is allowed */
327cf62089bSWillem de Bruijn 
328cf62089bSWillem de Bruijn 	if (!range_is_zero(__skb, offsetofend(struct __sk_buff, gso_size),
329b0b9395dSStanislav Fomichev 			   sizeof(struct __sk_buff)))
330b0b9395dSStanislav Fomichev 		return -EINVAL;
331b0b9395dSStanislav Fomichev 
3326de6c1f8SNikita V. Shirokov 	skb->mark = __skb->mark;
333b0b9395dSStanislav Fomichev 	skb->priority = __skb->priority;
334ba940948SStanislav Fomichev 	skb->tstamp = __skb->tstamp;
335b0b9395dSStanislav Fomichev 	memcpy(&cb->data, __skb->cb, QDISC_CB_PRIV_LEN);
336b0b9395dSStanislav Fomichev 
337850a88ccSStanislav Fomichev 	if (__skb->wire_len == 0) {
338850a88ccSStanislav Fomichev 		cb->pkt_len = skb->len;
339850a88ccSStanislav Fomichev 	} else {
340850a88ccSStanislav Fomichev 		if (__skb->wire_len < skb->len ||
341850a88ccSStanislav Fomichev 		    __skb->wire_len > GSO_MAX_SIZE)
342850a88ccSStanislav Fomichev 			return -EINVAL;
343850a88ccSStanislav Fomichev 		cb->pkt_len = __skb->wire_len;
344850a88ccSStanislav Fomichev 	}
345850a88ccSStanislav Fomichev 
346850a88ccSStanislav Fomichev 	if (__skb->gso_segs > GSO_MAX_SEGS)
347850a88ccSStanislav Fomichev 		return -EINVAL;
348850a88ccSStanislav Fomichev 	skb_shinfo(skb)->gso_segs = __skb->gso_segs;
349cf62089bSWillem de Bruijn 	skb_shinfo(skb)->gso_size = __skb->gso_size;
350850a88ccSStanislav Fomichev 
351b0b9395dSStanislav Fomichev 	return 0;
352b0b9395dSStanislav Fomichev }
353b0b9395dSStanislav Fomichev 
354b0b9395dSStanislav Fomichev static void convert_skb_to___skb(struct sk_buff *skb, struct __sk_buff *__skb)
355b0b9395dSStanislav Fomichev {
356b0b9395dSStanislav Fomichev 	struct qdisc_skb_cb *cb = (struct qdisc_skb_cb *)skb->cb;
357b0b9395dSStanislav Fomichev 
358b0b9395dSStanislav Fomichev 	if (!__skb)
359b0b9395dSStanislav Fomichev 		return;
360b0b9395dSStanislav Fomichev 
3616de6c1f8SNikita V. Shirokov 	__skb->mark = skb->mark;
362b0b9395dSStanislav Fomichev 	__skb->priority = skb->priority;
363ba940948SStanislav Fomichev 	__skb->tstamp = skb->tstamp;
364b0b9395dSStanislav Fomichev 	memcpy(__skb->cb, &cb->data, QDISC_CB_PRIV_LEN);
365850a88ccSStanislav Fomichev 	__skb->wire_len = cb->pkt_len;
366850a88ccSStanislav Fomichev 	__skb->gso_segs = skb_shinfo(skb)->gso_segs;
367b0b9395dSStanislav Fomichev }
368b0b9395dSStanislav Fomichev 
3691cf1cae9SAlexei Starovoitov int bpf_prog_test_run_skb(struct bpf_prog *prog, const union bpf_attr *kattr,
3701cf1cae9SAlexei Starovoitov 			  union bpf_attr __user *uattr)
3711cf1cae9SAlexei Starovoitov {
3721cf1cae9SAlexei Starovoitov 	bool is_l2 = false, is_direct_pkt_access = false;
3731cf1cae9SAlexei Starovoitov 	u32 size = kattr->test.data_size_in;
3741cf1cae9SAlexei Starovoitov 	u32 repeat = kattr->test.repeat;
375b0b9395dSStanislav Fomichev 	struct __sk_buff *ctx = NULL;
3761cf1cae9SAlexei Starovoitov 	u32 retval, duration;
3776e6fddc7SDaniel Borkmann 	int hh_len = ETH_HLEN;
3781cf1cae9SAlexei Starovoitov 	struct sk_buff *skb;
3792cb494a3SSong Liu 	struct sock *sk;
3801cf1cae9SAlexei Starovoitov 	void *data;
3811cf1cae9SAlexei Starovoitov 	int ret;
3821cf1cae9SAlexei Starovoitov 
383586f8525SDavid Miller 	data = bpf_test_init(kattr, size, NET_SKB_PAD + NET_IP_ALIGN,
3841cf1cae9SAlexei Starovoitov 			     SKB_DATA_ALIGN(sizeof(struct skb_shared_info)));
3851cf1cae9SAlexei Starovoitov 	if (IS_ERR(data))
3861cf1cae9SAlexei Starovoitov 		return PTR_ERR(data);
3871cf1cae9SAlexei Starovoitov 
388b0b9395dSStanislav Fomichev 	ctx = bpf_ctx_init(kattr, sizeof(struct __sk_buff));
389b0b9395dSStanislav Fomichev 	if (IS_ERR(ctx)) {
390b0b9395dSStanislav Fomichev 		kfree(data);
391b0b9395dSStanislav Fomichev 		return PTR_ERR(ctx);
392b0b9395dSStanislav Fomichev 	}
393b0b9395dSStanislav Fomichev 
3941cf1cae9SAlexei Starovoitov 	switch (prog->type) {
3951cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_SCHED_CLS:
3961cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_SCHED_ACT:
3971cf1cae9SAlexei Starovoitov 		is_l2 = true;
3981cf1cae9SAlexei Starovoitov 		/* fall through */
3991cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_IN:
4001cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_OUT:
4011cf1cae9SAlexei Starovoitov 	case BPF_PROG_TYPE_LWT_XMIT:
4021cf1cae9SAlexei Starovoitov 		is_direct_pkt_access = true;
4031cf1cae9SAlexei Starovoitov 		break;
4041cf1cae9SAlexei Starovoitov 	default:
4051cf1cae9SAlexei Starovoitov 		break;
4061cf1cae9SAlexei Starovoitov 	}
4071cf1cae9SAlexei Starovoitov 
4082cb494a3SSong Liu 	sk = kzalloc(sizeof(struct sock), GFP_USER);
4092cb494a3SSong Liu 	if (!sk) {
4101cf1cae9SAlexei Starovoitov 		kfree(data);
411b0b9395dSStanislav Fomichev 		kfree(ctx);
4121cf1cae9SAlexei Starovoitov 		return -ENOMEM;
4131cf1cae9SAlexei Starovoitov 	}
4142cb494a3SSong Liu 	sock_net_set(sk, current->nsproxy->net_ns);
4152cb494a3SSong Liu 	sock_init_data(NULL, sk);
4162cb494a3SSong Liu 
4172cb494a3SSong Liu 	skb = build_skb(data, 0);
4182cb494a3SSong Liu 	if (!skb) {
4192cb494a3SSong Liu 		kfree(data);
420b0b9395dSStanislav Fomichev 		kfree(ctx);
4212cb494a3SSong Liu 		kfree(sk);
4222cb494a3SSong Liu 		return -ENOMEM;
4232cb494a3SSong Liu 	}
4242cb494a3SSong Liu 	skb->sk = sk;
4251cf1cae9SAlexei Starovoitov 
426586f8525SDavid Miller 	skb_reserve(skb, NET_SKB_PAD + NET_IP_ALIGN);
4271cf1cae9SAlexei Starovoitov 	__skb_put(skb, size);
4281cf1cae9SAlexei Starovoitov 	skb->protocol = eth_type_trans(skb, current->nsproxy->net_ns->loopback_dev);
4291cf1cae9SAlexei Starovoitov 	skb_reset_network_header(skb);
4301cf1cae9SAlexei Starovoitov 
4311cf1cae9SAlexei Starovoitov 	if (is_l2)
4326e6fddc7SDaniel Borkmann 		__skb_push(skb, hh_len);
4331cf1cae9SAlexei Starovoitov 	if (is_direct_pkt_access)
4346aaae2b6SDaniel Borkmann 		bpf_compute_data_pointers(skb);
435b0b9395dSStanislav Fomichev 	ret = convert___skb_to_skb(skb, ctx);
436b0b9395dSStanislav Fomichev 	if (ret)
437b0b9395dSStanislav Fomichev 		goto out;
438f23c4b39SBjörn Töpel 	ret = bpf_test_run(prog, skb, repeat, &retval, &duration, false);
439b0b9395dSStanislav Fomichev 	if (ret)
440b0b9395dSStanislav Fomichev 		goto out;
4416e6fddc7SDaniel Borkmann 	if (!is_l2) {
4426e6fddc7SDaniel Borkmann 		if (skb_headroom(skb) < hh_len) {
4436e6fddc7SDaniel Borkmann 			int nhead = HH_DATA_ALIGN(hh_len - skb_headroom(skb));
4446e6fddc7SDaniel Borkmann 
4456e6fddc7SDaniel Borkmann 			if (pskb_expand_head(skb, nhead, 0, GFP_USER)) {
446b0b9395dSStanislav Fomichev 				ret = -ENOMEM;
447b0b9395dSStanislav Fomichev 				goto out;
4486e6fddc7SDaniel Borkmann 			}
4496e6fddc7SDaniel Borkmann 		}
4506e6fddc7SDaniel Borkmann 		memset(__skb_push(skb, hh_len), 0, hh_len);
4516e6fddc7SDaniel Borkmann 	}
452b0b9395dSStanislav Fomichev 	convert_skb_to___skb(skb, ctx);
4536e6fddc7SDaniel Borkmann 
4541cf1cae9SAlexei Starovoitov 	size = skb->len;
4551cf1cae9SAlexei Starovoitov 	/* bpf program can never convert linear skb to non-linear */
4561cf1cae9SAlexei Starovoitov 	if (WARN_ON_ONCE(skb_is_nonlinear(skb)))
4571cf1cae9SAlexei Starovoitov 		size = skb_headlen(skb);
45878e52272SDavid Miller 	ret = bpf_test_finish(kattr, uattr, skb->data, size, retval, duration);
459b0b9395dSStanislav Fomichev 	if (!ret)
460b0b9395dSStanislav Fomichev 		ret = bpf_ctx_finish(kattr, uattr, ctx,
461b0b9395dSStanislav Fomichev 				     sizeof(struct __sk_buff));
462b0b9395dSStanislav Fomichev out:
4631cf1cae9SAlexei Starovoitov 	kfree_skb(skb);
4646ac99e8fSMartin KaFai Lau 	bpf_sk_storage_free(sk);
4652cb494a3SSong Liu 	kfree(sk);
466b0b9395dSStanislav Fomichev 	kfree(ctx);
4671cf1cae9SAlexei Starovoitov 	return ret;
4681cf1cae9SAlexei Starovoitov }
4691cf1cae9SAlexei Starovoitov 
4701cf1cae9SAlexei Starovoitov int bpf_prog_test_run_xdp(struct bpf_prog *prog, const union bpf_attr *kattr,
4711cf1cae9SAlexei Starovoitov 			  union bpf_attr __user *uattr)
4721cf1cae9SAlexei Starovoitov {
473*bc56c919SJesper Dangaard Brouer 	u32 tailroom = SKB_DATA_ALIGN(sizeof(struct skb_shared_info));
474*bc56c919SJesper Dangaard Brouer 	u32 headroom = XDP_PACKET_HEADROOM;
4751cf1cae9SAlexei Starovoitov 	u32 size = kattr->test.data_size_in;
4761cf1cae9SAlexei Starovoitov 	u32 repeat = kattr->test.repeat;
47765073a67SDaniel Borkmann 	struct netdev_rx_queue *rxqueue;
4781cf1cae9SAlexei Starovoitov 	struct xdp_buff xdp = {};
4791cf1cae9SAlexei Starovoitov 	u32 retval, duration;
480*bc56c919SJesper Dangaard Brouer 	u32 max_data_sz;
4811cf1cae9SAlexei Starovoitov 	void *data;
4821cf1cae9SAlexei Starovoitov 	int ret;
4831cf1cae9SAlexei Starovoitov 
484947e8b59SStanislav Fomichev 	if (kattr->test.ctx_in || kattr->test.ctx_out)
485947e8b59SStanislav Fomichev 		return -EINVAL;
486947e8b59SStanislav Fomichev 
487*bc56c919SJesper Dangaard Brouer 	/* XDP have extra tailroom as (most) drivers use full page */
488*bc56c919SJesper Dangaard Brouer 	max_data_sz = 4096 - headroom - tailroom;
489*bc56c919SJesper Dangaard Brouer 	if (size > max_data_sz)
490*bc56c919SJesper Dangaard Brouer 		return -EINVAL;
491*bc56c919SJesper Dangaard Brouer 
492*bc56c919SJesper Dangaard Brouer 	data = bpf_test_init(kattr, max_data_sz, headroom, tailroom);
4931cf1cae9SAlexei Starovoitov 	if (IS_ERR(data))
4941cf1cae9SAlexei Starovoitov 		return PTR_ERR(data);
4951cf1cae9SAlexei Starovoitov 
4961cf1cae9SAlexei Starovoitov 	xdp.data_hard_start = data;
497*bc56c919SJesper Dangaard Brouer 	xdp.data = data + headroom;
498de8f3a83SDaniel Borkmann 	xdp.data_meta = xdp.data;
4991cf1cae9SAlexei Starovoitov 	xdp.data_end = xdp.data + size;
500*bc56c919SJesper Dangaard Brouer 	xdp.frame_sz = headroom + max_data_sz + tailroom;
5011cf1cae9SAlexei Starovoitov 
50265073a67SDaniel Borkmann 	rxqueue = __netif_get_rx_queue(current->nsproxy->net_ns->loopback_dev, 0);
50365073a67SDaniel Borkmann 	xdp.rxq = &rxqueue->xdp_rxq;
504f23c4b39SBjörn Töpel 	bpf_prog_change_xdp(NULL, prog);
505f23c4b39SBjörn Töpel 	ret = bpf_test_run(prog, &xdp, repeat, &retval, &duration, true);
506dcb40590SRoman Gushchin 	if (ret)
507dcb40590SRoman Gushchin 		goto out;
508*bc56c919SJesper Dangaard Brouer 	if (xdp.data != data + headroom || xdp.data_end != xdp.data + size)
5091cf1cae9SAlexei Starovoitov 		size = xdp.data_end - xdp.data;
51078e52272SDavid Miller 	ret = bpf_test_finish(kattr, uattr, xdp.data, size, retval, duration);
511dcb40590SRoman Gushchin out:
512f23c4b39SBjörn Töpel 	bpf_prog_change_xdp(prog, NULL);
5131cf1cae9SAlexei Starovoitov 	kfree(data);
5141cf1cae9SAlexei Starovoitov 	return ret;
5151cf1cae9SAlexei Starovoitov }
516b7a1848eSStanislav Fomichev 
517b2ca4e1cSStanislav Fomichev static int verify_user_bpf_flow_keys(struct bpf_flow_keys *ctx)
518b2ca4e1cSStanislav Fomichev {
519b2ca4e1cSStanislav Fomichev 	/* make sure the fields we don't use are zeroed */
520b2ca4e1cSStanislav Fomichev 	if (!range_is_zero(ctx, 0, offsetof(struct bpf_flow_keys, flags)))
521b2ca4e1cSStanislav Fomichev 		return -EINVAL;
522b2ca4e1cSStanislav Fomichev 
523b2ca4e1cSStanislav Fomichev 	/* flags is allowed */
524b2ca4e1cSStanislav Fomichev 
525b590cb5fSStanislav Fomichev 	if (!range_is_zero(ctx, offsetofend(struct bpf_flow_keys, flags),
526b2ca4e1cSStanislav Fomichev 			   sizeof(struct bpf_flow_keys)))
527b2ca4e1cSStanislav Fomichev 		return -EINVAL;
528b2ca4e1cSStanislav Fomichev 
529b2ca4e1cSStanislav Fomichev 	return 0;
530b2ca4e1cSStanislav Fomichev }
531b2ca4e1cSStanislav Fomichev 
532b7a1848eSStanislav Fomichev int bpf_prog_test_run_flow_dissector(struct bpf_prog *prog,
533b7a1848eSStanislav Fomichev 				     const union bpf_attr *kattr,
534b7a1848eSStanislav Fomichev 				     union bpf_attr __user *uattr)
535b7a1848eSStanislav Fomichev {
536b7a1848eSStanislav Fomichev 	u32 size = kattr->test.data_size_in;
5377b8a1304SStanislav Fomichev 	struct bpf_flow_dissector ctx = {};
538b7a1848eSStanislav Fomichev 	u32 repeat = kattr->test.repeat;
539b2ca4e1cSStanislav Fomichev 	struct bpf_flow_keys *user_ctx;
540b7a1848eSStanislav Fomichev 	struct bpf_flow_keys flow_keys;
541b7a1848eSStanislav Fomichev 	u64 time_start, time_spent = 0;
5427b8a1304SStanislav Fomichev 	const struct ethhdr *eth;
543b2ca4e1cSStanislav Fomichev 	unsigned int flags = 0;
544b7a1848eSStanislav Fomichev 	u32 retval, duration;
545b7a1848eSStanislav Fomichev 	void *data;
546b7a1848eSStanislav Fomichev 	int ret;
547b7a1848eSStanislav Fomichev 	u32 i;
548b7a1848eSStanislav Fomichev 
549b7a1848eSStanislav Fomichev 	if (prog->type != BPF_PROG_TYPE_FLOW_DISSECTOR)
550b7a1848eSStanislav Fomichev 		return -EINVAL;
551b7a1848eSStanislav Fomichev 
5527b8a1304SStanislav Fomichev 	if (size < ETH_HLEN)
5537b8a1304SStanislav Fomichev 		return -EINVAL;
5547b8a1304SStanislav Fomichev 
5557b8a1304SStanislav Fomichev 	data = bpf_test_init(kattr, size, 0, 0);
556b7a1848eSStanislav Fomichev 	if (IS_ERR(data))
557b7a1848eSStanislav Fomichev 		return PTR_ERR(data);
558b7a1848eSStanislav Fomichev 
5597b8a1304SStanislav Fomichev 	eth = (struct ethhdr *)data;
560b7a1848eSStanislav Fomichev 
561b7a1848eSStanislav Fomichev 	if (!repeat)
562b7a1848eSStanislav Fomichev 		repeat = 1;
563b7a1848eSStanislav Fomichev 
564b2ca4e1cSStanislav Fomichev 	user_ctx = bpf_ctx_init(kattr, sizeof(struct bpf_flow_keys));
565b2ca4e1cSStanislav Fomichev 	if (IS_ERR(user_ctx)) {
566b2ca4e1cSStanislav Fomichev 		kfree(data);
567b2ca4e1cSStanislav Fomichev 		return PTR_ERR(user_ctx);
568b2ca4e1cSStanislav Fomichev 	}
569b2ca4e1cSStanislav Fomichev 	if (user_ctx) {
570b2ca4e1cSStanislav Fomichev 		ret = verify_user_bpf_flow_keys(user_ctx);
571b2ca4e1cSStanislav Fomichev 		if (ret)
572b2ca4e1cSStanislav Fomichev 			goto out;
573b2ca4e1cSStanislav Fomichev 		flags = user_ctx->flags;
574b2ca4e1cSStanislav Fomichev 	}
575b2ca4e1cSStanislav Fomichev 
5767b8a1304SStanislav Fomichev 	ctx.flow_keys = &flow_keys;
5777b8a1304SStanislav Fomichev 	ctx.data = data;
5787b8a1304SStanislav Fomichev 	ctx.data_end = (__u8 *)data + size;
5797b8a1304SStanislav Fomichev 
580a439184dSStanislav Fomichev 	rcu_read_lock();
581a439184dSStanislav Fomichev 	preempt_disable();
582b7a1848eSStanislav Fomichev 	time_start = ktime_get_ns();
583b7a1848eSStanislav Fomichev 	for (i = 0; i < repeat; i++) {
5847b8a1304SStanislav Fomichev 		retval = bpf_flow_dissect(prog, &ctx, eth->h_proto, ETH_HLEN,
585b2ca4e1cSStanislav Fomichev 					  size, flags);
5867b8a1304SStanislav Fomichev 
587a439184dSStanislav Fomichev 		if (signal_pending(current)) {
588b7a1848eSStanislav Fomichev 			preempt_enable();
589a439184dSStanislav Fomichev 			rcu_read_unlock();
590a439184dSStanislav Fomichev 
591a439184dSStanislav Fomichev 			ret = -EINTR;
592a439184dSStanislav Fomichev 			goto out;
593a439184dSStanislav Fomichev 		}
594b7a1848eSStanislav Fomichev 
595b7a1848eSStanislav Fomichev 		if (need_resched()) {
596b7a1848eSStanislav Fomichev 			time_spent += ktime_get_ns() - time_start;
597a439184dSStanislav Fomichev 			preempt_enable();
598a439184dSStanislav Fomichev 			rcu_read_unlock();
599a439184dSStanislav Fomichev 
600b7a1848eSStanislav Fomichev 			cond_resched();
601a439184dSStanislav Fomichev 
602a439184dSStanislav Fomichev 			rcu_read_lock();
603a439184dSStanislav Fomichev 			preempt_disable();
604b7a1848eSStanislav Fomichev 			time_start = ktime_get_ns();
605b7a1848eSStanislav Fomichev 		}
606b7a1848eSStanislav Fomichev 	}
607b7a1848eSStanislav Fomichev 	time_spent += ktime_get_ns() - time_start;
608a439184dSStanislav Fomichev 	preempt_enable();
609a439184dSStanislav Fomichev 	rcu_read_unlock();
610a439184dSStanislav Fomichev 
611b7a1848eSStanislav Fomichev 	do_div(time_spent, repeat);
612b7a1848eSStanislav Fomichev 	duration = time_spent > U32_MAX ? U32_MAX : (u32)time_spent;
613b7a1848eSStanislav Fomichev 
614b7a1848eSStanislav Fomichev 	ret = bpf_test_finish(kattr, uattr, &flow_keys, sizeof(flow_keys),
615b7a1848eSStanislav Fomichev 			      retval, duration);
616b2ca4e1cSStanislav Fomichev 	if (!ret)
617b2ca4e1cSStanislav Fomichev 		ret = bpf_ctx_finish(kattr, uattr, user_ctx,
618b2ca4e1cSStanislav Fomichev 				     sizeof(struct bpf_flow_keys));
619b7a1848eSStanislav Fomichev 
620a439184dSStanislav Fomichev out:
621b2ca4e1cSStanislav Fomichev 	kfree(user_ctx);
6227b8a1304SStanislav Fomichev 	kfree(data);
623b7a1848eSStanislav Fomichev 	return ret;
624b7a1848eSStanislav Fomichev }
625