%verify "executed"
%include "x86/OP_CMPG_DOUBLE.S" {"is_double":"1","nanval":"-1"}