# name: VFPv3-D16
# as: -mfpu=vfpv3-d16
# error-output: vfpv3-d16-bad.l
# source: vfpv3-32drs.s