def bpf_test
import bend-osdev-bpf@0.1.0.0/bpf.bend as Bpfimport Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I
249def bpf_test(c: I.BpfCond, +a: U32, +v: U32) -> Bool:
250 match c:
251 case I.BpfJeq{}:
252 U32.is_eq(a, v)
253 case I.BpfJgt{}:
254 U32.is_gt(a, v)
255 case I.BpfJge{}:
256 U32.is_ge(a, v)
257 case I.BpfJset{}:
258 Bool.not(U32.is_zero(U32.and(a, v)))