25 vcx1    p0, s11, #1234  label
29 vcx1    p0, d0, #0  label
34 vcx1    p0, q1, #1234  label
42 vcx1    p0, d0, #2048  label
46 vcx1    p0, q0, #4096  label
49 vcx1    p8, d0, #1234  label
51 vcx1    p0, d16, #1234  label
53 vcx1    p0, s32, #1234  label
58 vcx1    p0, q8, #1234  label
62 vcx1    p0, r0, #1234  label
64 vcx1    p0, d0, d0, #0  label