# name: Tag_ABI_FP_16bit_format EABI attribute written for Arm alternative format.
# readelf: -A
# notarget: *-*pe *-*-wince
# source: float16-eabi.s
# as: -mfp16-format=alternative
Attribute Section: aeabi
File Attributes
  Tag_ARM_ISA_use: Yes
  Tag_THUMB_ISA_use: Thumb-1
  Tag_ABI_FP_16bit_format: Alternative Format