#define BTF_TYPES \"\0int\0i\0ctx\0callback\0main\0" , \/* 1: int */ BTF_TYPE_INT_ENC(1, BTF_INT_SIGNED, 0, 32, 4), \ /* 2: int* */ BTF_PTR_ENC(1), \ /* 3: void* */ BTF_PTR_ENC(0), \ /* 4: int __(void*) */ BTF_FUNC_PROTO_ENC(1, 1), \ 7 , 3 ), \/* 5: int __(int, int*) */ BTF_FUNC_PROTO_ENC(1, 2), \ 5 , 1 ), \7 , 2 ), \/* 6: main */ BTF_FUNC_ENC(20, 4), \ /* 7: callback */ BTF_FUNC_ENC(11, 5), \ #define MAIN_TYPE 6 #define CALLBACK_TYPE 7 /* can't use BPF_CALL_REL, jit_subprogs adjusts IMM & OFF * fields for pseudo calls #define PSEUDO_CALL_INSN() \0 , BPF_PSEUDO_CALL, \/* can't use BPF_FUNC_loop constant, * do_mix_fixups adjusts the IMM field #define HELPER_CALL_INSN() \0 , 0 , INSN_OFF_MASK, INSN_IMM_MASK)"inline simple bpf_loop call" ,/* main */ /* force verifier state branching to verify logic on first and * subsequent bpf_loop insn processing steps 0 , 0 , 0 , BPF_FUNC_jiffies64),777 , 2 ),1 ),0 , 0 , 1 ),2 ),0 , 6 ),0 , 0 , 0 , 0 , 0 ),0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),0 ),/* callback */ 1 ),0 ,0 , MAIN_TYPE }, { 12 , CALLBACK_TYPE } },2 ,"don't inline bpf_loop call, flags non-zero" ,/* main */ 0 , 0 , 0 , BPF_FUNC_jiffies64),0 , 0 , 0 , BPF_FUNC_jiffies64),0 , 9 ),0 ),0 , 0 ),1 ),0 , 7 ),0 , 0 , 0 , 0 , 0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),0 ),1 ),0 , 0 , -10 ),/* callback */ 1 ),0 ,0 , MAIN_TYPE }, { 16 , CALLBACK_TYPE } },2 ,"don't inline bpf_loop call, callback non-constant" ,/* main */ 0 , 0 , 0 , BPF_FUNC_jiffies64),777 , 4 ), /* pick a random callback */ 1 ),0 , 10 ),0 , 0 , 0 , 0 , 0 ),0 , 0 , 3 ),1 ),0 , 8 ),0 , 0 , 0 , 0 , 0 ),0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),0 ),/* callback */ 1 ),/* callback #2 */ 1 ),0 ,0 , MAIN_TYPE },14 , CALLBACK_TYPE },16 , CALLBACK_TYPE }3 ,"bpf_loop_inline and a dead func" ,/* main */ /* A reference to callback #1 to make verifier count it as a func. * This reference is overwritten below and callback #1 is dead. 0 , 9 ),0 , 0 , 0 , 0 , 0 ),1 ),0 , 8 ),0 , 0 , 0 , 0 , 0 ),0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),0 ),/* callback */ 1 ),/* callback #2 */ 1 ),0 ,0 , MAIN_TYPE },10 , CALLBACK_TYPE },12 , CALLBACK_TYPE }3 ,"bpf_loop_inline stack locations for loop vars" ,/* main */ 12 , 0 x77),/* bpf_loop call #1 */ 1 ),0 , 22 ),0 , 0 , 0 , 0 , 0 ),0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),/* bpf_loop call #2 */ 2 ),0 , 16 ),0 , 0 , 0 , 0 , 0 ),0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),/* call func and exit */ 2 ),0 ),/* func */ 32 , 0 x55),2 ),0 , 6 ),0 , 0 , 0 , 0 , 0 ),0 ),0 ),0 , 0 , 0 , BPF_FUNC_loop),0 ),/* callback */ 1 ),12 , 0 x77),40 ),32 ),24 ),/* offsets are the same as in the first call */ 40 ),32 ),24 ),32 , 0 x55),/* offsets differ from main because of different offset * in BPF_ST_MEM instruction 56 ),48 ),40 ),0 , MAIN_TYPE },16 , MAIN_TYPE },25 , CALLBACK_TYPE },3 ,"inline bpf_loop call in a big program" ,0 , MAIN_TYPE }, { 16 , CALLBACK_TYPE } },2 ,#undef HELPER_CALL_INSN#undef PSEUDO_CALL_INSN#undef CALLBACK_TYPE#undef MAIN_TYPE#undef BTF_TYPES
Messung V0.5 in Prozent C=95 H=89 G=91
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet am 2026-06-08)
¤ *© Formatika GbR, Deutschland
