1#objdump: -d -z
2#name: flonum constants
3
4.*: +file format .*c4x.*
5
6Disassembly of section .text:
7
800000000 <start>:
9   0:	07608000.*
10   1:	076012cd.*
11   2:	07604580.*
12   3:	0760e0a4.*
13   4:	07604a80.*
14   5:	0760ef5c.*
15   6:	0760f800.*
16   7:	07608000.*
17   8:	07608000.*
18   9:	0760f000.*
19   a:	0760e800.*
20   b:	076012cd.*
21   c:	0760e0a4.*
22   d:	07604a80.*
23   e:	0760ef5c.*
24
250000000f <FLOAT>:
26   f:	80000000.*
27  10:	00000000.*
28  11:	ff000000.*
29  12:	ff800000.*
30  13:	53fba6af.*
31  14:	01400000.*
32  15:	06760000.*
33  16:	01490fdb.*
34
3500000017 <SINGLE>:
36  17:	80000000.*
37  18:	00000000.*
38  19:	ff000000.*
39  1a:	ff800000.*
40  1b:	53fba6af.*
41  1c:	01400000.*
42  1d:	06760000.*
43  1e:	01490fdb.*
44
450000001f <DOUBLE>:
46  1f:	80000000.*
47  20:	00000000.*
48  21:	ff000000.*
49  22:	ff800000.*
50  23:	53fba6af.*
51  24:	01400000.*
52  25:	06760000.*
53  26:	01490fdb.*
54
5500000027 <LDOUBLE>:
56  27:	80000000.*
57  28:	00000000.*
58  29:	00000000.*
59  2a:	00000000.*
60  2b:	ff000000.*
61  2c:	00000000.*
62  2d:	ff800000.*
63  2e:	80000000.*
64  2f:	53fba6ae.*
65  30:	fba6ae9f.*
66  31:	01400000.*
67  32:	40000000.*
68  33:	06760000.*
69  34:	76000000.*
70  35:	01490fda.*
71  36:	490fdaa3.*
72
7300000037 <IEEE>:
74  37:	00000000.*
75  38:	3f800000.*
76  39:	3f000000.*
77  3a:	bf800000.*
78  3b:	00000000.*
79  3c:	e9045951.*
80  3d:	40400000.*
81  3e:	42f60000.*
82  3f:	40490fdb.*
83