1 # name: Big endian float16 literals (IEEE 754 & Alternative)
3 # objdump: -s --section=.data
6 .*: +file format .*arm.*
8 Contents of section \.data:
9 0000 4a002fdf 1c197bff 000103ff 04003c00.*
10 0010 3c017fff 7c00fc00 00008000 bc00bbe7.*
11 0020 fbff4200 4a00603e 38567fff ffff7204.*