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