rengolin added a comment. Seems trivial. Comments inline. ================ Comment at: test/MC/ARM/simple-fp-encoding.s:52 +@ CHECK: vcmp.f32 s1, #0 @ encoding: [0x40,0x0a,0xf5,0xee] + vcmpe.f64 d17, d16 ---------------- What about the `vcvt` encodings? https://reviews.llvm.org/D30745