1#source: start4.s
2#source: pushja.s
3#source: pad2p26m32.s
4#source: pad16.s
5#source: pad4.s
6#source: pad4.s
7#source: a.s
8#source: start.s
9#ld: -m elf64mmix
10#objdump: -dr
11
12# Check that PUSHJ with an offset just within reach of JMP gets it, ELF
13# version.
14
15.*:     file format elf64-mmix
16Disassembly of section \.init:
170+ <_start>:
18   0:	e37704a6 	setl \$119,0x4a6
19Disassembly of section \.text:
200+4 <pushja>:
21       4:	e3fd0002 	setl \$253,0x2
22       8:	f20c0002 	pushj \$12,10 <pushja\+0xc>
23       c:	e3fd0003 	setl \$253,0x3
24      10:	f0ffffff 	jmp 400000c <a>
25	\.\.\.
260+400000c <a>:
27 400000c:	e3fd0004 	setl \$253,0x4
280+4000010 <_start>:
29 4000010:	e3fd0001 	setl \$253,0x1
30