/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);
|