1 #source: start.s
2 #source: pushja.s
3 #source: a.s
4 #as: -x
5 #ld: -m elf64mmix
6 #objdump: -dr
7 
8 # Like pushja1f, but with PUSHJ stub.
9 
10 .*:     file format elf64-mmix
11 Disassembly of section \.text:
12 0+ <_start>:
13    0:	e3fd0001 	setl \$253,0x1
14 0+4 <pushja>:
15    4:	e3fd0002 	setl \$253,0x2
16    8:	f20c0002 	pushj \$12,10 <a>
17    c:	e3fd0003 	setl \$253,0x3
18 0+10 <a>:
19   10:	e3fd0004 	setl \$253,0x4
20