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