diff options
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/multithreaded_volatile/Makefile | 2 | ||||
-rw-r--r-- | test/monniaux/nand/nand.c | 8 | ||||
-rw-r--r-- | test/monniaux/ocaml/byterun/caml/opnames.h | 48 | ||||
-rw-r--r-- | test/monniaux/ocaml/byterun/caml/version.h | 6 | ||||
-rw-r--r-- | test/monniaux/ocaml/byterun/prims.c | 1153 | ||||
-rw-r--r-- | test/monniaux/rules.mk | 2 |
6 files changed, 10 insertions, 1209 deletions
diff --git a/test/monniaux/multithreaded_volatile/Makefile b/test/monniaux/multithreaded_volatile/Makefile index 0234b02a..35717953 100644 --- a/test/monniaux/multithreaded_volatile/Makefile +++ b/test/monniaux/multithreaded_volatile/Makefile @@ -7,7 +7,7 @@ volatile.gcc.k1c : volatile.gcc.k1c.s k1-cos-gcc $< -o $@ volatile.ccomp.k1c.s : volatile.c - ../../../ccomp -O2 -Wall -Wno-c11-extensions -S $< -o $@ + ../../../ccomp -O2 -Wall -S $< -o $@ volatile.gcc.k1c.s : volatile.c k1-cos-gcc -O2 -Wall -Werror=implicit -std=gnu99 -S $< -o $@ diff --git a/test/monniaux/nand/nand.c b/test/monniaux/nand/nand.c index 379a1bad..e628c1cf 100644 --- a/test/monniaux/nand/nand.c +++ b/test/monniaux/nand/nand.c @@ -34,6 +34,14 @@ scalar orn2(scalar x, scalar y) { return x | ~y; } +scalar nandimm(scalar x) { + return ~x & 45; +} + +scalar notnot(scalar x) { + return ~ ~ x; +} + int main() { scalar x = 0xF4, y = 0x33; printf("%X\n", nxor(x, y)); diff --git a/test/monniaux/ocaml/byterun/caml/opnames.h b/test/monniaux/ocaml/byterun/caml/opnames.h deleted file mode 100644 index bf6144cf..00000000 --- a/test/monniaux/ocaml/byterun/caml/opnames.h +++ /dev/null @@ -1,48 +0,0 @@ - - - - -char * names_of_instructions [] = { - "ACC0", "ACC1", "ACC2", "ACC3", "ACC4", "ACC5", "ACC6", "ACC7", - "ACC", "PUSH", - "PUSHACC0", "PUSHACC1", "PUSHACC2", "PUSHACC3", - "PUSHACC4", "PUSHACC5", "PUSHACC6", "PUSHACC7", - "PUSHACC", "POP", "ASSIGN", - "ENVACC1", "ENVACC2", "ENVACC3", "ENVACC4", "ENVACC", - "PUSHENVACC1", "PUSHENVACC2", "PUSHENVACC3", "PUSHENVACC4", "PUSHENVACC", - "PUSH_RETADDR", "APPLY", "APPLY1", "APPLY2", "APPLY3", - "APPTERM", "APPTERM1", "APPTERM2", "APPTERM3", - "RETURN", "RESTART", "GRAB", - "CLOSURE", "CLOSUREREC", - "OFFSETCLOSUREM2", "OFFSETCLOSURE0", "OFFSETCLOSURE2", "OFFSETCLOSURE", - "PUSHOFFSETCLOSUREM2", "PUSHOFFSETCLOSURE0", - "PUSHOFFSETCLOSURE2", "PUSHOFFSETCLOSURE", - "GETGLOBAL", "PUSHGETGLOBAL", "GETGLOBALFIELD", "PUSHGETGLOBALFIELD", "SETGLOBAL", - "ATOM0", "ATOM", "PUSHATOM0", "PUSHATOM", - "MAKEBLOCK", "MAKEBLOCK1", "MAKEBLOCK2", "MAKEBLOCK3", "MAKEFLOATBLOCK", - "GETFIELD0", "GETFIELD1", "GETFIELD2", "GETFIELD3", "GETFIELD", "GETFLOATFIELD", - "SETFIELD0", "SETFIELD1", "SETFIELD2", "SETFIELD3", "SETFIELD", "SETFLOATFIELD", - "VECTLENGTH", "GETVECTITEM", "SETVECTITEM", - "GETBYTESCHAR", "SETBYTESCHAR", - "BRANCH", "BRANCHIF", "BRANCHIFNOT", "SWITCH", "BOOLNOT", - "PUSHTRAP", "POPTRAP", "RAISE", - "CHECK_SIGNALS", - "C_CALL1", "C_CALL2", "C_CALL3", "C_CALL4", "C_CALL5", "C_CALLN", - "CONST0", "CONST1", "CONST2", "CONST3", "CONSTINT", - "PUSHCONST0", "PUSHCONST1", "PUSHCONST2", "PUSHCONST3", "PUSHCONSTINT", - "NEGINT", "ADDINT", "SUBINT", "MULINT", "DIVINT", "MODINT", - "ANDINT", "ORINT", "XORINT", "LSLINT", "LSRINT", "ASRINT", - "EQ", "NEQ", "LTINT", "LEINT", "GTINT", "GEINT", - "OFFSETINT", "OFFSETREF", "ISINT", - "GETMETHOD", - "BEQ", "BNEQ", "BLTINT", "BLEINT", "BGTINT", "BGEINT", - "ULTINT", "UGEINT", - "BULTINT", "BUGEINT", - "GETPUBMET", "GETDYNMET", - "STOP", - "EVENT", "BREAK", - "RERAISE", "RAISE_NOTRACE", - "GETSTRINGCHAR", -"FIRST_UNIMPLEMENTED_OP"}; - - diff --git a/test/monniaux/ocaml/byterun/caml/version.h b/test/monniaux/ocaml/byterun/caml/version.h deleted file mode 100644 index 68d7000e..00000000 --- a/test/monniaux/ocaml/byterun/caml/version.h +++ /dev/null @@ -1,6 +0,0 @@ -#define OCAML_VERSION_MAJOR 4 -#define OCAML_VERSION_MINOR 7 -#define OCAML_VERSION_PATCHLEVEL 1 -#undef OCAML_VERSION_ADDITIONAL -#define OCAML_VERSION 40701 -#define OCAML_VERSION_STRING "4.07.1" diff --git a/test/monniaux/ocaml/byterun/prims.c b/test/monniaux/ocaml/byterun/prims.c deleted file mode 100644 index 15ebf593..00000000 --- a/test/monniaux/ocaml/byterun/prims.c +++ /dev/null @@ -1,1153 +0,0 @@ -#define CAML_INTERNALS -#include "caml/mlvalues.h" -#include "caml/prims.h" -extern value caml_abs_float(); -extern value caml_acos_float(); -extern value caml_add_debug_info(); -extern value caml_add_float(); -extern value caml_alloc_dummy(); -extern value caml_alloc_dummy_float(); -extern value caml_alloc_dummy_function(); -extern value caml_array_append(); -extern value caml_array_blit(); -extern value caml_array_concat(); -extern value caml_array_get(); -extern value caml_array_get_addr(); -extern value caml_array_get_float(); -extern value caml_array_set(); -extern value caml_array_set_addr(); -extern value caml_array_set_float(); -extern value caml_array_sub(); -extern value caml_array_unsafe_get(); -extern value caml_array_unsafe_get_float(); -extern value caml_array_unsafe_set(); -extern value caml_array_unsafe_set_addr(); -extern value caml_array_unsafe_set_float(); -extern value caml_asin_float(); -extern value caml_atan2_float(); -extern value caml_atan_float(); -extern value caml_ba_blit(); -extern value caml_ba_change_layout(); -extern value caml_ba_create(); -extern value caml_ba_dim(); -extern value caml_ba_dim_1(); -extern value caml_ba_dim_2(); -extern value caml_ba_dim_3(); -extern value caml_ba_fill(); -extern value caml_ba_get_1(); -extern value caml_ba_get_2(); -extern value caml_ba_get_3(); -extern value caml_ba_get_generic(); -extern value caml_ba_kind(); -extern value caml_ba_layout(); -extern value caml_ba_num_dims(); -extern value caml_ba_reshape(); -extern value caml_ba_set_1(); -extern value caml_ba_set_2(); -extern value caml_ba_set_3(); -extern value caml_ba_set_generic(); -extern value caml_ba_slice(); -extern value caml_ba_sub(); -extern value caml_ba_uint8_get16(); -extern value caml_ba_uint8_get32(); -extern value caml_ba_uint8_get64(); -extern value caml_ba_uint8_set16(); -extern value caml_ba_uint8_set32(); -extern value caml_ba_uint8_set64(); -extern value caml_backtrace_status(); -extern value caml_blit_bytes(); -extern value caml_blit_string(); -extern value caml_bswap16(); -extern value caml_bytes_compare(); -extern value caml_bytes_equal(); -extern value caml_bytes_get(); -extern value caml_bytes_get16(); -extern value caml_bytes_get32(); -extern value caml_bytes_get64(); -extern value caml_bytes_greaterequal(); -extern value caml_bytes_greaterthan(); -extern value caml_bytes_lessequal(); -extern value caml_bytes_lessthan(); -extern value caml_bytes_notequal(); -extern value caml_bytes_of_string(); -extern value caml_bytes_set(); -extern value caml_bytes_set16(); -extern value caml_bytes_set32(); -extern value caml_bytes_set64(); -extern value caml_ceil_float(); -extern value caml_channel_descriptor(); -extern value caml_classify_float(); -extern value caml_compare(); -extern value caml_convert_raw_backtrace(); -extern value caml_convert_raw_backtrace_slot(); -extern value caml_copysign_float(); -extern value caml_cos_float(); -extern value caml_cosh_float(); -extern value caml_create_bytes(); -extern value caml_create_string(); -extern value caml_div_float(); -extern value caml_dynlink_add_primitive(); -extern value caml_dynlink_close_lib(); -extern value caml_dynlink_get_current_libs(); -extern value caml_dynlink_lookup_symbol(); -extern value caml_dynlink_open_lib(); -extern value caml_ensure_stack_capacity(); -extern value caml_ephe_blit_data(); -extern value caml_ephe_blit_key(); -extern value caml_ephe_check_data(); -extern value caml_ephe_check_key(); -extern value caml_ephe_create(); -extern value caml_ephe_get_data(); -extern value caml_ephe_get_data_copy(); -extern value caml_ephe_get_key(); -extern value caml_ephe_get_key_copy(); -extern value caml_ephe_set_data(); -extern value caml_ephe_set_key(); -extern value caml_ephe_unset_data(); -extern value caml_ephe_unset_key(); -extern value caml_eq_float(); -extern value caml_equal(); -extern value caml_exp_float(); -extern value caml_expm1_float(); -extern value caml_fill_bytes(); -extern value caml_fill_string(); -extern value caml_final_register(); -extern value caml_final_register_called_without_value(); -extern value caml_final_release(); -extern value caml_float_compare(); -extern value caml_float_of_int(); -extern value caml_float_of_string(); -extern value caml_floatarray_create(); -extern value caml_floatarray_get(); -extern value caml_floatarray_set(); -extern value caml_floatarray_unsafe_get(); -extern value caml_floatarray_unsafe_set(); -extern value caml_floor_float(); -extern value caml_fmod_float(); -extern value caml_format_float(); -extern value caml_format_int(); -extern value caml_fresh_oo_id(); -extern value caml_frexp_float(); -extern value caml_gc_compaction(); -extern value caml_gc_counters(); -extern value caml_gc_full_major(); -extern value caml_gc_get(); -extern value caml_gc_huge_fallback_count(); -extern value caml_gc_major(); -extern value caml_gc_major_slice(); -extern value caml_gc_minor(); -extern value caml_gc_minor_words(); -extern value caml_gc_quick_stat(); -extern value caml_gc_set(); -extern value caml_gc_stat(); -extern value caml_ge_float(); -extern value caml_get_current_callstack(); -extern value caml_get_current_environment(); -extern value caml_get_exception_backtrace(); -extern value caml_get_exception_raw_backtrace(); -extern value caml_get_global_data(); -extern value caml_get_major_bucket(); -extern value caml_get_major_credit(); -extern value caml_get_minor_free(); -extern value caml_get_public_method(); -extern value caml_get_section_table(); -extern value caml_greaterequal(); -extern value caml_greaterthan(); -extern value caml_gt_float(); -extern value caml_hash(); -extern value caml_hash_univ_param(); -extern value caml_hexstring_of_float(); -extern value caml_hypot_float(); -extern value caml_input_value(); -extern value caml_input_value_from_bytes(); -extern value caml_input_value_from_string(); -extern value caml_input_value_to_outside_heap(); -extern value caml_install_signal_handler(); -extern value caml_int32_add(); -extern value caml_int32_and(); -extern value caml_int32_bits_of_float(); -extern value caml_int32_bswap(); -extern value caml_int32_compare(); -extern value caml_int32_div(); -extern value caml_int32_float_of_bits(); -extern value caml_int32_format(); -extern value caml_int32_mod(); -extern value caml_int32_mul(); -extern value caml_int32_neg(); -extern value caml_int32_of_float(); -extern value caml_int32_of_int(); -extern value caml_int32_of_string(); -extern value caml_int32_or(); -extern value caml_int32_shift_left(); -extern value caml_int32_shift_right(); -extern value caml_int32_shift_right_unsigned(); -extern value caml_int32_sub(); -extern value caml_int32_to_float(); -extern value caml_int32_to_int(); -extern value caml_int32_xor(); -extern value caml_int64_add(); -extern value caml_int64_and(); -extern value caml_int64_bits_of_float(); -extern value caml_int64_bswap(); -extern value caml_int64_compare(); -extern value caml_int64_div(); -extern value caml_int64_float_of_bits(); -extern value caml_int64_format(); -extern value caml_int64_mod(); -extern value caml_int64_mul(); -extern value caml_int64_neg(); -extern value caml_int64_of_float(); -extern value caml_int64_of_int(); -extern value caml_int64_of_int32(); -extern value caml_int64_of_nativeint(); -extern value caml_int64_of_string(); -extern value caml_int64_or(); -extern value caml_int64_shift_left(); -extern value caml_int64_shift_right(); -extern value caml_int64_shift_right_unsigned(); -extern value caml_int64_sub(); -extern value caml_int64_to_float(); -extern value caml_int64_to_int(); -extern value caml_int64_to_int32(); -extern value caml_int64_to_nativeint(); -extern value caml_int64_xor(); -extern value caml_int_as_pointer(); -extern value caml_int_compare(); -extern value caml_int_of_float(); -extern value caml_int_of_string(); -extern value caml_invoke_traced_function(); -extern value caml_lazy_follow_forward(); -extern value caml_lazy_make_forward(); -extern value caml_ldexp_float(); -extern value caml_le_float(); -extern value caml_lessequal(); -extern value caml_lessthan(); -extern value caml_lex_engine(); -extern value caml_log10_float(); -extern value caml_log1p_float(); -extern value caml_log_float(); -extern value caml_lt_float(); -extern value caml_make_array(); -extern value caml_make_float_vect(); -extern value caml_make_vect(); -extern value caml_marshal_data_size(); -extern value caml_md5_chan(); -extern value caml_md5_string(); -extern value caml_ml_bytes_length(); -extern value caml_ml_channel_size(); -extern value caml_ml_channel_size_64(); -extern value caml_ml_close_channel(); -extern value caml_ml_enable_runtime_warnings(); -extern value caml_ml_flush(); -extern value caml_ml_flush_partial(); -extern value caml_ml_input(); -extern value caml_ml_input_char(); -extern value caml_ml_input_int(); -extern value caml_ml_input_scan_line(); -extern value caml_ml_open_descriptor_in(); -extern value caml_ml_open_descriptor_out(); -extern value caml_ml_out_channels_list(); -extern value caml_ml_output(); -extern value caml_ml_output_bytes(); -extern value caml_ml_output_char(); -extern value caml_ml_output_int(); -extern value caml_ml_output_partial(); -extern value caml_ml_pos_in(); -extern value caml_ml_pos_in_64(); -extern value caml_ml_pos_out(); -extern value caml_ml_pos_out_64(); -extern value caml_ml_runtime_warnings_enabled(); -extern value caml_ml_seek_in(); -extern value caml_ml_seek_in_64(); -extern value caml_ml_seek_out(); -extern value caml_ml_seek_out_64(); -extern value caml_ml_set_binary_mode(); -extern value caml_ml_set_channel_name(); -extern value caml_ml_string_length(); -extern value caml_modf_float(); -extern value caml_mul_float(); -extern value caml_nativeint_add(); -extern value caml_nativeint_and(); -extern value caml_nativeint_bswap(); -extern value caml_nativeint_compare(); -extern value caml_nativeint_div(); -extern value caml_nativeint_format(); -extern value caml_nativeint_mod(); -extern value caml_nativeint_mul(); -extern value caml_nativeint_neg(); -extern value caml_nativeint_of_float(); -extern value caml_nativeint_of_int(); -extern value caml_nativeint_of_int32(); -extern value caml_nativeint_of_string(); -extern value caml_nativeint_or(); -extern value caml_nativeint_shift_left(); -extern value caml_nativeint_shift_right(); -extern value caml_nativeint_shift_right_unsigned(); -extern value caml_nativeint_sub(); -extern value caml_nativeint_to_float(); -extern value caml_nativeint_to_int(); -extern value caml_nativeint_to_int32(); -extern value caml_nativeint_xor(); -extern value caml_neg_float(); -extern value caml_neq_float(); -extern value caml_new_lex_engine(); -extern value caml_notequal(); -extern value caml_obj_add_offset(); -extern value caml_obj_block(); -extern value caml_obj_dup(); -extern value caml_obj_is_block(); -extern value caml_obj_reachable_words(); -extern value caml_obj_set_tag(); -extern value caml_obj_tag(); -extern value caml_obj_truncate(); -extern value caml_output_value(); -extern value caml_output_value_to_buffer(); -extern value caml_output_value_to_bytes(); -extern value caml_output_value_to_string(); -extern value caml_parse_engine(); -extern value caml_power_float(); -extern value caml_raw_backtrace_length(); -extern value caml_raw_backtrace_next_slot(); -extern value caml_raw_backtrace_slot(); -extern value caml_realloc_global(); -extern value caml_record_backtrace(); -extern value caml_register_channel_for_spacetime(); -extern value caml_register_code_fragment(); -extern value caml_register_named_value(); -extern value caml_reify_bytecode(); -extern value caml_remove_debug_info(); -extern value caml_reset_afl_instrumentation(); -extern value caml_restore_raw_backtrace(); -extern value caml_runtime_parameters(); -extern value caml_runtime_variant(); -extern value caml_set_oo_id(); -extern value caml_set_parser_trace(); -extern value caml_setup_afl(); -extern value caml_sin_float(); -extern value caml_sinh_float(); -extern value caml_spacetime_enabled(); -extern value caml_spacetime_only_works_for_native_code(); -extern value caml_sqrt_float(); -extern value caml_static_alloc(); -extern value caml_static_free(); -extern value caml_static_release_bytecode(); -extern value caml_static_resize(); -extern value caml_string_compare(); -extern value caml_string_equal(); -extern value caml_string_get(); -extern value caml_string_get16(); -extern value caml_string_get32(); -extern value caml_string_get64(); -extern value caml_string_greaterequal(); -extern value caml_string_greaterthan(); -extern value caml_string_lessequal(); -extern value caml_string_lessthan(); -extern value caml_string_notequal(); -extern value caml_string_of_bytes(); -extern value caml_string_set(); -extern value caml_sub_float(); -extern value caml_sys_chdir(); -extern value caml_sys_close(); -extern value caml_sys_const_backend_type(); -extern value caml_sys_const_big_endian(); -extern value caml_sys_const_int_size(); -extern value caml_sys_const_max_wosize(); -extern value caml_sys_const_ostype_cygwin(); -extern value caml_sys_const_ostype_unix(); -extern value caml_sys_const_ostype_win32(); -extern value caml_sys_const_word_size(); -extern value caml_sys_exit(); -extern value caml_sys_file_exists(); -extern value caml_sys_get_argv(); -extern value caml_sys_get_config(); -extern value caml_sys_getcwd(); -extern value caml_sys_getenv(); -extern value caml_sys_is_directory(); -extern value caml_sys_isatty(); -extern value caml_sys_open(); -extern value caml_sys_random_seed(); -extern value caml_sys_read_directory(); -extern value caml_sys_remove(); -extern value caml_sys_rename(); -extern value caml_sys_system_command(); -extern value caml_sys_time(); -extern value caml_sys_time_include_children(); -extern value caml_sys_unsafe_getenv(); -extern value caml_tan_float(); -extern value caml_tanh_float(); -extern value caml_terminfo_rows(); -extern value caml_update_dummy(); -extern value caml_weak_blit(); -extern value caml_weak_check(); -extern value caml_weak_create(); -extern value caml_weak_get(); -extern value caml_weak_get_copy(); -extern value caml_weak_set(); -c_primitive caml_builtin_cprim[] = { - caml_abs_float, - caml_acos_float, - caml_add_debug_info, - caml_add_float, - caml_alloc_dummy, - caml_alloc_dummy_float, - caml_alloc_dummy_function, - caml_array_append, - caml_array_blit, - caml_array_concat, - caml_array_get, - caml_array_get_addr, - caml_array_get_float, - caml_array_set, - caml_array_set_addr, - caml_array_set_float, - caml_array_sub, - caml_array_unsafe_get, - caml_array_unsafe_get_float, - caml_array_unsafe_set, - caml_array_unsafe_set_addr, - caml_array_unsafe_set_float, - caml_asin_float, - caml_atan2_float, - caml_atan_float, - caml_ba_blit, - caml_ba_change_layout, - caml_ba_create, - caml_ba_dim, - caml_ba_dim_1, - caml_ba_dim_2, - caml_ba_dim_3, - caml_ba_fill, - caml_ba_get_1, - caml_ba_get_2, - caml_ba_get_3, - caml_ba_get_generic, - caml_ba_kind, - caml_ba_layout, - caml_ba_num_dims, - caml_ba_reshape, - caml_ba_set_1, - caml_ba_set_2, - caml_ba_set_3, - caml_ba_set_generic, - caml_ba_slice, - caml_ba_sub, - caml_ba_uint8_get16, - caml_ba_uint8_get32, - caml_ba_uint8_get64, - caml_ba_uint8_set16, - caml_ba_uint8_set32, - caml_ba_uint8_set64, - caml_backtrace_status, - caml_blit_bytes, - caml_blit_string, - caml_bswap16, - caml_bytes_compare, - caml_bytes_equal, - caml_bytes_get, - caml_bytes_get16, - caml_bytes_get32, - caml_bytes_get64, - caml_bytes_greaterequal, - caml_bytes_greaterthan, - caml_bytes_lessequal, - caml_bytes_lessthan, - caml_bytes_notequal, - caml_bytes_of_string, - caml_bytes_set, - caml_bytes_set16, - caml_bytes_set32, - caml_bytes_set64, - caml_ceil_float, - caml_channel_descriptor, - caml_classify_float, - caml_compare, - caml_convert_raw_backtrace, - caml_convert_raw_backtrace_slot, - caml_copysign_float, - caml_cos_float, - caml_cosh_float, - caml_create_bytes, - caml_create_string, - caml_div_float, - caml_dynlink_add_primitive, - caml_dynlink_close_lib, - caml_dynlink_get_current_libs, - caml_dynlink_lookup_symbol, - caml_dynlink_open_lib, - caml_ensure_stack_capacity, - caml_ephe_blit_data, - caml_ephe_blit_key, - caml_ephe_check_data, - caml_ephe_check_key, - caml_ephe_create, - caml_ephe_get_data, - caml_ephe_get_data_copy, - caml_ephe_get_key, - caml_ephe_get_key_copy, - caml_ephe_set_data, - caml_ephe_set_key, - caml_ephe_unset_data, - caml_ephe_unset_key, - caml_eq_float, - caml_equal, - caml_exp_float, - caml_expm1_float, - caml_fill_bytes, - caml_fill_string, - caml_final_register, - caml_final_register_called_without_value, - caml_final_release, - caml_float_compare, - caml_float_of_int, - caml_float_of_string, - caml_floatarray_create, - caml_floatarray_get, - caml_floatarray_set, - caml_floatarray_unsafe_get, - caml_floatarray_unsafe_set, - caml_floor_float, - caml_fmod_float, - caml_format_float, - caml_format_int, - caml_fresh_oo_id, - caml_frexp_float, - caml_gc_compaction, - caml_gc_counters, - caml_gc_full_major, - caml_gc_get, - caml_gc_huge_fallback_count, - caml_gc_major, - caml_gc_major_slice, - caml_gc_minor, - caml_gc_minor_words, - caml_gc_quick_stat, - caml_gc_set, - caml_gc_stat, - caml_ge_float, - caml_get_current_callstack, - caml_get_current_environment, - caml_get_exception_backtrace, - caml_get_exception_raw_backtrace, - caml_get_global_data, - caml_get_major_bucket, - caml_get_major_credit, - caml_get_minor_free, - caml_get_public_method, - caml_get_section_table, - caml_greaterequal, - caml_greaterthan, - caml_gt_float, - caml_hash, - caml_hash_univ_param, - caml_hexstring_of_float, - caml_hypot_float, - caml_input_value, - caml_input_value_from_bytes, - caml_input_value_from_string, - caml_input_value_to_outside_heap, - caml_install_signal_handler, - caml_int32_add, - caml_int32_and, - caml_int32_bits_of_float, - caml_int32_bswap, - caml_int32_compare, - caml_int32_div, - caml_int32_float_of_bits, - caml_int32_format, - caml_int32_mod, - caml_int32_mul, - caml_int32_neg, - caml_int32_of_float, - caml_int32_of_int, - caml_int32_of_string, - caml_int32_or, - caml_int32_shift_left, - caml_int32_shift_right, - caml_int32_shift_right_unsigned, - caml_int32_sub, - caml_int32_to_float, - caml_int32_to_int, - caml_int32_xor, - caml_int64_add, - caml_int64_and, - caml_int64_bits_of_float, - caml_int64_bswap, - caml_int64_compare, - caml_int64_div, - caml_int64_float_of_bits, - caml_int64_format, - caml_int64_mod, - caml_int64_mul, - caml_int64_neg, - caml_int64_of_float, - caml_int64_of_int, - caml_int64_of_int32, - caml_int64_of_nativeint, - caml_int64_of_string, - caml_int64_or, - caml_int64_shift_left, - caml_int64_shift_right, - caml_int64_shift_right_unsigned, - caml_int64_sub, - caml_int64_to_float, - caml_int64_to_int, - caml_int64_to_int32, - caml_int64_to_nativeint, - caml_int64_xor, - caml_int_as_pointer, - caml_int_compare, - caml_int_of_float, - caml_int_of_string, - caml_invoke_traced_function, - caml_lazy_follow_forward, - caml_lazy_make_forward, - caml_ldexp_float, - caml_le_float, - caml_lessequal, - caml_lessthan, - caml_lex_engine, - caml_log10_float, - caml_log1p_float, - caml_log_float, - caml_lt_float, - caml_make_array, - caml_make_float_vect, - caml_make_vect, - caml_marshal_data_size, - caml_md5_chan, - caml_md5_string, - caml_ml_bytes_length, - caml_ml_channel_size, - caml_ml_channel_size_64, - caml_ml_close_channel, - caml_ml_enable_runtime_warnings, - caml_ml_flush, - caml_ml_flush_partial, - caml_ml_input, - caml_ml_input_char, - caml_ml_input_int, - caml_ml_input_scan_line, - caml_ml_open_descriptor_in, - caml_ml_open_descriptor_out, - caml_ml_out_channels_list, - caml_ml_output, - caml_ml_output_bytes, - caml_ml_output_char, - caml_ml_output_int, - caml_ml_output_partial, - caml_ml_pos_in, - caml_ml_pos_in_64, - caml_ml_pos_out, - caml_ml_pos_out_64, - caml_ml_runtime_warnings_enabled, - caml_ml_seek_in, - caml_ml_seek_in_64, - caml_ml_seek_out, - caml_ml_seek_out_64, - caml_ml_set_binary_mode, - caml_ml_set_channel_name, - caml_ml_string_length, - caml_modf_float, - caml_mul_float, - caml_nativeint_add, - caml_nativeint_and, - caml_nativeint_bswap, - caml_nativeint_compare, - caml_nativeint_div, - caml_nativeint_format, - caml_nativeint_mod, - caml_nativeint_mul, - caml_nativeint_neg, - caml_nativeint_of_float, - caml_nativeint_of_int, - caml_nativeint_of_int32, - caml_nativeint_of_string, - caml_nativeint_or, - caml_nativeint_shift_left, - caml_nativeint_shift_right, - caml_nativeint_shift_right_unsigned, - caml_nativeint_sub, - caml_nativeint_to_float, - caml_nativeint_to_int, - caml_nativeint_to_int32, - caml_nativeint_xor, - caml_neg_float, - caml_neq_float, - caml_new_lex_engine, - caml_notequal, - caml_obj_add_offset, - caml_obj_block, - caml_obj_dup, - caml_obj_is_block, - caml_obj_reachable_words, - caml_obj_set_tag, - caml_obj_tag, - caml_obj_truncate, - caml_output_value, - caml_output_value_to_buffer, - caml_output_value_to_bytes, - caml_output_value_to_string, - caml_parse_engine, - caml_power_float, - caml_raw_backtrace_length, - caml_raw_backtrace_next_slot, - caml_raw_backtrace_slot, - caml_realloc_global, - caml_record_backtrace, - caml_register_channel_for_spacetime, - caml_register_code_fragment, - caml_register_named_value, - caml_reify_bytecode, - caml_remove_debug_info, - caml_reset_afl_instrumentation, - caml_restore_raw_backtrace, - caml_runtime_parameters, - caml_runtime_variant, - caml_set_oo_id, - caml_set_parser_trace, - caml_setup_afl, - caml_sin_float, - caml_sinh_float, - caml_spacetime_enabled, - caml_spacetime_only_works_for_native_code, - caml_sqrt_float, - caml_static_alloc, - caml_static_free, - caml_static_release_bytecode, - caml_static_resize, - caml_string_compare, - caml_string_equal, - caml_string_get, - caml_string_get16, - caml_string_get32, - caml_string_get64, - caml_string_greaterequal, - caml_string_greaterthan, - caml_string_lessequal, - caml_string_lessthan, - caml_string_notequal, - caml_string_of_bytes, - caml_string_set, - caml_sub_float, - caml_sys_chdir, - caml_sys_close, - caml_sys_const_backend_type, - caml_sys_const_big_endian, - caml_sys_const_int_size, - caml_sys_const_max_wosize, - caml_sys_const_ostype_cygwin, - caml_sys_const_ostype_unix, - caml_sys_const_ostype_win32, - caml_sys_const_word_size, - caml_sys_exit, - caml_sys_file_exists, - caml_sys_get_argv, - caml_sys_get_config, - caml_sys_getcwd, - caml_sys_getenv, - caml_sys_is_directory, - caml_sys_isatty, - caml_sys_open, - caml_sys_random_seed, - caml_sys_read_directory, - caml_sys_remove, - caml_sys_rename, - caml_sys_system_command, - caml_sys_time, - caml_sys_time_include_children, - caml_sys_unsafe_getenv, - caml_tan_float, - caml_tanh_float, - caml_terminfo_rows, - caml_update_dummy, - caml_weak_blit, - caml_weak_check, - caml_weak_create, - caml_weak_get, - caml_weak_get_copy, - caml_weak_set, - 0 }; -char * caml_names_of_builtin_cprim[] = { - "caml_abs_float", - "caml_acos_float", - "caml_add_debug_info", - "caml_add_float", - "caml_alloc_dummy", - "caml_alloc_dummy_float", - "caml_alloc_dummy_function", - "caml_array_append", - "caml_array_blit", - "caml_array_concat", - "caml_array_get", - "caml_array_get_addr", - "caml_array_get_float", - "caml_array_set", - "caml_array_set_addr", - "caml_array_set_float", - "caml_array_sub", - "caml_array_unsafe_get", - "caml_array_unsafe_get_float", - "caml_array_unsafe_set", - "caml_array_unsafe_set_addr", - "caml_array_unsafe_set_float", - "caml_asin_float", - "caml_atan2_float", - "caml_atan_float", - "caml_ba_blit", - "caml_ba_change_layout", - "caml_ba_create", - "caml_ba_dim", - "caml_ba_dim_1", - "caml_ba_dim_2", - "caml_ba_dim_3", - "caml_ba_fill", - "caml_ba_get_1", - "caml_ba_get_2", - "caml_ba_get_3", - "caml_ba_get_generic", - "caml_ba_kind", - "caml_ba_layout", - "caml_ba_num_dims", - "caml_ba_reshape", - "caml_ba_set_1", - "caml_ba_set_2", - "caml_ba_set_3", - "caml_ba_set_generic", - "caml_ba_slice", - "caml_ba_sub", - "caml_ba_uint8_get16", - "caml_ba_uint8_get32", - "caml_ba_uint8_get64", - "caml_ba_uint8_set16", - "caml_ba_uint8_set32", - "caml_ba_uint8_set64", - "caml_backtrace_status", - "caml_blit_bytes", - "caml_blit_string", - "caml_bswap16", - "caml_bytes_compare", - "caml_bytes_equal", - "caml_bytes_get", - "caml_bytes_get16", - "caml_bytes_get32", - "caml_bytes_get64", - "caml_bytes_greaterequal", - "caml_bytes_greaterthan", - "caml_bytes_lessequal", - "caml_bytes_lessthan", - "caml_bytes_notequal", - "caml_bytes_of_string", - "caml_bytes_set", - "caml_bytes_set16", - "caml_bytes_set32", - "caml_bytes_set64", - "caml_ceil_float", - "caml_channel_descriptor", - "caml_classify_float", - "caml_compare", - "caml_convert_raw_backtrace", - "caml_convert_raw_backtrace_slot", - "caml_copysign_float", - "caml_cos_float", - "caml_cosh_float", - "caml_create_bytes", - "caml_create_string", - "caml_div_float", - "caml_dynlink_add_primitive", - "caml_dynlink_close_lib", - "caml_dynlink_get_current_libs", - "caml_dynlink_lookup_symbol", - "caml_dynlink_open_lib", - "caml_ensure_stack_capacity", - "caml_ephe_blit_data", - "caml_ephe_blit_key", - "caml_ephe_check_data", - "caml_ephe_check_key", - "caml_ephe_create", - "caml_ephe_get_data", - "caml_ephe_get_data_copy", - "caml_ephe_get_key", - "caml_ephe_get_key_copy", - "caml_ephe_set_data", - "caml_ephe_set_key", - "caml_ephe_unset_data", - "caml_ephe_unset_key", - "caml_eq_float", - "caml_equal", - "caml_exp_float", - "caml_expm1_float", - "caml_fill_bytes", - "caml_fill_string", - "caml_final_register", - "caml_final_register_called_without_value", - "caml_final_release", - "caml_float_compare", - "caml_float_of_int", - "caml_float_of_string", - "caml_floatarray_create", - "caml_floatarray_get", - "caml_floatarray_set", - "caml_floatarray_unsafe_get", - "caml_floatarray_unsafe_set", - "caml_floor_float", - "caml_fmod_float", - "caml_format_float", - "caml_format_int", - "caml_fresh_oo_id", - "caml_frexp_float", - "caml_gc_compaction", - "caml_gc_counters", - "caml_gc_full_major", - "caml_gc_get", - "caml_gc_huge_fallback_count", - "caml_gc_major", - "caml_gc_major_slice", - "caml_gc_minor", - "caml_gc_minor_words", - "caml_gc_quick_stat", - "caml_gc_set", - "caml_gc_stat", - "caml_ge_float", - "caml_get_current_callstack", - "caml_get_current_environment", - "caml_get_exception_backtrace", - "caml_get_exception_raw_backtrace", - "caml_get_global_data", - "caml_get_major_bucket", - "caml_get_major_credit", - "caml_get_minor_free", - "caml_get_public_method", - "caml_get_section_table", - "caml_greaterequal", - "caml_greaterthan", - "caml_gt_float", - "caml_hash", - "caml_hash_univ_param", - "caml_hexstring_of_float", - "caml_hypot_float", - "caml_input_value", - "caml_input_value_from_bytes", - "caml_input_value_from_string", - "caml_input_value_to_outside_heap", - "caml_install_signal_handler", - "caml_int32_add", - "caml_int32_and", - "caml_int32_bits_of_float", - "caml_int32_bswap", - "caml_int32_compare", - "caml_int32_div", - "caml_int32_float_of_bits", - "caml_int32_format", - "caml_int32_mod", - "caml_int32_mul", - "caml_int32_neg", - "caml_int32_of_float", - "caml_int32_of_int", - "caml_int32_of_string", - "caml_int32_or", - "caml_int32_shift_left", - "caml_int32_shift_right", - "caml_int32_shift_right_unsigned", - "caml_int32_sub", - "caml_int32_to_float", - "caml_int32_to_int", - "caml_int32_xor", - "caml_int64_add", - "caml_int64_and", - "caml_int64_bits_of_float", - "caml_int64_bswap", - "caml_int64_compare", - "caml_int64_div", - "caml_int64_float_of_bits", - "caml_int64_format", - "caml_int64_mod", - "caml_int64_mul", - "caml_int64_neg", - "caml_int64_of_float", - "caml_int64_of_int", - "caml_int64_of_int32", - "caml_int64_of_nativeint", - "caml_int64_of_string", - "caml_int64_or", - "caml_int64_shift_left", - "caml_int64_shift_right", - "caml_int64_shift_right_unsigned", - "caml_int64_sub", - "caml_int64_to_float", - "caml_int64_to_int", - "caml_int64_to_int32", - "caml_int64_to_nativeint", - "caml_int64_xor", - "caml_int_as_pointer", - "caml_int_compare", - "caml_int_of_float", - "caml_int_of_string", - "caml_invoke_traced_function", - "caml_lazy_follow_forward", - "caml_lazy_make_forward", - "caml_ldexp_float", - "caml_le_float", - "caml_lessequal", - "caml_lessthan", - "caml_lex_engine", - "caml_log10_float", - "caml_log1p_float", - "caml_log_float", - "caml_lt_float", - "caml_make_array", - "caml_make_float_vect", - "caml_make_vect", - "caml_marshal_data_size", - "caml_md5_chan", - "caml_md5_string", - "caml_ml_bytes_length", - "caml_ml_channel_size", - "caml_ml_channel_size_64", - "caml_ml_close_channel", - "caml_ml_enable_runtime_warnings", - "caml_ml_flush", - "caml_ml_flush_partial", - "caml_ml_input", - "caml_ml_input_char", - "caml_ml_input_int", - "caml_ml_input_scan_line", - "caml_ml_open_descriptor_in", - "caml_ml_open_descriptor_out", - "caml_ml_out_channels_list", - "caml_ml_output", - "caml_ml_output_bytes", - "caml_ml_output_char", - "caml_ml_output_int", - "caml_ml_output_partial", - "caml_ml_pos_in", - "caml_ml_pos_in_64", - "caml_ml_pos_out", - "caml_ml_pos_out_64", - "caml_ml_runtime_warnings_enabled", - "caml_ml_seek_in", - "caml_ml_seek_in_64", - "caml_ml_seek_out", - "caml_ml_seek_out_64", - "caml_ml_set_binary_mode", - "caml_ml_set_channel_name", - "caml_ml_string_length", - "caml_modf_float", - "caml_mul_float", - "caml_nativeint_add", - "caml_nativeint_and", - "caml_nativeint_bswap", - "caml_nativeint_compare", - "caml_nativeint_div", - "caml_nativeint_format", - "caml_nativeint_mod", - "caml_nativeint_mul", - "caml_nativeint_neg", - "caml_nativeint_of_float", - "caml_nativeint_of_int", - "caml_nativeint_of_int32", - "caml_nativeint_of_string", - "caml_nativeint_or", - "caml_nativeint_shift_left", - "caml_nativeint_shift_right", - "caml_nativeint_shift_right_unsigned", - "caml_nativeint_sub", - "caml_nativeint_to_float", - "caml_nativeint_to_int", - "caml_nativeint_to_int32", - "caml_nativeint_xor", - "caml_neg_float", - "caml_neq_float", - "caml_new_lex_engine", - "caml_notequal", - "caml_obj_add_offset", - "caml_obj_block", - "caml_obj_dup", - "caml_obj_is_block", - "caml_obj_reachable_words", - "caml_obj_set_tag", - "caml_obj_tag", - "caml_obj_truncate", - "caml_output_value", - "caml_output_value_to_buffer", - "caml_output_value_to_bytes", - "caml_output_value_to_string", - "caml_parse_engine", - "caml_power_float", - "caml_raw_backtrace_length", - "caml_raw_backtrace_next_slot", - "caml_raw_backtrace_slot", - "caml_realloc_global", - "caml_record_backtrace", - "caml_register_channel_for_spacetime", - "caml_register_code_fragment", - "caml_register_named_value", - "caml_reify_bytecode", - "caml_remove_debug_info", - "caml_reset_afl_instrumentation", - "caml_restore_raw_backtrace", - "caml_runtime_parameters", - "caml_runtime_variant", - "caml_set_oo_id", - "caml_set_parser_trace", - "caml_setup_afl", - "caml_sin_float", - "caml_sinh_float", - "caml_spacetime_enabled", - "caml_spacetime_only_works_for_native_code", - "caml_sqrt_float", - "caml_static_alloc", - "caml_static_free", - "caml_static_release_bytecode", - "caml_static_resize", - "caml_string_compare", - "caml_string_equal", - "caml_string_get", - "caml_string_get16", - "caml_string_get32", - "caml_string_get64", - "caml_string_greaterequal", - "caml_string_greaterthan", - "caml_string_lessequal", - "caml_string_lessthan", - "caml_string_notequal", - "caml_string_of_bytes", - "caml_string_set", - "caml_sub_float", - "caml_sys_chdir", - "caml_sys_close", - "caml_sys_const_backend_type", - "caml_sys_const_big_endian", - "caml_sys_const_int_size", - "caml_sys_const_max_wosize", - "caml_sys_const_ostype_cygwin", - "caml_sys_const_ostype_unix", - "caml_sys_const_ostype_win32", - "caml_sys_const_word_size", - "caml_sys_exit", - "caml_sys_file_exists", - "caml_sys_get_argv", - "caml_sys_get_config", - "caml_sys_getcwd", - "caml_sys_getenv", - "caml_sys_is_directory", - "caml_sys_isatty", - "caml_sys_open", - "caml_sys_random_seed", - "caml_sys_read_directory", - "caml_sys_remove", - "caml_sys_rename", - "caml_sys_system_command", - "caml_sys_time", - "caml_sys_time_include_children", - "caml_sys_unsafe_getenv", - "caml_tan_float", - "caml_tanh_float", - "caml_terminfo_rows", - "caml_update_dummy", - "caml_weak_blit", - "caml_weak_check", - "caml_weak_create", - "caml_weak_get", - "caml_weak_get_copy", - "caml_weak_set", - 0 }; diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 09b845e5..69950d7f 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -8,7 +8,7 @@ K1C_CC=k1-mbr-gcc K1C_CFLAGS =-g -std=c99 -O2 -Wall -Wextra -Werror=implicit $(ALL_CFLAGS) K1C_CCOMP = ../../../ccomp -K1C_CCOMPFLAGS=-O3 -Wall -Wno-c11-extensions $(ALL_CCOMPFLAGS) $(ALL_CFLAGS) # -fpostpass-ilp +K1C_CCOMPFLAGS=-O3 -Wall $(ALL_CCOMPFLAGS) $(ALL_CFLAGS) # -fpostpass-ilp EXECUTE=k1-cluster --syscall=libstd_scalls.so -- EXECUTE_CYCLES=k1-cluster --syscall=libstd_scalls.so --cycle-based -- |