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: pad4.s
8#source: a.s
9#source: start.s
10#ld: -m elf64mmix
11#objdump: -dr
12
13# Check that PUSHJ with an offset just outside reach of JMP works; it will
14# get the full expansion, ELF version.
15
16.*:     file format elf64-mmix
17Disassembly of section \.init:
180+ <_start>:
19   0:	e37704a6 	setl \$119,0x4a6
20Disassembly of section \.text:
210+4 <pushja>:
22       4:	e3fd0002 	setl \$253,0x2
23       8:	f20c0002 	pushj \$12,10 <pushja\+0xc>
24       c:	e3fd0003 	setl \$253,0x3
25      10:	e3ff0020 	setl \$255,0x20
26      14:	e6ff0400 	incml \$255,0x400
27      18:	e5ff0000 	incmh \$255,0x0
28      1c:	e4ff0000 	inch \$255,0x0
29      20:	9f00ff00 	go \$0,\$255,0
30	\.\.\.
310+4000020 <a>:
32 4000020:	e3fd0004 	setl \$253,0x4
330+4000024 <_start>:
34 4000024:	e3fd0001 	setl \$253,0x1
35