1*56bb7041Schristos #source: empty.s -mips3 -msingle-float
2*56bb7041Schristos #ld: -e 0
3*56bb7041Schristos #objdump: -p
4*56bb7041Schristos 
5*56bb7041Schristos [^:]*:     file format elf64-.*mips.*
6*56bb7041Schristos 
7*56bb7041Schristos Program Header:
8*56bb7041Schristos 0x70000003 off    0x00000000000000b0 vaddr 0x00000001200000b0 paddr 0x00000001200000b0 align 2\*\*3
9*56bb7041Schristos          filesz 0x0000000000000018 memsz 0x0000000000000018 flags r--
10*56bb7041Schristos     LOAD off    0x0000000000000000 vaddr 0x0000000120000000 paddr 0x0000000120000000 align 2\*\*16
11*56bb7041Schristos          filesz 0x00000000000000.. memsz 0x00000000000000.. flags r--
12*56bb7041Schristos private flags = 20000000: \[abi=64\] \[mips3\] \[not 32bitmode\]
13*56bb7041Schristos 
14*56bb7041Schristos MIPS ABI Flags Version: 0
15*56bb7041Schristos 
16*56bb7041Schristos ISA: MIPS3
17*56bb7041Schristos GPR size: 64
18*56bb7041Schristos CPR1 size: 64
19*56bb7041Schristos CPR2 size: 0
20*56bb7041Schristos FP ABI: Hard float \(single precision\)
21*56bb7041Schristos ISA Extension: None
22*56bb7041Schristos ASEs:
23*56bb7041Schristos 	None
24*56bb7041Schristos FLAGS 1: 0000000.
25*56bb7041Schristos FLAGS 2: 00000000
26