RE: [ITA] ocaml 4.14.0

[William Hu <purplearmadillo77@proton.me>]

[-- Attachment #1: Type: text/plain, Size: 3033 bytes --]

Hi David,

> What were the missing symbols? With the OCaml 4.10 package, I hit problems with this:
>
> echo 'print_endline "hello, world"' > hello.ml
>
> ocamlc -custom -runtime-variant _shared -o hello.exe hello.ml
>
> I think that may be an issue upstream (libasmrun_shared.so IIRC is broken on all platforms - on Cygwin, you can just about to persuade it to get to the same symbol errors because of the extra .dll.a file which gets generated).

It's a very long list of missing symbols (~400) so it's included as an
attachment in case the mailing list truncates extremely lengthy emails. Also,
just to note, the .dll.a file doesn't seem to be automatically generated by
upstream OCaml.

> What's the full configuration command and what gets inferred for the build, host and target triplets? fma should work without emulation in Cygwin32 and it should be detecting as failing on Cygwin64 but the emulation should be enabled by default unless you explicitly passed --disable-imprecise-c99-float-ops.

Configuration command:
./configure --prefix=/usr --enable-ocamltest

If it's relevant, I'm compiling on a 64-bit machine with Cygwin32 installed to
compile the 32-bit version. Inferred build/host/target:
configure:2779: Configuring OCaml version 4.14.0
configure:3007: checking build system type
configure:3021: result: i686-pc-cygwin
configure:3041: checking host system type
configure:3054: result: i686-pc-cygwin
configure:3074: checking target system type
configure:3087: result: i686-pc-cygwin

On Cygwin64, the test does fail and emulate by default:

configure:14872: result: no
configure:14896: WARNING: fma does not work; emulation enabled

However, on Cygwin32, I get

configure:14872: result: no
configure:14894: error: fma does not work, enable emulation with --enable-imprecise-c99-float-ops

config.log conveniently includes the program that fails, so I copy-pasted some
very redundant code (attached) and ran it on the different architectures:

Cygwin64:
t264| ans: 0x0p+0   accept: 0x1.0989687cp-1044 0x1.09df287cp-1044 0x1.0ap-1044
t264| pass?: 0
t265| ans: 0x0p+0   accept: 0x1.0988p-1060 0x1.09ep-1060 0x1.0ap-1060
t265| pass?: 0
t266| ans: 0x1p-1074   accept: 0x1p-1073
t266| pass?: 0

Cygwin32:
t264| ans: 0x1.0ap-1044   accept: 0x1.0989687cp-1044 0x1.09df287cp-1044 0x1.0ap-1044
t264| pass?: 1
t265| ans: 0x1.0ap-1060   accept: 0x1.0988p-1060 0x1.09ep-1060 0x1.0ap-1060
t265| pass?: 1
t266| ans: 0x1p-1073   accept: 0x1p-1073
t266| pass?: 1

The numbers look like they agree but configure doesn't think so for some reason.

> The camlheader files are data files and definitely mustn't be installed with a .exe extension (nor do they need to be executable).
>
> Incidentally, OCaml 4.12+ is also likely to run into problems if flexlink is older than 0.39 - I just removed the test mark from the flexdll 0.39 package (which I thought I'd done quite some time ago...)
>
> HTH,
>
>
> David

Yep, these pointers help a ton! Thank you!

William

[-- Attachment #2: fma_configure_test.c --]
[-- Type: text/plain, Size: 1029 bytes --]

#include <math.h>
#include <stdio.h>
int main (void) {
	static volatile double x, y, z;
	double t264, t265, t266;
	x = 0x3.bd5b7dde5fddap-496;
	y = 0x3.bd5b7dde5fddap-496;
	z = -0xd.fc352bc352bap-992;
	t264 = fma(x, y, z);
	x = 0x3.bd5b7dde5fddap-504;
	y = 0x3.bd5b7dde5fddap-504;
	z = -0xd.fc352bc352bap-1008;
	t265 = fma(x, y, z);
	x = 0x8p-540;
	y = 0x4p-540;
	z = 0x4p-1076;
	t266 = fma(x, y, z);
	printf("t264| ans: %a   accept: %a %a %a\nt264| pass?: %d\n", 
			t264, 
			0x1.0989687cp-1044, 
			0x0.000004277ca1fp-1022,
			0x0.00000428p-1022,
			t264 == 0x1.0989687cp-1044 ||
			t264 == 0x0.000004277ca1fp-1022 ||
			t264 == 0x0.00000428p-1022
		);
	printf("t265| ans: %a   accept: %a %a %a\nt265| pass?: %d\n", 
			t265,
			0x1.0988p-1060,
			0x0.0000000004278p-1022,
			0x0.000000000428p-1022,
			t265 == 0x1.0988p-1060 ||
			t265 == 0x0.0000000004278p-1022 ||
			t265 == 0x0.000000000428p-1022
		);
	printf("t266| ans: %a   accept: %a\nt266| pass?: %d\n", 
			t266,
			0x8p-1076,
			t266 == 0x8p-1076
		);
	return 0;
}

[-- Attachment #3: camlrun_shared_missing_symbols.txt --]
[-- Type: text/plain, Size: 8709 bytes --]

$ /usr/bin/ocamlc -verbose -custom -runtime-variant _shared -o hello.exe hello.ml
+ flexlink -chain cygwin64 -merge-manifest -stack 16777216 -exe  -o 'hello.exe'  '-L/usr/lib/ocaml'  '-link' '-fdebug-prefix-map=/tmp/camlprim56f84c.c=camlprim.c' '/tmp/camlprim56f84c.c' '-lcamlrun_shared' -I'/usr/lib/ocaml' -lm  -lpthread
** Cannot resolve symbols for /tmp/dyndll87882d.o:
 caml_abs_float
 caml_acos_float
 caml_acosh_float
 caml_add_float
 caml_alloc_dummy
 caml_alloc_dummy_float
 caml_alloc_dummy_function
 caml_alloc_dummy_infix
 caml_array_append
 caml_array_blit
 caml_array_concat
 caml_array_fill
 caml_array_get
 caml_array_get_addr
 caml_array_set
 caml_array_set_addr
 caml_array_sub
 caml_array_unsafe_get
 caml_array_unsafe_set
 caml_asin_float
 caml_asinh_float
 caml_atan2_float
 caml_atan_float
 caml_atanh_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_cbrt_float
 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_erf_float
 caml_erfc_float
 caml_eventlog_pause
 caml_eventlog_resume
 caml_exp2_float
 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_blit
 caml_floatarray_create
 caml_floatarray_get
 caml_floatarray_set
 caml_floatarray_unsafe_get
 caml_floatarray_unsafe_set
 caml_floor_float
 caml_fma_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_hexstring_of_float
 caml_hypot_float
 caml_input_value
 caml_input_value_from_bytes
 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_add_native
 caml_int64_and
 caml_int64_and_native
 caml_int64_bits_of_float
 caml_int64_bswap
 caml_int64_compare
 caml_int64_div
 caml_int64_div_native
 caml_int64_float_of_bits
 caml_int64_format
 caml_int64_mod
 caml_int64_mod_native
 caml_int64_mul
 caml_int64_mul_native
 caml_int64_neg
 caml_int64_neg_native
 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_or_native
 caml_int64_shift_left
 caml_int64_shift_right
 caml_int64_shift_right_unsigned
 caml_int64_sub
 caml_int64_sub_native
 caml_int64_to_float
 caml_int64_to_int
 caml_int64_to_int32
 caml_int64_to_nativeint
 caml_int64_xor
 caml_int64_xor_native
 caml_int_as_pointer
 caml_int_compare
 caml_int_of_float
 caml_int_of_string
 caml_invoke_traced_function
 caml_lazy_make_forward
 caml_ldexp_float
 caml_le_float
 caml_lessequal
 caml_lessthan
 caml_lex_engine
 caml_log10_float
 caml_log1p_float
 caml_log2_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_memprof_start
 caml_memprof_stop
 caml_ml_bytes_length
 caml_ml_channel_size
 caml_ml_channel_size_64
 caml_ml_close_channel
 caml_ml_debug_info_status
 caml_ml_enable_runtime_warnings
 caml_ml_flush
 caml_ml_input
 caml_ml_input_char
 caml_ml_input_int
 caml_ml_input_scan_line
 caml_ml_is_buffered
 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_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_buffered
 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_nextafter_float
 caml_notequal
 caml_obj_add_offset
 caml_obj_block
 caml_obj_dup
 caml_obj_make_forward
 caml_obj_raw_field
 caml_obj_reachable_words
 caml_obj_set_raw_field
 caml_obj_set_tag
 caml_obj_tag
 caml_obj_truncate
 caml_obj_with_tag
 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_named_value
 caml_reify_bytecode
 caml_reset_afl_instrumentation
 caml_restore_raw_backtrace
 caml_round_float
 caml_runtime_parameters
 caml_runtime_variant
 caml_set_oo_id
 caml_set_parser_trace
 caml_signbit
 caml_signbit_float
 caml_sin_float
 caml_sinh_float
 caml_sqrt_float
 caml_static_release_bytecode
 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_argv
 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_naked_pointers_checked
 caml_sys_const_ostype_cygwin
 caml_sys_const_ostype_unix
 caml_sys_const_ostype_win32
 caml_sys_const_word_size
 caml_sys_executable_name
 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_mkdir
 caml_sys_modify_argv
 caml_sys_open
 caml_sys_random_seed
 caml_sys_read_directory
 caml_sys_remove
 caml_sys_rename
 caml_sys_rmdir
 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_trunc_float
 caml_update_dummy
 caml_weak_blit
 caml_weak_check
 caml_weak_create
 caml_weak_get
 caml_weak_get_copy
 caml_weak_set
File "hello.ml", line 1:
Error: Error while building custom runtime system