#objdump: -d -mmips:8000
-#as: -march=8000 -EB -mgp32 -KPIC
+#as: -32 -march=8000 -EB -mgp32 -mfp64 -KPIC
#name: MIPS -mgp32 -mfp64 (SVR4 PIC)
.*: +file format.*
160: a8240000 swl a0,0\(at\)
164: b8240003 swr a0,3\(at\)
168: 3c043ff0 lui a0,0x3ff0
- 16c: 00002825 move a1,zero
+ 16c: 00002821 move a1,zero
170: 8f810000 lw at,0\(gp\)
174: 8c240000 lw a0,0\(at\)
178: 8c250004 lw a1,4\(at\)
190: 2c840001 sltiu a0,a0,1
194: 24a40064 addiu a0,a1,100
198: 0004202b sltu a0,zero,a0
- 19c: 00a02025 move a0,a1
+ 19c: 00a02021 move a0,a1
1a0: 46231040 add.d \$f1,\$f2,\$f3
+
+0+01a4 <[^>]*>:
+ ...