1 #source: mips16-1a.s -no-mips16
2 #source: mips16-1b.s -mips16
3 #ld: -r
4 #objdump: -pd
5 
6 .*:.*file format.*mips.*
7 private flags = [0-9a-f]*[4-7c-f]......: .*[[,]mips16[],].*
8 
9 #pass
10