1 #source: jr.s -mips32r6
2 #source: jr.s -mips32r6 RUN_OBJCOPY
4 #objcopy_objects: -R .MIPS.abiflags
7 [^:]*: file format elf32-.*
10 0x70000003 off 0x0000.... vaddr 0x004000.. paddr 0x004000.. align 2\*\*3
11 filesz 0x00000018 memsz 0x00000018 flags r--
13 private flags = 90001400: \[abi=O32\] \[mips32r6\] \[nan2008\] \[not 32bitmode\]
15 MIPS ABI Flags Version: 0
21 FP ABI: Hard float \(32-bit CPU, 64-bit FPU\)