RPi Soft/SoftFP/HardFP Test (Assembler Output, -O0)

        .arch armv6
        .eabi_attribute 27, 3
        .eabi_attribute 28, 1
        .fpu vfp
        .eabi_attribute 20, 1
        .eabi_attribute 21, 1
        .eabi_attribute 23, 3
        .eabi_attribute 24, 1
        .eabi_attribute 25, 1
        .eabi_attribute 26, 2
        .eabi_attribute 30, 6
        .eabi_attribute 18, 4
        .file   "hfpt.c"
        .section        .rodata
        .align  2
.LC0:
        .ascii  "%d\012\000"
        .text
        .align  2
        .global main
        .type   main, %function
main:
        @ args = 0, pretend = 0, frame = 16
        @ frame_needed = 1, uses_anonymous_args = 0
        stmfd   sp!, {fp, lr}
        add     fp, sp, #4
        sub     sp, sp, #16
        ldr     r3, .L2 @ float
        str     r3, [fp, #-8]   @ float
        ldr     r3, .L2+4       @ float
        str     r3, [fp, #-12]  @ float
        flds    s14, [fp, #-8]
        flds    s15, [fp, #-12]
        fdivs   s15, s14, s15
        ftosizs s15, s15
        fmrs    r3, s15 @ int
        str     r3, [fp, #-16]
        ldr     r3, .L2+8
        mov     r0, r3
        ldr     r1, [fp, #-16]
        bl      printf
        mov     r0, r3
        sub     sp, fp, #4
        ldmfd   sp!, {fp, pc}
.L3:
        .align  2
.L2:
        .word   1082130432
        .word   1073741824
        .word   .LC0
        .size   main, .-main
        .ident  "GCC: (Debian 4.6.3-8+rpi1) 4.6.3"
        .section        .note.GNU-stack,"",%progbits