vcmp.f64 d0, d6vmrs APSR_nzcv, fpscrvcmpeq.f64 d1, d7vmrseq APSR_nzcv, fpscr
vceq.i32 q15, q0, q3vmovn.i32 d31, q15vshl.s16 d31, d31, #8vcmp.f64 d31, d29vmrs APSR_nzcv, fpscr
vmov.i16 d29, #65280 ; 0xff00
vmrs