Как отображать регистры AVX как двойники с помощью GDB?

Я пытался использовать AVX в программе Мандельброта, и это не работает правильно.

Я пытаюсь его отладить, но GDB отказывается показывать мне значения с плавающей запятой в регистрах YMM. Вот минимальный пример

т.к

#include <stdio.h>
extern void loadnum(void);
extern double input[4];
extern double output[4];

int main(void)
{
       /*
       input[0] = 1.1;
       input[1] = 2.2;
       input[2] = 3.3;
       input[3] = 3.14159;
       */
       
       printf("%f %f %f %f\n",input[0],input[1],input[2],input[3]);
       
       loadnum();
       
       printf("%f %f %f %f\n",output[0],output[1],output[2],output[3]);
       
       return 0;
}

л.асм

 section .data

global input
global output

 align 64
input   dq 1.1,2.2,3.3,3.14159
output  dq 0,0,0,0

 section .text

global loadnum

loadnum:
        vmovapd  ymm0, [input]
        vmovapd  [output],ymm0
        
        ret

как это скомпилировано

OBJECTS = t.o l.o
CFLAGS = -c -O2 -g -no-pie -mavx -Wall

t:  $(OBJECTS)
    gcc -g -no-pie $(OBJECTS) -o t

t.o:    t.c
    gcc $(CFLAGS) t.c

l.o:    l.asm
    nasm -felf64 -gdwarf l.asm

Выход

> 1.100000 2.200000 3.300000 3.141590
> 1.100000 2.200000 3.300000 3.141590

который показывает, что он загружает и сохраняет эти двойники, как и ожидалось, но в gdb он показывает

> gdb t (followed by some boilerplate)
> Reading symbols from t...
> (gdb) b loadnum
> Breakpoint 1 at 0x4011b0: file l.asm, line 15.
> (gdb) run
> Starting program: /somedir/t 
> 1.100000 2.200000 3.300000 3.141590

> Breakpoint 1, loadnum () at l.asm:15
> 15            vmovapd  ymm0, [input]
> (gdb) n
> 16            vmovapd  [output],ymm0
> (gdb) 

тогда я говорю

> (gdb) info all-registers

и это проявляется.

> ymm0 (blah blah) v4_double = {0x1, 0x2, 0x3, 0x3}

когда я ожидал, что это покажет

> ymm0 (blah blah) v4_double = {1.100000 2.200000 3.300000 3.141590}
None of the other fields show anything like that, unless you want to parse the floating point bits
> v4_int64 = {0x3ff199999999999a, 0x400199999999999a, 0x400a666666666666, 0x400921f9f01b866e}

Как я могу это исправить?