1 #source: jr.s -mips32r3 RUN_OBJCOPY
2 #source: jr.s -mips32r2
3 #ld: -e 0
4 #objcopy_objects: -R .MIPS.abiflags
5 #objdump: -p
6 
7 [^:]*:     file format elf32-.*
8 
9 Program Header:
10 0x70000003 off    0x0000.... vaddr 0x004000.. paddr 0x004000.. align 2\*\*3
11          filesz 0x00000018 memsz 0x00000018 flags r--
12 #...
13 private flags = 70001000: \[abi=O32\] \[mips32r2\] \[not 32bitmode\]
14 
15 MIPS ABI Flags Version: 0
16 
17 ISA: MIPS32r2
18 GPR size: 32
19 CPR1 size: 32
20 CPR2 size: 0
21 FP ABI: Hard float \(double precision\)
22 ISA Extension: None
23 ASEs:
24 	None
25 FLAGS 1: 0000000.
26 FLAGS 2: 00000000
27 
28