| #objdump: -dr -mmips:4000 -mmips:16 | |
| #as: -mips3 -mtune=r4000 -mips16 -mabi=o64 | |
| #name: mips16 jalx | |
| .*: file format .* | |
| Disassembly of section .text: | |
| 00000000 <.text>: | |
| 0: 1c00 0000 jalx 0x0 | |
| 0: R_MIPS16_26 external_label | |
| 4: 6500 nop | |
| 6: 6500 nop | |
| 8: 6500 nop | |
| a: 6500 nop | |
| c: 6500 nop | |
| e: 6500 nop |