1#as: -mfp64 -32
2#source: empty.s
3#PROG: readelf
4#readelf: -A
5#name: MIPS infer fpabi (O32 fp64)
6
7Attribute Section: gnu
8File Attributes
9  Tag_GNU_MIPS_ABI_FP: Hard float \(32-bit CPU, 64-bit FPU\)
10
11MIPS ABI Flags Version: 0
12
13ISA: MIPS.*
14GPR size: 32
15CPR1 size: 64
16CPR2 size: 0
17FP ABI: Hard float \(32-bit CPU, 64-bit FPU\)
18ISA Extension: .*
19ASEs:
20	.*
21FLAGS 1: 00000001
22FLAGS 2: 00000000
23
24