# name: attributes for -mfpu=vfpxd
# source: blank.s
# as: -mfpu=vfpxd
# readelf: -A
# This test is only valid on EABI based ports.
# target: *-*-*eabi

Attribute Section: aeabi
File Attributes
  Tag_ARM_ISA_use: Yes
  Tag_THUMB_ISA_use: Thumb-1
  Tag_FP_arch: VFPv1
  Tag_ABI_HardFP_use: SP only
  Tag_DIV_use: Not allowed