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