#source: attr-gnu-4-1.s -mips32r2
#source: attr-gnu-4-6.s
#ld: -r
#readelf: -A
#warning: warning: .* uses -mdouble-float \(set by .*\), .* uses -mgp32 -mfp64

Attribute Section: gnu
File Attributes
  Tag_GNU_MIPS_ABI_FP: Hard float \(double precision\)

MIPS ABI Flags Version: 0

ISA: MIPS.*
GPR size: .*
CPR1 size: .*
CPR2 size: 0
FP ABI: Hard float \(double precision\)
ISA Extension: None
ASEs:
	None
FLAGS 1: 0000000.
FLAGS 2: 00000000