When I disassemble ARM code that deals with floating point values, how can I print out the registers? (I'm using Gdb).   0x000083d8 <+12>:    ldr r3, [pc, #56]   ; 0x8418 <main+76>   0x000083dc <+16>:    str r3, [r11, #-8]   0x000083e0 <+20>:    vldr    s14, [r11, #-8]   0x000083e4 <+24>:    vldr    s15, [pc, #40]  ; 0x8414 <main+72>How could I print out the s14 register in this case?
Floating point registers on ARM
arm
To print the value of s14 from gdb:info registers s14