diff options
Diffstat (limited to 'results/classifier/zero-shot-user-mode/output/instruction/1912934')
| -rw-r--r-- | results/classifier/zero-shot-user-mode/output/instruction/1912934 | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/results/classifier/zero-shot-user-mode/output/instruction/1912934 b/results/classifier/zero-shot-user-mode/output/instruction/1912934 new file mode 100644 index 00000000..3a8703b7 --- /dev/null +++ b/results/classifier/zero-shot-user-mode/output/instruction/1912934 @@ -0,0 +1,23 @@ +instruction: 0.731 +runtime: 0.190 +syscall: 0.079 + + + +QEMU emulation of fmadds instruction on powerpc64le is buggy + +The attached program test-fmadds.c tests the fmadds instruction on powerpc64le. + +Result on real hardware (POWER8E processor): +$ ./a.out ; echo $? +0 + +Result in Alpine Linux 3.13/powerpcle, emulated by QEMU 5.0.0 on Ubuntu 16.04: +$ ./a.out ; echo $? +32 + +Result in Debian 8.6.0/ppc64el, emulated by QEMU 2.9.0 on Ubuntu 16.04: +$ ./a.out ; echo $? +32 + +Through 'nm --dynamic qemu-system-ppc64 | grep fma' I can see that QEMU is NOT using the fmaf() or fma() function from the host system's libc; this function is working fine in glibc of the host system (see https://www.gnu.org/software/gnulib/manual/html_node/fmaf.html ). \ No newline at end of file |