Lines Matching refs:ATF_CHECK
86 ATF_CHECK(!prog_validate(&dummy, 0));
92 ATF_CHECK(code == NULL);
114 ATF_CHECK(prog_validate(insns, insn_count));
115 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 17);
140 ATF_CHECK(BPF_CLASS(rcode) == BPF_RET &&
145 ATF_CHECK(!prog_validate(insns, insn_count));
148 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 13);
172 ATF_CHECK(prog_validate(insns, insn_count));
173 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
197 ATF_CHECK(prog_validate(insns, insn_count));
198 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
222 ATF_CHECK(prog_validate(insns, insn_count));
223 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
246 //ATF_CHECK(prog_validate(insns, insn_count));
247 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
271 ATF_CHECK(prog_validate(insns, insn_count));
272 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
296 ATF_CHECK(prog_validate(insns, insn_count));
297 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
321 ATF_CHECK(prog_validate(insns, insn_count));
322 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
346 ATF_CHECK(prog_validate(insns, insn_count));
347 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
371 ATF_CHECK(prog_validate(insns, insn_count));
372 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
396 ATF_CHECK(prog_validate(insns, insn_count));
397 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
421 ATF_CHECK(prog_validate(insns, insn_count));
422 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
445 //ATF_CHECK(prog_validate(insns, insn_count));
446 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
470 ATF_CHECK(prog_validate(insns, insn_count));
471 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
495 ATF_CHECK(prog_validate(insns, insn_count));
496 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
520 ATF_CHECK(prog_validate(insns, insn_count));
521 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
545 ATF_CHECK(prog_validate(insns, insn_count));
546 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
570 ATF_CHECK(prog_validate(insns, insn_count));
571 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
595 ATF_CHECK(prog_validate(insns, insn_count));
596 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3039531);
620 ATF_CHECK(prog_validate(insns, insn_count));
621 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
645 ATF_CHECK(prog_validate(insns, insn_count));
646 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
670 ATF_CHECK
671 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
695 ATF_CHECK(prog_validate(insns, insn_count));
696 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
720 ATF_CHECK(prog_validate(insns, insn_count));
721 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
745 ATF_CHECK(prog_validate(insns, insn_count));
746 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
770 ATF_CHECK(prog_validate(insns, insn_count));
771 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
795 ATF_CHECK(prog_validate(insns, insn_count));
796 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
853 ATF_CHECK(prog_validate(insns, insn_count));
860 ATF_CHECK(jitcall(code, pkt, 1, 1) != UINT32_C(0x71cbbbc3));
861 ATF_CHECK(jitcall(code, pkt, 1, 1) == UINT32_C(0x0000a994));
890 ATF_CHECK(prog_validate(insns, insn_count));
891 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 5);
916 ATF_CHECK(prog_validate(insns, insn_count));
917 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
942 ATF_CHECK(prog_validate(insns, insn_count));
943 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xfffffffd);
967 ATF_CHECK(prog_validate(insns, insn_count));
968 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
993 ATF_CHECK(prog_validate(insns, insn_count));
994 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 7);
1019 ATF_CHECK(prog_validate(insns, insn_count));
1020 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
1045 ATF_CHECK(prog_validate(insns, insn_count));
1046 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x3fffffff);
1071 ATF_CHECK(prog_validate(insns, insn_count));
1072 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484384);
1097 ATF_CHECK(prog_validate(insns, insn_count));
1098 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 429484);
1123 ATF_CHECK(prog_validate(insns, insn_count));
1124 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 564);
1149 ATF_CHECK(prog_validate(insns, insn_count));
1150 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
1174 ATF_CHECK(prog_validate(insns, insn_count));
1175 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
1200 ATF_CHECK(prog_validate(insns, insn_count));
1201 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
1226 ATF_CHECK(prog_validate(insns, insn_count));
1227 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 1);
1252 ATF_CHECK(prog_validate(insns, insn_count));
1253 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3);
1278 ATF_CHECK(prog_validate(insns, insn_count));
1279 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 9);
1304 ATF_CHECK(prog_validate(insns, insn_count));
1305 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 3849);
1330 ATF_CHECK(prog_validate(insns, insn_count));
1331 ATF_CHECK
1356 ATF_CHECK(prog_validate(insns, insn_count));
1357 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_C(0x7fffffde));
1382 ATF_CHECK(prog_validate(insns, insn_count));
1383 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == (0xdead&0xbeef));
1408 ATF_CHECK(prog_validate(insns, insn_count));
1409 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1434 ATF_CHECK(prog_validate(insns, insn_count));
1435 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1460 ATF_CHECK(prog_validate(insns, insn_count));
1461 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xbeef0000);
1486 ATF_CHECK(prog_validate(insns, insn_count));
1487 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1512 ATF_CHECK(prog_validate(insns, insn_count));
1513 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0x0000dead);
1538 ATF_CHECK(prog_validate(insns, insn_count));
1539 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0xdeadbeef);
1605 ATF_CHECK(prog_validate(insns, insn_count));
1612 ATF_CHECK(jitcall(code, pkt, 1, 1) != UINT32_C(0x71cbbbc3));
1613 ATF_CHECK(jitcall(code, pkt, 1, 1) == UINT32_C(0x0000a994));
1641 ATF_CHECK(prog_validate(insns, insn_count));
1642 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0u-777u);
1669 ATF_CHECK(prog_validate(insns, insn_count));
1670 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
1695 ATF_CHECK(!prog_validate(insns, insn_count));
1700 ATF_CHECK(code == NULL);
1725 ATF_CHECK(!prog_validate(insns, insn_count));
1730 ATF_CHECK(code == NULL);
1769 ATF_CHECK(prog_validate(insns, insn_count));
1776 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
1777 ATF_CHECK(jitcall(code, pkt, 2, 2) == 1);
1778 ATF_CHECK(jitcall(code, pkt, 3, 3) == 7);
1779 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
1780 ATF_CHECK(jitcall(code, pkt, 5, 5) == 7);
1781 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
1782 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
1783 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
1826 ATF_CHECK(prog_validate(insns, insn_count));
1833 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
1834 ATF_CHECK(jitcall(code, pkt, 2, 2) == 1);
1835 ATF_CHECK(jitcall(code, pkt, 3, 3) == 7);
1836 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
1837 ATF_CHECK(jitcall(code, pkt, 5, 5) == 7);
1838 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
1839 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
1840 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
1883 ATF_CHECK(prog_validate(insns, insn_count));
1890 ATF_CHECK(jitcall(code, pkt, 1, 1) == 7);
1891 ATF_CHECK(jitcall(code, pkt, 2, 2) == 7);
1892 ATF_CHECK(jitcall(code, pkt, 3, 3) == 1);
1893 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
1894 ATF_CHECK(jitcall(code, pkt, 5, 5) == 7);
1895 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
1896 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
1897 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
1940 ATF_CHECK(prog_validate(insns, insn_count));
1947 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
1948 ATF_CHECK(jitcall(code, pkt, 2, 2) == 1);
1949 ATF_CHECK(jitcall(code, pkt, 3, 3) == 1);
1950 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
1951 ATF_CHECK(jitcall(code, pkt, 5, 5) == 5);
1952 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
1953 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
1954 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
2007 ATF_CHECK(prog_validate(insns, insn_count));
2008 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2054 ATF_CHECK(prog_validate(insns, insn_count));
2061 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
2062 ATF_CHECK(jitcall(code, pkt, 2, 2) == 1);
2063 ATF_CHECK(jitcall(code, pkt, 3, 3) == 7);
2064 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
2065 ATF_CHECK(jitcall(code, pkt, 5, 5) == 7);
2066 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
2067 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
2068 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
2118 ATF_CHECK(prog_validate(insns, insn_count));
2125 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
2126 ATF_CHECK(jitcall(code, pkt, 2, 2) == 1);
2127 ATF_CHECK(jitcall(code, pkt, 3, 3) == 7);
2128 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
2129 ATF_CHECK(jitcall(code, pkt, 5, 5) == 7);
2130 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
2131 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
2132 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
2181 ATF_CHECK(prog_validate(insns, insn_count));
2188 ATF_CHECK(jitcall(code, pkt, 1, 1) == 8);
2189 ATF_CHECK(jitcall(code, pkt, 2, 2) == 8);
2190 ATF_CHECK(jitcall(code, pkt, 3, 3) == 2);
2191 ATF_CHECK(jitcall(code, pkt, 4, 4) == 8);
2192 ATF_CHECK(jitcall(code, pkt, 5, 5) == 3);
2193 ATF_CHECK(jitcall(code, pkt, 6, 6) == 9);
2194 ATF_CHECK(jitcall(code, pkt, 7, 7) == 6);
2195 ATF_CHECK(jitcall(code, pkt, 8, 8) == 1);
2244 ATF_CHECK(prog_validate(insns, insn_count));
2251 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
2252 ATF_CHECK(jitcall(code, pkt, 2, 2) == 1);
2253 ATF_CHECK(jitcall(code, pkt, 3, 3) == 1);
2254 ATF_CHECK(jitcall(code, pkt, 4, 4) == 7);
2255 ATF_CHECK(jitcall(code, pkt, 5, 5) == 5);
2256 ATF_CHECK(jitcall(code, pkt, 6, 6) == 8);
2257 ATF_CHECK(jitcall(code, pkt, 7, 7) == 5);
2258 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
2287 ATF_CHECK(prog_validate(insns, insn_count));
2294 ATF_CHECK(jitcall(code, pkt, 1, 1) == 10);
2324 ATF_CHECK(prog_validate(insns, insn_count));
2331 ATF_CHECK(jitcall(code, pkt, 1, 1) == 11);
2361 ATF_CHECK(prog_validate(insns, insn_count));
2368 ATF_CHECK(jitcall(code, pkt, 1, 1) == 11);
2431 ATF_CHECK(prog_validate(insns, insn_count));
2432 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2473 ATF_CHECK(prog_validate(insns[i], insn_count));
2481 ATF_CHECK(jitcall(code, pkt, l, l) == 0);
2482 ATF_CHECK(jitcall(code, pkt, pktsize, l) == 0);
2486 ATF_CHECK(jitcall(code, pkt, l, l) == expected[i]);
2487 ATF_CHECK(jitcall(code, pkt, pktsize, l) == expected[i]);
2490 ATF_CHECK(jitcall(code, pkt, l, l) == expected[i]);
2578 ATF_CHECK(prog_validate(insns[i], insn_count));
2579 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2643 ATF_CHECK(prog_validate(insns[i], insn_count));
2651 ATF_CHECK(jitcall(code, pkt, l, l) == 0);
2652 ATF_CHECK(jitcall(code, pkt, pktsize, l) == 0);
2656 ATF_CHECK(jitcall(code, pkt, l, l) == expected[i]);
2657 ATF_CHECK(jitcall(code, pkt, pktsize, l) == expected[i]);
2660 ATF_CHECK(jitcall(code, pkt, l, l) == expected[i]);
2749 ATF_CHECK(prog_validate(insns[i], insn_count));
2750 ATF_CHECK(exec_prog(insns[i], insn_count, pkt, 8) == 0);
2779 ATF_CHECK(prog_validate(insns, insn_count));
2787 //ATF_CHECK(bpf_filter(insns, pkt, i, i) == 10 * i);
2788 ATF_CHECK(jitcall(code, pkt, i, i) == 10 * i);
2822 ATF_CHECK(prog_validate(insns, insn_count));
2830 //ATF_CHECK(bpf_filter(insns, pkt, i, i) == 10 * i);
2831 ATF_CHECK(jitcall(code, pkt, i, i) == 10 * i);
2861 ATF_CHECK(prog_validate(insns, insn_count));
2869 ATF_CHECK(jitcall(code, pkt, i, 1) == i);
2896 ATF_CHECK(prog_validate(insns, insn_count));
2897 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2921 ATF_CHECK(prog_validate(insns, insn_count));
2922 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX - 5);
2948 ATF_CHECK(prog_validate(insns, insn_count));
2949 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
2975 ATF_CHECK(prog_validate(insns, insn_count));
2983 ATF_CHECK(jitcall(code, pkt, i, 1) == i);
2984 ATF_CHECK(jitcall(code, pkt, i + 1, i) == i + 1);
3016 ATF_CHECK(prog_validate(insns, insn_count));
3023 ATF_CHECK(jitcall(code, pkt, 5, 1) == UINT32_MAX);
3024 ATF_CHECK(jitcall(code, pkt, 6, 5) == 7);
3052 ATF_CHECK(prog_validate(insns, insn_count));
3053 ATF_CHECK(exec_prog(insns, insn_count, pkt, 2) == 40);
3078 ATF_CHECK(prog_validate(insns, insn_count));
3079 ATF_CHECK(exec_prog(insns, insn_count, pkt, 6) == 55);
3103 ATF_CHECK(prog_validate(insns, insn_count));
3104 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 391);
3132 ATF_CHECK(prog_validate(insns, insn_count));
3140 ATF_CHECK(jitcall(code, pkt, i, sizeof(pkt)) == i);
3170 ATF_CHECK(prog_validate(insns, insn_count));
3171 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
3205 ATF_CHECK(prog_validate(insns, insn_count));
3212 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
3213 ATF_CHECK(jitcall(code, pkt, 2, 2) == 102);
3251 ATF_CHECK(prog_validate(insns, insn_count));
3258 ATF_CHECK(jitcall(code, pkt, 1, 1) == 1);
3259 ATF_CHECK
3312 ATF_CHECK(prog_validate(insns, insn_count));
3320 ATF_CHECK(jitcall(code, pkt, k, k) == 3*(k-1));
3352 ATF_CHECK(prog_validate(insns, insn_count));
3360 ATF_CHECK(jitcall(code, pkt, i, sizeof(pkt)) == i);
3391 ATF_CHECK(prog_validate(insns, insn_count));
3392 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == 0);
3432 ATF_CHECK(prog_validate(insns, insn_count));
3440 ATF_CHECK(jitcall(code, pkt, i, sizeof(pkt)) == 3 * i);
3493 ATF_CHECK(prog_validate(insns, insn_count));
3501 ATF_CHECK(jitcall(code, pkt, k, k) == 3*(k-1));
3553 ATF_CHECK(prog_validate(insns, insn_count));
3562 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3563 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3616 ATF_CHECK(prog_validate(insns, insn_count));
3625 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3626 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3679 ATF_CHECK(prog_validate(insns, insn_count));
3688 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3689 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3743 ATF_CHECK(prog_validate(insns, insn_count));
3752 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3753 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3807 ATF_CHECK(prog_validate(insns, insn_count));
3816 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3817 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3872 ATF_CHECK(prog_validate(insns, insn_count));
3881 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3882 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3937 ATF_CHECK(prog_validate(insns, insn_count));
3946 ATF_CHECK(jitcall(code, pkt[i], j, j) == 0);
3947 ATF_CHECK(jitcall(code, pkt[i], j, j) == UINT32_MAX);
3985 ATF_CHECK(prog_validate(insns, insn_count));
3992 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
3993 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
3994 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
3995 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
3996 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
3997 ATF_CHECK(jitcall(code, pkt, 6, 6) == UINT32_MAX);
4032 ATF_CHECK(prog_validate(insns, insn_count));
4033 ATF_CHECK(exec_prog(insns, insn_count, pkt, 1) == UINT32_MAX);
4064 ATF_CHECK(prog_validate(insns, insn_count));
4072 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4073 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4074 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4077 ATF_CHECK(jitcall(code, pkt, 4, 4) == 123456789);
4078 ATF_CHECK(jitcall(code, pkt, 5, 5) == 123456789);
4079 ATF_CHECK(jitcall(code, pkt, 6, 6) == 123456789);
4080 ATF_CHECK(jitcall(code, pkt, 7, 7) == 123456789);
4081 ATF_CHECK(jitcall(code, pkt, 8, 8) == 123456789);
4082 ATF_CHECK(jitcall(code, pkt, 9, 9) == 123456789);
4086 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4087 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4088 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4089 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4090 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4091 ATF_CHECK(jitcall(code, pkt, 6, 6) == 123456789);
4092 ATF_CHECK(jitcall(code, pkt, 9, 9) == 123456789);
4096 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4097 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4098 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4099 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4100 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4101 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4102 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4103 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4104 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4105 ATF_CHECK(jitcall(code, pkt, 10, 10) == 987654321);
4109 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4110 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4111 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4112 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4113 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4114 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4115 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4116 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4117 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4118 ATF_CHECK(jitcall(code, pkt, 10, 10) == 123456789);
4155 ATF_CHECK(prog_validate(insns, insn_count));
4163 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4164 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4165 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4166 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4167 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4168 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4169 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4170 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4171 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4172 ATF_CHECK(jitcall(code, pkt, 10, 10) == 0);
4173 ATF_CHECK(jitcall(code, pkt, 11, 11) == 0);
4174 ATF_CHECK(jitcall(code, pkt, 12, 12) == 0);
4175 ATF_CHECK(jitcall(code, pkt, 13, 13) == 0);
4176 ATF_CHECK(jitcall(code, pkt, 14, 14) == 0);
4177 ATF_CHECK(jitcall(code, pkt, 15, 15) == 0);
4178 ATF_CHECK(jitcall(code, pkt, 16, 16) == 0);
4179 ATF_CHECK(jitcall(code, pkt, 17, 17) == 0);
4180 ATF_CHECK(jitcall(code, pkt, 18, 18) == 0);
4181 ATF_CHECK(jitcall(code, pkt, 19, 19) == 0);
4182 ATF_CHECK(jitcall(code, pkt, 20, 20) == 0);
4183 ATF_CHECK(jitcall(code, pkt, 21, 21) == 0);
4186 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4190 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4194 ATF_CHECK(jitcall(code, pkt, 22, 22) == 42);
4197 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4198 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4199 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4200 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4201 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4202 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4203 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4204 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4205 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4206 ATF_CHECK(jitcall(code, pkt, 10, 10) == 0);
4207 ATF_CHECK(jitcall(code, pkt, 11, 11) == 0);
4208 ATF_CHECK(jitcall(code, pkt, 12, 12) == 0);
4209 ATF_CHECK(jitcall(code, pkt, 13, 13) == 0);
4210 ATF_CHECK(jitcall(code, pkt, 14, 14) == 0);
4211 ATF_CHECK(jitcall(code, pkt, 15, 15) == 0);
4212 ATF_CHECK(jitcall(code, pkt, 16, 16) == 0);
4213 ATF_CHECK(jitcall(code, pkt, 17, 17) == 0);
4214 ATF_CHECK(jitcall(code, pkt, 18, 18) == 0);
4215 ATF_CHECK(jitcall(code, pkt, 19, 19) == 0);
4216 ATF_CHECK(jitcall(code, pkt, 20, 20) == 0);
4217 ATF_CHECK(jitcall(code, pkt, 21, 21) == 0);
4221 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4263 ATF_CHECK(prog_validate(insns, insn_count));
4271 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4272 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4273 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4274 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4275 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4276 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4277 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4278 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4279 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4280 ATF_CHECK(jitcall(code, pkt, 10, 10) == 0);
4281 ATF_CHECK(jitcall(code, pkt, 11, 11) == 0);
4282 ATF_CHECK(jitcall(code, pkt, 12, 12) == 0);
4283 ATF_CHECK(jitcall(code, pkt, 13, 13) == 0);
4284 ATF_CHECK(jitcall(code, pkt, 14, 14) == 0);
4285 ATF_CHECK(jitcall(code, pkt, 15, 15) == 0);
4286 ATF_CHECK(jitcall(code, pkt, 16, 16) == 0);
4287 ATF_CHECK(jitcall(code, pkt, 17, 17) == 0);
4288 ATF_CHECK(jitcall(code, pkt, 18, 18) == 0);
4289 ATF_CHECK(jitcall(code, pkt, 19, 19) == 0);
4290 ATF_CHECK(jitcall(code, pkt, 20, 20) == 0);
4291 ATF_CHECK(jitcall(code, pkt, 21, 21) == 0);
4292 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4293 ATF_CHECK(jitcall(code, pkt, 23, 23) == 0);
4294 ATF_CHECK(jitcall(code, pkt, 24, 24) == 0);
4295 ATF_CHECK(jitcall(code, pkt, 25, 25) == 0);
4296 ATF_CHECK(jitcall(code, pkt, 26, 26) == 0);
4297 ATF_CHECK(jitcall(code, pkt, 27, 27) == 0);
4298 ATF_CHECK(jitcall(code, pkt, 28, 28) == 0);
4299 ATF_CHECK(jitcall(code, pkt, 29, 29) == 0);
4300 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4301 ATF_CHECK(jitcall(code, pkt, 31, 31) == 0);
4302 ATF_CHECK(jitcall(code, pkt, 32, 32) == 0);
4303 ATF_CHECK(jitcall(code, pkt, 33, 33) == 0);
4306 ATF_CHECK(jitcall(code, pkt, 34, 34) == 0);
4310 ATF_CHECK(jitcall(code, pkt, 34, 34) == 0);
4313 ATF_CHECK(jitcall(code, pkt, 34, 34) == 0);
4316 ATF_CHECK(jitcall(code, pkt, 34, 34) == UINT32_MAX);
4320 ATF_CHECK(jitcall(code, pkt, 34, 34) == 0);
4323 ATF_CHECK(jitcall(code, pkt, 34, 34) == UINT32_MAX);
4326 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4327 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4328 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4329 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4330 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4331 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4332 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4333 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4334 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4335 ATF_CHECK(jitcall(code, pkt, 10, 10) == 0);
4336 ATF_CHECK(jitcall(code, pkt, 11, 11) == 0);
4337 ATF_CHECK(jitcall(code, pkt, 12, 12) == 0);
4338 ATF_CHECK(jitcall(code, pkt, 13, 13) == 0);
4339 ATF_CHECK(jitcall(code, pkt, 14, 14) == 0);
4340 ATF_CHECK(jitcall(code, pkt, 15, 15) == 0);
4341 ATF_CHECK(jitcall(code, pkt, 16, 16) == 0);
4342 ATF_CHECK(jitcall(code, pkt, 17, 17) == 0);
4343 ATF_CHECK(jitcall(code, pkt, 18, 18) == 0);
4344 ATF_CHECK(jitcall(code, pkt, 19, 19) == 0);
4345 ATF_CHECK(jitcall(code, pkt, 20, 20) == 0);
4346 ATF_CHECK(jitcall(code, pkt, 21, 21) == 0);
4347 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4348 ATF_CHECK(jitcall(code, pkt, 23, 23) == 0);
4349 ATF_CHECK(jitcall(code, pkt, 24, 24) == 0);
4350 ATF_CHECK(jitcall(code, pkt, 25, 25) == 0);
4351 ATF_CHECK(jitcall(code, pkt, 26, 26) == 0);
4352 ATF_CHECK(jitcall(code, pkt, 27, 27) == 0);
4353 ATF_CHECK(jitcall(code, pkt, 28, 28) == 0);
4354 ATF_CHECK(jitcall(code, pkt, 29, 29) == 0);
4355 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4356 ATF_CHECK(jitcall(code, pkt, 31, 31) == 0);
4357 ATF_CHECK(jitcall(code, pkt, 32, 32) == 0);
4358 ATF_CHECK(jitcall(code, pkt, 33, 33) == 0);
4362 ATF_CHECK(jitcall(code, pkt, 34, 34) == 0);
4408 ATF_CHECK(prog_validate(insns, insn_count));
4416 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4417 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4418 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4419 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4420 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4421 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4422 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4423 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4424 ATF_CHECK
4425 ATF_CHECK(jitcall(code, pkt, 10, 10) == 0);
4426 ATF_CHECK(jitcall(code, pkt, 11, 11) == 0);
4427 ATF_CHECK(jitcall(code, pkt, 12, 12) == 0);
4428 ATF_CHECK(jitcall(code, pkt, 13, 13) == 0);
4429 ATF_CHECK(jitcall(code, pkt, 14, 14) == 0);
4430 ATF_CHECK(jitcall(code, pkt, 15, 15) == 0);
4431 ATF_CHECK(jitcall(code, pkt, 16, 16) == 0);
4432 ATF_CHECK(jitcall(code, pkt, 17, 17) == 0);
4433 ATF_CHECK(jitcall(code, pkt, 18, 18) == 0);
4434 ATF_CHECK(jitcall(code, pkt, 19, 19) == 0);
4435 ATF_CHECK(jitcall(code, pkt, 20, 20) == 0);
4436 ATF_CHECK(jitcall(code, pkt, 21, 21) == 0);
4437 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4438 ATF_CHECK(jitcall(code, pkt, 23, 23) == 0);
4439 ATF_CHECK(jitcall(code, pkt, 24, 24) == 0);
4440 ATF_CHECK(jitcall(code, pkt, 25, 25) == 0);
4441 ATF_CHECK(jitcall(code, pkt, 26, 26) == 0);
4442 ATF_CHECK(jitcall(code, pkt, 27, 27) == 0);
4443 ATF_CHECK(jitcall(code, pkt, 28, 28) == 0);
4444 ATF_CHECK(jitcall(code, pkt, 29, 29) == 0);
4447 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4451 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4455 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4459 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4463 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4467 ATF_CHECK(jitcall(code, pkt, 30, 30) == UINT32_MAX);
4471 ATF_CHECK(jitcall(code, pkt, 30, 30) == UINT32_MAX);
4474 ATF_CHECK(jitcall(code, pkt, 1, 1) == 0);
4475 ATF_CHECK(jitcall(code, pkt, 2, 2) == 0);
4476 ATF_CHECK(jitcall(code, pkt, 3, 3) == 0);
4477 ATF_CHECK(jitcall(code, pkt, 4, 4) == 0);
4478 ATF_CHECK(jitcall(code, pkt, 5, 5) == 0);
4479 ATF_CHECK(jitcall(code, pkt, 6, 6) == 0);
4480 ATF_CHECK(jitcall(code, pkt, 7, 7) == 0);
4481 ATF_CHECK(jitcall(code, pkt, 8, 8) == 0);
4482 ATF_CHECK(jitcall(code, pkt, 9, 9) == 0);
4483 ATF_CHECK(jitcall(code, pkt, 10, 10) == 0);
4484 ATF_CHECK(jitcall(code, pkt, 11, 11) == 0);
4485 ATF_CHECK(jitcall(code, pkt, 12, 12) == 0);
4486 ATF_CHECK(jitcall(code, pkt, 13, 13) == 0);
4487 ATF_CHECK(jitcall(code, pkt, 14, 14) == 0);
4488 ATF_CHECK(jitcall(code, pkt, 15, 15) == 0);
4489 ATF_CHECK(jitcall(code, pkt, 16, 16) == 0);
4490 ATF_CHECK(jitcall(code, pkt, 17, 17) == 0);
4491 ATF_CHECK(jitcall(code, pkt, 18, 18) == 0);
4492 ATF_CHECK(jitcall(code, pkt, 19, 19) == 0);
4493 ATF_CHECK(jitcall(code, pkt, 20, 20) == 0);
4494 ATF_CHECK(jitcall(code, pkt, 21, 21) == 0);
4495 ATF_CHECK(jitcall(code, pkt, 22, 22) == 0);
4496 ATF_CHECK(jitcall(code, pkt, 23, 23) == 0);
4497 ATF_CHECK(jitcall(code, pkt, 24, 24) == 0);
4498 ATF_CHECK(jitcall(code, pkt, 25, 25) == 0);
4499 ATF_CHECK(jitcall(code, pkt, 26, 26) == 0);
4500 ATF_CHECK(jitcall(code, pkt, 27, 27) == 0);
4501 ATF_CHECK(jitcall(code, pkt, 28, 28) == 0);
4502 ATF_CHECK(jitcall(code, pkt, 29, 29) == 0);
4506 ATF_CHECK(jitcall(code, pkt, 30, 30) == 0);
4532 ATF_CHECK(!prog_validate(insns, insn_count));
4537 ATF_CHECK(code == NULL);
4559 ATF_CHECK(!prog_validate(insns, insn_count));
4564 ATF_CHECK(code == NULL);
Indexes created Wed Oct 22 13:09:56 GMT 2025