1# name: Tag_ABI_FP_16bit_format EABI attribute not written when format not specified 2# readelf: -A 3# notarget: *-*pe *-*-wince 4# source: float16-eabi.s 5Attribute Section: aeabi 6File Attributes 7 Tag_ARM_ISA_use: Yes 8 Tag_THUMB_ISA_use: Thumb-1 9