Add conformance test for callx instruction

Alan-Jowett / bpf_conformance

Measures the conformance of a BPF runtime to the ISA.

Other

27 stars 14 forks source link

Add conformance test for callx instruction #195

Closed dthaler closed 9 months ago

dthaler commented 9 months ago

"callx" instructions are generated by both clang (under -O0 or -O1) and gcc (if the experimental -mxbpf option is passed to the compiler), but are not supported by Linux.

Per mailing list discussion at https://mailarchive.ietf.org/arch/msg/bpf/CDQjTO8R8gdPdfeKVnoxWco8_Lw/ the intent is for the Linux verifier to support them eventually. https://github.com/vbpf/ebpf-verifier/pull/584 adds support to PREVAIL so that dependent projects like ebpf-for-windows can use them.

coveralls commented 9 months ago

coverage: 95.829% (+0.02%) from 95.806% when pulling 2c416833554e3fa3712f5c4c311b99c35937b35b on callx into 583758eee4907dd3a356a0f73939751415d46bf7 on main.