builtins-x86 « Results « regression « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/regression/Results/builtins-x86

blob: 7cd8838b098e67f4709806ac75b70021722d6e73 (plain)

fmin(3.141590, 2.718000) = 2.718000
fmax(3.141590, 2.718000) = 3.141590
read_16_rev = 3412
read_32_rev = efbeadde
after write_16_rev: 9a78
after write_32_rev: 78563412
CSE write_32_rev: ok