1# name: Double precision instructions for 'armv8.1-m.main'
2# source: vfp1_t2.s
3# as: -march=armv8.1-m.main+fp.dp
4# objdump: -dr --prefix-addresses --show-raw-insn
5
6.*: +file format .*arm.*
7
8Disassembly of section .text:
90+000 <[^>]*> eeb4 0bc0 	(vcmpe\.f64|fcmped)	d0, d0
100+004 <[^>]*> eeb5 0bc0 	(vcmpe\.f64	d0, #0.0|fcmpezd	d0)
110+008 <[^>]*> eeb4 0b40 	(vcmp\.f64|fcmpd)	d0, d0
120+00c <[^>]*> eeb5 0b40 	(vcmp\.f64	d0, #0.0|fcmpzd	d0)
130+010 <[^>]*> eeb0 0bc0 	(vabs\.f64|fabsd)	d0, d0
140+014 <[^>]*> eeb0 0b40 	(vmov\.f64|fcpyd)	d0, d0
150+018 <[^>]*> eeb1 0b40 	(vneg\.f64|fnegd)	d0, d0
160+01c <[^>]*> eeb1 0bc0 	(vsqrt\.f64|fsqrtd)	d0, d0
170+020 <[^>]*> ee30 0b00 	(vadd\.f64|faddd)	d0, d0, d0
180+024 <[^>]*> ee80 0b00 	(vdiv\.f64|fdivd)	d0, d0, d0
190+028 <[^>]*> ee00 0b00 	(vmla\.f64|fmacd)	d0, d0, d0
200+02c <[^>]*> ee10 0b00 	(vnmls\.f64|fmscd)	d0, d0, d0
210+030 <[^>]*> ee20 0b00 	(vmul\.f64|fmuld)	d0, d0, d0
220+034 <[^>]*> ee00 0b40 	(vmls\.f64|fnmacd)	d0, d0, d0
230+038 <[^>]*> ee10 0b40 	(vnmla\.f64|fnmscd)	d0, d0, d0
240+03c <[^>]*> ee20 0b40 	(vnmul\.f64|fnmuld)	d0, d0, d0
250+040 <[^>]*> ee30 0b40 	(vsub\.f64|fsubd)	d0, d0, d0
260+044 <[^>]*> ed90 0b00 	vldr	d0, \[r0\]
270+048 <[^>]*> ed80 0b00 	vstr	d0, \[r0\]
280+04c <[^>]*> ec90 0b02 	vldmia	r0, {d0}
290+050 <[^>]*> ec90 0b02 	vldmia	r0, {d0}
300+054 <[^>]*> ecb0 0b02 	vldmia	r0!, {d0}
310+058 <[^>]*> ecb0 0b02 	vldmia	r0!, {d0}
320+05c <[^>]*> ed30 0b02 	vldmdb	r0!, {d0}
330+060 <[^>]*> ed30 0b02 	vldmdb	r0!, {d0}
340+064 <[^>]*> ec80 0b02 	vstmia	r0, {d0}
350+068 <[^>]*> ec80 0b02 	vstmia	r0, {d0}
360+06c <[^>]*> eca0 0b02 	vstmia	r0!, {d0}
370+070 <[^>]*> eca0 0b02 	vstmia	r0!, {d0}
380+074 <[^>]*> ed20 0b02 	vstmdb	r0!, {d0}
390+078 <[^>]*> ed20 0b02 	vstmdb	r0!, {d0}
400+07c <[^>]*> eeb8 0bc0 	(vcvt\.f64\.s32|fsitod)	d0, s0
410+080 <[^>]*> eeb8 0b40 	(vcvt\.f64\.u32|fuitod)	d0, s0
420+084 <[^>]*> eebd 0b40 	(vcvtr\.s32\.f64|ftosid)	s0, d0
430+088 <[^>]*> eebd 0bc0 	(vcvt\.s32\.f64|ftosizd)	s0, d0
440+08c <[^>]*> eebc 0b40 	(vcvtr\.u32\.f64|ftouid)	s0, d0
450+090 <[^>]*> eebc 0bc0 	(vcvt\.u32\.f64|ftouizd)	s0, d0
460+094 <[^>]*> eeb7 0ac0 	(vcvt\.f64\.f32|fcvtds)	d0, s0
470+098 <[^>]*> eeb7 0bc0 	(vcvt\.f32\.f64|fcvtsd)	s0, d0
480+09c <[^>]*> ee30 0b10 	vmov\.32	r0, d0\[1\]
490+0a0 <[^>]*> ee10 0b10 	vmov\.32	r0, d0\[0\]
500+0a4 <[^>]*> ee20 0b10 	vmov\.32	d0\[1\], r0
510+0a8 <[^>]*> ee00 0b10 	vmov\.32	d0\[0\], r0
520+0ac <[^>]*> eeb5 1b40 	(vcmp\.f64	d1, #0.0|fcmpzd	d1)
530+0b0 <[^>]*> eeb5 2b40 	(vcmp\.f64	d2, #0.0|fcmpzd	d2)
540+0b4 <[^>]*> eeb5 fb40 	(vcmp\.f64	d15, #0.0|fcmpzd	d15)
550+0b8 <[^>]*> eeb4 0b41 	(vcmp\.f64|fcmpd)	d0, d1
560+0bc <[^>]*> eeb4 0b42 	(vcmp\.f64|fcmpd)	d0, d2
570+0c0 <[^>]*> eeb4 0b4f 	(vcmp\.f64|fcmpd)	d0, d15
580+0c4 <[^>]*> eeb4 1b40 	(vcmp\.f64|fcmpd)	d1, d0
590+0c8 <[^>]*> eeb4 2b40 	(vcmp\.f64|fcmpd)	d2, d0
600+0cc <[^>]*> eeb4 fb40 	(vcmp\.f64|fcmpd)	d15, d0
610+0d0 <[^>]*> eeb4 5b4c 	(vcmp\.f64|fcmpd)	d5, d12
620+0d4 <[^>]*> eeb1 0b41 	(vneg\.f64|fnegd)	d0, d1
630+0d8 <[^>]*> eeb1 0b42 	(vneg\.f64|fnegd)	d0, d2
640+0dc <[^>]*> eeb1 0b4f 	(vneg\.f64|fnegd)	d0, d15
650+0e0 <[^>]*> eeb1 1b40 	(vneg\.f64|fnegd)	d1, d0
660+0e4 <[^>]*> eeb1 2b40 	(vneg\.f64|fnegd)	d2, d0
670+0e8 <[^>]*> eeb1 fb40 	(vneg\.f64|fnegd)	d15, d0
680+0ec <[^>]*> eeb1 cb45 	(vneg\.f64|fnegd)	d12, d5
690+0f0 <[^>]*> ee30 0b01 	(vadd\.f64|faddd)	d0, d0, d1
700+0f4 <[^>]*> ee30 0b02 	(vadd\.f64|faddd)	d0, d0, d2
710+0f8 <[^>]*> ee30 0b0f 	(vadd\.f64|faddd)	d0, d0, d15
720+0fc <[^>]*> ee31 0b00 	(vadd\.f64|faddd)	d0, d1, d0
730+100 <[^>]*> ee32 0b00 	(vadd\.f64|faddd)	d0, d2, d0
740+104 <[^>]*> ee3f 0b00 	(vadd\.f64|faddd)	d0, d15, d0
750+108 <[^>]*> ee30 1b00 	(vadd\.f64|faddd)	d1, d0, d0
760+10c <[^>]*> ee30 2b00 	(vadd\.f64|faddd)	d2, d0, d0
770+110 <[^>]*> ee30 fb00 	(vadd\.f64|faddd)	d15, d0, d0
780+114 <[^>]*> ee39 cb05 	(vadd\.f64|faddd)	d12, d9, d5
790+118 <[^>]*> eeb7 0ae0 	(vcvt\.f64\.f32|fcvtds)	d0, s1
800+11c <[^>]*> eeb7 0ac1 	(vcvt\.f64\.f32|fcvtds)	d0, s2
810+120 <[^>]*> eeb7 0aef 	(vcvt\.f64\.f32|fcvtds)	d0, s31
820+124 <[^>]*> eeb7 1ac0 	(vcvt\.f64\.f32|fcvtds)	d1, s0
830+128 <[^>]*> eeb7 2ac0 	(vcvt\.f64\.f32|fcvtds)	d2, s0
840+12c <[^>]*> eeb7 fac0 	(vcvt\.f64\.f32|fcvtds)	d15, s0
850+130 <[^>]*> eef7 0bc0 	(vcvt\.f32\.f64|fcvtsd)	s1, d0
860+134 <[^>]*> eeb7 1bc0 	(vcvt\.f32\.f64|fcvtsd)	s2, d0
870+138 <[^>]*> eef7 fbc0 	(vcvt\.f32\.f64|fcvtsd)	s31, d0
880+13c <[^>]*> eeb7 0bc1 	(vcvt\.f32\.f64|fcvtsd)	s0, d1
890+140 <[^>]*> eeb7 0bc2 	(vcvt\.f32\.f64|fcvtsd)	s0, d2
900+144 <[^>]*> eeb7 0bcf 	(vcvt\.f32\.f64|fcvtsd)	s0, d15
910+148 <[^>]*> ee30 1b10 	vmov\.32	r1, d0\[1\]
920+14c <[^>]*> ee30 eb10 	vmov\.32	lr, d0\[1\]
930+150 <[^>]*> ee31 0b10 	vmov\.32	r0, d1\[1\]
940+154 <[^>]*> ee32 0b10 	vmov\.32	r0, d2\[1\]
950+158 <[^>]*> ee3f 0b10 	vmov\.32	r0, d15\[1\]
960+15c <[^>]*> ee10 1b10 	vmov\.32	r1, d0\[0\]
970+160 <[^>]*> ee10 eb10 	vmov\.32	lr, d0\[0\]
980+164 <[^>]*> ee11 0b10 	vmov\.32	r0, d1\[0\]
990+168 <[^>]*> ee12 0b10 	vmov\.32	r0, d2\[0\]
1000+16c <[^>]*> ee1f 0b10 	vmov\.32	r0, d15\[0\]
1010+170 <[^>]*> ee20 1b10 	vmov\.32	d0\[1\], r1
1020+174 <[^>]*> ee20 eb10 	vmov\.32	d0\[1\], lr
1030+178 <[^>]*> ee21 0b10 	vmov\.32	d1\[1\], r0
1040+17c <[^>]*> ee22 0b10 	vmov\.32	d2\[1\], r0
1050+180 <[^>]*> ee2f 0b10 	vmov\.32	d15\[1\], r0
1060+184 <[^>]*> ee00 1b10 	vmov\.32	d0\[0\], r1
1070+188 <[^>]*> ee00 eb10 	vmov\.32	d0\[0\], lr
1080+18c <[^>]*> ee01 0b10 	vmov\.32	d1\[0\], r0
1090+190 <[^>]*> ee02 0b10 	vmov\.32	d2\[0\], r0
1100+194 <[^>]*> ee0f 0b10 	vmov\.32	d15\[0\], r0
1110+198 <[^>]*> ed91 0b00 	vldr	d0, \[r1\]
1120+19c <[^>]*> ed9e 0b00 	vldr	d0, \[lr\]
1130+1a0 <[^>]*> ed90 0b00 	vldr	d0, \[r0\]
1140+1a4 <[^>]*> ed90 0bff 	vldr	d0, \[r0, #1020\].*
1150+1a8 <[^>]*> ed10 0bff 	vldr	d0, \[r0, #-1020\].*
1160+1ac <[^>]*> ed90 1b00 	vldr	d1, \[r0\]
1170+1b0 <[^>]*> ed90 2b00 	vldr	d2, \[r0\]
1180+1b4 <[^>]*> ed90 fb00 	vldr	d15, \[r0\]
1190+1b8 <[^>]*> ed8c cbc9 	vstr	d12, \[ip, #804\].*
1200+1bc <[^>]*> ec90 1b02 	vldmia	r0, {d1}
1210+1c0 <[^>]*> ec90 2b02 	vldmia	r0, {d2}
1220+1c4 <[^>]*> ec90 fb02 	vldmia	r0, {d15}
1230+1c8 <[^>]*> ec90 0b04 	vldmia	r0, {d0-d1}
1240+1cc <[^>]*> ec90 0b06 	vldmia	r0, {d0-d2}
1250+1d0 <[^>]*> ec90 0b20 	vldmia	r0, {d0-d15}
1260+1d4 <[^>]*> ec90 1b1e 	vldmia	r0, {d1-d15}
1270+1d8 <[^>]*> ec90 2b1c 	vldmia	r0, {d2-d15}
1280+1dc <[^>]*> ec90 eb04 	vldmia	r0, {d14-d15}
1290+1e0 <[^>]*> ec91 0b02 	vldmia	r1, {d0}
1300+1e4 <[^>]*> ec9e 0b02 	vldmia	lr, {d0}
1310+1e8 <[^>]*> eeb5 0b40 	(vcmp\.f64	d0, #0.0|fcmpzd	d0)
1320+1ec <[^>]*> eeb5 1b40 	(vcmp\.f64	d1, #0.0|fcmpzd	d1)
1330+1f0 <[^>]*> eeb5 2b40 	(vcmp\.f64	d2, #0.0|fcmpzd	d2)
1340+1f4 <[^>]*> eeb5 3b40 	(vcmp\.f64	d3, #0.0|fcmpzd	d3)
1350+1f8 <[^>]*> eeb5 4b40 	(vcmp\.f64	d4, #0.0|fcmpzd	d4)
1360+1fc <[^>]*> eeb5 5b40 	(vcmp\.f64	d5, #0.0|fcmpzd	d5)
1370+200 <[^>]*> eeb5 6b40 	(vcmp\.f64	d6, #0.0|fcmpzd	d6)
1380+204 <[^>]*> eeb5 7b40 	(vcmp\.f64	d7, #0.0|fcmpzd	d7)
1390+208 <[^>]*> eeb5 8b40 	(vcmp\.f64	d8, #0.0|fcmpzd	d8)
1400+20c <[^>]*> eeb5 9b40 	(vcmp\.f64	d9, #0.0|fcmpzd	d9)
1410+210 <[^>]*> eeb5 ab40 	(vcmp\.f64	d10, #0.0|fcmpzd	d10)
1420+214 <[^>]*> eeb5 bb40 	(vcmp\.f64	d11, #0.0|fcmpzd	d11)
1430+218 <[^>]*> eeb5 cb40 	(vcmp\.f64	d12, #0.0|fcmpzd	d12)
1440+21c <[^>]*> eeb5 db40 	(vcmp\.f64	d13, #0.0|fcmpzd	d13)
1450+220 <[^>]*> eeb5 eb40 	(vcmp\.f64	d14, #0.0|fcmpzd	d14)
1460+224 <[^>]*> eeb5 fb40 	(vcmp\.f64	d15, #0.0|fcmpzd	d15)
1470+228 <[^>]*> bf01      	itttt	eq
1480+22a <[^>]*> eeb4 1bcf 	(vcmpeeq\.f64|fcmpedeq)	d1, d15
1490+22e <[^>]*> eeb5 2bc0 	(vcmpeeq\.f64	d2, #0.0|fcmpezdeq	d2)
1500+232 <[^>]*> eeb4 3b4e 	(vcmpeq\.f64|fcmpdeq)	d3, d14
1510+236 <[^>]*> eeb5 4b40 	(vcmpeq\.f64	d4, #0.0|fcmpzdeq	d4)
1520+23a <[^>]*> bf01      	itttt	eq
1530+23c <[^>]*> eeb0 5bcd 	(vabseq\.f64|fabsdeq)	d5, d13
1540+240 <[^>]*> eeb0 6b4c 	(vmoveq\.f64|fcpydeq)	d6, d12
1550+244 <[^>]*> eeb1 7b4b 	(vnegeq\.f64|fnegdeq)	d7, d11
1560+248 <[^>]*> eeb1 8bca 	(vsqrteq\.f64|fsqrtdeq)	d8, d10
1570+24c <[^>]*> bf01      	itttt	eq
1580+24e <[^>]*> ee31 9b0f 	(vaddeq\.f64|fadddeq)	d9, d1, d15
1590+252 <[^>]*> ee83 2b0e 	(vdiveq\.f64|fdivdeq)	d2, d3, d14
1600+256 <[^>]*> ee0d 4b0c 	(vmlaeq\.f64|fmacdeq)	d4, d13, d12
1610+25a <[^>]*> ee16 5b0b 	(vnmlseq\.f64|fmscdeq)	d5, d6, d11
1620+25e <[^>]*> bf01      	itttt	eq
1630+260 <[^>]*> ee2a 7b09 	(vmuleq\.f64|fmuldeq)	d7, d10, d9
1640+264 <[^>]*> ee09 8b4a 	(vmlseq\.f64|fnmacdeq)	d8, d9, d10
1650+268 <[^>]*> ee16 7b4b 	(vnmlaeq\.f64|fnmscdeq)	d7, d6, d11
1660+26c <[^>]*> ee24 5b4c 	(vnmuleq\.f64|fnmuldeq)	d5, d4, d12
1670+270 <[^>]*> bf02      	ittt	eq
1680+272 <[^>]*> ee3d 3b4e 	(vsubeq\.f64|fsubdeq)	d3, d13, d14
1690+276 <[^>]*> ed95 2b00 	vldreq	d2, \[r5\]
1700+27a <[^>]*> ed8c 1b00 	vstreq	d1, \[ip\]
1710+27e <[^>]*> bf01      	itttt	eq
1720+280 <[^>]*> ec91 1b02 	vldmiaeq	r1, {d1}
1730+284 <[^>]*> ec92 2b02 	vldmiaeq	r2, {d2}
1740+288 <[^>]*> ecb3 3b02 	vldmiaeq	r3!, {d3}
1750+28c <[^>]*> ecb4 4b02 	vldmiaeq	r4!, {d4}
1760+290 <[^>]*> bf01      	itttt	eq
1770+292 <[^>]*> ed35 5b02 	vldmdbeq	r5!, {d5}
1780+296 <[^>]*> ed36 6b02 	vldmdbeq	r6!, {d6}
1790+29a <[^>]*> ec87 fb02 	vstmiaeq	r7, {d15}
1800+29e <[^>]*> ec88 eb02 	vstmiaeq	r8, {d14}
1810+2a2 <[^>]*> bf01      	itttt	eq
1820+2a4 <[^>]*> eca9 db02 	vstmiaeq	r9!, {d13}
1830+2a8 <[^>]*> ecaa cb02 	vstmiaeq	sl!, {d12}
1840+2ac <[^>]*> ed2b bb02 	vstmdbeq	fp!, {d11}
1850+2b0 <[^>]*> ed2c ab02 	vstmdbeq	ip!, {d10}
1860+2b4 <[^>]*> bf01      	itttt	eq
1870+2b6 <[^>]*> eeb8 fbe0 	(vcvteq\.f64\.s32|fsitodeq)	d15, s1
1880+2ba <[^>]*> eeb8 1b6f 	(vcvteq\.f64\.u32|fuitodeq)	d1, s31
1890+2be <[^>]*> eefd 0b4f 	(vcvtreq\.s32\.f64|ftosideq)	s1, d15
1900+2c2 <[^>]*> eefd fbc2 	(vcvteq\.s32\.f64|ftosizdeq)	s31, d2
1910+2c6 <[^>]*> bf01      	itttt	eq
1920+2c8 <[^>]*> eefc 7b42 	(vcvtreq\.u32\.f64|ftouideq)	s15, d2
1930+2cc <[^>]*> eefc 5bc3 	(vcvteq\.u32\.f64|ftouizdeq)	s11, d3
1940+2d0 <[^>]*> eeb7 1ac5 	(vcvteq\.f64\.f32|fcvtdseq)	d1, s10
1950+2d4 <[^>]*> eef7 5bc1 	(vcvteq\.f32\.f64|fcvtsdeq)	s11, d1
1960+2d8 <[^>]*> bf01      	itttt	eq
1970+2da <[^>]*> ee31 8b10 	vmoveq\.32	r8, d1\[1\]
1980+2de <[^>]*> ee1f 7b10 	vmoveq\.32	r7, d15\[0\]
1990+2e2 <[^>]*> ee21 fb10 	vmoveq\.32	d1\[1\], pc
2000+2e6 <[^>]*> ee0f 1b10 	vmoveq\.32	d15\[0\], r1
2010+2ea <[^>]*> bf00      	nop
2020+2ec <[^>]*> bf00      	nop
2030+2ee <[^>]*> bf00      	nop
204