1 #objdump: -dr
2 
3 .*:     file format .*
4 
5 Disassembly of section .*:
6 
7 0000000000000000 <.*>:
8    0:	1e251000 	fmov	s0, #1\.200000000000000000e\+01
9    4:	1e251000 	fmov	s0, #1\.200000000000000000e\+01
10    8:	1e251000 	fmov	s0, #1\.200000000000000000e\+01
11    c:	1e351000 	fmov	s0, #-1\.200000000000000000e\+01
12   10:	1e351000 	fmov	s0, #-1\.200000000000000000e\+01
13   14:	1e351000 	fmov	s0, #-1\.200000000000000000e\+01
14   18:	1e751000 	fmov	d0, #-1\.200000000000000000e\+01
15   1c:	1e751000 	fmov	d0, #-1\.200000000000000000e\+01
16   20:	1e751000 	fmov	d0, #-1\.200000000000000000e\+01
17   24:	1e69f000 	fmov	d0, #2\.421875000000000000e-01
18   28:	1e69f000 	fmov	d0, #2\.421875000000000000e-01
19   2c:	1e29f000 	fmov	s0, #2\.421875000000000000e-01
20