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