I just checked on the linked Compiler Explorer session [0], and if you take out the -m32 then GCC does indeed use divsd instead of fdiv.

[0] https://godbolt.org/z/py3Dw0