#objdump: -dr .*: file format .* Disassembly of section \.text: 0000000000000000 <.*>: 0: 1e2f08e0 fmul s0, s7, s15 4: 1e2f18e0 fdiv s0, s7, s15 8: 1e2f28e0 fadd s0, s7, s15 c: 1e2f38e0 fsub s0, s7, s15 10: 1e2f48e0 fmax s0, s7, s15 14: 1e2f58e0 fmin s0, s7, s15 18: 1e2f68e0 fmaxnm s0, s7, s15 1c: 1e2f78e0 fminnm s0, s7, s15 20: 1e2f88e0 fnmul s0, s7, s15 24: 1e6f08e0 fmul d0, d7, d15 28: 1e6f18e0 fdiv d0, d7, d15 2c: 1e6f28e0 fadd d0, d7, d15 30: 1e6f38e0 fsub d0, d7, d15 34: 1e6f48e0 fmax d0, d7, d15 38: 1e6f58e0 fmin d0, d7, d15 3c: 1e6f68e0 fmaxnm d0, d7, d15 40: 1e6f78e0 fminnm d0, d7, d15 44: 1e6f88e0 fnmul d0, d7, d15