herbgrind
herbgrind copied to clipboard
uwplse
A Valgrind tool for Herbie
Hello, our team specializes in floating-point program optimization and analysis. Herbgrind is an excellent job, and recently we have been trying to use it to detect errors in floating-point arithmetic...
when I run make, something was wrong, the error message is configure: error: libmpfr not found or uses a different ABI (including static vs shared). So do you konw the...
It's true my system's version of automake is not 1.15 My system's version of automake is 1.16.5 so more recent. The error happens in directory deps/mpfr-64 I tried making a...
Hi, I came across herbgrind and I wanted to try it out. I had some trouble getting it to compile (version mismatch in tools etc). I understand that this is...
I encounter some compilation trouble using gcc-10.2 in ./src/instrument/semantic-op.c, function ‘instrumentPossibleNegate’ where four implicit conversion from ‘enum ’ to ‘IROp’ occur. Regards, Vincent
I attempted to use herbgrind on a Power8 platform but got an error when installing it. The system I am using is ``` $uname -a Linux ray23 3.10.0-957.21.3.1chaos.ch6.ppc64le #1 SMP...
Hello, I tried to run Herbgrind on MG from NAS benchmarks (C++ serial version: [NAS-bench](https://github.com/dalvangriebler/NPB-CPP/tree/master/NPB-SER/MG)) and I got a segfault: ``` $HOME/utils/tools/herbgrind/valgrind/herbgrind-install/bin/valgrind --tool=herbgrind ../bin/mg.S ==28521== Herbgrind, a valgrind tool for...
While fixing issue #49, I found that the `long double` type is actually supported by glibc's libm, and gcc on 64-bit platforms actually emulates 80-bit floats for it (source: https://gcc.gnu.org/onlinedocs/gcc-4.5.3/gcc/i386-and-x86_002d64-Options.html)....
