Что в мире софта linux использует FPU, AVX и прочие подобные инструкции?

#include <stdio.h>

int main(int argc, char* argv[]) {
	float f1, f2;
	if(argc != 3) {
		fputs("Bad arguments\n", stderr);
	}
	sscanf(argv[1], "%f", &f1);
	sscanf(argv[2], "%f", &f2);
	printf("%f\n", f1 / f2);
}

$ gcc --version
gcc (Debian 5.3.1-5) 5.3.1 20160101
(...)

$ gcc -O0 -march=sandybridge -o float-test float-test.c

$ objdump -d float-test
(...)

00000000004005e6 <main>:
  4005e6:	55                   	push   %rbp
  4005e7:	48 89 e5             	mov    %rsp,%rbp
  4005ea:	48 83 ec 20          	sub    $0x20,%rsp
  4005ee:	89 7d ec             	mov    %edi,-0x14(%rbp)
  4005f1:	48 89 75 e0          	mov    %rsi,-0x20(%rbp)
  4005f5:	83 7d ec 03          	cmpl   $0x3,-0x14(%rbp)
  4005f9:	74 1e                	je     400619 <main+0x33>
  4005fb:	48 8b 05 9e 04 20 00 	mov    0x20049e(%rip),%rax        # 600aa0 <stderr@@GLIBC_2.2.5>
  400602:	48 89 c1             	mov    %rax,%rcx
  400605:	ba 0e 00 00 00       	mov    $0xe,%edx
  40060a:	be 01 00 00 00       	mov    $0x1,%esi
  40060f:	bf 14 07 40 00       	mov    $0x400714,%edi
  400614:	e8 b7 fe ff ff       	callq  4004d0 <fwrite@plt>
  400619:	48 8b 45 e0          	mov    -0x20(%rbp),%rax
  40061d:	48 83 c0 08          	add    $0x8,%rax
  400621:	48 8b 00             	mov    (%rax),%rax
  400624:	48 8d 55 fc          	lea    -0x4(%rbp),%rdx
  400628:	be 23 07 40 00       	mov    $0x400723,%esi
  40062d:	48 89 c7             	mov    %rax,%rdi
  400630:	b8 00 00 00 00       	mov    $0x0,%eax
  400635:	e8 86 fe ff ff       	callq  4004c0 <__isoc99_sscanf@plt>
  40063a:	48 8b 45 e0          	mov    -0x20(%rbp),%rax
  40063e:	48 83 c0 10          	add    $0x10,%rax
  400642:	48 8b 00             	mov    (%rax),%rax
  400645:	48 8d 55 f8          	lea    -0x8(%rbp),%rdx
  400649:	be 23 07 40 00       	mov    $0x400723,%esi
  40064e:	48 89 c7             	mov    %rax,%rdi
  400651:	b8 00 00 00 00       	mov    $0x0,%eax
  400656:	e8 65 fe ff ff       	callq  4004c0 <__isoc99_sscanf@plt>
  40065b:	c5 fa 10 45 fc       	vmovss -0x4(%rbp),%xmm0
  400660:	c5 fa 10 4d f8       	vmovss -0x8(%rbp),%xmm1
  400665:	c5 fa 5e c1          	vdivss %xmm1,%xmm0,%xmm0
  400669:	c5 ea 5a d0          	vcvtss2sd %xmm0,%xmm2,%xmm2
  40066d:	c4 e1 f9 7e d0       	vmovq  %xmm2,%rax
  400672:	c4 e1 f9 6e c0       	vmovq  %rax,%xmm0
  400677:	bf 26 07 40 00       	mov    $0x400726,%edi
  40067c:	b8 01 00 00 00       	mov    $0x1,%eax
  400681:	e8 1a fe ff ff       	callq  4004a0 <printf@plt>
  400686:	b8 00 00 00 00       	mov    $0x0,%eax
  40068b:	c9                   	leaveq 
  40068c:	c3                   	retq   
  40068d:	0f 1f 00             	nopl   (%rax)

(...)