1193323Sed// SPDX-License-Identifier: GPL-2.0
2193323Sed/* Copyright (c) 2021 Facebook */
3193323Sed
4193323Sed#include <test_progs.h>
5193323Sed
6193323Sed#include "trace_vprintk.lskel.h"
7193323Sed
8193323Sedvoid test_verif_stats(void)
9193323Sed{
10218893Sdim	__u32 len = sizeof(struct bpf_prog_info);
11218893Sdim	struct trace_vprintk_lskel *skel;
12193323Sed	struct bpf_prog_info info = {};
13193323Sed	int err;
14193323Sed
15193323Sed	skel = trace_vprintk_lskel__open_and_load();
16218893Sdim	if (!ASSERT_OK_PTR(skel, "trace_vprintk__open_and_load"))
17249423Sdim		goto cleanup;
18249423Sdim
19251662Sdim	err = bpf_prog_get_info_by_fd(skel->progs.sys_enter.prog_fd,
20218893Sdim				      &info, &len);
21288943Sdim	if (!ASSERT_OK(err, "bpf_prog_get_info_by_fd"))
22288943Sdim		goto cleanup;
23193323Sed
24193323Sed	if (!ASSERT_GT(info.verified_insns, 0, "verified_insns"))
25193323Sed		goto cleanup;
26193323Sed
27288943Sdimcleanup:
28288943Sdim	trace_vprintk_lskel__destroy(skel);
29251662Sdim}
30251662Sdim