Home | History | Annotate | Download | only in bpfjit

Lines Matching defs:insn_count

110 	size_t insn_count = sizeof(insns) / sizeof(insns[0]);
114 ATF_CHECK(prog_validate(insns, insn_count));
115 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 17);
131 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
145 ATF_CHECK(!prog_validate(insns, insn_count));
148 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 13);
168 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
172 ATF_CHECK(prog_validate(insns, insn_count));
173 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
193 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
197 ATF_CHECK(prog_validate(insns, insn_count));
198 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
218 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
222 ATF_CHECK(prog_validate(insns, insn_count));
223 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
242 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
246 //ATF_CHECK(prog_validate(insns, insn_count));
247 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
267 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
271 ATF_CHECK(prog_validate(insns, insn_count));
272 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
292 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
296 ATF_CHECK(prog_validate(insns, insn_count));
297 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
317 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
321 ATF_CHECK(prog_validate(insns, insn_count));
322 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
342 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
346 ATF_CHECK(prog_validate(insns, insn_count));
347 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
367 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
371 ATF_CHECK(prog_validate(insns, insn_count));
372 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
392 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
396 ATF_CHECK(prog_validate(insns, insn_count));
397 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
417 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
421 ATF_CHECK(prog_validate(insns, insn_count));
422 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
441 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
445 //ATF_CHECK(prog_validate(insns, insn_count));
446 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
466 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
470 ATF_CHECK(prog_validate(insns, insn_count));
471 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
491 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
495 ATF_CHECK(prog_validate(insns, insn_count));
496 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
516 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
520 ATF_CHECK(prog_validate(insns, insn_count));
521 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
541 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
545 ATF_CHECK(prog_validate(insns, insn_count));
546 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
566 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
570 ATF_CHECK(prog_validate(insns, insn_count));
571 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
591 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
595 ATF_CHECK(prog_validate(insns, insn_count));
596 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3039531);
616 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
620 ATF_CHECK(prog_validate(insns, insn_count));
621 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
641 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
645 ATF_CHECK(prog_validate(insns, insn_count));
646 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
666 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
670 insn_count));
671 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
691 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
695 ATF_CHECK(prog_validate(insns, insn_count));
696 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
716 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
720 ATF_CHECK(prog_validate(insns, insn_count));
721 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
741 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
745 ATF_CHECK(prog_validate(insns, insn_count));
746 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
766 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
770 ATF_CHECK(prog_validate(insns, insn_count));
771 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
791 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
795 ATF_CHECK(prog_validate(insns, insn_count));
796 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
849 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
853 ATF_CHECK(prog_validate(insns, insn_count));
856 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
886 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
890 ATF_CHECK(prog_validate(insns, insn_count));
891 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
912 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
916 ATF_CHECK(prog_validate(insns, insn_count));
917 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
938 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
942 ATF_CHECK(prog_validate(insns, insn_count));
943 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
963 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
967 ATF_CHECK(prog_validate(insns, insn_count));
968 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
989 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
993 ATF_CHECK(prog_validate(insns, insn_count));
994 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
1015 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1019 ATF_CHECK(prog_validate(insns, insn_count));
1020 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
1041 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1045 ATF_CHECK(prog_validate(insns, insn_count));
1046 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
1067 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1071 ATF_CHECK(prog_validate(insns, insn_count));
1072 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
1093 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1097 ATF_CHECK(prog_validate(insns, insn_count));
1098 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
1119 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1123 ATF_CHECK(prog_validate(insns, insn_count));
1124 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
1145 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1149 ATF_CHECK(prog_validate(insns, insn_count));
1150 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
1170 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1174 ATF_CHECK(prog_validate(insns, insn_count));
1175 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
1196 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1200 ATF_CHECK(prog_validate(insns, insn_count));
1201 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
1222 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1226 ATF_CHECK(prog_validate(insns, insn_count));
1227 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
1248 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1252 ATF_CHECK(prog_validate(insns, insn_count));
1253 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
1274 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1278 ATF_CHECK(prog_validate(insns, insn_count));
1279 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
1300 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1304 ATF_CHECK(prog_validate(insns, insn_count));
1305 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
1326 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1330 ATF_CHECK(prog_validate(insns, insn_count));
1331 insn_count, pkt, 1) == 3039531);
1352 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1356 ATF_CHECK(prog_validate(insns, insn_count));
1357 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
1378 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1382 ATF_CHECK(prog_validate(insns, insn_count));
1383 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
1404 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1408 ATF_CHECK(prog_validate(insns, insn_count));
1409 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1430 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1434 ATF_CHECK(prog_validate(insns, insn_count));
1435 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1456 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1460 ATF_CHECK(prog_validate(insns, insn_count));
1461 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
1482 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1486 ATF_CHECK(prog_validate(insns, insn_count));
1487 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1508 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1512 ATF_CHECK(prog_validate(insns, insn_count));
1513 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
1534 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1538 ATF_CHECK(prog_validate(insns, insn_count));
1539 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1601 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1605 ATF_CHECK(prog_validate(insns, insn_count));
1608 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
1637 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1641 ATF_CHECK(prog_validate(insns, insn_count));
1642 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0u-777u);
1665 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1669 ATF_CHECK(prog_validate(insns, insn_count));
1670 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
1691 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1695 ATF_CHECK(!prog_validate(insns, insn_count));
1698 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
1720 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1725 ATF_CHECK(!prog_validate(insns, insn_count));
1728 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
1765 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1769 ATF_CHECK(prog_validate(insns, insn_count));
1772 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
1822 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1826 ATF_CHECK(prog_validate(insns, insn_count));
1829 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
1879 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1883 ATF_CHECK(prog_validate(insns, insn_count));
1886 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
1936 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
1940 ATF_CHECK(prog_validate(insns, insn_count));
1943 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2003 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2007 ATF_CHECK(prog_validate(insns, insn_count));
2008 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2050 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2054 ATF_CHECK(prog_validate(insns, insn_count));
2057 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2114 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2118 ATF_CHECK(prog_validate(insns, insn_count));
2121 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2177 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2181 ATF_CHECK(prog_validate(insns, insn_count));
2184 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2240 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2244 ATF_CHECK(prog_validate(insns, insn_count));
2247 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2283 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2287 ATF_CHECK(prog_validate(insns, insn_count));
2290 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2320 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2324 ATF_CHECK(prog_validate(insns, insn_count));
2327 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2357 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2361 ATF_CHECK(prog_validate(insns, insn_count));
2364 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2427 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2431 ATF_CHECK(prog_validate(insns, insn_count));
2432 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2466 size_t insn_count = sizeof(insns[0]) / sizeof(insns[0][0]);
2473 ATF_CHECK(prog_validate(insns[i], insn_count));
2476 code = rumpns_bpfjit_generate_code(NULL, insns[i], insn_count);
2573 size_t insn_count = sizeof(insns[0]) / sizeof(insns[0][0]);
2578 ATF_CHECK(prog_validate(insns[i], insn_count));
2579 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2636 size_t insn_count = sizeof(insns[0]) / sizeof(insns[0][0]);
2643 ATF_CHECK(prog_validate(insns[i], insn_count));
2646 code = rumpns_bpfjit_generate_code(NULL, insns[i], insn_count);
2743 size_t insn_count = sizeof(insns[0]) / sizeof(insns[0][0]);
2749 ATF_CHECK(prog_validate(insns[i], insn_count));
2750 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2775 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2779 ATF_CHECK(prog_validate(insns, insn_count));
2782 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2818 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2822 ATF_CHECK(prog_validate(insns, insn_count));
2825 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2857 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2861 ATF_CHECK(prog_validate(insns, insn_count));
2864 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
2892 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2896 ATF_CHECK(prog_validate(insns, insn_count));
2897 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2917 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2921 ATF_CHECK(prog_validate(insns, insn_count));
2922 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX - 5);
2944 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2948 ATF_CHECK(prog_validate(insns, insn_count));
2949 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2971 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
2975 ATF_CHECK(prog_validate(insns, insn_count));
2978 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3012 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3016 ATF_CHECK(prog_validate(insns, insn_count));
3019 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3048 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3052 ATF_CHECK(prog_validate(insns, insn_count));
3053 ATF_CHECK(exec_prog(insns, insn_count, pkt, 2) == 40);
3074 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3078 ATF_CHECK(prog_validate(insns, insn_count));
3079 ATF_CHECK(exec_prog(insns, insn_count, pkt, 6) == 55);
3099 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3103 ATF_CHECK(prog_validate(insns, insn_count));
3104 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 391);
3128 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3132 ATF_CHECK(prog_validate(insns, insn_count));
3135 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3166 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3170 ATF_CHECK(prog_validate(insns, insn_count));
3171 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
3199 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3205 ATF_CHECK(prog_validate(insns, insn_count));
3208 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3245 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3251 ATF_CHECK(prog_validate(insns, insn_count));
3254 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3276 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3312 ATF_CHECK(prog_validate(insns, insn_count));
3315 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3348 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3352 ATF_CHECK(prog_validate(insns, insn_count));
3355 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3387 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3391 ATF_CHECK(prog_validate(insns, insn_count));
3392 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
3428 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3432 ATF_CHECK(prog_validate(insns, insn_count));
3435 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3457 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3493 ATF_CHECK(prog_validate(insns, insn_count));
3496 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3549 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3553 ATF_CHECK(prog_validate(insns, insn_count));
3556 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3612 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3616 ATF_CHECK(prog_validate(insns, insn_count));
3619 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3675 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3679 ATF_CHECK(prog_validate(insns, insn_count));
3682 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3739 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3743 ATF_CHECK(prog_validate(insns, insn_count));
3746 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3803 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3807 ATF_CHECK(prog_validate(insns, insn_count));
3810 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3868 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3872 ATF_CHECK(prog_validate(insns, insn_count));
3875 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3933 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3937 ATF_CHECK(prog_validate(insns, insn_count));
3940 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
3981 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
3985 ATF_CHECK(prog_validate(insns, insn_count));
3988 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
4028 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4032 ATF_CHECK(prog_validate(insns, insn_count));
4033 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
4060 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4064 ATF_CHECK(prog_validate(insns, insn_count));
4067 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
4151 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4155 ATF_CHECK(prog_validate(insns, insn_count));
4158 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
4259 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4263 ATF_CHECK(prog_validate(insns, insn_count));
4266 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
4404 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4408 ATF_CHECK(prog_validate(insns, insn_count));
4411 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
4528 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4532 ATF_CHECK(!prog_validate(insns, insn_count));
4535 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);
4555 size_t insn_count = sizeof(insns) / sizeof(insns[0]);
4559 ATF_CHECK(!prog_validate(insns, insn_count));
4562 code = rumpns_bpfjit_generate_code(NULL, insns, insn_count);