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