#source: start4.s
#source: nop123.s
#source: a.s
#source: pad2p18m32.s
#source: pad16.s
#source: pad4.s
#source: pad4.s
#source: pad4.s
#source: pushja.s
#source: start.s
#ld: -m elf64mmix
#objdump: -dr

# Check that PUSHJ with an offset just outside the offset range gets a JMP
# stub expansion, backwards, ELF version.

.*:     file format elf64-mmix
Disassembly of section \.init:
0+ <_start>:
   0:	e37704a6 	setl \$119,0x4a6
Disassembly of section \.text:
0+4 <a-0x4>:
       4:	fd010203 	swym 1,2,3
0+8 <a>:
       8:	e3fd0004 	setl \$253,0x4
	\.\.\.
0+40008 <pushja>:
   40008:	e3fd0002 	setl \$253,0x2
   4000c:	f20c0002 	pushj \$12,40014 <pushja\+0xc>
   40010:	e3fd0003 	setl \$253,0x3
   40014:	f1fefffd 	jmp 8 <a>
0+40018 <_start>:
   40018:	e3fd0001 	setl \$253,0x1