1#objdump: -dr --prefix-addresses --show-raw-insn
2#name: MIPS DADDI instruction
3#as: -32 --defsym micromips=1
4#source: daddi.s
5
6# Check MIPS DADDI instruction assembly (microMIPS).
7
8.*: +file format .*mips.*
9
10Disassembly of section \.text:
11[0-9a-f]+ <[^>]*> 5862 7fdc 	daddi	v1,v0,511
12[0-9a-f]+ <[^>]*> 58a4 801c 	daddi	a1,a0,-512
13[0-9a-f]+ <[^>]*> 3020 0200 	li	at,512
14[0-9a-f]+ <[^>]*> 5826 3910 	dadd	a3,a2,at
15[0-9a-f]+ <[^>]*> 3020 fdff 	li	at,-513
16[0-9a-f]+ <[^>]*> 5828 4910 	dadd	t1,t0,at
17[0-9a-f]+ <[^>]*> 3020 7fff 	li	at,32767
18[0-9a-f]+ <[^>]*> 582a 5910 	dadd	t3,t2,at
19[0-9a-f]+ <[^>]*> 3020 8000 	li	at,-32768
20[0-9a-f]+ <[^>]*> 582c 6910 	dadd	t5,t4,at
21[0-9a-f]+ <[^>]*> 5020 8000 	li	at,0x8000
22[0-9a-f]+ <[^>]*> 582e 7910 	dadd	t7,t6,at
23[0-9a-f]+ <[^>]*> 41a1 ffff 	lui	at,0xffff
24[0-9a-f]+ <[^>]*> 5021 7fff 	ori	at,at,0x7fff
25[0-9a-f]+ <[^>]*> 5830 8910 	dadd	s1,s0,at
26[0-9a-f]+ <[^>]*> 5020 8200 	li	at,0x8200
27[0-9a-f]+ <[^>]*> 5832 9910 	dadd	s3,s2,at
28[0-9a-f]+ <[^>]*> 41a1 ffff 	lui	at,0xffff
29[0-9a-f]+ <[^>]*> 5021 7dff 	ori	at,at,0x7dff
30[0-9a-f]+ <[^>]*> 5834 a910 	dadd	s5,s4,at
31	\.\.\.
32