| #objdump: -dr --prefix-addresses --show-raw-insn | |
| #name: microMIPS branch to an external symbol | |
| #as: -32 -KPIC -mmicromips | |
| #source: branch-extern.s | |
| .*: +file format .*mips.* | |
| Disassembly of section \.text: | |
| [0-9a-f]+ <[^>]*> 9400 fffe b 00000000 <foo> | |
| [ ]*[0-9a-f]+: R_MICROMIPS_PC16_S1 bar | |
| [0-9a-f]+ <[^>]*> 0c00 nop | |
| \.\.\. |