1#as: -mfp64 -mno-odd-spreg -32 2#source: empty.s 3#PROG: readelf 4#readelf: -A 5#name: MIPS infer fpabi (O32 fp64 nooddspreg) 6 7Attribute Section: gnu 8File Attributes 9 Tag_GNU_MIPS_ABI_FP: Hard float compat \(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 compat \(32-bit CPU, 64-bit FPU\) 18ISA Extension: .* 19ASEs: 20 .* 21FLAGS 1: 00000000 22FLAGS 2: 00000000 23 24