1 2 3 4 5 6 7 8 9
bits 64 vcomisd xmm0,xmm31 vcomisd xmm0,xmm1 {vex2} vcomisd xmm0,xmm1 {vex3} vcomisd xmm0,xmm1 {evex} vcomisd xmm0,xmm1 %ifdef ERROR {vex3} add eax,edx %endif