%verify "executed" %include "x86/cvtfp_int.S" {"srcdouble":"0","tgtlong":"0"}