| /seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/ |
| H A D | components_checksum | 40 CHECK=""
50 CHECK=true
57 [ -n "$UPDATE" ] || [ -n "$CHECK" ] || usage
78 [ -n "$CHECK" ] && {
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | strlen.c | 27 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1,
32 CHECK(rint == 1);
36 CHECK(rint == 7);
40 CHECK(rint == 25);
|
| H A D | err_bad_abi.c | 25 CHECK(ffi_prep_cif(&cif, 255, 0, &ffi_type_void,
28 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 0, &ffi_type_void,
33 CHECK(ffi_prep_closure_loc(pcl, &cif, dummy_fn, NULL, code) == FFI_BAD_ABI);
|
| H A D | return_ll.c | 26 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
32 CHECK(rlonglong == ll);
38 CHECK(rlonglong == ll);
|
| H A D | err_bad_typedef.c | 22 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 0, &badType,
|
| H A D | fastthis1_win32.c | 30 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 2,
36 CHECK(rint == 1);
41 CHECK(rint == 6);
46 CHECK(rint == 26);
|
| H A D | fastthis2_win32.c | 30 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 2,
36 CHECK(rint == 1);
41 CHECK(rint == 6);
46 CHECK(rint == 26);
|
| H A D | fastthis3_win32.c | 33 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 3,
40 CHECK(rint == 2);
46 CHECK(rint == 4);
52 CHECK(rint == 28);
|
| H A D | strlen2_win32.c | 27 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 1,
32 CHECK(rint == 1);
36 CHECK(rint == 7);
40 CHECK(rint == 25);
|
| H A D | strlen_win32.c | 27 CHECK(ffi_prep_cif(&cif, FFI_STDCALL, 1,
32 CHECK(rint == 1);
36 CHECK(rint == 7);
40 CHECK(rint == 25);
|
| H A D | return_fl.c | 25 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
32 CHECK(rfl == 2 * fl);
|
| H A D | return_ldl.c | 25 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
31 CHECK(rldl == 2 * ldl);
|
| H A D | return_sc.c | 26 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
33 CHECK((signed char)rint == sc);
|
| H A D | return_uc.c | 28 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
35 CHECK((unsigned char)rint == uc);
|
| H A D | float1.c | 37 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
50 CHECK(result[0].d - dblit(f) < DBL_EPSILON);
54 CHECK(result[1].c[i] == CANARY);
|
| H A D | float4.c | 39 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
54 CHECK(result[0].d == dblit(d));
58 CHECK(result[1].c[i] == CANARY);
|
| H A D | cls_double.c | 32 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
35 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_double_fn, NULL, code) == FFI_OK);
|
| H A D | cls_float.c | 33 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
36 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_float_fn, NULL, code) == FFI_OK);
|
| H A D | cls_schar.c | 33 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
36 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_schar_fn, NULL, code) == FFI_OK);
|
| H A D | cls_sint.c | 31 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
34 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_sint_fn, NULL, code) == FFI_OK);
|
| H A D | cls_sshort.c | 31 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
34 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_sshort_fn, NULL, code) == FFI_OK);
|
| H A D | cls_uchar.c | 31 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
34 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_uchar_fn, NULL, code) == FFI_OK);
|
| H A D | cls_uint.c | 32 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
35 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ret_uint_fn, NULL, code) == FFI_OK);
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/ |
| H A D | components_checksum | 40 CHECK=""
50 CHECK=true
57 [ -n "$UPDATE" ] || [ -n "$CHECK" ] || usage
78 [ -n "$CHECK" ] && {
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/ |
| H A D | unwindtest.cc | 69 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 0,
71 CHECK(ffi_prep_closure_loc(pcl, &cif, closure_test_fn, NULL, code) == FFI_OK);
78 CHECK(exception_code == 9);
106 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 16,
109 CHECK(ffi_prep_closure_loc(pcl, &cif, closure_test_fn1,
119 CHECK(exception_code == 255);
|