| # name: Tag_ABI_FP_16bit_format written for IEEE float16 format. | |
| # readelf: -A | |
| # notarget: *-*pe *-*wince | |
| # source: float16-eabi.s | |
| # as: -mfp16-format=ieee | |
| Attribute Section: aeabi | |
| File Attributes | |
| Tag_ARM_ISA_use: Yes | |
| Tag_THUMB_ISA_use: Thumb-1 | |
| Tag_ABI_FP_16bit_format: IEEE 754 |