1# name: Tag_ABI_FP_16bit_format written for IEEE float16 format. 2# readelf: -A 3# notarget: *-*pe *-*wince 4# source: float16-eabi.s 5# as: -mfp16-format=ieee 6Attribute Section: aeabi 7File Attributes 8 Tag_ARM_ISA_use: Yes 9 Tag_THUMB_ISA_use: Thumb-1 10 Tag_ABI_FP_16bit_format: IEEE 754 11