1#as: -mips32r2 -32
2#readelf: -A
3#name: MIPS module fp=64 nooddspreg
4
5Attribute Section: gnu
6File Attributes
7  Tag_GNU_MIPS_ABI_FP: Hard float compat \(32-bit CPU, 64-bit FPU\)
8
9MIPS ABI Flags Version: 0
10
11ISA: MIPS32r2
12GPR size: 32
13CPR1 size: 64
14CPR2 size: 0
15FP ABI: Hard float compat \(32-bit CPU, 64-bit FPU\)
16ISA Extension: None
17ASEs:
18	None
19FLAGS 1: 0000000.
20FLAGS 2: 00000000
21
22