mfranc

mfranc

Prague

80-bit floats support on x86_64 for Valgrind

a project by mfranc

Project Description

Valgrind currently lacks support for 80-bit extended precision floating point arithmetic on x86_64 (long double). The current implementation uses 64-bit arithmetic instead, which means that programs running on x86_64 with "long double" give different results when running under Valgrind and natively. People were asking for support for this since like forever, but to date nobody went on implementing it. It's a project for a year, unless somebody has time to work on it full time, but one has to start somewhere. :-)

Updated 27 days ago. 5 hacker ♥️. 2 followers.
1
1
0
7

Looking for projects around:

Nothing at the moment

Activity

  • 27 days ago: mfranc liked A command line image collector tool for my gallery website
  • 28 days ago: mfranc liked Assembly Diff Tool for kGraft
  • 28 days ago: mfranc liked terraform-provider-feilong
  • 29 days ago: mfranc liked Developer documentation of boot process (userspace)
  • 29 days ago: mfranc liked Support verification of digitally signed PDFs in Evince
  • 29 days ago: mfranc liked SMTGCC
  • 29 days ago: mfranc liked Waysettings
  • 29 days ago: mfranc started 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "x86" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "floating-point" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc removed keyword floatingpointarithmetic from 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "floatingpointarithmetic" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "assembly" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "valgrind" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "x86_64" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc added keyword "c" to 80-bit floats support on x86_64 for Valgrind
  • 29 days ago: mfranc originated 80-bit floats support on x86_64 for Valgrind