Using software floating point on x86 linux

by

It is surprising that gcc doesn’t support this natively as the code is clearly available in the source within a directory called soft-fp. It’s possible to compile that library manually:

$ svn co svn://gcc.gnu.org/svn/gcc/trunk/libgcc/ libgcc
$ cd libgcc/soft-fp/
$ gcc -c -O2 -msoft-float -m32  -I../config/arm/ -I..  *.c
$ ar -crv libsoft-fp.a *.o

There are a few c files which don’t compile due to errors but the majority does compile. After copying libsoft-fp.a into the directory with our source files they now compile fine with -msoft-float:

$ gcc -g -m32  -msoft-float test.c -lsoft-fp -L.

A quick inspection using

$ objdump -D --disassembler-options=intel a.out  | less

shows that as expected no x87 floating point instructions are called and the code runs considerably slower as well, by a factor of 8 in my example which uses lots of division.

Note: I would’ve preferred to compile the soft-float library with

$ gcc -c -O2 -msoft-float -m32  -I../config/i386/ -I..  *.c

but that results in loads of error messages like

adddf3.c: In function '__adddf3':
adddf3.c:46: error: unknown register name 'st(1)' in 'asm'

Seems like the i386 version is not well maintained as st(1) points to one of the x87 registers which are obviously not available when using -msoft-float.
Strangely or luckily the arm version compiles fine on an i386 and seems to work just fine.

More Related Contents:

  1. Assembling 32-bit binaries on a 64-bit system (GNU toolchain)
  2. How to invoke a system call via syscall or sysenter in inline assembly?
  3. Nasm segmentation fault on RET in _start
  4. How to print a number in assembly NASM?
  5. How are the fs/gs registers used in Linux AMD64?
  6. What is better “int 0x80” or “syscall” in 32-bit code on Linux?
  7. Hello, world in assembly language with Linux system calls?
  8. Use of floating point in the Linux kernel
  9. Minimal executable size now 10x larger after linking than 2 years ago, for tiny programs?
  10. “No such file or directory” error when executing a binary
  11. Assembly compiled executable using INT 0x80 on Ubuntu on Windows Subsystem for Linux doesn’t produce output
  12. How do I disassemble raw 16-bit x86 machine code?
  13. How to print a character in Linux x86 NASM?
  14. Using gdb to single-step assembly code outside specified executable causes error “cannot find bounds of current function”
  15. Why do virtual memory addresses for linux binaries start at 0x8048000?
  16. Why can’t I mmap(MAP_FIXED) the highest virtual page in a 32-bit Linux process on a 64-bit kernel?
  17. Is garbage allowed in high bits of parameter and return value registers in x86-64 SysV ABI?
  18. Assembly segmentation fault after making a system call, at the end of my code
  19. How to calculate time for an asm delay loop on x86 linux?
  20. Is there a way to get gcc to output raw binary?
  21. Why Linux/gnu linker chose address 0x400000?
  22. Trying to understand gcc’s complicated stack-alignment at the top of main that copies the return address
  23. How to disassemble, modify and then reassemble a Linux executable?
  24. get string length in inline GNU Assembler
  25. Why is the page size of Linux (x86) 4 KB, how is that calculated?
  26. Running 32 bit assembly code on a 64 bit Linux & 64 bit Processor : Explain the anomaly
  27. /usr/bin/ld: skipping incompatible foo.so when searching for foo
  28. Hardware cache events and perf
  29. Responsibility of stack alignment in 32-bit x86 assembly
  30. Write system call won’t print characters from a register

Leave a Comment