%verify "executed"
%include "armv5te-vfp/funopWider.S" {"instr":"fcvtds  d0, s0"}
