1 #source: attr-gnu-4-4.s -mips32r2 -W
2 #ld: -e 0
3 #objdump: -p
4 
5 [^:]*:     file format elf32-.*
6 
7 Program Header:
8 0x70000003 off    0x0000.... vaddr 0x004000.. paddr 0x004000.. align 2\*\*3
9          filesz 0x00000018 memsz 0x00000018 flags r--
10 #...
11 private flags = 70001200: \[abi=O32\] \[mips32r2\] \[old fp64\] \[not 32bitmode\]
12 
13 MIPS ABI Flags Version: 0
14 
15 ISA: MIPS32r2
16 GPR size: 32
17 CPR1 size: 32
18 CPR2 size: 0
19 FP ABI: Hard float \(MIPS32r2 64-bit FPU 12 callee-saved\)
20 ISA Extension: None
21 ASEs:
22 	None
23 FLAGS 1: 0000000.
24 FLAGS 2: 00000000
25